Topologa General

Topologa General

Captulo 0

-2-

-2-

Topologa General

Captulo 0

-3-

Breve resea histrica

Sus orgenes estn asociados a la obra de Euler, Cantor y Mbius. La palabra
topologa haba sido utilizada en 1847 por J.B Listings en un libro titulado
Vorstudien zur Topologie. Este haba sido un alumno de Gauss en el ao 1834.
Usaba el trmino topologa para lo que prefera llamar geometra de posicin, sin
embargo von Staudt usaba este ltimo para la geometra proyectiva.
Para algunos historiadores de las matemticas, el punto decisivo fue dado por la
publicacin de Anlisis Situs de Poincar en 1895.
La geometra elemental maneja las magnitudes (longitud, ngulos y reas) que son
invariantes por movimientos rgidos, (transformaciones isomtricas o que conservan
la medida), mientras que la geometra proyectiva trata los conceptos (puntos, lnea,
incidencia, razn simple) que son invariantes por el grupo, todava ms extenso, de
las transformaciones proyectivas (proyectar, seccionar). Pero los movimientos
rgidos y las proyecciones son casos muy particulares de las transformaciones
topolgicas que son correspondencias biunvocas y bicontinuas entre dos conjuntos.
La topologa estudia entonces los conceptos invariantes frente a dichas
transformaciones.
Felix Hausdorff cre una teora de espacios abstractos usando la nocin de
vecindario (Grundzge der Mengenlehre, 1914). Un espacio topolgico se define
como un conjunto de puntos junto con una familia de vecindarios asociados a ellos.
Aqu hay varias nociones que se establecen: espacio compacto, conexo, separable.
Tambin es aqu donde entra la idea de homeomorfismo. Una vez establecido esto,
se formula la topologa conjuntista como aqulla que estudia las propiedades
invariantes bajo homeomorfismos. Hausdorff tambin dio la nocin de completitud,
que el mismos Frchet haba usado en 1906. Us la nocin de conectividad,
planteada antes por otros matemticos (aunque l no lo saba), Para considerar
conjuntos conexos como ideas topolgicas.
Hausdorff formaliz la topologa conjuntista mediante una nueva concepcin de
geometra en la cual un espacio tiene una estructura que consiste en relaciones que
pueden definirse en trminos de un grupo de transformaciones. Con el trabajo de
Hausdorff se afirm la topologa conjuntista como una disciplina propia dentro de
las matemticas.
-3-

Topologa General

Captulo 0

-4-

En el siglo XX, la topologa se afirm como una nueva disciplina con toda
propiedad dentro de las matemticas, el igual que la geometra, el lgebra o el
anlisis, y particip de un espritu de convergencia que ha caracterizado buena parte
de las matemticas modernas; se trata de la utilizacin de mtodos de una disciplina
en las otras, potenciando constantemente nuevas ramas de un rbol cada vez ms
complejo y diversificado.

-4-

Captulo 0
Conjuntos
Con el inters de identificar un elemento de una coleccin de conjuntos, algunas
veces es conveniente adjudicar un nombre a cada elemento.
Definicin 0.1 Sea A una coleccin no vaca de conjuntos. Una funcin indexada
para A es una funcin sobreyectiva f de un conjunto J denominado conjunto de
ndices, en A. La familia A, junto con la funcin f , se denomina familia indexada de
conjuntos.
Dado J , representaremos el conjunto f por A Y denotamos la familia
indexada, propiamente dicha, mediante

A J
que se lee como la familia de todos los A cuando recorre J. En ocasiones
escribiremos A , si no ofrece dudas cul es el conjunto de ndices.

Obsrvese que, aunque es necesario que una funcin indexada sea sobreyectiva, no
se necesita que sea inyectiva. A y A pueden ser el mismo conjunto de A, incluso
si .
Una forma de usar funciones indexadas es dar una nueva notacin para uniones e
intersecciones arbitrarias de conjuntos. Supongamos que f : J A es una funcin
indexada para A ; representemos f por A . Entonces definimos:

A x : al menos para un J , x A

A x : para todo J , x A

Topologa General

Captulo 0

-6-

Leyes de Morgan

AC

AC

Definicin 0.2 Dado un conjunto A , una relacin R en A es un subconjunto del

producto cartesiano A A .
Definicin 0.3 Sea ~ una relacin en A (anotamos a, b o a
es una relacin de equivalencia si se verifican tres propiedades:
a) Reflexiva a a a A
b) Recproca si a b entonces b a a, b A
c) Transitiva si a b y b c entonces a c a, b, c A

b ) decimos que

Definicin 0.4 Dada una relacin de equivalencia ~ en un conjunto A y un elemento

x de A definimos un cierto subconjunto de A que anotamos x llamado clase de
equivalencia determinada por x, mediante la ecuacin:

x a A : a x
Observacin 1 x x ya que x
vacas

x es decir las clases de equivalencia son no

Propiedad Las clases de equivalencia tienen las siguientes propiedades:

i) Dos clases de equivalencia o son disjuntas o son iguales.
Demostracin: Sean E y E dos clases de equivalencia definidas por x y x
respectivamente entonces si no son disjuntas eso quiere decir que existe un elemento
en comn

y A / y E

yE y
E
y E y

Entonces

z E z

x (y como x

x
x
x

x por transitiva) z

o sea

E E
-6-

x
x z E

Topologa General

Captulo 0

-7-

anlogamente

E E
lo que concluye que
E E
ii) La unin de todas las clases de equivalencia de A es todo A ya que todo elemento
de A tiene asociada una clase de equivalencia.
A x por definicin
xA

x x0 A / z x0

x ya que si z

A
xA

xA

z A por definicin de x0
La familia de las clases de equivalencia de A es un ejemplo de lo que se llama
particin del conjunto A.
Definicin 0.5 Una particin de un conjunto A es una familia de subconjuntos
disjuntos no vacos de A cuya unin es todo A
Definicin 0.6 Dada una relacin de equivalencia en un conjunto A llamamos
espacio cociente al conjunto formado por todas las clases de equivalencia. Y
anotamos A

A x : x A
Definicin 0.7 Una relacin en un conjunto A se denomina relacin de orden
(parcial) si verifica las siguientes propiedades:
i) Reflexiva

ii) Antisimtrica

iii) Transitiva

xx

x A

x y
x y x, y A
y x

x y
x z x, y, z A
y z

Ejemplo 0.1 Si A es un conjunto sea P(A) el conjunto de potencia de A es decir:

-7-

Topologa General

Captulo 0

-8-

P(A) X : X A
Definimos la relacin de la siguiente manera:

X Y si X Y X , Y P(A)
verifica las tres propiedades, por lo que es una relacin de orden.
Definicin 0.8 Dado un conjunto A y una relacin de orden en A se dice que la
pareja A, es un conjunto ordenado.
Definicin 0.9 Si A, es un conjunto ordenado y consideramos un subconjunto
S A , definimos:
i) a A es cota superior (inferior) de S
si x a x S
(a x x S )
ii) m A es mximo si es cota superior y pertenece a S
Definicin 0.10 Si A, es un conjunto ordenado y S un subconjunto de A decimos
que m es un elemento maximal si se cumple:
si x S y m x m x
Definicin 0.11 Dado un conjunto A y una relacin de orden decimos que es una
relacin de orden total si:
a b

dados a, b A o
b a

y a la pareja A, llamamos conjunto totalmente ordenado.

Observacin 2 si A es un conjunto finito y totalmente ordenado tiene mximo y
mnimo.
Demostracin : Consideremos por induccin sobre el cardinal de A
i) Para # A 1 es obvio.
ii) Si vale para # A n 1 y # A n , A a1,..., an
Por hiptesis el conjunto a2 ,..., an tiene mximo y mnimo por tener n-1 elemento
sean estos M y m respectivamente.
Sea m0 min a1 , m es el mnimo de A ya que:
m0 A m0 a1 y m0 m ak k 2,..., n
De la misma forma
-8-

Topologa General

Captulo 0

-9-

M 0 max a1 , M
es el mximo de A
Definicin 0.12 Si A, es un conjunto ordenado llamamos cadena a un
subconjunto C de A tal que (C , ) es totalmente ordenado.
Lema 0.1 ( Lema de Zorn ) Sea A, un conjunto ordenado en el que toda
cadena tiene una cota superior, entonces A tiene un elemento maximal.
Ejemplo 0.2.
Consideremos el siguiente conjunto que llamamos partes finitas de los naturales
PF A : # A es finito
Con la relacin de orden dada por la inclusin.
B A B A
Entonces PF , no tiene elemento maximal, ya que si A es maximal

A PF y B A B PF
Pero para cualquier A P F(N) , x con x A , porque A es finitos
A x es de finitos elementos
A x PF
y obviamente A x A A no es maximal.
Zorn

Entonces como PF , no tiene elemento maximal una cadena C de

PF , que no est acotada superiormente, por ejemplo:

C 1 ,1,2 ,1,2,3,..., 1,...n,...
es una cadena y no est acotada ya que una cota tiene que tener a todos los naturales
y eso no esta en el conjunto.
A cota A y PF
Veamos una aplicacin del pasado lema:
Proposicin 0.1 Todo espacio vectorial V tiene una base.
Demostracin: Vamos a pensar una base de un espacio vectorial como un
subconjunto L.i. maximal, sea entonces
L A V : A es L.i.
con la relacin de orden definida:
B A B A
-9-

Topologa General

Captulo 0

- 10 -

Entonces L , es un conjunto ordenado y sea A L una cadena,

(subconjuntos de L totalmente ordenados), vamos a probar que est acotada, sea
A A veremos que es L.i. consideremos una n-upla en A,

x1 ,..., xn A xi i con i 1,..., n/ xi Ai , adems como

A ,..., A
1

es

finito y totalmente ordenado, entonces tiene mximo A0

xi Ai A0 i 1,..., n xi A0 i 1,..., n

x1,..., xn A y A es L.i.
x1,..., xn es L.i. A es L.i.
0

y es una cota superior de L entonces por el lema de Zorn L tiene elemento maximal
que V tiene una base.
Definicin 0.13 Sean A1 , A2 ,..., An conjuntos ,definimos un nuevo conjunto llamado
producto cartesiano y anotamos por A1 A2 ... An a:
A1 A2 ... An a1 ,..., an : ai Ai
a a1 ,..., an puede pensarse como una funcin
f : 1,..., n Ai tal que f i ai i 1,..., n
Entonces en forma ms general .
Sea A I una familia de conjuntos llamamos producto cartesiano de esos

A a:

A f : I

conjuntos y anotamos

A : f A I

Axioma de eleccin Sea A I una familia de conjuntos no vacos entonces el

producto cartesiano de ellos es no vaco.
A I A
I

Esto es equivalente a decir que dada una familia de conjuntos no vacos podemos
elegir un elemento de cado conjunto ( en forma simultnea).
Una cuestin bsica sobre un conjunto es conocer la cantidad de elementos, sin
grandes conocimientos matemticos para saber la cantidad de elementos de un
conjunto lo que hacemos es contarlos, pero que significa esto, a cada elemento le
estamos asociando un nmero con el cuidado de no repetir elementos y para
asegurarnos de no repetir nmeros le asociamos el 1, 2, ....,n en ese orden entonces
lo que establecemos es una funcin inyectiva (no repetimos elementos) y
sobreyectiva (no dejamos ningn elemento sin su correspondiente). Es decir:
- 10 -

Topologa General

Captulo 0

- 11 -

Existe una funcin f : A 1,..., n biyectiva cardinal de A es n

Definicin 0.14 Dados dos conjuntos A y B decimos que tienen el mismo cardinal o
que son coordinables o equipotente si existe una funcin f : A B biyectiva.
Proposicin 0.2 La relacin de Card A Card B verifica las propiedades de
una relacin de equivalencia.
Demostracin
i) A es equipotente con A ya que la identidad es una funcin biyectiva de A en si
mismo card A card A .
ii) Si A es equipotente con B entonces B es equipotente con A
card A card B existe f : A B biyectiva que f 1 : B A es biyectiva

card B card A
iii) Si A es equipotente con B y B es equipotente con C entonces A es equipotente
con C.
f : A B
Por hiptesis existen
biyectivas g f : A C tambin es biyectiva
g : B C
Y eso implica que A es equipotente con C.
Definicin 0.15 Dados dos conjuntos A y B decimos que el cardinal de A es menor
o igual que el cardinal de B si existe una funcin f : A B inyectiva .
Card A Card B f : A B inyectiva
Ejemplo 0.3 Sabemos que el Card Card ya que la inclusin es una
funcin inyectiva.
inc :

aa
Ejemplo 0.4 Si X es un conjunto Card X Card P X basta tomar la funcin

: X P X definida x x es decir que a cada elemento x del conjunto X

le asociamos el conjunto cuyo nico elemento es el propio x. Esta funcin
claramente es inyectiva
Observar que si X es finito con Card X n entonces Card P X 2n .
Proposicin 0.3 Dados dos conjuntos A y B entonces existe una funcin f : A B
inyectiva si y solo si existe una funcin g : B A sobreyectiva.
- 11 -

Topologa General

Captulo 0

- 12 -

Demostracin: Sea f : A B inyectiva con A y sea a0 A

B
b

Im f

a
a0
g
Entonces :

si b Im f a A tal que b f a
y como f es inyectiva el a es nico y podemos definir: g b a
si b Im f definimos g b a0
Definimos de esta forma una funcin g : B A

f 1 b si b Im f
g b
si b Im f
a0
Que es sobre.

Dada g : B A sobreyectiva
Entonces g 1 a : a A establece una particin en B ya que:
g 1 a B por ser g sobreyectiva
aA

g 1 a1 g 1 a2 a1 a2
g b a1
absurdo si a1 a2 por se g una
ya que si g 1 a1 g 1 a2 b B /
g b a2
funcin.
Por el teorema de eleccin podemos elegir un representante por cada clase que
anotamos g 1 a entonces definimos:
f : A B por f a g 1 a

Por ser g sobre esta bien definida para todo a A y adems es inyectiva ya que:
f a1 f a2 g 1 a1 g 1 a2 a1 a2
- 12 -

Topologa General

Captulo 0

- 13 -

f es inyectiva.

Proposicin 0.4 ( Teorema de Cantor ) Dado X un conjunto no vaco entonces:

Card X Card P X
Ya sabemos que Card X Card P X Probaremos que
Card X Card P X para ello supongamos por absurdo que son iguales y por
lo tanto existe una funcin:
f : X P X biyectiva
Demostracin

x f x P X
Consideremos:

B x X : x f x
pero como B X B P X u X / B f u por ser f sobreyectiva
entonces
si u B u f u u B
B f u

Corolario Si N es el conjunto de los nmeros naturales aplicando lo anterior

Card Card P
Proposicin 0.5 (Teorema de Cantor-Bernstein) Dados dos conjuntos X e Y tales
que:
Card X Card Y
Card X Card Y
Card Y Card X
Demostracin Como Card X Card Y una funcin h : X Y inyectiva
entonces si llamamos B Im h la funcin h : X B es biyectiva.
Por otro lado Card Y Card X una funcin g : Y X inyectiva y si
llamamos A Im g la funcin g : Y A seria biyectiva.
Sea f : X X la composicin
f iA g iB h donde iA e iB son las
correspondientes inclusiones.
Claramente f es inyectiva por ser
composicin de funciones inyectivas.

- 13 -

h
X

iA

iB
A

Topologa General

Captulo 0

- 14 -

Queremos encontrar una funcin : X A biyectiva para ello tomamos el

conjunto C A f X C

f X A y el conjunto S C

i 1

f i X

con f n la composicin de f consigo misma n veces.

f S f C

i 1

f i C f C

i 2

f i C

i 1

f i C

f S definimos entonces a de la siguiente manera:

x si x S
x
f x si x X S
Por definicin S S y X S f X S adems es sobreyectiva ya que:
X S X S S X S C f S f X S C f X A
Finalmente probaremos que es inyectiva, como |S y | X S son inyectivas por
definicin, entonces bastar con ver que S y X S son disjuntos,
supongamos que no lo son, es decir que existe x S C f S tal que
x f x con x X S x f S por ser f inyectiva ya que si
x f S x S / f x x f x x x lo cual es absurdo por pertenecer
a conjunto disjuntos. Pero si x f S x C y por definicin de C x f X lo
que es una contradiccin pues x era la imagen de un x por medio de f.
La funcin as definida es una biyeccin y entonces
Card X Card A Card Y
Luego S C

Card X Card Y
Definicin 0.16 Dado un conjunto A decimos que es finito si es vaco o es
coordinable con el conjunto 1,..., n para algn n . En caso contrario se dir
que el conjunto es infinito.

Definicin 0.17 Dado un conjunto A decimos que es numerable si es finito o de ser

infinito es coordinable con el conjunto de los nmeros naturales.
A finito
A numerable
card A Card
Observacin 3 P es no numerable por ser Card Card P
Definicin 0.18 Se dice que un subconjunto A de los nmeros reales es inductivo si
contiene el nmero 1, y si para todo x de x+1 tambin est en A. Sea A la familia de
todos los subconjuntos inductivos de R. Entonces, el conjunto Z+ (nmeros
naturales) de enteros positivos se define de la forma.
- 14 -

Topologa General

Captulo 0

- 15 -

A
AA

Obsrvese que le conjunto R+ de los reales positivos es inductivo, pues contiene al 1,

y la afirmacin x 0 implica x 1 0 . Por lo tanto y de esta forma los
elementos de son efectivamente positivos, tal y como la eleccin de la
terminologa sugiere. De echo se comprueba que 1 es el elemento ms pequeo de

, ya que el conjunto de todos los nmeros reales x para los cuales x 1 es

inductivo.
Las propiedades bsicas de , las cuales se deducen inmediatamente de la
definicin, son las siguientes:
(1) es inductivo.
(2) (Principio de induccin ). Si A es un conjunto inductivo de enteros positivos
entonces A .
Proposicin 0.6 (Principio del buen orden) Todo subconjunto no vaco de
un mnimo.

tiene

Demostracin En primer lugar vamos a demostrar que, para cada n , se verifica

la siguiente afirmacin: Todo subconjunto no vaco de 1,..., n tiene un mnimo.
Sea A el conjunto de todos los enteros positivos n para los cuales se cumple dicha
afirmacin. Entonces A contiene al 1, ya que si n 1 , el nico subconjunto no vaco
de 1,..., n es el propio 1 . Por tanto, suponiendo que A contiene a n, vamos a
demostrar que tambin contiene a n 1. Sea C un subconjunto no vaco de
1,..., n 1 . Si C est formado nicamente por n 1, entonces dicho elemento es el
menor elemento de C . En caso contrario, consideremos el conjunto C 1,..., n ,
que es no vaco. Como n A , este conjunto tiene un mnimo que automticamente
ser tambin el mnimo de C. As A es inductivo, y podemos concluir que A ; y
por lo tanto, la afirmacin es cierta para todo n .
Ahora vamos a demostrar el teorema. Supongamos que D es un subconjunto no
vaco de . Elijamos un elemento n D . Entonces, el conjunto A D 1,.., n es
no vaco, y A tiene un mnimo k. El elemento k ser tambin el mnimo de D.

Proposicin 0. 7 Todo los subconjunto de nmeros naturales son numerables.

- 15 -

Topologa General

Captulo 0

- 16 -

A es numerable
si
A a1 min a A por proposicin 0.6
A a1 es finito numerable
si
A a1 a2 min A \ a1 por proposicin 0.6

Demostracin Dado A

Nuevamente

A a1 , a2 finito numerable
Si
A a1 , a2 a3 min A \ a1 , a2

Y as sucesivamente

A a1 ,..., an es finito numerable

Si
A a1 ,..., an an1 min A \ a1 ,..., an
Sea : A tal que k ak es una biyeccin ya que:
k 1 k por eleccin inyectiva
Ahora si a A sea n max k : ak a a min A \ a1,..., an an1 n 1
Lo que quiere decir que es sobreyectiva.
Proposicin 0.8 Dado un conjunto A no vaco, es numerable si y solo s:
1) Existe una funcin : A inyectiva o
2) Existe una funcin : A sobreyectiva.
Demostracin: Sea A numerable entonces puede suceder que A sea
i) infinito Card A Card : A biyectiva y por lo tanto inyectiva.
ii) finito hay una biyeccin 0 entre A y 1,..., n entonces definimos:
: A tal que:
a 0 a es inyectiva
Supongamos ahora que existe una funcin inyectiva : A lo que significa
que : A A es una biyeccin , y entonces Card A Card A pero
como A A es numerable por proposicin anterior.
Entonces si A es infinito Card A Card por definicin y por
transitiva Card A Card por definicin A es numerable.
Si A es finito n tal que Card A n por definicin y por transitiva

Card A n por definicin A es numerable.

Corolario 0.9 Sea B un conjunto numerable y : A B inyectiva entonces A es
numerable.
- 16 -

Topologa General

Captulo 0

- 17 -

Demostracin Si B es numerable por proposicin anterior : B

entonces : A es inyectiva A es numerable.

inyectiva

Corolario 0.10 Si A es un conjunto numerable y : A B sobreyectiva entonces

B es numerable.
Demostracin
Si A es numerable :
: B es sobreyectiva B es numerable.

sobreyectiva entonces

Corolario 0.11 Si B es un conjunto numerable y A B A es numerable.

Demostracin Sea inclucin : A B que es inyectiva entonces por
corolario 0.9 A es numerable.
Proposicin 0.12

es numerable.

Demostracin Basta ver que la funcin :

m, n 2m.3n
es inyectiva, por tanto es numerable.
Proposicin 0.13

...

dada por:

es numerable.

Demostracin Sean p1 ,..., p j primos distintos, entonces :

...

donde

n1 ,..., n j p1n ... p j

1

nj

es inyectiva.
Corolario 0.14 Sean A1 ,..., An conjuntos numerable A1 A2 ... An es numerable
Demostracin Para cada i 1,..., n el que Ai sea numerable i : Ai
inyectiva. Entonces si definimos:
: A1 ... An ...
por
a1 ,..., an 1 a1 ,...,n an
queda naturalmente inyectiva.
Y por lo tanto existe la funcin : A1 ... An inyectiva lo que implica que
A1 ... An es numerable.

- 17 -

Topologa General

Captulo 0

- 18 -

Proposicin 0.15 Sea I un conjunto numerable, y Ai un conjunto numerable i I

Ai es numerable.

entonces
iI

Demostracin
Como I es numerable : I sobreyectiva
y por ser Ai numerable i : Ai i I definimos:

J:

Ai
iI

por

J m, n m n

entonces
a Ai a Ai0 para algn i0 I y como es sobre m / i0 m y
iI

como a su vez i0 es sobre n / a i0 n luego:

a i0 n m n J m, n

lo que significa que J es sobreyectiva por ser

numerable

Ai es
iI

numerable.
Ejemplo 0.5 es numerable
Sea I m, n : con m , n 0 que es numerable por ser un
subconjunto de uno numerable, entonces como:
m

m ,n I n
es numerable
Ejemplo 0.6 Todo conjunto infinito tiene un subconjunto infinito numerable.
Demostracin Sea A un conjunto infinito. Sea x0 A, entonces A x0 es infinito,
entonces existe x1 A tal que x1 x0 y entonces como A x1 , x0 es infinito, existe
x2 A tal que x2 xi con i 0,1 .
En general, definimos x0 , x1 ,..., xk y tenemos que A x0 , x1 ,..., xk es infinito as
que existe xk 1 A tal que xk 1 xi con i 0,1,..., k . Entonces la funcin f : A
y x0 , x1 ,..., xn ,... A por tanto
dada por f i xi es una biyeccin entre
dicho subconjunto de A es numerable que es al conjunto infinito numerable que
buscbamos.
- 18 -

Topologa General

Captulo 0

- 19 -

Ejemplo 0.7 Si A es infinito y B es numerable entonces A es coodinable con A B

Demostracin Por la proposicin de Cantor-Bernstein, basta encontrar una funcin
inyectiva de A en A B y otra inyectiva de A B en A . Para la primera la
inclusin es una funcin inyectiva inc : A A B Card A Card A B .
Para encontrar una funcin inyectiva g : A B A . Como A es infinito (ver
ejercicio 6) tiene un subconjunto infinito numerable que llamaremos C. Entonces
como B y C son numerables C B es numerable lo que implica
Card C B Card Card C C B y C son coordinables luego existe
una funcin g0 : C B C biyectiva Consideremos la siguiente funcin:
g : A B A dada por :
a si a A \ C B
g a
g0 a si a C B

a si a A \ C B
ab
g a
g 0 a si a C B
g 0 a b que b C
b si b A \ C B
a b por ser g 0 inyectiva
g b
g 0 b si b C B
entonces g es inyectiva, y por tanto Card A B Card A luego son iguales y los
conjuntos son coordinables.
Ejemplo 0.8 Sea n un entero positivo. Sean A un conjunto y a0 un elemento de A.
Entonces Card A n 1 Card ( A a0 ) n
Demostracin Tenemos que probar que existe una correspondencia biyectiva f entre
A y el conjunto 1,..., n 1 si, y solamente s, existe una correspondencia biyectiva
del conjunto A a0 con 1,..., n .
Supongamos en primer lugar, que existe una correspondencia biyectiva g
g : A a0 1,..., n
Definimos entonces una funcin: f : A 1,..., n 1 de la forma:
f x g x si x A a0

f a0 n 1
es claro que f es biyectiva.
Recprocamente:
Supongamos que existe una correspondencia biyectiva :
- 19 -

Topologa General

Captulo 0

- 20 -

f : A 1,..., n 1
i) Si f asocia a0 al nmero n+1, todo es especialmente sencillo; en este caso, la
restriccin f | Aa0 nos da la correspondencia biyectiva buscada entre A a0 y

1,..., n .

ii) En caso contrario sea f a0 m y sea a1 el punto de A tal que n 1 f a1 .

Entonces a1 a0 Definimos una nueva funcin:
h : A 1,..., n 1
Mediante:
h a0 m

