Está en la página 1de 4

La primera definición que recoje la noción Teorema 01: Intersección de topologías

actual de espacio topológico es debida a Sea X un conjunto no vacío. Entonces, la


Felix Hausdorff(1868-1942), quien en 1914 intersección de dos topologías de X es una
definió un espacio topológico como un topología de X.
conjunto abstracto dotado de un sistema de Es fácil ver que la unión de dos topologías de
entornos. Hausdorff definió para espacios X no es en general una topología de X.
abstractos las nociones de conjunto abierto y
cerrado que previamente habia obtenido Definición 02: Topologías comparables
Cantor(1845-1918) para espacios euclideos. Sean T1 y T2 dos topologías sobre X. Entonces,
La definición de un espacio topológico en
función de un operador clausura fue primero (i) T1 es más fina que T2  T1  T2
formulada por Kuratowski(1896-1980) en (ii) T1 y T2 son comparables  T1  T2 o
1922, y la definicíon de espacio topológico T2  T1.
en función de una familia de abiertos fue
dada por Alexandroff(1896-1982) en 1926 y Si T1  T2 diremos también que, T2 es más
Sierpinski(1882-1969) en 1928. gruesa (o menos fina) que T1 . Obsérvese que
la topología indiscreta es más gruesa (o
 TOPOLOGÍA, DEFINICIÓN Y EJEMPLOS
menos fina) que cualquier otra, y la topología
discreta la más fina posible.
Definición 01: Topología
Una topología sobre un conjunto X es una Ejemplos
familia T  {Ai : i  I} de subconjuntos de X que Determine cuales de las siguientes topologías
goza de las siguientes propiedades: de X  {a,b,c} son comparables.
T1  {,{a,b},{b},{b,c}, X}
(I) , X  T T2  {,{a},{a,b}, X} ; T3  {,{b},{b,c}, X}
(II) Si A1, A 2  T  A1 A2  T T4  {,{a},{b},{a,b}, X} .
(III) i  I, A i  T  Ai  T
 BASES Y SUBBASES DE UNA TOPOLOGÍA
Los elementos de T se llaman conjuntos
abiertos y el par ( X, T) formado por un Definición 03: Base de una topología
Una base de una topología sobre un conjunto
conjunto X y una topología T sobre X, se
X es una familia  de subconjuntos de X que
llama ESPACIO TOPOLÓGICO.
Obsérvese que la condición (ii) implica que la goza de las siguientes propiedades:
intersección finita de elementos de T es de T.
(i) Para todo x  X, B   tal que x  B .
Ejemplos (ii) Si B1,B2    x B1 B2  B   tal
A continuación se muestran algunos ejemplos
fundamentales en topología. que x  B  B1 B2 .
(1) En X, T  P(X) es la topología discreta. Los elementos de  se llaman abiertos
(2) En X, T  {, X} es la topología indiscreta. básicos. Obsérvese que una topología es
(3) En X  {1, 2} , T  {,{1}, X} es la topología base de sí misma.
de Sierpinski.
(4) En X, T  {, X} {A : X  A es finito} Ejemplos
es la topología de los complementos finitos o (1) La familia   {{x} : x  X} es una base de
topología cofinita. la topología discreta sobre X.
(2) La familia   {X} es una base de la
Cuando el conjunto X es finito entonces la topología indiscreta (o trivial) sobre X.
topología cofinita coincide con la topología (3) La familia   {{a,b},{b},{b,c}} es una
discreta. base de una topología sobre X  {a,b,c} .
1
Teorema 02: Topología generada por una base Teorema 05: Topología generada por una subbase
Sea X un conjunto y  una base de una Sea X un conjunto y S una subbase de una
topología. Entonces la familia, topología. Entonces la familia formada por
T  {A  X : A es unión de elementos de } todas las uniones de intersecciones finitas de
es una topología sobre X, llamada topología elementos de S es una topología sobre X,
generada por  . llamada topología generada por S.

Ejemplos
Ejemplos
(1) La familia S  { ,a , b,  : a,b  } es
(1) La familia   { a,b : a,b  } es una
una subbase de la topología usual sobre .
base de una topología sobre . La topología
generada por dicha familia se llama (2) La familia S  { ,a],[b,  : a,b  } es
topología usual de . una subbase de la topología discreta en .

(2) La familia   {[a,b : a,b  } es una  SUBESPACIOS TOPOLÓGICOS


base de una topología sobre . La topología
generada por dicha familia se llama Definición 05: Topología relativa (o inducida)
topología del limite inferior de . Sea (X, T) un espacio topológico y S  X .

(3) La familia   { a , b] : a,b  } es una La familia Ts  {A S :A  T} es una


