# Matemáticas/Espacios Métricos/Separación
## Introducción

En varios de los capítulos anteriores, hemos visto aparecer la propiedad de Hausdorff aparecer en varios resultados importantes.Recordemos que un espacio tiene dicha propiedad, cuando dados dos puntos distintos del espacio, hay abiertos disjuntos tales que cada uno de ellos contiene a exactamente uno de los puntos dados. En este capítulo estudiaremos propiedades análogas de separación, algunas más fuertes y otrás más débiles. Usaremos la notación tradicional de espacios T$_i$, i = 0, 1, 2, ... introducida por Alexandroff y Hopf (Topologie, 1935).
Generalizaremos la terminología de separación de la siguiente manera: diremos que hay abiertos que separan dos subconjuntos A y B, cuando haya abiertos disjuntos U y V tales que U contiene a A y V a B.
Cuando estudiamos los conjuntos disconexos, vimos que hay funciones reales que permiten distinguir a conjuntos disconexos. Resulta útil, especialmente en Análisis, disponer de ese tipo de funciones, por lo que en la sección 12.3.4 se hallará algunos resultados más profundos al respecto,

## Definiciones y Propiedades

Iniciaremos nuestro estudio con algunos tipos simples de separación.
Definición. (Propiedades de Separación) Sea X un espacio topológico.
* X es un espacio T$_0$, ssi, para todo x, y en X, al menos uno de ellos está contenido en un abierto que no contiene al otro.
* X es un espacio T$_1$, ssi, para todo x, y en X, cada uno de ellos está contenido en un abierto que no contiene al otro.
* X es un espacio T$_2$ o Hausdorff, ssi, para todo x, y en X hay abiertos disjuntos, cada uno de los cuales contiene exactamente a uno de los dos puntos. Es decir que haya abiertos que separan los puntos. Siguiendo el uso tradicional, continuaremos usando el nombre Hausdorff para estos espacios.
Claramente, un espacio T$_2$ es T$_1$, y un espacio T$_1$ es T$_0$. Los siguientes ejemplos mostrarán que las inclusiones son estrictas. Además, notemos que un espacio topológico indiscreto con más de un punto no es T$_0$ — el único abierto no vacío es todo el espacio.
Ejemplos 12.2.1. Los ejemplos siguientes, aunque tienen un aire artificial, permiten ver que cada condición es más restrictiva que la anterior.
* (Espacio T$_0$) X = {a, b}, con topología T$_X$= {∅ ,X, {b}}. X es T$_0$, pero no T$_1$.
* (Espacio T1) Sea X un espacio infinito, por ejemplo los Naturales, y sea T$_X$ el conjunto formado por el conjunto vacío y todos los subconjuntos cuyo complemento es finito. Si x, y son puntos diferentes de X entonces X \ {y} es una vecindad de x que no contiene a y. Análogamente, X \{x} es una vecindad de y que no contiene a x. Observemos que cualquier vecindad de x difiere de una vecindad de y por a lo más una cantidad finita de elementos, por lo que no son disjuntas. Es decir que X es T$_1$, pero no T$_2$.
* Los espacios métricos son espacios Hausdorff (T$_2$).
Sea X un espacio T$_1$ y sea p un punto de X. Cada punto del complemento de {x} está contenido en un abierto que no contiene a p, o sea que está totalmente contenido en el complemento indicado. Luego, dicho complemento es un conjunto abierto. Luego, {x} es cerrado. Esta propiedad caracteriza a los espacios T$_1$.
Proposición 12.2.1. Un espacio topológico es T$_1$, ssi, cada punto es cerrado.
Sigue de la proposición que los subconjuntos finitos de espacios T$_1$ son cerrados. En particular, los espacios Hausdorff tienen la misma propiedad. Las siguientes proposiciones refuerzan la intuición de que compactos (al menos en espacios Hausdorff) se comportan como puntos.
Los espacios Hausdorff tienen interesantes propiedades de separación. La siguiente proposición establece que un punto y un conjunto compacto que no lo contengan pueden ser separados.
Proposición 12.2.2. Sean X un espacio Hausdorff, C un subconjunto compacto de X, y p un punto que no está en C. Entonces, hay abiertos disjuntos U, V tales que U contiene a p y V a C.
Sigue en forma inmediata de la proposicion que un subconjunto compacto de un espacio Hausdorff es cerrado. Resultado que vimos anteriormente como proposición 10.2.6.
La proposición anterior, se puede generalizar de la siguiente manera.
Proposición 12.2.3. En un espacio Hausdorff, abiertos separan a conjuntos compactos.