h a1 n 1
h x f x para x A a1 , a0
De esta forma h es biyectiva y est comprendida en el caso i) luego la restriccin
h | Aa0 es la biyeccin buscada entre A a0 y 1,..., n
Ejemplo 0.9 Sea A un conjunto de cardinal n para algn n . Sea B un
subconjunto propio de A. Entonces el cardinal de B es distinto de n Si B
Entonces existe algn m n tal que el cardinal de B es m.
Demostracin Tenemos que probar que no existe biyeccin alguna g : B 1,..., n .
Pero si B s existe una biyeccin h : B 1,..., m para algn m n .
El caso de que B es vaco es trivial, ya que no puede existir una biyeccin entre el
conjunto vaco B y un conjunto no vaco 1,..., n .
Demostraremos la afirmacin por induccin.
Sea C el subconjunto de formado por aquellos entero n para los cuales la
afirmacin es cierta. Vamos a probar que C es inductivo C y por lo tanto la
afirmacin es cierta para todo entero positivo.
En primer lugar demostramos la afirmacin para n 1 .En este caso A est formado
por un nico elemento a y su nico subconjunto propio B es el conjunto vaco.
Supongamos ahora que el teorema es cierto para n; vamos a ver que tambin lo es
para n 1 Sea f : A 1,..., n 1 una biyeccin y sea B un subconjunto propio no
vaco de A. Elegimos un elemento a0 de B y un elemento de a1 de A B y aplicando
lo del ejemplo anterior, podemos deducir que existe una biyeccin:
g : A a0 1,..., n
Por otro lado, B a0 es un subconjunto propio de A a0 , ya que a1 pertenece a
A a0 y no a B a0 . Como la afirmacin se supone cierta para el entero n,
podemos concluir lo siguiente:
- 20 -

Topologa General

Captulo 0

- 21 -

1) No existe ninguna biyeccin h : B a0 1,..., n

2) Bien B a0 , bien existe una biyeccin
k : B a0 1,..., p para algn p n
El ejercicio anterio junto 1), implica que no existe ninguna biyeccin entre B y
1,..., n 1 Esto completa la primera mitad del resultado al que queremos llegar.
Para demostrar la segunda parte, obsrvese que si B a0 , existe una biyeccin
entre B y el conjunto 1 , mientras que si B a0 , podemos aplicar lo del
ejercicio anterior, junto con 2) , para concluir que existe una biyeccin entre B y
1,..., p 1 . En cualquiera de los casos, va a existir una biyeccin de B con 1,..., m
para algn m n 1 , tal como se buscaba. El principio de induccin demuestra que
la afirmacin es cierta para todo n .
Ejemplo 0.10 Si A es un conjunto finito, no existe ninguna biyeccin de A con un
subconjunto propio de s mismo.
Demostracin Supongamos que B es un subconjunto propio de A y que f : A B
es una biyeccin. Por hiptesis existe una biyeccin g : A 1,..., n para algn n.
La composicin g f 1 es, por tanto, una biyeccin entre B y 1,..., n . Esto
contradice la afirmacin del ejemplo anterior

Ejemplo 0.11 Un conjunto es infinito si y solo s es coordinable con un conjunto

propio.
Demostracin Sea A un conjunto infinito, primero observemos que por el ejemplo 6
tiene un subconjunto infinito numerable que llamamos B.
Sea C A B entonces hay tres posibilidades:
1) Que C Quiere decir que A B y como B es numerable por construccin
A numerable Card N Card A pero ya vimos que todo subconjunto (propio)
A Card A Card que A y
de una numerable es numerable si A
A son coordinables
2) Que C sea finito . Si C es finito entonces A C B por ser unin de dos
numerables es numerable Card A Card Card B es decir que A es
coordinable con el conjunto B
A
3) Que C sea infinito, como B es numerable (ver ejemplo 7) que C es coordinable
con C B A .
Recprocamente Sea A un conjunto coordinable con un subconjunto propio.
- 21 -

Topologa General

Captulo 0

- 22 -

Si A fuera finito tenemos una contradiccin con lo probado en el ejemplo 10 luego A

tiene que ser infinito.

Proposicin 0.16 El conjunto de las partes finitas de los naturales que anotamos
PF es numerable.
PF A : A es finito
Demostracin Definimos:
Pn A : Card A n
entonces
PF Pn
n

Pn es numerable y para ello definimos la

alcanza con probar que n

siguiente funcin:

n : Pn

como sigue:
Si APn entonces A ai1 , ai2 ,..., ain y definimos n como la funcin que a
cada n-upla le corresponde la n-upla ordenada en forma creciente, es decir:
n A a1 ,..., an con a1 a2 ... an
Claramente n es inyectiva ya que si A y B son conjuntos con n elementos

n ai ,..., ain a1 ,..., an con a1 ... an

1

n bi ,..., bi b1 ,..., bn con b1 ... bn

1

entonces

a1,..., an b1 ,..., bn ai ,..., ai bi ,..., bi

o sea A = B y como n es numerable Pn es numerable la unin
1

numerable de numerables es numerable por la proposicin anterior.

PF es numerable
Corolario 0.17 Las partes finitas de un conjunto A numerable es numerable.
PF A X A : X es finito
Demostracin igual que el teorema definimos:
Pn A X A : Card X n
y
n :Pn A An inyectiva
- 22 -

Topologa General

Captulo 0

- 23 -

como An es numerable Pn A es numerable y como la unin de una cantidad

numerable I de conjuntos numerables es numerable.
PF A Pn A (e I I numerable)
nI

es numerable.

Corolario 0.18 Las partes infinitas de los naturales es no numerable

P A : A es infinito
Demostracin Si fuera numerable como:
P PF P sera numerable
Y ya vimos que es no numerable.
MATERIAL A CONTINUACON ES DE LECTURA OPCIONAL
De la anterior proposicin se desprende que el cardinal de las partes infinitas de los
naturales (conjunto potencia de los naturales ) no es igual al de los naturales y lo que
demostraremos a continuacin es que dicho cardinal es igual al cardinal de los
nmeros reales.
Pero con dicho propsito antes demostraremos algunos teoremas previos. El primero
de ellos hace referencia a la posibilidad de escribir cualquier nmero real entre 0 y 1
como una serie. Dependiendo de una sucesin de ceros y unos (notacin binaria del
real en cuestin)
Lema 1 Sea t 0,1 entonces existe una sucesin ak : k 1 donde ak 0,1 para
todo k y tal que:

a
t kk
k 1 2
salvo que para algunos reales esa descomposicin no es nica
Por ejemplo.
1
1
5
0 2 2 0 2 4

1
1
1
1
16
0 22 0 0 25 26 ... 2n ...
Hay dos formas de elegir la sucesin
0,1,0,1,0,0,0,0,....
pero una de ellas es finita. Es decir:
ak
0,1,0,0,1,1,1,1,1,...

- 23 -

Topologa General

Captulo 0

- 24 -

ak
bk

con ak , bk 0,1 y ak bk no son la misma sucesin

k
k
2
2
k 1
k 1
que existe n0 tal que:

Si t

n0

ak 0 k n0 y bk 1 k n0

o
b 0 k n y a 1 k n
k
0
k
0

ak ...........1,0,0,0,0.....
bk ...........0,1,1,1,1,1,.....

o
n0

ak ...........0,1,1,1,1,1,....
bk ............1,0,0,0,0,....

Demostracin Si 0 t 12 se define a1 0
Si 12 t 1 se define a1 1
En ambos caso se verifica:
a 1
0t 1
2 2
ahora definimos a2
0 si 0 t a1 1

2 4
a2
1 si 1 t a1 1

4
2 2
entonces en ambos casos:
a a
1
0 t 1 22 2
2 2
2
Y as sucesivamente tenemos a1 , a2 ,..., an 0,1 tales que:
n
a
1
0 t kk n
2
k 1 2
se define an1 como:
n
ak
1

0 si 0 t 2k 2n1
k 1
an1
n
1 si 1 t ak 1

2n+1
2n
k 1 2

en ambos casos:

- 24 -

Topologa General

Captulo 0

- 25 -

n 1

ak
1

k
2n1
k 1 2

0t

por lo tanto
n 1

ak
a
t k 0 t kk
k 1 2
k 1 2

Lema 2 Si an bn y

ak
bk

t entonces tenemos que probar que existe

k
k
2
2
k 1
k 1

n0 tal que:
bk 1 k n0 y ak 0 k n0

o
b 0 k n y a 1 k n
k
0
k
0
Demostracin
Sea
n0 min k : ak bk se puede suponer sin perder generalidad que
an0 1 y bn0 0
1

Sea

a1 a2 ....... an0 .....

,
b1 b2 ....... bn0 .....
0

Tenemos que:
0

n0 1

bk
bk bn0
bk

n0
k
k
k
2
k 1 2
k 1 2
k n0 1 2
bk 1

n0 1

a
b
kk kk
k 1 2
k n0 1 2 (1)

n0 1

ak
1

k
k
k 1 2
k n0 1 2

n0 1

n0

ak
ak
ak
1

n0
k
k k
2
2
2
2
k 1
k 1
(2) k 1

an
0
2n0

bk
k
k 1 2
Lo que implica que todas las desigualdades son igualdades y entonces:
1 bk 1 k n0

2 ak 0 k n0
- 25 -

Topologa General

Captulo 0

- 26 -

Si hubisemos supuesto que era an0 0 y bn0 1 hubiramos llegado a:

bk 0 k n0
ak 1 k n0
Lema 3 Card 0,1 Card P
Demostracin
Para la demostracin lo que haremos es definir una funcin
biyectiva entre dichos conjuntos. Para ello usamos los lemas 1 y 2 que quieren decir
que todo nmero entre 0 y 1 se escribe en notacin binaria como una sucesin
infinita de ceros y unos. A este nmero binario le asociamos el conjunto de los
ndices correspondientes a los lugares en que lleva un uno su desarrollo binario. Que
claramente es un subconjunto de las partes infinitas de los nmeros naturales.
Consideremos la siguiente funcin:
: 0,1 P definida de la siguiente forma:
Si t 0,1 entonces existe una nica sucesin ak tal que k : ak 1 es infinito
siendo

a
t kk
k 1 2
Siempre hay una ya que si hay una finita tal que:
n
a
t kk , an 1
k 1 2
definimos

b ak k n
b
t kk donde k
bn 0 , bk 1 k n
k 1 2
definimos:
t k : ak 1 P
Por ejemplo:
5
1
1
0 2 0 4
16
2
2
t 2,5,6,7,8,.....
5
1
1 1
1 1 1 1
0 2 0 0 5 6 ... k 4
16
2
2 2
4 k 5 2
4 2
es inyectiva ya que si t s sea ak tal que:

ak 1 si k t
a
t kk s
ak 0 si k t
k 1 2
adems es sobreyectiva ya que si A P sea ak tal que:
- 26 -

Topologa General

Captulo 0

- 27 -

ak 1 si k A
a
y sea t kk
ak 0 si k A
k 1 2

a
1
Como los ak son infinitos ak 1 k kk k
k 1 2
k 1 2
la serie converge en (0,1] t 0,1 A t .

1
1

1 es decir que

Proposicin 0.19 El cardinal del conjunto potencia de los naturales es el del

continuo. Es decir Card Card P
Demostracin Primero se demuestra que Card Card 0,1 por medio de una
funcin apropiada; por ejemplo por medio de la funcin y tan x que es biyectiva
para x 2 , 2 se tiene que:
Card Card 2 , 2
Luego por medio del segmento de recta
Card 2 , 2 Card 0,1
Por el ejemplo 0.7 se tiene que un conjunto es infinito si, y solamente s, es
coordinable con un subconjunto propio
P es infinito Card P Card P
Ya que
P
P
y como por la proposicin anterior:
Card 0,1 Card P

Card 0,1 Card P

y
Card Card P

Card 0,1 Card

Ejemplo practico
Sea la familia de intervalos de extremos racionales F

F a, b : a, b
Definimos la funcin : F

de la siguiente manera:
- 27 -

Topologa General

Captulo 0

- 28 -

a, b a, b
Es decir que a cada intervalo de extremos a,b le asociamos la pareja ordenada (a,b)
Dicha funcin es inyectiva ya que

a a

a, b a, b o a, b a, b a, b a, b
b b

y como
es numerable que el producto cartesiano es numerable
Tenemos una funcin inyectiva del conjunto F a un conjunto numerable, como la
funcin es biyectiva sobre su imagen, que es un subconjunto de uno numerable,
luego numerable; entonces como podemos definir una biyeccin de F a un conjunto
numerable, este F es numerable.

- 28 -

Captulo 2
Espacios Topolgicos
En este captulo introduciremos el concepto de espacio topolgico, rescatando de los
espacios mtricos las propiedades bsicas que estos cumplen. Es decir que se trata
de una abstraccin de los mismos.
Definicin 2.1 Sea X un conjunto no vaco. Una topologa en X es una familia
incluida en las partes de X
es decir P ( X ) tal que:
1) X ,
2) Si { A }I A
I
n

3) Si A1 ,..., An Ai
i =1

A los miembros de llamamos abiertos

Al par formado por y X llamamos espacio topolgico.
Ejemplo 2.1 Sea ( E , d ) un espacio mtrico, entonces d = { A : A abierto en E } d
es una topologa por los propiedades que ya vimos se cumplen 1,2,3.
Adems d1 , d 2 son equivalentes si y solo s:
d1 = d2
Decimos que las mtricas equivalentes inducen las misma topologas.
Todo espacio mtrico puede ser visto como un espacio topolgico con la topologa
inducida por la mtrica.
No es casualidad que una mtrica defina una topologa ya que la idea es abstraer las
propiedades de los espacios mtricos en espacios donde no hay definida una mtrica,
tratamos de definir un abierto sin tener una distancia, por eso, si decimos que un
conjunto es abierto en realidad estamos queriendo decir que est en la topologa.

Topologa General

Captulo 2

- 44 -

Definicin 2.2 Sea ( X , ) un espacio topolgico se dice que es metrizable si

existe una mtrica d en X tal que:
= d
es una especie de recproco del ejemplo 1 .
Ejemplo 2.2 Topologa discreta
Dado X = P ( X ) es una topologa y es un caso particular del ejemplo anterior
con la mtrica d discreta.
Es decir se si d 0 es la mtrica discreta en X entonces:
d0 = P ( X )

Ejemplo 2.3 Topologa indiscreta

Sea ( X , d ) un espacio seudomtrico con d indiscreta entonces:
d = { , X }
es una topologa llamada indiscreta. Claramente no es metrizable porque no existe
una mtrica asociada (seudemtrica si).
Ejemplo 2.4 Cofinito
Sea X la topologa definida como:
= { A X : AC es finito} { }
veremos que es una topologa llamada de complementos finitos
1) , X
2) Si { A }I I entonces:
C

C
C
A = A es finito por cada A es finito
I I
entonces:

3) Sean A1 ,..., An entonces:

n
n
C
A
=
i Ai
i =1
i =1
que es finito por ser unin de una cantidad finito n de conjuntos finitos AiC
Luego:

A
i

i =1

Adems se en vez de finito ponemos numerable sigue siendo una topologa

- 44 -

Topologa General
Ejemplo 2.5
En definimos:

Espacios Topolgicos

- 45 -

= { A : 2n A 2n 1 A n }

es una topologa ya que:

Si { A } y n
Si 2n A 2n A0 para algn 0
I

2n 1 A 0 2n 1 A
I

idem con la interseccin

La forma de los abiertos de son {1,2} ,{1, 2,3, 4} ,..., {3, 4} , {3, 4,5,6} ,...,{5,6} ,.. etc.
Cada vez que un par pertenece al conjunto el anterior tambin y cada vez que un
impar pertenece al conjunto su siguiente tambin, as {5,6,11,12} es un abierto.
Ejemplo 2.6
En definimos:

= { } { A : 0 A}

tambin es una topologa.

Definicin 2.3 Sea ( X , ) un espacio topolgico e Y X llamamos topologa
relativa en Y a:
Y = {U Y : U }
Sea {U }I U Y Y I entonces:

(U Y ) =

U
I

Y Y

por ser una popologa

dem con la interseccin Y es un topologa.

Definicin 2.4 Sea ( X , ) un espacio topolgica y x X N X es un entorno de
x si existe un abierto U tal que:
x U N
Sea N x la familia de entornos de x es decir:
N x = { N X : N es entorno de x}

Ejemplo 2.7
Si ( E , d ) es un espacio mtrico, x E entonces N E es un entorno de x si y solo
s :
- 45 -

Topologa General

Captulo 2

- 46 -

> 0 tal que B ( x, ) N

Demostracin

Se toma A = B ( x, )
Si N N x por definicin existe un abierto U tal que x U N
Como U es abierto en un espacio mtrico por definicin > 0 tal que:
B ( x, ) U B ( x, ) N

Ejemplo 2.8
Sea ( X , ) el espacio topolgico discreto
N Nx x N
Ejemplo 2.9
Sea ( X , ) espacio topolgico indiscreto, los abiertos ya vimos que son y todo X
entonces:
N x = { x}

Ejemplo 2.10
Sea ( , ) con = { A : 2n A 2n 1 A}
{1, 2} N 2
N 2 = { A : {1, 2} A}
{1, 2,3} N 2
Ejemplo 2.11
Sea ( X , ) con topologa de complementos finitos.
Sean x X entonces:
si N N x existe U tal que x U N
entonces N C U C N C es finito N es decir:
finito

N x = {U : x U }

Proposicin 2.1 Sea ( X , ) es un espacio topolgico, x X entonces:

1) N N x y N M M N x
2) Si N , M N x N M N x
3) N x
4) U X es abierto U N x x U es decir si U es entorno de todos sus
puntos.
- 46 -

Topologa General

Espacios Topolgicos

- 47 -

Demostracin
1) Si N N x U tal que x U N
y como N M x U M M N x
2) Sean U N ,U M tal que:
x U N N
x U N U M N M
x U M M
y como U N U M N M N x
3) X N x x X N x ?
4) Si U es abierto y para todo x U x U U
U Nx
Si U N x para todo x U que para cada x U existe U x tal que:

x U x U

xU

pero como x U x U x x U x U U x
xU

xU

U = Ux
xU

y como U x

xU

por propiedad 2 de la definicin de topologa y luego

U (es abierto)

Observacin 2.1 De la definicin de entorno y de la propiedad anterior podemos

tenemos:
A es abierto x A U tal que x U A

Es decir que un conjunto es abierto si para todo punto de l se puede encontrar un

elemento de la topologa incluido en l.
Si sustituimos elemento de la topologa por bolas es la misma propiedad que
tenamos para espacios mtricos. Lo que era de esperar ya que los elementos de la
topologa en el caso de espacios mtricos son las bolas.
Definicin 2.5 Sea ( X , ) un espacio topolgico, A X . Se dice que x A es un
punto interior a A, si A es entorno del punto, es decir A N x .
Y llamaremos interior de A al conjunto de los puntos interiores de A
A = { x X : x es interior de A}
Observacin 2.2 De la misma definicin se desprende que.
- 47 -

Topologa General

Captulo 2

- 48 -

A A

Proposicin 2.2 Dado ( X , ) espacio topolgico y A, B X dos conjuntos con

A B entonces:
A B

Demostracin
Que x A implica que A es entorno de x y por definicin de entorno:
U tal que x U A
y como A B se tiene:
U tal que x U B
luego B es entorno de x y eso implica que x es interior a B A B
Proposicin 2.3 Sea ( X , ) en espacio topolgico A X Entonces si A es abierto
se tiene que A = A .

Demostracin Por definicin sabemos que se cumple A A . Para probar la otra

inclusin
Si x A como A es abierto, es entorno de todos sus puntos es decir A N x lo que
implica por definicin que x A luego
A A
y se da la igualdad.
Proposicin 2.4 Sea ( X , ) en espacio topolgico A X Entonces A es el mayor
abierto contenido en A.

Demostracin Primero probaremos que A es abierto, para ello probaremos que es

entorno de todos sus puntos.
Sea x A por definicin A N x U tal que:
x U A

Pero esto no alcanza trataremos de ver que U A y para ello:

Si y U y U A A N y por definicin y A luego:
es decir que U tal que:

UA

- 48 -

Topologa General

Espacios Topolgicos

- 49 -

x U A A N x
Esto mismo se tiene para todo punto de A entonces por proposicin 2.1 4) A es
abierto.
Para probar de que es el mayor probamos que cualquier otro abierto incluido en A
est contenido en A
Sea entonces B A por proposicin 2.2 B A y como B es abierto se tiene
por proposicin 2.3 B = B luego:
B A
Observacin 2.2 Uniendo las proposiciones 2.2 y 2.3 se tiene que:

A es abierto A = A
Ejemplo 2.12
Sea ( , ) = { A : 0 A} { }
Dado A

A si 0 A
A =
si 0 A

Definicin 2.6 Dado ( X , ) espacio topolgico decimos que es T0 si se verifica que

si dados x y N x N y

Ejemplo 2.13
Sea ( , ) con = { A : 2n A 2n 1 A} { }
N 2 = { A : {1, 2} A}

N1 = { A : {1, 2} A}
Luego N1 = N 2 pero 1 2 que no es T0
Proposicin 2.5 Un espacio topolgico ( X , ) es T0 si y solo s dados x y existe
N N x tal que y N o existe:
M N y tal que x M
N
x
y

Demostracin
si N N x tal que y N N N y
N x N y por definicin es T0
M N y tal que x M M N x
- 49 -

Topologa General

Captulo 2

- 50 -

Si X es T0 x y N x N y entonces puede suceder al menos una de las

siguientes posibilidades:
1) N N x tal que N N y por ser N entorno
U tal que x U N si y U y U N
Y entonces N N y lo cual es absurdo o sea que y U y como U es abierto es
entorno de todos sus puntos o sea encontramos un U N x tal que y U .
2) M N y tal que M N x al igual que lo anterior V N y tal que x V .

Ejemplo 2.14
Dado el espacio topolgico ( , ) con = { A : 0 A} { }
Sean dos puntos x y cualesquiera distintos en principio de cero.
x y entonces {0, x} que es entorno de todos sus puntos en particular de x o
sea que {0, x} N x donde y {0, x} .
Ahora si uno de ellos es el cero. Sea x = 0 entonces claramente {0} o sea :
{0} N 0 y {0}
Luego este espacio topolgico es T0 .
A pesar de que todos los entornos de y contienen al cero es decir al cero lo podemos
separar del y por entornos pero no al y del cero.
Nuestro prximo axioma de separacin contemplar que tanto unos como otros son
separables por entornos.
Definicin 2.7 Dado un espacio topolgico decimos que es T1 si se verifica que:
N = {x}
N N x

Proposicin 2.6 Dado el espacio topolgico ( X , ) este es T1 si y solo s, dados

x y cualesquiera existen N y M con:
N N x tales que y N
x
y
M N y tales que x M

Demostracin
Si ( X , ) es un espacio topolgico T1 , x y entonces por definicin

N = { x} y como x y y

N N x

lo que significa que:

N N x

N N x tal que y N
- 50 -

Topologa General

Espacios Topolgicos

- 51 -

Si N N x tal que y N esto implica:

y x

N { x} =

N N x

N N x

Corolario 2.7 Dado un espacio topolgico ( X , ) si es T1 es T0

Demostracin La proposicin 2.6 implica la proposicin 2.5 que es ms dbil y por
lo tanto se cumple que es T0
Ejemplo 2.15
Sea ( , ) con = { A : 0 A} { } como

N = {0, x} si x 0 no es T1

N N x

Ejemplo 2.16
Sea X con la topologa de complemento finito.
C
C
Dados dos puntos x y {y} N x e y { y} luego X es T1 .
Definicin 2.8 Dado el espacio topolgico ( X , ) decimos que es T2 (o de
Hausdorff ) si dados x y existen:
N N x , M N y tales que N M =
N
M
x
y
Observacin 2.3 Todo espacio topolgico que es T2 T1
Claramente por definicin.

Ejemplo 2.18
Sea X infinito con la topologa de complemento finito.
Si A, B tal que A B = con A y B no vacos entonces:
X = AC B C X sera finito
finito

finito

con esta topologa no tenemos abiertos disjuntos, y como:

N x = { A : x A}
Si A N x , B N y tales que A B = seran dos abiertos no vacos disjuntos que
ya vimos que en esta topologa no los hay X no es T2 aunque s T1 como ya
vimos.
Ejemplo 2.19
Todo espacio mtrico es de Hausdorff.
- 51 -

Topologa General

Captulo 2

- 52 -

Demostracin
Si x y Sea <

1
d ( x, y )
2

Entonces :

B ( x, ) B ( y , ) =
Ya que si existiera z tal que:
z B ( x, ) B ( y , )
se tendra:
d ( x, y ) d ( x, z ) + d ( z, y ) < 2 < d ( x, y )

Definicin 2.9 Dado ( X , ) espacio topolgico decimos que x es adherente a un

subconjunto A de X si todo entorno de x contiene puntos de A.
Es decir que x es adherente a A N N x N A
Definicin 2.10 Dado un espacio topolgico ( X , ) , A X , la clausura de A es el
conjunto de todos los puntos adherentes a A.
A = { x X : N N x es N A }

adems decimos que A es cerrado si y solo s A = A

Proposicin 2.8 A A

Demostracin
Si x A N N x x N A x A luego:

uniendo esto con A A tenemos:

A A

A A A

Proposicin 2.9 Si A B A B

Demostracin
Si x A N N x N A y como A B se tiene:
N B N N x x B
o sea
AB

- 52 -

Topologa General

Espacios Topolgicos

Ejemplo 2.20
Sea ( , ) donde = { A : 0 A} { }

- 53 -

Si A = {1} A = {1} ya que:

si x 1 {0, x} A =

Sea A = {0} A =
En general en esta topologa para un subconjunto A cualquiera tenemos:
si 0 A
A=
A si 0 A

