1

Espacios Topológicos
En este objetivo se pretende realizar una introducción a lo que comúnmente
se denomina Topología General.
La definición de Espacio Topológico que se dará en este objetivo, tardó
mucho tiempo en ser formulada. Matemáticos como Fréchet, Hausdorff y
otros, propusieron distintas definiciones, pero no eran lo suficientemente
adecuadas para englobar todo los ejemplos importantes que se empleaban
en matemática. Por un proceso de refinamiento de las distintas
definiciones, y de explotar las propiedades generales de los ejemplos
citados, los matemáticos desarrollaron la definición, que usaremos en este
objetivo.

Topología. Espacio Topológico.

Sea X un conjunto cualquiera, y sea Γ una familia de subconjuntos de X.
Entonces se dice que la familia Γ es una topología de X si:
i) ∅ y X están en Γ
ii) La unión de cada subfamilia de Γ , pertenece a Γ
iii) La intersección de cada subfamilia finita de Γ , pertenece a Γ

En tal caso, el par ( X , Γ) se denomina espacio topológico, y los

elementos de la topología Γ se llaman Γ -abiertos o abiertos simplemente.

Ejemplo 7.1 (Espacios Topológicos)

Sea X un conjunto cualquiera, entonces la familia definida como:

Γ = {∅, X }

Es una topología del conjunto X.

La topología de este ejemplo, se denomina topología indiscreta o trivial.
Consecuentemente, el par ( X , Γ) se denomina espacio topológico indiscreto

o trivial
 2

Ejemplo 7.2 (Espacios Topológicos)

{
Si se considera el conjunto X = {a, b} , entonces la familia Γ = ∅, {a} , {b} , X }
es una topología de X. En este caso el conjunto de partes de X, es
precisamente una topología de X.
En general esto es cierto para cualquier conjunto. Esta topología se
denomina topología discreta. El par ( X , Γ) se denomina en este caso

espacio topológico discreto.

Ejemplo 7.3 (Espacios Topológicos)

La intersección de dos topologías Γ1 y Γ 2 cualesquiera de X, es

también una topología de X

Ejemplo 7.4 (Espacios Topológicos)

Consideremos el conjunto X = {1, 2,3} .Entonces las familias: Γ1 = {∅, {1, 2} , X } ,
Γ 2 = {∅, {2, 3} , X } son topologías de X, pero Γ1 ∪ Γ 2 = {∅, {1, 2} , {2, 3} , X } no es
una topología, ya que {1, 2} ∩ {2,3} = {2} ∉ Γ1 ∪ Γ 2

Ejemplo 7.5 (Topología Métrica)

Sea ( X,d) un espacio métrico, y ℑ la familia de todos los conjuntos

abiertos de X. Entonces, ℑ forma una topología de X. Esta topología se

denomina Topología Métrica.

Ejemplo 7.6 (Topología Relativa)

Dado un espacio topológico ( X , ℑ) y un subconjunto A ⊂ X . Entonces la

familia de partes de A:

Γ A = {U ∩ A : U ∈ ℑ}

es una topología del conjunto A. Esta topología se denomina Topología

Relativa. El espacio topológico ( A, Γ A ) se llama subespacio topológico de

X
 3

La cantidad de abiertos o elementos de una topología determinan muchas

características de la misma, al tener varias topologías en un mismo
conjunto es inevitable indagar cual de estas posee más abiertos, para
definir estas diferencias, es recomendable que revises los conceptos de
Topologías más finas y Topologías menos finas. Te puedes referir a
Munkres (2000), Capítulo 3, sección 12.
Muchos de los introducidos en los capítulos anteriores, se generalizan para
espacios topológicos en general, entre estos están:

i. Conjuntos cerrados y puntos límite

ii. Clausura e interior de un conjunto

Se te recomienda que revises estos conceptos en Munkres (2000),

Capítulo 3, sección 17.

Base de una Topología.

Si X es un conjunto, una base para una topología sobre X , es una

colección B de subconjuntos de X (elementos básicos) tales que:

a) Para cada x ∈ X , hay al menos un elemento básico B que contiene a x

b) Si x pertenece a la intersección de dos elementos básicos B1 y B2 ,

entonces existe un elemento básico B3 que contiene a x y tal que
B2 ⊂ B1 ∩ B2 .

Si B satisface con estas dos condiciones, se define la topología T

generada por B como sigue:
Un subconjunto U de X se dice que es abierto en X ( U ∈ T ), si para cada
x ∈ U , existe un elemento básico B ∈ B , tal que x ∈ B y B ⊂ U .
 4

