Espacio T1

En topología y ramas relacionadas de las matemáticas , un espacio T ₁ es un espacio topológico en el que, para cada par de puntos distintos, cada uno tiene un entorno que no contiene al otro punto. ^[1] Un espacio R ₀ es uno en el que esto se cumple para cada par de puntos topológicamente distinguibles . Las propiedades T ₁ y R ₀ son ejemplos de axiomas de separación .

Sea X un espacio topológico y sean x e y puntos en X. Decimos que x e y están separados si cada uno se encuentra en un entorno que no contiene al otro punto.

• X se denomina espacio T ₁ si dos puntos distintos en X están separados.
• X se denomina espacio R ₀ si dos puntos topológicamente distinguibles en X están separados.

El espacio AT ₁ también se denomina espacio accesible o espacio con topología de Fréchet y un espacio R ₀ también se denomina espacio simétrico . (El término espacio de Fréchet también tiene un significado completamente diferente en el análisis funcional . Por esta razón, se prefiere el término espacio T _1. También existe la noción de espacio de Fréchet-Urysohn como un tipo de espacio secuencial . El término espacio simétrico también tiene otro significado ).

Un espacio topológico es un espacio T ₁ si y solo si es a la vez un espacio R ₀ y un espacio de Kolmogorov (o T ₀ ) (es decir, un espacio en el que puntos distintos son topológicamente distinguibles). Un espacio topológico es un espacio R ₀ si y solo si su cociente de Kolmogorov es un espacio T _{1 .}

Si es un espacio topológico entonces las siguientes condiciones son equivalentes:${\estilo de visualización X}$

1. ${\estilo de visualización X}$es un espacio _{T1 .}
2. ${\estilo de visualización X}$es un espacio T ₀ y un espacio R _{0 .}
3. Los puntos están cerrados en ; es decir, para cada punto el conjunto singleton es un subconjunto cerrado de${\estilo de visualización X}$${\displaystyle x\en X,}$${\estilo de visualización \{x\}}$${\estilo de visualización X.}$
4. Cada subconjunto de es la intersección de todos los conjuntos abiertos que lo contienen.${\estilo de visualización X}$
5. Todo conjunto finito es cerrado. ^[2]
6. Todo conjunto cofinito de es abierto.${\estilo de visualización X}$
7. Para cada ultrafiltro fijo en converge solo a${\displaystyle x\en X,}$${\estilo de visualización x}$ ${\estilo de visualización x.}$
8. Para cada subconjunto de y cada punto es un punto límite de si y sólo si cada vecindad abierta de contiene infinitos puntos de${\estilo de visualización S}$${\estilo de visualización X}$${\displaystyle x\en X,}$ ${\estilo de visualización x}$${\estilo de visualización S}$${\estilo de visualización x}$${\estilo de visualización S.}$
9. Cada mapa del espacio de Sierpiński es trivial.${\estilo de visualización X}$
10. La función del espacio de Sierpiński hacia el punto único tiene la propiedad de elevación con respecto a la función hacia el punto único.${\estilo de visualización X}$

Si es un espacio topológico entonces las siguientes condiciones son equivalentes: ^[3] (donde denota el cierre de )${\estilo de visualización X}$${\displaystyle \nombreoperador {cl} \{x\}}$${\estilo de visualización \{x\}}$

1. ${\estilo de visualización X}$es un espacio R _{0 .}
2. Dado cualquier cierre de contiene sólo los puntos que son topológicamente indistinguibles de${\displaystyle x\en X,}$${\estilo de visualización \{x\}}$${\estilo de visualización x.}$
3. El cociente de Kolmogorov de es T ₁ .${\estilo de visualización X}$
4. Porque cualquiera está en la clausura de si y sólo si está en la clausura de${\displaystyle x,y\en X,}$ ${\estilo de visualización x}$${\displaystyle \{y\}}$${\estilo de visualización y}$${\estilo de visualización \{x\}.}$
5. El preorden de especialización en es simétrico (y por lo tanto una relación de equivalencia ).${\estilo de visualización X}$
6. Los conjuntos forman una partición de (es decir, dos conjuntos cualesquiera son idénticos o disjuntos).${\displaystyle \nombreoperador {cl} \{x\}}$${\displaystyle x\en X}$${\estilo de visualización X}$
7. Si es un conjunto cerrado y es un punto no en , entonces${\estilo de visualización F}$${\estilo de visualización x}$${\estilo de visualización F}$${\displaystyle F\cap \operatorname {cl} \{x\}=\conjunto vacío .}$
8. Cada vecindad de un punto contiene${\displaystyle x\en X}$${\displaystyle \operatorname {cl} \{x\}.}$
9. Todo conjunto abierto es una unión de conjuntos cerrados .
10. Para cada ultrafiltro fijo en converge solo a los puntos que son topológicamente indistinguibles de${\displaystyle x\en X,}$${\estilo de visualización x}$${\estilo de visualización x.}$

