La primera definición que recoje la noción
actual de espacio topológico es debida a
Felix Hausdorff(1868-1942), quien en 1914
definió un espacio topológico como un
conjunto abstracto dotado de un sistema de
entornos. Hausdorff definió para espacios
abstractos las nociones de conjunto abierto y
cerrado que previamente habia obtenido
Cantor(1845-1918) para espacios euclideos.
La definición de un espacio topológico en
función de un operador clausura fue primero
formulada por Kuratowski(1896-1980) en
1922, y la definicíon de espacio topológico
en función de una familia de abiertos fue
dada por Alexandroff(1896-1982) en 1926 y
Sierpinski(1882-1969) en 1928.
 TOPOLOGÍA, DEFINICIÓN Y EJEMPLOS
Definición 01: Topología
Una topología sobre un conjunto X es una
familia T  {Ai : i  I} de subconjuntos de X que
goza de las siguientes propiedades:
(I) , X  T
(II) Si A1, A 2  T  A1 A2  T
(III) i  I, A i  T  Ai  T
Los elementos de T se llaman conjuntos
abiertos y el par ( X, T) formado por un
conjunto X y una topología T sobre X, se
llama ESPACIO TOPOLÓGICO.
Obsérvese que la condición (ii) implica que la
intersección finita de elementos de T es de T.
Ejemplos
A continuación se muestran algunos ejemplos
fundamentales en topología.
(1) En X, T  P(X) es la topología discreta.
(2) En X, T  {, X} es la topología indiscreta.
(3) En X  {1, 2} , T  {,{1}, X} es la topología
de Sierpinski.
(4) En X, T  {, X} {A : X  A es finito}
es la topología de los complementos finitos o
topología cofinita.
Cuando el conjunto X es finito entonces la
topología cofinita coincide con la topología
discreta.
Teorema 01: Intersección de topologías
Sea X un conjunto no vacío. Entonces, la
intersección de dos topologías de X es una
topología de X.
Es fácil ver que la unión de dos topologías de
X no es en general una topología de X.
Definición 02: Topologías comparables
Sean T1 y T2 dos topologías sobre X. Entonces,
(i) T1 es más fina que T2  T1  T2
(ii) T1 y T2 son comparables  T1  T2 o
T2  T1.
Si T1  T2 diremos también que, T2 es más
gruesa (o menos fina) que T1 . Obsérvese que
la topología indiscreta es más gruesa (o
menos fina) que cualquier otra, y la topología
discreta la más fina posible.
Ejemplos
Determine cuales de las siguientes topologías
de X  {a,b,c} son comparables.
T1  {,{a,b},{b},{b,c}, X}
T2  {,{a},{a,b}, X} ; T3  {,{b},{b,c}, X}
T4  {,{a},{b},{a,b}, X} .
 BASES Y SUBBASES DE UNA TOPOLOGÍA
Definición 03: Base de una topología
Una base de una topología sobre un conjunto
X es una familia  de subconjuntos de X que
goza de las siguientes propiedades:
(i) Para todo x  X, B   tal que x  B .
(ii) Si B1,B2    x B1 B2  B   tal
que x  B  B1 B2 .
Los elementos de  se llaman abiertos
básicos. Obsérvese que una topología es
base de sí misma.
Ejemplos
(1) La familia   {{x} : x  X} es una base de
la topología discreta sobre X.
(2) La familia   {X} es una base de la
topología indiscreta (o trivial) sobre X.
(3) La familia   {{a,b},{b},{b,c}} es una
base de una topología sobre X  {a,b,c} .
1
Teorema 02: Topología generada por una base
Sea X un conjunto y  una base de una
topología. Entonces la familia,
T  {A  X : A es unión de elementos de }
es una topología sobre X, llamada topología
generada por  .
Ejemplos
(1) La familia   { a,b : a,b  } es una
base de una topología sobre . La topología
generada por dicha familia se llama
topología usual de .
(2) La familia   {[a,b : a,b  } es una
base de una topología sobre . La topología
generada por dicha familia se llama
topología del limite inferior de .
(3) La familia   { a , b] : a,b  } es una
base de una topología sobre . La topología
generada por dicha familia se llama
topología del limite superior de .
(4) La familia de todas las regiones circulares
(rectangulares) en el plano constituye una
2
base de una topología sobre . La
topología generada por dicha familia se
llama topología usual de 2 .
Teorema 03: Base de una topología
Sea (X, T) un espacio topológico y   T .
(i)  es una base de T  para todo A  T y
todo x  A,  B   tal que x B  A .
(ii)  es una base de T  todo abierto de T
es unión de elementos de  .
Teorema 04: Criterio de comparación de topologías
Sean 1 , 2 bases de dos topologías T1 , T2
definidas en X. Entonces son equivalentes:
(i) T2 es mas fina que T1 .
(ii) Para todo x  X y todo B1 1 con x  B1 ,
existe un B2 2 tal que x  B2  B1 .
Definición 04: Subbase de una topología
Sea (X, T) un espacio topológico y sea S una
familia de subconjuntos de X. Diremos que,
S es una SUBBASE de T  la familia
formada por todas las nes finitas de
elementos de S es una base de T.
Una familia S  P(X) es una subbase para
una topología sobre X  X  Sk .
SK S
2
Teorema 05: Topología generada por una subbase
Sea X un conjunto y S una subbase de una
topología. Entonces la familia formada por
todas las uniones de intersecciones finitas de
elementos de S es una topología sobre X,
llamada topología generada por S.
Ejemplos
(1) La familia S  { ,a , b,  : a,b  } es
una subbase de la topología usual sobre .
(2) La familia S  { ,a],[b,  : a,b  } es
una subbase de la topología discreta en .
 SUBESPACIOS TOPOLÓGICOS