Ejemplo 7.7 (Base de una Topología)

Los intervalos abiertos forman una base de la topología usual (constituida

por los conjuntos abiertos generados por la métrica usual) de la recta real.
De manera análoga las bolas abiertas en
n forman una base de la
topología usual de
n .

Ejemplo 7.8 (Base de una Topología)

Los rectángulos abiertos, en el plano
2 , que poseen los lados paralelos a

los ejes coordenados, forman una base para la topología usual de
2 .
También los rombos, forman una base para la topología usual de
2 . Ver
figura 7.1

En varios textos de Topología General, se define base de una topología de

manera diferente, pero todas estas definiciones son equivalentes a la dada
aquí, para comprender estas equivalencias es importante que estudies con
detenimiento los Lemas 13.1 al 13.3 en Munkres (2000), Capítulo 2,
sección 13.

Subbase de una Topología.

Una subbase S para una topología sobre X es una colección de X cuya

unión es igual a X .
La topología generada por la subbase S , se define como la colección T de
todas las uniones de intersecciones finitas de elementos de S .
 5

Ejemplo 7.9 (Subbase de una Topología)

Consideremos el conjunto de los intervalos infinitos en
, definido como

S ={( −∞, a ) : a ∈
} ∪ {( b, ∞ ) : b ∈
} . Entonces como
= ∪ {s} , tenemos que S
s∈S

es una subbase de una topología de
¿cuál es esta topología?.

Ejemplo 7.10 (Subbase de una Topología)

Consideremos en
2 el conjunto de franjas horizontales y verticales sin

bordes laterales, entonces la unión de todas estas franjas es igual a
2 . Por

lo tanto este conjunto es una subbase de una topología de
2 . ¿cuál es

esta topología?.

En los espacios métricos, todo conjunto de un solo punto es cerrado,

sorprendentemente esto no siempre es así en un espacio topológico
general. Los espacios topológicos que conservan esta propiedad son
denominados Espacios de Hausdorff. Es recomendable que leas y
estudies este concepto en Munkres (2000), Capítulo 2, sección 17.

Continuidad. Homeomorfismo.
Consideremos dos espacios topológicos ( X , Γ) y (Y , ϒ ) . Diremos que una
función f : X → Y es una función continua, si y sólo si para cada abierto
U ⊆ Y (U ∈ ϒ ) su imagen recíproca f −1 (U ) es un subconjunto abierto de X
( f −1 (U ) ∈ Γ ).

Un homeomorfismo de X sobre Y es una función continua f : X → Y que

es biyectiva, y tal que la función inversa f −1 : Y → X es también una función
continua. A estos espacios se les denomina espacios homeomorfos.

Ejemplo 7.11 (Función Continua)

Sea ( X , Γ) un espacio topológico, entonces la función identidad: i : X → X

i ( x) = x
es una función continua.
 6

Ejemplo 7.12 (Función Continua)

Sean ( X , Γ ) y (Y , ϒ ) dos espacios topológicos, y ( X , Γ ) un espacio discreto,
entonces cualquier función f : X → Y es continua.

Ejemplo 7.13 (Función Continua)

Sean ( X , Γ ) y (Y , ϒ ) dos espacios topológicos, y (Y , ϒ ) un espacio
indiscreto, entonces cualquier función f : X → Y es continua.

Ejemplo 7.14 (Homeomorfismo)

x
La función f ( x ) = es un homeomorfismo de
en el intervalo ( 0,1)
1+ x

Ejemplo 7.15 (Homeomorfismo)

La función f : ( 0,1) → ( a, b ) definida por

f ( x) = (b − a) x + a

es un homeomorfismo entre los conjuntos ( 0,1) y ( a, b ) .

Propiedad Topológica .Invariante Topológico.

Una propiedad topológica P, es una propiedad referida a los espacios

topológicos que se preserva a través de funciones continuas. Es decir, si
f : X 
→ Y es una función continua y si X verifica la propiedad, entonces

el espacio topológico f ( X ) ⊆ Y (con la topología relativa) también verifica la

propiedad P.
Un invariante topológico, es una propiedad P que se preserva a través de
homeomorfismos: Si Xe Y son espacios homeomorfos, entonces X
verifica P sí y sólo si Y verifica P.
 7

Ejemplo 7.16 (Propiedad topológica)

La propiedad de ser punto interior de un conjunto es una propiedad

topológica. Para probar esto, consideremos que x un punto interior del
conjunto A, se verá que f ( x) es un punto interior de f ( A) .