Ejemplo 2.21
Sea ( E , d ) un espacio mtrico definimos bola cerrada, y anotamos B ( x, ) de
centro x y radio como:
B ( x, ) = { y E : d ( x, y ) }
probaremos que es cerrada es decir:
B ( x, ) = B ( x, )
Demostracin
Tenemos que la inclusin B ( x, ) B ( x, ) se cumple siempre.
Para probar la otra inclusin

B ( x, ) B ( x, ) probaremos ( B ( x, ) ) B ( x, )
C

Sea y B ( x, ) d ( x, y ) >

> 0 tal que < d ( x, y ) ver figura

Si z B ( x, ) B ( y, ) entonces:
d ( x, y ) d ( x , z ) + d ( z , y ) < + < d ( x , y )

luego

<

d ( x, y ) < d ( x , y )

O sea que:
B ( y, ) N y tal que B ( y, ) B ( x, ) =? lo que significa que y B ( x, )
B ( x, ) B ( x, )

como queramos probar.

- 53 -

Topologa General

Captulo 2

- 54 -

Proposicin 2.10 Sea ( X , ) espacio topolgico A X .Entonces A es cerrado si y

solo s el complemento es abierto:

A es cerrado AC es abierto
Demostracin
Si A es cerrado A = A
Sea y AC y A = A N N y tal que
N A = N AC

y por definicin de entorno:

U tal que y U N AC
Es decir que
y AC U tal que y U AC
por observacin 2.1 AC es abierto.
Recprocamente:
AC es abierto aplicando otra vez la observacin 2.1
y AC U tal que y U AC y como U es abierto es entorno de todos sus
puntos U N y y A U = luego
y A y ( A)

A A

Como la otra inclusin se cumple siempre.

A = A
Corolario 2.11 Sea ( X , ) un espacio topolgico entonces se cumplen:
1) X , son cerrados
2) Sea { A }I una familia de cerrados A es cerrado.
I

3) Sean A1 ,..., An cerrados Ai es cerrado.

i =1

Demostracin
Todas se demuestran en forma anloga usando las leyes de Morgan y la proposicin
anterior, veamos a modo de ejemplo la 2)
Como cada A es cerrado AC es abierto AC es abierto luego:
I

C
A = A es abierto
I I
- 54 -

Topologa General

Espacios Topolgicos

- 55 -

entonces.

A es cerrado

Proposicin 2.12 Dado un espacio topolgico ( X , ) , es T1 si y solo s :

{ x} es cerrado x X

Demostracin
Sea ( X , ) espacio topolgico T1 entonces por definicin dado y X :

N = { y}

N N y

lo que significa si x y

N N y

N N y tal que x N
entonces:

N { x} = y { x}
Como esto es vlido para cada y de X se tiene:
{ x} = { x}
e { x} es cerrado x y pero como el y es arbitrario en realidad se tiene x X
Recprocamente:
C
C
Dado x, y X con x y si { x} ,{ y} son cerrados { x} , { y} son abiertos
entonces como y x y { x} que por ser abierto es entorno de todos sus
puntos
C
C
{ x} N y y x { x}
anlogamente
C
C
C
como x y x { y} que por ser abierto { y} N x e y { y}
Luego por proposicin 2.6 ( X , ) es T1 .
El siguiente lema es opcional
Lema 2.13 a)Dado ( X , ) espacio topolgico y A X entonces:
C

( A)

= ( AC )

Demostracin
Sea x ( A )

por definicin
C

x A

N N x tal que N A = lo que significa que:

- 55 -

Topologa General

Captulo 2

- 56 -

N AC
y por definicin de entorno:
U tal que x U N AC
luego:
AC N x
entonces por definicin de punto interior:

x ( AC )

Recprocamente:
Si x ( AC )

AC N x y por definicin de entorno:

por definicin

V tal que x V AC
entonces por un lado A V = y por otro lado como V es abierto es entorno de
todos sus puntos en particular de x. O sea:
V N x tal que A V =
Luego

x A x ( A)

Como queramos probar.

Anlogamente se prueba que
Lema 2.13 b)

(A )

= ( AC )

Proposicin 2.14 Sea ( X , ) un espacio topolgico, A X . Entonces A es el

menor cerrado que contiene a A.

Demostracin
Primero que nada A es cerrado ya que por la proposicin anterior:

( A)

= ( AC )

y como ya vimos que el interior de un conjunto es abierto (proposicin 2.4) entonces

( A)

es abierto A es cerrado .

Sea ahora B X un conjunto cerrado cualquiera que contenga a A.

Entonces como A B A B = B luego:
prop. 2.6

cerrado

AB
es decir que la clausura de A es el menor cerrado que contiene a A.

- 56 -

Topologa General

Espacios Topolgicos

- 57 -

Corolario2.15 Sea ( X , ) un espacio topolgico, y A X entonces:

1) ( A

=A

2) ( A ) = A

Demostracin.
1) Ya demostramos que el interior de un conjunto es abierto y si es abierto que es
igual a su interior.
A abierto ( A

=A

2) Tambin ya demostramos que la clausura de un conjunto es cerrado entonces:

A cerrado ( A ) = A
def.

Ejemplo 2.22
Sea ( X , ) espacio topolgico como X es abierto ( X ) = X
Y como es abierto ( ) =

Por otro lado como X C =? es cerrado ? =?

Y C = X es cerrado X = X
La clausura y el interior son invariantes para X e
Definicin 2.11 Sea ( X , ) un espacio topolgico, y A X decimos que x X es
un punto de acumulacin de A si y solo s:
N N x A ( N \ { x})

llamamos conjunto derivado al conjunto de puntos de acumulacin.

A = { x X : x es de acumulacin de A}
claramente por definicin
A A
Definicin 2.12 Si ( X , ) es un espacio topolgico, A X decimos que x X es
un punto aislado si no es punto de acumulacin.
Definicin 2.13 Si ( X , ) es un espacio topolgico, A X llamamos frontera de A
al conjunto A como:
A = A AC
de la definicin sacamos que un punto x A si se cumplen:
- 57 -

Topologa General

Captulo 2

- 58 -

x A N N x N A

C
C
x A N N x N A
Es decir que un punto pertenece a la frontera si para todo entorno del punto este
corta tanto al conjunto como al complemento.
Ejemplo 2.23
Sea ( X , ) con = { } { A : 0 A}
si 0 A
A=
A si 0 A
Sea 0 A {0} {0} N 0 pero {0} \ {0} =? 0 no es punto de acumulacin.
Si x y 0 x N N x U tal que x U N pero si U es abierto
implica si no es vaco que contiene al cero 0 N 0 N \ { x} N N x
como 0 A A { N \ { x}}
x es de acumulacin.
Si 0 A veamos cual es la frontera:
A = A AC = AC = AC

y si 0 A

A = A AC = A = A
Definicin 2.14 Dado ( X , ) un espacio topolgico se dice que Y X es denso en X
si:
Y=X
Definicin 2.15 Dado ( X , ) un espacio topolgico se dice que X es separable si
tiene un subconjunto Y denso numerable
Y X tal que Y = X con Y es numerable.
Proposicin 2.16 Dado ( X , ) espacio topolgico, Y X es denso si y solo s:
Para cada U , U se cumple U Y

Demostracin
Si Y X e Y denso, sea U , U
Como U es abierto es entorno de todos sus puntos o sea:
- 58 -

Topologa General

Espacios Topolgicos

- 59 -

x U U N x y como Y = X x Y lo que significa por definicin:

N N x N Y
y en particular
U Nx U Y

Recprocamente:
Si x X y N N x por definicin U tal que x U N
y por hiptesis como U se tiene
U Y N Y
por definicin
Si N N x es N Y x Y
luego
x Y Y = X Y es denso en X
Ejemplo 2.24
El conjunto de los racionales es denso en es separable
Ejemplo 2.25
Sea ( X , ) con X no numerable y la topologa discreta entonces X es no separable
ya que si consideramos que existe un subconjunto denso A X entonces:
U U A
y en particular
como x X { x} { x} A x A
X A X = A
es decir que el nico conjunto denso es el propio X que por definicin es no
numerable luego X es no separable.

Ejemplo 2.26
En la topologa = { A : 0 A} { } se tiene que
{0} es denso ( , ) es separable
Ejemplo 2.27
Sea ( , ) con = { A : 2n A 2n 1 A}
Sean I = imparares P = pares como:
I = y P = que es denso
tanto I como P son densos por lo que es separable.
- 59 -

Topologa General

Captulo 2

- 60 -

Ejemplo 2.28
Sea ( X , ) con X infinito y la topologa de complemento finito.
Cualquier subconjunto infinito de X cumple:
Y X infinito Y = X X denso
ya que si consideramos que:
U tal que U Y = Y U C U C es infinito, pero U
luego
U U Y
por la proposicin 2.16 Y es denso en X.

Ejemplo 2.29
Definicin 2.16 Dado ( X , ) espacio topolgico decimos que B es una base
de si todo abierto no vaco es unin de miembros de B.

Dicha definicin e equivalente a decir que B es base de la topologa si se cumplen:

1) B B B
2) Dado x U Bx B tal que x Bx U
La primer condicin es obvia y la segunda si se cumple tenemos:
Si U U = Bx
xU

es decir es unin de elementos de B. Y recprocamente todo abierto es unin de

elementos de B es decir:
U=

BB

Si x U x B B B tal que x B adems este B U 2)

BB

Ejemplo 2.32
En un espacio mtrico la bolas abiertas es una base porque ya vimos que todo
abierto es igual a la unin de bolas abiertas.
Ejemplo 2.33
Sea ( X , ) con la topologa discreta.
B = {{ x} : x X }
es una base

Ejemplo 2.34
( , ) con = { A : 0 A} { }
- 60 -

Topologa General

Espacios Topolgicos

- 61 -

B = {{0, x} : x }
es una base ya que si A es abierto
A = {0, x}
xA

Proposicin 2.17 Sea X un conjunto no vaco B P ( X ) existe una topologa en

X para la cual B es una base si y solo s se cumplen:

1)

A= X

AB

2) Si A, B B , x A B C x B tal que
x Cx A B
Demostracin
Si B es una base de , entonces como X es abierto implica de que es unin de
elementos de B
X=

AB

Para probar la segunda propiedad sean A, B B con x A B como A y B son

abiertos tambin lo es A B entonces:
A B = B si x A B 0 tal que
B B

x B 0 luego x B 0 A B o sea Cx = B 0 B

recprocamente: Si B verifica 1) y 2). Construiremos una topologa de la que B es

base. Sea entonces la familia de conjuntos que son unin de miembros de B.
= { B : B B } { }
probaremos primero que es una topologa.
1) y X = B X ,
por hip. BB

2) Si A la unin de conjuntos de tambin est en por ser unin de uniones

de elementos de B.
3) Sean A, B A = A B = B entonces:
A B

B B

A B = A B = ( A B )

Si x A B x A x B x para algn x , x y existe C x B tal que:

x Cx A x B x
consideremos

- 61 -

Topologa General

Captulo 2

- 62 -

Cx

xA B

A B

xA B

C x ( A x B x ) A B

A B =

Cx A B

xA B

entonces es una topologa de la que B es base por construccin

Corolario 2.18 Sea B un recubrimiento de un conjunto X cerrado por
intersecciones finitas entonces existe una nica topologa sobre X respecto de la
cual B es una base.
Demostracin Por ser un recubrimiento se cumple la condicin 1) de la proposicin
anterior. Y por ser cerrado por intersecciones finitas se cumple la condicin 2).
Luego solo es una formulacin diferente (ms dbil) de la proposicin anterior.
Dicha topologa es nica por la condicin 2 de ser base.
Definicin 2.17 Si ( X , ) es un espacio topolgico, S decimos que es una
subbase de si:
B = { A1 A2 ... An : Ai S , n } { }
es una base.
Proposicin 2.19 Si X es un conjunto no vaco, S P ( X ) ,S es una subbase de una
topologa si y solo s:
A= X
AS

Se dice que es la topologa generada por S

Demostracin
Por ser S subbase B = { A1 ... An : Ai S , i = 1,..., n} entonces si
B B B = A1 ... An B Ai por lo menos para algn i
X=

BA

BB

AS

X =A
AS

Hay que probar que B = { A1 A2 ... An : Ai S } es una base de o sea

probaremos las propiedades 1 y 2 de la proposicin anterior.
1) Ai B ya que Ai = Ai Ai i S B adems:

por hiptesis X = A
AS

- 62 -

AB

Topologa General

Espacios Topolgicos

- 63 -

2) Si A y B B
A = A1 A2 ... An con Ai S i = 1,..., n

B = B1 B2 ... Bm con Bi S i = 1,..., m

A B = A1 .... An B1 ... Bm B por definicin
entonces B es una base y S una subbase
Definicin 2.18 Si y son dos topologas en X se dice que es ms fina que
si

Proposicin 2.20 Si X es un conjunto no vaco, S P ( X ) tal que:

A= X
AS

la topologa generada por S en X es la menos fina en X que contiene a S.

Demostracin
Supongamos que es una topologa en X y S entonces:
Si A1 , A2 ,..., An S A1 A2 ... An La interseccin finita de abiertos es
tambin un abierto. Como adems la unin de elementos de est en entonces
por definicin de

Definicin 2.19 Sea ( X , ) un espacio topolgico decimos que verifica el segundo
axioma de numerabilidad si tiene una base numerable.
Para abreviar decimos que es N2

Ejemplo 2.35 Sea X no numerable con la topologa de complemento finito veremos

que no es N2
Supongamos que { Bn }n es una base entonces:
C

C
Bn = Bn
n
n
C
pero como los Bn son abiertos Bn es finito y como la unin numerable de
numerables (finitos) es numerable
C

B es numerable Bn X
n
n
C
n

- 63 -

Topologa General

Captulo 2

- 64 -

ya que X es no numerable Bn entonces x Bn x Bn n por

n

otro lado el conjunto { x} es abierto (por tener complemento finito que es el { x} )

pero este abierto no se puede escribir como uniones de los elementos de la base ya
que si fuera as.
x { x}C

C
x
B
=
pero
tenemos
{}
x B n x B

nk
nk
k
nk
{nk }

{nk }
C

Proposicin 2.21 Si ( X , ) es un espacio topolgico N2 entonces es separable.

Demostracin
Sea { Bn }n una base numerable
Construiremos un conjunto denso numerable para ello tomamos un elemento de
cada abierto de la base, y ese conjunto que es numerable resultar que es denso.
Sea { xn } con xn Bn n Tomemos un abierto U no vaco por ser { Bn }n una
base se puede escribir:
U = Bnk
{nk }

y como nk se tiene que xnk Bnk xnk U { xn }n entonces

U { xn }n { xn }n es denso
y esto significa que X es separable.
No vale el recproco en general, como veremos en el siguiente ejemplo.
Ejemplo 2.36
Sea X no numerable con la topologa de complemento finito, ya vimos que es
separable (ejemplo 2.28 ) y que no es N2 (ejemplo 2.35)

Pero en espacios mtricos s vale el recproco como veremos en la siguiente

proposicin.
Siguiente proposicin es opcional
Proposicin 2.22 Si ( E , d ) es un espacio mtrico separable, entonces es N2
Demostracin
Por hiptesis existe un subconjunto { xn }n denso en E tomemos:

B = {B ( xn , 1 m ) : n, m }
- 64 -

Topologa General

Espacios Topolgicos

- 65 -

es claro que B es numerable. Probaremos de que es una base.

Sea entonces A E un abierto no vaco. Por ser abierto en un espacio mtrico
implica que si x A > 0 tal que B ( x, ) A ahora consideremos mx tal que:
1
1
<
y xnk tal que d ( x, xnk ) <
mx 2
mx

que es posible por ser { xn } denso { xn } B ( x, 1 mx ) entonces x B ( xnk , 1 mx )

adems si z B ( xnk , 1 mx ) tenemos:

d ( x, z ) d ( x, xnk ) + d ( xnk , z ) <
< 1 mx

< 1 mx

z B ( x, ) B ( xnk ,

mx

2
<
mx

B ( x, )

) B ( x, ) A

B ( xnk , 1 mx )
xnk
z

entonces para cada x A una bola B

B ( xnk , 1 mx ) tal que :

x
A

x B ( xnk , 1 mx ) A o sea:

A = B ( xnk , 1 mx )
xA

Lo que implica de que B es base y por lo tanto ( E , d ) es N2.

Definicin 2.20 Sea ( X , ) un espacio topolgico un cubrimiento por abiertos de X
es una familia:
{ A }I tal que A = X

Definicin 2.21 Dado ( X , ) espacio topolgico y en l un cubrimiento { A }I por

abiertos de X , un subcubrimiento es una subfamilia de la anterior { A } { A } que

tambin es cubrimiento por abiertos de X.

Ejemplo 2.37

Si X = ( 0,1)

1 ,1 : n es un cubrimiento de X

1 ,1 : n es un subcubrimiento del anterior.

2n
De ac hasta la penltima proposicin del captulo no va.
Definicin 2.22 Un espacio topolgico ( X , ) decimos que es de Lindelff si todo
cubrimiento por abiertos de X admite un subcubrimiento numerable.
- 65 -

Topologa General

Captulo 2

- 66 -

Ejemplo 2.38
Sea X no numerable con la topologa de complemento finito entonces X que
sabemos que no es N2 y si es de Lindelff.
Demostracin
Supongamos que tememos un cubrimiento { A } por abiertos de X.
Sea
A0 { A } , AC0 = { x1 ,..., xn } que es finito por ser A0 abierto

ahora para cada i = 1,..., n sea Ai tal que xi Ai existen por ser

A = X

y por el

axioma de eleccin elegimos uno cuando hay ms de uno.

Entonces { A0 , A1 ,..., A n } es un subcubrimiento finito ( luego numerable) que cubre
a todo X
n

X = Ai que es de Lindelff
i =0

Ejemplo 2.39
Sea ( X , ) un espacio topolgico con X numerable entonces cualquiera se en X es
de Lindelff.
Sea {U }I un cubrimiento por abiertos cualquiera:
X = U
I

para cada x X se tiene que :

x U x I tal que x U x siempre existe al meno uno, de existir ms
I

de uno elegimos uno cualquiera. De esta forma {U x }xX es una subfamilia que
adems cubre a X ya que:
Si x X x U x X

x X

y por otro lado los U x X

xX

luego:

X=

xX

y como X es numerable, entonces tiene un subcubrimiento numerable luego es de

Lindelff.
Proposicin 2.23 Sea ( X , ) es un espacio topolgico N2 entonces es de Lindelff.

Demostracin
- 66 -

Topologa General

Espacios Topolgicos

- 67 -

Sea { A }I un cubrimientos por abierto de X como ( X , ) es N2 existe una base

numerable { Bn }n de X Primero elegimos los abiertos de la base que estn

contenidos en algn abierto del cubrimiento. Y luego consideramos los abiertos
correspondientes del cubrimiento, este ser el subcubrimiento que buscamos.
Es decir que definimos el conjunto I n = { I : Bn A } y para cada I n
elegimos un elemento que denominamos n I n
Sea I = { n : n 1} claramente I es numerable adems I I por construccin
entonces si:
X = A n
n I

sera { A n } I un subcubrimiento de { A }I para ello tomemos un x X = A

n

0 I tal que x A0 pero como { Bn }n es una base A0 =

decir:
x A0 =

{nk }

{nk }

Bnk es

Bnk n0 {nk } tal que x Bn0 A0

lo que significa que I n0 n0 I n0 Bn0 A n x A n con n0 I

0

X =

n I

lo que implica que X es de Lindelff.

Observacin El recproco no es cierto, ver ejemplo 2.38 pero en espacios mtricos
si se cumple el recproco, como veremos en el siguiente enunciado
Proposicin 2.24 Dado ( E , d ) espacio mtrico las siguientes afirmaciones son
equivalentes:
1) E tiene una base numerable ( es N2 )
L
2) E es un espacio de Lindelff.
3) E es separable.
N2

Demostracin
S
1) 2) se cumple para todo espacio
topolgico como ya vimos en la proposicin
anterior
2) 3) Para cada m consideremos las bolas abiertas de radio
todo punto x E , como
E = B ( x, m1 )
xE

- 67 -

1
m

y centro en

Topologa General

Captulo 2

- 68 -

y el espacio es de Lindelff, entonces existe un subcubrimiento numerable de E es

decir que existen una cantidad numerable de estas bolas B ( x, 1 m ) , como todas son
de igual radio lo que son numerables son los centros de dichas bolas que llamaremos
para cada m; xnm con n ,entonces:

E = B ( xnm , m1 )
n

Sea el conjunto A = { x : m, n } claramente es numerable y demostraremos

m
n

adems que es denso en E y por lo tanto separable.

Dado > 0 existe m tal que m1 < para este m

E = B ( xnm , m1 )

entonces si x E x B ( x ,
d ( x, x

m
n0

)<

1
m

m 1
n m

) n

tal que x B ( xnm0 , m1 ) o sea:

< x B ( x, ) y entonces
m
n0

Para cada > 0 y x E existe un xnm A tal que xnm B ( x, )

es decir

> 0, x E A B ( x, )
y A es entonces denso en E.
3) 1) ya lo vimos en la proposicin 2.22
Observacin En general las implicancias que se cumplen son las del siguiente
diagrama
Y hemos visto ejemplos donde las flecha no se
cumplen en sentido contrario al representado en
L
el esquema. As L no implica N2 ejemplo 2.38 y S
no implica N2 ejemplo 2.36. Se trata del mismo
N2
espacio topolgico que siendo S y L no es N2.
Para ver que L no implica S o S no implica L
S
veremos los dos ejemplo siguientes:

Ejemplo 2.40
Sea ( X , ) un espacio topolgico donde X es no numerable y es la topologa donde
los abiertos son el vaco y los conjuntos de P ( X ) con complemento numerable.
Para cualquier cubrimiento por abiertos se tiene.
X = U con U I
I

tomemos uno cualquiera de estos abiertos U0 entonces como su complemento por

- 68 -

Topologa General

Espacios Topolgicos

- 69 -

definicin de la topologa tiene una cantidad de elementos numerable podemos

llamarles a estos xn con n , y se tiene:

UC0 = { x1 , x2 ,..., xn ,..}

y para cada xi con i
xi X xi U i I tal que xi Ui
I

y entonces

U
i =0

es un subcubrimiento de X claramente numerable por lo que X es

de Lindelff.
Pero no es separable ya que si A es un conjunto denso y numerable en X se tiene por
ser denso:
U U A
y en particular como A es numerable AC y se tiene:
AC A =
luego A no es denso.

Ejemplo 2.41
Veremos un caso en que s es separable pero no es de Lindelff.
Sea X = 2 con la topologa de los rectngulos semiabiertos es decir:
= {[ a, b ) [ c, d ) 2 : a, b, c, d }
Sea A = {( p, q ) 2 : p, q } es claro de

que es un conjunto numerable y denso en X.

Sean los abiertos que anotamos U ( a , a ) y

U (b , b ) definidos:

U ( a , a ) = {[ a, b ) [ a, d ) 2 : a, b, d }

U (b , b ) = {[ a, b ) [ c, b ) 2 : a, b, c } es
decir los rectngulos con vrtice (opuestos)
en la recta y = x como en la figura.
Claramente
X = U ( a , a ) U ( b , b )
a

Como el conjunto de puntos de la recta es discreto y no numerable no existe

entonces un subcubrimiento del anterior que sea numerable. Luego no es de
Lindelff.

- 69 -

Topologa General

Captulo 2

- 70 -

Definicin 2.23 Sea ( X , ) un espacio topolgico y x X , una familia B x de

entornos de x es una base local si dado N N x existe V B x tal que x V N

Ejemplo 2.42

B x = {U N x : U es abierto en X }
es una base local de x . ya que si:
U N x V tal que x V U
y V B x por definicin.

Ejemplo 2.43
Sea ( E , d ) espacio mtrico x E
B x = { B ( x, 1 n ) : n }
o
B x = {B ( x, an ) : n y an 0}
son bases de x

Ejemplo 2.44
Si B = {B }I es una base de la topologa en X y si x X entonces:
B x = { B B : x B }

es una base local.

Ya que dado N N x V tal que x V N por definicin de entorno pero
como V tenemos:
V = B y si x V
I

x I tal que x B x V N con B x B x es decir que dado un entorno N de x

existe un elemento B x B x tal que B x N definicin de base local.
Ejemplo 2.45
Sea la topologa discreta entonces

B x = { x}
es una base local ya que { x} es abierto en esta topologa y obviamente esta
contenido en cualquier entorno de x
Ejemplo 2.46
Sea ( , ) con = { A : 2n A 2n 1 A} { }
Entonces:
- 70 -

Topologa General

Espacios Topolgicos

- 71 -

B 2 n = {{2n, 2n 1}} = B 2 n 1
es una base local.
Definicin 2.24 Dado un ( X , ) espacio topolgico decimos que es N1 o que
verifica el primer axioma de numerabilidad si todo punto de X tiene una base de
entornos (base local ) numerable.
Proposicin 2.25 Un ( X , ) espacio topolgico que es N2 es entonces N1

Demostracin
Si B es una base numerable de la topologa entonces para cada x X sea:
B x = {B B : x B}
ya vimos que es una base local y como
B x B numerable B x es numerable
Ejemplo 2.47
Sea X no numerable y la topologa discreta entonces:
B x = {{ x}}
en ejemplo 2.45 vimos que es una base local y por ser un solo elemento es
numerable. Luego es N1 pero no es N2 ya que
Sea B una base de la topologa como { x} entonces { x} se puede escribir como
unin de elementos de B { x} B B no es numerable.
Este es un contraejemplo de que no vale la proposicin recproca de la 2.25
Ejemplo 2.48
Todo espacio mtrico es N1 ya que:
B x = {B ( x, 1n ) : n }
es una base local numerable.
Ejemplo 2.49
Sea ( , ) con = { A : 2n A 2n 1 A} { } entonces:
B 2 n = {{2n, 2n 1}}
es una base local ( con un solo elemento ) numerable luego es N1