Definición 05: Topología relativa (o inducida)
Sea (X, T) un espacio topológico y S  X .
La familia Ts  {A S :A  T} es una
topología sobre S, llamada topología
relativa (o inducida) de S con respecto a X.
Si el subconjunto S está dotado de la topología
relativa se dice que S es un subespacio de X.
Los abiertos de Ts se llaman abiertos relativos.
Ejemplos
(1) Sea S  {1, 4,5} y sea X  {1, 2,3, 4,5} con
la topología T  {,{1},{3,4},{1,3,4},{2,3,4,5}, X}
Entonces, Ts  {,{1},{1, 4},{4},{4,5}, S} es la
topología relativa de S con respecto a X.
(2) sea S  [0,3]  (con la topología usual)
y le dotamos de la topología relativa,
entonces los conjuntos [0, 2 , 1,3] y 1, 2
son abiertos en S. Obsérvese que, un abierto
en S no es en general abierto en X.
(3) Consideremos con la topología usual y
el subespacio formado por los racionales .
Los abiertos en , para la topología relativa,
serán intersecciones de abiertos de con
. Entonces el conjunto {x  : 0  x  1} es
abierto en pero no lo es en .
Teorema 06: Abiertos en todas partes
Sea S un subespacio de X. Si G es abierto en
S, y S es un abierto en X  G es abierto en X.
Teorema 07: Base de la topología relativa
Sea  una base para una topología sobre X.
Entonces, la familia s  {B S :B  } es una
base para la topología relativa de S.
Teorema 08: Transitividad en subespacios
Si S es un subespacio de X y H un subespacio
de S, entonces H es un subespacio de X.
 ESPACIO COCIENTE Y ESPACIO PRODUCTO
Definición 06: Topología cociente
Sea (X, T) un espacio topológico y sea
p : X  Y una aplicación sobreyectiva.
La familia Tp  {G :p 1(G)  T} es una
topología sobre Y, llamada topología
cociente de Y con respecto a p.
Si Y está dotado de la topología cociente se
dice que Y es un ESPACIO COCIENTE.
Ejemplo
Sea Y  {a,b,c} y sea p :  Y definida por:
a, si x  0

p(x)  b, si x  0
c, si x  0

Entonces, la topología cociente respecto a p
es, Tp  {,{a},{b},{a,b}, Y} .
Definición 07: Topología producto
Sean X, Y espacios topológicos. Diremos que,
La topología producto sobre
X x Y, denotada por TXY , es la topología
que tiene como base la familia 
= {A xB : A es abierto en X  B es abierto en Y} .
En estas condiciones, escribimos:
TXY  {W : W es unión de elementos de } y
se llama también topología de Tichonoff. Si
X x Y está dotado de la topología producto se
dice que X x Y es un ESPACIO PRODUCTO.
Teorema 09: Base de la topología producto
Si  x es una base para una topología de X y
 y es una base para la topología de Y  la
familia xy  {DxE : D x  E y} es una
base para la topología producto sobre X x Y .
Definición 08: Proyecciones producto
Las aplicaciones 1 : X x Y  X ; 1(x, y)  x ,
y 2 : X x Y  Y ; 2(x, y)  y se llaman
proyección primera y segunda de X x Y .
Si A  X y B  Y , 11(A)  A xY y 21(B)  X xB .
Teorema 10: Subbase de la topología producto
La familia,
S  {11(A): A esabiertoen X} {21(B):Besabiertoen Y}
es una subbase para la topología sobre X x Y .
 CONJUNTOS EN ESPACIOS TOPOLOGICOS
