UNIVERSIDAD NACIONAL SANTIAGO ANTÚNEZ DE

MAYOLO

Escuela Profesional De Matemática

Nombre:
LAZARO PICON César Eduardo

Curso:
TOPOLOGÍA

Docente:
MONZON BRICEÑO ELI

Titulo:
AXIOMAS DE SEPARACIÓN

2018
Resumen
Antecediendo a la definición actual que conocemos de espacio topológico, existieron muchas
acepciones, algunas de las cuales constituían (lo que hoy llamamos axiomas de separación). Por
ejemplo, la definición que dio Felix Hausdorff en 1914 es equivalente a la definición que conocemos
agregando una condición más, el axioma de separación de Hausdorff.

Los axiomas de separación se indican con la letra T debido a que tiene origen en la palabra
alemán T rennugsaxiom, que significa “Axioma de separación”.

La incorporación de estos axiomas surge por la necesidad de 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. Es importante entender las definiciones para saber exactamente lo que significan.

El presente trabajo tiene por finalidad esclarecer ciertas propiedades topológicas enunciando
los axiomas de separación. A partir de tales, justificamos las definiciones partiendo de un espacio
topológico (X, τ ).

Teniendo en cuenta lo ya referido, el enfoque moderno tiene como objeto dar solución a la axioma-
tización del espacio topológico y luego hablar de tipos de espacios topológicos.

Palabras claves: Espacio de Sierpinski, axiomatización, espacio regular Hausdorff.

Abstract
Antecedents of the current definition that was known of a topological space, many meanings
existed, some of which were constituted (what today we call axioms of separation). For example,
the definition given by Felix Hausdorff in 1914 is equivalent to the definition we know by adding
one more condition, the Hausdorff separation axiom. The axioms of separation are indicated by
the letter T because it has its origin in the German word T rennugsaxiom, which means .Axiom of
separation".

The incorporation of these axioms arises from the need to distinguish the topological spaces and the
conditions of the definition of the topology. It is important to understand the definitions to know
exactly what it means.

The present work aims to clarify certain topological properties by stating the separation axioms.
From stories, we justify the parts starting from a topological space X, τ ).

Taking into account the above, the modern approach aims to provide a solution to the axiomatization
of topological space and then talk about types of topological spaces.

Keywords: Space of Sierpinski, axiomatization, regular space Hausdorff.

2
Índice
1. Espacios T0 o de Kolmogórov: 4
1.1. Definición: . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.2. Teorema: . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.3. Ejemplo: . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4

2. Espacios T1 o Fréchet: 5
2.1. Definición: . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
2.2. Teorema: . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
2.3. Ejemplo: . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5

3. Espacios T2 o de Hausdorff: 6
3.1. Definición: . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
3.2. Teorema: . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
3.3. Ejemplo: . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6

4. Espacios T3 o regulares: 7
4.1. Definición: . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
4.2. Definición: . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
4.3. Teorema: . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
4.4. Ejemplo: . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8

5. Espacios T4 o normales: 8
5.1. Definición: . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
5.2. Teorema: . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
5.3. Ejemplo: . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9

6. Conclusiones: 10

3
 AXIOMAS DE SEPARACIÓN

1. Espacios T0 o de Kolmogórov:
1.1. Definición:

Un espacio topológico (X, τ ) se llama T0 o de Kolmogórov si para cada par

de puntos distintos x, y ∈ X existe un abierto que contiene a uno de los puntos
y no al otro .

1.2. Teorema:

Si x e y son puntos distintos de X si y solo si {x} =

6 {y} es decir la clausura
de {x} y la clausura de {y} son distintos entonces x 6= y.
En efecto:
Sean x, y ∈ X, x 6= y y como X es T0 existe U ∈ T tal que x ∈ U e y 6∈ U
de donde y ∈ X − U .
Luego, U ∈ Vx (Vx es el conjunto de vecindades abiertas del punto x), y
además U ∩ {x} = φ y U ∩ {y} = φ.
Por lo tanto, (X, τ ) es T0 .

1.3. Ejemplo:

El espacio Sierpinski X = {0, 1} con la topología {φ, {0}, {0, 1}}, es un

espacio T0 . Los únicos puntos distintos entre sí son 0 y 1; y {0} es una vecindad
de 0 que no contiene a 1.

4
2. Espacios T1 o Fréchet:
2.1. Definición:

Se dice que un espacio topológico (X, τ ) es de Fréchet o T1 si para cada par

de puntos distintos x, y ∈ X, existen U, V ∈ τ tal que x ∈ U , x 6∈ V e y ∈ V ,
y 6∈ U . Es decir existe al menos un entorno de cada uno de dichos puntos que
no contiene al otro punto.

2.2. Teorema:

Todo espacio T1 es T0 , pero el recíproco no se cumple.

En Efecto:
Supongamos que X es T1 y sean x, y ∈ X, x 6= y, entonces existen U, V ∈ τ
tal que x ∈ U e y 6∈ U y y ∈ V e x 6∈ V . Por tanto, x ∈ U , y 6∈ U . Luego, X
es T0 .

2.3. Ejemplo:

El espacio topológico (R, τ ) es de Fréchet:

Sean dos puntos distintos x e y. Podemos suponer que x < y. Entonces,
existen otros tres puntos a, b y c tales que a < x < b < y < c.
Los siguientes conjuntos disjuntos Ux =< a, b >, Uy =< b, c > son abiertos
y, por tanto, los entornos de x y de y, respectivamente.

5
3. Espacios T2 o de Hausdorff:
3.1. Definición:

Un espacio topológico (X, τ ) es de Hausdorff o T2 si para cualquier par de