### Ejercicios 12.2

* Decimos que una propiedad de un espacio topológico es hereditaria, cuando cada subespacio tiene la propiedad. Probar que las propiedades T$_i$, i = 0, 1, 2 son hereditarias.
* Sea f : X → Y continua e inyectiva. Probar que si Y es Hausdorff, X también los es.
* Probar que cada espacio T$_1$ con una base finita es un espacio finito y discreto.
* Sea X un espacio infinito y sea T la topología generada por abiertos que tienen complementos finitos. Probar que X es T$_1$, pero no Hausdorff.
* Sea X un espacio topológico. Las afirmaciones siguientes son equivalentes.
    a) X es Hausdorff.
    b) La intersección de las vecindades cerradas de un punto x es {x}.
    c) Cuando una sucesión en X converge, tiene un único límite.
* El producto de una familia de espacios Hausdorff es un espacio Hausdorff.
* Sea X un espacio topológico y sea D= {(x, y) ∈ X × X : x = y} (la diagonal principal del producto). Probar que X es un espacio Hausdorff, ssi, D es un subconjunto cerrado de X × X. Probar que R con la topología de complementos finitos es un espaco T$_1$, pero no T$_2$.

## Los Espacios Regulares y Normales

Definición. (Espacio Regular) Un espacio X es un espacio regular, ssi, es T$_1$ (cada punto es cerrado) y se cumple la siguiente propiedad:
(Propiedad T$_3$.) Abiertos separan puntos de conjuntos cerrados. Es decir que para cada punto p y cada conjunto cerrado C tal que p no está en C, hay abiertos disjuntos U, V tales que p está en U y C está contenido en V.
Algunos autores llaman regular a un espacio que satisface la condición T$_3$, pero no necesariamente T$_1$, y llaman completamente regular a lo que aquí llamamos regular.
Definición. (Espacio Normal) Un espacio es normal o T$_4$, ssi, es T$_1$ y se cumple la siguiente propiedad.
(Propiedad T$_4$.) Abiertos separan conjuntos cerrados. Es decir, si H y K son subconjuntos cerrados, hay abiertos disjuntos U, V tales que U contiene a H y V contiene a K.
Observación 12.1. Notemos que las condiciones T$_3$ y T$_4$ corresponden a las proposiciones 12.2.2 y 12.2.3 reemplazando compactos por cerrados.

### Los Espacios Regulares

Proposición 12.3.1. Un T$_1$–espacio X es regular si, y sólo si, para cada punto p y cada abierto U que contiene a p hay un abierto V cuya clausura está contenida en U.
Proposición 12.3.2. Sean $X$ un espacio, $p$ un punto de $X$ y $C$ un subconjunto cerrado de $X$. Hay abiertos que separan $p$ y $C$ cuyas clausuras son disjuntas.

### Los Espacios Normales

Proposición 12.3.3. Si H y K son subconjuntos cerrados de un espacio normal X, hay abiertos con clausuras disjuntas, uno de ellos contiene a H y el otro a K.
Proposición 12.3.4. Un espacio Hausdorff compacto es normal.

### La Separación y los Espacios Métricos

Sea E un espacio métrico, p un punto de E y U un abierto que contiene a p. Luego, hay una bola abierta B(p; r) que contiene a p y está contenida en U. Entonces, B(p; r/2) es un abierto contenido en U cuya clausura está contenida en B(p; r) y, por lo tanto en U. Sigue de la proposición 12.3.1 que E es regular.
Probaremos que los espacios métricos tienen la siguiente propiedad:
(Propiedad T$_5$.) Si H y K son dos subespacios separados (en el sentido de los espacios conexos, ninguno de ellos contiene puntos de acumulación del otro) entonces hay abiertos separando los conjuntos.
Un espacio T$_1$ se llama completamente normal cuando tienen la propiedad T$_5$. Los espacios completamente normales son normales.
Teorema 12.3.5. Los espacios métricos son completamente normales.
Los resultados sobre los espacios vistos anteriormente muestra que las propiedades de separación son abstracciones de propiedades de los espacios métricos.

### La Separación por Funciones

