(pre)orden de especialización
- (pre)orden de especialización
-
En matemáticas, dado cualquier espacio topológico X, el preorden de especialización se define por
- x ≤ y
si y solamente si c({x}) ⊆ c({y}) aquí c(.) es el operador de clausura de Kuratowski en X. Éste es un preorden; es un orden parcial si y solamente si el espacio X es T0, y trivial (un orden chato) si y solamente si es un espacio T1. cualquier función continua entre dos espacios topológicos debe ser, para los respectivos preórdenes de especialización, monótona, el inverso es, por supuesto, falso en general.
Pero vea topología de Alexandrov.
Cuidado: este orden es exactamente Scott-compatible opuesto del usado generalmente en la teoría de anillos, que sigue (¡incorrectamente!) la inclusión conjuntista de ideales. Es incorrecto porque (los ideales son conjuntos cero) debemos seguir el orden de las funciones características.
Enlaces externos
Wikimedia foundation.
2010.
Mira otros diccionarios:
(pre)orden de especialización — En matemáticas, dado cualquier espacio topológico X, el preorden de especialización se define por x ≤ y si y solamente si c(x) ⊆ c(y) aquí c(.) es el operador de clausura de Kuratowski en X. Éste es un preorden; es un orden parcial si y solamente … Enciclopedia Universal
Estructura trivial — Saltar a navegación, búsqueda En topología y campos relacionados de las matemáticas, se tienen situaciones extremales, tradicionalmente subsumidas en el concepto de conjunto. Un espacio (indiscreto) discreto es un ejemplo particularmente simple… … Wikipedia Español
Topología de Alexandrov — Para otros usos de Aleksándrov, véase Aleksándrov (desambiguación). En matemática, a cualquier preorden se le puede dar la estructura de un espacio topológico, declarando abierto cualquier sección final (conjunto superior). Se puede demostrar que … Wikipedia Español
Espacio sobrio — Saltar a navegación, búsqueda En matemáticas, particularmente en topología, un espacio topológico X es sobrio si para todos los subconjuntos cerrados C de X que no contienen estrictamente un conjunto cerrado no vacío más pequeño, existe un único… … Wikipedia Español
Espacio sobrio — En matemáticas, particularmente en topología, un espacio topológico X es sobrio si para todos los subconjuntos cerrados C de X que no contienen estrictamente un conjunto cerrado no vacío más pequeño, exi … Enciclopedia Universal
Topología de Alexandrov — En matemáticas, a cualquier preorden se le puede dar la estructura de un espacio topológico, declarando abierto cualquier sección final (conjunto superior). Se puede demostrar que cualquier tal fina topología viene de ésa debido al (pre)orden de… … Enciclopedia Universal
Fenómeno de Internet — Este artículo o sección sobre informática necesita ser wikificado con un formato acorde a las convenciones de estilo. Por favor, edítalo para que las cumpla. Mientras tanto, no elimines este aviso puesto el 9 de agosto de 2011. También puedes… … Wikipedia Español
Fuerza Aérea Colombiana — Escudo de la Fuerza Aérea Colombiana. Activa 31 de diciembre de 1919 (Arma de Aviación) … Wikipedia Español
Orihuela — Este artículo o sección necesita una revisión de ortografía y gramática. Puedes colaborar editándolo (lee aquí sugerencias para mejorar tu ortografía). Cuando se haya corregido, borra este aviso por favor. Para el municipio turolense, véase… … Wikipedia Español
Edad del Cobre — Saltar a navegación, búsqueda Holoceno ↑ Pleistoceno Holoceno Neolítico Cultura Halaf Cultura Hassuna Samarra Cultura Mehrgarh Cultura de El Obeid Cultura de Uruk Edad del Cobre Edad del Bronce … Wikipedia Español