puntos x, y distintos en X existen dos abiertos U, V ∈ τ tales que x ∈ U , y ∈ V
y U ∩ V 6= φ. Es decir existen dos conjuntos abiertos disjuntos que contiene
uno a x y otro a y.

3.2. Teorema:

Todo espacio topológico (X, τ ) de Hausdorff es de Fréchet. Es decir, T2 → T1 .

Demostración:
Sean dos puntos distintos x, y de X. Por la definición de espacio de Hasdorff.
existen dos abiertos A y B disjuntos tales que x ∈ A e y ∈ B.
Estos abiertos son, en particular, entornos de los puntos y no contiene a otro
punto: A ∈ U , B ∈ V , y 6∈ A, x 6∈ B

3.3. Ejemplo:

El espacio topológico (R2 , T ) con la topología usual:

qP
2 2
d((x1 , x2 ), (y1 , y2 )) = i=1 (xi − yi ) , es de Hausdorff:

Dados dos puntos distintos x e y de R2 , sea ε = d(x, y).

Entonces, los conjuntos A = B 2ε (x), B = B 2ε (y) son abiertos por ser las
bolas abiertas asociadas a la distancia d.

6
 Estas discos son disjuntos con x ∈ A e y ∈ B.

4. Espacios T3 o regulares:
4.1. Definición:

Un espacio topológico (X, τ ) es regular si para cada punto x ∈ X y cualquier

cerrado F ⊂ X de modo que x no pertenece a F , existen dos abiertos disjuntos
U y V tales que F ⊂ U y p ∈ V .

4.2. Definición:

Un espacio topológico (X, τ ) es regular Hausdorff o T3 si es un espacio regular

y T1 (de Fréchet).

4.3. Teorema:

Un espacio topológico (X, τ ) es T3 si y sólo si es regular y T0 .

En efecto:
Un espacio es T1 si y sólo si {x} es cerrado para todo x ∈ X. Sean x e y
dos puntos distintos de X, entonces el espacio es de Hausdorff si existen dos
abiertos disjuntos U y V tales que x ∈ U e y ∈ V .

7
 Como el espacio es T1 , entonces el subconjunto {x} de X es cerrado e y 6∈
{x}.
Como el espacio es regular, existen dos abiertos disjuntos U y V tales que
{x} ⊂ U e y ∈ V .
Por tanto, el espacio es de Hausdorff.

4.4. Ejemplo:

Los espacios (Rn , τ ) son espacios T3 ya que son regulares y T1 .

El espacio es T1 porque es T2 . Sea F un subconjunto cerrado de Rn , y z un
punto tal que z 6∈ F .
Para cada x ∈ F se tiene que x 6= z, por tanto, como el espacio es de
Hausdorff, existen dos abiertos disjuntos Ux y Vy tales que x ∈ Ux e y ∈ Vy .
S
Definimos: U = x∈F Ux .
El conjunto U es abierto por ser unión de abiertos y, además, U ∩ Vy = φ y
F ⊂ U.
Por tanto, el espacio es regular.

5. Espacios T4 o normales:
5.1. Definición:

Un espacio topológico (X, τ ) es T4 o normal si es T1 y F1 , F2 son subconjuntos

cerrados y disjuntos de X. Entonces existen abiertos U , V con intersección vacía
tales que F1 ⊂ U y F2 ⊂ V

8
5.2. Teorema:

Un espacio topologico (X, τ ) es normal si y solo si para todo conjunto cerrado

F y todo conjunto abierto H que contiene a F , existe un conjunto abierto G
tal que F ⊂ G ⊂ G ⊂ H.

5.3. Ejemplo:

Todo espacio métrico, con su distancia (X, d) es normal.

Demostración:
Tomemos F1 y F2 dos cerrados de un espacio métrico X.
Donde x ∈ F1 , sea r1 = d(x, F2 ) . Análogamente, para cada y ∈ F2 sea
r2 = d(y, F1 ).
Definamos U, V como la unión de abiertos de la siguiente manera:
S S
U = x∈F1 B r21 (x), y V = y∈F2 B r22 (y).
Además F1 ⊂ U y F2 ⊂ V . Se afirma que U ∩ V = φ.
Supongamos que es falso, entonces sea z ∈ U ∩ V . Esto quiere decir que
z ∈ B r21 (x) y z ∈ B r22 (y).
Pero eso implica que:
r1 r2
d(x, y) ≤ d(x, z) + d(z, y) < 2 + 2 < máx(d(x, F2 ), d(y, F1 )) ≤ d(x, F2 )
Lo cual es una contradicción.

9
6. Conclusiones:

Conclusión 1: Existen relaciones entre los distintos espacios estudiados.

Además de ellos existe el espacio T3 12 o Tychonoff.

Conclusión 2: Los espacios topologicos estan estructurizados por los axio-

mas de separación.
Conclusión 2: Existen varios niveles crecientes de separacion que exigen
como reuisito adicional a un espacio topólogico.

10
Referencias

[1] Axiomas de separación. (s.f.). En Wikipedia. Recuperado el 02 de diciembre

de 2018 de https://es.wikipedia.org/wiki/Axiomas_de_separaci%
C3%B3n
[2] Bonilla, J. C. (2015). Axiomas de separación. Recupera-
do de https://ryr2008.files.wordpress.com/2015/09/
topologc3ada-axiomas-de-separacic3b3n.pdf
[3] Academatic.(2000-2019). Axiomas de separación Recuperado de
http://www.esacademic.com/dic.nsf/eswiki/129532
[4] Lipschutz, S. (1970). Teoría y problemas de topología general.
[5] Munkres, J. R. (1975). Topología: un primer curso.

11