Ejemplo 2.50
Sea ( X , ) con X numerable y de complemento finito ya vimos que:
PF ( X ) = { A X : A finito}
- 71 -

Topologa General

Captulo 2

- 72 -

es numerable y como podemos definir

: PF ( X ) \ { }
de la siguiente forma
( A ) = AC
como es biyectiva y PF ( X ) numerable \ { } es numerable o sea es
numerable, luego el propio es una base numerable y por lo tanto N2.
Ejemplo 2.51
Sea X no numerable con la topologa de complementos finitos ya vimos en el
ejemplo 2.35 que no es N2 ,veremos ahora que tampoco es N1
Supongamos que:
B x = {U n : x U n , n }
entonces
C

C
Un = Un
n
n
C
que como U n U n es finito Unin numerable de numerables es numerable
entonces:
C

C
U n { x}
n
no numerable
numerable

o sea

{ x} y x tal que y U n
n

es entonces { y} U n n U { y} lo que significa que U n { y} pero

C

C
n

C
{ y} por se abierto es entorno de todos sus puntos en particular como
C
C
C
x y x { y} { y} N x y U n { y} n U n no es base local de x en

X.
Ejemplo 2.52
Sea 1 = {( xn )n , reales o complejas tal que

x = xn
n =1

define una distancia

d ( x, y ) = x y

entonces ( 1 , d ) es un espacio mtrico.

Definimos el siguiente conjunto en 1

- 72 -

< } con la norma

Topologa General

Espacios Topolgicos

- 73 -

D = {( yn ) n : n0 tal que yn = 0n n0 }
Probaremos que D es denso para ello se tiene que cumplir
Que si > 0 y x 1 y D tal que d ( x, y ) < y esto se cumple porque

Si x 1 > 0 n0 tal que xi <

n0

si la serie converge se puede acotar la

cola de la serie (porque esta tiende a cero) entonces:

x si n < n0
Definimos y = { yn }n tal que yn = x
y D y adems
0 si n n0

n0

i =1

i =1

d ( x, y ) = xi yi = xi yi +

i = n0 +1

xi yi =
=0

i = n0 +1

xi <

=0

lo que significa que cualquier entorno de x tiene un elemento de D o sea que D es

denso
fabriquemos ahora dentro de D un denso numerable.
Sea E = {( zn )n D : zn n }

Llamemos Em = {( zn )n E : zn = 0 n m} entonces E puede verse como

E=

que por ser unin numerable de numerables es numerable.

Falta ver que es denso.
Dado un x 1 ya vimos que y D tal que d ( x, y ) <
2

Ahora sea z En0 +1 tal que zi yi <

i n0 entonces:
2n0

n0

n0

i =1

i =1

d ( y, z ) = zi yi = zi yi <
por otro lado
d ( x, z ) d ( x, y ) + d ( y , z ) <
luego

=
2
2n0

dado x 1 y > 0 z E tal que d ( x, z ) <

E = 1 E numerable 1 separable.

Ejemplo 2.53
Sea = {( xn ) n : reales o complejas, acotadas } con la norma del supremo
x = sup n { xn }

definimos la distancia
- 73 -

Topologa General

Captulo 2

- 74 -

d ( x, y ) = sup n { xn yn }

Consideremos A = {( xn ) n : xn = 0 o 1 n }

Sean x, y A con x y d ( x, y ) = 1 y solo es cero en el caso que sean iguales

entonces A es discreto luego el nico conjunto denso es el propio A que no es
numerable por ser de igual cardinal que P ( ) o ya que
Sea : A P ( ) definida tal que a ( A ) le asociamos el conjunto de ndices en
los que la sucesin correspondiente vale 1 dicho conjunto pertenece a las partes de
N Claramente dicha funcin es biyectiva por lo que los conjuntos tienen el mismo
cardinal.
Esta proposicin si va
Proposicin 2.26 Sea ( X , ) un espacio topolgico, x X tiene una base local
numerable entonces tiene una base local numerable decreciente.
Demostracin
Sea {U n }n una base local numerable de x
Tomamos
V1 = U1

V2 = U 2 V1
V3 = U 3 V2

Vn = U n Vn 1

Por construccin Vn Vn 1
Adems
Vi = U i Vi Vi es entorno de x i
entorno

entorno

Vn N x n y si N N x n0 tal que U n0 N y entonces como

Vn0 N N N x Vn tal que Vn N para algun n

O sea que {Vn }n es una base local.

- 74 -

Captulo 3
Convergencia y Continuidad
Definicin 3.1 Dado el espacio topolgico ( X , ) una sucesin es una funcin de
los naturales a X.
:
= ()

Notacin cuando nos referimos a la sucesin anotamos ( xn ) y al recorrido de la

sucesin { } para hacer referencia a un termino de la sucesin xn sin corchetes ni
parntesis.

Definicin 3.2 Una sucesin ( xn ) en un espacio topolgico ( X , ) converge a

x X si dado N N x n0 tal que n > n0
xn N
Ejemplo 3.1 Sea ( X , ) un espacio topolgico con la topologa indiscreta es decir
=
{ , X } toda sucesin en este espacio converge a cualquier punto.
Ejemplo 3.2 Sea ( X , ) un espacio topolgico con la topologa discreta, entonces
en este espacio convergen las sucesiones que son constantes a partir de un n0
Definicin 3.3 Dado en un espacio topolgico ( X , ) una sucesin ( xn ) X

llamamos a ( xnk ) subsucesin de la dada si { xnk } { xn } y la aplicacin de

que k nk tal que lim k + nk = +
Proposicin 3.1 Dado un espacio topolgico ( X , ) y una sucesin ( ) tal que
{ xn } X entonces xn x toda subsucesin converge a x.

Topologa General

Captulo 3

- 76 -

Demostracin
Es inmediata aplicando la definicin
Si ( xnk ) x Dado N N x por definicin n0 ( k ) tal que nk > n0 ( k )
cumple que

se

xnk N

Como lim k + nk = + dado un cierto n0 ( k ) > 0 k0 tal que k > k0 se cumple

nk > n0 ( k )
Dado N N x n0 =
n0 ( k0 ) tal que n > n0
xn N
Proposicin 3.2 Sea ( X , ) un espacio topolgico y A X , x X entonces si
existe una sucesin ( ), con { xn } A tal que xn converge a x x A
Demostracin Por definicin de convergencia ( xn ) x
Dado N N x n0 tal que n > n0
xn N N { xn }
y como
{ xn } A
entonces
N A x A

Proposicin 3.3 Sea ( X , ) un espacio topolgico y A X , x X con base local

numerable en x, entonces si x A existe una sucesin ( ), con { xn } A tal
que converge a x.
Demostracin Como x tiene una base local numerable entonces existe una base
local decreciente {Vn } de x.
Luego si x A n Vn A por definicin de clausura.
Entonces elegimos xn Vn A { xn } A y adems dado N N x n0 tal
que Vn0 N por ser {Vn } base local decreciente
Adems

n > n0 xn Vn Vn0 N

(xn ) converge a x .

- 76 -

Topologa General

Convergencia y Continuidad

- 77 -

Ejemplo 3.3 Sea R con la topologa de complementos numerables y sea

A = \ {0}
tenemos que A = ya que sea U con 0 U U N 0 por ser abierto U C es
numerable esto implica que U no puede ser solo el cero es decir U {0} luego
U A
lo que significa que A es denso
A =

Consideremos una sucesin ( xn ) tal que xn 0 n entonces como

C C

=
{ xn } es numerable { xn } N 0
{ xn }
C

Ya que { xn } es entorno de todos sus puntos

Luego

{ xn }C N 0 y { xn }C { xn } =
lo que significa que la sucesin no tiende a cero esto sucede por no ser este espacio
topolgico N1 y no poder aplicar la proposicin anterior.
C

Corolario 3.4 Sea ( X , ) un espacio topolgico 1 . Un conjunto A X es cerrado

si y solo s para roda sucesin ( ), con { xn } A que converge a x se tiene que
x A
Demostracin Es una consecuencia de las dos proposiciones anteriores y del hecho
de que A es cerrado si A = A .
Corolario 3.5 Sean y dos topologas N1 en X entonces si y solo s toda
sucesin que converge con la topologa implica que converge con la topologa .
Es decir:
( xn )
x ( xn )
x

Demostracin Si observemos que dado un entorno N N x por definicin

existe U tal que x U N y como U tal que x U N luego

tambin por definicin N N x , es decir que .

Entonces como ( xn )
x dado N N x N x n0 tal que n > n0 ,

entonces , luego xn
x

Recprocamente Tomemos A X cerrado con la topologa

- 77 -

Topologa General

Captulo 3

- 78 -

Queremos probar que A es cerrado con la topologa para lo cual tenemos que
probar que A = A (clausura de A segn ) una inclusin se cumple siempre
A A
Sea x A entonces por proposicin 3.3 existe una sucesin ( ) con { xn } A tal
que

x
x
( xn )
( xn )
x A

por hip.

prop. 3.2

y como A es cerrado en A =
A entonces x A luego A A y por lo tanto
A = A y A es -cerrado
Es decir que si U U C es -cerrado U C es -cerrado U luego

tiene ms abiertos que , entonces si una red converge con la topologa que tiene
ms abiertos (ms fina ) converge con la otra topologa (ms gruesa).
Observacin 3.1 Dos topologa 1 coinciden si toda vez que una sucesin
converge con una de las topologas tambin converge con la otra y viceversa. En
cierta forma la convergencia de las sucesiones caracterizan a la topologa siempre
que sta sea una topologa 1 .
Definicin 3.4 Sean X e Y espacios topolgicos, f : X Y , x X se dice que f es
continua en x si:
Dado W N f ( x ) N N x tal que

f (N) W
Decimos que f es continua si es continua en todo punto.
Observacin para el caso particular de espacios mtricos la definicin se puede
rescribir f : X Y , x X f es continua en x dado una bola B ( f ( x ) , ) implica
que existe una bola B ( x, ) tal que f ( B ( x, ) ) B ( f ( x ) , ) dicho de otra forma :
Si dado > 0 > 0 tal que si d ( x, y ) < entonces
d ( f ( x ) , f ( y )) <
Proposicin 3.6 Sean X e Y espacios topolgicos, f : X Y una funcin entonces
las siguientes afirmaciones son equivalentes:
1) f es continua
2) x X , W N f ( x ) se tiene que f 1 (W ) N x
- 78 -

Topologa General

Convergencia y Continuidad

- 79 -

3) A Y abierto f 1 ( A ) es abierto en X.
4) Para toda base B de la topologa de Y ; f 1 ( B ) es abierto B B
5) Para toda subbase S de la topologa de Y; f 1 ( C ) es abierto C S
6) Si F Y es cerrado, f 1 ( F ) es cerrado en X.
Demostracin
1) 2) por definicin de continuidad si W N f ( x ) , N N x tal que f ( N ) W
entonces como

N f 1 ( f ( N ) ) f 1 (W ) es decir que N f 1 (W ) y como

N N x f 1 (W ) N x .
2) 3) Si A es abierto implica que es entorno de todos sus puntos A N y y A
pero si y A Y x f 1 ( A ) X tal que y = f ( x ) luego A N f ( x ) por la
hiptesis que x f 1 ( A ) , f 1 ( A ) N x f 1 ( A ) es entorno de todos sus
puntos luego es abierto.
3) 4) 5) son obvios
5) 6) ahora si F Y es cerrado F C es abierto sea S una subbase de la
topologa de Y entonces

ndice que indica una

seleccin.

F C = S1 S 2 ... S n

abierto

entonces:
1

=
f 1 ( F C ) f=
S1 ... S n

f ( S ) ... f ( S )

es abierto por ser

abiertos

interseccin finita de abiertos es abierto

unin de abiertos luego como

=
f 1 ( F C ) f 1 ( F ) abierto f 1 ( F ) es cerrado
C

6) 1) Primero observemos que:

Si f 1 ( F ) es cerrado F Y para todo A Y abierto AC es cerrado

=
f 1 ( AC ) f 1 ( A ) es cerrado f 1 ( A ) es abierto
Sean x X , W N f ( x )

A Y abierto tal que

por def. de entorno

f ( x) A W
- 79 -

Topologa General

Captulo 3

- 80 -

como A es abierto f 1 ( A ) es abierto por la observacin de ms arriba

y f ( x ) A x f 1 ( A ) y por ser abierto es entorno de todos sus puntos llamemos
N a f 1 ( A ) N x y se tiene que:

f f 1 ( A ) A W f ( N ) W

N
Luego se cumple la definicin de continuidad.

Ejemplo 3.4
Sea X con la topologa discreta e Y un espacio topolgico cualquiera, toda funcin
f : X Y es continua ya que para cualquier A Y se tiene f 1 ( A ) lo podemos
escribir como la unin de sus elementos que son abiertos en X
=
f 1 ( A )
x} unin de abiertos es abierto .
{
x f 1 A
( ) abierto

Ejemplo 3.5 Sea Y con la topologa indiscreta entonces toda funcin f : X Y es

continua ya que: Y = { } Y que son los nicos abiertos de Y.

=
f 1 ( ) =
, f 1 (Y ) X que son abiertos en X
Ejemplo 3.6 Sea en X dos topologas y tal que ( es ms fina que ) y
sea la funcin Id : ( X , ) ( X , ) es continua ya que:

A Y tal que A entonces Id 1 ( A ) = A

luego es abierto en el dominio.
Ejemplo 3.7 Sea la funcin f : X Y continua , A X entonces:
f | A : A Y definida como f | A ( x ) =
f ( x)
(tambin suele anotarse en vez de f | A ( x ) como f A ( x ) )
es continua con la topologa relativa ya que:
Sea U abierto en=
Y f A1 (U ) f 1 (U ) A

abierto en X

por definicin que f

1
A

(U ) es abierto en A con la topologa relativa.

Ejemplo 3.8 Sea la funcin f : X Y continua y consideremos :

f : X f ( X ) definida f ( x ) =
f ( x)
tenemos que es continua con la topologa relativa en f ( X ) ya que:
Sea U abierto en f ( X ) entonces por definicin
- 80 -

Topologa General

Convergencia y Continuidad

- 81 -

U = V f ( X ) con V abierto en Y
f 1 (U ) = f 1 (V ) f 1 ( f ( X ) )
= f 1 (V ) X
= f 1 (V ) que es abierto en X
luego f es continua.
Ejemplo 3.9 Sean f,g dos funciones continuas
f : X Y
g f : X Y es continua
g :Y Z
Sea U abierto en Z entonces

=
g 1 (U ) abierto por f
( g f )1 (U ) f 1

abierto por g
Ejemplo 3.10 Sea X = A B con A y B cerrados en X si f : X Y es tal que sus
restricciones
=
f | A f=
f 2 son funciones continuas y tal que en los puntos de
1 , f |B
A B vale f1 = f 2 entonces f es continua.
Demostracin
f ( x ) si x A
f ( x) = 1
f 2 ( x ) si x B
la condicin f=
f 2 ( x ) x A B es para que f est bien definida.
1 ( x)
Entonces sea F X cerrado en X
f 1 ( F ) = f11 ( F ) f 21 ( F )

f1 : A Y es continua f11 ( F ) es cerrado en A y como A a su vez es cerrado en

X entonces f11 ( F ) es cerrado en X ; anlogamente con f 21 ( F ) es cerrado en X

luego f 1 ( F ) es cerrado o sea f es continua.
Proposicin 3.7 Sean X e Y espacios topolgicos, x X entonces f es continua en x
si para toda sucesin ( ) que converge a x se tiene que la sucesin ( f ( xn ))
converge a f ( x ) .
Demostracin si f es continua y xn x por definicin
Dado W N f ( x ) f 1 (W ) N x y en consecuencia n0 tal que

xn f 1 (W ) n > n0
- 81 -

Topologa General
entonces si n n0

Captulo 3

- 82 -

f ( xn ) f ( f 1 (W ) ) W

f (Td ) W
y por lo tanto ( f ( xn )) converge a f ( x ) .
Proposicin 3.8 Sean X e Y espacios topolgicos 1, f : X Y las siguientes
afirmaciones son equivalentes:
1) f es continua.
2) Para todo A X se cumple f ( A ) f ( A )
3) para todo B Y se cumple f 1 ( B ) f 1 ( B )
4) para todo B Y se cumple f 1 ( B ) ( f 1 ( B ) )

Demostracin
1) 2) Sea x A ( f ( x ) f ( A ) ) por proposicin 3.3 ( xn ) sucesin con

{ xn } A tal que (xn ) x y adems { f ( xn )} f ( A) y f es continua, entonces

por proposicin anterior ( f ( xn )) f ( x ) y por la proposicin 3.2
f ( x ) f ( A ) o sea f ( A ) f ( A ) .
2) 3) como B Y f 1 ( B ) X y aplicamos lo anterior
f ( f 1 ( B ) ) f ( f 1 ( B ) ) B

Luego

( (

))

f 1 f f 1 ( B ) f 1 ( B )

f 1 ( B ) f 1 f f 1 ( B ) f 1 ( B )

es decir

f 1 ( B ) f 1 ( B )

3) 4) usando el lema 2.13 b)

- 82 -

Topologa General

Convergencia y Continuidad

- 83 -

C
C
1
1
=
( B )
( B )
=
f 1 ( B ) f=
f

( )

C
= f 1 B C f 1 ( B C ) = ( f 1 ( B C ) ) =

C
= =
f 1 ( B C )

( f ( B ))
1

4) 1) Sea B abierto en Y entonces como B = B aplicando lo anterior

f 1 ( B ) =f 1 ( B ) ( f 1 ( B ) ) f 1 ( B )

luego=
f 1 ( B )

( f ( B ))
1

f 1 ( B ) es abierto y por lo tanto f es continua.

Definicin 3.4 Sean E y F espacios mtricos, f : E F es uniformemente

continua si dado > 0 > 0 tal que si x, y E , d ( x, y ) <
d ( f ( x ) , f ( y )) <
El concepto de continuidad es un concepto local (para un punto) mientras que el
concepto de continuidad uniforme es un concepto global.( no depende del punto).
De la definicin se desprende que continuidad uniforme implica continuidad.
Definicin 3.5 Sean E , F espacios mtricos f : E F es una inmersin
isomtrica si:
=
d ( x, y ) d ( f ( x ) , f ( y ) ) x, y E
Proposicin 3.9 Si f es un inmersin isomtrica se cumplen las siguientes
propiedades:
1) f es inyectiva
2) f es uniformemente continua
3) la composicin de inmersiones isomtricas es tambin una inmersin isomtrica.
Demostracin
x ) f ( y ) =
0 d ( f ( x ) , f ( y=
x y porque estamos en un
1) si f ( =
) ) d ( x, y ) =
espacio mtrico.
2) Dado =
> 0, tomando entonces si d ( x, y ) <

d ( f ( x ) , f (=
y ) ) d ( x, y ) =
<
3) es inmediato por definicin.

- 83 -

Topologa General

Captulo 3

- 84 -

Definicin 3.6 Una isometra es una inmersin isomtrica sobreyectiva.

Definicin 3.7 Dos espacios mtricos E,F son isomtricos si existe
i : E F isometra
Observacin
La inversa de una isometra y la composicin de isometras son isometras.
La isometra se comporta como una relacin de equivalencia.
Definicin 3.8 Sea ( E , d ) un espacio mtrico, A E , A
Si x E la distancia de x a A es por definicin:
=
d ( x, A ) inf {d ( x, a ) : a A}
como consecuencia de lo anterior definicin :
=
A {=
x : d ( x, A ) 0}
Demostracin
Si d ( x, A ) = 0 ( xn ) con { xn } A tal que
1
d ( xn , x ) <
B ( x, 1n ) A x A
n
Definicin 3.9 Definimos un funcin llamada funcin distancia d A : E tal que
d A ( x ) = d ( x, A )
Proposicin 3.10 La funcin distancia es uniformemente continua.
Demostracin
Dado > 0 si d ( x, y ) <

, a A

d ( y , a ) d ( x, a ) + d ( x, y )
d ( x, a ) d ( y , a ) + d ( x, y )

d ( x, a ) d ( x, y ) d ( y , a ) d ( x, a ) + d ( x, y )
Si tomamos la primer desigualdad
d ( x, a ) d ( x, y ) d ( y , a )
d ( x, a ) d ( y, a ) + d ( x, y ) como
=
d A inf {d ( x, a ) : a A}
entonces
d A ( x ) d ( x, a ) a A
y

- 84 -

Topologa General

Convergencia y Continuidad

- 85 -

d A ( x ) d ( x, a ) d ( y, a ) + d ( x, y ) a A
d A ( x ) d ( y, a ) + d ( x, y ) a A
si la desigualdad se cumple siempre tambin se cumple con el nfimo

d A ( x ) d A ( y ) + d ( x, y ) d A ( y ) +
2
tomando la segunda desigualdad
d ( y , a ) d ( x, a ) + d ( x, y )
=
d A ( y ) inf {d ( y, a ) : a A}
luego
d A ( y ) d ( y, a ) d ( x, a ) + d ( x, y ) a A
pasando al nfimo

d A ( y ) d A ( x ) + d ( x, y ) d A ( x ) +
2
es decir:

d A ( x ) d A ( y ) +
2 d x d y < <
( )

A( )

2
dA ( y) dA ( x) +
2

Dado
=
> 0
tal que si d ( x, y ) < d A ( x ) d A ( y ) < d A ( x )
2
uniformemente continua.

es

Definicin 3.10 Si X , Y son espacios topolgico f : X Y es un homeomorfismo

si f es tal que:
i) f es continua.
ii) f es biyectiva
iii) f 1 es continua.
Definicin 3.11 Se dice que los espacios topolgicos X,Y son homeomorfos si
existen f : X Y homeomorfismo.
Ejemplo 3.11 Sean X,Y espacios topolgicos discretos entonces f : X Y es
continua por ser X discreto entonces f 1 es continua por ser Y discreto, entonces
tienen el mismo cardinal si y solo s son homeomorfos.
Ejemplo 3.12 X e Y indiscretos son homeomorfos si y solo s tienen el mismo
cardinal.
- 85 -

Topologa General

Captulo 3

- 86 -

Definicin 3.12 Sean X,Y espacios topolgicos f : X Y se dice que f es abierta si

f ( A ) es abierto para todo A X es abierto.
Y se dice que f es cerrada si f ( F ) es cerrado para todo F X cerrado.
Proposicin 3.11 Sean X,Y espacios topolgicos f : X Y biyectiva entonces las
siguientes afirmaciones son equivalentes:
1) f es un homeomorfismo
2) f es continua y abierta
3) f es continua y cerrada.
Demostracin
1) 2) como f 1 es continua solo para que la notacin quede ms amigable
llamemos a f 1 = g si A X es abierto entonces
( g 1 ( A) ) es abierto = f ( A)
2) 3) si F es cerrado implica F C es abierto y por hiptesis

( f ( F ))

f ( F C ) es abierto

es cerrado =
f (F )

3) 1) Si F X es cerrado llamemos g = f 1 entonces

f ( F ) es cerrado = g 1 ( F )

luego g = f 1 es continua y por lo tanto un homeomorfismo.

Definicin 3.13 Sean E y F espacios mtricos consideremos el conjunto
B(E
=
, F ) { f : E F : acotada}
f acotada: f ( E ) F es acotada como conjunto es decir:
=
diamf ( E ) sup {d ( f ( x ) , f ( y ) ) : x, y E} <
a su vez podemos definir una distancia en B ( E , F ) de la siguiente forma:
=
d ( f , g ) sup {d ( f ( x ) , g ( x ) ) : x, y E}
en el conjunto B ( E , F ) el supremo es finito.
Sea e E x E
d ( f ( x ) , g ( x )) d ( f ( x ) , f (e)) + d ( f (e) , g (e)) + d ( g (e) , g ( x ))

diamf ( E )

diamf ( E )

entonces

d ( f ( x ) , g ( x ) ) diamf ( E ) + d ( f ( e ) , g ( e ) ) + diamf ( E )


acotado

acotado

acotado

luego el supremo de d ( f ( x ) , g ( x ) ) es finito por estar la distancia acotada.

- 86 -

Topologa General

Convergencia y Continuidad

- 87 -

Definicin 3.14 El conjunto de funciones acotadas B ( E , F ) con la distancia del

supremo define un espacio mtrico llamado espacio de convergencia uniforme.
Definicin 3.15 Una sucesin ( f n ) de funciones se dice que converge
uniformemente a f si para cada > 0 n0 tal que n > n0 y x E se
cumple:
d ( fn ( x ) , f ( x )) <
u
f
Anotamos f n f o f n
El nombre de dicho espacio mtrico est justificado por la siguiente proposicin

Proposicin 3.15 Una sucesin ( f n ) con { f n } B ( E , F ) que converge a f en

( B ( E , F ) , d ) si y solo si ( f n ) converge uniformemente a f.
Demostracin
Si (f n ) f dado >0 existe n0 tal que n > n0
d

d ( fn , f ) <

es decir que

x E d ( f n ( x ) , f ( x ) ) sup {d ( f n ( x ) , f ( x ) ) : x E} <
luego ( f n ) f
Si n0 tal que n n0 se cumple:

x E
d ( fn ( x ) , f ( x )) <
2
tomando supremo

=
d ( f n , f ) sup {d ( f n ( x ) , f ( x ) ) : x E} <
2
luego ( f n ) f converge uniformemente.
d

Proposicin 3.16 Sea el conjunto Cb ( E

=
, F ) { f : E F : continuas y acotadas }
entonces Cb ( E , F ) es cerrado en ( B ( E , F ) , d ) .
Demostracin Sea f Cb ( E , F ) ( f n ) con { f n } Cb ( E , F ) tal que
fn f
hay que probar que f es acotada y continua para probar que f Cb ( E , F )
por definicin de convergencia dado x E , > 0 sea n0 tal que n > n0
- 87 -

Topologa General

Captulo 3

d ( fn , f ) <

- 88 -