Definición 09: Conjunto cerrado
Sea X un espacio topológico y A  X .
A es cerrado  Ac  X  A es abierto
En estas condiciones podemos escribir:
( cerrado)c  abierto y (abierto)c  cerrado .
Ejemplos
(1) En con la topología usual, el
subconjunto [a,b] es cerrado.
(2) En X con la topología trivial, los únicos
cerrados son X y el  .
(3) En X con la topología discreta, todos los
subconjuntos de X son cerrados.
(4) En X con la topología cofinita, los cerrados
son el propio X y todos los subconjuntos
finitos de X.
(5) Sea S  [0,1] 2,3 un subconjunto de
con la topología relativa, entonces [0,1] y
2,3 son cerrados de S.
(6) Sea X  {1, 2,3} dotada de la topología
T  {,{1},{2},{1, 2},{1,3}, X} , los conjuntos
cerrados de X son: {2,3},{1,3},{3},{2},  y X.
La propiedad de ser abierto o cerrado es
independiente la una de la otra. Un conjunto
puede ser simultáneamente abierto y cerrado,
abierto y no cerrado, cerrado y no abierto o
ninguna de las dos propiedades.
Teorema 11: Propiedades de los conjuntos cerrados
Sea X un espacio topológico. Entonces,
(i)  y X son cerrados.
(ii) Si A1, A2 son cerrados  A1 A 2 es
cerrado.
(iii) i  I , si Ai es cerrado  Ai es cerrado.
iI
Obsérvese que el concepto de conjunto
cerrado puede usarse para definir un espacio
topológico.
Teorema 12: Conjunto cerrado en un subespacio
Sea S un subespacio de X. Entonces,
A es cerrado en S  existe un cerrado B de X
tal que, A  B S .
3
Teorema 13: Cerrados en todas partes
Sea S un subespacio de X. Si A es cerrado en
S y S es cerrado en X, entonces A es cerrado
en X.
Definición 10: Clausura o adherencia de un conjunto
Sea X un espacio topológico y G  X .
La clausura de G, denotado por G o clG,
se define como la intersección de todos los
conjuntos cerrados que contienen a G.
Esto es, si {Gi : i  I} es la familia de todos los
cerrados que contienen a G  G  Gi .
Obsérvese que la clausura de un conjunto es
un conjunto cerrado y que    . Además
es claro que G  G .
Ejemplos
(1) En X  {1, 2,3, 4,5} se define la topología,
T  {,{1},{3, 4},{1, 3, 4},{2, 3, 4, 5}, X} .
Entonces, {2}  {2,5} y {2,4}  {2,3,4,5} .
(2) En dotada de la topología usual  ,
0,1 {2}  [0,1] {2} .
Definición 11: Interior de un conjunto
Sea X un espacio topológico y G  X .
o
El interior de G, denotado por G o intG,
se define como la unión de todos los
conjuntos abiertos contenidos en G.
Esto es, si {Gi : i  I} es la familia de todos los
o por T  {,{1},{1, 2},{1,3, 4}, X} . Entonces,
abiertos contenidos en G  Gi .
G {1,3}I  {2,3,4} .
Obsérvese que el interior de un conjunto es
o
un conjunto abierto y que    . Además es
o o
claro que G  G . Así que G  G  G , para
todo G  X .
Definición 12: Exterior de un conjunto
Sea X un espacio topológico y G  X .
El exterior de G, denotado por extG, está
dada por: ext G  int(Gc )
Definición 13: Frontera de un conjunto
Sea X un espacio topológico y G  X .
La frontera de G, denotado por G o frG,
está dada por: G  G Gc
Ejemplos
(1) Sea T  {,{1},{3, 4},{1,3, 4},{2,3, 4,5}, X}
una topología de X  {1, 2,3, 4,5} y sea
G  {2,3, 4} . Entonces, (a) int G  {3, 4}
(b) extG  {1} y (c) G  {2,5}
(2) ( a,b )  ([a,b])  ( a,b])  {a,b} .
Teorema 14: Caracterización de la clausura y del interior
Sea X un espacio topológico y G  X .
(i) G es el MENOR cerrado que  a G.
o
(ii) G es el MAYOR abierto  en G.
Teorema 15: Caracterización de cerrados y abiertos
Sea X un espacio topológico y G  X .
(i) G es cerrado  G  G .
o
(ii) G es abierto  G  G .
Definición 14: Entorno de un elemento
Sea X un espacio topológico y E  X .
E es un entorno de x  X  E es un abierto
que contiene a x.
Definición 15: Puntos de acumulación o puntos limite
Sea X un espacio topológico y A  X .
x  X es un punto de acumulación de A
  entorno G de x, (G  {x}) A   .
Al conjunto de los puntos de acumulación se
llama conjunto derivado y se denota por A I .
Ejemplos
(1) Sea X  {1, 2,3, 4} con la topología dada
(2) ( 1,2)I  1,2 y ( 0,1 {2})I  0,1 .
Teorema 16: Punto clausura (o adherente)
Sea X un espacio topológico y A  X .
Entonces,
x  A   entorno G de x, A G   .
Teorema 17: Clausura de un conjunto
Sea X un espacio topológico y A  X .
Entonces,
A  A AI .
Corolario: Conjunto cerrado
Sea X un espacio topológico y A  X .
Entonces, A es cerrado  AI  A.