1.
Espacios Topológicos
1.1. Definición
Un espacio topológico es un par (X, τ ) donde:
1. X es un conjunto.
2. τ es una colección de subconjuntos de X (llamados abiertos) tal que:
a) ∅, X ∈ τ ,
b) La unión de cualquier colección de conjuntos en τ pertenece a τ ,
c) La intersección de cualquier número finito de conjuntos en τ pertenece a τ .
1.2. Conjuntos Cerrados
Un conjunto F ⊆ X es cerrado si su complemento X \ F es abierto.
1.3. Propiedades
Uniones arbitrarias de abiertos son abiertas.
Intersecciones finitas de abiertos son abiertas.
Intersecciones arbitrarias de cerrados son cerradas.
Uniones finitas de cerrados son cerradas.
∅ y X son abiertos y cerrados (clopen).
2. Interior, Clausura, Frontera y Exterior
2.1. Interior
El interior de A ⊆ X es:
[
int(A) = {U ∈ τ : U ⊆ A}.
Es el mayor conjunto abierto contenido en A.
Propiedades:
int(A) ⊆ A.
int(A) es abierto.
A es abierto ⇐⇒ A = int(A).
int(A ∩ B) = int(A) ∩ int(B).
1
2.2. Clausura
La clausura de A ⊆ X es:
\
cl(A) = {F ⊆ X : F cerrado y A ⊆ F }.
Equivalentemente,
cl(A) = A ∪ A′ ,
donde A′ es el conjunto de los puntos de acumulación de A.
Propiedades:
A ⊆ cl(A).
cl(A) es cerrado.
A es cerrado ⇐⇒ A = cl(A).
cl(A ∪ B) = cl(A) ∪ cl(B).
cl(cl(A)) = cl(A).
2.3. Frontera y Exterior
∂A = cl(A) \ int(A),
ext(A) = int(X \ A).
Relaciones:
X = int(A) ∪ ∂A ∪ ext(A),
y los tres conjuntos son disjuntos.
3. Puntos Lı́mite y de Acumulación
Un punto x ∈ X es un punto lı́mite de A ⊆ X si todo conjunto abierto U que contiene
a x cumple
U ∩ (A \ {x}) ̸= ∅.
Un punto x ∈ A es un punto aislado si existe un abierto U tal que U ∩ A = {x}.
El conjunto derivado de A es
A′ = {x ∈ X : x es punto lı́mite de A}.
2
4. Continuidad y Homeomorfismo
4.1. Continuidad
Una función f : (X, τX ) → (Y, τY ) es continua si para todo abierto V ⊆ Y ,
f −1 (V ) ∈ τX .
Formulaciones equivalentes:
1. f es continua ⇐⇒ para todo cerrado F ⊆ Y , f −1 (F ) es cerrado.
2. f es continua en x ∈ X ⇐⇒ para todo entorno V de f (x), existe un entorno U de x
tal que f (U ) ⊆ V .
4.2. Homeomorfismo
Una biyección f : X → Y es un homeomorfismo si tanto f como f −1 son continuas.
Si tal función existe, decimos que X y Y son homeomorfos, es decir, topológicamente
equivalentes.
Propiedades:
El homeomorfismo es una relación de equivalencia.
Propiedades topológicas como compacidad, conexidad y ser Hausdorff se preservan
bajo homeomorfismos.
5. Axiomas de Separación
5.1. T0 (Kolmogórov)
Un espacio topológico (X, τ ) es T0 si para cualesquiera dos puntos distintos x, y ∈ X,
existe un abierto U tal que, sin pérdida de generalidad,
x∈U y y∈
/ U.
Equivalente: Puntos distintos son topológicamente distinguibles.
Ejemplo: El espacio de Sierpiński {0, 1} con topologı́a {∅, {1}, {0, 1}} es T0 pero no T1 .
5.2. T1 (Fréchet)
Un espacio (X, τ ) es T1 si para cualesquiera dos puntos distintos x, y ∈ X, existe un
abierto U que contiene a x pero no a y.
Condiciones equivalentes:
Los conjuntos unitarios {x} son cerrados para todo x ∈ X.
Todo subconjunto finito de X es cerrado.
3
Propiedades:
Todo espacio T1 es T0 .
En espacios Hausdorff, las sucesiones tienen a lo sumo un lı́mite.
5.3. T2 (Hausdorff )
Un espacio (X, τ ) es Hausdorff o T2 si para cualesquiera dos puntos distintos x, y ∈ X,
existen abiertos disjuntos U, V tales que
x ∈ U, y ∈ V, U ∩ V = ∅.
Equivalencias:
Cada punto tiene una base de entornos tal que los entornos de puntos distintos son
disjuntos.
Los lı́mites de sucesiones, si existen, son únicos.
Propiedades:
Todo espacio Hausdorff es T1 .
Los subconjuntos cerrados de un compacto son compactos.
Los subconjuntos compactos de un espacio Hausdorff son cerrados.
5.4. T3 (Regular y T1 )
Un espacio (X, τ ) es regular si:
1. Es T1 , y
2. Para cada conjunto cerrado F ⊆ X y cada punto x ∈ X \ F , existen abiertos disjuntos
U, V tales que
x ∈ U, F ⊆ V, U ∩ V = ∅.
Equivalente: Un espacio es regular si los puntos y los conjuntos cerrados disjuntos
pueden separarse por abiertos.
5.5. T4 (Normal y T1 )
Un espacio (X, τ ) es normal si:
1. Es T1 , y
2. Para todo par de conjuntos cerrados disjuntos F1 , F2 ⊆ X, existen abiertos disjuntos
U1 , U2 tales que
F1 ⊆ U1 , F2 ⊆ U2 , U1 ∩ U2 = ∅.
4
Ejemplos:
Todo espacio métrico es normal.
Rn con la topologı́a euclidiana es normal.
5.6. Relaciones entre los axiomas de separación
T4 ⇒ T3 ⇒ T2 ⇒ T1 ⇒ T0 .
Ninguna de las implicaciones inversas es cierta en general.
5.7. Clases adicionales
Completamente regular (T3 1 ): Un espacio es completamente regular si es T1 y para
2
cada conjunto cerrado F y punto x ∈
/ F , existe una función continua f : X → [0, 1] tal
que f (x) = 0 y f (F ) = {1}.
Completamente normal (T5 ): Para todo par de conjuntos separados A, B (es decir,
cl(A) ∩ B = A ∩ cl(B) = ∅), existen abiertos disjuntos U, V tales que A ⊆ U , B ⊆ V .
Perfectamente normal (T6 ): Un espacio es normal y todo conjunto cerrado es un
Gδ (intersección numerable de abiertos).
6. Tabla Resumen
Axioma Caracterización
T0 Puntos distintos son distinguibles topológicamente
T1 Los conjuntos unitarios son cerrados
T2 (Hausdorff) Puntos distintos tienen entornos disjuntos
T3 (Regular) Puntos y conjuntos cerrados se separan por abiertos
T4 (Normal) Conjuntos cerrados disjuntos se separan por abiertos
T3 1 (Completamente Regular) Punto y cerrado separados por una función continua
2
T5 (Completamente Normal) Conjuntos separados se separan por abiertos
T6 (Perfectamente Normal) Normal y los cerrados son Gδ