3
Y como f n0 +1 es continua sabemos que existe > 0 tal que si d ( x, y ) < entonces
d ( f n0 +1 ( x ) , f n0 +1 ( y ) ) <

y entonces x, y E
d ( f ( x ) , f ( y ) ) d ( f ( x ) , f n0 +1 ( x ) ) + d ( f n0 +1 ( x ) , f n0 +1 ( y ) ) + d ( f n0 +1 ( y ) , f ( y ) )

d ( f , f n0 +1 ) + + d ( f n0 +1 , f ) <
3
<

<

luego f es continua
anlogamente como f n0 +1 es acotada esto significa que x, y E existe M positivo
tal que

d ( f n0 +1 ( x ) , f n0 +1 ( y ) ) < M

entonces x, y E
d ( f ( x ) , f ( y ) ) d ( f ( x ) , f n0 +1 ( x ) ) + d ( f n0 +1 ( x ) , f n0 +1 ( y ) ) + d ( f n0 +1 ( y ) , f ( y ) )

d ( f , f n0 +1 ) + M + d ( f n0 +1 , f ) < 2 + M

3
<

<

luego f est acotada y entonces f Cb ( E , F ) .

- 88 -

Captulo 4
Conjunto de Cantor
Estudiaremos en este captulo un ejemplo de subespacios de la recta ms
importantes e interesantes en Topologa definido por Cantor en 1883, y que ha
aparecido desde entonces en multitud de ejemplos y teoremas topolgicos.
Consideremos el conjunto cuya construccin es la siguiente, partimos el intervalo
[0,1] en tres tercios, y extraemos el tercio central, luego repetimos el proceso para
estos tercios y as sucesivamente, el lmite de esta construccin es el conjunto de
Cantor. Para entender ms esto vamos primero a introducir un poco de notacin.
2 b a
b a
Si I a, b I a,
a
, b , si I I k I I k

3
3

k
k

1
2
Introducida la notacin comencemos, sea A0 0,1; A1 A0 0, 3 3 ,1

A2 A1 0, 19

92 , 13 23 , 97 98 ,1

en general An An1 entonces el conjunto de Cantor es:

An
n 0

A1 es unin de 2 intervalos
A2 es la unin de 4 intervalos
An es la unin de 2n intervalos disjuntos.
An

2n
k 1

ank , bnk

bnk ank
n

1
3n

1
2
o sea la medida de An es 2 . n .
3 3
Ahora veremos algunas de las propiedades ms importantes del conjunto de Cantor
n

Topologa General

Captulo 4

- 96 -

Proposicin 4.1El conjunto de Cantor C es cerrado.

Demostracin An para todo n es unin finita de cerrados luego es cerrado y como C
es interseccin de cerrados es cerrado.
Proposicin 4.2 C no contiene ningn intervalo abierto es decir que

C
Demostracin Supongamos por el absurdo que s tenemos un abierto c, d C lo
que implica c, d An n y como An es unin de intervalos disjuntos lo que
significa que tiene que estar en uno de ellos
c, d ank , bnk para algn k
por lo tanto

0 d c

1
n d c 0
3n
0

Proposicin 4.3 Los extremos de las intervalos cerrados disjuntos dos a dos que
definen An se escriben como

a 3
n

k
n

xi

i 1

: xi 0, 2

Demostracin Lo demostraremos por induccin completa.

Primero que nada observemos que a10 0

a 0,
a 0, ,

En A1

A2
Etc...

k
1

2
3

k
2

2
9

a 3
n

H)

T)

k
n

i 1

xi
i

2
3

,
2
3

2
9

A0

A1

A2

: xi 0, 2

1
3n+1

n1 xi
k
a

n1 3i : xi 0, 2
i 1

anj 1

anj
ank1
2
3n+1

- 96 -

Topologa General

Conjunto de Cantor

- 97 -

Demostracin

anj para algn j

ank1 j 2
a
para algn j

n 3n1
n

xi

i
i 1 3

xn 1 0

xn 1 2

i 1

n 1

xi

3
i 1

xi
i

2
3

n 1

xi 0, 2

: xi 0, 2

por lo tanto
n 1

xi

i 1

a 3
k
n 1

: xi 0, 2

Proposicin 4.4 Si m n y amj , bmj ank , bnk entonces:

amj , bmj ank , bnk
Demostracin
m

n
yi
xi
k
a

con xi , yi 0, 2

n
i
i
i 1 3
i 1 3
Vamos a analizar tres casos
Caso a)
Sea xi yi i 1,..., n en este caso tenemos:
m
n
m
y
x
y
amj ank ii ii ii 0
i 1 3
i 1 3
n 1 3
lo que significa amj ank

Sean amj

ank

amj

ms precisamente

- 97 -

Topologa General

Captulo 4

- 98 -

m
yi
1
a a i 2 i
i n 1 3
n 1 3
j
m

k
n

1 1 m 1 1 n
1
1
3
3
3

3
m 1 n 1

2 i i 2

1 1

1 1
i 1 3 i 1 3
3
3

m
1 n
1

m
n
1 1
1
1
3
3

1 1
2

2
3
3
2

1
1

3 3

es decir

1 1

3n 3m
1
1
amj m ank n
3
3
amj ank

bmj

ank

amj

bmj

bnk

bnk

bmj bnk
por lo tanto

amj , bmj ank , bnk

Caso b)
Sea xl yl , yi xi i l n
Entonces yl xl 2
Analicemos primero i) yl xl 2
0

2
l 1

amj ank
i 1

yi xi 2 n yi xi m yi
l
i
3i
3 l 1 3i
n 1 3

2
1 2
1

l
i
l
i
3
3
l 1 3
l 1 3

l 1

2
2 3
l
3
1 1

Luego
- 98 -

2 1 1 1

3l 3l 3l 3n

Topologa General

Conjunto de Cantor

amj ank

1
3n

amj ank

ank

bnk

- 99 -

1
bnk
n
3

bmj no hay interseccin

amj

ii) yl xl 2
2

amj ank

m
yi xi
yi 2
2
1

i
l
i
3l l 1 3i
3
3
3
n 1
l 1
n

2
1 2
l 2 i l 2
3
3
l 1 3

13
2

l 1

2 1 1 1

3l 3l 3l 3m

luego

amj ank
amj

1
3m

1
ank
m
3

amj

bmj

ank

bnk

bmj

bmj ank
absurdo porque en esta situacin no hay interseccin.
Entonces solo es posible el primer caso en que ya vimos que.
amj , bmj ank , bnk
Proposicin 4.5 Si C es el conjunto de Cantor entonces:
xi

C i : xi 0, 2
i 1 3

xi
con xi 0, 2
i
i 1 3
Por construccin Si m n Am An
Demostracin Sea y

- 99 -

Topologa General

Captulo 4

- 100 -

Y como

m
xi
xi

An m n y por lo tanto su lmite pertenece a la

m
i
i
3
3
i 1
i 1

clausura.
Pero An An por ser cerrados
Entonces
m

y limm
i 1

xi
An n y An C
3i
n

Recprocamente: en primer lugar:

si t C
An implica que para cada n k n, t tal que t ank n,t , bnk n,t
n

ank n,t t

1
0
3n

Luego

ank n,t t
En segundo lugar
Como m n t amk m,t , bmk m,t

ank n,t , bnk n,t implica por proposicin 4.4 que:

amk m,t , bmk m,t ank n,t , bnk n,t

es decir que:

ank n,t amk m,t t

siendo
n

ank n,t
i 1

xi
3i

y amk m,t
i 1

yi
pero ya vimos que xi yi i 1,..., n si m n
3i

entonces
k n ,t
n

k m ,t
m

y a

son reducidas de la serie

xi

3
i 1

entonces como existe el lmite de

las reducidas ( por ser montonas crecientes y acotadas superiormente )

x
t limn ank n,t ii
i 1 3
Proposicin 4.6 Todos los puntos del conjunto C de Cantor son de acumulacin
Demostracin
Si t C

t
i 1

xi
con xi 0, 2
3i

- 100 -

Topologa General

Conjunto de Cantor

- 101 -

Si no existe n0 a partir del cual todos los trminos de la serie son ceros entonces las
sumas parciales de la serie ( puntos del conjunto de Cantor ) son distintas a t y
siempre hay una a distancia menor que un cierto 0 arbitrario.
Supongamos que n0 tal que xi 0 i n0
Entonces
n0
x
t ii y sea t C tal que
i 1 3
n
xi
0 2
t i i i
i 1 3
n0 1 3
n 1 3
Claramente t pertenece a C por proposicin anterior.
Entonces:
n 1
1

2
2
1
1
3
t t i t
t n t t n
2
3
3
n 1 3
3
2
1
2
Sea tal que n t t n n esto significa:
3
3
3
t C B t , \ t t es de acumulacin
n0

Proposicin 4.7 Existe una funcin f : C 0,1 sobre y uniformemente continua

Definida como:
x xi
f ii 2i con xi 0, 2
i 1 3 i 1 2
Demostracin
x y
x
Si xi 0, 2 yi i 0,1 y podemos escribir f ii ii con
2
i 1 3 i 1 2
yi 0,1
f es sobreyectiva ya que en primer lugar si yi 0 i f 0 y si yi 1 i

1
implica f i 1
i 1 2
en segundo lugar

yi
con yi 0,1 es un nmero en base dos entre cero y uno.

i
i 1 2

- 101 -

Topologa General

Captulo 4

- 102 -

1
tomamos dos elementos del conjunto de
2n0

x
y
1
Cantor a distancia menor que n0 Sean ii , ii xi yi i n0 en este
3
i 1 3
i 1 3
caso:
xi yi 1 xi yi
d f i , f i

i
i 1 3 i 1 3 2 n0 1 2
Ahora dado 0 Sea n0 tal que

1 xi yi
1
1
1

2 i n0
i
2 n0 1 2
2 n0 1 2 2
1
entonces si t , s C y d t , s n0 entonces:
3
d f t , f s
por lo que f es uniformemente continua.
Como corolario podemos afirmar que el conjunto de Cantor es no numerable.

- 102 -

Captulo 5
Topologa Producto
Veamos primero la definicin de topologa producto para el cado finito.
Definicin 5.1 Sea X i , i : i 1,..., n una familia finita de espacios topolgicos.
Entonces la familia de subconjuntos del producto cartesiano X1 X 2 ... X n
B U1 U 2 ... U n : Ui i i 1,..., n
Como X1 X 2 ... X n se puede expresar como unin de elementos de B ,basta con
tomar los U i X i que son elementos de i , y como este conjunto es cerrado por
intersecciones finitas Por tanto segn corolario 2.18 existe una nica topologa sobre
dicho conjunto respecto de la cual B es una base. La llamaremos topologa producto
y al espacio resultante producto topolgico.
Observacin Para referirnos a un elemento del espacio producto podemos adoptar
las siguientes anotaciones:
n
n

f
:
1,...,
n

X i : f i X i i 1,..., n

i 1
i 1
tambin suele usarse la siguiente notacin
n
n

x
:
1,...,
n

X i : xi X i i 1,..., n

i 1
i 1
poniendo xi en vez de x i .
n

Definicin 5.2 Dado el producto cartesiano

X
i 1

definimos las funciones

pi : X i X i como
i 1

pi f f i

pi x xi
que llamamos proyeccin cannica asociada al ndice i

Topologa General

Captulo 5

- 104 -

Proposicin 5.1 Las funciones proyecciones son continuas.

Demostracin Para probar el enunciado tenemos que probar que la imagen inversa
de un abierto es abierto.
Sea U i abierto en X i
n

p U i x X i : pi x xi U i con U i i

i 1
1
i

lo que significa:

pi1 Ui X1 ... X i 1 Ui X i 1 ... X n

y por lo tanto

pi1 Ui es abierto en el producto

por lo que las proyecciones son continuas para todo i

Topologa Producto

Caso infinito

Definicin 5.3 Sea X , : I una familia indexada de espacios topolgicos

se define el producto cartesiano de espacios topolgicos a:

X f : I X : f X

I
I
El axioma de eleccin nos dice que este conjunto producto es no vaco si y solo s
cada factor X no lo es. A los elementos del espacio producto en ocasiones los
anotaremos por x en lugar de f y en este caso x lo anotamos por x con esta
notacin

X x : I X : x X

I
I
Definicin 5.4 Sea X , : I una familia de espacios topolgicos indexada
definimos topologa producto como la menor (la menos fina) topologa que hace
continua a las proyecciones
p : X X
I

para todo I .As que definimos como topologa producto como a la generada por
la subbase
S p1 U : U abierto ,U X I
los abiertos de la base son entonces de la forma.
- 104 -

Topologa General

Topologa Producto

p11 U1

p21 U2 ...

- 105 -

pn1 Un

con n finito tambin podemos escribir a los mismos como

X U1 ... Un
I

1 ,..., n

Esto es, un abierto B de la base es un producto donde todos los espacios

coordenados son los X salvo para un nmero finito de ndices i con i 1,..., n
donde tenemos abiertos propios de cada uno de los espacios indexados. Finalmente
un abierto de la topologa producto ser todo lo que podamos expresar cono unin
de estos elementos B de la base que anotamos por B. Suele llamarse a esta topologa,
topologa producto de Tychonoff pues fue A. Tychonoff quin en el ao 1929
defini esta topologa y prob sus ms importantes propiedades.
Observacin 5.1 Realmente esta topologa es la menos fina de las que hacen
continua todas las proyecciones.
Demostracin Supongamos que tenemos otra topologa que llamamos que tambin
hace continuas todas las proyecciones.
Como

B p1 U : con U abierto, U X y F I finito

F

es la base de la topologa producto .

Entonces si U B U p11 U1 ... pn1 Un y como cada pi1 Ui es
abierto en porque esta topologa hace continua las proyecciones entonces la
interseccin finita de abiertos es abierto en y U .
Todo elemento de la base de esta en entonces si A es abierto con la topologa
como A A con A B y cada A es abierto segn , la unin de abiertos

es abierto A

A es abierto segn o sea tiene ms abiertos que

la topologa producto.
Observacin 5.2 Si tomamos como base de una topologa aquellos conjuntos que
sean producto arbitrario de abiertos, esto es si llamamos B a un elemento de la base:
B U con U abierto en X , I
I

obtenemos la llamada topologa caja introducida por H. Tietze en 1923

histricamente anterior a la introducida por Tychonoff la cual posea ms abiertos
que nuestra topologa producto y por tanto la contiene.

- 105 -

Topologa General

Captulo 5

- 106 -

Como las proyecciones son continuas con la topologa producto entonces son
continuas con la topologa cajas. Ya que:
f : X Y

f continua

1
2
1
1
2
X X
sea U abierto en Y f U X X
2
segn X
1
f continua segn X
A menos que especifiquemos lo contrario, cuando hablemos del espacio producto,
entenderemos que la topologa involucrada es la topologa producto de Tychonoff. Y
la hemos preferido ya que la topologa caja tiene ciertos defectos como.
Tiene muchos abiertos si lo que queremos es hacer las proyecciones continuas,
es claro que cuanto ms abiertos tengamos en el dominio de una funcin ms
fcil es de que sea continua.
No siempre el producto de espacios compactos es compacto
No siempre el producto de espacios conexos es conexo.
La continuidad de una funcin que llega a un espacio producto no puede ser
caracterizada en trminos de la continuidad de las funciones coordenadas.( ver
ejemplo 5.1)
An en el caso de productos enumerables no se garantiza que el producto de
espacios N1 sea N1
Proposicin 5.2 En el espacio producto con la topologa producto las proyecciones
son funciones continuas y abiertas.
p : X X son continuas y abiertas
I

Demostracin Que son continuas porque la topologa producto se defini con dicho
propsito.
Para probar que es abierta alcanza con probar que p B es abierto para todo
abierto B de la base B .
Tomemos un abierto B de la base 1 ,..., n I y abiertos Ui X i i 1,..., n
tales que

B p11 U1 ...
U1 ... U n

pn1 U n

1 ,..., n

entonces

p B Ui si i
para i 1,..., n
p B X si i

- 106 -

Topologa General

Topologa Producto

- 107 -

en ambos casos la imagen es un abierto. Es decir que la imagen de abiertos de la

base es un abierto.
Esta proposicin no va
Proposicin 5.3 Dada una red Td X converge a x si y solo s
I

p Td p x I
Demostracin Si la red converge Td x como las proyecciones son continuas
entonces
p Td p x I

Si p Td p x I
Como si V N x existe A abierto tal que x A V y A es abierto implica que es
unin de elementos de la base
A B donde B son abiertos de la base

entonces si x A x

B 0 tal que x B0 es decir que

x B0 A V
entonces basta con probar que dado un abierto B de la base que contenga a x existe
d0 D tal que
Td B d d0
as
Td B B A V

Luego sea B un abierto de la base que contiene a x

n
i 1

pi1 Ui donde Ui son abiertos en X i i 1,..., n

por hiptesis si x B x pi1 Ui pi x Ui i 1,..., n y por hiptesis

di D tal que Td Ui d di con i 1,..., n sea:

d0 max d1 ,..., dn que existe porque cada dos di d j se puede obtener una mayor
que esos dos, repetimos este razonamiento con este ltimo y otro d cualquiera y as
tenemos uno mayor que todos .
d d0 d di pi Td Ui i 1,..., n
o sea

Td pi1 Ui i 1,..., n
- 107 -

Topologa General

Captulo 5

y por lo tanto

- 108 -

Td B d d0

Observacin 5.3 Sea X un conjunto e Y un espacio topolgico. Anotamos

Y X Y f : X Y
xX

entonces una red f d converge a f f d x converge a f x x X o sea, la

convergencia en la topologa producto es la convergencia puntual. El espacio
producto tambin nos da otra forma de ver las sucesiones, estas son elementos del
espacio X .
Proposicin 5.4 Sean Y , X I espacios topolgicos una funcin

f : Y X
I

es continua si y solo s

p f : Y X es continua I
I

Demostracin
Como p es continua p f es continua si f
es continua
Y
Si p f son continuas I sea x Y y
sea Td la red que converge a x entonces
p
p f Td p f x en X
es decir:
p f Td p f x I
por proposicin anterior
f Td f x en X

p
X

y por proposicin 3.10 f es continua.

Ejemplo 5.1 Consideremos

infinitas veces. Es decir

, el producto numerable de R consigo mismo

X n con X n

Sea R con la topologa usual y definimos f : mediante la ecuacin:

f x x, x,...., x,...

- 108 -

Topologa General

Topologa Producto

- 109 -

la n-sima funcin coordenada de f es la funcin pn f x x cada una de las

funciones coordenadas pn f : es continua; as pues, la funcin f es continua
si est dotado con la topologa producto por la proposicin anterior. Pero f no es
continua si est dotado con la topologa por cajas. Consideremos, por ejemplo,
el elemento bsico
1 1
1 1
B 1,1 , , ......
2 2 3 3
para la topologa por cajas. Afirmamos que f 1 B no es abierto en R. Ya que
primero que nada como el 0 B y f 1 0 0 0 f 1 B entonces si f 1 B es
abierto en R es entorno de todos sus puntos en particular del cero entonces tendra
algn abierto , f 1 B . Esto significa que f , f f 1 B B ,
por lo que aplicando pn a ambos lado de la inclusin,
1 1
pn f , , n
n n
,

lo que implica que 0 , 0 que no es abierto en R con la topologa

usual.
Proposicin 5.5 Dados X , I espacios topolgicos tenemos entonces que
son Hausdff para todo I si y solo s

es de Hausdff.

Demostracin

X sean de Hausdff I tomamos

x, y X con x y
I

entonces 0 I tal que x 0 y 0 y como X 0 es de Hausdff implica que

existen U ,V abiertos en X 0 tales que x 0 U , y 0 V con U

p01 U , p01 V son abiertos de la subbase de

V y como

X y adems son disjunto ya que

de no serlo el elemento en comn tendra que proyectarse sobre X 0 en la intersecin

de U y V que es vaca.
x p01 U
Tenemos que
y p01 V

abiertos y disjuntos que el producto es de Hausdff

Si X es de Hausdff tomemos un X 0 cualquiera y en l sean x0 , y0 X 0

I

con x0 y0 y sean x, y X tales que x y 0 y :

I

- 109 -

Topologa General

Captulo 5

- 110 -

x 0 x0
y 0 y0
Entonces como x y implica que existen abiertos de la base U, V disjuntos tales
que x U e y V lo que significa a su vez que:
existen 1,..., n I tales que Ui abierto de Xi i 1,..., n y 1 ,..., m I tal que

Vi abierto de X i i 1,..., m tales que:

n

i 1

pi1 Ui U1 ... U n

m
i 1

pi Vi V1 ... Vm
1

1 ,..., n

1 ,..., m

U0 x0 V0 y0

como:

x U

X 0

pi x Ui i 1,..., n
pi y si i 0
pi x si i 0

y U i con i 1,..., n tal que

pi y Ui

es decir que uno de los i 0 (podemos suponer que adems es nico ya que de
haber ms de uno tomamos la interseccin de ellos )
Anlogamente j tal que j 0 nico.
Entonces proyectando U,V sobre X 0
x0

p0 U1 ... U n X U0
1 ,..., n

p0 V1 ... V m X V0
1 ,..., m

ya que como U

V U0

abiertos disjuntos en X 0

y0

V0 luego conseguimos dos abiertos disjunto

que separan a x 0 e y 0 en X 0 es de Hausdff .

Proposicin 5.6 Sean E1 , d1 ,..., En , dn espacios mtricos y :

d x1 ,..., xn , y1 ,..., yn max di xi , yi : i 1,..., n
la topologa inducida por d es la topologa producto.

- 110 -

Topologa General

Topologa Producto

- 111 -

Demostracin Sea Td una red en E1 E2 ... En tal que:

d
Td
x Entonces dado 0 d0 D tal que :

pi Td

Td Td 1 ,..., Td n

y
max di Td i , xi d d 0

x x1 ,..., xn

lo que implica pi Td Td i
xi i ya que:
di

Si el mximo de los di Td i , xi es que son todos menores que

Sea
di Td i , xi

pi Td Td i
xi i
di
y como la convergencia coordenada a coordenada implica en la topologa producto
que Td x con la topologa producto y recprocamente todas las implicaciones son
recprocas.
Esta proposicin no va
Proposicin 5.7 Sea En n una familia numerable de espacios mtricos entonces:

es metrizable

Demostracin Recordar que si E , d es un espacio mtrico decimos que es acotado

si:
k 0 tal que d x, y k x, y E
Si no esta acotado sea:
d0 x, y min 1, d x, y
es una distancia en E y adems esta acotada probaremos que induce la misma
topologa que d.
O sea d0 , d inducen la misma topologa porque:
x d x, xn 0 d0 x, xn 0 xn
x
Si xn
d
d0

Entonces se puede suponer que los espacios mtricos En , d n estn acotados para
todo n si no es as cambiamos por En , d0 y no cambia la topologa entonces:
dn x, y 1 n
Se define

d : En En
x x i y y i :

- 111 -

Topologa General

Captulo 5

d x, y
1

- 112 -

di x i , y i
2i

es fcil ver que es una distancia y adems

1
1
i
1 2
d induce la topologa producto en En como:
d x, y
n

Te
x Te i
x i
top. prod.
di
entonces tenemos que probar que:
Te
x Te i
x i
d
di

Dado 0 sea k

1
< que existe si 0
i
2
k 1 2

tal que:

y para i k sea ei tal que:

di Te i , x i

si e ei
2
Sea e tal que e ei i 1,..., k Entonces si e e

di Te i , x i

2i
1
k
di Te i , x i di Te i , x i

2i
2i
1
k 1

d Te , x

1 k 1
2i i i
2 1 2 2
1 2
k 1 2

2 2
1

Te
x
d
y recprocamente
x, dado 0, n , sea e0 tal que:
Si Te
d

d Te , x
entonces como

2n

e e0

d n Te n , x n di Te i , x i

d Te , x
2n
2i
1

o sea

- 112 -

Topologa General

Topologa Producto

d T n , x n d Te , x n
n n e
2
2
dn Te n , x n si e e0 n
Te n
x n n la tesis
dn

- 113 -

- 113 -

Captulo 6
Espacios Conexos
Definicin 6.1 Sea ( X , ) un espacio topolgico, vamos a decir que X disconexo si
existen abiertos no vacos y disjuntos U,V tales que:
X = U V
En caso contrario diremos que X es conexo.

Ejemplo 6.1 Sea X con la topologa discreta, entonces si X tiene ms de un punto no

es conexo ya que para cualquier punto { x} se tiene que es abierto y cerrado luego

{ x}C es abierto y:
X = { x} { x}

claramente disjuntos.
Ejemplo 6.2 Sea X con la topologa indiscreta. Tenemos que es conexo porque no
hay abiertos disjuntos no vacos ( los nicos abiertos son X , )
Ejemplo 6.3 Sea X con la topologa de complementos finitos y X de infinitos
elementos
Sean A y B abiertos disjuntos y B entonces:
Si A B = A B C A es finito
finito
C

luego A no es finito y como A es abierto implica que es vaco, o sea no hay

abiertos disjuntos no vacos luego es conexo.
Definicin 6.2 Sea ( X , ) un espacio topolgico , Y X decimos que Y es conexo
si es conexo con la topologa relativa.

Topologa General

Captulo 6

- 114 -

Ejemplo 6.4 Sea X = ( 0,1) ( 2,3] con la topologa relativa.

No es conexo ya que

3
3
X = 1,
, 4 X = ( 0,1) ( 2,3]
X
2

abierto relativo abierto relativo

Ejemplo 6.5 Sean los racionales Q con la topologa relativa

Como
= , 2 2, +

abierto en

abierto en

que Q es disconexo.
Proposicin 6.1 Sea ( X , ) un espacio topolgico las siguientes afirmaciones son
equivalentes:

1) X es conexo
2) No existen cerrados disjuntos no vacos A y B tal que:
X = A B

3) Si A X es abierto y cerrado, entonces:

