Professional Documents
Culture Documents
Preliminares
Vamos a ver en este primer captulo de preliminares algunos conceptos, ideas y propiedades que
seran muy u tiles para el desarrollo de la asignatura. Se trata de resultados sobre conjuntos, aplica-
ciones, numerabilidad y propiedades de los numeros reales.
1.1 Conjuntos
Supondremos conocidos algunos conceptos basicos sobre conjuntos: union, interseccion, diferen-
cia, etc... No obstante intentaremos fijar algunas ideas recordando varios resultados interesantes.
Recordemos que utilizaremos, como es habitual, la siguiente notacion para algunos conjuntos de
numeros que son basicos.
Definicion 1.1.1 (Familia de conjuntos). Una familia de conjuntos A sera un conjunto cuyos
elementos son, a su vez conjuntos. Los representaremos con letras mayusculas caligraficas y se
pueden expresar a traves de un conjunto de ndices I de la siguiente forma:
A = {Ai : i I}
1
2
CAPITULO 1. PRELIMINARES
Definicion 1.1.2 (Union e interseccion de una familia). Dada una familia de conjuntos A =
{Ai : i I} definimos:
Union de la familia A como el conjunto de todos los elementos que pertenecen a alguno de
los conjuntos de A y lo representaremos de las dos maneras siguientes:
[
A = {x : existe A A tal x A}
[
Ai = {x : existe i I tal x Ai }
iI
ST T S
1. B ( iI Ai ) = iI (B Ai )
TS S T
2. B ( iI Ai ) = iI (B Ai )
Demostracion. -
ST S
(1) Si x B ( iI Ai ), supongamos que x B, entonces x B Ai , para todo i I,
T S T
por tanto x iI (B Ai ). Si ahora suponemos que x / B, sera x iI Ai , luego x Ai
S
para todo i I lo que implica que x B Ai para todo i I y por tanto esta en la interseccion
T S
iI (B Ai ) de todos ellos.
T S S
Sea x iI (B Ai ), entonces x B Ai para todo i I; si x B tenemos que
ST T
x B ( iI Ai ) y si x / B sera x Ai para todo i I, por tanto x iI Ai lo que lleva a
ST
que x B ( iI Ai )
1. ( ii Ai )c = ii Aci o bien X r ( ii Ai ) = ii (X r Ai )
S T S T
2. ( ii Ai )c = ii Aci o bien X r ( ii Ai ) = ii (X r Ai )
T S T S
Si x ( ii Ai )c , entonces x
/ Ai para todo i I, por tanto x Aci para todo i I, luego
S
c
T
x ii Ai .
Bc
T
1. A r B = A
T
2. A r (A r B) = A B
T
3. A r (A B) = A r B
1.2 Aplicaciones
Definicion 1.2.1 (Aplicacion). Una aplicacion entre los conjuntos X e Y es una correspondencia
entre ellos tal que, a cada punto de X le hace corresponder uno y solo un punto de Y . La
representaremos de la siguiente manera
f
f : X Y, o bien , X Y
4
CAPITULO 1. PRELIMINARES
Una aplicacion, f : X Y , esta dada por un conjunto de pares ordenados, y puede entenderse
como un subconjunto del producto cartesiano X Y , de la forma siguiente:
(f ) = {(x, y) : x X, y = f (x) Y } X Y,
que se denomina la grafica de f o el grafo de f . Este conjunto debe cumplir que para todo elemento
x X existe un u nico elemento y Y tal que (x, y) (f ). Este y se llama la imagen de x por
f , y se representa por y = f (x).
f 1 (B) = {x X : f (x) B} X
Conviene tener en cuenta que el smbolo f 1 (B) es simplemente una notacion de un conjunto.
No hay que cometer el error de suponer que f 1 indica que la aplicacion f tiene una aplicacion
inversa.
Proposicion 1.2.3. Sea f : X Y una aplicacion entre conjuntos y sean los subconjuntos
A X y B Y . Entonces
1. A f 1 (f (A)),
2. f (f 1 (B)) B.
Demostracion. -
(2) Si y f (f 1 )(B)), entonces f (x) = y para algun x f 1 (B), luego f (x) B, pero como
la imagen de cada x es u nica, f (x) = y B.
Proposicion 1.2.5. Sean f : X Y una aplicacion entre conjuntos y las familias de subcon-
juntos {Ai X : i I} y {Bj Y : j J}. Entonces
S S
1. f ( iI Ai ) = iI f (Ai ),
T T
2. f ( iI Ai ) iI f (Ai ),
3. f 1 ( jJ Bj ) = jJ f 1 (Bj ),
S S
4. f 1 ( jJ Bj ) = jJ f 1 (Bj .
T T
5. f (A r B) f (A) r f (B)
Ejemplo 1.2.6. Este ejemplo muestra que las inclusiones (1) y (5) de la proposicion anterior no
son, en general, igualdades.
Hay relaciones entre las imagenes inversas de los complementarios y el complementario de las
imagenes inversas. As se tiene:
Ejemplo 1.2.8. No se verifica ninguna relacion entre las imagenes y los complementarios.
Si consideramos f : R R, definida como f (x) sen x, tenemos que f ([0, ]c ) = [1, 1] y, sin
embargo [f ([0, ])]c = [0, 1]c = (, 0) (1, +)
S
Un tipo especial de aplicaciones que se utilizaran con frecuencia son las sucesiones. Una sucesion
en X es una aplicacion : N X. Es costumbre representar la sucesion como {xn } n=1 donde
xn = (n).
Es conveniente distinguir una sucesion de su conjunto imagen. Una sucesion siempre tiene in-
finitos terminos, pero su conjunto imagen no tiene por que ser infinito. Por ejemplo, la sucesion
{1, 0, 1, 0, ...} tiene como conjunto imagen el {0, 1}.
1.3 Numerabilidad
Definicion 1.3.1 (Conjunto finito). Diremos que X es un conjunto finito si existe un numero
natural n 6= 0 y una aplicacion biyectiva
: {1, 2, ..., n} X
Definicion 1.3.2 (Conjunto infinito numerable). Diremos que X es un conjunto infinito numer-
able si existe una aplicacion biyectiva : N X.
Definicion 1.3.3 (Conjunto numerable). Diremos que X es un conjunto numerable si es, o bien
finito, o bien infinito numerable. Si X no es numerable, se dice que es infinito no numerable.
Si existe p tal que ya no podemos hacer lo anterior, es decir (p) (0) . . . (p 1) es que
A ya no tiene mas elementos y, por tanto es finito, con lo cual hemos acabado. En caso contrario
podremos continuar y para cada p N existe (p) A, (p) 6= (i) para i < p. Evidentemente
es biyectiva y (p) p.
En ocasiones, en lugar de buscar una aplicacion biyectiva para comprobar la numerabilidad, con-
viene hacer uso de la siguiente caracterizacion, que resulta evidente despues de la proposicion
anterior.
Esta propiedad puede interpretarse as: un conjunto X es numerable si existe una sucesion tal que
su conjunto imagen es todo X.
Proposicion 1.3.8. Sea I un conjunto numerable de ndices, y para cada i I, sea Si un conjunto
S
numerable. Entonces, S = iI Si es numerable.(La union numerable de conjuntos numerables
es un conjunto numerable).
Demostracion. Por el hecho de ser Si numerable, para cada i existe una aplicacion suprayectiva
i : N Si . Entonces, la aplicacion:
: I N S
Entonces la composicion
(,Id)
N N N I N S
es una aplicacion suprayectiva, y por tanto S es numerable.
Proposicion 1.3.10. Sea una coleccion de conjuntos numerables Si para i = 1, 2, ..., n. Entonces
S = S1 S2 ... Sn es numerable.
donde cada aij {0, 1, . . . 9}. Para que el numero de cifras decimales sea distinto de 0 en todos,
si tenemos un numero que tiene un numero finito de decimales no nulos, tomamos su otra forma
de expresion:
1
= 0, 5 = 0, 4999999 . . .
2
Consideremos el numero real del intervalo [0, 1], x = 0, b1 b2 b3 . . . bn . . . de la siguiente forma:
b1 6= a11 y b6 = 0; b2 6= a22 y b2 6= 0 y as sucesivamente. Esta claro que y 6= xi para todo i, por
tanto x
/ [0, 1], lo cual es imposible.
Como consecuencia, todo conjunto que contiene al intervalo (0, 1) no es numerable. En particular,
R no es numerable.
Una propiedad importante de los numeros reales, relacionada con el orden, es la propiedad arqui-
mediana. esta propiedad se puede formular de varias maneras, damos aqu dos de ellas:
Proposicion 1.3.13 (Propiedad Arquimediana). Para cualquier numero real positivo > 0
existe un numero natural n N tal que
n = + ... + > 1.
Proposicion 1.3.14 (Propiedad Arquimediana). Para cualquier par de numeros reales tales que
x < y, se puede encontrar siempre un numero racional q Q verificando x < q < y.
10
Captulo 2
Espacios Metricos
Definicion 2.1.1 (Distancia). Dado un conjunto , una distancia es una aplicaci o n
que a cada par le asocia un numero real
y que cumple los
siguientes condiciones:
1.
.
2.
si, y solo si (separacion).
Definicion 2.1.2 (Espacio metrico). Se llama espacio metrico a un par $+ , donde es un
conjunto y es una distancia definida en .
Ejemplo 2.1.3.
,-
. /
021 31
(1) El espacio metrico de los numeros reales con la metrica del valor absoluto de la diferencia, es
decir definida como .
(2) El espacio metrico discreto. Sea un conjunto no vaco cualquiera; si 4 definimos
-
65 87 $+
si y si . es un espacio metrico. 9
Antes de continuar con el siguiente, e importante ejemplo, conviene establecer una interesante
relacion:
11
12
CAPITULO
2. ESPACIOS METRICOS
Demostracion. Dado cualquier se verifica que *&
el
. Si desarrollamos
cuadrado y
agrupamos
tendremos que tomando & & ,
,
y .
En estos terminos, lo que queremos probar es que . Si "
todos los y por
tanto tambien todos los
. Si 7 podemos poner
" & & ,
"!
$#
)*& &
para todo 8
. El segundo miembro es mnimo si
$%&
y si lo sustituimos en la expresion
anterior
(') "
"
(')
Ejemplo 2.1.5.
(1) Sea
, y para los puntos
, e *
se definen las aplicaciones:
*1 1 &21 1
&
+*,
--
0 .0/13$1 1 1 1 2
--
En el grafico anterior puede verse como es cada una de estas distancias. Las tres son generaliza-
ciones de la metrica del valor absoluto de la diferencia, y las tres tienen nombre propio: se
llama la metrica del taxi, se llama la metrica eucldea o usual y 3- se llama la metrica del
ajedrez o del maximo.
2.1. DISTANCIAS Y ESPACIOS METRICOS 13
-
0
*
0
1 1
+*,
--
$ 1 1 5
La prueba de que y - son distancias es una mera comprobacion. Lo mismo sucede con las
propiedades (1) y (2); no as con la desigualdad triangular en la que hay que utilizar la desigualdad
de Cauchy-Schwarz. Veamoslo.
# &
(# &
# (#
aplicando la desigualdad de Cauchy-Schwarz al u ltimo sumando de la expresion anterior, podemos
continuar
# &
( # &
# (#
# & (# &)
# (#
# 3& (#
(
Las tres metricas se pueden considerar generalizaciones de la metrica del valor absoluto en
vista
en el Ejemplo 1.0.3(1)
(#
# 21 # # 1
(3) El conjunto de los numeros complejos con la metrica del modulo de la diferencia
con , es un espacio metrico. # $#
14
CAPITULO
2. ESPACIOS METRICOS
(de
. Dadas dos funciones (que son los puntos de este espacio),
(4) Sea la palabra inglesa bounded que significa acotada), el conjunto de
funciones acotadas
!
1
1
, sea
-- )
..
.. ..
..
-
.. ..
.. ..
.. ..
.. ..
.. ..
.
. .
El par $- es un espacio metrico y la metrica se denomina metrica del supremo o metrica
uniforme.
1
1
)0
...
.. ...
.. ..
.. ..
.. ..
.. ..
.. ..
..
.
(6) Las siguientes metricas se pueden definir en el producto de dos espacios metricos. Sean
- $ +
$
y ; se define para 6
*
, donde !
:
Se ve claramente que se trata de una construcci
9
on similar a la seguida en el ejemplo 1.0.5(1) para
la construccion de tres distancias en ; y juegan el papel de 1+1 .
$+ un subcon-
2
Definicion 2.1.7 (Subespacio metrico). Sea
un espacio metrico y sea
6
. El par $
recibe el nombre
junto de . Sea tambien , definida por
es un espacio metrico y se llama un subespacio metrico de , y la metrica
de metrica inducida por .
Si
su metrica es la metrica inducida por la metrica eucldea de
Ejemplo 2.1.8.
(2) con la metrica inducida por - es subespacio metrico de .
(3) El espacio de las sucesiones reales con lmite 0, es subespacio metrico de - . 9
Definicion 2.1.9 (Distancia de un punto a un conjunto). Sea $+ un espacio m e trico, sea un
subconjunto
. Definimos la distancia de un punto
al subconjunto como
que existe dado que el conjunto sobre el que tomamos el nfimo, esta acotado inferiormente por 0.
16
CAPITULO
2. ESPACIOS METRICOS
Ejemplo 2.1.11.
(3) Consideremos
$ y
& ",5 y 2
&* .
Entonces *
5 . Una grafica ayuda a realizar este sencillo calculo: la distancia que
queremos calcular es la diferencia entre la longitud de la diagonal de un cuadrado de lado 1, que
es y diametro del crculo que es 1.
5 ......................
..
..
..
.
5
9
2.2. BOLAS 17
2.2 Bolas
Los subconjuntos, quizas mas importantes, de un espacio metrico, que vamos a estudiar a contin-
uacion, son las bolas abiertas; que daran origen a un concepto fundamental: el de conjunto abierto.
Se trata de una generalizacion del concepto conocido de intervalo abierto centrado en un punto en
.
Definicion 2.2.1 (Bola abierta). Sea $+
un espacio metrico y sean ,y un numero
real. Definimos la bola abierta en , centrada en y de radio como el conjunto
-
Si se necesita especificar con que metrica se esta trabajando, se representara la bola abierta por
.
11 la bola abierta de centro y radio es el intervalo abierto de extremos
Ejemplo 2.2.2.
(1) En y
&
1 1 &
-
En el espacio
$ -
$#%
&8 &'#
,
es el interior de la bola o
esfera solida de radio centrada en .
$ *
Las bolas abiertas, sin embargo, pueden ser realmente muy diferentes y no tener la apariencia de
una bola esferica. En - , la bola -(+
es el interior del cuadrado de centro y de lados
paralelos a los ejes de coordenadas y con longitud .
En
$
con la metrica , la bola - (+
es el interior del cuadrado centrado en el punto (+$
y con vertices en los puntos ( + (+ $ $ podemos
. Con la grafica siguiente nos
hacer una idea de como son estas tres bolas, con centro 0 y radio en el plano . 65
1 1 1 ...
. .
...... ........
.. .....
.....
5 5 5 ... .....
........ ...
.....1
1 1 ..... ..
.
.... ...
..... ........
5 5 5
..........
+ 5
- + 5 , cuya
- ,
&
(3) En es el conjunto de todas las funciones continuas en
grafica se encuentra entre las graficas de las funciones y .
en . Entonces, en ,
5 5 9
(+
, mientras que para la metrica inducida en , 5 5 0 ( + 5
.
Las bolas abiertas en un subespacio metrico son la interseccion con el subespacio de la bola del
espacio total con el mismo centro y radio:
$+
$
Proposicion 2.2.3 (Bolas en subespacios metricos). Sea un espacio metrico, y sea un
subconjunto de ; entonces las bolas abiertas del subespacio m e trico son la intersec-
cion de las correspondientes bolas en el espacio total con el subconjunto. Es decir,
2.3 Abiertos. Propiedades
Uno de los objetivos de este curso es llegar al concepto de espacio topologico por medio del
estudio de los espacios metricos, que son mas naturales, y de sus propiedades. Empezaremos con
una propiedad caracterstica de las bolas abiertas, que nos va a dar lugar a introducir una primera
definicion de conjunto abierto; en este caso, abierto en un espacio metrico.
Lema 2.3.1. Sea -
una bola abierta en un espacio metrico $+ , y sea -
,
entonces existe un
tal que -
-
.
..........
... ..
-
-
Demostracion. Basta tomar de modo que
. El numero se
puede escoger
as ya que, como -
, entonces
. Entonces
, puesto que si
#* -
$
entonces, por la desigualdad triangular,
Por tanto, # -
.
Demostracion. (Ejercicio)
Este resultado permite plantearse la definicion de un tipo de subconjuntos que verifican esta condi-
cion, es decir, de aquellos subconjuntos tales que, para cualquier punto del subconjunto, existe una
bola abierta centrada en e l y totalmente contenida en el subconjunto. Seran los conjuntos abiertos.
$+
-
Definicion 2.3.3 (Conjunto abierto). Sea un espacio metrico. Diremos que un subcon-
junto es abierto en si para cada $+
existe un tal que 4 .
Observemos que el numero real depende del punto , es decir, para diferentes ser a n necesar-
ios diferentes radios .
.
1 1,5 1 31
(5) La condicion de ser abierto tambien depende del conjunto sobre el que se define la metrica.
+ 5 + $
es abierto en , pero no lo es en el espacio total con la metrica
9
As, el intervalo
Algunas de las propiedades e ideas mas importantes que abordaremos y, que de hecho, ya se estan
abordando en analisis, necesitan del estudio de lo que ocurre en un punto y, mas en concreto, en
las cercanas, en los alrededores de un punto; as sucede con la continuidad, con la convergen-
cia,... Necesitamos realizar un estudio local. Vamos a ver algunos conceptos que facilitaran dicho
estudio.
$+
-
Definicion 2.3.8 (Entorno). Sea un espacio metrico, un subconjunto y .
Diremos que es un entorno de si existe un
tal que .
Ejemplo 2.3.9.
(1) Una bola abierta en un espacio metrico, es entorno de todos sus puntos. En concreto, en
con
la metrica usual, un intervalo abierto, es entorno de todos sus puntos.
Demostracion. (Ejercicio)
2.4 Cerrados
Tan importantes como los abiertos, son sus complementarios, los llamaremos cerrados.
2.4. CERRADOS 21
$+
Definicion 2.4.1 (Cerrado). Sea
es cerrado en
un espacio metrico. Diremos que un subconjunto
$+
si su complementario es un subconjunto abierto en
$+ .
Ejemplo 2.4.2.
&
En , con la metrica usual, los intervalos cerrados son subconjuntos cerrados; tambien lo son las
. No lo son los intervalos de la forma
o
9
semirrectas cerradas o
, .
Si para todo (
), existe tal que -
. , entonces -
,
entonces es abierto, luego es cerrado.
Ejemplo 2.4.4.
$ , el conjunto .
1 1 5 1 31)" no es cerrado y
(2) En
$ , cualquier recta es un conjunto cerrado. 9
Definicion 2.4.5. Sea $+ un espacio metrico, sea , y numero real. Llamaremos
bola cerrada de centro y radio al conjunto
"
Proposicion 2.4.6. En un espacio metrico, las bolas cerradas son conjuntos cerrados
Demostracion. (Ejercicio)
Ejemplo 2.4.8.
+ 5 3
+ 5 5 + 5
no es cerrado.
+ 5
(3) Hay subconjuntos que no son ni abiertos ni cerrados, por ejemplo con la metrica
eucldea.
9
(4) Tambien es posible que un subconjunto sea a la vez abierto y cerrado. Por ejemplo, con la
metrica discreta, cualquier subconjunto es a la vez abierto y cerrado.
$+ un espacio 2
y tal que -
.
Definicion 2.4.9. Sea metrico y . Diremos que es un subconjunto
acotado si eixten
Ejemplo 2.4.10.
(1)
con la metrica eucldea es un espacio metrico no acotado.
(2)
con la metrica discreta es un espacio metrico acotado.
5 5 5
(3) Los subespacios , y
Ejemplo 2.4.12.
Espacios topologicos
(1) X y .
Diremos entonces, que la familia es una topologa sobre X, y a sus elementos les llamaremos
conjuntos abiertos de (X, ).
De la condicion (2) se deduce, por induccion, que la interseccion de una familia finita de conjuntos
abiertos sigue siendo un conjunto abierto en (X, ). (Ejercicio)
Ejemplo 3.1.2.
(1) Topologa asociada a una metrica. Todo espacio metrico (X, d) tiene asociado un espacio
topologico (X, d ), donde d es la familia de los conjuntos abiertos de X para la distancia d tal y
como los hemos definido en [2.3.3]. El teorema [2.3.6] prueba que, efectivamente, estos abiertos
constituyen una topologa que llamamos topologa d asociada a la metrica d.
(2) Topologa discreta. Sea X un conjunto; consideremos la familia = P(X), formada por
todos los subconjuntos de X. Esta familia es una topologa en la que cualquier subconjunto de X
23
24
CAPITULO
3. ESPACIOS TOPOLOGICOS
es un abierto y se llama topologa discreta, en este caso decimos que (X, P(X)) es un espacio
topologico discreto.
(3) Topologa indiscreta. Si consideramos ahora la familia {, X} cuyos u nicos conjuntos son el
vaco y el propio X, tambien constituye una topologa sobre X que llamaremos topologa gruesa,
indiscreta o trivial.
(4) Sea el conjunto X = {a, b, c, d, e}. Entre otras, podemos construir las siguientes familias de
subconjuntos de X:
1 = {X, , {a}, {c, d}, {a, c, d}, {b, c, d, e}}
2 = {X, , {a}, {c, d}, {a, c, d}, {b, c, d}}
3 = {X, , {a}, {c, d}, {a, c, d}, {a, b, d, e}}
1 es una topologa sobre X y sin embargo, 2 falla en la union y 3 falla en la interseccion, por lo
tanto no lo son.
(5) Topologa cofinita. Sea X un conjunto cualquiera y definamos como el conjunto vaco junto
con aquellos subconjuntos A X tales que Ac = X r A es finito. es una topologa sobre X
que se conoce como la topologa cofinita y se representa por cf . Cuando el conjunto X es finito,
entonces la topologa cofinita coincide con la topologa discreta. Como este caso no introduce
nada nuevo, siempre que se estudie la topologa cofinita sera sobre conjuntos infinitos.
Como hemos visto, sobre un conjunto se puede definir mas de una topologa. Podemos establecer
una cierta comparacion:
Definicion 3.1.3 (Topologas mas finas). Dado un conjunto X, sean 1 y 2 dos topologas
definidas sobre X. Si todo abierto de 1 es un abierto de 2 , es decir, 1 2 , diremos que
2 es mas fina que 1 o que 1 es menos fina que 2 , o bien que 2 es mas debil que 1 . Dos
topologas son equivalentes si tienen los mismos abiertos y dos topologas no son comparables si
ninguna es mas fina que la otra.
Ejemplo 3.1.4.
(1) La topologa indiscreta es menos fina que cualquier otra y la topologa discreta es la mas fina
posible.
(2) La topologa cofinita sobre R2 es menos fina que la topologa usual, puesto que si A es abierto
de la topologa cofinita, A es complementario de un subconjunto finito de R2 y, como los conjuntos
finitos son cerrados para la topologa usual, A tambien es abierto en R2 para la topologa usual.
Definicion 3.1.5 (Base de una topologa). Sea (X, ) un espacio topologico. Diremos que una
subfamilia B , es una base de la topologa si cada abierto A se puede expresar como union
S
de conjuntos de B, es decir, existe {Bi }iI B tal que A = iI Bi .
3.1. ESPACIO TOPOLOGICO 25
S
(a) X = BB B.
= Supongamos ahora que B es una familia de subconjuntos de X que cumple (a) y (b) y
veamos que existe una topologa determinada por B. Definimos la familia
Hay que comprobar que se trata de una topologa. X por (a); pues B.
Si {Ai }iI es una familia de conjuntos de , tendremos que cada Ai sera union de conjuntos de
B, es decir, Ai = jJi Bij para cada i I con Bij B para todo j Ji ; como la union es
asociativa, tendremos que
[ [ [ [
Ai = ( Bij ) = Bij
iI iI jJi iI,jJi
Ejemplo 3.1.7.
(1) Los intervalos abiertos (a, b); a, b R son una base de la topologa usual en R.
(3) Los rectangulos abiertos y de lados paralelos a los ejes, son una base de la topologa eucldea
en R2 .
(4) Si consideramos (X, D ) espacio topologico con la topologa discreta, la familia B = {{x} :
x X}, es una base de dicha topologa.
26
CAPITULO
3. ESPACIOS TOPOLOGICOS
3.2 Cerrados
Definicion 3.2.1 (Cerrado). Dado un espacio topologico (X, ), diremos que un subconjunto
C X es cerrado si su complementario C c = X r C es abierto. Representaremos la familia de
todos los cerrados por C
Ejemplo 3.2.2.
(1) En un espacio metrico (X, d), la definicion de cerrado para la metrica d coincide con la de
cerrado para la topologa d , asociada a la distancia d.
(2) En un espacio topologico con la topologa indiscreta, los u nicos cerrados son X y .
(3) En un espacio topologico con la topologa discreta, todos los subconjuntos de X son cerrados.
El hecho de que un conjunto sea cerrado no implica que este conjunto no sea abierto; de hecho,
existen conjuntos que son a la vez abiertos y cerrados, por ejemplo el espacio total X en cualquier
espacio topologico (X, ); o la topologa discreta del ejemplo anterior, tiene todos sus conjuntos
que son a la vez abiertos y cerrados. Tambien existen, como hemos visto, conjuntos que no son ni
abiertos ni cerrados como cualquier intervalos [a, b) en R con la topologa usual.
Los cerrados cumplen una serie de propiedades, que podemos llamar, duales de las propiedades
de los abiertos y que, en el caso de espacios metricos ya hemos visto en [2.4.7].
Teorema 3.2.3. Dado un espacio topologico (X, ), la familia de los conjuntos cerrados cumple
las siguientes propiedades:
Ya hemos visto en el ejemplo [2.4.8(1)] que la union arbitraria de cerrados no es, en general, un
cerrado.
3.3 Entornos
Otro concepto que ya aparecio en los espacios metricos, pero que en realidad es topologico es el
de entorno de un punto.
3.3. ENTORNOS 27
Definicion 3.3.1 (Entorno de un punto). Dado un espacio topologico (X, ), diremos que un
subconjunto U X es un entorno de un punto x X si existe un abierto A tal que x A U .
Al conjunto o familia de todos los entornos de un punto x X lo representaremos por Ux .
Ejemplo 3.3.2.
(1) Si (X, d) es un espacio metrico, todo entorno para la metrica sera obviamente un entorno para
la topologa asociada a la distancia. El recproco tambien es cierto.
(2) En un espacio topologico trivial el u nico entorno posible de un punto es el espacio total.
Recordemos que, en un espacio metrico los conjuntos abiertos se pueden caracterizar a partir de la
nocion de entorno. En el caso general de los espacios topologicos tambien se pueden caracterizar
los conjuntos abiertos de una manera analoga.
Proposicion 3.3.3. En un espacio topologico (X, ), un conjunto A es abierto si, y solo si A es
entorno de todos sus puntos.
= Recprocamente, si suponemos que A es entorno de todos sus puntos, entonces, para todo
x A existe un abierto Ux tal que x Ux A. De esta manera se puede escribir A = xA Ux ,
que sera abierto ya que es union de abiertos.
(1) Si U Ux , entonces x U .
(3) Si U, V Ux , entonces U V Ux .
Demostracion. (1)Es evidente. (2) Como U Ux , entonces existe A abierto de modo que x
A U , pero entonces x A V ; por tanto V Ux .
La familia de todos los entornos habitualmente es muy grande y, con frecuencia, difcil de repre-
sentar. Incluso en el caso de R con la topologa usual, los entornos pueden ser muy complicados.
Esto se resuelve trabajando solo con los intervalos. En el caso de un espacio metrico este papel lo
hacen las bolas y en el caso general introduciremos un concepto que facilitara el trabajo de forma
semejante:
Definicion 3.3.5 (Base de entornos). Dado un espacio topologico (X, ), un punto x X, y una
subfamilia Vx Ux de la familia de entornos de x; diremos que Vx es una base de entornos de x,
o base local de x, en (X, ) si verifica
Ejemplo 3.3.6.
(1) En R con la topologa usual, una base de entornos para cada x R es la familia formada por
los intervalos de centro x y radio r > 0 variando r, es decir {(x r, x + r) : r > 0}.
(2)En un espacio metrico (X, d), la familia de bolas Vx = {B(x, r) : r > 0} es obviamente, una
base de entornos de x, para cada x X.
(3)En un espacio metrico (X, d), la familia de bolas Vx = {B(x, n1 ) : n N } es tambien una
base de entornos de x, para cada x X, puesto que para cada r > 0 existe n N tal que n1 < r.
(4) En un espacio topologico trivial o indiscreta, (X, I ), la u nica base de entornos posible es la
formada u nicamente por el espacio total X.
(5) Si el espacio topologico es discreto, (X, D ), {x} es un entorno de x, para todo x X, y por
tanto se deduce que la familia formada por este entorno, Vx = {{x}}, es una base de entornos de
x.
Ejemplo 3.4.3. Los subconjuntos de un espacio metrico con la topologa asociada a la distancia
inducida son subespacios topologicos.
Los cerrados en la topologa inducida tambien son intersecciones de cerrados del espacio total con
el subespacio.
F = H r (H r F ) = H r (A H) = H r A = H (X r A) = H C
H r F = H r (C H) = H r C = H (X r C)
Ejemplo 3.4.5. Es importante darse cuenta de que, en general, los abiertos relativos no tienen
por que ser abiertos en el espacio total. As, [0, 1) no es abierto en R con la topologa usual; sin
embargo, s es abierto en [0, +) con la topologa inducida.
(a) Todo subconjunto A H abierto en (H, H ) es abierto en (X, ) si, y solo H es abierto
en (X, ).
(b)(Ejercicio).
Cada una de las dos afirmaciones de la proposicion anterior son independientes, es decir la primera
(a), habla de abiertos pero no dice nada de cerrados y la segunda (b) habla de cerrados pero no de
abiertos. Observemos los dos ejemplos siguientes.
Ejemplo 3.4.7.
(1) Consideremos R con la topologa usual y el subespacio formado por los racionales Q. Los
abiertos en Q para la topologa inducida seran intersecciones de abiertos de R con Q. Entonces el
conjunto {x Q : 0 < x < 1} es abierto en Q pero no lo es en R.
(2) Sea A = {(x, y) R2 : xy > 1} que es abierto en (R2 , d2 ) y, por tanto, todo abierto de
(A, d2 ), lo es en R2 , por ejemplo, B = B((0, 0), 2) A es abierto, sin embargo A r B es un
cerrado en (A, d2 ) pero no lo es en (R2 , d2 ).
Veamos, para concluir esta seccion, como son los entornos y las bases de entornos en la topologa
inducida.
Proposicion 3.4.8. Sea (X, ) un espacio topologico, y sea H X. Dado x H, un subconjunto
V H es un entorno relativo de x (V UxH ) si, y solo si existe U entorno de x en el espacio
total, (U Ux ), de forma que V = U H.
Proposicion 3.4.9. Sea (X, ) un espacio topologico y sea x H X. Si B(x) es una base de
entornos de x en (X, ), la familia BH (x) = {B H : B B(x)} es una base de entornos para
la topologa relativa.
Ya hemos visto en el ejemplo [3.1.2,1)] que cualquier espacio metrico (X, d) tiene asociada una
topologa que llamamos d , a partir de la definicion [2.3.3] y el teorema [2.3.6]. Nos podemos
preguntar si todo espacio topologico procede de una metrica.
Definicion 3.5.1 (Espacio metrizable). Diremos que un espacio topologico (X, ) es metrizable
si existe una distancia d definida sobre X, tal que coincide con d .
Ejemplo 3.5.2.
(2) No todo espacio topologico es metrizable. Por ejemplo, si X es un conjunto que contiene
mas de un punto y lo consideramos dotado de la topologa indiscreta (X, I ), no es un espacio
metrizable, puesto que los u nicos cerrados para esta topologa son y X, pero sabemos que en
un espacio metrico, los conjuntos finitos son cerrados, con lo cual deberan existir mas cerrados.
Sigue teniendo, en el presente curso, un gran interes estudiar los espacios cuya topologa es metriz-
able, es decir, los espacios metricos. Vamos a recordar como se concretan en los espacios metricos,
los conceptos estudiados hasta ahora en el presente captulo.
Base de la topologa.- Tal y como hemos definido los abiertos [2.3.3] en un espacio metrico
(X, d), el conjunto {B(x, r) : x X, r > 0} de las bolas abiertas es una base de la topologa d
asociada a la distancia.
Base de entornos.- Hemos visto en el ejemplo [3.3.6 2)] que para un punto x X, una base de
entornos es el conjunto {B(x, r) : r > 0} de todas las bolas abiertas con centro en dicho punto.
Tambien hemos visto que en el ejemplo [3.3.6 3)] que el conjunto {B(x, n1 ) : n N } es tambien
una base de entornos.
Tambien hemos estudiado en el captulo anterior los subespacios metricos. Veamos que son los
subespacios topologicos asociados a la metrica.
Sea ahora A0 dH , para cualquier x A0 existe un r > 0 tal que BdH (x, r) A0 . Como
antes, BdH (x, r) = Bd (x, r) H. Si tomamos
A = xA0 Bd (x, r)
tendremos
Hemos visto que no todo espacio topologico es metrizable. Cabe entonces hacerse la siguiente
pregunta: Existen diferencias topologicas entre un espacio topologico que sea metrizable y otro
que no lo sea? La respuesta es que s, y existe una propiedad fundamental que se verifica en los
espacios metrizables, pero que no es cierta, en general, en un espacio topologico arbitrario.
Proposicion 3.5.5. Un espacio topologico (X, ) es de Hausdorff si, y solo si para todo par de
puntos distintos x, y X, existen abiertos A, B X, tales que x A, y B y A B = .
Ejemplo 3.5.6.
(1) Todo espacio metrico es de Hausdorff.
(2) No todo espacio topologico es T2 . La recta real, con la topologa cofinita no es un espacio de
Hausdorff.
Vamos a comparar las topologas metricas. En realidad estudiaremos cuando dos metricas sobre
un mismo espacio X generan la misma topologa, que es lo realmente interesante.
Definicion 3.5.7 (Metricas equivalentes). Diremos que dos metricas d y d0 sobre un mismo con-
junto X son equivalentes si dan lugar a la misma topologa, es decir, si d = d0 .
= Recprocamente, si suponemos que se cumplen las dos afirmaciones veamos que d y d0 son
equivalentes. Sea A un abierto de d y sea x A. Entonces existe r > 0 tal que Bd (x, r) A.
Aplicando la segunda propiedad, existira 0 > 0 tal que Bd0 (x, 0 ) Bd (x, r), y entonces A es
un entorno de x para d0 y es, por tanto, abierto en esta topologa. De forma analoga se demuestra
que todo abierto de d0 lo es tambien de d .
Corolario 3.5.9. Dos distancias d y d0 sobre un conjunto X son equivalentes si existen constantes
m, M > 0 tales que para todo x, y X
r
Demostracion. Sean x X y r > 0. Entonces tomando = M , se tiene que d(x, y) implica
0
que d (x, y) M d(x, y) M = r, con lo que Bd (x; ) Bd0 (x, r). De forma analoga,
tomando 0 = mr se tiene que Bd0 (x, 0 ) Bd (x, r).
Ejemplo 3.5.10.
(1) El hecho de que dos metricas sean equivalentes, significa que tienen los mismos abiertos,
pero no necesariamente las mismas bolas; por ejemplo en Rn las tres metricas d1 , d2 y d son
equivalentes (Ejercicio) y sin embargo, como ya hemos visto, no tienen las mismas bolas.
4.1 Adherencia
Definicion 4.1.1 (Punto adherente). Sea (X, ) un espacio topologico, y sea S un subconjunto
de X. Diremos que x X es un punto adherente de S si todo entorno U de x cumple U S 6= ,
es decir, U corta a S (no hay ningun entorno de x totalmente contenido en X r S). El conjunto
de puntos adherentes de S se llama la adherencia de S y se representa por S.
Observacion.-
(2) Si S1 S2 , entonces S1 S2 .
La definicion exige que se compruebe una propiedad para todos los entornos de un punto. Por
tanto, sera u til disponer de una caracterizacion que permita reducir el numero de comprobaciones.
Esta es una de las razones mas importantes de la utilidad del concepto de base de entornos.
Demostracion. -
35
36
CAPITULO
4. SUBCONJUNTOS NOTABLES DE UN ESPACIO TOPOLOGICO
Si ahora suponemos que todo V B(x) cumple V S 6= . Como B(x) es base de entornos
de x, para todo U E(x) existe un V B(x) tal que V U . Como V S 6= , y V S U S
tenemos que U S 6= .
En particular, si la topologa esta generada por una metrica, se pueden utilizar algunas bases de
entornos formadas por bolas y obtener los siguientes resultados particulares:
Ejemplo 4.1.3.
Veamos que A X r S, con lo que X r S sera abierto. Para todo y A, como A es abierto,
sera un entorno de y que no corta a S, luego y
/ S. Es decir, A X r S. Por tanto X r S es un
entorno de x. Y esto para todo x que no este en S, entonces X r S es abierto.
Demostracion. (Ejercicio)
Ejemplo 4.1.7.
Definicion 4.1.8 (Subonjunto denso). Sea (X, ) un espacio topologico, diremos que un subcon-
junto S X es denso en X si S = X.
Demostracion. -
Ejemplo 4.1.10.
(1) El conjunto de los racionales Q es denso en (R, u ). Destacamos que R contiene, entonces, un
subconjunto numerable denso que es Q.
38
CAPITULO
4. SUBCONJUNTOS NOTABLES DE UN ESPACIO TOPOLOGICO
Definicion 4.1.11 (Espacio separable). Diremos que un espacio topologico (X, ) es separable
si contiene un subconjunto numerable denso.
Ejemplo 4.1.12.
(R, u ) es separable.
Definicion 4.1.14 (Punto aislado). Sea (X, ) un espacio topologico, y sea S X. Diremos que
un punto x S X es un punto aislado de S en (X, ), si existe un entorno U de x tal que
U S = {x}.
b) S = S S 0
Demostracion. (Ejercicio)
Ejemplo 4.1.16.
(1) En un espacio metrico (X, d) las definiciones anteriores se concretan diciendo que un punto
x X es punto de acumulacion de S X si para todo r > 0 (B(x, r) r {x}) S 6= y que un
punto x S X es punto aislado de S si existe r > 0 tal que B(x, r) S = {x}.
Definicion 4.2.1 (Punto interior). Sea (X, ) un espacio topologico, y sea S X un subcon-
junto. Diremos que x S es un punto interior de S si S es un entorno de x. El conjunto de los
puntos interiores de S se denomina el interior de S y se representa por S .
z }| {
Diremos que un punto x
/ S es exterior a S si x (X r S), es decir x es del interior del
complementario de S.
Observacion.-
(1) Si S X con (X, ) espacio topologico, S S.
(2) Si S1 S2 , entonces
40
CAPITULO
4. SUBCONJUNTOS NOTABLES DE UN ESPACIO TOPOLOGICO
Ejemplo 4.2.2.
(3) Consideremos un espacio topologico con la topologa trivial y sea S un subconjunto de dicho
espacio, que no sea el total. Entonces S = .
Demostracion. - Ejercicio
Una importante caracterstica del interior de un conjunto es que se trata del mayor abierto con-
tenido en dicho conjunto.
a) S es abierto.
b) Si A S y A es abierto, entonces A S
Esto quiere decir que S es el mayor abierto contenido en S.
Demostracion. -
(a) Por la proposicion anterior sabemos que S es el complementario de un cerrado, por tanto es
abierto.
(b) Sea A un abierto no vaco tal que A S, y sea x un punto de A. Como A es abierto, es un
entorno de x y por tanto tambien lo es S. Por tanto, x es un punto interior de S, luego A S .
En particular, esta proposicion proporciona una caracterizacion de los conjuntos abiertos como
aquellos en los que todos sus puntos son interiores:
Corolario 4.2.5. Un subconjunto S de un espacio topologico (X, ) es abierto si y solo si S =S .
Demostracion. (Ejercicio)
De nuevo nos interesa concretar estas caracterizaciones en el caso de los espacios metricos.
Ejemplo 4.2.7.
(1) Sea (X, d) un espacio metrico y S X; x S si, y solo si existe r > 0 tal que B(x, r) S.
(2) Sea (X, d) un espacio metrico y S X; x S si, y solo si existe n N tal que B(x, n1 ) S.
Demostracion. (Ejercicio)
Ejemplo 4.2.11.
Proposicion 4.2.12. Sea (X, ) un espacio topologico, sea S X un subconjunto y B(x) una
base de entornos de un punto x X en la topologa . Entonces x f r(S) si, y solo si para
todo V B(x) se cumple que V S 6= y V (X r S) 6= .
Demostracion. (Ejercicio)
Ejemplo 4.2.13.
(1) Sea (X, d) un espacio metrico y S X un subconjunto, un punto x f r(S) si, y solo si para
todo r > 0, B(x, r) S 6= y B(x, r) (X r S) 6= .
(2) Sea (X, d) un espacio metrico y S X un subconjunto, un punto x f r(S) si, y solo si para
todo n N, B(x, n1 ) S 6= y B(x, n1 ) (X r S) 6= .
42
CAPITULO
4. SUBCONJUNTOS NOTABLES DE UN ESPACIO TOPOLOGICO
Proposicion 4.2.14. Sea (X, ) un espacio topologico, y sea S X un subconjunto. Los puntos
adherentes son, o bien puntos interiores, o bien puntos frontera. Es decir:
f r(S) = Sr S
4.3 Sucesiones
Definicion 4.3.1 (Sucesion convergente). Sea (X, ) un espacio topologico, y sea (xn )
n=1 una
sucesion de puntos de X. Diremos que (xn )n=1 converge a x en (X, ) (xn x o limn xn = x)
si para todo entorno U de x existe un n0 , de modo que si n > n0 , entonces xn U . A x se le
llama lmite de (xn )
n=1 .
Ejemplo 4.3.2.
(1) La convergencia de una sucesion depende de la topologa. Sea un conjunto X y (xn )n=1 con
xn = x X para todo n, la sucesion constante x. Entonces se dan las dos situaciones siguientes:
a) (xn )
n=1 converge a cualquier punto y X en la topologa trivial (X, T ).
Proposicion 4.3.3. Sea (X, ) un espacio topologico, sea (xn )n=1 una sucesi on en X, y B(x)
una base de entornos de x en la topologa . Entonces (xn )
n=1 converge a x si y solo si para todo
V B(x) existe un no , tal que si n > no , entonces xn V .
Demostracion. -
Si (xn )
n=1 converge a x, como B(x) E(x), la condici
on se cumple para todos los V
B(x).
Si ahora suponemos B(x) es una base de entornos de x y que para todo V B(x), existe
no tal que n > no implica que xn V . Si U E(x) es un entorno de x, como B(x) es base de
entornos, existira V B(x) tal que V U . Entonces para este V existira un no de manera que
si n > no , se tiene que xn V U . Por tanto, el mismo no sirve ya que para todo n > no ,
xn U .
4.3. SUCESIONES 43
Ejemplo 4.3.4.
(1) La definicion de convergencia en R, con la topologa usual asociada al valor absoluto, coincide
con la conocida de sucesion convergente.
(2) En el caso de los espacios metricos, en general, la convergencia de una sucesion a un punto
obtenemos la siguiente formulacion:
Sea (X, d) un espacio metrico, y (xn ) n=1 una sucesion en X. Entonces, (xn )n=1 converge a x si
y solo si la sucesion de las distancias (d(xn , x))n=1 converge a 0 en (R, | |).
Igualmente, para el entorno V de y, existe un n1 tal que si n > n1 , entonces xn V . As, para
todo n > n1 y n > no a la vez, se cumple xn U y xn V , lo que esta en contradiccion con el
hecho de que U V = .
Proposicion 4.3.6. Sea (X, d) un espacio metrico, y sea S X. Entonces x S si, y solo si
existe una sucesion (xn )
n=1 S, tal que xn x.
Demostracion. -
Si n = 1 tomamos x1 B(x, 1) S.
Si n = 2 tomamos x2 B(x, 12 ) S.
La propiedad anterior para los puntos adherentes permite dar dos caracterizaciones mas, una para
un conjunto denso, y otra para los puntos frontera.
Demostracion. Simplemente hay que tener en cuenta la definicion de conjunto denso y la proposi-
cion anterior.
Demostracion. De nuevo, solo hay que tener en cuenta la definicion de punto frontera y la
proposicion [4.3.6].
Captulo 5
Continuidad
Definicion 5.1.1 (Aplicacion continua en un punto). Sean (X, ) e (Y, 0 ) dos espacios topologicos,
y sea f : X Y una aplicacion entre ellos. Diremos que f es continua en un punto a X si
para todo U E(f (a)) existe un V E(a) tal que f (V ) U .
Proposicion 5.1.2 (Continuidad y base de entornos). Sean (X, X ), (Y, Y ) dos espacios topologicos,
f : X Y una aplicacion y B(a) y B(f (a)) son bases de entornos de a en X y de f (a) en Y ,
respectivamente. Entonces f es continua en a si y solo si para todo U B(f (a)) existe V B(a)
tal que f (V ) U .
Demostracion. -
Supongamos que f es continua en a. Dado U B(f (a)) existira V E(a) tal que f (V )
U . Pero como B(a) es base de entornos tendremos que existe V 0 B(a) de modo que V 0 V ,
con lo que f (V 0 ) f (V ) U .
Sea ahora U E(f (a)), entonces existe U 0 B(f (a)) de modo que U 0 U . Por hipotesis
existe V B(a) de modo que f (V ) U 0 U y como V B(a) E(a).
Corolario 5.1.3 (Continuidad en un espacio metrico). Sean dos espacios metricos (X, d) e
(Y, d0 ), una aplicacion f : X Y , y un punto a X. Entonces f es continua en a si
y solo si para todo > 0 existe un > 0 tal que siempre que d(x, a) < se verifica que
d0 (f (x), f (a)) < .
Demostracion. Solo hay que tener en cuenta que las bolas abiertas son base de entornos en una
topologa metrica.
45
46
CAPITULO 5. CONTINUIDAD
Ejemplo 5.1.4.
(1)La continuidad en R, con la topologa usual, coincide con el concepto habitual de continuidad
utilizado en Analisis. En particular se tiene la siguiente lista de funciones continuas de R en R:
(c) las funciones elementales xa , sen(x), cos(x), ex y sus inversas en sus dominios de definicion.
para todo > 0 existe > 0 tal que d(x, a) < d(f (x), f (a)) <
(3) Consideremos el conjunto X = {a, b, c, d} con la topologa = {X, , {a}, {b}, {a, b}, {b, c, d}}.
La funcion f : X X, definida por el diagrama siguiente, es continua en d y no lo es en c.
a a
b :z b
c : c
d jd
Proposicion 5.1.5 (Continuidad y sucesiones). Sean dos espacios metricos (X, d) e (Y, d0 ), f :
X Y una aplicacion entre ellos, y a X. Entonces son equivalentes:
(a) f es continua en a.
Demostracion. -
(a)(b)
Supongamos que f es continua en a X y que (xn )n a. para ver que (f (xn ))n f (a)
tenemos que probar que dado
> 0, existe > 0 tal que d(x, a) < d0 (f (x), f (a)) <
Por tanto, si n > no , d0 (f (xn ), f (a) < puesto que d(xn , a) < .
b)a)
Supongamos que (f (xn ))n converge a f (a) y supongamos que f no es continua. Eso significa
que existe
> 0 tal que para cada > 0 existe x X con d(x , a) < y d0 (f (x ), f (a) .
Ejemplo 5.1.6.
Sea funcion f : R R, en ambos casos con la topologa usual, definida por
(
1
si x 6= 1
f (x) x1
1 si x = 1
1
no es continua en x = 1, pues la sucesion xn = 1 + n tiene por lmite 1, y sin embargo
1
lim f (xn ) = lim 1 = lim n 6= f (1)
n n
n +11 n
Proposicion 5.1.7 (Composicion de funciones continuas). Sean (X, ), (Y, 0 ) y (Z, 00 ) tres
espacios topologicos, y sean f : X Y , g : Y Z dos aplicaciones tales que f es continua
en a X, y g es continua en f (a). Entonces g f es continua en a.
48
CAPITULO 5. CONTINUIDAD
Demostracion. Sea U E(g(f (a))). Por el hecho de ser g continua en f (a) existe V E(f (a))
tal que g(V ) U y como f es continua en a, existe W E(a) tal que f (W ) V . Pero entonces
g(f (W )) g(V ) U .
Proposicion 5.1.8 (Continuidad y adherencia). Sean (X, ) e (Y, 0 ) dos espacios topologicos,
f : X Y una aplicacion continua en a X y un subconjunto S X. Entonces si a S se
cumple que f (a) f (S) (f (S) f (S)).
Demostracion. Sea U E(f (a)); como f es continua en a existe V E(a) tal que f (V ) U .
Pero a es un punto de adherencia de S, por tanto V S 6= . Esto implica que
6= f (V S) f (V ) f (S) U f (S),
Ejemplo 5.1.9.
El resultado anterior no es cierto ni para puntos interiores ni para puntos frontera pues la funcion
z }| {
cos : R R es una funcion continua, 0 R y, sin embargo cos 0 = 1 / f (R)= (1, 1). Por
otra parte, si S = [0, ] { 3
2 }, 3
2 f r(S), pero cos( 3
2 ) = 0
/ f r(cos(S)).
Definicion 5.2.1 (Funcion continua). Sean dos espacios topologicos (X, ) e (Y, 0 ), y sea f :
X Y una aplicacion entre ellos. Diremos que f es continua (en X) si lo es en todo punto de
X.
Proposicion 5.2.2. Sean (X, ) e (Y, 0 ) dos espacios topologicos, y sea f : X Y una
aplicacion. Entonces son equivalentes:
a) f es continua.
Demostracion. -
a)b) Supongamos que f es continua y sea A 0 . Para demostrar que f 1 (A) es abierto en
veremos que es entorno de todos sus puntos. Sea x f 1 (A), entonces f (x) A, luego A
es entorno de f (x). Como f es continua, en particular lo sera en x, y existe V E(a) tal que
f (V ) A. Pero eso implica que V f 1 (A) y as f 1 (A) E(a).
5.2. CONTINUIDAD EN TODO EL ESPACIO 49
b)a) Supongamos ahora que para todo A 0 , f 1 (A) y veamos que f es continua en
cada punto de X. Sea x X y sea U E(f (x)). Entonces existe A 0 tal que f (x) A U .
Eso significa que x f 1 (A) y como f 1 (A) se puede tomar V = f 1 (A) E(x).
Ademas, f (V ) = f (f 1 (A)) A U , por tanto f es continua en x.
Proposicion 5.2.3. Una aplicacion f : (X, ) (Y, 0 ) es continua si y solo si para todo
cerrado C en (Y, 0 ), se tiene que f 1 (C) es un cerrado en (X, ).
Demostracion. (Ejercicio)
Proposicion 5.2.4 (Continuidad y bases). Sean (X, ) e (Y, 0 ) dos espacios topologicos y B 0
una base de (Y, 0 ). Son equivalentes:
Demostracion. Ejercicio.
Ejemplo 5.2.5.
(4) Si (Y, T ) es un espacio topologico con la topologa trivial, toda aplicacion f : (X, )
(Y, T ) es continua.
(5) La funcion identidad 1 : (X, ) (X, 0 ) tal que 1(x) = x para cada x X, es continua si,
y solo si es mas fina que 0 .
Proposicion 5.2.6 (Composicion y continuidad). Sean f : (X, ) (Y, 0 ) y g : (Y, 0 )
(Z, 00 ) dos aplicaciones continuas, entonces la composicion g f : X Z es continua.
Definicion 5.2.7 (Aplicacion abierta y aplicacion cerrada). Sean dos espacios topologicos (X, )
e (Y, 0 ), y f : X Y una aplicacion. Diremos que f es abierta si para todo A , f (A) 0
y diremos que f es cerrada si para todo C X cerrado en , f (A) Y , es cerrado en 0 .
Ejemplo 5.2.8.
La proyeccion : (R2 , d2 ) (R, u ) del plano sobre el eje de las x, (x, y) = x es una
aplicacion abierta puesto que la proyeccion de cualquier bola abierta B((a, b), r) sobre el eje de
las x es un intervalo abierto (ar, a+r). Pero no es cerrada puesto que la proyeccion del conjunto
cerrado C = {(x, y) R2 : xy 1} es el intervalo (0, +), que no es cerrado.
.. B((a, b), r) ..
.. ..
.. ..
.. .. C
.. ..
.. ..
.. ..
.. ..
.. ..
.. ..
.. ..
.. ..
. .
(a r, a + r) (0, +)
La u ltima parte de esta seccion esta dedicada al estudio de los homeomorfismos. Este concepto
tiene mucha importancia en Topologa, ya que dos espacios topologicos que sean homeomorfos
se pueden considerar iguales topologicamente.
Definicion 5.2.9 (Homeomorfismo). Dados dos espacios topologicos (X, ) e (Y, 0 ), se llama
homeomorfismo entre (X, ) e (Y, 0 ) a una aplicacion biyectiva f : X Y tal que tanto f
como su inversa f 1 sean continuas (se dice que f es bicontinua). Diremos que dos espacios
topologicos son homeomorfos si existe un homeomorfismo entre ellos.
Diremos que una propiedad en un espacio topologico una propiedad topologica si es invariante
por homeomorfismos.
Proposicion 5.2.10. Sea f : X Y una aplicacion biyectiva entre espacios dos topologicos
(X, ) e (Y, 0 ).Son equivalentes:
a) f es un homeomorfismo.
5.3. CONTINUIDAD UNIFORME. ISOMETRIAS 51
Ejemplo 5.2.11.
(1) Dos espacios topologicos triviales son homeomorfos si y solo si existe una biyeccion entre
ellos.
(3) La aplicacion sen : (0, /2) (0, 1) es un homeomorfismo, ya que restringida a estos
intervalos es biyectiva, y su inversa arcsen : (0, 1) (0, /2) es tambien continua.
(6) El que una sucesion sea de Cauchy tampoco es una propiedad topologica puesto que
1
f : (0, +) (0, +) con f (x) =
x
es homeomorfismo y a la sucesion de Cauchy ( n1 )n le corresponde por f la sucesion (n)n que no
es de Cauchy.
En el caso de los espacios metricos, ademas de las aplicaciones continuas, hay otras clases de
aplicaciones interesantes:
Definicion 5.3.1 (Funcion uniformemente continua). Diremos que una aplicacion entre espa-
cios metricos f : (X, d) (Y, d0 ) es uniformemente continua si para cada > 0 existe un
> 0 tal que para todo x, y X con d(x, y) < se verifica que d0 (f (x), f (y)) < .
Ejemplo 5.3.2.
Obviamente, toda aplicacion uniformemente continua es continua, pero el recproco no es cierto:
basta considerar la funcion f (x) = x2 .
Definicion 5.3.3 (Isometra). Dados dos espacios metricos (X, d) e (Y, d0 ), diremos que una apli-
cacion biyectiva f : X Y es una isometra si verifica que para todos los puntos x1 , x2 X,
entonces d(x1 , x2 ) = d0 (f (x1 ), f (x2 )). En este caso decimos que (X, d) e (Y, d0 ) son isometricos.
52
CAPITULO 5. CONTINUIDAD
Proposicion 5.3.5. Si dos espacios metricos son isometricos, entonces tambien son homeomorfos.
Ejemplo 5.3.6.
El recproco de la u ltima proposicion no es cierto en general. Si Consideramos R con la distancia
discreta y con la distancia (
2 si x 6= y
d(x, y) =
0 si x = y
la aplicacion identidad es un homeomorfismo que no es isometra.
Captulo 6
Espacios conexos
6.1 Conexos
Definicion 6.1.1 (Conjuntos separados). Dado un espacio topologico (X, ) y dos subconjuntos
A, B X, diremos que A y B estan separados si
AB =AB =
Es evidente que si A y B estan separados, entonces son disjuntos. Sin embargo el recproco no es
cierto como queda de manifiesto en los siguientes ejemplos.
Ejemplo 6.1.2.
(1) En R con la topologa usual, los intervalos (0, 1) y (1, 2) estan separados, pero los intervalos
(0, 1) y [1, 2) no lo estan, a pesar de que son disjuntos.
Definicion 6.1.3 (Espacio topologico conexo). Diremos que un espacio topologico (X, ) es
conexo si X no es union de dos subconjuntos no vacos y separados. En caso contrario diremos
que X es no conexo.
53
54
CAPITULO 6. ESPACIOS CONEXOS
Demostracion. -
A = A X = A (A B) = (A A) (A B) = A = A
(b)(c) Suponemos ahora que A y B son cerrados, como A B = X, tenemos que (A B)c =
, luego Ac B c = ; esto implica que Ac B y Ac es abierto y como A B = ,, tambien
es B Ac , luego Ac = B y B es abierto. Analogamente A tambien es abierto.
(c)(a) Supongamos que A y B son abiertos y que A B = X. Tal y como hemos visto, esto
quiere decir que Ac B c = , luego Ac B; y como A y B son disjuntos tambien ocurre que
B Ac luego Ac = B, lo que implica que, B es tambien cerrado y B = B de lo que obtenemos
A B = A B = . Analogamente A B = .
Corolario 6.1.5. Un espacio topologico (X, ) es conexo si, y solo si los u nicos conjuntos abiertos
y cerrados son X y .
Ejemplo 6.1.8.
Teorema 6.1.9. Sea (X, ) un espacio topologico y {Ai }iI una familia de subconjuntos conexos
no vacos de X, tales que no estan separados dos a dos. Entonces A = iI Ai es conexo.
Pero A y B r B estan separados en (A, A ) pues son dos abiertos y cerrados no vacos cuya union
es A, lo que lleva consigo que Aix y Aiy tambien estan separados, en contra de la hipotesis, lo que
concluye la prueba.
Corolario 6.1.10. Si (X, ) es un espacio topologico y {Ai }iI es una familia de subconjuntos
conexos no vacos de X tales que Ai Aj 6= para cada par i, j I. Entonces A = iI Ai es
conexo.
6.2 Conexos en R
(a) I es un intervalo.
Demostracion. Solo tenemos que probar que (b) implica (a). En efecto, si se cumple (b), llamem-
os
a = inf I y b = sup I
Si z (a, b), tenemos que a < z y por la definicion de a como un nfimo, existe x I tal que
x < z; de la misma manera tenemos que z < b y por la definicion de b como un supremo, existe
y I tal que z < y, entonces, como x < y con x, y I, por la hipotesis (b), z [x, y] I,
luego (a, b) I. I [a, b] por la propia definicion de a y de b
Teorema 6.2.2 (Conexos en (R, u )). Un subconjunto S R, con la topologa usual, es conexo
si, y solo si S es un intervalo o un conjunto unitario.
Demostracion. -
56
CAPITULO 6. ESPACIOS CONEXOS
Supongamos ahora que S es un intervalo y que es no conexo, esto quiere decir que existen
A, B R, no vacos y separados tales que S = A B, sean x A, y B y supongamos que
x < y. Como S es un intervalo, por el lema anterior, [x, y] S.
Corolario 6.3.2. Sean (X, ) y (Y, 0 ) dos espacios topologicos homeomorfos. Entonces (X, )
es conexo si, y solo si (Y, 0 ) es conexo.
Y CONTINUIDAD
6.3. CONEXION 57
Corolario 6.3.3. Un espacio topologico (X, ) es conexo si, y solo si cualquier aplicacion contin-
ua entre X y el espacio discreto {0, 1} es constante f (x) = 0 para todo x X, o bien f (x) = 1
para todo x X).
Teorema 6.3.5 (de los valores intermedios). Un espacio topologico (X, ) es conexo si, y solo si
cada aplicacion continua f : X R cumple que si x, y X y c R tal que f (x) c f (y),
existe z X tal que f (z) = c.
Demostracion. -
Demostracion. -
Sea s S, tal que f (s) = 1, como {1} es abierto en {0, 1} y f es continua,f 1 ({1}) es abierto
en S, luego sera f 1 ({1}) = S A, para algun A abierto en (X, ). Entonces s A abierto y
como s H, tendremos por la definicion de adherencia, que A H 6= , luego si x A H
sera f (x) = 0, pero tambien f (x) = 1, ya que x H A S A = f 1 ({1}), lo cual es una
contradiccion.
Espacios compactos
Ejemplo 7.1.2.
Sea X = R, entonces la familia A = {[n, n]} n=1 es claramente un recubrimiento de S = R,
pero no es un recubrimiento abierto en la topologa usual. Un ejemplo de un subrecubrimiento de
A sera: D = {[2n, 2n]}
n=1 . La familia {(n, n)}n=1 tambi en es un recubrimiento abierto de
R, pero no es un subcubrimiento de A.
Definicion 7.1.3 (Espacio compacto). Diremos que un espacio topologico (X, ) es compacto si
todo recubrimiento abierto de X admite un subrecubrimiento finito.
Ejemplo 7.1.4.
(1) El espacio (R, u ) no es compacto.
59
60
CAPITULO 7. ESPACIOS COMPACTOS
Demostracion. -
Supongamos que K es compacto y sea K iI Ai , donde {Ai }iI es una familia de abiertos
de (X, ). Entonces, segun la definicion de topologa relativa, {Ai K}iI es un recubrimiento
de K por abiertos de (K, K ), que es compacto, por lo que existen abiertos Ai1 , ..., Ain tales que
Supongamos ahora que de todo recubrimiento de K por abiertos de (X, ) se puede extraer
un subrecubrimiento finito y veamos que K es compacto. Para ello, sea {Ai }iI una familia de
abiertos de (K, K ) que recubren K. Entonces, cada abierto Ai se puede escribir de la forma
Ai = Bi K, donde Bi es un abierto en (X, ) y as se tiene que K iI Bi . Por hipotesis,
existiran Bi1 , ..., Bin tales que K Bi1 ... Bin de forma que
Teorema 7.2.3. Todo subconjunto cerrado C de un espacio topologico compacto (X, ) es com-
pacto.
Demostracion. Probemos que K c es abierto, demostrando que es entorno de todos sus puntos.
Sea a
/ K, si x K, x 6= a, como X es Hausdorff, existen abiertos disjuntos Ax y Bx con
a Ax y x Bx ; y esto se puede hacer para cada x 6= a, x K.
Pero {Bx }xK es un recubrimiento de K por abiertos de X del cual se puede extraer un subre-
cubrimiento finito Bx1 , ..., Bxn , para ciertos puntos x1 , ..., xn K. Entonces tomemos
7.3 Compactos en R y Rn
Los compactos en R y en Rn tienen algunas caractersticas especiales dadas por las propiedades
de los numeros reales, que es interesante conocer.
7.3.1 Compactos en R
Teorema 7.3.1 (de Heine-Borel). Todo intervalo cerrado y acotado [a, b], en R con la topologa
usual, es compacto.
Demostracion. Supongamos que {Ai }iI es un recubrimiento abierto de [a, b]. Vamos a ver que
se puede extraer un subrecubrimiento finito.
(B) G es un intervalo pues si x, y G, entonces [x, y] G ya que si z [x, y], [a, z] [a, y] G
y por el lema 6.2.1, pag. 55, G debe ser un intervalo.
(C) b G
(C1) Si b < c, entonces b G pues existira, por la definicion de supremo, x G tal que
b < x c y G es un intervalo.
7.3.2 Compactos en Rn
Demostracion. Sea {Ai }iI un recubrimiento abierto de S = {x} [c, d]; vamos a ver que
podemos extraer un subrecubrimiento finito.
Si (x, y) S, como {Ai }iI recubre S, tendremos que (x, y) Aiy con iy I y Aiy es abierto,
luego para algun ry > 0 sera (x, y) B ((x, y), ry ) Aiy . Tengamos en cuenta que
B ((x, y), ry ) = (x ry , x + ry ) (y ry , y + ry )
De tal modo que {(y ry , y + ry )}y[c,d] } es un recubrimiento abierto de [c, d] que, como es
compacto, admitira un subrecubrimiento finito y
y por tanto
Demostracion. (Ejercicio)
7.3. COMPACTOS EN R Y RN 63
Lema 7.3.4. Si [c, d] R, x R y {Ai }iI es un recubrimiento abierto de {x} [c, d], entonces
existe r > 0 tal que (x r, x + r) [c, d] esta recubierto por una cantidad finita de elementos de
{Ai }iI .
Demostracion. Por el lema anterior {x} [c, d] es compacto, por tanto admite un subrecubrim-
iento finito de {Aj }nj=1 {Ai }iI .
Si y [c, d], (x, y) Ak para algun k {1, 2, . . . , n}, que al ser abierto es entorno de (x, y) y
por tanto existe ry > 0 tal que
Tenemos entonces que {(y ry , y + ry )}y[c,d] es un recubrimiento abierto de [c, d] que es com-
pacto y por tanto admite un subrecubrimiento finito {(yj ryj , yj + ryj )}m
j=1 .
(x r, x + r) [c, d] m
j=1 {(x r, x + r) (yj ryj , yj + ryj )}
m n
j=1 {(x ryj , x + ryj ) (y ryj , y + ryj )} k=1 Ak
Demostracion. (Ejercicio)
Demostracion. Si {Ai }iI es un recubrimiento abierto de [a, b] [c, d], tambien es un recubrim-
iento de {x} [c, d] para cada x [a, b] y por el lema anterior, existe rx > 0 tal que el con-
junto (x rx , x + rx ) [c, d] admite un subrecubrimiento finito. Pero {(x rx , x + rx )}x[a,b]
es un recubrimiento abierto de [a, b], que, al ser compacto, admite un subrecubrimiento finito
{(xk rxk , xk + rxk )}mk=1 . entonces tenemos que
[a, b] [c, d] m
k=1 {(xk rxk , xk + rxk ) [c, d]}
y cada uno de los (xk rxk , xk + rxk ) [c, d], esta recubierto por un numero finito de elementos
de {Ai }iI , luego el rectangulo [a, b] [c, d] es union finita elementos de {Ai }iI .
Demostracion. (Ejercicio)
Teorema 7.3.8 (de Heine-Borel). Sea K Rn con la topologa usual. Son equivalentes:
(a) K es compacto.
a)b) Como R2 es Hausdorff y K compacto, por la proposicion 7.2.4, K es cerrado. Por otra
parte, si a K la coleccion de bolas {B(a, n)}nN , constituye un recubrimiento abierto de K
que, como es compacto, admite un subrecubrimiento finito, cuya union sera la bola B(a, m) mas
grande y por tanto K B(a, m) y es acotado.
b)a) Si K esta acotado hay alguna bola cerrada tal que K B (a, r) para algun a R2 y
esta bola es un rectangulo cerrado que, por el corolario anterior es compacto. Como K es cerrado
y esta contenido en un compacto, por la proposicion 7.2.3, es compacto.
Proposicion 7.4.1. Todo subconjunto compacto K de un espacio metrico (X, d) esta acotado.
Demostracion. Solo es repetir la prueba de la implicacion a)b) del teorema anterior de Heine-
Borel.
Teorema 7.4.2. Sea (X, d) un espacio metrico y (xn )n X una sucesion. Son equivalentes:
(a) (xn )n converge a x X.
Demostracion. -
a)b) Supongamos que xn x, entonces para cada > 0, existe no N tal que si n >
no , entonces d(xn , x) < . Esto quiere decir que xn B(x, ) y por tanto que solo hay una
cantidad finita de terminos de la sucesion que no estan en dicha bola. Y esto significa que ninguna
subsucesion (xnk )k , puede tener infinitos terminos fuera de la bola, luego debe ser convergente a
x.
Ejemplo 7.4.3.
7.4. COMPACTOS EN UN ESPACIO METRICO 65
Si una sucesion no converge, no quiere decir ninguna subsucesion es convergente, por ejemplo la
sucesion ((1)n )n , que no es convergente, tiene dos subsucesiones (1, 1, . . . ) que converge a 1 y
(1, 1, . . . ) que converge a 1.
Demostracion. -
a)b) Si x S 0 es un punto de acumulacion, para todo r > 0 se cumple que (B(x, r) r {x})
S 6= y esta interseccion contiene infinitos puntos. Construimos entonces la sucesion siguiente
tomando para r > 0 los valores 1, 12 , . . . , n1 , . . . , sucesivamente:
...
...
b)a) Sea (xn )n una sucesion en S que converge a x, entonces para todo r > 0, existe nr N
tal que si n > nr entonces xn B(x, r) lo que implica que (B(x, r) r {x}) S 6= y por tanto
x S0.
Ejemplo 7.4.6.
(1) Cualquier espacio topologico finito es compacto y secuencialmente compacto.
(2) El intervalo abierto (0, 1), con la topologa inducida por la usual de R, no es secuencialmente
compacto, la sucesion ( n1 )
n=2 (0, 1), converge a 0, y por tanto cualquier subsucesi on suya
tambien converge a 0; pero 0 / (0, 1).
Ejemplo 7.4.9.
(2) R con la distancia discreta es un espacio metrico acotado, pero no es totalmente acotado.
Tomamos x1 K arbitrario y x2 K, tal que d(x1 .x2 ) r, que existe puesto que si no existiera
B(x1 , r) sera un recubrimiento finito de K; tomamos x3 K tal que d(x, x2 ), d(x2 , x3 ) r
que existe pues en caso contrario {B(x1 , r), B(x2 , r)} sera un recubrimiento finito de K y as
sucesivamente. Obtenemos una sucesion (xn )n en K que verifica que d(xn , xm ) r si n 6= m,
que no tiene ninguna subsucesion convergente K, pues si tuvieramos (xnk )k con limk xnk = x
K, dado r > 0 existira kr N tal que si nk > nkr , d(xnk , x) < 2r con lo que tendramos que si
nk , nm > nr
r r
d(xnk , xnm ) d(xnk , x) + d(x, xnm ) < + = r
2 2
en contra de que d(xnk , xnm ) r, puesto que los terminos de la subsucesion tambien estan en la
sucesion; y entonces K no sera secuencialmente compacto.
Demostracion. Supongamos que {Ai }iI es un recubrimiento abierto de K para el que no existe
ningun numero de Lebesgue. Entonces para cada n N existira xn K tal que B(xn , n1 ) no esta
contenido en ningun Ai para todo i I.
Tomemos ahora nr nr0 tal que tambien sea nr nj . Entonces, B(xnr , n1r ) B(x, n2j ), ya
que si y B(xnr , n1r ), entonces
1 1 2
d(x, y) d(x, xnr ) + d(xnr , y) < +
nj nr nj
Demostracion. -
b)c) Si (xn )n es un sucesion en K con infinitos terminos iguales a x, no hay nada que probar
pues ella misma converge a x. Supongamos entonces que (xn )n es una sucesion en K, con in-
finitos terminos distintos. Segun b), dicha sucesion tiene un punto de acumulacion x K y por
la proposicion 7.4.4, existe una subsucesion de (xn )n convergente a x y K sera secuencialmente
compacto.
metrico, con lo que podemos aplicar los resultados anteriores y unirlos al citado teorema, que
podemos enunciar ahora de la siguiente forma:
Teorema 7.4.13 (de Heine-Borel-Lebesgue). Sea K Rn con la topologa usual. Son equiva-
lentes:
(a) K es compacto.
Teorema 7.5.1. Si f : (X, ) (Y, 0 ) es una aplicacion continua entre espacios topologicos
y K X es compacto, entonces f (K) es compacto en (Y, 0 ).
Demostracion. Supongamos que {Ai }iI es un recubrimiento abierto de f (K) en (Y, 0 ). En-
tonces, como K = f 1 (K) = f 1 (iI Ai ) = iI f 1 (Ai ), tendremos que {f 1 (Ai )}iI
es un recubrimiento abierto de K que, como es compacto admite un subrecubrimiento finito
K = f 1 (A1 ) f 1 (An ) = f 1 (A1 An ), lo que implica que {A1 , ..., An } es
un subrecubrimiento finito de f (K).
Corolario 7.5.2. Si (X, ), (Y, 0 ) son espacios topologicos homeomorfos. Son equivalentes:
Demostracion. f (K) es un subconjunto compacto de R y por tanto, es cerrado y acotado. Por ser
acotado, existen c = inf{f (K)} y d = sup{f (K)}; y por ser cerrado, existiran c, d f (K), de
modo que existen x, y K tales que f (x) = c y f (y) = d.
Corolario 7.5.5. Sea f : R R una aplicacion continua. Entonces el conjunto imagen f ([a, b])
es un intervalo cerrado y acotado [c, d].
FINITA
7.6. PROPIEDAD DE LA INTERSECCION 69
Demostracion. (Ejercicio)
Proposicion 7.5.6. Toda aplicacion continua f : (X, d) (Y, d0 ) entre espacios metricos,
donde (X, d ) es compacto, es uniformemente continua.
Demostracion. Como f es continua, dado x X y dado > 0, existe x >= tal que si d(y, x) <
x , entonces d0 (f (x), f (y)) < 2 .
Entonces, fijado > 0, la coleccion de bolas {B(x, 2x )}xX constituye un recubrimiento abierto
de X que, al ser compacto admite un subrecubrimiento finito {B(xi , 2i )}ni=1 .
k
d(y, xk ) d(y, x) + d(x, xk ) < + k
2
lo que implica que
d0 (f (y), f (xk )) <
2
y entonces
d0 (f (x), f (y)) d0 (f (x), f (xk )) + d0 (f (xk ), f (y)) < + =
2 2
y f es uniformemente continua.
Corolario 7.5.7. Toda funcion real continua, definida en un intervalo cerrado y acotado [a, b], es
uniformemente continua.
Ejemplo 7.6.2.
(b) Toda familia {Fi }iI de cerrados en X que tiene la propiedad de la interseccion finita
tiene interseccion no vaca.
Demostracion. -
a)b) Supongamos que X es compacto y que {Fi }iI es una familia de subconjuntos cerrados
de X con la propiedad de la interseccion finita tal que iI Fi = ; si tomamos complementarios
tendremos que iI Fic = X, luego, como los Fic son abiertos, tenemos un recubrimiento abierto
de X que, por ser compacto, admite un subrecubrimiento finito y F1c Fnc = X, tomando
de nuevo complementarios tendremos que F1 Fn = en contra de que la familia {Fi }iI
tiene la propiedad de la interseccion finta.
b)a) Supongamos que se cumple b) y que X no es compacto, esto quiere decir que existe un
recubrimiento abierto {Ai }iI del cual no se puede extraer un subrecubrimiento finito. Tendremos
entonces que iI Ai = X, por tanto tomando complementarios iI Aci = , lo cual implica
que la familia de cerrados {Aci }iI no tiene la propiedad de la interseccion finita y por tanto, al
cumplirse b), debe existir una subfamilia finita cuya interseccion es vaca Ac1 Acn = ; si
ahora tomamos complementarios A1 An = X y tendramos un subrecubrimiento finito de
{Ai }iI lo que llevara a que X fuera compacto, en contra de lo supuesto.
Ejemplo 7.6.4.
(R, u ) no es compacto, ya que la familia de cerrados {[z, +)} tiene la propiedad de la intersec-
cion finita, y sin embargo la interseccion de todos los elementos de esta familia es vaca.
Captulo 8
Espacios completos
Ejemplo 8.1.2.
(1) Las u nicas sucesiones de Cauchy en un espacio metrico discreto son las de cola constante.
(2) ( n1 )
n=1 es de Cauchy tanto en (R, | |) como en ((0, 1), | |).
Demostracion. Como xn x, para todo > 0 existe un no tal que si n > no , entonces
d(xn , x) < 2 . As, para todo n, m > no se tiene
d(xn , xm ) d(xn , x) + d(x, xm ) < + =
2 2
71
72
CAPITULO 8. ESPACIOS COMPLETOS
Ejemplo 8.1.4.
Demostracion. Como (xn ) n=1 es de Cauchy, dado > 0 existe un n1 tal que para todo n, m > n1
se cumple que d(xn , xm ) < 2 .
Por otra parte la subsucesion (xnk )k es convergente a x, luego existe un ko tal que si nk > nko se
cumple d(xnk , x) < 2 .
Proposicion 8.1.6. Toda sucesion de Cauchy en un espacio metrico (X, d) esta acotada.
Demostracion. Consideremos = 1, por el hecho de ser de Cauchy existe no tal que si m, n > no
se tiene que d(xn , xm ) < 1, de modo que si n > no , xn B(xno +1 , 1). Solo quedan un numero
finito de terminos que pueden estar fuera de esta bola. Sea
Definicion 8.2.1 (Espacio completo). Diremos que un espacio metrico (X, d) es completo si toda
sucesion de Cauchy es convergente.
Ejemplo 8.2.2.
Demostracion. Sea (X, d) un espacio metrico compacto y sea (xn ) n=1 una sucesi
on de Cauchy en
X. Como (X, d ) es compacto, tambien es secuencialmente compacto, luego existe una subsuce-
sion de (xn )
n=1 , (xnk )k=1 , convergente y como consecuencia del Lema 8.1.5 (xn )n=1 tambi
en es
convergente.
La implicacion recproca no es cierta, pero s que se cumple si se considera una hipotesis adi-
cional, la de ser totalmente acotado. La demostracion siguiente es algo complicada. Ademas, e sta
propiedad justifica que los espacios metricos totalmente acotados reciban tambien el nombre de
precompactos.
Proposicion 8.2.5. Todo espacio metrico completo y totalmente acotado es secuencialmente com-
pacto.
Demostracion. Sea (X, d) un espacio metrico completo y totalmente acotado, sea (xn )
n=1 una
sucesion en X. Vamos a construir una subsucesion de Cauchy que sera convergente al ser X
completo y por tanto X sera secuencialmente compacto.
Si la sucesion es finita no hay nada que probar, pues tiene infinitos terminos iguales y ya tenemos
la subsucesion convergente. Supongamos entonces que la sucesion S = (xn ) n=1 tiene infinitos
terminos distintos. Como X es totalmente acotado y S X, S tambien es totalmente acotado, por
tanto dado 21 existe un numero finito de bolas con este radio que recubren S. Como S es infinito,
una de estas bolas contendra infinitos puntos de dicha sucesion S, llamemos a esta bola B1 .
Consideremos ahora B1 S. Este conjunto es tambien totalmente acotado, de modo que si con-
sideramos 212 , B1 S estara recubierto por un numero finito de bolas de radio 212 y de ellas, al
menos una, que llamaremos B2 , contendra una cantidad finita de terminos de la sucesion.
As sucesivamente hemos construido una sucesion de bolas Bk de radio 21k , cada una de las cuales
tiene infinitos terminos de la sucesion y que, segun se han construido, dos a dos tienen interseccion
no vaca.
El primer termino sera un termino arbitrario de la sucesion que este en B1 y le llamamos xn1 ,
como en B2 hay infinitos terminos de la sucesion, existe un termino de la sucesion xn2 6= xn1
y con n2 > n1 , as sucesivamente construimos una subsucesion (xnk )k , tal que cada xnk Bk .
Veamos que esta subsucesion es de Cauchy. Si p, q N con p < q, como Bp Bq 6= , tendremos
que si y Bp Bq
1 1 1 1 1
d(xnp , xnq ) d(xnp , y) + d(y, xnq ) p
+ q < p + p = p1
2 2 2 2 2
1
Por tanto, dado > 0, existe m tal que 2m1
< y si p, q > m (con p > q por ejemplo), entonces
1 1
d(xnp , xnq ) < < <
2p1 2m1
y la subsucesion es de Cauchy.
Teniendo en cuenta que todo espacio metrico compacto es secuencialmente compacto, podemos
expresar los dos resultados anteriores en el siguiente teorema:
Teorema 8.2.6. Un espacio metrico (X, d) es compacto si, y solo si (X, d) es completo y total-
mente acotado.
Demostracion. Sea (X, d) un espacio metrico y sea H X tal que (H, dH ) es completo. Veamos
que H es cerrado comprobando que H = H. Si x H, entonces existe una sucesion en H,
(xn )
n=1 , que converge a x y por tanto es de Cauchy, tanto en X como en H. Como (H, dH ) es
completo la sucesion (xn ) 0
n=1 converge en H a un punto x . Pero (X, d) es un espacio metrico y
0
por tanto de Hausdorff y x = x . Es decir, x H.
Teorema 8.3.1 (Teorema de Encaje de Cantor). Sea (X, d) un espacio metrico completo y sea
{Cn }n=1 una sucesion decreciente de cerrados en X, no vacos y tales que la sucesion de sus
diametros converge a 0. Entonces n=1 Cn es exactamente un punto.
8.3. ALGUNOS RESULTADOS INTERESANTES 75
Como los diametros de ((Cn ))n forman una sucesion que tiende a 0, tendremos que dado > 0,
existe no N tal que si n > no , (Cn ) < . Por tanto, como la sucesion de cerrados es
decreciente, tenemos que si n, m > no , con m > n, xn , xm Cn y entonces d(xn , xm ) <
(Cm ) < y la sucesion es de Cauchy.
Veamos que x nN Cn . Supongamos que no fuera as, entonces existe k N tal que x / Ck y
r
como Ck es cerrado, tenemos que d(x, Ck ) = r > 0, con lo que la bola B(x, 2 ) y Ck no tienen
puntos comunes, pero si n > k, xn Ck (la sucesion de cerrados es decreciente), lo que implica
que xn / B(x, 2r ), lo cual es imposible puesto que xn x.
Veamos por fin que este punto es el u nico en la interseccion. Supongamos que existe otro punto
y nN Cn , entonces d(x, y) (Cn ) para todo n N y como limn (Cn ) = 0, ha de ser
d(x, y) 0, pero d es una distancia, luego d(x, y) = 0. Por tanto x = y.
Teorema 8.3.2 (Baire). Sea (X, d) un espacio metrico completo y sea {An }
n=1 una sucesi
on de
abiertos de X tales que An es denso en X para cada n N. Entonces se cumple que A
n=1 n es
denso en X.
Como la bola B(x1 , r1 ) es abierto y no vaco y A2 es denso resulta que B(x1 , r1 ) A2 es no vaco
y por tanto existe x2 B(x1 , r1 ) A2 y es abierto luego existe r2 < 21 tales que
B(x2 , r2 ) B(x1 , r1 ) A2 A A1 A2
n=1 B(xn , rn ) = {x}, x X
es el completado
Definicion 8.4.1 (Espacio completado). Diremos que un espacio metrico (X, d)
es completo y X es isometrico a un subconjunto denso de
de un espacio metrico (X, d) si (X, d)
X.
Ejemplo 8.4.2.
Teorema 8.4.3. Sea X un conjunto cualquiera. Entonces el espacio metrico (B(X, R), d ) con
B(X, R) = {f : X R : f acotada} y d (f, g) = sup{| f (x) g(x) |: x X}, es un
espacio metrico completo.
Como (R, | |) es completo se tiene que, para cada x X, (fn (x)) n=1 converge a un punto en R
que llamaremos f (x). A partir de estos lmites definimos una funcion, f : X R, tal que a
cada x X le hace corresponder el lmite de la sucesion (fn (x))
n=1 , que hemos llamado f (x).
Veamos que (fn )n converge a f . Como la sucesion es de Cauchy, tendremos que para todo > 0,
existe no tal que si m, n > no , entonces d (fn , fm ) = sup{|fn (x) fm (x)| : x X} < . En
particular, si tomamos n > no fijo y p N, tendremos que
lo que implica que |fn (x) f (x)| < y por tanto la conclusion es que si n > no entonces
Esto tambien implica que f B(X, R), es decir, esta acotada, pues como (fn )n es de Cauchy, por
la proposicion 8.1.6, esta acotada, luego existe M > 0 tal que (fn )n B(0, M ), con 0 la funcion
8.5. EJERCICIOS 77
identicamente nula, es decir d (0, fn ) < M para todo n N. Entonces, dado 1 > 0, como (fn )n
converge a f , existe un n1 tal que si n > n1 , entonces d (fn , f ) < 1. Por tanto podemos poner
Si ahora consideramos la adherencia (X) en B(X, R), con la distancia inducida, tenemos que
por la proposicion 8.2.7, (X) es completo por ser cerrado en B(X, R) que es completo. Ya
hemos encontrado un completado de X.
8.5 Ejercicios
3. En el teorema de punto fijo del ejercicio anterior, las hipotesis son necesarias:
a) Completitud. Demuestre que la aplicacion f : (0, 31 ) (0, 13 ) dada por f (x) = x2
es una contractiva y que no tiene punto fijo.
b) Contractiva. Demuestre que la aplicacion f : [1, ) [1, ) dada por f (x) =
x + x1 no cumple | f (x) f (y) |<| x y | y no tiene punto fijo.
a) Espacio metrico completo. Demuestre que {(0, n1 ]} n=2 es una sucesion de conjun-
tos cerrados de ((0, 1), | |) tales que sus diametros convergen a 0 y, sin embargo, su
interseccion es el vaco.
b) Conjuntos cerrados. Demuestre que {(0, n1 )} n=1 es una sucesi on de conjuntos no
cerrados en R tales que sus diametros convergen a cero y su interseccion es el vaco.
c) Sucesion de diametros convergente a 0. Demuestre que {[n, )} n=1 es una sucesi
on
decreciente de conjuntos cerrados en R tales que su interseccion es el vaco.
6. Sea (xn )n una sucesion en un espacio metrico (X, d) y sea la sucesion de conjuntos
Pruebe que (xn )n es una sucesion de Cauchy si, y solo si la sucesion de los diametros
((An ))n , converge a 0. [Lipschutz], pag. 199
REFERENCIAS