En cualquier espacio topológico tenemos, como propiedades de cualesquiera dos puntos, las siguientes implicaciones

separado topológicamente distinguible distinto${\displaystyle \implica}$ ${\displaystyle \implica}$

Si la primera flecha se puede invertir, el espacio es R ₀ . Si la segunda flecha se puede invertir, el espacio es T ₀ . Si la flecha compuesta se puede invertir, el espacio es T ₁ . Un espacio es T ₁ si y solo si es R ₀ y T ₀ .

Un espacio finito T ₁ es necesariamente discreto (ya que cada conjunto es cerrado).

Un espacio que es localmente T ₁ , en el sentido de que cada punto tiene un entorno T ₁ (cuando se da la topología del subespacio), también es T ₁ . ^[4] De manera similar, un espacio que es localmente R ₀ también es R ₀ . Por el contrario, la afirmación correspondiente no se cumple para espacios T ₂ . Por ejemplo, la línea con dos orígenes no es un espacio de Hausdorff , pero es localmente Hausdorff.

• El espacio de Sierpiński es un ejemplo simple de una topología que es T ₀ pero no es T ₁ y, por lo tanto, tampoco es R ₀ .
• La topología de intervalo superpuesto es un ejemplo simple de una topología que es T ₀ pero no es T ₁ .
• Todo espacio débilmente hausdorffiano es T ₁ pero lo inverso no es cierto en general.
• La topología cofinita en un conjunto infinito es un ejemplo simple de una topología que es T ₁ pero no es Hausdorff (T ₂ ). Esto se deduce porque no hay dos conjuntos abiertos no vacíos de la topología cofinita que sean disjuntos. Específicamente, sea el conjunto de números enteros , y definamos los conjuntos abiertos como aquellos subconjuntos de que contienen todos menos un subconjunto finito de Entonces, dados números enteros distintos y :${\estilo de visualización X}$ $Estilo de visualización O_{A}}$${\estilo de visualización X}$${\estilo de visualización A}$${\estilo de visualización X.}$${\estilo de visualización x}$${\estilo de visualización y}$

• el conjunto abierto contiene pero no y el conjunto abierto contiene y no ;$Estilo de visualización O_{\{x\}}}$${\estilo de visualización y}$${\estilo de visualización x,}$${\displaystyle O_{\{y\}}}$${\estilo de visualización x}$${\estilo de visualización y}$
• equivalentemente, cada conjunto singleton es el complemento del conjunto abierto, por lo que es un conjunto cerrado;${\estilo de visualización \{x\}}$${\displaystyle O_{\{x\}},}$

Por lo tanto, el espacio resultante es T ₁ según cada una de las definiciones anteriores. Este espacio no es T ₂ , porque la intersección de dos conjuntos abiertos cualesquiera y es que nunca está vacío. Alternativamente, el conjunto de los enteros pares es compacto pero no cerrado , lo que sería imposible en un espacio de Hausdorff.$Estilo de visualización O_{A}}$$Estilo de visualización O_{B}$${\displaystyle O_{A}\cap O_{B}=O_{A\cup B},}$

• El ejemplo anterior se puede modificar ligeramente para crear la topología cofinita de doble punta , que es un ejemplo de un espacio R _{0 que no es ni T 1} ni R ₁ . Sea nuevamente el conjunto de enteros y, utilizando la definición de del ejemplo anterior, defina una subbase de conjuntos abiertos para cualquier entero que sea si es un número par y si es impar. Entonces, la base de la topología está dada por intersecciones finitas de los conjuntos subbásicos: dado un conjunto finito, los conjuntos abiertos de son${\estilo de visualización X}$$Estilo de visualización O_{A}}$$Estilo de visualización G_{x}}$${\estilo de visualización x}$${\displaystyle G_{x}=O_{\{x,x+1\}}}$${\estilo de visualización x}$$Estilo de visualización G_{x}=O_{\{x-1,x\}}}$${\estilo de visualización x}$${\estilo de visualización A,}$${\estilo de visualización X}$