A= o A = X
4) No existe funcin f : X {0,1} que sea continua y sobreyectiva.
Demostracin
1) 2) supongamos por el absurdo que s existen A y B cerrados disjunto no vacos
tales que:
X = A B AC = B , B C = A con AC , B C son abiertos disjuntos
ya que = AC B C tales que
X = AC B C
2) 3)
Supongamos que A , A X y A X abierto y cerrado
A , AC son cerrados y X = A AC
con A , AC cerrados disjuntos no vacos
contradice 2)
- 114 -

Topologa General

Espacios Conexos

- 115 -

3) 4)
Supongamos que existe f : X {0,1} continua y sobre entonces f 1 ( 0 ) es abierto

y cerrado en X y f 1 ( 0 ) no es vaco, ni todo el espacio por ser f sobre. O sea

f 1 ( 0 )

lo que contradice 3)
f 1 ( 0 ) X
4) 1)
Sea X disconexo A y B abiertos disjuntos no vacos tales que X = A B
Entonces definimos f : X {0,1} de la siguiente forma:
1 si x A
f (X) =
0 si x B
f 1 ( 0 ) = B
f definida as es continua ya que : 1
f (1) = A

que la preimagen

1
1
f ( ) = , f ({0,1}) = X
de todo abierto es un abierto f es continua y sobreyectiva y esto contradice 4)
Proposicin 6.2 En los reales y con la topologa usual [0,1] es conexo .

Demostracin
Supongamos por el absurdo que no es conexo es decir que existen A y B cerrados
disjuntos no vacos tales que
[0,1] = A B
Como 0 A B que pertenece a alguno de ellos, podemos suponer sin perder
generalidad que 0 A y definimos el siguiente conjunto:
A0 = {a A : a b b B}
Por definicin A0 A , adems como 0 A y A B = 0 b b B
0 A0 luego A0 acotado superiormente por 1 implica que tiene extremo
superior, le llamemos .
Tenemos que A0 A = A A ahora puede suceder que
1) = 1 [ 0,1] B =

2) < 1 Sea

cerrado

B =

por ser A B =

= inf {b B} entonces B = B

entonces por definicin de A0 pero

- 115 -

cerrado

Topologa General

Captulo 6

= como A
A B
B
luego < t [ 0,1] tal que < t <
Ahora si t A por ser t < t b b B t A0
extremo superior de A0 t A
Pero t B por ser t < (nfimo) pero [ 0,1] = A B
conexo.

- 116 -

por ser el
por lo tanto [0,1] es

Proposicin 6.3 ( Teorema de Bolzano)

Sean X e Y espacios topolgicos, f : X Y continua si X es conexo entonces
f ( X ) tambin es conexo.

Demostracin
Sea f : X f ( X ) que es continua con la topologa relativa en f ( X ) si este no es
conexo existe
g : f ( X ) {0,1} continua y sobre
entonces como
g f : X {0,1} es continua y sobre
luego X no es conexo
Proposicin 6.4 Sea X un espacio topolgico {Y }I una familia tal que Y X
conexos I tal que Y Y , I entonces

Y es conexo

Demostracin
Supongamos por el absurdo que no es conexo que existe una funcin
g : Y {0,1} continua y sobre. Como g |Y : Y {0,1} es continua y como Y es
I

conexo que no es sobre. g ( y ) = cte y Y (esa constante es cero o uno)

podemos entonces afirmar que:
g ( y ) = g ( z ) y, z Y
Sea x, y Y x Y ( x ) e y Y ( y ) con ( x ) , ( y ) I y como Y ( x ) Y ( y )
I

por hiptesis entonces:

z Y ( x ) Y ( y ) g ( x ) = g ( z ) = g ( y )
y g es constante lo que contradice el que g sea sobre .
- 116 -

Topologa General

Espacios Conexos

- 117 -

Proposicin 6.5 Sea X un espacio topolgico X es conexo si y solo s x, y X

existe C X conexo tal que x C , e y C
Demostracin
Si X es conexo se toma C = X y tenemos la tesis.
Fijemos y X entonces x X sea C x X conexo tal que x Cx e y Cx
sabemos que existe por hiptesis adems los C x no son disjuntos, pues y pertenece a
todos ellos. Como:
X = Cx
xX

entonces por proposicin anterior X es conexo.

Ejemplo 6.6 Un subconjunto A es conexo si y solo s es un intervalo.

Demostracin
Si a, b A c tal que a < c < b se tiene que c A ya que si c A podemos
considerar:
U = ( , c ) A , V = ( c, + ) A
donde U V = y A = U V con U y V abiertos disjuntos no vacos A es
disconexo .
Recprocamente probaremos que si I es un intervalo I es conexo.
Si I es un intervalo entonces dados x, y I , [ x, y ] I como existe:
h : [ 0,1] [ x, y ] homeomorfismo
(funcin continua y sobre ) entonces aplicando teorema de Bolzano al ser [0,1]
conexo [ x, y ] es conexo luego por proposicin anterior I es conexo.
Se concluye que cualquier intervalo ( a, b ] , [ a, b ) , ( a, b ) o [ a, b ] donde a o b pueden
ser o + respectivamente.
Proposicin 6.6 Dado ( X , ) espacio topolgico, A X conexo y A B A
entonces B es conexo.

Demostracin
Para la demostracin vamos a considerar que existe una funcin f : B {0,1}
continua y ver que no puede ser sobre.
Como A B f | A : A {0,1} es continua y como A es conexo f ( A ) es el
conjunto unitario {0} o {1} . Podemos suponer sin perder generalidad que
f ( A) = {0} .
- 117 -

Topologa General
Por ser f continua

Captulo 6

- 118 -

f ( A) f ( A)

y si B A

f ( B ) f ( A ) f ( A ) = {0} = {0}
top. disc.

lo que significa que f no es sobre B es conexo.

Como corolario tenemos la siguiente proposicin
Proposicin 6.7 Sea ( X , ) un espacio topolgico, C X conexo entonces C es
conexo

Demostracin Es inmediata si ponemos C C C y aplicamos proposicin

anterior
Definicin 6.3 Sea ( X , ) un espacio normado,
un conjunto A X es convexo si x, y A
t [ 0,1] se tiene que:
tx + (1 t ) y A
(1 t )( y x )
x
x + ( t 1) x + (1 t ) y

x + (1 t )( y x ) A
Ejemplo 6.5
B ( 0, ) es convexo ya que

B ( 0, ) = {a X : x < }
sean x, y B ( 0, ) , t [ 0,1] entonces:
tx + (1 t ) y tx + (1 t ) y =

= t x + 1 t y =
= t x + (1 t ) y < t + (1 t ) =
o sea

t [ 0,1] tx + (1 t ) y B ( 0, )
Si la bola no es centrada en cero como existe un homeomorfismo:
h : B ( 0, ) B ( x0 , )
dada por h ( x ) = x + x0 (traslacin)
La bola trasladada es tambin convexo.
- 118 -

Topologa General

Espacios Conexos

- 119 -

Proposicin 6.8 Sea A un conjunto convexo en un espacio normado entonces A es

conexo.
Demostracin
Sea a A fijo y x A sea el segmento C x = {ta + (1 t ) x : t [ 0,1]} consideramos

h : [ 0,1] C x por h ( t ) = ta + (1 t ) x esta funcin es continua y sobre para cada x lo

que implica por Bolzano que su imagen Cx es conexo (por ser imagen por medio
de una funcin continua de un conexo).
Entonces
A = Cx
xA

es conexo por ser unin de conexos con interseccin dos a dos no vacos, porque a
es comn a todos.
Ahora veremos en primer lugar que el producto finito de espacios topolgicos es
conexo si y solo s es conexo cada uno, para despus ver el caso infinito.
Proposicin 6.9 Sean { X i }i =1 espacios topolgicos entonces
n

solo s X i es conexo i = 1,..., n

X
i =1

es conexo si y

Demostracin

Como p j X i = X j X j es conexo
i =1

continua
conexo
probemos solo para dos y despus por induccin generalizamos
Sean X 1 , X 2 conexos probaremos que X 1 X 2 es conexo.
Sea ( a1 , a2 ) X 1 X 2 fijo
X 1 {a 2 }
X2
Dado un x = ( x1 , x2 ) X 1 X 2 sea
a2
C = X {a } { x } X
x1

Consideremos h1 : X 1 {a2 } X 1 dada por

h1 ( z , a2 ) = z
Claramente h1 es una proyeccin luego es
continua y biyectiva.
h11 : X 1 X 1 {a2 }
h11 ( z ) = ( z , a2 )

- 119 -

{ x1} X 2

a1

x1

X1

Topologa General

Captulo 6

- 120 -

Sea una red { zd } X 1 tal que zd z entonces:

h11 ( zd ) = ( zd , a2 ) ( z , a2 ) = h11 ( z )

lo que implica que h11 es continua. Luego h1 es un homeomorfismo y si X1 es

conexo entonces X 1 {a2 } es conexo.
Sea h2 : { x1} X 2 X 2 definida por
h2 ( x1 , z ) = z al igual que h1 h2 es una proyeccin y por lo tanto continua y
biyectiva y de la misma manera que se hizo para h1 se demuestra que h2 es un
homeomorfismo Luego como por hiptesis X 2 es conexo entonces { x1} X 2 es
conexo.
Y como ( x1 , a2 ) X 1 {a2 } { x1} X 2 que la unin es conexo es decir C x1 es
conexo

conexo

conexo x1 X 1 luego como

X1 X 2 =

x1X1

x1

Ya que si ( x1 , x2 ) X 1 X 2 entonces ( x1 , x2 ) C x1 por definicin y recprocamente

si ( x, y ) C x1 X 1 X 2 ( x, y ) X 1 X 2
por def.

Adems todos los conjuntos C x1 tienen en comn el punto ( a1 , a2 ) y son conexos

luego su unin es conexo X 1 X 2 es conexo.
Generalizamos tomando X = X 1 X 2 e Y = X 3 por lo anterior X Y es conexo es
decir X 1 X 2 X 3 es conexo y as sucesivamente tenemos que X 1 ... X n es
conexo.
Veamos ahora el caso infinito.
Proposicin 6.10 Sea { X }I una familia de espacios topolgicos entonces

X es conexo si y solo s los

X son conexos para todo I .

Demostracin El caso directo es inmediato por ser la proyeccin una funcin

continua al igual que el caso finito.
Para el recproco consideremos un punto fijo {a }I X tomamos una
I

cantidad de ndices finitos 1 , 2 ,..., n I y definimos:

X 1 ,...,n = X 1 X 2 ... X n
- 120 -

I
{1 ,...,n }

Topologa General

Espacios Conexos

- 121 -

es decir:

X 1 ,...,n = x X : x = a 1 ,..., n

I
definimos la funcin
: X 1 ,...,n X 1 ... X n
como la proyeccin de X 1 ,...,n sobre X 1 ... X n luego es continua y biyectiva

para probar que la inversa es continua lo demostramos igual que el caso finito, nos
tomamos una red convergente.
1 : X 1 ... X n X 1 ,...,n
Sea { zd } X 1 ... X n tal que zd z

=
a a
1 ( zd ) ( )

si

,...,

{
}
1
n
1
1 ( zd ) = 1
= ( z)
=
zd z
( zd ) ( )
si {1 ,...,n }

1
por lo que es continua y lleva conexo en conexo luego como por hiptesis cada
X es conexo entonces por proposicin anterior X 1 X 2 ... X n es conexo y
entonces X 1 ,...,n es conexo.
Sea

Z=

{1 ,...,n } I

X 1 ,...,n

como {a } X 1 ,...,n {1 ,.., n } I tienen interseccin no vaca y luego su unin

es un conjunto conexo.
Adems si U es un abierto de la base de la topologa producto.
U = p11 (U1 ) ... pk1 (U k ) con U i X i i = 1,..., k
Como

X 1 ,..., n U

ya que

U = U1 ... U k
X1 ... X k

{1 ,..., k }

X 1 ,..., k = X 1 ... X k

X con U i X i

{1 ,..., k }

luego
Z U U abierto de la base Z = X y como Z es conexo implica que Z

es conexo luego

es conexo.

- 121 -

Topologa General

Captulo 6

- 122 -

Definicin 6.4 Sea X un espacio topolgico , x, y X . Se dice que x e y estn

conectados (anotamos x y ) si existe un conjunto C X conexo tal que
x, y C
Proposicin 6.11 X es un espacio topolgico conexo si y solo s x y x, y X
Demostracin por la proposicin 6.5 X es conexo si y solo s x, y X existe un C
conexo con x, y C por definicin que x y .
Proposicin 6.12 Estar conectado es una relacin de equivalencia.

Demostracin
1) x x ya que { x} es conexo
2) Si x y y x por definicin
Si x y
3)
x z
e yz
Ya que x y C X conexo tal que x, y C
y z D X conexo tal que y, z D
Entonces
x, z C D y como C D es conexo por ser unin de conexos no disjuntos ya
que y C D luego x z
Toda relacin de equivalencia en un conjunto establece una particin del mismo en
clases de equivalencia tales que son disjuntas y su unin es el conjunto. Podemos
entonces introducir la siguiente definicin.
Definicin 6.5 Sea X un espacio topolgico, x X llamaremos componente conexa
de x a la clase de equivalencia de x. Anotamos C x
C x = { y X : y x}
tambin podemos escribir
C x = { y X : C X , conexo tal que x, y C}
para un A subconjunto de X definimos la componente conexa de x en A que
anotamos C xA como:

C xA = { y A : y x}

o tambin

C xA = { y A : C A, conexo tal que x, y C}

Observar que de acuerdo a la definicin siempre C xA A .

- 122 -

Topologa General

Espacios Conexos

- 123 -

Proposicin 6.13 Dado un espacio topolgico X este es conexo si y solo s tiene una
nica componente conexa.
Demostracin Por la proposicin 6.11 tenemos que X es conexo si y solo s para
todo x, y X , x y entonces si fijo x implica que y C x y X X Cx como
la otra inclusin es obvia entonces son iguales C x = X luego tiene solo una
componente conexa.
Proposicin 6.14 La componente conexa de x es el mayor conexo que contiene a x

Demostracin Tenemos que probar dos cosas primero que cualquier otro conexo que
contenga a x esta contenido en Cx y luego que la componente conexa Cx es conexo.
Sea D X conexo con x D y D y x por definicin de conectado lo que
implica por definicin de componente conexa que y C x luego D C x .
Como y C x y x Dy X conexo tal que x, y Dy pero por lo anterior
por def.

Dy C x entonces

Cx =

yCx

y como la unin no disjunta de conexos es conexo Cx es conexo.

Corolario 6.15 Las componentes conexas son cerrados.

Demostracin Se tiene que por proposicin anterior las componentes conexas son
conexas luego su clausura C x es tambin conexa C x C x porque la componente

conexa es el mayor conexo que contiene a x. Luego como siempre C x C x

Cx = C x
Ejemplo 6.6 Sea X = ( 0,1) [ 2,3) las componentes conexas son ( 0,1) y [ 2,3) que
son abiertos y cerrados a la vez

Ejemplo 6.7 Sean los racionales con la topologa heredada de las componentes
conexas de un punto p es el propio p es decir C p = { p} ya que si la
componente
conexa
tuviera
ms
de
un
punto
por
ejemplo
p, q C p con p q irracional tal que p < < q y entonces podemos escribir

C p = ( , ) C p C p ( , + )
abierto

- 123 -

abierto

Topologa General

Captulo 6

- 124 -

se puede escribir a C p como unin de abiertos disjuntos, luego C p no es conexo lo

cual es absurdo.
Con p racional claramente { p} es cerrado ya que con la topologa relativa a la
usual de es T1. Pero no es abierto, ya que un abierto en es un abierto de
interseccin que claramente tiene ms de un punto (contiene infinitos puntos).
Ejemplo 6.8 El conjunto de Cantor C es un conjunto donde las componentes conexas
son los conjuntos unipuntuales ya que no hay intervalos en C.
Definicin 6.6 Sea X un espacio topolgico decimos que X es localmente conexo si
x X se tiene una base de entornos conexos.
Ejemplo 6.9 Los reales es localmente conexo ya que
{( x , x + ) : > 0}
es una base de entornos conexos de x. Adems es conexo.

Ejemplo 6.10 Sea el espacio X = ( 0,1) ( 2,3] no es conexo pero s es localmente

conexo.
Ejemplo 6.11 Sea 2 no es conexo, ni localmente conexo
Ejemplo 6.12 Sea [( x, x ) : x ] no es localmente conexo pero s es conexo.

Dos puntos de una misma recta estn

conectados, dos puntos de rectas distintas
estn conectados pero siguiendo el camino
indicado por las flechas, ya que ese camino es
unin de segmentos (conexos) no disjuntos
luego la unin es conexa. Es decir existe un
conexos incluido en el espacio que contiene a
los puntos.
Proposicin 6.16 Sea ( X , ) un espacio topolgico entonces las siguientes
afirmaciones son equivalentes:

1) X es localmente conexo
2) Si A las componentes conexas de A son abiertas.
- 124 -

Topologa General

Espacios Conexos

- 125 -

3) Existe una base de la topologa cuyos miembros son conexos.

Demostracin
1) 2) Si X es localmente conexo x X se tiene :
B x = {V N x : V conexo}
Sea A abierto y C una componente conexa de A.( C A )
Tomemos x C al ser A abierto implica que es entorno de todos sus puntos,
como x A A N x por definicin de base local V B x tal que x V A .
Como V,C conexos y x V C V C es conexo V C C por proposicin
6.14 y esto ltimo significa que V C .
En resumen x C V entorno conexo tal que x V C que C es abierto.
2) 3) Sea
B = { A : A es conexo}
Si B es abierto por hiptesis las componentes conexas de B son abiertas llamemos a
estas C xB para x B entonces:

B = C xB
xB
B
x

y por ser los C conexos y abiertos C B x B luego todo abierto se puede

escribir como unin de elementos de B es una base.
3) 1) Sea B una base de conexos, x X , definimos.
B x = {V B : x V }
implica queB x es una base de entornos conexos de x ya que si V B V es abierto
y como x V V N x y conexo.
B
x

Corolario 6.17 Cualquier componente conexa C de un espacio X localmente conexo

es abierta y cerrada.

Demostracin Primero aplicamos el teorema anterior para el abierto X por lo que las
componentes de X son abiertas y por el corolario 6.15 estas son cerradas.

Proposicin 6.18 Sea X un espacio topolgico localmente conexo, sea Y un espacio

topolgico, f : X Y continua si adems f es abierta o cerrada entonces f ( X ) es
localmente conexo.

Demostracin Primero haremos la demostracin para el caso de que la funcin f sea

abierta.
Que X sea localmente conexo significa por definicin:
- 125 -

Topologa General

Captulo 6

- 126 -

x X B x = {V N x : V conexo} es una base local esto implica a su vez que:

Dado N N x existe V B x tal que x V N
Como f es continua dado W N f ( x ) N N x tal que f ( N ) W
Y como para cada N N x existe V B x tal que V N entonces
f (V ) f ( N ) W
Por otro lado que V N x U abierto tal que x U V f ( x ) f (U ) f (V )
y como f es abierta f (U ) es abierto por definicin de entorno que
f (V ) N f ( x )

adems al ser V conexo y f continua f (V ) es conexo.

Entonces si consideramos
B f ( x ) = { f (V ) : V B } = { f (V ) : V N x , V conexo}
Se tiene que:
Para cada W N f ( x ) f (V ) B f ( x ) tal que

f (V ) W
lo que significa por definicin que B f ( x ) es una base local donde sus elementos son

conexos luego es f ( X ) localmente conexo.

Ahora consideremos la hiptesis de que f es cerrada y en primer lugar observemos
que f : X f ( X ) es sobre y por lo tanto vale:
A f ( X ) , f ( f 1 ( A) ) = A

Lo que vamos a probar es que para todo abierto en f ( X ) tiene sus componentes
conexas abiertas.
Dado A f ( X ) abierto sea D una componente conexa de A.
Como f es continua f 1 ( A ) es abierto en X y como ya vimos en la demostracin de
la proposicin 6.16 que un abierto en un espacio localmente conexo se puede
escribir como unin de las componentes conexas de todos sus puntos, es decir:
f 1 ( A ) = C
f 1 ( A)

donde las componentes conexas C ya vimos que son abiertas.

Y como D A f 1 ( D ) f 1 ( A ) f 1 ( D ) = f 1 ( A ) f 1 ( D ) y sustituyendo

f 1 ( D ) =

f 1 ( A)

C f 1 ( D )

Supongamos que C f 1 ( D ) lo que significa que.

- 126 -

Topologa General

Espacios Conexos

- 127 -

x C f ( x ) f ( C )

x C f 1 ( D )
f ( x ) f ( C ) D
1
1
x f ( D ) f ( x ) f ( f ( D )) = D
Luego f ( C ) D

Por otro lado como C es componente conexa de f 1 ( A ) implica que:

C f 1 ( A ) f ( C ) f ( f 1 ( A ) ) = A

Como C es conexo y f es continua f ( C ) es conexo en A pero como D es

componente conexa de A y f ( C ) D f ( C ) D
Demostramos que
Si C f 1 ( D ) C f 1 ( D )
entonces podemos escribir:
f 1 ( D ) =
C
C f 1 ( D )

y por ser unin de abiertos es abierto por lo tanto

f 1 ( D ) es cerrado
C

y como f 1 ( D ) = f 1 ( D C ) entonces como f es cerrada

f f 1 ( D C ) = D C

cerrado cerrado
Luego D es abierto.
C

Definicin 6.7 Sea X un espacio topolgico, x, y X Un camino de x a y en X es

una funcin f : [ 0,1] X continua y tal que:

f ( 0) = x

f (1) = y

Definicin 6.8 Se dice que un X espacio topolgico, x, y X estn conectados por

caminos si existe un camino de x a y . Anotamos x C y
Definicin 6.9 Decimos que un espacio topolgico X es conexo por caminos si :
x C y x, y X
A X decimos que A es conexo por caminos si lo es como espacio al considerar
sobre l la topologa relativa.

Proposicin 6.19 Si x e y estn conectados por caminos implican que estn

conectados.
- 127 -

Topologa General

Captulo 6

- 128 -

x C y x y
Demostracin Por hiptesis como estar conectados por caminos implica que
tenemos una funcin continua f : [ 0,1] X y como [ 0,1] es conexo y f continua
implica que f ([ 0,1]) es conexo y contiene a x e y por definicin que x est
conectado con y.
Corolario 6.20 Si el espacio topolgico X es conexo por camino entonces X es
conexo
X conexo por ca min os conexo

Demostracin Por definicin si X es conexo por camino entonces x, y X

se tiene que x C y x y que X es conexo
prop.6.11

El recproco no vale ver ejemplo 6.13

Proposicin 6.21 Estar conectados por camino ( C ) es una relacin de
equivalencia.

Demostracin
a) f : [ 0,1] X definido f ( t ) = x t [ 0,1] x C x
b) f : [ 0,1] X cont. con f ( 0 ) = x

f (1) = y
Sea g : [ 0,1] X dado por g ( t ) = f (1 t ) t [ 0,1]
g es continua y g ( 0 ) = f (1) = y

g (1) = f ( 0 ) = x
y C x
c) f , g : [ 0,1] X continuas tal que:
f ( 0) = x

f (1) = y = g ( 0 )
g (1) = z

Consideremos h : [ 0,1] X definidas por :

f
f ( 2t ) si t [ 0, 12 ]
h (t ) =
1
g ( 2t 1) si t [ 2 ,1]

el recorrido de x a y , y a z lo tenemos que hacer el doble de rpido.

- 128 -

g
z
x

Topologa General

Espacios Conexos

- 129 -

H es continua ya que es la cocatenacin de funciones continuas y f (1) = g ( 0 ) con

h ( 0 ) = f ( 0 ) = x

h (1) = g (1) = z
luego x C y .
Definicin 6.10 La relacin de equivalencia de estar conectado por camino establece
una particin en clases de equivalencia que llamamos componente conexa por
camino de X.
Anotamos CC x para referirnos a la componente conexa por camino de x.
Proposicin 6.22 El espacio topolgico X es conexo por caminos si y solo s tiene
una nica componente conexa por camino.

Demostracin Por definicin tenemos que X es conexo por camino si y solo s para
todo x, y X , x C y entonces si fijo x implica que y CCx y X X CC x
como la otra inclusin es obvia entonces son iguales CCx = X luego tiene solo una
componente conexa.
Proposicin 6.23 Sea X un espacio topolgico entonces las componentes conexas
por camino estn incluidas en las componentes conexas de X.

CC x Cx
Demostracin Esto es porque estar conectados por camino implica estar conectado
es decir:
Si y CCx y C x y x y C x
Pr op. 6.19

Luego

CC x Cx

Proposicin 6.24 Dado X espacio topolgico, sea x X entonces la componente

conexa por camino CC x es el mayor subconjunto conexo por camino que contiene a
x.

Demostracin CC x que es el mayor conexo por camino, implica que, por un lado es
el mayor en el sentido que contiene a todo conjunto conexo por camino y que l es
conexo por camino. Lo demostraremos por separado:

- 129 -

Topologa General

Captulo 6

- 130 -

a) Si A X conexo por camino y x A entonces por definicin

y A y C x en A se puede unir y con x mediante un camino en A, pero
como A X se puede unir y con x por medio de un camino en X. y CC x .
Luego
A CCx

b) CC x es conexo por camino.

Tenemos que probar que no puede suceder
lo que est representado en la figura en
punteado, es decir que el camino no sale de
la componente conexa CC x .
Dado un camino en X con ( 0 ) = x
llamemos I = [ 0,1] todos los puntos del
camino
son
( I ) = { ( s ) X : s I }

A
CCx x

entonces todos los puntos ( s ) ( I ) pueden ser unidos con x por el camino
( t ) definido como sigue:
( 0 ) = ( 0 ) = x
( t ) = ( st ) =
(1) = ( s )
Luego ( s ) C x s I ( s ) CCx s I es decir que ( I ) CC x CC x
es conexa por caminos en X.
Proposicin 6.25 Si X es un espacio topolgico conexo por camino y f es una
funcin continua entonces f ( X ) es conexa por camino.