base de una topología sobre . La topología topología sobre S, llamada topología
generada por dicha familia se llama relativa (o inducida) de S con respecto a X.
topología del limite superior de .
Si el subconjunto S está dotado de la topología
(4) La familia de todas las regiones circulares relativa se dice que S es un subespacio de X.
(rectangulares) en el plano constituye una Los abiertos de Ts se llaman abiertos relativos.
2
base de una topología sobre . La
topología generada por dicha familia se Ejemplos
llama topología usual de 2 . (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}
Teorema 03: Base de una topología
Entonces, Ts  {,{1},{1, 4},{4},{4,5}, S} es la
Sea (X, T) un espacio topológico y   T .
topología relativa de S con respecto a X.
(i)  es una base de T  para todo A  T y
todo x  A,  B   tal que x B  A . (2) sea S  [0,3]  (con la topología usual)
(ii)  es una base de T  todo abierto de T y le dotamos de la topología relativa,
es unión de elementos de  . entonces los conjuntos [0, 2 , 1,3] y 1, 2
son abiertos en S. Obsérvese que, un abierto
Teorema 04: Criterio de comparación de topologías en S no es en general abierto en X.
Sean 1 , 2 bases de dos topologías T1 , T2
definidas en X. Entonces son equivalentes: (3) Consideremos con la topología usual y
(i) T2 es mas fina que T1 . el subespacio formado por los racionales .
(ii) Para todo x  X y todo B1 1 con x  B1 , Los abiertos en , para la topología relativa,
existe un B2 2 tal que x  B2  B1 . serán intersecciones de abiertos de con
. Entonces el conjunto {x  : 0  x  1} es
Definición 04: Subbase de una topología abierto en pero no lo es en .
Sea (X, T) un espacio topológico y sea S una
familia de subconjuntos de X. Diremos que, Teorema 06: Abiertos en todas partes
Sea S un subespacio de X. Si G es abierto en
S es una SUBBASE de T  la familia S, y S es un abierto en X  G es abierto en X.
formada por todas las nes finitas de
elementos de S es una base de T. Teorema 07: Base de la topología relativa
Sea  una base para una topología sobre X.
Una familia S  P(X) es una subbase para Entonces, la familia s  {B S :B  } es una
una topología sobre X  X  Sk . base para la topología relativa de S.
SK S

2
Teorema 08: Transitividad en subespacios Teorema 10: Subbase de la topología producto
Si S es un subespacio de X y H un subespacio La familia,
de S, entonces H es un subespacio de X. S  {11(A): A esabiertoen X} {21(B):Besabiertoen Y}
es una subbase para la topología sobre X x Y .
 ESPACIO COCIENTE Y ESPACIO PRODUCTO
 CONJUNTOS EN ESPACIOS TOPOLOGICOS
Definición 06: Topología cociente
Sea (X, T) un espacio topológico y sea
Definición 09: Conjunto cerrado
p : X  Y una aplicación sobreyectiva. Sea X un espacio topológico y A  X .

La familia Tp  {G :p 1(G)  T} es una A es cerrado  Ac  X  A es abierto


topología sobre Y, llamada topología
cociente de Y con respecto a p. En estas condiciones podemos escribir:
( cerrado)c  abierto y (abierto)c  cerrado .
Si Y está dotado de la topología cociente se
dice que Y es un ESPACIO COCIENTE.
Ejemplos
(1) En con la topología usual, el
Ejemplo subconjunto [a,b] es cerrado.
Sea Y  {a,b,c} y sea p :  Y definida por:
(2) En X con la topología trivial, los únicos
a, si x  0 cerrados son X y el  .

p(x)  b, si x  0 (3) En X con la topología discreta, todos los
c, si x  0 subconjuntos de X son cerrados.

(4) En X con la topología cofinita, los cerrados
Entonces, la topología cociente respecto a p
son el propio X y todos los subconjuntos
es, Tp  {,{a},{b},{a,b}, Y} .
finitos de X.
(5) Sea S  [0,1] 2,3 un subconjunto de
Definición 07: Topología producto
Sean X, Y espacios topológicos. Diremos que, con la topología relativa, entonces [0,1] y
2,3 son cerrados de S.
La topología producto sobre (6) Sea X  {1, 2,3} dotada de la topología
X x Y, denotada por TXY , es la topología T  {,{1},{2},{1, 2},{1,3}, X} , los conjuntos
que tiene como base la familia  cerrados de X son: {2,3},{1,3},{3},{2},  y X.
= {A xB : A es abierto en X  B es abierto en Y} .
La propiedad de ser abierto o cerrado es
En estas condiciones, escribimos: independiente la una de la otra. Un conjunto
puede ser simultáneamente abierto y cerrado,
TXY  {W : W es unión de elementos de } y
abierto y no cerrado, cerrado y no abierto o
se llama también topología de Tichonoff. Si ninguna de las dos propiedades.
X x Y está dotado de la topología producto se
dice que X x Y es un ESPACIO PRODUCTO. Teorema 11: Propiedades de los conjuntos cerrados
Sea X un espacio topológico. Entonces,
Teorema 09: Base de la topología producto (i)  y X son cerrados.
Si  x es una base para una topología de X y (ii) Si A1, A2 son cerrados  A1 A 2 es
 y es una base para la topología de Y  la cerrado.