En efecto, tomando U f ( x ) = f (U x ) , donde U x es la vecindad abierta de x,

que cumple x ∈U x ⊂ A , entonces U f ( x ) es una vecindad abierta de f ( x)

¿porqué?, entonces: f ( x) ∈U f ( x) ⊂ f ( A) .Por lo tanto, f ( x) es un punto

interior de f ( A)

Ejemplo 7.17 (Invariante topológica)

La longitud no es un invariante topológica, ya que si consideramos los

subconjuntos de
: A = ( 0,1) y B = ( 2,10) , con la topología relativa inducida

por la usual, entonces longitud (A) = 1≠ 8 = longitud (B), pero ellos son
homeomorfos (ver ejemplo 7.15).

Es importante estudies algunas generalizaciones de importantes conceptos

vistos en capítulos anteriores, como son:
• Espacio Topológico Conexo
• Espacio Topológico Compacto
• Espacio Topológico Separable
Para estos puntos, consultar: Munkres (2000), Capítulo3, secciones 23 a la
30.

Topología Producto sobre X × Y .

Sean X , Y espacios topológicos. La topología producto sobre X × Y es la

topología que tiene como base la colección B de todos los conjuntos de la

forma U × V , donde U es un abierto de X y V es un abierto de Y .
 8

Ejemplo 7.18 (Topología producto sobre X ×Y )

Sean X e Y dos espacios topológicos. Sea X × Y el producto cartesiano,

π 1 ( x, y ) = x y π 2 ( x, y ) = y las proyecciones de X × Y . Si A ⊆ X y B ⊆ Y ,
π −1 ( A) = A × Y y π −1 ( B ) = X × B . Entonces los conjuntos de la forma
1 2

π −1 ( A) ∩ π −1 ( B ) = A × B
1 2

Donde A es abierto en X y B es abierto en Y, es una base de la topología

producto sobre X × Y .

Ejemplo 7.19 (Topología producto sobre X ×Y )

Sean X = {1, 2, 3} , Y = {7,8} con topologías TX = {∅ , {1} , {2, 3} , X } y

TY = {∅, Y } , entonces una base para la topología producto sobre X × Y , es:
B = {U × V : U ∈ TX , V ∈ TY } = {∅, {1} × Y , {2,3} × Y , X × Y }

La topología sobre X × Y , definida anteriormente se puede generalizar al

producto de un número finito de espacios topológicos, y esta topología es
comúnmente denominada topología por cajas. Existe otro método para
generalizar esta topología a un producto arbitrario de espacios topológicos
no vacíos. Esta generalización se denomina topología producto.

a. Estudia la construcción de la topología producto, así como sus

principales propiedades.
b. Compara la topología por cajas y la topología producto

Puedes referirte a: Munkres (2000), Capítulo2, sección 19.

Topología Cociente
Sea f : X 
→ Y una función, donde X es un espacio topológico e Y un
conjunto cualquiera. La topología C definida por la siguiente condición: un

conjunto U ⊆ Y es miembro de C , si y sólo si f −1 (U ) es un conjunto abierto

en X, se denomina Topología Cociente de Y.

 9

Se debe observar que la topología cociente de Y depende de la topología de

X y de la función f.

Ejemplo 7.20 (Topología Cociente)

Sea
+ = { x ∈
: x ≥ 0} , f :

→
+ , definida como f ( x ) = x 2 , entonces la
topología cociente de
+ , es la topología relativa de
+ como subconjunto
de

Ejemplo 7.19 (Topología Cociente)

Consideremos los conjuntos: X = {a, b, c} , Y = {1, 2} y f : X 

→ Y definida
como:
1 si x = a
f ( x) = 
2 si x ≠ a
También consideremos la topología de X definida como: TX = {∅, {a} , {b, c} , X }
{
y todos los subconjuntos de Y : P (Y ) = ∅, {1} , {2} , Y . }
Entonces: f −1
( ∅ ) = ∅ ∈ TX , f −1
(1) = {a} ∈ TX , f ( 2 ) = {b, c} ∈ TX ,
−1

f −1
(Y ) = X ∈ TX . Por lo tanto TC = {∅, {1} , {2} , Y } , es la topología cociente en
Y

Y, asociada a f y TX .

La definición de topología cociente, dada anteriormente difiere en forma

aparente a la dada en el libro de referencia (Munkres (2000), Topología),
efectivamente, son definiciones equivalentes. La razón de escoger esta
definición es que es más sencilla de entender y usar que la dada en el libro
de referencia.