Esta sección contiene tres resultados importantes, especialmente para el Análisis, pero que no usaremos en el resto del libro. Por esa razón, solamente los enunciaremos, pero referiremos a la literatura para las demostraciones, ver por ejemplo Simmons [15].
Proposición 12.3.6. (Lema de Urysohn) Sea X un espacio normal y sean A y B subconjuntos cerrados disjuntos de X. Entonces, hay una función continua de X en [0, 1] tal que f(A) = {0} y f(B) = {1}.
Proposición 12.3.7 (Lema de la extensión de Tietze). Sea X un espacio normal y F un subconjunto cerrado de X. Suponer que tenemos una función f : A → [a, b] ⊂ R continua. Entonces, hay una extensión g : X → [a, b] de f, o sea que la restricción de g a F coincide con f.
El siguiente lema responde a la pregunta de cuando un espacio topológico X es metrizable, es decir cuando hay una métrica en X cuya topología inducida coincide con la topología del espacio.
Proposición 12.3.8 (Lema de la Metrización de Urysohn). Cada espacio normal X con una base con una cantidad contable de elementos (se pueden escribir como una sucesión), es metrizable.
* Heinrich Franz Friedrich Tietze 1880–1964, Austriaco
* Pavel Samuilovich Urysohn (1898–1924), Ucraniano.

### Ejercicios 12.3

* Probar que subespacios de espacios regulares (resp. completamente regulares, normales, completamente regulares) también lo son.
* Los espacios completamente normales son normales.
* Sea X un espacio regular y p un punto de X y F un cerrado que no contiene a p. Entonces, hay abiertos tales que uno de ellos contiene a p y el otro a F y cuyas clausuras son disjuntas.

## Ejercicios del Capítulo 12

* Sea X un espacio topológico. Probar que X es un espacio T$_0$, ssi, para todo x, y en X, x ∉ cl{y} o y ∉ cl{y}, ssi, x ≠ y implica que cl{x} ≠ cl{y}.
* Sea X un espacio topológico. Definamos una relación de equivalencia R en X, por x R y, ssi, cl{x} = cl{y}. Probar que el espacio cociente es T$_0$.
* Sea X un espacio topológico y sea ∼ la relación en X tal que x ∼ y, ssi, x ∈ cl{y}. La relación es reflexiva y simétrica. La relación es antisimétrica, ssi, el espacio es T$_0$.
* Sea X$_i$, i ∈ I una familia no vacía de espacios topológicos no vacíos y sea X su producto topológico. Probar que X es un espacios T$_k$, k = 0, 1, 2, ssi, cada espacio X$_i$ lo es.
* Sean f, g : X → Y continuas y supongamos que Y es Hausdorff.
** El conjunto {x ∈ X : f(x) = g(x} es un conjunto cerrado.
** La gráfica de f, {(x, y) ∈ X × Y : y = f(x)} es cerrado en X × Y .
** Si f y g coinciden sobre un subconjunto denso, entonces son iguales.
* Sea X un espacio topológico y sea R una relación de equivalencia en X, sea g : X → X/R the canonical suprayección. Si (1) R es cerrado en X ×X y (2) g es una función abierta, entonces X/R es Hausdorff.
* La única topología Hausdorff en un espacio finito es la topología discreta.
* Subespacios de espacios regulares son regulares.
* Sea X = {a, b, c} y sea T = {∅ ,X, {a}, {b, c}}. Probar que < X, T > satisface la propiedad T$_3$, pero no es regular.
* Un espacio X es completamente regular, ssi, es T$_1$ y satisface la propiedad T$_{31/2}$ para cada p de X y conjunto cerrado F que no contiene a p, hay una función continua de X en [0, 1] tal que f(p) = 0 y f(F) = {1}. (Advertencia: la terminología no está estandarizada, algunos autores intercambian el significado de completamente regular y T$_{31/2}$. También son llamados espacios de Tychonoff).
** Cada espacio completamente regular es regular.
** Producto de espacios completamente regulares son completamente regulares.
* Sean f, g : X → Y funciones continuas, Y un espacio Hausdorff. Probar que {x ∈ X : f(x) = g(x)} es cerrado. Dar un ejemplo mostrando que la condición Hausdorff es esencial.
* Sea X un espacio topológico Hausdorff y f una función continua de X en si mismo. Probar que el conjunto formado por los puntos fijos de F es cerrado. Dar un ejemplo, mostrando que la condición Hausdorff es esencial.
* Probar que cuando f, g : X → Y son continuas, Y es Hausdorff, y A es un subconjunto denso en X. Entonces, si f|$_A$ = g|$_A$, se cumple que f = g.