Axiomas de separación

Seminario de Topologı́a

Jesús Eduardo Mata Cano

Mayo 2018

Jesús Eduardo Mata Cano Axiomas de separación

Un poco de historia...

Antes de la definición que conocemos de espacio topológico, exis-

tieron muchas definiciones, algunas de las cuales suponı́an (lo que
hoy conocemos como) algunos axiomas de separación. Por ejemplo,
la definición que dio Felix Hausdorff en 1914 es equivalente a la de-
finición que conocemos agregando una condición más, el axioma de
separación de Hausdorff.
La necesidad de la introducción de estos axiomas surge por el hecho
de poder distinguir espacios topológicos ya que bajo las condiciones
de la definición de topologı́a no era posible probar muchos teoremas
de manera general.
La letra que se les asigna es Ti y viene del alemán Trenunngaxiome,
que se traduce como axioma de separación.

Jesús Eduardo Mata Cano Axiomas de separación

Espacios T0

El primer axioma de separación fue introducido A. N. Kolmogoroff,

y es conocido como el axioma T0 .
Definición
Un espacio topológico pX, τ q se dice un espacio T0 si para cada par
de puntos distintos x y y de X existe un subconjunto U tal que U
contiene a uno de los dos puntos x ó y, pero no al otro; esto es

@x, y P X DU P τ : |U X tx, yu|  1

Jesús Eduardo Mata Cano Axiomas de separación

Ejemplos espacios T0

No todos los espacios topológicos son T0 . Cualquier espacio to-

pológico X (con más de un punto) cuya topológia sea de la forma

τ  tX u Y tA X Y : A es un subconjunto propio de X u
donde Y „ X es tal que |X zY | ¡ 1, no es un espacio T0 .
El espacio de Sierpinski S  pX, τ q, donde X  t0, 1u y
τ  tH, X, t0uu, es un espacio T0 .
Considérese a N con la familia
τ  tH, Nu Y tt1, 2, ..., nu : n P Nu como topologı́a. Este
espacio es T0
Todo espacio métrico es T0 .
Toda topologı́a que contenga a una topologı́a T0 es T0 .
Ser T0 es una propiedad hereditaria y topológica.

Jesús Eduardo Mata Cano Axiomas de separación

La dificultad para que una topologı́a cumpla con el axioma de sepa-
ración T0 está en poder garantizar que las cerraduras de conjuntos
unipuntuales distintos sean distintas:
Teorema
Un espacio topológico pX, τ q es un espacio T0 si y solo si para
todo x, y P X con x  y, se tiene que txu  ty u.

Jesús Eduardo Mata Cano Axiomas de separación

Espacios T1

Definición
Diremos que un espacio topológico pX, τ q es un espacio T1 si para
cualesquiera dos puntos distintos x y y de X, existen subconjuntos
abiertos U y V de X tales que x P U zV y y P V zU .

Jesús Eduardo Mata Cano Axiomas de separación

Ejemplos y caracterización de espacios T1

De la definición todo espacio T1 es T0 . Pero el recı́proco no es

cierto. Considérese a N con la familia
τ  tH, Nu Y tt1, 2, ..., nu : n P Nu como topologı́a. Este
espacio es T0 , pero no es T1 .
Todo espacio topológico equipado con la topologı́a cofinita es
un espacio T1 .
Ser T1 es una propiedad hereditaria y topológica.
La relevancia de los espacios T1 es que en todos ellos los conjun-
tos unipuntuales son siempre subconjuntos cerrados; de hecho, esto
caracteriza a los espacios T1 .
Teorema
Un espacio topológico pX, τ q es un espacio T1 si y solo si para
todo x P X, el conjunto txu es un subconjunto cerrado de X.

Jesús Eduardo Mata Cano Axiomas de separación

Espacios de Hausdorff o T2

Definición
Un espacio topológico pX, τ q es un espacio Hausdorff o T2 si X
satisface la siguiente condición: para cualesquiera puntos distintos
x y y de X, existen abiertos U y V de X tales que x P U , y P V y
U X V  H.

Jesús Eduardo Mata Cano Axiomas de separación

Ejemplos y caracterización de espacios de Hausdorff

Todo espacio T2 es un espacio T1 . Pero no al revés. Si X es

un conjunto infinito que posee la topologı́a cofinita, entonces
cualquier par de subconjuntos abiertos no vacı́os U y V de X
siempre se intersectan.
Todo espacio espacio métrico es un espacio de Hausdorff.
Toda topologı́a más fina que una topologı́a T2 es una
topologı́a T2 .
Ser T2 es una propiedad hereditaria y topológica.

Teorema
Sea pX, τ q un espacio de Hausdorff. Si pxn qnPN es una sucesión
convergente, entonces pxn qnPN converge a un solo punto.

Jesús Eduardo Mata Cano Axiomas de separación

Espacios regulares o T3

En 1921 L. Vietoris introdujo los espacios regulares o espacios T3 .

Definición
Un espacio topológico X es un espacio regular o T3 si satisface las
siguientes condiciones:
1 X es un espacio T1 ;
2 para cualquier F „ X cerrado y x P X zF existen conjuntos
abiertos ajenos U y V tales que x P U y F „ V .

Jesús Eduardo Mata Cano Axiomas de separación

Ejemplos

Debido a que todo espacio T3 es T1 , entonces todos los