Demostracin Sean f ( x ) , f ( y ) f ( X ) al ser X conexo por camino implica que

para todo x, y X se cumple x C y existe h : [ 0,1] X continua y tal que:
h ( 0 ) = x
entonces sea f h : [ 0,1] f ( X )

h (1) = y
que es continua por ser composicin de continuas y tal que:
( f h )( 0 ) = f ( h ( 0 ) ) = f ( x )
f ( x ) C f ( y )

( f h )(1) = f ( h (1) ) = f ( y )
Luego f ( X ) es conexo por camino.

Ejemplo 6.13
Sea X = A B 2 con A = {0} [ 0,1] y B = {( x, sen x ) : x ( 0,1]}
- 130 -

Topologa General

Espacios Conexos

- 131 -

Para todo los puntos de B se tiene

que hay un camino que los conecta
que es el propio grfico de sen ( x )
Luego B es conexo por camino
es conexo.
Adems A B entonces como
B X B que X es conexo.
Probaremos que X no es conexo
por camino.
Para lo que consideramos un
camino que llamamos ( t )
definido : [ 0,1] X tal que.
( 0 ) = ( 0,1) es decir que partimos
del punto (0,1) de A. Llamemos ( t ) = (1 ( t ) , 2 ( t ) ) empezamos a movernos en el
conjunto A y queremos saber en que momento dejamos l mismo para ello
definimos :
t0 = sup {T [ 0,1] : 1 ( t ) = 0 t T }

Como 1 es continua y {0} es cerrado 11 ({0} ) es cerrado t0 11 ({0})

1 ( t0 ) = 0
Si t0 = 1 t 1 1 ( t ) = 0 es decir que no salimos del conjunto A ([ 0,1]) A
Supongamos que t0 < 1 . Como es continua:
Dado > 0 > 0 tal que si t t0 < entonces
( t ) ( t0 ) <
Sea t1 tal que t1 t0 < entonces
( t1 ) B B ( ( t0 ) , )
1
pero tenemos que existe t ( t0 , t1 ) tal que 1 ( t ) = 3
y para este t
+
2
n
2

1
, 1 B ( ( t0 ) , )
3 + 2n

Luego t0 < 1 nos lleva a un absurdo por lo tanto t0 = 1 que no podemos salimos
de A. Lo que implica que no es conexo por camino. Adems sus componentes
conexas por camino son A y B (B no es cerrado) Mientras que componente conexa
hay una sola, ya que X es conexo.

(t ) = 2

Definicin 6.11 Sea X un espacio topolgico decimos que es localmente conexo por
caminos si todo punto x X tiene una base de entornos conexos por caminos.
- 131 -

Topologa General

Captulo 6

- 132 -

Anotamos cc
Proposicin 6.26 Sea X un espacio topolgico las siguientes afirmaciones son
equivalentes:
1) X es cc
2) Si A X abierto entonces las componentes conexas por camino de A son
abiertas.
3) Existe una base de X cuyos miembros son conexos por camino.
Demostracin
1) 2) Si X es localmente conexo por camino x X se tiene :
B x = {V N x : V conexo por camino}
Sea A abierto y C una componente conexa por camino de A.( C A )
Tomemos x C al ser A abierto implica que es entorno de todos sus puntos,
como x A A N x por definicin de base local V B x tal que x V A .
Como V es conexo por camino y tiene a x en comn con C entonces:
y V y C x y C V C
xV

xC

en resumen x C V N x tal que V C

por lo tanto C es abierto.
2) 3) Sea
B = { A : A es conexo por camino}
Si B es abierto por hiptesis las componentes conexas por camino de B son abiertas
llamemos a estas CC xB para x B entonces:

B = CC xB
xB

y por ser los CC conexos y abiertos CC xB B x B luego todo abierto se

puede escribir como unin de elementos de B es una base.
3) 1) Sea B una base de conexos por caminos, x X , definimos.
B x = {V B : x V }
implica que B x es una base de entornos conexos por camino de x ya que si
V B V es abierto y como x V V N x y conexo por camino.
B
x

Proposicin 6.27 Si X es un espacio topolgico localmente conexo por camino

entonces las componentes conexas por camino CC x de x, son abiertas y cerradas
x X .

Demostracin Por la proposicin anterior 2) si tomamos A = X tenemos que las

componentes conexas por camino de X son abiertas.
- 132 -

Topologa General
Sea

x0 ( CCx )

Espacios Conexos

- 133 -

x0 C x como el espacio es localmente conexo por camino

implica que existe N N x0 con N conexo por camino

y N supongamos que y C x como y C x0 x C x0

Luego y C x y ( CCx ) N ( CCx ) o sea que el complemento es abierto y

C

por lo tanto la componente conexa por camino es cerrada.

Proposicin 6.28 Sea X un espacio topolgico localmente conexo por camino
entonces:
X es conexo si y solo s, X es conexo por camino.
Demostracin ya est demostrado en la proposicin 6.20
Sea x X y CCx su componente conexa por camino que por la proposicin
anterior es abierta y cerrada luego como por hiptesis X es conexo, entonces usando
proposicin 6.1(2)
CC =
x
CC x = X
y como CC x es no vaca ya que x CCx CC x = X
Es decir que X tiene solo una componente conexa por camino es conexo por
camino (por proposicin 6.22).

Ejemplo practico
Sea X un espacio topolgico y A X . Sea C X un conjunto conexo tal que
C A y C AC . Probar que C A

Demostracin Supongamos por absurdo que

C A =
primero que nada observemos que
C A \ A = C A C A = C A
=

y como A \ A = A es abierto en X pero esto a su vez implica que C A es

abierto en C y distinto del vaco por hiptesis.
Por otro lado como A = AC ya que por definicin:
A = A AC
y entonces aplicando la definicin al complemento se tiene

- 133 -

Topologa General

Captulo 6

- 134 -

AC = AC ( AC ) = AC A = A
C

luego podemos hacer el mismo razonamiento que ms arriba para C AC .

C AC \ AC = C AC C AC = C AC
=A
=

y como

AC \ AC = ( AC ) que es abierto en X luego C AC es abierto en C y

distinto del vaco por hiptesis.

Es decir que en resumen tenemos que los conjuntos C A y C AC son abiertos
no vacos en C y disjuntos por serlo A y AC tales que:
C = ( C A ) ( C AC )
lo cual es absurdo por ser C conexo.
Luego tiene que ser C A

- 134 -

Captulo 8
Espacios Compactos
Cuando un espacio topolgico posee una propiedad local, es natural considerar la
familia de los entornos (abiertos) donde se satisface dicha propiedad. Esta familia
constituye un recubrimiento del espacio, y en el estudio de la propiedad dada es, sin
duda, de gran ayuda saber que este recubrimiento puede ser reducido a uno finito.
La compacidad de un espacio nos proporciona siempre un recubrimiento finito
dentro de cualquier recubrimiento abierto del espacio, y ello permite, bajo ciertas
hiptesis, poder pasar de lo local a lo global ; es decir, poder obtener una
propiedad del espacio como consecuencia de resultados locales en un nmero finito
de puntos.
Por su naturaleza, los espacios compactos retienen muchas propiedades de los
conjuntos finitos. As, a modo de ejemplos, tenemos que toda funcin real continua
de un espacio compacto siempre alcanza su mximo y su mnimo, y que dos
subconjuntos compactos disjuntos en un espacio de Hausdrff pueden ser separados
por abiertos disjuntos.
Definicin 8.1 Un espacio topolgico X decimos que es compacto si todo
cubrimiento por abiertos de X tiene un subcubrimiento finito.
Si A X decimos que es compacto si lo es con la topologa relativa
Proposicin 8.1 Dado el espacio topolgico X, A X es compacto si y solo s para
todo cubrimiento de A por abiertos de X admite un subcubrimiento finito que lo
sigue recubriendo.
Demostracin Un cubrimiento por abiertos de X con la topologa relativa es una
familia de la forma
U AI donde U es abierto en X I

si A
I

Topologa General

Captulo 8

- 158 -

esto es la mismo que tomar una familia U I de abiertos en X tales que:

A
I

Entonces como A es compacto con la topologa relativa significa que existen

U1 A ,..., Un A con i I i 1,..., n tal que

i 1

lo que es lo mismo
n

i 1

Ui

Entonces todo cubrimiento de A por abiertos de X tienen un subcubrimiento finito

que lo siguen recubriendo. Y recprocamente:
Sea A V con V abierto de la topologa relativa o sea que
I

V U

A con U abierto en X

entonces

A
I

A A
I

entonces por hiptesis existen U1 ,...,Un con i I i 1,..., n tal que

n
i 1

Ui A
A

n
i 1

n
i 1

Vi

y por definicin A es compacto

Ejemplo 8.1 Los reales no es compacto ya que n, n : n
por abiertos sin recubrimiento finito
n, n
n

si tuviera subcubrimiento finito

nk , nk m, m

siendo m max nk : k 1,...,

k 1

Ejemplo 8.2 Sea X finito con cualquier topologa

X U
I

- 158 -

es un cubrimiento de

Topologa General

Espacios Compactos

- 159 -

sea i I tal que xi Ui entonces:

Ui

xi X

que es un subcubrimiento finito por ser X finito

Ejemplo 8.3 X con la topologa discreta es compacto si y solo s es finito ya que
X x
xX

es un cubrimiento por abiertos de X solo existe subcubrimiento finito si X es finito.

Ejemplo 8.4 Sea X con la topologa de complementos finitos tomemos un
cubrimiento U I por abiertos de X .

X
I

tomemos un abierto cualquiera no vaco U0 se tiene por definicin de abierto en

esta topologa UC0 x1 ,..., xn para cada xi Ui tal que xi Ui y entonces

U ,U ,...,U es un cubrimiento finito X

0

es compacto.

Ejemplo 8.5 Sea 0,1 no es compacto ya que

1n ,1

0,1
n

supongamos que existe un subcubrimiento finito

0,1 1n ,1
nF

tal que F es un conjunto finito luego podemos tomar el max n F m

nF

1n ,1 m1 ,1 0,1 ya que m1 0

Proposicin 8.2 ( Teorema de Heire-Borel )

Sean los reales con la topologa usual entonces a, b
Demostracin Sea U I una familia de abiertos en
a, b es decir

a, b
I

es compacto.
tal que cubren al intervalo

definimos el siguiente conjunto

S x a, b : a, x U para algn F finito

F
- 159 -

Topologa General

Captulo 8

- 160 -

con F 1 ,..., n
es decir es el conjunto de los x para el cual existe un subcubrimiento finito
El conjunto S no es vaco ya que a S a, a a que claramente es cubierto por
algn abierto por definicin de cubrimiento.
Adems S est acotada superiormente por b, luego existe extremo superior o
supremo que llamaremos c .Como c a, b U0 tal que c U0 como U0 es
abierto 0 tal que c , c U0 por definicin de supremos s S tal
que

c s c 1 ,..., n I tal que a, s

n
i 1

Ui

U0

entonces
n

a, c U U
i 1

c b

y por lo tanto c S .
Sabemos que c b :
Supongamos que c b x tal que c x c entonces
xU0

a, x U U x S y x c
i 1

Luego c b a, b tiene subcubrimiento finito y luego es compacto

Proposicin 8.3 Sea X un espacio topolgico Hausdrff , K X compacto x K
entonces existen abiertos disjuntos U ,V tales que K U , x V
Demostracin Sea y K como x K y es espacio es de Hausdrff entonces existen
entornos (que podemos tomar abiertos) U y ,Vy tales que
y U y , x Vy con U y Vy
tenemos que K

U y y como K es compacto existe un subcubrimiento finito es

yK

decir y1 ,..., yn tal que K

n
i 1

U yi

nos definimos a U

n
i 1

U yi tenemos que es

abierto por ser unin de abiertos por construccin y tomemos como V

n
i 1

Vyi que

es abierto por ser la interseccin finita de abiertos y como x Vy y x V

adems

- 160 -

Topologa General

z U

z U yk

Espacios Compactos

- 161 -

z U U yi k 1,..., n tal que z U yk

V

i 1
z V z V i 1,..., n z V
yi
yk

absurdo ya que por construccin estos son disjuntos.

Vyk

Luego U y V as obtenidos son los abiertos de la tesis.

Proposicin 8.4 Dado un espacio topolgico X de Hausdrff y en l dos conjuntos
disjuntos K X , L X compactos entonces existen abiertos U ,V abiertos disjuntos
tales que K U y L V .
Demostracin Como los conjuntos K y L son disjuntos si tomamos x L x K y
podemos aplicar la proposicin anterior, luego existen abiertos U x ,Vx tales que:
K Ux
y U x Vx
x Vx
tenemos que L Vx luego como L es compacto x1 ,..., xn tales que:
xL

n
i 1

entonces nos definimos

n
i 1

n
i 1

Vxi

Vxi que es abierto por ser unin de abiertos y

U xi que es abierto por ser la interseccin finita de abiertos adems K U x

para todo x lo que implica que K U y tambin por construccin L V ahora si

n

z V Vxi k 1,..., n tal que z Vxk

z U V

i 1
z U i 1,..., n z U z U
xi
xk

z U xk

Vxk

absurdo ya que por construccin esos conjuntos son disjuntos.

Luego U y V son disjuntos y son los que cumplen con el enunciado de la

proposicin.
Proposicin 8.5 Sea X un espacio topolgico compacto, Y X cerrado entonces Y
es compacto.
Demostracin Sea U I una familia de abiertos de X tales que

Y
I

- 161 -

Topologa General

Captulo 8

- 162 -

como Y es cerrado Y C es abierto y entonces U I

Y C es un cubrimiento por

abiertos de X que es compacto 1 ,..., n I tales que Ui i 1 Y C sigue siendo

n

un recubrimiento de X (a Y C lo agregamos en caso que no integre el cubrimiento

finito ) entonces se tiene:

n
i 1

U i

YC Y

n
i 1

Ui

entonces por la proposicin 8.1 Y es compacto

Proposicin 8.6 Sea X un espacio topolgico de Hausdrff e K X compacto
entonces K es cerrado.
Demostracin Primero que nada si K X el enunciado no aporta nada nuevo,
entonces podemos considerar que existe un x K y por la proposicin 8.3 existen
abiertos U ,V tales que
K U , x V con U V V K
es decir que
x V K C
luego x K C V abierto tal que x V K C lo que quiere decir que K C es
abierto K es cerrado.
Ejemplo 8.6 Sea K I una familia de compactos en un espacio topolgico de
Hausdrff entonces
I

K es compacto.

Demostracin Por la proposicin anterior los K son cerrados y por lo tanto la

interseccin de ellos es un cerrado tal que
K K0 para cualquier 0 I
I

luego por la proposicin 8.5 ( un cerrado en un compacto es compacto)

I

K es

compacto.
Ejemplo 8.7 Un conjunto K
cerrado y acotado.

con la topologa usual es compacto si y solo s es

Demostracin Si K es compacto como

es de Hausdrff por proposicin 8.6
K es cerrado. Adems es acotado porque n, n : n es un cubrimiento por
abierto de
y en particular como:
- 162 -

Topologa General

Espacios Compactos

- 163 -

n, n

K
n

entonces tiene un subcubrimiento finito luego:

K
sea m0 max nk : k 1,..., m K

nk , nk

k 1
m

nk , nk m0 , m0

k 1

y por lo tanto K m0 , m0 est acotado.

Recprocamente
Si K es cerrado y acotado en a, b tal que K a, b y como este ltimo es
compacto por la proposicin 8.5 K es compacto.
Proposicin 8.7 ( Lema de Alexander )
Sea X , un espacio topolgico si existe S una subbase de tal que todo
cubrimiento por abiertos de S tiene un subcubrimiento finito entonces X es
compacto.
Demostracin Supongamos por el absurdo que X no es compacto.
Definimos el siguiente conjunto:
F U : U es cubrimiento de X sin subcubrimiento finito
F porque supusimos que X no es compacto.
Ordenamos F por inclusin es decir establecemos el siguiente orden parcial:
U V U V
obtenemos as un conjunto F , ordenado
Sea U I F linealmente ordenado (una cadena) consideremos:

U
Probaremos que U F

para lo cual suponemos por el absurdo que no es as

entonces existen U1 ,...,U n U tal que X

n
i 1

U i pero como los U i U

i I tal que Ui Ui i 1,..., n pero por orden lineal existe 0 1 ,..., n

tal que Ui U0 i 1,..., n Ui U0 i 1,..., n U0 es un cubrimiento por
abiertos que tiene un subcubrimiento finito lo cual es absurdo porque U0 F .
Luego U F F ordenado y acotado entonces por el Lema de Zorn existe
elemento maximal M F .
Antes de seguir con la demostracin demostraremos tres afirmaciones necesarias
para terminar de demostrar este lema
- 163 -

Topologa General

Captulo 8

- 164 -

Afirmacin 1 Sea A , A M M1 ,..., M n M tal que

X A M1 .... M n
Demostracin Como A M y M F maximal esto implica que
M
AF
luego tiene un subcubrimiento finito lo que implica M1 ,..., M n M tal que
X A M1 ... M n
adems A tiene que formar parte del recubrimiento finito porque sino sera M el
que tiene subcubrimiento finito M F lo cual es absurdo.
Recprocamente si existen M1 ,..., M n M tal que X A M1 .... M n entonces
AM porque sino fuera as se tendra un subcubrimiento de X en M lo cual es
absurdo porque M F .
Afirmacin 2 A , A M

A B B M

Demostracin Si AM por la afirmacin 1 que M1 ,..., M n M tal que

X A M1 ... M n B M1 ... M n
como la otra inclusin es obvia
X B M1 ... M n
y por el recproco de la afirmacin 1 B M
Afirmacin 3 Si

A, B M
A B M
A, B \

Demostracin Como A M
Anlogamente B M
ahora si x M1 ... M n
xA

por la afirmacin 1 M1 ,..., M n M tal que

X A M1 ... M n
por la afirmacin 1 N1 ,..., Nm M tal que
X B N1 ... Nm
N1 ... N m x A B luego :
xB

X A B M1 ... M n
y por el recproco de la afirmacin 1 A B M

N1 ... Nm

Continuemos con la demostracin del Lema

Sea S la subbase de la topologa de la hiptesis, con S A I .

- 164 -

Topologa General

Espacios Compactos

- 165 -

Para cada x X se tiene que existe M x M tal que x M x por ser M un

cubrimiento por abiertos de X adems por definicin de subbase A1 ,..., An S tal
que:
n

i 1
n

Ai M x

Por la afirmacin 2 como M x M

i 1

n
i 1

Ai M

como
i 1

Ai M

ya que si no fuera as es decir si

Ai M x por la afirmacin 2 M x M

lo cual es absurdo

y por la afirmacin 3 (contrarecproco de la misma )

n

Si
i 1

Ai M 0 1 ,..., n tal que A0 M

Es decir que x A0 M

En resumen para cada x X encontramos un A0 x S

tal que

x A0 x S M X
tenemos que A0 x : x X S M

xX

A0 x

es un cubrimiento de X por elementos de S

que como S M M que no tiene subcubrimiento finito lo cual es absurdo

porque contradice la hiptesis.
Proposicin 8.8 Sean X e Y espacios topolgicos, con X compacto y una funcin
f : X Y continua entonces f X es compacto.
Demostracin Consideremos un cubrimiento U I por abiertos de Y es decir:

Y
I

como f X Y
I

U se tiene

X f 1 f X f 1 U
f 1 U
I I
1
y como f es continua los f U son abiertos en X , f 1 U I es entonces un
cubrimiento por abiertos de X que por hiptesis es compacto luego tiene un
subcubrimiento finito 1 ,..., n tal que

f
i 1

U f X
i

- 165 -

n
i 1

ff

U
i

Ui

n
i 1

U i

Topologa General

Captulo 8

- 166 -

y por lo tanto f X es compacto.

Proposicin 8.9 Sea X e Y espacios topolgicos con X compacto e Y Hausdrff y
sea f : X Y una funcin continua entonces f es cerrada.
Si adems f es biyectiva entonces f es un homeomorfismo.
Demostracin Sea F X cerrado, como X es compacto por proposicin 8.5
tenemos que F es compacto y por ser f continua por la proposicin anterior se tiene
que f F es compacto pero Y es Hausdrff f F es cerrado luego f lleva
cerrados en cerrados y por la proposicin una funcin biyectiva que sea cerrada y
continua es un homeomorfismo.
Proposicin 8.10 Sea X un espacio topolgico compacto y f : X
entonces f alcanza mximo y mnimo.

continua

Demostracin Como X es compacto y f continua, luego f X es compacto en

ya
vimos que es cerrado y acotado ver ejemplo 8.7 luego existe s sup f x : x X y
como
s f X f X es mximo
cerrado

anlogamente con el mnimo.

Proposicin 8.11 ( Teorema de Tijonov )
Sean X espacios topolgicos I , entonces
es compacto I .
Demostracin

Si

X es

X es compacto si y solo s

compacto X P X y como P es

continua I X es compacto para todo .

Sea S P1 A : A X abierto I es una subbase del

X como

vimos en su momento.
Probaremos que si tenemos un cubrimiento por abiertos de la subbase podemos
obtener un subcubrimiento finito para aplicar el lema de Alexander.
Tomemos un cubrimiento A S por abiertos de X y definimos para cada
I

A abiertos X : y tal que P A A

1

Probaremos que existe 0 I tal que A

es un cubrimiento de X 0 .

Supongamos de que no es as o sea que para todo I A

existe
- 166 -

no cubre a X luego

Topologa General

x X \

Espacios Compactos

- 167 -

A con I
AA

Entonces sea x X tal que x x

Como x X que es cubierto por

pero los
A U abierto tal que U A
abiertos de A son elementos de la subbase S
es decir U P1 A con A abierto de X

I en particular para es decir que existe U P1 A con A abierto en

X y tal que x U x x P U P P1 A A X es decir

x A pero por definicin A A

luego existe 0 I tal que A

A
AA

es un cubrimiento de X0 que por hiptesis es

compacto lo que implica que A1 ,..., An abiertos de X 0 que siguen recubriendo a

X 0 y por lo tanto

1
0

A1 ,..., P1 An A

es un subcubrimeiento finito de

con elementos de S ya que:

Si x X P0 x X 0

Ai

i 1

i 1,..., n tal que P0 x Ai x P01 Ai

es decir que x

n
i 1

Aplicando el lema de Alexander es

Corolario 8.12 Sea K

P01 Ai X

n
i 1

P01 Ai

compacto.

es compacto si y solo s es cerrado y acotado.

Demostracin Si K es compacto en un espacio de Hausdrff (por ser producto de

espacios de Hausdrff ) entonces por la proposicin 8.6 es cerrado y como adems
B 0, n : n es un cubrimieto de K
por se K compacto existe un cubrimiento finito

B 0, n1 ,..., B 0, nk K
K

B 0, ni

i 1

sea n0 max ni : i 1,..., k entonces

k

B 0, ni B 0, n0

i 1

- 167 -

Topologa General

Captulo 8

- 168 -

y por lo tanto K est acotado.

Si K es cerrado y acotado en n significa que est acotado en cada coordenada o
sea que existen ai , bi con i 1,..., n tal que Pi K ai , bi i 1,..., n y se tiene:
n

K
y como cada ai , bi

ai , bi

i 1

es compacto entonces por la proposicin anterior se tiene

n

a , b compacto
i 1

entonces K que es cerrado dentro de un compacto es compacto.

Definicin 8.2 Sea X un conjunto y S I una familia de subconjuntos no vacos
de X. Se dice que S I tiene la propiedad de interseccin finita si:
n
i 1

Si n

i I

es decir que siempre que tomemos una cantidad finita de ellos la interseccin es
distinta del vaco.
Ejemplo 8.8 Sea X
S x x, este conjunto tiene la propiedad de
interseccin finita que siempre que tomamos finitos de ellos

xi , m,
i 1

siendo m max xi : i 1,...,

Proposicin 8.13 Sea X un espacio topolgico , X es compacto si y solo s para

toda familia F de cerrados con la PIF (propiedad de interseccin finita) se tiene:

Demostracin Si X es compacto y F una familia de cerrados con la PIF

supongamos que
C

F F FC X

C
y como F son cerrados F son abiertos FC es un cubrimiento por abierto
de X y como X es compacto admite un subcubrimiento finito FC1 ,..., FCn tal que

- 168 -

Topologa General

Espacios Compactos
n
i 1

- 169 -

FCi X

Tomando los complementos

C

n
n C
F

Fi X C
i

i 1

i 1
lo cual es absurdo por ser F un conjunto con la P.I.F.
Recprocamente Si U es un cubrimiento por abiertos de X entonces los
complementos son cerrados y
C

U U X C

entonces por hiptesis no tiene la P.I.F. porque sino

UC
C

luego existe una cantidad finita de los UC tal que:

n
i 1

UCi para algn n

y tomando otra vez complemento

C

es decir que los U1 ,...,Un

n
n C
Ui Ui X
i 1

i 1
son un subcubrimiento finito de X X es compacto.

Proposicin 8.14 Sea X , un espacio topolgico, X es compacto si y solo s toda

red tiene una subred convergente.
Demostracin Sea X compacto y tomemos una red Td dD X entonces si

d D se define Fd Te : e d
Fd es una familia de cerrados con la P.I.F. ya
que dados Fd1 ,..., Fdn , sea e D tal que e di
para todo i 1,..., n que existe porque D es un
conjunto dirigido. Entonces:

Te

n
i 1

Fdi

- 169 -

n
i 1

Fdi

Fd
d

Topologa General

Captulo 8

- 170 -

Fd luego si

y como adems X es compacto entonces por proposicin anterior

dD

Fd es de aglomeracin de la red Td ya que:

x
dD

Dados N N x y d0 D como x Fd d D en particular

x Fd0 Td : d d0 N

Td : d d0

