Pointless topology (original) (raw)
En mathématiques, la théorie des locales (ou théorie des lieux, ou parfois topologie sans points, en anglais : pointless topology) est une approche de la topologie issue de la théorie des catégories et évitant de mentionner les points ; certains des « espaces » (appelés locales) étudiés par la théorie ne contiennent aucun point au sens usuel.
| Property | Value |
|---|---|
| dbo:abstract | La topología sin puntos es un enfoque de la topología que evita mencionar los puntos. Un espacio topológico tradicional consiste en un conjunto de "puntos", junto con un conjunto de "conjuntos abiertos". Estos conjuntos abiertos forman un retículo con ciertas propiedades. La topología sin puntos estudia los propios retículos como entidades abstractas, sin referencia hacer a un conjunto subyacente de puntos. Puesto que algunos de los retículos así definidos no provienen de espacios topológicos, uno puede ver la categoría de espacios topológicos sin puntos, también llamada de locales, como extensión de la categoría de los espacios topológicos ordinarios. Algunos autores afirman que esta nueva categoría tiene ciertas propiedades naturales que la hacen preferible. Detalles en la relación entre la categoría de espacios topológicos y la categoría de locales, incluyendo la construcción explícita de la dualidad entre los espacios sobrios y los locales espaciales, pueden ser encontrados en el artículo sobre la . Formalmente, definimos un marco como un retículo L en el cual cada subconjunto (aún infinito) {ai} tiene un supremo Vai tal que (distribución completa) b ∧ (V ai) = V (ai ∧ b) para todo b y todo conjunto {ai} de L. Estos marcos, junto con los homomorfismos de retículos que respetan supremos arbitrarios, forman una categoría; la categoría opuesta de la categoría de marcos se llama la categoría de los locales y generaliza la categoría de espacios topológicos. La razón de que tomemos la categoría opuesta es que cada función continua f: X → Y entre los espacios topológicos induce una función entre los retículos de conjuntos abiertos en la dirección opuesta: cada conjunto abierto O en Y es mapeado al conjunto abierto f--1(O) en X. Es posible trasladar la mayoría de los conceptos de la topología de puntos en el contexto de locales, y probar los teoremas análogos. Mientras que muchos teoremas importantes en topología de puntos requieren el axioma de elección, esto no es verdad para sus análogos en teoría de locales. Esto puede ser útil si uno trabaja en un topos que no cumpla el axioma de elección. El concepto de "producto de locales" diverge levemente del concepto de "producto de espacios topológicos", y esta divergencia se ha considerado una desventaja del enfoque de locales. Otros afirman que el producto de locales es más natural y apuntan a varias de sus propiedades "deseables" que no son compartidas por los productos de espacios topológicos. Véase también álgebra de Heyting. Un local es un álgebra de Heyting completa. * Datos: Q7208386 (es) En mathématiques, la théorie des locales (ou théorie des lieux, ou parfois topologie sans points, en anglais : pointless topology) est une approche de la topologie issue de la théorie des catégories et évitant de mentionner les points ; certains des « espaces » (appelés locales) étudiés par la théorie ne contiennent aucun point au sens usuel. (fr) In mathematics, pointless topology (also called point-free or pointfree topology, or locale theory) is an approach to topology that avoids mentioning points, and in which the lattices of open sets are the primitive notions. In this approach it becomes possible to construct topologically interesting spaces from purely algebraic data. (en) |
| dbo:wikiPageExternalLink | http://staff.cs.manchester.ac.uk/~hsimmons/ http://www.mat.uc.pt/%7Epicado/publicat/bookpage.html http://projecteuclid.org/euclid.bams/1183550014 |
| dbo:wikiPageID | 24764 (xsd:integer) |
| dbo:wikiPageLength | 11590 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1121267371 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Join_(mathematics) dbr:Peter_Johnstone_(mathematician) dbr:Whitehead's_point-free_geometry dbr:Compact_space dbr:Continuous_function dbr:Mathematics dbr:Meet_(mathematics) dbr:Morphism dbr:Opposite_category dbr:Complete_Boolean_algebra dbr:Complete_Heyting_algebra dbr:Complete_lattice dbr:Steve_Vickers_(computer_scientist) dbr:Topology dbr:Distributive_property dbr:Join_and_meet dbr:Lattice_(order) dbr:Greatest_element dbr:Stone_duality dbr:Euclidean_space dbr:Paracompact_space dbr:John_R._Isbell dbr:Heyting_algebra dbr:Intersection_(set_theory) dbr:Jean_Bénabou dbc:Category_theory dbc:General_topology dbr:Charles_Ehresmann dbr:Henry_Wallman dbr:Topos dbr:Regular_open_set dbr:Axiom_of_choice dbr:Constructivism_(mathematics) dbr:Open_set dbr:Category_(mathematics) dbr:Category_of_topological_spaces dbr:Set_(mathematics) dbr:Sober_space dbr:Tychonoff's_theorem dbr:Union_(set_theory) dbr:Frames_and_locales dbr:Lattice_theory dbr:Topological_space dbr:Marshall_Stone dbr:Full_embedding dbr:Point-set_topology dbr:Point_(topology) dbr:Least_element dbr:Meet_(Mathematics) dbr:Pre-image |
| dbp:wikiPageUsesTemplate | dbt:Cite_journal dbt:ISBN dbt:Refbegin dbt:Refend dbt:Reflist dbt:Sfn |
| dct:subject | dbc:Category_theory dbc:General_topology |
| gold:hypernym | dbr:Approach |
| rdf:type | dbo:ProgrammingLanguage |
| rdfs:comment | En mathématiques, la théorie des locales (ou théorie des lieux, ou parfois topologie sans points, en anglais : pointless topology) est une approche de la topologie issue de la théorie des catégories et évitant de mentionner les points ; certains des « espaces » (appelés locales) étudiés par la théorie ne contiennent aucun point au sens usuel. (fr) In mathematics, pointless topology (also called point-free or pointfree topology, or locale theory) is an approach to topology that avoids mentioning points, and in which the lattices of open sets are the primitive notions. In this approach it becomes possible to construct topologically interesting spaces from purely algebraic data. (en) La topología sin puntos es un enfoque de la topología que evita mencionar los puntos. Un espacio topológico tradicional consiste en un conjunto de "puntos", junto con un conjunto de "conjuntos abiertos". Estos conjuntos abiertos forman un retículo con ciertas propiedades. La topología sin puntos estudia los propios retículos como entidades abstractas, sin referencia hacer a un conjunto subyacente de puntos. Puesto que algunos de los retículos así definidos no provienen de espacios topológicos, uno puede ver la categoría de espacios topológicos sin puntos, también llamada de locales, como extensión de la categoría de los espacios topológicos ordinarios. Algunos autores afirman que esta nueva categoría tiene ciertas propiedades naturales que la hacen preferible. Detalles en la relación entre (es) |
| rdfs:label | Topología sin puntos (es) Théorie des locales (fr) Pointless topology (en) |
| owl:sameAs | freebase:Pointless topology wikidata:Pointless topology dbpedia-es:Pointless topology dbpedia-fa:Pointless topology dbpedia-fr:Pointless topology https://global.dbpedia.org/id/4tSMB |
| prov:wasDerivedFrom | wikipedia-en:Pointless_topology?oldid=1121267371&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Pointless_topology |
| is dbo:wikiPageDisambiguates of | dbr:Pointless_(disambiguation) |
| is dbo:wikiPageRedirects of | dbr:Point-free_topologies dbr:Point-free_topology dbr:Point_free_topologies dbr:Point_free_topology dbr:Pointfree_topologies dbr:Pointfree_topology dbr:Pointless_topologies dbr:Locale_theory |
| is dbo:wikiPageWikiLink of | dbr:Mereotopology dbr:John_von_Neumann dbr:Dona_Strauss dbr:Limit-preserving_function_(order_theory) dbr:List_of_order_theory_topics dbr:Whitehead's_point-free_geometry dbr:Timeline_of_category_theory_and_related_mathematics dbr:Order_theory dbr:Quantale dbr:Glossary_of_areas_of_mathematics dbr:Coordinate-free dbr:Equivalence_of_categories dbr:Complete_Heyting_algebra dbr:Point_(geometry) dbr:Pointless_(disambiguation) dbr:Steve_Vickers_(computer_scientist) dbr:Adjoint_functors dbr:Topology dbr:Distributivity_(order_theory) dbr:Lattice_(order) dbr:Stone_duality dbr:Glossary_of_order_theory dbr:History_of_topos_theory dbr:Proper_map dbr:Heyting_algebra dbr:Category_theory dbr:Set_theory dbr:Sober_space dbr:Tychonoff's_theorem dbr:List_of_topology_topics dbr:Wallman_compactification dbr:Stone_functor dbr:Outline_of_category_theory dbr:Point-free dbr:Point-free_topologies dbr:Point-free_topology dbr:Point_free_topologies dbr:Point_free_topology dbr:Pointfree_topologies dbr:Pointfree_topology dbr:Pointless_topologies dbr:Locale_theory |
| is foaf:primaryTopic of | wikipedia-en:Pointless_topology |