familia xy  {DxE : D x  E y} es una (iii) i  I , si Ai es cerrado  Ai es cerrado.
iI
base para la topología producto sobre X x Y .
Obsérvese que el concepto de conjunto
Definición 08: Proyecciones producto cerrado puede usarse para definir un espacio
topológico.
Las aplicaciones 1 : X x Y  X ; 1(x, y)  x ,
y 2 : X x Y  Y ; 2(x, y)  y se llaman Teorema 12: Conjunto cerrado en un subespacio
proyección primera y segunda de X x Y . Sea S un subespacio de X. Entonces,
A es cerrado en S  existe un cerrado B de X
Si A  X y B  Y , 11(A)  A xY y 21(B)  X xB . tal que, A  B S .
3
Teorema 13: Cerrados en todas partes Ejemplos
Sea S un subespacio de X. Si A es cerrado en (1) Sea T  {,{1},{3, 4},{1,3, 4},{2,3, 4,5}, X}
S y S es cerrado en X, entonces A es cerrado una topología de X  {1, 2,3, 4,5} y sea
en X. G  {2,3, 4} . Entonces, (a) int G  {3, 4}
(b) extG  {1} y (c) G  {2,5}
Definición 10: Clausura o adherencia de un conjunto
Sea X un espacio topológico y G  X . (2) ( a,b )  ([a,b])  ( a,b])  {a,b} .

La clausura de G, denotado por G o clG, Teorema 14: Caracterización de la clausura y del interior
se define como la intersección de todos los Sea X un espacio topológico y G  X .
conjuntos cerrados que contienen a G. (i) G es el MENOR cerrado que  a G.
o

Esto es, si {Gi : i  I} es la familia de todos los (ii) G es el MAYOR abierto  en G.

cerrados que contienen a G  G  Gi . Teorema 15: Caracterización de cerrados y abiertos


Obsérvese que la clausura de un conjunto es Sea X un espacio topológico y G  X .
un conjunto cerrado y que    . Además (i) G es cerrado  G  G .
o
es claro que G  G . (ii) G es abierto  G  G .

Ejemplos Definición 14: Entorno de un elemento


(1) En X  {1, 2,3, 4,5} se define la topología, Sea X un espacio topológico y E  X .
T  {,{1},{3, 4},{1, 3, 4},{2, 3, 4, 5}, X} .
E es un entorno de x  X  E es un abierto
Entonces, {2}  {2,5} y {2,4}  {2,3,4,5} .
que contiene a x.
(2) En dotada de la topología usual  ,
0,1 {2}  [0,1] {2} . Definición 15: Puntos de acumulación o puntos limite
Sea X un espacio topológico y A  X .
Definición 11: Interior de un conjunto x  X es un punto de acumulación de A
Sea X un espacio topológico y G  X .   entorno G de x, (G  {x}) A   .
o
El interior de G, denotado por G o intG, Al conjunto de los puntos de acumulación se
se define como la unión de todos los llama conjunto derivado y se denota por A I .
conjuntos abiertos contenidos en G.
Ejemplos
Esto es, si {Gi : i  I} es la familia de todos los (1) Sea X  {1, 2,3, 4} con la topología dada
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 (2) ( 1,2)I  1,2 y ( 0,1 {2})I  0,1 .
o
un conjunto abierto y que    . Además es
o o
claro que G  G . Así que G  G  G , para Teorema 16: Punto clausura (o adherente)
todo G  X . Sea X un espacio topológico y A  X .
Entonces,
Definición 12: Exterior de un conjunto x  A   entorno G de x, A G   .
Sea X un espacio topológico y G  X .
Teorema 17: Clausura de un conjunto
El exterior de G, denotado por extG, está
Sea X un espacio topológico y A  X .
dada por: ext G  int(Gc ) Entonces,
A  A AI .
Definición 13: Frontera de un conjunto
Sea X un espacio topológico y G  X . Corolario: Conjunto cerrado
Sea X un espacio topológico y A  X .
La frontera de G, denotado por G o frG,
Entonces, A es cerrado  AI  A.
está dada por: G  G Gc