lo que implica d d0 tal que Td N que x es de aglomeracin de Td

Sea F : cerrados I con la P.I.F. y nos definimos:

F = Fi : 1 ,..., n I
i 1

ordenado por inclusin es decir F , G F F G F G el conjunto F es un

conjunto dirigido.
F F F xF F entonces xF FF es una red entonces por hiptesis
existe una subred convergente x X de aglomeracin entonces :
F F0 tal que xF N luego como
Para todo N N x y F0 F
F F0 tal que xF N
pero
xF F xF N F N F0

N
entonces

F0

N N x I N
x F F x

y por proposicin anterior el conjunto X es compacto.

Corolario 8.15 Sea X compacto y N1 entonces toda sucesin tiene una subsucesin
convergente.
Demostracin Sea xn n una sucesin que es un caso particular de red entonces
tiene punto x de aglomeracin x xn por ser N1 (proposicin 3.3) existe

x x
nk

tal que

xnk x
Definicin 8.3 Dado un espacio topolgico X decimos que es secuencialmente
compacto o compacto por sucesiones si toda sucesin en l tiene una subsucesin
convergente.
- 170 -

Topologa General

Espacios Compactos

Proposicin 8.16 Dado un espacio topolgico X

secuencialmente compacto.

- 171 -

compacto y N1 entonces es

Demostracin Sea en X una sucesin xn n por el corolario anterior tiene una

subsucesin convergente luego por definicin es secuencialmente compacto.
Proposicin 8.17 Sea M , d es un espacio mtrico compacto entonces M es
completo.
Demostracin Dada una sucesin de Cauchy xn n como por hiptesis M es
compacto y espacio mtrico (que es N1) esto implica por proposicin anterior que es
secuencialmente compacto luego tiene una subsucesin convergente y por
proposicin 7.2 la sucesin dada es convergente lo que significa por definicin que
M es completo.
Proposicin 8.18 Sea X , un espacio topolgico secuencialmente compacto y N2
entonces X es compacto.
Demostracin Sea U I un cubrimiento por abierto de X como el espacio es N2
implica que es de Lindelff o sea que existe un subcubrimiento numerable que
llamamos U n n
supongamos por el absurdo que este cubrimiento no tiene
subcubrimiento finito o sea :
U1 X ya que de no ser as U1 sera un subcubrimiento de U n n obviamente
finito. x1 U1 y como U n cubre a X n1
anlogamente sea A1

n1
i 1

tal que x1 U n1

U i X que tampoco es un subcubrimiento luego x2 A1

lo que implica que n2

tal que x2 U n2 con n2 n1 ya que si no fuera as se

tendra que x2 A1 y esto es absurdo.

Sea

Ak 1

nk 1

U i X xk Ak 1

luego

i 1

nk

con nk nk 1 tal que xk U nk

tenemos que as construimos sucesiones xk k , nk k ( creciente) y Ak

nk

Ui
i 1

tal que xk k no tiene punto de aglomeracin porque si este fuera x X como

U n n es cubrimiento de X i0 tal que x Ui0 como U i0 es abierto es

- 171 -

Topologa General

Captulo 8

- 172 -

entorno de todos sus puntos U i0 N x y nk k

k0

es creciente entonces existe

tal que nk0 1 i0 nk0 k k0

xk Ak pero xk Ak 1 xk Ak0

es decir que

x X Ui0 N x , k0

luego
xk no tiene puntos de
aglomeracin lo que significa que no
tiene subsucesin convergente o sea no
es secuencialmente compacto lo que es
absurdo por hiptesis.

nk0
i 1

U i xk U i0 k k0

tal que k k0 xk U i0
N1
X cto

X sec. cto

N2

Definicin 8.4 Un espacio topolgico X decimos que tiene la propiedad de BolzanoWeiestrass (B-W) si todo subconjunto infinito de X tiene un punto de acumulacin
Ejemplo 8.9
no es B-W ya que el conjunto de los enteros
ningn punto de acumulacin en .

es infinito y no tiene

Proposicin 8.19 Sea X , un espacio topolgico entonces se cumple que

1) Si X es secuencialmente compacto implica que verifica B-W
2) Si X verifica B-W, es T1 y N1 implica que es secuencialmente compacto.
Demostracin 1) Sea un conjunto A infinito incluido
T1 y N1
en X entonces existe xn A tal que
X B -W
xn xm si n m como xn es una sucesin en X X sec. cto
que es sec. cto. Implica que tiene una subsucesin
convergente a y; sea N N y n0
tal que
xnk N nk n0 como adems xn y por como se eligi la sucesin entonces

xn N y

es ms tiene infinitos elementos luego y es de acumulacin de xn A y por lo

tanto es de acumulacin de A lo que significa que verifica B-W.
2) Sea xn X si xn es finito implica que hay una subsucesin constante y por lo
tanto convergente luego es sec. cto.
Si xn es infinito por ser B-W tiene un punto y de acumulacin en X que por ser N1
tiene una base local numerable y decreciente Vn del punto y
Dado V1 existe n1 tal que xn1 V1 y
- 172 -

Topologa General

Espacios Compactos

Como X es T1 existe W2 N y tal que

x ,..., x
1

n1

- 173 -

W2

Por ser xn x1 ,..., xn1 es infinito e y es de acumulacin entonces existe

n2

tal que xn2 V2 W2 y adems n2 n1 repetimos el procedimiento por ser

X espacio T1 existe W3 N y tal que

x ,..., x
1

n1

, xn1 1 ,..., xn2 W3

as sucesivamente sea: xnk Vk con n j n j 1 j 2,..., k entonces por ser T1

implica que

Wk 1 N y tal que

x ,..., x
1

n1

, xn1 1,..., xn2 ,..., xnk 1 1,..., xnk ,

Wk 1

por ser y de acumulacin entonces existe xnk 1 Vk 1 Wk 1 y adems nk 1 nk

construimos as una subsucesin

x
nk

N y

d e xn ya que los nk k

es una

sucesin creciente en los naturales tal que xnk Vk luego xnk y es decir que
tenemos una subsucesin convergente lo que implica que X es sec. Cto.
Proposicin 8.20 Sea E , d un espacio mtrico secuencialmente. compacto
entonces es separable.
Demostracin Supongamos que E tiene ms de un elemento si no fuera as no hay
que probar nada.
Definimos
An A E : d x, y 1n si x, y A, x y
como el espacio E tiene ms de un elemento entonces tenemos al menos dos
puntos x, y E y sea n0 tal que
1
1
d x, y n0
0
n0
d x, y
1 1
adems n n0 d x, y x, y An An n n0
n n0
Para cada n ordenamos los An por inclusin A B A B y sea A I una
cadena ( conjunto linealmente ordenado) en An ,
Probaremos que
A An
I

ya que si x, y
I

A 1 , 2 I tal que x A1 e y A2 luego

x, y max A1 , A2 An d x, y
- 173 -

1
si x y x, y An
n

Topologa General

Captulo 8

- 174 -

luego

A An

Entonces An , es un conjunto ordenado tal que toda cadena en l esta acotada lo

que implica por el lema de Zorn que existe elemento maximal y llammosle
M n n n0
Adems M n es finito para todo n n0 ya que si fuera infinito xn M n con
xk x j k j como estamos en un espacio secuencialmente compacto implica que
tendramos una subsucesin xni n convergente en M n pero la subsucesin xni
i

no puede ser convergente ya que por construccin:

d xn j , xnk 1n si xn j xnk

es decir que no es de Cuachy lo que es absurdo por proposicin 7.1 luego M n es

finito y por lo tanto numerable.
Sea
M Mn
n

como M es unin numerable de conjuntos numerables es numerable y adems

probaremos que M E es decir es denso y por lo tanto E es separable.
Si x M B x, M x M
Por otro lado si x M x M n n n0
dado sea n0 tal que n10 entonces x M n ' M n lo que significa x M n An
por ser M n el elemento maximal de An lo que implica que no cumple la definicin
del conjunto An o sea y M n tal que d x, y 1n n10 n n0 luego

y B x, y B x, M n B x, M
B x,

M xM
por def.

Proposicin 8.21 Sea E , d un espacio mtrico entonces las siguientes

afirmaciones son equivalentes:
1) E es compacto
2) E es secuencialmente compacto
3) E verifica B-W
Demostracin 1) 2) como E , d es espacio mtrico que es N1 entonces
compacto y N1 secuencialmente compacto ahora por la proposicin anterior en

- 174 -

Topologa General

Espacios Compactos

- 175 -

espacios mtricos secuencialmente compacto separable N 2 por proposicin

2.21 y por ser sec. cto y N2 es compacto.
N1

Espacios mtricos

X cto

X cto

X se. cto
N2

X se. cto

T1 y N1

X B-W

X B-W

2) 3) Sea E , d espacio mtrico luego es N1 y es Haurdsff T1 ; entonces si el

espacio es sec. cto que verifica B-W y ahora como es espacio mtrico es T1 y N1
sec. cto.
Proposicin 8.22 Sea E , d un espacio mtrico compacto y U I un
cubrimiento por abiertos de E entonces 0 tal que x E x I se cumple
B x, U x
adems decimos que es el nmero de Lebesgue del cubrimiento
Demostracin Para cada x E se tiene x I tal que x U x por ser ste
ltimo abierto en

un espacio

consideremos el conjunto:

mtrico

r x tal que B x, r x U x

B x, : x E
r x
2

Que es un cubrimiento por abiertos de E que por ser compacto x1 ,..., xn tal que:

n
i 1

Sea min

: i 1,..., n probaremos
ri x
2

B xi ,

r xi
2

que este cumple con la tesis de

proposicin .
x E i0 1,..., n tal que

r xi0
x B xi0 ,

ahora si z B x, d x, z y

- 175 -

la

Topologa General

Captulo 8

d z, xi0 d z, x d x, xi0
luego se tiene que z B xi0 , r xi0 es decir que:

- 176 -

r xi0
2

r xi0

B x, B xi0 , r xi0 U x
i0

B x, U x con xi0 I
i0
Corolario 8.23 Dado E , d espacio mtrico, K E compacto, sea U abierto tal
que K U entonces existe 0 tal que
B x, U
xK

Demostracin Sea U I un cubrimiento por abiertos de K la prueba es la misma

que la proposicin anterior poniendo E K .
Definicin 8.5 Dado X , espacio topolgico decimos que es localmente
compacto si es Hausdrff y todo punto tiene un entorno compacto.
Ejemplo 8.9 Si X es compacto y T2 localmente compacto.
En los reales
dado x se tiene a, b es compacto y tal que x a, b luego es
localmente compacto pero no es compacto.}
Al igual que n no es compacto pero para cualquier punto x siempre existe una bola
B x, tal que x B x, compacto
X con la topologa indiscreta el propio punto x es compacto
Ejemplo 8.10 Los racionales
ya vimos que no es compacto pero s es localmente
compacto porque dado un q tenemos que:
a, b q , q es compacto
q , q
cerrado en

compacto

Ejemplo 8.11 Como

es numerable sabemos que existe f : biyectiva y sea
con la topologa indiscreta que f es continua ya que:

B q f 1 B f 1 q
f 1 q abierto

qB
qB qB abierto
la compacidad local no se conserva por aplicaciones continuas.
- 176 -

Topologa General

Espacios Compactos

- 177 -

Lema 8.24 Sea X , un espacio topolgico de Hausdrff y compacto dado en X

un cerrado F y un abierto A con F A entonces existe un abierto V tal que F V
yVA
Demostracin Como
F A F AC
adems como A es abierto AC es cerrado
entonces los conjuntos F , AC como son cerrados
en un compacto son compactos y podemos
aplicar la proposicin 8.4 es decir existen
abiertos U ,V X disjuntos tales que
F
C
A U y F V
Pero si AC U U C A adems V
ya que de no ser as

Si z V

A
F

U abierto

U z U U N z

z V V U

luego V U V U C A encontramos un abierto que contiene a F y su

clausura esta dentro del A como queramos.
Proposicin 8.25 Sea X un espacio topolgico de Hausdrff entonces los entornos
cerrados del punto constituyen una base local.
Demostracin para demostrar la tesis tenemos que demostrar que dado un entorno
cualquiera del punto es posible encontrar un entorno del punto cerrado.
Dado N N x A abierto tal que x A N .Como x es cerrado por se X de
Hausdrff podemos tomar F x y aplicar el lema anterior luego existe V abierto
tal que x F V y V A entonces como

x V V V Nx
abierto

tal que V A N encontramos un entorno cerrado del punto contenido en el

entorno dado.
Proposicin 8.26 Sea X , un espacio topolgico localmente compacto entonces
los entornos compacto de cada punto constituyen una base local.
Demostracin Sea
x X tomemos un entorno cualquiera de x N N x y
encontremos un entorno compacto de x en N.
- 177 -

Topologa General

Captulo 8

- 178 -

Como X es localmente compacto implica que existe U N x compacto entonces

como U N N x existe una abierto A tal que x A U N como el punto x es
un subconjunto cerrado por ser X de
Hausdrff ( T2 T1 ) en un abierto A
podemos aplicar el lema tomando
U
N X y F x luego existe un abierto N
V N tal que

x V V A U N
x
V
en particular V U ,al ser V abierto en N y
A
como V A y A es abierto en X implica
que V es abierto en X . Tambin V es
cerrado en U ms como X es de Hausdrff
el compacto U es cerrado en X luego V coincide con la clausura de V en X. Por otro
lado como V es cerrado en U que es compacto implica que es compacto.
Luego conseguimos un V compacto tal que x V V V N x
abierto

Proposicin 8.27 El producto finito de espacios localmente compacto es localmente

compacto.
Demostracin
Hausdrff .

Primero vamos a probar que el producto de Hausdrff es de

n

Sean entonces dos puntos del producto distintos x y X i por ser distintos
i 1

significa que existe j 1,..., n tal que x j y j y como X j es de Hausdrff existen

abiertos disjuntos U ,V X j tal que x j U , y j V entonces

x X 1 ... X j 1 U X j 1 ... X n
abiertos disjuntos
y X 1 ... X j 1 V X j 1 ... X n
n

luego

X
i 1

es Hausdrff

Sea x X i xi X i U i N xi X i con U i compacto entonces:

i 1

x U i es compacto y entorno del x

i 1

Luego es localmente compacto.

Veamos algunas aplicaciones.
- 178 -

Topologa General

Espacios Compactos

Proposicin 8.28 ( Teorema de Dini )

Sea X un espacio topolgico compacto f n : X
continuas tales que:
i) f n x f n1 x x X
ii) existe lim f n x f x continua

- 179 -

sucesiones de funciones

entonces f n

f (converge uniformemente)

Demostracin Dado 0 tomemos

Fn x X : f n x f x
Por ser f n y f continuas f n f es continua luego

1
Fn f n f , Fn es cerrado n

cerrado
como f n x f n1 x entonces:
f n x f x f x f n x f x f n1 x f n1 x f x
luego si x Fn1 x Fn Fn1 Fn
Por la hiptesis de convergencia puntual (ii) x X n0 x tal que
f n x f x n n0 x
luego
x Fn n n0 x
por lo tanto
Fn
n

es decir no hay un x que pertenezca a todos los Fn luego como estamos en un

espacio compacto Fn no puede tener la P.I.F

n1 ,..., nk tales que

k
j 1

Fn j

sea n0 max x1 ,..., xk entonces

k
j 1

Fn j Fn0 n n0 Fn Fn0 Fn

luego

n n0 f n x f x x X
luego por definicin converge uniformemente.

- 179 -

Topologa General

Captulo 8

- 180 -

Corolario 8.29 Sea X un espacio topolgico compacto supongamos que existe

Pn sucesin de polinomios Pn X en las hiptesis del teorema anterior con

f x x en 0,1 entonces
Pn f
Demostracin Consideremos P0 t 0 y

Pn1 t Pn t 12 t Pn2 t n 1 si t 0,1

Por induccin se demuestra que

0 Pn t t

Sea g : 0,1

g x x 12 t x 2
como g x 1 x 0 en 0,1 g
entonces si 0 x t g x g

y g

como

0 Pn t t
g Pn t t
Pn 1 t

Pn1 t Pn t 12 t Pn2 t Pn t
0

Pn1 t Pn t
Al ser Pn creciente y Pn t t acotada superiormente entonces existe el lmite
puntual
lim Pn t t
n

tomando lmite en la siguiente igualdad

Pn1 t Pn t 12 t Pn2 t

t t 12 t 2 t
t 2 t 0 como 0 es t t
tenemos que Pn : 0,1
teorema de Dini

que es continua entonces como

t luego por el
con Pn t Pn1 t y tal que Pn t
n

- 180 -

Topologa General

Espacios Compactos

lim Pn t
n

Proposicin 8.30 Sea K

f x x entonces existe qn x

compacto y
x tal que
qn f en K

Demostracin Se tiene que existe L

tal que

- 181 -

f :X

definida

como

tal que K L, L sea g : L, L 0,1

2

x
g x
L
Sabemos que existe Pn X tal que Pn x en 0,1 luego:
x
Pn g g x
L
polinomio
Sea qn L.Pn g x

Ejemplo practico
Enunciado Probar que un espacio mtrico compacto y localmente conexo tiene un
nmero finito de componentes conexas Probar con ejemplos que las hiptesis son
necesarias.
Sea X espacio topolgico compacto y localmente conexo.
Por ser localmente conexo sabemos que si A X es abierto entonces sus
componentes conexas son abiertas , en particular si A X las componentes conexas
de X son abiertas. Llamemos C x la componente conexa que contiene a x entonces
Cx xX es un cubrimientos por abiertos de X, que por ser compacto tiene un
subcubrimiento finito es decir existen x1 ,..., xn tal que

n
i 1

Cxi

luego X tiene una cantidad finita de componentes conexas que seran a lo sumo las
C xi con i 1,..., n .Digo a lo sumo porque podra suceder que Cxi Cx j y eso
implica que Cxi , Cx j es la misma componente conexa.
Sea en los reales el siguiente subconjuto X con la topologa relativa usual

- 181 -

Topologa General

Captulo 8

- 182 -

n, n 1

X
n

Tenemos que es localmente conexo ya que:

x X n, n 1 m

tal que x m, m 1

y los intervalos x , x con min x m, m 1 x es una base de entornos

conexos de x.
Adems como los conexos en
vimos que son los intervalos tenemos que
n, n 1 X es conexo para todo n que son disjuntos por ser abiertos luego
son componentes conexas y por lo tanto tenemos infinitas componentes conexas.
En este ejemplo no se cumple que el espacio sea compacto ya que en los reales, los
compactos son cerrados y acotados y por definicin X no es acotado.
Sea C el conjunto de Cantor sabemos que es compacto por ser cerrado dentro de
0,1 que es compacto. Por otro lado sabemos que no tiene ningn intervalo luego
los nicos conjuntos conexos son los conjuntos unipuntuales. En este ejemplo lo que
no se cumple es la hiptesis de localmente conexo porque las componentes conexas
(conjuntos unipuntuales ) no son abiertos ya que si fueran abiertos seran aislados y
sabemos que son de acumulacin y tenemos no numerables componentes conexas.

- 182 -

Por cualquier comentario

sobre este material por favor
comunicarlo a Ramn Sellanes
Mail-proferamon@adinet.com.uy

Indice
Captulo 0..................................5
Relacin de orden................................................................7
Orden total...........................................................................8
Cadena..................................................................................9
Lema de Zorn.......................................................................9
Axioma de Eleccin............................................................10
Cardinal...............................................................................11
Teorema de Cantor..............................................................13
Conjunto finito.....................................................................14
Conjunto Numerable............................................................14

Captulo 1..................................29
Distancia mtrica.................................................................29
Norma..................................................................................31
Bola Abierta.........................................................................33
Mtrica Relativa...................................................................35
Conjunto Abierto.................................................................35
Conjunto Cerrado.................................................................38
Mtricas Equivalentes..........................................................39

Captulo 2..................................43
Espacio topolgico...............................................................43
Metrizable............................................................................44
Entorno................................................................................45
Interior.................................................................................47
T0.........................................................................................49
T1.........................................................................................50
T2 o Hausdrff.....................................................................51

Clausura...............................................................................52
Punto de Acumulacin.........................................................57
Punto Aislado.......................................................................57
Frontera................................................................................57
Conjunto Denso...................................................................58
Conjunto Separable..............................................................58
Base......................................................................................60
Sub Base..............................................................................62
N2 ........................................................................................63
Cubrimiento.........................................................................65
Subcubrimiento....................................................................65
Espacio de Lindelff............................................................65
Base Local...........................................................................69
N1.........................................................................................70

Captulo 3..................................75
Sucesin Convergente.........................................................75
Conjunto Dirigido................................................................77
Red.......................................................................................78
Punto de Aglomeracin.......................................................81
Continuidad.........................................................................83
Continuidad uniforme..........................................................88
Homeomorfismo..................................................................90
Funcin Abierta...................................................................90
Funcin Acotada..................................................................91

Captulo 4..................................95
Conjunto de Cantor..............................................................95

Captulo 5................................103
Topologa Producto...........................................................103
Proyeccin Cannica.........................................................103

Captulo 6................................113
Espacio Conexo................................................................113
Teorema de Bolzano.........................................................116
Convexo en Espacios Normados......................................118
Conectados.......................................................................122
Componente Conexa........................................................122
Localmente Conexo...........................................................124
Camino...............................................................................127
Conectado por Camino......................................................127
Localmente Conexo por Camino.......................................131

Captulo 7................................135
Sucesin de Cauchy..........................................................135
Espacio Mtrico Completo................................................137
Completacin ....................................................................144
Teorema de Cantor............................................................147
Contraccin y Punto Fijo...................................................148
Magro................................................................................150
Teorema de Baire...............................................................151

Captulo 8................................157
Espacio Topolgico Compacto.........................................157
Teorema de Heire-Borel....................................................159
Lema de Alexander............................................................163
Teorema de Tychonoff......................................................166
PIF......................................................................................168
Espacio Secuencialmente Compacto.................................170
Espacio Bozano-Weiestrass...............................................172

Captulo 9................................183
Topologa Final................................................................183
Topologa Cociente..........................................................183
Conjunto Saturado............................................................184
Relacin de Equivalencia Abierta (Cerrada)....................185
Propiedad Universal del Cociente....................................188
Cinta de Mbius................................................................190

ndice alfabtico
Adherente 52
Aplicacin cociente 183
Axioma de eleccin 10
Base 60
Base local 69
Bola abierta 33
Botella de Klein 190
Cadena 9
Camino 127
Cardinal 11
Cardinal del conjunto potencia 27
Cilindro 189
Cinta de Mbius 190
Clase de equivalencia 6
Clausura 52
Cofinito 44
Complementos finitos 44
Completacin 144
Componente conexa 122
Componente conexa por camino 129
Conectado por camino 127
Conectados 122
Conjunto abierto 35
Conjunto cerrado 38
Conjunto compacto 157
Conjunto conexo 113
Conjunto convexo 118
Conjunto de Cantor 95
Conjunto de ndices 5
Conjunto de partes finitas 22
Conjunto denso 58
Conjunto dirigido 77
Conjunto finito 14
Conjunto numerable 14
Conjunto ordenado 8
Conjunto saturado 184
Conjunto totalmente ordenado 8
Contraccin 148
Convergencia puntual 93
Convergencia uniforme 91
Cota superior 8
Cubrimiento por abiertos 65
Disconexo 113

Distancia 29
Distancia discreta 30
Elemento maximal 8
Entorno 45
Equipotente 11
Espacio cociente 183
Espacio de convergencia uniforme 91
Espacio discreto 34
Espacio mtrico 29
Espacio mtrico completo 137
Espacio proyectivo real 190
Espacio topolgico compacto 157
Espacio topolgico de Baire 153
Espacio vectorial normado 31
Espacios conexos 113
Espacios homeomorfos 90
Espacios isomtricos 88
Espacios Topolgicos 43
Extensin continua 142
Familia indexada de conjuntos 5
Frontera 57
Funcin abierta 90
Funcin cerrada 90
Funcin cofinal 81
Funcin continua 83
Funcin distancia 89
Funcin Indexada 5
Funcin uniformemente continua 88
Hausdrff
51
Homeomorfismo 90
Inductivo 15
Inmersin 88
Interior 47
Isometra 88
Lema de Alexander 163
Lema de Zorhn 9
Lindelff 65
Localmente compacto 176
Localmente conexo 124
Localmente conexo por camino 131
Magro 150
Mximo 8
Mtrica relativa 35

Mtricas equivalentes 39
Metrizable 44
N1 70
N2 63
Norma 31
Nmero de Lebesgue 175
Nunca denso 150
Particin
7
Primer axioma de numerabilidad 70
Principio del buen orden 15
Producto cartesiano 10
Producto cartesiano 103
Propiedad Bolzano-Weiestrass 172
Propiedad de interseccin finita 168
Propiedad universal del cociente 188
Proyeccin cannica 103
Punto aislado 57
Punto de acumulacin 57
Punto de aglomeracin 81
Punto fijo 148
Punto interior 47
Red 78
Red convergente 78
Relacin 6
Relacin abierta 185
Relacin cerrada 185
Relacin de equivalencia 6
Relacin de orden parcial 7
Relacin de orden total 8
Secuencialmente compacto 170
Segundo axioma de numerabilidad 63
Separable 58
Seudo distancia 29
Subcubrimiento 65
Subred 82
Subsucesin 75
Sucesin 75
Sucesin convergente 75
Sucesin de Cauchy 135
T1 50
T2
51
Teorema de Baire 151
Teorema de Bolzano 116
Teorema de cantor 13

Teorema de Cantor 147

Teorema de Cantor-Bernstein 13
Teorema de Dini 179
Teorema de Heire-Borel 159
Teorema de Tijonov 166
Teorema de unicidad de convergencia 81
To
49
Topologa discreta 44
Topologa final 183
Topologa indiscreta 44
Topologa ms fina 62
Topologa Producto 103
Topologa relativa 45
Toro 189
Unin de numerables 18