${\displaystyle U_{A}:=\bigcap _{x\in A}G_{x}.}$

El espacio resultante no es T ₀ (y por lo tanto no es T ₁ ), porque los puntos y (para cada caso) son topológicamente indistinguibles; pero por lo demás es esencialmente equivalente al ejemplo anterior.${\estilo de visualización x}$${\estilo de visualización x+1}$${\estilo de visualización x}$

• La topología de Zariski sobre una variedad algebraica (sobre un cuerpo algebraicamente cerrado ) es T ₁ . Para ver esto, note que el singleton que contiene un punto con coordenadas locales es el conjunto cero de los polinomios . Por lo tanto, el punto es cerrado. Sin embargo, este ejemplo es bien conocido como un espacio que no es de Hausdorff (T ₂ ). La topología de Zariski es esencialmente un ejemplo de una topología cofinita.${\displaystyle \left(c_{1},\ldots ,c_{n}\right)}$ ${\displaystyle x_{1}-c_{1},\ldots ,x_{n}-c_{n}.}$
• La topología de Zariski en un anillo conmutativo (es decir, el espectro primo de un anillo ) es T ₀ pero no, en general, T ₁ . ^[5] Para ver esto, note que el cierre de un conjunto de un punto es el conjunto de todos los ideales primos que contienen el punto (y por lo tanto la topología es T ₀ ). Sin embargo, este cierre es un ideal maximal , y los únicos puntos cerrados son los ideales maximal , y por lo tanto no están contenidos en ninguno de los conjuntos abiertos de la topología, y por lo tanto el espacio no satisface el axioma T ₁ . Para aclarar este ejemplo: la topología de Zariski para un anillo conmutativo se da de la siguiente manera: el espacio topológico es el conjunto de todos los ideales primos de La base de la topología está dada por los conjuntos abiertos de ideales primos que no contienen Es sencillo verificar que esto de hecho forma la base: entonces y y Los conjuntos cerrados de la topología de Zariski son los conjuntos de ideales primos que sí contienen Observe cómo este ejemplo difiere sutilmente del ejemplo de topología cofinita, anterior: los puntos en la topología no están cerrados, en general, mientras que en un espacio T _{1 , los puntos siempre están cerrados.}${\estilo de visualización A}$${\estilo de visualización X}$${\displaystyle A.}$$Estilo de visualización O_{a}}$${\displaystyle a\en A.}$${\displaystyle O_{a}\cap O_{b}=O_{ab}}$${\displaystyle O_{0}=\varnada}$${\displaystyle O_{1}=X.}$${\displaystyle a.}$
• Todo espacio totalmente desconectado es T ₁ , ya que cada punto es un componente conexo y por lo tanto cerrado.

Los términos "T ₁ ", "R ₀ " y sus sinónimos también se pueden aplicar a variaciones de espacios topológicos como espacios uniformes , espacios de Cauchy y espacios de convergencia . La característica que unifica el concepto en todos estos ejemplos es que los límites de los ultrafiltros fijos (o redes constantes ) son únicos (para espacios T ₁ ) o únicos hasta la indistinguibilidad topológica (para espacios R ₀ ).

Resulta que los espacios uniformes, y más generalmente los espacios de Cauchy, son siempre R ₀ , por lo que la condición T _{1 en estos casos se reduce a la condición T 0} . Pero R ₀ por sí solo puede ser una condición interesante en otros tipos de espacios de convergencia, como los espacios pretopológicos .

• Propiedad topológica  – Propiedad matemática de un espacio

• AV Arkhangel'skii, LS Pontryagin (Eds.) Topología general I (1990) Springer-Verlag ISBN 3-540-18178-4 . 
• Folland, Gerald (1999). Análisis real: técnicas modernas y sus aplicaciones (2.ª ed.). John Wiley & Sons, Inc., pág. 116. ISBN 0-471-31716-0.
• Schechter, Eric (1996). Manual de análisis y sus fundamentos . San Diego, CA: Academic Press. ISBN 978-0-12-622760-4.OCLC 175294365  .
• Lynn Arthur Steen y J. Arthur Seebach, Jr., Counterexamples in Topology . Springer-Verlag, Nueva York, 1978. Reimpreso por Dover Publications, Nueva York, 1995. ISBN 0-486-68735-X (edición Dover). 
• Willard, Stephen (1998). Topología general . Nueva York: Dover. Págs. 86-90. ISBN. 0-486-43479-6.