conjuntos unipuntuales son cerrados. De ahı́ que todo espacio
T3 es un espacio T2 . Pero el recı́proco no es cierto.
Considérese a R con la topologı́a τ que tiene como subbase a
la familia S  tQu Y tpa, bq : a, b P Ru. Este es un espacio T2
pero no T3 .
Cualquier espacio métrico es un espacio T3 .
Ser T3 es una propiedad hereditaria.
Ser T3 es una propiedad topológica.

Jesús Eduardo Mata Cano Axiomas de separación

Caracterización de espacios T3

Teorema
Sea pX, τ q un espacio T1 . Las siguientes condiciones son
equivalentes:
1 El espacio X es T3 .
2 Para cualquier punto x P X y cualquier abierto U de X tal
que x P U , existe un abierto V tal que x P V € V „ U .
3 Cada punto x de X tiene una base local de vecindades
formada por subconjuntos cerrados.

Jesús Eduardo Mata Cano Axiomas de separación

Espacios normales o T4

Un axioma de separación más fuerte que el axioma de separación T3

es el axioma T4 o axioma de normalidad. Este último fue introducido
por Heinrich Tietze en una serie de tres artı́culos que aparecieron en
1923. Este axioma también fue introducido y estudiado de manera
independiente por P. Alexandroff y P. Urysohn en 1924.
Definición
Un espacio topológico pX, τ q es normal o T4 si X tiene las
siguientes propiedades:
1 X es un espacio T1 ; y
2 para cualesquiera subconjuntos cerrados y ajenos F1 y F2 de
X, existen abiertos ajenos A1 y A2 de X tales que F1 „ A1 y
F2 „ A2 .

Jesús Eduardo Mata Cano Axiomas de separación

Ejemplos

Todo espacio normal es un espacio regular o T3 .

Todo espacio métrico es un espacio normal.
El siguiente resultado proporciona una caracterización de normalidad
análoga a la presentada anteriormente para espacios regulares.
Proposición
Sea pX, τ q un espacio T1 . El espacio X es un espacio normal si y
solo si todo subconjunto cerrado F de X y para cada subconjunto
abierto A de X tal que F „ A, existe un abierto B de X tal que
F „ B „ B € A.

Jesús Eduardo Mata Cano Axiomas de separación

El siguiente resultado fue demostrado por F. B. Jones en 1937, y es
de gran relevancia en topologı́a general.
Teorema (F. B. Jones)
Sea X un espacio normal separable. Si X contiene un subespacio
discreto y cerrado de cardinalidad κ, entonces 2κ ¤ 2ℵ0 .

Usando este resultado es posible probar que el cuadrado de la lı́nea

de Sorgenfrey LS  LS no es un espacio normal.

Jesús Eduardo Mata Cano Axiomas de separación

Espacios completamente regulares o T3 12

Definición
Un espacio topológico pX, τ q es completamente regular (o Tycho-
noff) si satisface las siguientes condiciones:
1 X es un espacio T1 ; y
2 para cualquier conjunto cerrado F de X y cualquier punto
x R F , existe una función continua f : X Ñ r0, 1s tal que
f rF s „ t1u y f pxq  0.

Jesús Eduardo Mata Cano Axiomas de separación

Ejemplos y contraejemplos

Todo espacio completamente regular es regular.

Dado que la suma y el producto de funciones reales continuas
definidas en un espacio topológico arbitrario son continuas, es
posible ver directamente que todo espacio métrico es un
espacio completamente regular.
El plano de Moore es un espacio completamente regular que
no es normal.

Jesús Eduardo Mata Cano Axiomas de separación

El plano de Moore

Considérese a X  tpx, y q P R2 : y ¥ 0u. Para definir la topologı́a

en X, se definen los siguientes conjuntos:
X0  tpx, 0q P R2 : x P Ru
Para cada z  pa, bq P X zX0 y r ¡ 0, definimos

Dpz, rq  X X tpx, y q P R2 : px
aq2 py
bq2   r2 u

para cada z  pa, bq P X0 y r ¡ 0, definimos

C pz, rq  tz u Y tpx, y q P R2 : px
aq2 py
rq2   r2 u.

Resulta que la familia

B  tDpz, rq : z P X zX0 , r ¡ 0u Y tC pz, rq : z P X0, r ¡ 0u
es una base para una topologı́a τ sobre X.

Jesús Eduardo Mata Cano Axiomas de separación

 Sean F „ X cerrado y z R F .
Si z P X zX0 , entonces existe r ¡ 0 tal que Dpz, rq X F  H.
La función f : X Ñ R definida por f pxq  mı́nt dpx,z
r , 1u es la
q

deseada.

Jesús Eduardo Mata Cano Axiomas de separación

 Si z  px0 , 0q P X0 , entonces existe r ¡ 0 tal que C pz, rqXF 
H. Sea S  tpu, vq P R2 : pu
x0q2 pv
rq2  r2u la
circunferencia de C pz, rq. Para todo x P X zX0 sea spxq el
punto de intersección de la lı́nea recta que une a z con x con
S.
Definiendo f : X Ñ r0, 1s de la siguiente manera
$0,
'
& si x  z
f pxq  1, si x P X0 ztz u
'
%mı́nt1,
dpspxq,z q , si x P X zX0
dpx,z q

tenemos la función buscada.

Jesús Eduardo Mata Cano Axiomas de separación

Jesús Eduardo Mata Cano Axiomas de separación