Lecciones de Topologia

LECCIONES DE TOPOLOG
IA
Managua, Enero de 2008
Prof. Marta Macho Stadler
2
Marta Macho Stadler
Departamento de Matem aticas
Facultad de Ciencia y Tecnologa
Universidad del Pas VascoEuskal Herriko Unibertsitatea
Barrio Sarriena s/n, 48940 Leioa
e-mail: marta.macho@ehu.es
http://www.ehu.es/ mtwmastm
Tlf: +34-946015352 Fax: +34-946012516
Portada: La banda de M obius
c _Jean-Pierre Petit, http://www.jp-petit.com
Las aventuras de Anselmo Lanturlu. El Topologic on
http://www.savoir-sans-frontieres.com/
Indice general
Introducci on 5
1. Repaso de algunos conceptos matem aticos 1
1.1. Un poco de L ogica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.1.1. Smbolos y conectores . . . . . . . . . . . . . . . . . . . . . . . 1
1.1.2. Los objetos del razonamiento . . . . . . . . . . . . . . . . . . . 3
1.1.3. Condiciones necesarias y sucientes . . . . . . . . . . . . . . . . 4
1.1.4. Los m etodos de demostraci on . . . . . . . . . . . . . . . . . . . 5
1.2. Teora de conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.3. Funciones y sus propiedades . . . . . . . . . . . . . . . . . . . . . . . . 9
1.4. Relaciones binarias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.5. Propiedades de los n umeros reales . . . . . . . . . . . . . . . . . . . . . 14
1.6. Nociones sobre cardinalidad de conjuntos . . . . . . . . . . . . . . . . . 15
1.7. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
2. Espacios m etricos 23
2.1. Denici on de espacio m etrico . . . . . . . . . . . . . . . . . . . . . . . 23
2.1.1. Denici on de distancia . . . . . . . . . . . . . . . . . . . . . . . 23
2.1.2. Distancia entre conjuntos . . . . . . . . . . . . . . . . . . . . . . 27
2.1.3. Isometras . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
2.2. Bolas abiertas y cerradas. Esferas . . . . . . . . . . . . . . . . . . . . . . 28
2.3. Conjuntos abiertos y cerrados . . . . . . . . . . . . . . . . . . . . . . . . 29
2.3.1. Conjuntos abiertos . . . . . . . . . . . . . . . . . . . . . . . . . 29
2.3.2. Topologa inducida por una m etrica . . . . . . . . . . . . . . . . 30
2.3.3. Conjuntos cerrados . . . . . . . . . . . . . . . . . . . . . . . . . 32
2.4. Clausura, interior y frontera de un conjunto . . . . . . . . . . . . . . . . 33
2.4.1. Clausura de un conjunto . . . . . . . . . . . . . . . . . . . . . . 33
3
4

Indice general
2.4.2. Interior de un conjunto . . . . . . . . . . . . . . . . . . . . . . . 35
2.4.3. Frontera de un conjunto . . . . . . . . . . . . . . . . . . . . . . 37
2.5. Subespacios de un espacio m etrico . . . . . . . . . . . . . . . . . . . . . 38
2.6. Di ametro de un conjunto. Conjuntos acotados . . . . . . . . . . . . . . . 39
2.7. Conjuntos densos y espacios separables . . . . . . . . . . . . . . . . . . 41
2.8. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
3. Continuidad en espacios m etricos 57
3.1. Aplicaciones continuas . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
3.2. Aplicaciones continuas y subespacios . . . . . . . . . . . . . . . . . . . 60
3.3. Extensiones de funciones continuas . . . . . . . . . . . . . . . . . . . . 61
3.4. Aplicaciones uniformemente continuas . . . . . . . . . . . . . . . . . . . 65
3.5. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66
4. Convergencia en espacios m etricos 75
4.1. Denici on de sucesi on . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
4.2. Sucesiones convergentes . . . . . . . . . . . . . . . . . . . . . . . . . . 76
4.3. Sucesiones de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79
4.4. Espacios m etricos completos . . . . . . . . . . . . . . . . . . . . . . . . 80
4.5. Teorema de Baire . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82
4.6. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 84
5. Conexi on en espacios m etricos 91
5.1. Espacios y conjuntos conexos . . . . . . . . . . . . . . . . . . . . . . . 91
5.2. Componentes conexas . . . . . . . . . . . . . . . . . . . . . . . . . . . 93
5.3. Espacios totalmente disconexos . . . . . . . . . . . . . . . . . . . . . . 94
5.4. Conexi on en la recta real . . . . . . . . . . . . . . . . . . . . . . . . . . 95
5.5. Conexi on y continuidad . . . . . . . . . . . . . . . . . . . . . . . . . . . 96
5.6. Conexi on por caminos . . . . . . . . . . . . . . . . . . . . . . . . . . . 96
5.7. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 98
6. Compacidad en espacios m etricos 105
6.1. Espacios y conjuntos compactos . . . . . . . . . . . . . . . . . . . . . . 105
6.2. Compacidad y continuidad . . . . . . . . . . . . . . . . . . . . . . . . . 107
6.3. Compacidad secuencial . . . . . . . . . . . . . . . . . . . . . . . . . . . 109
6.4. Compacidad en espacios eucldeos . . . . . . . . . . . . . . . . . . . . . 111
6.5. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 112
Indice general 5
7. Espacios vectoriales normados 119
7.1. Normas sobre espacios vectoriales . . . . . . . . . . . . . . . . . . . . . 119
7.1.1. M etrica denida por una norma . . . . . . . . . . . . . . . . . . 119
7.1.2. Normas equivalentes . . . . . . . . . . . . . . . . . . . . . . . . 121
7.1.3. Aplicaciones lineales continuas . . . . . . . . . . . . . . . . . . 123
7.1.4. Espacios de Hilbert y de Banach . . . . . . . . . . . . . . . . . . 123
7.2. Espacios de funciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . 126
7.2.1. Convergencia simple y uniforme . . . . . . . . . . . . . . . . . . 126
7.2.2. Algunos teoremas importantes en An alisis Real . . . . . . . . . . 128
Bibliografa 131
6

Indice general
Introducci on
Entre lo que veo y digo,
entre lo que digo y callo,
entre lo que callo y sue no,
entre lo que sue no y olvido,
la poesa.
Decir: hacer
Octavio Paz (1914-1998)
La Topologa estudia aquellas propiedades de los espacios que permanecen inaltera-
bles al someterlas a deformaciones continuas, es decir, a distorsiones que ni rompen ni
pegan algo que no lo estaba previamente.
Por ejemplo, el car acter circular de una circunferencia no es una propiedad topol ogica:
se pueden pegar las extremidades de una cuerda para hacer una circunferencia, y sin cortar
ni despegar, deformar esta gura en un cuadrado, una elipse, etc. Pero, la cualidad de no
tener extremidades permanece constante durante estas transformaciones.
Se suele bromear, comentando que las personas que se dedican al estudio de la to-
pologa no distinguen la rosquilla de la taza de caf e:, como se muestra en la gura de
debajo:

en efecto, hemos pasado de la rosquilla a la taza sin realizar ni roturas ni cortes: ha sido
una transformaci on topol ogica.
7
8 Introducci on
La topologa es pues matem atica cualitativa, matem atica sin n umeros: trata de pro-
piedades cualitativas intrnsecas de los espacios, que son independientes de su tama no,
posici on y forma.
Los espacios m etricos son los primeros ejemplos de espacios topol ogicos, los que
primero surgieron en el estudio cualitativo de espacios: generalizan las propiedades de
los espacios eucldeos, donde sabemos medir la distancia entre dos puntos dados.
En este texto, se trata de dar una introducci on a la Topologa, a trav es de la teora de
espacios m etricos: aunque son un caso especialmente sencillo de espacios topol ogicos,
se hace una revisi on de sus propiedades topol ogicas m as importantes, intentando dar una
visi on m as topol ogica que m etrica en los enunciados y las demostraciones.
El curso est a organizado en siete captulos.
El primero de ellos recopila aquellos preliminares sobre teora de conjuntos y l ogica
matem atica que son necesarios para una buena comprensi on del texto.
Los siguientes cinco captulos estudian las propiedades m as importantes de espacios
m etricos: s olo est an demostrados aquellos enunciados cuya prueba no es trivial, se han
incluido una gran cantidad de ejemplos y cada captulo naliza con una amplia colecci on
de ejercicios, donde los m as complicados est an marcados con el smbolo .
El ultimo captulo se dedica al estudio de espacios normados y espacios de funciones,
especialmente destacados en an alisis real y complejo.
La bibliografa indicada se reere en su mayora a textos sobre espacios m etricos,
aunque aparecen tambi en algunos libros dedicados a los espacios topol ogicos en general,
donde se puede continuar el estudio iniciado en este curso.
Managua, enero de 2008
Repaso de algunos conceptos
matem aticos
Y aqu estoy yo, brotado entre las ruinas,
mordiendo solo todas las tristezas,
como si el llanto fuera una semilla
y yo el unico surco de la tierra.
Barrio sin luz
Pablo Neruda (1904-1973)
1.1. Un poco de L ogica
La L ogica es una herramienta b asica en Matem aticas; damos aqu un repaso de algu-
nos conceptos fundamentales.
1.1.1. Smbolos y conectores
En Matem aticas, es fundamental la utilizaci on de smbolos y conectores que sirven
para modicar o combinar sentencias.
Denici on 1.1. Los siguientes smbolos se llaman cuanticadores:
1) el cuanticador universal: (para todo);
2) el cuanticador existencial: (existe).
Denici on 1.2. Tambi en es esencial el uso de los conectores:
1) la negaci on: no;
2) la conjunci on: (y);
1
2 Captulo 1. Repaso de algunos conceptos matem aticos
3) la disyunci on: (o);
4) la implicaci on: =(si , entonces);
5) la doble implicaci on: (si y s olo si o equivale).
El manejo es sencillo, pero es preciso tener cuidado al utilizarlos. Por ejemplo, si P
y Q son propiedades relativas a los elementos de un conjunto X, para expresar que x
cumple P, se escribir a P(x). Y entonces:
Proposici on 1.1. P(x) Q(x), signica una de las tres posibilidades (mutuamente ex-
cluyentes) siguientes:
(i) P(x) y Q(x);
(ii) P(x) y no-Q(x);
(iii) no-P(x) y Q(x).
Proposici on 1.2. C omo se niega una proposici on?
1) no-(x X, P(x)) es lo mismo que decir que (x X : no-P(x)).
2) no-(x X : P(x)) equivale a (x X, no-P(x)).
3) no(x X, P(x) Q(x)) es lo mismo que decir que (x X : no-P(x) o no-Q(x)).
4) no-(x X : P(x) =Q(x)) es equivalente a (x X, P(x) ,=Q(x)).
En general, cuando aparecen varios cuanticadores en un enunciado, el orden en el
que se escriben no importa, siempre que los cuanticadores involucrados sean del mismo
tipo:
1) (x, y, P(x, y)) es lo mismo que decir que (y, x, P(x, y)).
2) (x, y : P(x, y)) es equivalente a (yy : P(x, y)) .
Pero, hay que tener cuidado cuando se ven involucrados cuanticadores de distinto tipo:
3) (x, y : P(x, y)) ,= (y : x, P(x, y)).
Ejemplo 1.1. Si X = N y P(x, y) es x y. La primera expresi on de 3) se lee como
que todo n umero natural posee otro mayor (que es cierta); la segunda signica que existe
un n umero natural mayor que todos los dem as (que es falsa).
1.1. Un poco de L ogica 3
El cuanticador existencial y el conector disyunci on se pueden intercambiar, as como
el cuanticador universal y el conector conjunci on:
1) (x, P(x)) y (y, Q(y)) es lo mismo que decir que (x, y, P(x) Q(y)).
2) (x : P(x)) o (y : Q(y)) es equivalente a (x, y : P(x) Q(y)).
Pero, no se pueden utilizar indistintamente:
3) el cuanticador universal y el conector conjunci on:
(x, P(x) Q(x)) ,= (x, P(x))) (x : Q(x)).
Ejemplo 1.2. Si X = N, P(x) es ser par y Q(x) es ser impar. La primera expresi on
se lee como que un n umero natural es par o impar (que es verdadera) y la segunda dice
que todo n umero natural es par o todo n umero natural es impar (que es falsa).
4) el cuanticador existencial y el conector disyunci on:
(x : P(x)) (x : Q(x)) ,= (x : P(x) Q(x)).
Ejemplo 1.3. Si X = N, P(x) es ser par y Q(x) es ser impar. La primera expresi on
se lee como que existe un n umero natural par y existe un n umero natural impar (que es
cierta), y la segunda signica que existe un n umero natural a la vez par e impar (que es
falsa).
1.1.2. Los objetos del razonamiento
Denir una teora matem atica es establecer las reglas del juego sobre los objetos ma-
nipulados. En Matem aticas, estas reglas se llaman axiomas.
Denici on 1.3. Un axioma es todo enunciado que:
1) sirve de fundamento para la construcci on de una teora;
2) se admite como cierto y no es pues objeto de discusi on.
Cuando un unico axioma no basta para denir una teora, se pide adem as:
3) que los diferentes axiomas usados no se contradigan y sean independientes los unos
de los otros.
Ejemplos 1.1. Algunos ejemplos de axiomas son los siguientes:
1) axioma de Euclides: dos rectas paralelas del plano eucldeo no se cortan; es la base de
la Geometra Eucldea;
2) axioma de elecci on: dado un conjunto X, existe una funci on de elecci on (ver la de-
nici on 1.18), f : T(X) X, que asigna a todo A no vaco, f(A) = a A,
que se llama punto distinguido;
3) lema de Zorn: sea un conjunto parcialmente ordenado (X, ) (ver la denici on 1.31),
tal que todo conjunto bien ordenado (ver la denici on 1.33) admite una cota supe-
rior; entonces (X, ) posee un elemento maximal (ver la denici on 1.32);
4) axioma de Zermelo: todo conjunto puede ser bien ordenado.
Observaci on 1.1. 2), 3) y 4) son formulaciones equivalentes del mismo axioma.
Denici on 1.4. Una denici on es una proposici on que sirve para explicar o introducir una
nueva noci on.
Una vez conocidos los axiomas y algunas deniciones, el juego puede comenzar, pues-
to que las reglas ya se han planteado.
Denici on 1.5. Un teorema es un enunciado que se deduce:
1) directamente de los axiomas,
2) de los axiomas y los teoremas precedentes, y
con las reglas de deducci on que se llaman demostraciones, que aseguran su validez.
Denici on 1.6. A veces, se da unicamente el nombre de teorema a los verdaderamente
importantes, a los que han pasado a la historia con un nombre, o a los que precisan una
demostraci on muy larga, dejando el nombre de proposici on al resto.
Denici on 1.7. Un lema es una proposici on preliminar a la demostraci on de un teorema.
Denici on 1.8. Un corolario es una proposici on que se deduce inmediatamente de un
teorema, por una demostraci on, sino inmediata, cuando menos corta y f acil.
1.1.3. Condiciones necesarias y sucientes
Denici on 1.9. (La implicaci on) Sea X un conjunto. Sean P(x) y Q(x) dos f ormulas
matem aticas, deniendo los conjuntos A = x X : P(x) y B = x X : Q(x)
respectivamente. Si A B, todo elemento vericando la f ormula P, cumple tambi en Q.
En este caso, se dice que P implica Q, y se escribe P = Q. Se dice tambi en que P es
una condici on suciente de Q. En efecto, para obtener Q, basta con conocer P. Se dice
tambi en que Q es una condici on necesaria de P.
1.1. Un poco de L ogica 5
Denici on 1.10. (La equivalencia) Sea X un conjunto. Sean P(x) y Q(x) dos f ormulas
matem aticas, deniendo los conjuntos A = x X : P(x) y B = x X : Q(x)
respectivamente. Si A = B, todo elemento vericando la f ormula P, cumple tambi en Q
y todo elemento vericando la f ormula Qcumple a su vez P. En este caso, se dice que P
es equivalente a Q, y se escribe P Q. Como A = B es id entico a A B y B A,
la equivalencia P Q signica las dos implicaciones: P =Q y Q =P.
Es decir, las dos propiedades equivalentes P y Q caracterizan el mismo conjunto.
Observar que en tal caso P es una condici on necesaria y suciente de Q.
1.1.4. Los m etodos de demostraci on
Hay muchos m etodos de demostraci on, entre los cuales los m as importantes son:
(i) M etodo de la hip otesis auxiliar: para probar que P =Q, se supone P cierta.
Esta forma de razonamiento, la m as directa, es tambi en la m as conocida. De manera
pr actica consiste en demostrar el teorema P = Q, donde P es la hip otesis y Q la
conclusi on o tesis, suponiendo que se verica P (la hip otesis es cierta) y ayud andose de
los axiomas y de los otros teoremas de la teora demostrados anteriormente.
(ii) Disjunci on de los casos: para probar que P = Q, se descompone P en la
forma P
1
P
n
, y se prueba que para cada i 1, . . . , n, es P
i
= Q.
Es decir, se descompone el conjunto A = x X : P(x) en una uni on disjunta de
subconjuntos A
1
, , A
n
. Si B = x X : Q(x), se prueba que para cada 1 i n,
se tiene A
i
B. Y como A = A
1
A
n
, se tendr a A B.
Ejemplo 1.4. Probar que si n N, entonces n(n + 1) es par.
Demostraci on: Distinguimos dos posibilidades: si n es par, existe k N, tal que n = 2k,
y entonces n(n + 1) = 2k(2k + 1). Si n es impar, existe k N, tal que n = 2k + 1, y
entonces n(n + 1) = (2k + 1)(2k + 2) = 2(2k + 1)(k + 1), que es claramente par.
(iii) M etodo de contraposici on: para probar que P = Q, se demuestra el contra-
recproco no-Q = no-P.
Es un primer m etodo de prueba indirecta. Descansa sobre el hecho de que la inclusi on
A B es equivalente a decir que los conjuntos complementarios (ver la denici on 1.13
3)) verican la inclusi on B
c
A
c
.
Ejemplo 1.5. Probar que si n N es tal que n
2
es par, entonces n es par.
Demostraci on: Si n N es impar, entonces n
2
es impar.
(iv) Demostraci on por reducci on al absurdo: para probar un enunciado P, se su-
pone su negaci on no-P, y se busca una contradicci on en la teora en la que se trabaja.
Como se admite evidentemente que esta teora no admite contradicciones, la suposi-
ci on no-P ser a falsa, lo cual es equivalente a decir que P es cierta. A qu e contradicci on
se debe llegar? A contradecir un axioma, un teorema anteriormente probado o la suposi-
ci on no-P.
De modo similar, para probar que P = Q razonando por reducci on al absurdo, se
admite lo contrario, es decir, que no-(P =Q), o lo que es equivalente, Py no-Q. Y se
busca entonces encontrar una contradicci on.
(v) El contraejemplo: para probar que una f ormula matem atica P es cierta sobre un
conjunto X, hay que probar que todos los elementos de X la verican. Pero, se sabe que
la negaci on de (x X, P(x)) es (x X, no-P(x)). As, para probar que esta f ormula
es falsa, basta con encontrar un elemento de X que no verique P. Esto es lo que se llama
dar un contraejemplo, lo que permite probar que una conjetura es falsa.
Ejemplo 1.6. Si x R, es cierto que si x x
2
, entonces es x 1?
Demostraci on: La respuesta es falsa, tomando x = 2.
(vi) La demostraci on por recurrencia: este tipo de demostraci on est a ligada a la
denici on del conjunto de los enteros naturales. Es una t ecnica util para probar que una
propiedad P(n) es cierta para todos los enteros naturales n, o para los que son iguales
o superiores a un cierto n
0
. Sean n
0
un entero natural y P(n) una f ormula del lenguaje
matem atico que depende de un entero n. Para probar que P(n) se verica para cada
n n
0
, basta con probar que:
1) P(n
0
) es cierta,
2) demostrar, bajo la hip otesis de que P(n) se verica para n n
0
, n
0
+ 1, . . . k, que
P(k + 1) es cierta.
La primera etapa se trata de una simple vericaci on, el segundo paso descrito es, de
hecho, el objeto de una demostraci on.
Ejemplo 1.7. Probar que para cada n N, 1 + +n =
n(n+1)
2
.
Demostraci on: Para n = 1, es cierto que 1 =
1(1+1)
2
. Si la propiedad se verica para
n 1, . . . , k, entonces: 1+2+ +k+(k+1)=(1+2+ +k)+(k+1)=
k(k+1)
2
+(k+1)=
(k+2)(k+1)
2
.
1.2. Teora de conjuntos 7
Hay una forma d ebil de la demostraci on por recurrencia: para probar que P(n) se
verica para cada n n
0
, basta con probar que:
1) P(n
0
) es cierta,
2) demostrar, bajo la hip otesis de que P(k) se verica para k > n
0
, que P(k + 1) es
cierta.
Observar que, en este caso, para probar que P(k + 1) se verica, nos apoyamos s olo
sobre la hip otesis de que P(k) es cierta.
1.2. Teora de conjuntos
Denici on 1.11. Un conjunto es una colecci on de objetos, llamados elementos o puntos.
Son conjuntos importantes en Matem aticas N, Z, Q, R, .
Si x es un elemento de X, se denota por x X. An alogamente, x / X denota la no
pertenencia de x al conjunto X. El conjunto vaco es el conjunto sin elementos.
Se puede denir un conjunto:
1) por extensi on, nombrando todos sus elementos: por ejemplo, el conjunto de los n ume-
ros naturales pares es 2, 4, 6, 8, ;
2) a trav es de una propiedad P v alida en un universo U, que servir a para caracterizarlo
x U : P(x). Por ejemplo, el conjunto de los n umeros naturales pares se puede
expresar por x N : x es m ultiplo de 2.
Denici on 1.12. Dados A, B X, se dice que A est a contenido en B, A B, si para
cada x A, es x B. Y A es igual a B, A = B, si A B y B A.
Denici on 1.13. Si A, B X, se denen:
1) la intersecci on de A y B, por A B = x X : x A x B. Claramente,
A B A, B. A y B se dicen disjuntos si A B = ;
2) la uni on de A y B, por A B = x X : x A x B. Es decir x A B, si
se verica una (y s olo una) de las condiciones siguientes:
(i) x A y x B,
(ii) x A y x , B,
(iii) x , A y x B.
Claramente, A, B A B;
3) el complementario de A en X, por X A = x X : x , A. Si no hay duda de
respecto a que conjunto se est a tomando el complementario, se suele denotar por
A
c
;
4) la diferencia de A y B, por A B = A B
c
= x X : x A x , B.
Proposici on 1.3. Las anteriores operaciones verican las siguientes propiedades:
1) leyes idempotentes: A A = A = A A;
2) leyes asociativas: (A B) C = A (B C) y (A B) C = A (B C);
3) leyes conmutativas: A B = B A y A B = B A;
4) leyes distributivas: A(BC) = (AB)(AC) y A(BC) = (AB)(AC);
5) identidades: A X = A = A , A X = X y A = ;
6) propiedades del complementario: A A
c
= X, A A
c
= , (A
c
)
c
= A y X
c
= ;
7) leyes de De Morgan: (A B)
c
= A
c
B
c
y (A B)
c
= A
c
B
c
.
Denici on 1.14. Se llama partes de X o conjunto potencia de X al conjunto de todos los
subconjuntos de X, y se denota por T(X) o 2
X
. Es decir, A X si y s olo si A T(X).
Denici on 1.15. A B = (a, b) : a A b B es el producto cartesiano de A por
B. Sus elementos son pares ordenados.
Claramente, A B ,= B A. Y A B = , si y s olo si A = o B = . Dos pares
ordenados (a
1
, b
1
), (a
2
, b
2
) AB, son iguales (a
1
, b
1
) = (a
2
, b
2
) si y s olo si a
1
= a
2
y
b
1
= b
2
. Luego, (a
1
, b
1
) ,= (a
2
, b
2
) si y s olo si a
1
,= a
2
o b
1
,= b
2
.
En general, dada una familia nita de conjuntos A
1
, , A
n
, se dene su producto
cartesiano por
n
i=1
A
i
= A
1
A
n
= (a
1
, , a
n
) : a
i
A
i
, i 1, , n. Si
A
i
= A para cada i 1, , n, el producto cartesiano se denota por A
n
.
Proposici on 1.4. El producto cartesiano verica las siguientes propiedades:
1) A (B C) = (A B) (A C);
2) A (B C) = (A B) (A C);
3) si C ,= y A C = B C, entonces A = B;
1.3. Funciones y sus propiedades 9
4) A (B C) = (A B) (A C);
5) (A B) (C D) = (A C) (B D);
6) (A B)
c
= (A
c
B
c
) (A
c
B) (A B
c
);
7) si B C, entonces A B A C;
8) (A B) (C D) = (A D) (C B);
9) si A, B, C y D son conjuntos no vacos, entonces AB C D si y s olo si A C
y B D.
Denici on 1.16. Sea I ,= un conjunto de ndices. Se considera una familia de conjuntos
A
i
: i I, y se dice que esta familia est a indicada por I. Los conjuntos A
i
no tienen
porque ser diferentes.
Denici on 1.17. Dada una familia indicada A
i
: i I, con A
i
X, se dene:
1) la intersecci on generalizada
iI
A
i
= x X : i I, x A
i
, y
2) la uni on generalizada
_
iI
A
i
= x X : i I tal que x A
i
.
Si el conjunto de ndices I es nito, estas deniciones coinciden con las dadas en la
denici on 1.13. Se cumplen tambi en en este caso las propiedades distributivas, las leyes
de De Morgan
_
iI
A
i
_
c
=
_
iI
A
c
i
y
_
_
iI
A
i
_
c
=
iI
A
c
i
, etc.
1.3. Funciones y sus propiedades
Denici on 1.18. Dados dos conjuntos X e Y , una aplicaci on o funci on f : XY , es
una correspondencia que asocia a cada x X, un elemento y s olo uno de Y , que se
denota por f(x).
Ejemplos 1.2. Algunos ejemplos de aplicaciones son:
1) la aplicaci on identidad, 1
X
: XX, denida por 1
X
(x) = x;
2) la aplicaci on inclusi on: si A X, i
A
: AX, se dene por i
A
(x) = x;
3) la aplicaci on constante, c
y
0
: XY , denida por c
y
0
(x) = y
0
, donde y
0
es un punto
jo de Y ;
4) la i- esima proyecci on coordenada, p
i
: A
1
A
n
A
i
, denida por la igualdad
p
i
((a
1
, , a
n
)) = a
i
;
5) la inyecci on diagonal, d: XX
n
, denida por d(x) = (x, , x);
6) la funci on caracterstica de un conjunto: si A X,
A
: X0, 1, denida por
A
(x) =
_
0 si x , A
1 si x A
7) dada f : XY y A X, la restricci on de f a A, f[
A
: AY , est a denida por
f[
A
(a) = f(a);
8) si g : AY y A X, entonces f : XY es una extensi on de g a X, si f[
A
= g;
una aplicaci on puede tener varias extensiones;
9) si f : AY y g : BY son dos aplicaciones, donde A B = X y f(x) = g(x),
para cada x A B, se puede denir la combinada de f y g, como la aplicaci on
h: XY denida por
h(x) =
_
f(x) si x A
g(x) si x B
Denici on 1.19. Dada una aplicaci on f : XY , X se llama el dominio de f e Y es su
codominio. El grafo de f es el conjunto G
f
= (x, f(x)) : x X X Y , que en
muchas ocasiones se identica con f.
Denici on 1.20. Dos aplicaciones f : XY y g : ZW son iguales, cuando coin-
ciden sus dominios (X = Z), sus codominios (Y = W) y f(x) = g(x), para cada x X.
Por ejemplo, si f : XY es una aplicaci on y A X, f y f[
A
no son iguales.
Denici on 1.21. Dada f : XY , f(A) = y Y : a A tal que f(a) = y es la
imagen directa de A. f(X) se llama rango de la aplicaci on.
Denici on 1.22. Si B Y , f
1
(B) = x X : f(x) B es su imagen recproca.
Proposici on 1.5. Dada f : XY , se verica:
1) f() = , f(X) Y y si A ,= , entonces f(A) ,= ;
2) si A
1
, A
2
X, y A
1
A
2
, entonces f(A
1
) f(A
2
);
3) Si A
i
X para i I, f(
_
iI
A
i
) =
_
iI
f(A
i
) y f(
iI
A
i
)
iI
f(A
i
);
1.3. Funciones y sus propiedades 11
4) si A
1
, A
2
X, f(A
1
) f(A
2
) f(A
1
A
2
) y en particular f(X) f(A
2
)
f(X A
2
) (entre Y f(A
2
) y f(X A
2
) no hay en general ninguna relaci on);
5) f
1
() = , y puede existir , = B Y , tal que f
1
(B) = ;
6) f
1
(Y ) = X;
7) si B
1
, B
2
Y y B
1
B
2
, entonces f
1
(B
1
) f
1
(B
2
);
8) si B
i
Y para i I, f
1
(
iI
B
i
) =
iI
f
1
(B
i
) y f
1
(
_
iI
B
i
) =
_
iI
f
1
(B
i
);
9) Si B
1
, B
2
Y , f
1
(B
1
B
2
) = f
1
(B
1
)f
1
(B
2
), y en particular, f
1
(Y B
2
) =
X f
1
(B
2
);
10) si A X, A f
1
(f(A));
11) si B Y , f(f
1
(B)) = f(X) B B;
12) si A X y B Y , f(A f
1
(B)) = f(A) B.
Denici on 1.23. Dadas f : XY y g : Y Z, se dene la composici on de g y f, por
g f : XZ, donde (g f)(x) = g(f(x)), para cada x X.
Proposici on 1.6. Sean f : XY , g : Y Z y h: ZW aplicaciones, entonces:
1) la composici on de funciones es asociativa: h (g f) = (h g) f;
2) f 1
X
= f y 1
Y
g = g;
3) si C Z, es (g f)
1
(C) = f
1
(g
1
(C));
4) si f : XY y g : Y X, en general, f g ,= g f.
Denici on 1.24. Se dice que f : XY es sobreyectiva, si f(X) = Y , es decir, para
cada y Y , existe x X, tal que f(x) = y. Y es inyectiva, si dados x
1
,= x
2
en X, es
f(x
1
) ,= f(x
2
) (o equivalentemente, si f(x
1
) = f(x
2
), entonces x
1
= x
2
).
Proposici on 1.7. Sea f : XY , entonces:
1) B = f(f
1
(B)) para cada B Y , si y s olo si f es sobreyectiva;
2) Y f(A) f(X A) para cada A X si y s olo si f es sobreyectiva;
3) si g, h: Y Z y f es sobreyectiva, entonces g f = h f implica que h = g;
4) si g : Y X y f g = 1
Y
, entonces f es sobreyectiva;
5) A = f
1
(f(A)) para cada A X, si y s olo si f es inyectiva;
6) f(
iI
A
i
) =
iI
f(A
i
) para cada familia indicada de conjuntos A
i
X
iI
si y s olo
si f es inyectiva;
7) si f es sobreyectiva, entonces para cada A X es Y f(A) = f(X A) si y s olo
si f es inyectiva;
8) si g, h: ZX y f es inyectiva, entonces f g = f h implica que h = g;
9) si g : Y X y g f = 1
X
, entonces f es inyectiva.
Denici on 1.25. f : XY es biyectiva si es sobreyectiva e inyectiva a la vez. En tal
caso, la correspondencia denida por f
1
: Y X, donde f
1
(y) = x si y s olo si
f(x) = y, es una funci on.
Proposici on 1.8. Sea f : XY , entonces:
1) si f es biyectiva, entonces f
1
tambi en lo es;
2) si f es biyectiva, entonces f
1
f = 1
X
, f f
1
= 1
Y
y (f
1
)
1
= f;
3) si g : Y X y g f = 1
X
y f g = 1
Y
, entonces f es biyectiva y g = f
1
;
4) si f : XY y g : Y Z son biyectivas, entonces g f lo es y adem as (g f)
1
=
f
1
g
1
.
1.4. Relaciones binarias
Denici on 1.26. Dado un conjunto X, una relaci on binaria es R X X. Rse llama:
1) reexiva, si para cada x X, es (x, x) R;
2) sim etrica, si dado (x, y) R, entonces (y, x) R;
3) antisim etrica, si (x, y) R e (y, x) R implica que x = y;
4) transitiva, si dados (x, y), (y, z) R, entonces (x, z) R.
Denici on 1.27. Una relaci on de equivalencia es una relaci on binaria reexiva, sim etrica
y transitiva. Se suele denotar por xRy en vez de (x, y) R.
Denici on 1.28. Dada R una relaci on de equivalencia, se llama clase de x al conjunto
[x] = y X : xRy. El conjunto cociente X/R, es el conjunto de todas las clases de
equivalencia.
1.4. Relaciones binarias 13
Proposici on 1.9. Algunas propiedades son:
1) x [x] (x se llama representante de su clase), luego [x] ,= ;
2) xRy si y s olo si [x] = [y];
3) [x] ,= [y] si y s olo si [x] [y] = .
Denici on 1.29. Una partici on de X es una familia T = P
i
: i I de subconjuntos
no vacos de X, tales que:
(i) X =
_
iI
P
i
, y
(ii) si P
i
,= P
j
, entonces P
i
P
j
= .
Lema 1.10. Es equivalente dar una partici on de X que una relaci on de equivalencia
sobre el.
Denici on 1.30. Existe una aplicaci on can onica, p: XX/R, que asigna a cada ele-
mento x su clase de equivalencia p(x) = [x]. Se llama aplicaci on cociente y es sobreyecti-
va. Una vez dada la aplicaci on cociente, cada clase de equivalencia en X es precisamente
p
1
(p(x)).
Denici on 1.31. Una relaci on sobre X es un orden parcial si es una relaci on reexiva,
antisim etrica y transitiva. Se dice tambi en que X est a parcialmente ordenado. El orden
se llama total, si dos elementos cualesquiera de X son comparables por esta relaci on.
Denici on 1.32. Si X est a parcialmente ordenado por , entonces:
(i) a X se llama elemento m aximo de X, si para cada x X, es x a;
(ii) a X es un elemento maximal de X, si a , x para cada x ,= a;
(iii) a X se llama elemento mnimo de X, si para cada x X, es x a,
(iv) a X es un elemento minimal de X, si x , a para cada x ,= a.
Ejemplo 1.8. Si X = a, b, c con el orden parcial a b y a c, entonces b es un
elemento maximal de X, pero no un m aximo.
Denici on 1.33. Un conjunto parcialmente ordenado en el cual todo A X no vaco
posee un elemento mnimo, se llama conjunto bien ordenado. Por ejemplo, (Z, ) no
est a bien ordenado.
1.5. Propiedades de los n umeros reales
(R, ) es un conjunto totalmente ordenado, donde denota el orden usual en R.
Denici on 1.34. Si A R, se tiene:
1) si u R es tal que a u para cada a A, se dice que u es una cota superior de A;
2) la menor de las cotas superiores de A (es decir, u es cota superior de A y para cada z
cota superior de A es z u) es el supremo de A, y se denota sup(A);
3) si l R es tal que a l para cada a A, se dice que l es una cota inferior de A;
4) la mayor de las cotas inferiores de A (es decir, l es cota inferior de A y para cada z
cota inferior de A es z l) es el nmo de A, y se denota nf(A).
Teorema 1.11. (Axioma de la cota superior) Si A R est a acotado superiormente (es
decir, existe M R, tal que M a, para cada a A), existe el supremo de A. Y en tal
caso, s = sup(A) si y s olo si:
(i) para cada a A, es a s, y
(ii) para todo > 0, existe a
A tal que a
> s .
Del axioma anterior, se deduce que:
Corolario 1.12. Si A R est a acotado inferiormente (es decir, existe m R, tal que
m a, para cada a A), existe el nmo de A. Y entonces, i =nf(A) si y s olo si:
(i) para cada a A, es a i, y
(ii) para todo > 0, existe a
A tal que a
< i +.
R es arquimediano, es decir, el conjunto N no est a acotado superiormente. De aqu se
deducen la siguientes propiedades:
Teorema 1.13. (Propiedad arquimediana) Para todo x > 0, existe n N, tal que
0 <
1
n
< x.
Teorema 1.14. (Densidad de los racionales) Dados dos n umeros reales x < y, existe
r Q, tal que x < r < y.
Teorema 1.15. (Propiedad de los intervalos de encaje) Dada [a
n
, b
n
] : n N, familia
de intervalos cerrados y encajados (es decir, si n m, es [a
m
, b
m
] [a
n
, b
n
]), entonces
nN
[a
n
, b
n
] ,= .
1.6. Nociones sobre cardinalidad de conjuntos 15
1.6. Nociones sobre cardinalidad de conjuntos
Denici on 1.35. Dos conjuntos se llaman equipotentes, si existe una correspondencia
biyectiva entre ellos.
Denici on 1.36. X se dice nito si existe n N, tal que X es equipotente a 1, , n.
X es innito, si no es nito, lo cual equivale a decir que es equipotente a un subconjunto
propio de s mismo. X es numerable si es equipotente a N y es contable si es nito o
numerable.
Observaci on 1.2. Dos conjuntos nitos son equipotentes si y s olo si poseen el mismo
n umero de elementos. No sucede lo mismo si X es innito: N es equipotente al conjunto
P de los n umeros pares, y sin embargo P N.
Lema 1.16. La relaci on de equipotencia es una relaci on de equivalencia.
Denici on 1.37. A cada clase de equipotencia se le puede asignar un n umero cardinal,
que es un objeto matem atico tal que existe un conjunto X con Card(X) = .
Denici on 1.38. Un conjunto A es de potencia menor o igual que B, si existe una aplica-
ci on f : AB inyectiva, con lo cual Card(A) Card(B) (equivalentemente, si existe
una aplicaci on f : BA sobreyectiva).
Denici on 1.39. Dados dos n umeros cardinales
1
y
2
, se dice que
1

2
, si existen
conjuntos X e Y con Card(X) =
1
y Card(Y ) =
2
y tales que la potencia de X es
menor o igual a la potencia de Y . Se trata de una relaci on de orden. Si
1

2
y
1
,=
2
,
se dice que
1
es estrictamente menor que
2
.
Proposici on 1.17. Se verican las siguientes propiedades:
1) si X es contable y A X, entonces A es contable;
2) si X no es contable y X Y , entonces Y no es contable;
3) si X es innito, existe A X, numerable y propio;
4) NNes numerable y como consecuencia, el producto cartesiano de una familia nita
de conjuntos contables, es contable;
5) la uni on de una familia contable de conjuntos contables es contable;
6) Z y Q son contables, pero R no lo es.
El Card() = 0, es el cardinal mnimo. Sin embargo no existe un cardinal m aximo,
ya que:
Teorema 1.18. (de Cantor) Para cada conjunto X, Card(X) < Card(T(X)).
Demostraci on: En efecto, si X = , Card(T(X)) = 1, pues T(X) = . Si X ,= ,
y existiera una aplicaci on f : XT(X) biyectiva, sea A = x X : x , f(x).
A T(X) y como f es sobreyectiva, existe x
0
X tal que f(x
0
) = A. Si x
0
A, esto
signicara que x
0
, f(x
0
) = A, lo cual es imposible. Luego, es x
0
, A, lo cual signica
que x
0
f(x
0
) = A, imposible de nuevo. Por otro lado, la aplicaci on h: XT(X)
denida por h(x) = x es inyectiva, y entonces Card(X) < Card(T(X)).
En particular, Card(N) =
0
< Card(T(N)) = 2
0
(notaci on que proviene de la pro-
piedad descrita en el ejercicio 9 del apartado 1.7). Puede probarse que 2
0
= Card(R) =
c, que se llama el cardinal del continuo. De aqu se concluye que
0
< c.
Desde principios de siglo, se ha intentado en vano establecer si existe un n umero
cardinal
1
, entre
0
y c. Cantor hace la siguiente conjetura:
Teorema 1.19. (Hip otesis del continuo) c =
1
, es decir, no existe ning un conjunto A,
tal que
0
< Card(A) < c.
Cohen establece en 1963 que la hip otesis del continuo es indecidible: a nadiendo como
axioma su veracidad o su falsedad, los fundamentos de la Matem atica siguen siendo cohe-
rentes.
1.7. Ejercicios
1.- Con ayuda del lenguaje simb olico, decidir si son correctas las siguientes deducciones
l ogicas:
a) Los gusanos reptan. Las cosas que reptan se manchan. Por lo tanto, los gusanos est an
sucios.
b) Si se rma el Acuerdo de Limitaci on de Armas o las Naciones Unidas aprueban
el Plan de Desarme, la Industria de Armamento caer a. Se sabe que el poder de
la Industria de Armamento no va a caer, por lo tanto, se rmar a el Acuerdo de
Limitaci on de Armas.
c) Ninguna pelota de tenis es de cristal. Ning un objeto de cristal es indestructible. Luego,
ninguna pelota de tenis es indestructible.
d) Si Gran Breta na abandona la U.E. o el d ecit comercial se reduce, el precio de la man-
tequilla bajar a. Si Gran Breta na contin ua en la U.E., las exportaciones no aumen-
tar an. El d ecit comercial se incrementar a, a no ser que las exportaciones aumenten.
Por lo tanto, la mantequilla no bajar a de precio.
1.7. Ejercicios 17
e) Los profesores son s adicos. Algunos s adicos usan l atigo. Por lo tanto, algunos profe-
sores usan l atigo.
f) Los caramelos son dulces. Ning un alimento dulce contiene sal. Luego, los caramelos
no contienen sal.
g) Los p ajaros silban. Algunos nativos de Nicaragua son p ajaros. Luego, algunas criatu-
ras nicarag uenses silban.
h) Si no trabajo duro, me dormir e. Si estoy preocupado, no dormir e. Por lo tanto, si estoy
preocupado, trabajar e duro.
i) Las nubes son mullidas. Algunos objetos mullidos son rosas. Luego, algunas nubes
son rosas.
j) Los osos polares tocan el violn. Los violinistas no vuelan. Por lo tanto, los osos
polares no vuelan.
k) Las tortugas leen a Rub en Daro. Algunas criaturas de G alapagos son tortugas. Por lo
tanto, algunos habitantes de Gal apagos leen a Rub en Daro.
l) Las polillas salen de noche. Los caminantes nocturnos fuman. Por lo tanto, las polillas
fuman.
m) Si Thor se enfada, hay tormentas. Est a comenzando una tormenta. Por lo tanto, Thor
est a enfadado.
n) Si en Marte hubiera grandes cantidades de agua, podra haber vida. No hay grandes
extensiones de agua en Marte. Por lo tanto, no hay vida en Marte.
n) Los buenos polticos son honestos. Juan es honesto. Juan sera un buen poltico.
o) Algunas personas no beben caf e. Los matem aticos son humanos. Por lo tanto, algunos
matem aticos no beben caf e.
p) Ning un elefante sabe hacer ganchillo. Yo no s e hacer ganchillo. Luego, soy un elefan-
te.
q) Algunos poetas son nerviosos. Hay gente nerviosa que se come las u nas. Luego,
algunos poetas se comen las u nas.
r) Si hago estos ejercicios, aprender e l ogica. Ya he terminado de hacerlos... S e l ogica!
2.- Negar los siguientes enunciados:
a) Los polticos son gordos y feos.
b) Hay un matem atico que sabe sumar.
c) Algunas personas de California tienen paraguas.
d) El Athletic de Bilbao ganar a la Liga de f utbol espa nola.
e) Nadie en Managua habla swahili.
f) Al menos dos faraones egipcios eran ciegos.
g) Como mucho, la mitad de los n umeros: 1, 2, 3, 4, 5, 6, son pares.
h) A veces, llueve en Masaya.
i) Siempre hace fro en Groenlandia.
j) Ni Alejandro Magno, ni Julio C esar eran pelirrojos.
k) x A o x B.
l) x A y x B.
m) x A, pero x , B.
n) A B.
n) para cada i I, es x A
i
.
o) existe i I, tal que x A
i
.
3.- Sea X el conjunto de los estudiantes de la Facultad de Ciencias de la UNAN Managua,
H el conjunto de los hombres, M el de la mujeres, C el de los estudiantes que van en
coche a la Universidad, A el de los estudiantes que van en autob us a la Universidad, E
el de los estudiantes de Matem aticas y F el de los estudiantes de Fsicas. Describir los
siguientes conjuntos: X H, X M, X C, X A, X E, X F, H C, H A,
H E, H F, M C, M A, M E, M F, C A, C E, C F, A E, A F,
E F, M H, H M, H C, H A, H E, H F, H M, M H, M C,
M A, M E, M F, C A, C E, C F, AC, AM, AH, AE, AF,
E H, E M, E C, E A y E F.
4.- Cuatro compa neros inseparables han faltado a la clase de Matem aticas en el Institu-
to. Delante del Jefe de Estudios y en presencia de su profesor, se deenden del modo
siguiente:
Pedro: No he faltado.
Elena: Lo admito, he faltado, pero estaba con Juan.
1.7. Ejercicios 19
Juan: Yo tambi en he faltado; pero no estaba con Elena, sino con Pedro.
Mara: Yo estaba en clase, pero no he visto a Pedro.
El profesor: Estaba concentrado en mis cosas, pero he visto a Pedro en clase.
Puedes ayudar al Jefe de Estudios, sabiendo que tres de estas armaciones son ciertas y
s olo tres?
5.- Traducir las siguientes frases del lenguaje natural en un lenguaje utilizando una o
varias propiedades P(x). Dar para cada enunciado su negaci on y traducirla al lenguaje
natural:
a) No hay amor feliz.
b) Una puerta est a abierta o cerrada.
c) Ser o no ser.
d) Las verdades son f aciles de decir.
e) Los hombres preeren las rubias a las morenas.
6.- Probar la propiedad siguiente: Si x R y para cada > 0, es [x[ < , entonces x = 0.
7.- Sea A = a, b donde a y b son n umeros reales, se verican las relaciones siguientes?
(i) a A; (ii) a A; (iii) A; (iv) a T(A); (v) T(A).
8.- Sean A, B y C tres conjuntos nitos de cardinales a, b y c respectivamente. Sea p =
Card(A B), q = Card(B C), r = Card(A C) y s = Card(A B C). Calcular
el cardinal de A B, A C, B C y A B C.
9.- Se pide:
a) calcular T(X), si X = 1, 2, X = y X = 1, 2, 3, 4;
b) probar que si Card(X) = n, entonces Card(T(X)) = 2
n
;
c) sean A y B dos conjuntos; probar que si A B, entonces T(A) T(B). Es cierto
el recproco?
10.- Si A, B X, probar que son equivalentes: (i) A B; (ii) A B = A; (iii)
A B = B; (iv) B
c
A
c
; (v) A B
c
= ; (vi) B A
c
= X.
11.- Probar las propiedades siguientes para conjuntos, dando un contraejemplo en el caso
de inclusi on estricta:
a) A
_
_
iI
B
i
_
=
_
iI
(A B
i
), b) A
_
iI
B
i
_
=
iI
(A B
i
),
c) A
_
iI
B
i
_
=
iI
(A B
i
), d)
iI
A
i
jJ
B
j
=
(i,j)IJ
(A
i
B
j
),
e)
_
iI
A
i
_
jJ
B
j
_
=
(i,j)IJ
(A
i
B
j
), f)
(i,j)I
2
(A
i
B
j
)
iI
(A
i
B
i
),
g)
_
iI
A
i
_
iI
B
i
_
iI
(A
i
B
i
), h)
_
iI
(A
i
B
i
)
_
(i,j)I
2
(A
i
B
j
),
i)
_
_
iI
A
i
_
_
_
jJ
B
j
_
=
_
(i,j)IJ
(A
i
B
j
),
j)
_
iI
A
i
_
jJ
B
j
_
=
(i,j)IJ
(A
i
B
j
),
k)
_
iI
A
i
_
iI
B
i
_
=
iI
(A
i
B
i
),
l)
_
_
iI
A
i
_
_
_
jJ
B
j
_
=
_
iI
jJ
(A
i
B
j
),
m)
_
iI
A
i
_
jJ
B
j
_
=
iI
_
jJ
(A
i
B
j
).
12.- Para cada uno de los siguientes conjuntos de ndices I y cada familia dada de con-
juntos indicados por I, calcular las uniones e intersecciones siguientes:
a) si I = R
2
y para cada p I, S
p
= p, hallar
_
pI
S
p
;
b) si I = (0, ) y para cada x I, C
x
= [0, x], hallar
_
xI
C
x
y
xI
C
x
;
c) si I =
_
1
2
, 1
_
y para cada r I, B
r
es el crculo de radio r y centro (0, 0), hallar
_
rI
B
r
y
rI
B
r
;
1.7. Ejercicios 21
d) si I = (0, 1) y para cada r I, N
r
es el interior del crculo de radio r y centro (0, 0),
hallar
_
rI
N
r
y
rI
N
r
;
e) si I = [1, 2] y para cada x I, A
x
= [
x
2
,
3x
2
], hallar
_
xI
A
x
y
xI
A
x
;
f) si I = N y para cada n I, A
n
=
_
1
n
,
1
n
_
, hallar
_
nI
A
n
y
nI
A
n
;
g) si I = N y para cada n I, B
n
= (
1
n
, 1], hallar
_
nI
B
n
y
nI
B
n
;
h) si I = N y para cada n I, C
n
= (n, n), hallar
_
nI
C
n
y
nI
C
n
.
13.- Dados A, B X, probar
(i)
AB
=
A
.
B
; (ii)
AB
=
A
+
B

AB
;
(iii)
AB
=
A
AB
; (iv)
A
c = 1
A
.
14.- Sean f : XY y g : Y Z dos aplicaciones. Probar:
a) si f y g son sobreyectivas, entonces g f tambi en lo es, pero el recproco no es cierto;
b) si g f es sobreyectiva, entonces g tambi en lo es, pero el recproco no es cierto;
c) si g f es sobreyectiva y g es inyectiva, entonces f es sobreyectiva;
d) si f y g son inyectivas, entonces g f tambi en lo es, pero el recproco no es cierto;
e) si g f es inyectiva, entonces f tambi en lo es, pero el recproco no es cierto;
f) si g f es inyectiva y f es sobreyectiva, entonces g es inyectiva.
15.- Sea f : XY ; probar
a) si existe g : Y X, tal que g f = 1
X
, entonces f es inyectiva;
b) si existe h: Y X, tal que f h = 1
Y
, entonces f es sobreyectiva;
c) f es biyectiva si y s olo si existen g, h: Y X, tales que g f = 1
X
, f h = 1
Y
y
en tal caso h = f
1
= g.
16.- Sean dos conjuntos X
1
, X
2
y para cada i 1, 2, A
i
X
i
. Sea p
i
: X
1
X
2
X
i
la i- esima proyecci on coordenada. Probar las siguientes propiedades:
a) A
1
X
2
= p
1
1
(A
1
), X
1
A
2
= p
1
2
(A
2
) y A
1
A
2
= p
1
1
(A
1
) p
1
2
(A
2
),
b) Si A X
1
X
2
, entonces A p
1
(A) p
2
(A),
c) p
i
(A
1
A
2
) = A
i
(i 1, 2).
17.- Sean f, g : RR, dadas por
f(x) =
_
x
2
si x 0
2 si x < 0
g(x) =
_
x si x 0
x si x < 0
Estudiar las funciones: f g, f f, gg, gf, si es que tienen sentido. Estudiar el car acter
sobreyectivo e inyectivo de f, g, f g y g f. Calcular f(5, 5], g(5, 5], f
1
(5, 5] y
g
1
(5, 5].
18.- Hacer lo mismo que en el ejercicio anterior para las funciones: f : Z
2
Zy g : ZZ
2
dadas por: f(x, y) = x
2
+y y g(x) = (x, 2x).
19.- Sea f : RR, dada por:
f(x) =
_
_
_
2 si x < 0
1 si 0 x 2
x 1 si x > 2
Estudiar si f es inyectiva o sobreyectiva. y calcular f((1, 3)), f([2, 2]), f
1
((0, 1)),
f
1
([4, 4]). Si g : RR es la aplicaci on g(x) = [x[, determinar f g y calcular
(f g)
1
((2, 5]).
20.- Probar que la aplicaci on f : R 2R 1, denida por: f(x) =
x+2
x2
es bi-
yectiva y calcular f
1
.
21.- Calcular f(A
i
) y f
1
(B
i
) (i 1, 2), para f : RR, donde:
(i) f(x) = x
2
, A
1
= (0, 2), B
1
= (0, 4) y B
2
= (1, 0);
(ii) f(x) = x
4
, A
1
= (0, 2), A
2
= , B
1
= (0, 16] y B
2
= (1, 0];
(iii) f(x) =
1
x
(para x > 0), A
1
= N, B
1
= x R : x > 2 y B
2
= N;
(iv) f(x) = x
3
3x, A
1
= [0, ), B
1
= (0, 2) y B
2
= 2.
22.- Dados x, y R, utilizando el car acter arquimediano de R, probar:
(i) si x > 0 e y > 0, existe n N, tal que nx > y;
(ii) si x > 0, existe n N, tal que 0 <
1
n
< x;
(iii) si x > 0, existe n N, tal que n 1 x < n.
Espacios m etricos
Silencio
Se oye el pulso del mundo como nunca p alido
La tierra acaba de alumbrar un arbol.
Altazor
Vicente Huidobro (1893-1948)
2.1. Denici on de espacio m etrico
2.1.1. Denici on de distancia
Un espacio m etrico es un conjunto en donde se introduce la noci on de distancia entre
sus elementos. Se intenta generalizar lo que sucede en el plano o el espacio: aqu cono-
cemos perfectamente lo que es la distancia entre dos puntos. El problema, siendo X un
conjunto abstracto, es denir lo que se entiende por distancia entre dos de sus elementos,
cuya naturaleza especca desconocemos. Para abstraer el concepto de distancia, hay que
captar lo esencial de dicho concepto, lo que da lugar a la siguiente denici on:
Denici on 2.1. Dado un conjunto X ,= , una m etrica o distancia sobre X es una funci on
d: X XR, vericando:
(i) positividad: para cada x, y X, es d(x, y) 0,
(ii) propiedad id entica: dados x, y X, d(x, y) = 0 si y s olo si x = y,
(iii) simetra: para cada x, y X, d(x, y) = d(y, x),
(iv) desigualdad triangular: para cada x, y, z X, d(x, z) d(x, y) + d(y, z).
La expresi on d(x, y) se lee como distancia de x a y, y el par (X, d) se denomina
espacio m etrico.
Sobre un mismo conjunto pueden denirse distintas m etricas, que dan lugar a diferen-
tes espacios m etricos.
23
24 Captulo 2. Espacios m etricos
Denici on 2.2. En la denici on 2.1, si se debilita la condici on (ii) reemplaz andola por
(ii)* para cada x X, d(x, x) = 0,
estamos contemplando la posibilidad de que existan x ,= y en X con d(x, y) = 0. Enton-
ces d recibe el nombre de pseudom etrica.
Ejemplos 2.1. Los primeros ejemplos de espacios m etricos son:
1) (X, d) donde
d(x, y) =
_
0 si x = y
1 si x ,= y
es la m etrica discreta sobre X.
2) El par (R, d
u
), donde d
u
(x, y) = [x y[, se llama la recta real y d
u
es la distancia
usual o eucldea.
3) Sean (X
1
, d
1
), ..., (X
n
, d
n
) una familia nita de espacios m etricos. Vamos a denir
lo que se denomina el espacio m etrico producto, de tres maneras diferentes. Sean
X = X
1
X
n
y x = (x
1
, . . . , x
n
), y = (y
1
, . . . , y
n
) X. Tenemos tres
distancias sobre X:
a) D
1
: X XR denida por D
1
(x, y) = maxd
i
(x
i
, y
i
) : 1 i n;
b) D
2
: X XR denida por D
2
(x, y) =
n
i=1
d
i
(x
i
, y
i
);
c) D
3
: X XR denida por D
3
(x, y) =
i=1
d
2
i
(x
i
, y
i
), es la distancia
eucldea. La unica propiedad de m etrica no inmediata es la desigualdad trian-
gular, que en este caso recibe el nombre de desigualdad de Minkowski.
Para demostrar la desigualdad triangular en el ultimo ejemplo, es preciso probar algu-
nos resultados previos:
Lema 2.1. (Desigualdad de Cauchy-Schwartz) Dadas dos familias de n umeros reales
a
i
n
i=1
, b
i
n
i=1
, es:
n
i=1
(a
i
b
i
)
_
n
i=1
a
2
i
_
n
i=1
b
2
i
.
2.1. Denici on de espacio m etrico 25
Demostraci on: Suponemos que
n
i=1
a
2
i
,= 0 ,=
n
i=1
b
2
i
; en caso contrario, para todo i sera
a
i
= 0 = b
i
, y la desigualdad sera trivial. Sean , R, entonces:
0
n
i=1
(a
i
b
i
)
2
=
n
i=1
_
2
a
2
i
+
2
b
2
i
2a
i
b
i
_
,
es decir,
2
n
i=1
a
i
b
i

2
n
i=1
a
2
i
+
2
n
i=1
b
2
i
.
Tomando =
_
n
i=1
b
2
i
y =
_
n
i=1
a
2
i
, queda probado el resultado.
Lema 2.2. (Desigualdad de Minkowski) En las condiciones del lema 2.1, es
_
n
i=1
(a
i
+b
i
)
2
_
n
i=1
a
2
i
+
_
n
i=1
b
2
i
Demostraci on: Lo que se desea probar equivale a demostrar que
n
i=1
(a
i
+b
i
)
2
i=1
a
2
i
+
n
i=1
b
2
i
+ 2
_
n
i=1
a
2
i
_
n
i=1
b
2
i
,
es decir, simplicando
n
i=1
(a
i
b
i
)
_
n
i=1
a
2
i
_
n
i=1
b
2
i
,
que es el lema 2.1.
Como consecuencia de todo esto, se verica la desigualdad triangular del ejemplo 2.1
3c), que equivale a probar que
_
n
i=1
d
2
i
(x
i
, z
i
)
_
n
i=1
d
2
i
(x
i
, y
i
) +
_
n
i=1
d
2
i
(y
i
, z
i
),
y para ello basta con tomar a
i
= d
i
(x
i
, y
i
) y b
i
= d
i
(y
i
, z
i
) en la desigualdad de Minkows-
ki y utilizar la desigualdad triangular para las m etricas d
i
, 1 i n.
Las tres m etricas del ejemplo 2.1 3) est an muy relacionadas, y para comprobarlo es
preciso dar antes la siguiente denici on:
Denici on 2.3. Sea X un conjunto no vaco y d
1
, d
2
dos m etricas sobre X. Se dice que
d
1
es m etricamente equivalente a d
2
, si existen , 0 tales que 0 < < y para cada
x, y X es
d
1
(x, y) d
2
(x, y) d
1
(x, y).
Lema 2.3. La anterior relaci on es una relaci on de equivalencia sobre el conjunto de
todas las m etricas sobre X.
Este lema permite hablar sencillamente de m etricas m etricamente equivalentes sobre
X, y se dice que (X, d
1
) y (X, d
2
) son espacios m etricamente equivalentes.
Proposici on 2.4. Las m etricas D
1
, D
2
y D
3
del ejemplo 2.1 3) son m etricamente equiva-
lentes, y cualquiera de los tres espacios (X, D
k
) (1 k 3) se llama espacio m etrico
producto de la familia (X
i
, d
i
) : 1 i n.
Demostraci on: D
1
(x, y) D
2
(x, y). Y D
2
(x, y) nD
1
(x, y). Luego D
1
y D
2
son m etri-
camente equivalentes. Por otro lado, D
1
(x, y) D
3
(x, y). Y D
3
(x, y)

nD
1
(x, y).
Luego D
1
y D
3
son m etricamente equivalentes. Por tratarse de una relaci on de equivalen-
cia, se deduce que D
2
y D
3
son tambi en m etricamente equivalentes.
Ejemplos 2.2. En particular, sobre R
n
puede denirse la m etrica producto inducida por la
usual sobre la recta (denotamos los puntos por x = (x
1
, . . . , x
n
), y = (y
1
, . . . , y
n
) R
n
):
a) la m etrica del m aximo D
1
= d
max
: R
n
R
n
R denida por
d
max
(x, y) = max[x
i
y
i
[ : 1 i n;
b) la m etrica de la suma D
2
= d
sum
: R
n
R
n
Rdada por d
sum
(x, y) =
n
i=1
[x
i
y
i
[;
c) la distancia eucldea D
3
= d
u
: R
n
R
n
Rdenida por d
u
(x, y) =
i=1
[x
i
y
i
[
2
.
El par (R
n
, d
u
) se llama espacio eucldeo de dimensi on n.
d
sum
(x, y), d
u
(x, y) y dos ejemplos de d
max
(x, y)
2.1. Denici on de espacio m etrico 27
Proposici on 2.5. Sean (X, d) un espacio m etrico y x, y, z, w X. Entonces
[d(x, z) d(y, w)[ d(x, y) + d(z, w).
En particular, es [d(x, z) d(y, z)[ d(x, y).
Demostraci on: Aplicando dos veces consecutivas la desigualdad triangular, se tiene que
d(x, z) d(x, y) + d(y, w) + d(z, w), luego d(x, z) d(y, w) d(x, y) + d(z, w).
Del mismo modo, d(y, w) d(y, x) + d(x, z) + d(w, z), luego d(y, w) d(x, z)
d(y, x) + d(w, z).
2.1.2. Distancia entre conjuntos
Dados (X, d), , = A X y x X, la familia de n umeros reales d(x, y) : y A
est a acotada inferiormente por 0. Por lo tanto, existe nfd(x, y) : y A 0, se denota
por d(x, A) y se llama distancia de x a A.
Ejemplo 2.1. Si x A, es claro que d(x, A) = 0. El recproco no es cierto: en (R, d
u
), si
A = (0, 1) y x = 0, es x , A, pero d
u
(A, x) = 0.
Proposici on 2.6. Sean un espacio m etrico (X, d), , = A X y x
0
, y
0
X. Entonces,
es [d(x
0
, A) d(y
0
, A)[ d(x
0
, y
0
).
Demostraci on: Para cada x A es d(x
0
, x) d(x
0
, y
0
) + d(y
0
, x), por lo tanto es
d(x
0
, A) d(x
0
, y
0
) + d(y
0
, x) para cada x A. As, d(x
0
, A) d(x
0
, y
0
) es una cota
inferior de la familia d(y
0
, x) : x A, con lo que d(x
0
, A) d(x
0
, y
0
) d(y
0
, A). De
modo similar se demuestra la desigualdad d(y
0
, A) d(x
0
, y
0
) d(x
0
, A), con lo que se
obtiene el resultado deseado.
Dados (X, d) y , = A, B X, la familia de n umeros reales d(a, b) : a A, b B
est a acotada inferiormente por 0. Por lo tanto, existe nfd(a, b) : a A, b B 0, se
denota por d(A, B) y se llama distancia de A a B.
Ejemplo 2.2. Si A B ,= , es claro que d(A, B) = 0. El recproco no es cierto: en
(R, d
u
), los conjuntos A = (0, 1) y B = (1, 0) son disjuntos, pero d
u
(A, B) = 0.
Proposici on 2.7. Dados (X, d) y ,= A, B X, d(A, B) = nfd(A, y) : y B =
nfd(x, B) : x A.
Demostraci on: Sea x A. Para cada y B es d(A, B) d(x, y). Luego d(A, B) es cota
inferior de la familia d(x, y) : y B, y as d(A, B) d(x, B). Luego, para cada x A
es d(A, B) d(x, B), con lo que d(A, B) es cota inferior de la familia d(x, B) : x A,
y entonces d(A, B) nfd(x, B) : x A. Por la denici on de d(A, B), para cada
> 0, existe x
A, y
B tal que d(A, B)+ > d(x
, y
). Como d(x
, B) d(x
, y
),
es d(x
, B) < d(A, B) + para cada > 0. Como nfd(x, B) : x A d(x
, B),
concluimos que para cada > 0 es nfd(x, B) : x A < d(A, B) + , es decir,
nfd(x, B) : x A d(A, B).
2.1.3. Isometras
Denici on 2.4. Sean (X, d) e (Y, ) espacios m etricos. Una isometra entre (X, d) e (Y, )
es una aplicaci on biyectiva f : (X, d)(Y, ) que preserva la distancia, es decir, para
cada a, b X, es d(a, b) = (f(a), f(b)). Se dice que (X, d) es isom etrico a (Y, ).
Proposici on 2.8. La relaci on ser isom etrico es una relaci on de equivalencia sobre la
familia de espacios m etricos.
As, podemos hablar sencillamente de espacios m etricos isom etricos. Dos espacios
m etricos isom etricos pueden diferir en la naturaleza especca de sus puntos, pero son
indistinguibles en cuanto a su comportamiento como espacios m etricos.
2.2. Bolas abiertas y cerradas. Esferas
Denici on 2.5. Sea (X, d) y r > 0. Se llama:
1) bola abierta de centro x y radio r, al conjunto B(x, r) = y X : d(x, y) < r;
2) bola cerrada de centro x y radio r, al conjunto B(x, r) = y X : d(x, y) r;
3) esfera de centro x y radio r, al conjunto S(x, r) = y X : d(x, y) = r.
Ejemplos 2.3. Damos algunos ejemplos de bolas en algunos espacios m etricos:
(i) en (X, d), donde d es la m etrica discreta, B(x, 1) = x, B(x, 2) = X, B(x, 1) = X,
B(x,
1
2
) = x, S(x, 1) = X x y S(x, 2) = ;
(ii) en (R, d
u
), B(x, r) = (xr, x+r), B(x, r) = [xr, x+r] y S(x, r) = xr, x+r;
(iii) en (R
n
, d
max
), la bola B(x, r) = (x
1
r, x
1
+ r) (x
n
r, x
n
+ r), el cubo
de dimensi on n, centrado en x y arista 2r;
(iv) en (R
n
, d
sum
), la bola B(x, r) es el cubo de dimensi on n centrado en x, de arista 2r
y girado;
(v) en (R
n
, d
u
), B(x, r) es la bola abierta de dimensi on n, centrada en x y de radio r.
2.3. Conjuntos abiertos y cerrados 29
Se verican las siguientes propiedades:
Proposici on 2.9. En un espacio m etrico (X, d), se cumple:
(i) para cada x X y r > 0, es B(x, r) ,= , = B(x, r); pero S(x, r) puede ser vaca;
(ii) si 0 < r s, es B(x, r) B(x, s), B(x, r) B(x, s), B(x, r) B(x, s) (si r < s)
y S(x, r) S(x, s) = si s ,= r;
(iii) B(x, r) S(x, r) = B(x, r) y B(x, r) S(x, r) = ;
(iv) la intersecci on nita de bolas abiertas de un mismo centro (respectivamente, ce-
rradas) es la bola abierta (respectivamente, cerrada) del mismo centro y radio el
mnimo de los radios. La intersecci on arbitraria de bolas no tiene porque ser una
bola.
Ejemplo 2.3. En (R, d
u
),
nN
B
_
0,
1
n
_
=
nN
_
1
n
,
1
n
_
= 0, que no es una bola.
Teorema 2.10. (Propiedad de Hausdorff) En un espacio m etrico (X, d), dos puntos dis-
tintos se pueden separar por bolas abiertas disjuntas.
Demostraci on: Sean x ,= y. Entonces d(x, y) = r > 0. Las bolas B(x,
r
2
) y B(y,
r
2
) son
obviamente disjuntas.
2.3. Conjuntos abiertos y cerrados
2.3.1. Conjuntos abiertos
Denici on 2.6. En (X, d), un subconjunto A se dice abierto, si para cada a A, existe
r
a
> 0 (que depende s olo de a) tal que B(a, r
a
) A.
Teorema 2.11. En un espacio m etrico (X, d), los conjuntos X y son abiertos.
Teorema 2.12. En un espacio m etrico (X, d), para cada x X y r > 0, la bola B(x, r)
es un conjunto abierto.
Demostraci on: Sea y B(x, r) y s = d(x, y) < r; es B(y, r s) B(x, r).
Ejemplos 2.4. Algunos ejemplos de conjuntos abiertos son:
(i) En (R, d
u
), los intervalos abiertos son conjuntos abiertos;
(ii) En (X, d), con d la m etrica discreta, cualquier conjunto es abierto.
Teorema 2.13. En (X, d), sea A
i
iI
una familia de conjuntos abiertos. Entonces
(i)
_
iI
A
i
es abierto;
(ii) si I es nito, entonces
iI
A
i
es abierto.
Demostraci on: (i) Si x
_
iI
A
i
, existe i I tal que x A
i
. Como A
i
es abierto, existe
r
x
> 0 tal que B(x, r
x
) A
i

_
iI
A
i
.
(ii) Si x
iI
A
i
, para cada i I es x A
i
. Para todo i I, existe r
i
> 0 tal que
B(x, r
i
) A
i
. Si r = mnr
1
, . . . , r
n
, es B(x, r)
iI
A
i
.
Observaci on 2.1. En el teorema 2.13 (ii), el conjunto de ndices debe de ser nito: en
efecto, en (R, d
u
), si se toma I = N y la familia de abiertos A
n
= (
1
n
,
1
n
), entonces
nN
A
n
= 0, que no es abierto.
Teorema 2.14. En (X, d), A es abierto si y s olo si es uni on de bolas abiertas.
Demostraci on: Por los teoremas 2.12 y 2.13, la uni on de bolas abiertas es un conjun-
to abierto. Y recprocamente, si A es abierto, para cada a A existe r
a
> 0 tal que
B(a, r
a
) A. Es obvio que A =
_
aA
B(a, r
a
).
Observaci on 2.2. No todo abierto es una bola abierta, por ejemplo, en (R, d
u
), A = R es
abierto y no es una bola abierta.
2.3.2. Topologa inducida por una m etrica
Denici on 2.7. Sean un conjunto X y una familia P(X) vericando:
1) , X ,
2) si A
i
iI
, entonces
_
iI
A
i
,
2.3. Conjuntos abiertos y cerrados 31
3) si A
1
, . . . , A
n
, entonces A
1
A
n
.
Se dice que es una topologa sobre X y el par (X, ) se llama espacio topol ogico.
Como consecuencia de los teoremas 2.11 y 2.13, se obtiene:
Proposici on 2.15. En (X, d), la familia
d
= U X : U es abierto es una topologa
sobre X, llamada topologa m etrica.
Ejemplos 2.5. Algunos ejemplos de topologas son:
(i) En (R
n
, d
u
),
d
u
se denomina la topologa eucldea;
(ii) en (X, d), con d la m etrica discreta,
d
= T(X) se llama la topologa discreta.
Denici on 2.8. Un espacio topol ogico (X, ) se llama metrizable, si existe una m etrica d
sobre X tal que
d
= .
Observaci on 2.3. Cualquier espacio topol ogico no es metrizable: (R, ), donde =
, R (la topologa indiscreta) no es metrizable, pues no se cumple la propiedad de
Hausdorff.
Denici on 2.9. Dos m etricas d
1
y d
2
sobre X se llaman topol ogicamente equivalentes,
si inducen la misma topologa sobre X, y en tal caso se dice que (X, d
1
) y (X, d
2
) son
espacios m etricos topol ogicamente equivalentes.
Lema 2.16. La relaci on ser topol ogicamente equivalentes es una relaci on de equiva-
lencia en el conjunto de todas las m etricas sobre X.
Lema 2.17. Con las notaciones obvias, (X, d
1
) y (X, d
2
) son topol ogicamente equiva-
lentes si y s olo si para cada x X y r > 0, existen s
1
, s
2
> 0 tales que B
d
2
(x, s
2
)
B
d
1
(x, r) y B
d
1
(x, s
1
) B
d
2
(x, r).
Lema 2.18. Si (X, d
1
) y (X, d
2
) son m etricamente equivalentes, tambi en son topol ogica-
mente equivalentes.
Ejemplo 2.4. El recproco no es cierto: sobre N, las m etricas discreta y usual son to-
pol ogicamente equivalentes (ambas inducen la topologa discreta), pero no son m etrica-
mente equivalentes.
Observaci on 2.4. Cualquier propiedad enunciada para espacios m etricos en t erminos de
conjuntos abiertos puede reformularse tambi en para espacios topol ogicos: en este curso
se trata precisamente de dar un repaso de los conceptos topol ogicos m as importantes
restringi endonos al caso particular de los espacios metrizables.
2.3.3. Conjuntos cerrados
Denici on 2.10. Dados (X, d) y A X, x X es un punto de acumulaci on de A (o
punto lmite), si para cada r > 0 es (B(x, r) x) A ,= .
Denici on 2.11. Sean (X, d) y A X. El derivado de A, A
t
, es el conjunto de los puntos
de acumulaci on de A. Si x A A
t
, se dice que x es un punto aislado.
Denici on 2.12. Sean (X, d) y A X. A se llama cerrado si A
t
A.
Ejemplos 2.6. Algunos ejemplos de puntos de acumulaci on son:
(i) en (R, d
u
), (0, )
t
= [0, ),
_
1
n
: n N
_
t
= 0, N
t
= y Q
t
= R;
(ii) en (X, d), con d la m etrica discreta, para cada A X es A
t
= .
Lema 2.19. Sean (X, d) y A X. Si x A
t
, entonces para cada r > 0, la intersecci on
(B(x, r) x) A tiene innitos puntos.
Demostraci on: Supongamos que para r > 0 es (B(x, r) x) A = x
1
, . . . , x
n
.
Si r
0
= mnd(x, x
k
) : 1 k n, entonces (B(x, r
0
) x) A = , contra la
hip otesis.
Corolario 2.20. En (X, d), si A X es nito, entonces es cerrado.
Demostraci on: En este caso, es claramente A
t
= .
Teorema 2.21. En (X, d), A es cerrado si y s olo si X A es abierto.
Demostraci on: Si Aes cerrado, sea x XA. Como A
t
Ay x , A, es x , A
t
. Luego,
existe r
x
> 0 tal que (B(x, r
x
) x) A = , es decir, B(x, r
x
) x XA, y por
lo tanto X A es abierto. Recprocamente, si X A es abierto y x A
t
, supongamos
que x , A. Existe r
x
> 0 tal que B(x, r
x
) X A, es decir, (B(x, r
x
) x) A = ,
contra la hip otesis.
De los teoremas 2.11 y 2.21, se deduce:
Teorema 2.22. En (X, d), X y son conjuntos cerrados.
Teorema 2.23. En (X, d), para cada x X y r > 0, la bola B(x, r) es un conjunto
cerrado.
Demostraci on: Basta con probar que X B(x, r) es abierto: sea y X B(x, r),
entonces d(x, y) > r. Para r
1
= d(x, y) r, es B(y, r
1
) X B(x, r).
2.4. Clausura, interior y frontera de un conjunto 33
Ejemplos 2.7. Algunos ejemplos de conjuntos cerrados son:
(i) En (R, d
u
), los puntos y los intervalos del tipo [a, b] son cerrados;
(ii) En (X, d), con d la m etrica discreta, todo A X es cerrado.
Usando el teorema 2.21, se deducen las propiedades duales del teorema 2.13:
Teorema 2.24. En (X, d), sea A
i
iI
una familia de conjuntos cerrados. Entonces
(i)
iI
A
i
es cerrado;
(ii) si I es nito, entonces
_
iI
A
i
es cerrado.
Observaci on 2.5. En 2.24 (ii), el conjunto de ndices debe de ser nito: en efecto, en
(R, d
u
), si se toma I = N y la familia de cerrados A
n
= [
1
n
, 1], entonces
_
nN
A
n
= (0, 1],
que no es cerrado.
Corolario 2.25. En (X, d), para cada x X y r > 0, la esfera S(x, r) es un conjunto
cerrado.
Demostraci on: Es una consecuencia de la igualdad S(x, r) = B(x, r) B(x, r).
2.4. Clausura, interior y frontera de un conjunto
2.4.1. Clausura de un conjunto
Denici on 2.13. En (X, d), si A X, la clausura de A es el conjunto A = A A
t
. Si
x A, se dice que es un punto adherente de A.
Teorema 2.26. En (X, d), A X es cerrado si y s olo si A = A.
Observaci on 2.6. En particular, X = X y = .
Teorema 2.27. En (X, d), x A si y s olo si para cada r > 0 es B(x, r) A ,= .
Demostraci on: Sea x A. Si x A, la condici on se cumple trivialmente. En caso
contrario, debe ser x A
t
y entonces (B(x, r) x)A ,= , y se concluye el resultado.
Recprocamente, si para cada r > 0 es B(x, r) A ,= , pueden suceder dos cosas:
(i) si x A, es x A;
(ii) si x , A, es (B(x, r) x) A = B(x, r) A ,= para cada r > 0, con lo que
x A
t
A.
Teorema 2.28. En (X, d), si A, B X se verica:
(i) si A B, es A B, es decir, la clausura preserva las inclusiones;
(ii) A es cerrado.
Demostraci on: Veamos (ii), y para ello basta con ver que A A. Sea x A, es decir,
para cada r > 0 es B(x, r) A ,= . Sea x
r
B(x, r) A y s
r
= r d(x, x
r
) > 0.
Como x
r
A es B(x
r
, s
r
) A ,= . Claramente, es B(x
r
, s
r
) B(x, r), con lo que
B(x, r) A ,= , y se deduce que x A.
Teorema 2.29. (Caracterizaci on de la clausura) En (X, d), se cumple:
(i) si F es cerrado y A F, es A F;
(ii) A =
F cerrado: A F, es decir, A es el menor cerrado en (X, d) que contiene

a A.
Demostraci on: (i) Si A F, por el teorema 2.28 (i), es A F, y como F es cerrado, se
deduce que A F.
(ii) Si F es cerrado y A F, es A F, luego A
F cerrado: A F. Adem as,

A es cerrado y contiene a A, luego A
F cerrado: A F.
(i) A B = A B;
(ii) A B A B.
Demostraci on: (i) Como A, B A B, por el teorema 2.28 (i) es A, B A B. Por
otro lado, A B A B (que es cerrado) y A B es el menor cerrado que contiene a
A B, luego A B A B.
(ii) Como A B A, B, por el teorema 2.28 (i) es A B A, B.
Observaci on 2.7. En 2.30 (ii), la igualdad no es cierta en general: en (R, d
u
), si A = (0, 1)
y B = (1, 2), es A B = y A B = 1.
Ejemplos 2.8. Algunos ejemplos de clausuras son:
(i) en (R, d
u
), Q = R, R Q = R, N = N;
(ii) en (X, d), con d la m etrica discreta, todo A X, es A = A.
Todo espacio m etrico es normal, es decir, separa cerrados disjuntos por medio de
abiertos (es una generalizaci on del teorema 2.10) en el siguiente sentido:
Proposici on 2.31. En (X, d), si A, B X son cerrados disjuntos, existen abiertos dis-
juntos U y V , tales que A U y B V .
Demostraci on: Para cada a A, es a , B y existe r
a
> 0 tal que B(a, r
a
) B = .
Del mismo modo, para todo b B, es b X A, por lo que existe s
b
> 0 tal que
B(b, s
b
) A = . Basta con tomar U =
_
aA
B
_
a,
r
a
3
_
y V =
_
bB
B
_
b,
s
b
3
_
.
Observaci on 2.8. En las condiciones de la proposici on 2.31, observar que U X V ,
con lo que U X V X B, y por lo tanto es A U U X B.
Todo espacio m etrico es regular, es decir, separa puntos de cerrados a trav es de abier-
tos en el siguiente sentido:
Corolario 2.32. En (X, d), si A X es cerrado y x , A existen conjuntos abiertos y
disjuntos U y V , tales que x U y A V .
Demostraci on: Basta con aplicar la proposici on 2.31 al caso de los cerrados disjuntos A y
x.
2.4.2. Interior de un conjunto
Denici on 2.14. En (X, d), si A X, x A, se llama punto interior de A si existe
r
x
> 0 tal que B(x, r
x
) A. El conjunto de los puntos interiores de A se llama interior
de A y se denota por

A. Es claro que

A A.
Teorema 2.33. En (X, d), si A X, se cumple:
(i) X A =
..
X A;
(ii) X
A= X A.
Demostraci on: (i) Si x , A, existe r > 0 tal que B(x, r) A = , es decir, B(x, r)
X A, con lo que x
..
X A.
(ii) Si x ,
A, para cada r > 0 es B(x, r) , A, es decir, B(x, r) (X A) ,= , luego

x X A.
Teorema 2.34. En (X, d), A X es abierto si y s olo si

A= A.
Demostraci on: A es abierto si y s olo si X A es cerrado, es decir, X A = X A,
equivalentemente

A= A, por 2.33 (ii).
Observaci on 2.9. En particular,

X= X y
= .
Usando la dualidad con la clausura dada por el teorema 2.33 y el teorema 2.28, se
demuestra f acilmente:
(i) si A B, es

A
B;
(ii)

A es abierto.
Teorema 2.36. (Caracterizaci on del interior) En (X, d) se cumple:
(i) si U es abierto y U A, es U
A;
(ii)

A=
U abierto: U A, es decir,

A es el mayor abierto contenido en A.
Demostraci on: (i) Si U es abierto y est a contenido en A, por el teorema 2.35 (i) es

U
A,
y U =
U por ser abierto.

(ii) Como todo abierto contenido en Aest a tambi en contenido en su interior, se verica
que

A

U abierto: U A. Y como

A es abierto contenido en A, es uno de los que
participan en la uni on, por lo que

A
U abierto: U A.
Usando la dualidad con la clausura dada por el teorema 2.33 y las propiedades del
teorema 2.30, se deduce que:
(i)

A
B=
..
A B;
(ii)

A
..
A B.
Observaci on 2.10. En 2.37 (ii), la igualdad no es cierta en general: en (R, d
u
), si A =
[0, 1] y B = [1, 2], es
..
A B= (0, 2) y

A
B= (0, 2) 1.
2.4.3. Frontera de un conjunto
Denici on 2.15. En (X, d), si A X, x X se llama punto frontera de A si para cada
r > 0 es B(x, r) A ,= , = B(x, r) (X A). El conjunto de los puntos frontera de A
se llama frontera de A y se denota por fr(A).
Ejemplos 2.9. Algunos ejemplos de fronteras son:
(i) en (R, d
u
), fr((a, b]) = a, b, fr(Q) = R, fr(N) = N;
(ii) en (X, d), con d la m etrica discreta, todo A X, es fr(A) = .
Teorema 2.38. En (X, d), para A X es fr(A) = A X A = A
A.
Corolario 2.39. En (X, d), si A X, se cumple:
(i) fr(A) es un conjunto cerrado;
(ii) fr(A) = fr(X A);
(iii) fr(A) fr(A) y fr(
A) fr(A);
(iv) fr(X) = fr() = .
Demostraci on: (iii) fr(A) = A X A = A X A = A
..
X A A X A =
fr(A). Del mismo modo, fr(
A) =
AX
A =
AX A =
AX A AX A =
fr(A).
Observaci on 2.11. En (iii) no se da en general la igualdad: en (R, d
u
), es fr(Q) = R,
pero fr(
Q) = fr() = = fr(Q) = fr(R).

Teorema 2.40. En (X, d), si A X se verica:
(i) A es abierto si y s olo si A fr(A) = ;
(ii) A es cerrado si y s olo si fr(A) A.
Demostraci on: (i) Si A es abierto, es A =
A y A fr(A) = A (A A) = . Recpro-
camente, si A fr(A) = , es A X A = , con lo que A X X A =
A y se
deduce que A es abierto.
(ii) Se deduce usando (i) y por dualidad.
El siguiente teorema nos permite dar una clara interpretaci on del interior, la clausura
y la frontera de un conjunto:
Teorema 2.41. En (X, d), si A X se verica:
(i)

A= A fr(A) = A fr(A);
(ii) A = A fr(A) =
A fr(A).
2.5. Subespacios de un espacio m etrico
Dado (X, d) y A X no vaco, la restricci on de la m etrica d a AA, d
A
: A AR,
es una distancia sobre A, que se denota por d
A
. Se dice tambi en que el par (A, d
A
) es un
subespacio de (X, d).
Es importante distinguir entre los espacios m etricos (X, d) y (A, d
A
), intentando dar
una relaci on entre los abiertos de ambos espacios:
Lema 2.42. En (X, d), si A X y x A, para r > 0 la bola en el subespacio es
B
A
(x, r) = B(x, r) A.
Observaci on 2.12. En (X, d), con las notaciones obvias, si A X y x A, para r > 0
es B
A
(x, r) = B(x, r) A y S
A
(x, r) = S(x, r) A.
Teorema 2.43. En (X, d), sean B A X, entonces:
(i) B es abierto en (A, d
A
) si y s olo si existe U abierto en (X, d) tal que B = U A;
(ii) B es cerrado en (A, d
A
) si y s olo si existe F cerrado en (X, d) tal que B = F A.
Observaci on 2.13. Puede suceder que B A X sea abierto (respectivamente, cerra-
do) en (A, d
A
) y no lo sea en (X, d). Por ejemplo, en (R, d
u
), para A = [0, 1):
2.6. Di ametro de un conjunto. Conjuntos acotados 39
(i) [0,
1
2
) es abierto en (A, d
A
), pero no lo es en (R, d
u
);
(ii) [
1
2
, 1) es cerrado en (A, d
A
), pero no lo es en (R, d
u
).
Pero se cumple la propiedad:
Teorema 2.44. Sea (X, d) y A X, entonces:
(i) todo subconjunto de A que es abierto en (A, d
A
) es tambi en abierto en (X, d) si y
s olo si A es abierto en (X, d);
(ii) todo subconjunto de A que es cerrado en (A, d
A
) es tambi en cerrado en (X, d) si y
s olo si A es cerrado en (X, d).
2.6. Di ametro de un conjunto. Conjuntos acotados
Denici on 2.16. Sean un espacio m etrico (X, d) y A X. El di ametro de Aes el n umero
(A) = supd(x, y) : x, y A si este supremo existe y es innito en caso contrario. Por
denici on, () = 0.
Observaci on 2.14. (A) est a denido si la familia de n umeros reales d(x, y) : x, y A
est a acotada superiormente.
Denici on 2.17. En (X, d), un conjunto A X se llama acotado si (A) R.
Ejemplos 2.10. Algunos ejemplos de conjuntos acotados son:
(i) en (R, d
u
), A est a acotado si lo est a superior e inferiormente;
(ii) en (X, d), con d la m etrica discreta, todo A X est a acotado, ya que si A tiene m as
de un punto, es (A) = 1.
Observaci on 2.15. Si (A) = r, no tienen porque existir dos puntos x, y A tales que
d(x, y) = r. Por ejemplo, en (R, d
u
), ((0, 1)) = 1, pero los puntos en (0, 1) distan entre
ellos menos que 1.
Teorema 2.45. En (X, d), si A, B X son no vacos, se cumple:
(i) si A B, es (A) (B);
(ii) si (A) = 0, entonces A se reduce a un punto;
(iii) (B(x, r)) (B(x, r)) 2r.
Demostraci on: (i) Si A o B no est an acotados, es inmediato. Supongamos entonces que
ambos conjuntos est an acotados, entonces d(x, y) : x, y A d(x, y) : x, y B,
y se deduce la propiedad. Aunque la inclusi on sea propia, puede darse la igualdad: en
(R, d
u
), ((0, 1)) = 1 = ([0, 1]).
(iii) Si a, b B(x, r), es d(a, b) d(a, x) + d(x, b) < 2r. As, 2r es cota superior de
la familia d(a, b) : a, b B(x, r), y por lo tanto, (B(x, r)) 2r. Para la bola cerrada,
se hace de manera similar. La igualdad no se verica en general: para (R, d) donde d es
la m etrica discreta, es (B(x, 1)) = 0 < 2 y (B(x, 50)) = 1 < 100. Sin embargo, para
(R
n
, d) donde d = d
max
, d
sum
, d
u
, es (B(x, r)) = (B(x, r)) = 2r.
Lema 2.46. En (X, d), si A, B X est an acotados y a A, b B, entonces para cada
x, y A B es d(x, y) d(a, b) + (A) + (B).
Demostraci on: Hay tres posibles casos:
(i) si x, y A, es d(x, y) (A) d(a, b) + (A) + (B);
(ii) si x, y B, es d(x, y) (B) d(a, b) + (A) + (B);
(iii) si x A e y B, es d(x, y) d(x, a) +d(a, b) +d(b, y) (A) +d(a, b) +(B).
Teorema 2.47. En (X, d), la uni on de cualquier familia nita de conjuntos acotados es
un conjunto acotado.
Demostraci on: Sean A y B conjuntos acotados. Por el lema 2.46, jados a A y b B,
el n umero d(a, b) + (A) + (B) es cota superior de la familia d(x, y) : x, y A B,
por lo que existe (A B).
Observaci on 2.16. La uni on debe ser nita: en (R, d
u
), para cada x R, x es un
conjunto acotado, pero R =
_
xR
x no lo es.
Teorema 2.48. En (X, d), un conjunto no vaco A X es acotado si y s olo si est a con-
tenido en alguna bola cerrada.
Demostraci on: Si existen x X y r > 0 tales que A B(x, r), A est a acotado por
estarlo B(x, r). Recprocamente, sea A acotado y x X un punto cualquiera. Si a A,
sea r = d(x, a) + (A). Entonces, A B(x, r).
2.7. Conjuntos densos y espacios separables 41
2.7. Conjuntos densos y espacios separables
Denici on 2.18. En (X, d), un conjunto A X se llama denso en X si A = X.
Ejemplos 2.11. Algunos ejemplos de conjuntos densos son:
(i) en (R, d
u
), Q y R Q son densos;
(ii) en (X, d), con d la m etrica discreta, A es denso si y s olo si A = X.
Teorema 2.49. En (X, d), A X es denso si y s olo el unico cerrado que contiene a A
es X.
Teorema 2.50. En (X, d), A X es denso si y s olo Acorta a cualquier abierto no vaco.
Proposici on 2.51. En (X, d), para cada A X los conjuntos A(XA) y (XA)
A
son densos.
Denici on 2.19. (X, d) se llama separable si existe un subconjunto denso y contable.
A X se llama separable si (A, d
A
) lo es.
Ejemplos 2.12. Algunos ejemplos de conjuntos separables son:
(i) (R, d
u
) es separable, ya que Q es denso;
(ii) (X, d), con d la m etrica discreta, es separable si y s olo si X es contable.
2.8. Ejercicios
1.- Si es una pseudom etrica sobre X y x, y X, se dene la relaci on x y si y s olo si
(x, y) = 0. Se pide:
(i) probar que es una relaci on de equivalencia en X;
(ii) dados x
1
, x
2
, y
1
, y
2
X, tales que x
1
x
2
e y
1
y
2
, probar que (x
1
, y
1
) =
(x
2
, y
2
);
(iii) sean Y = X/ , [x], [y] Y . Dados a [x] y b [y], se dene d([x], [y]) = (a, b).
Probar que d es una m etrica en Y , que se llama asociada a .
2.- Sea k N, 1 k n, y d: R
n
R
n
R, denida por d(x, y) = [x
k
y
k
[, donde
x = (x
1
, , x
n
) e y = (y
1
, , y
n
). Es d una m etrica en R
n
?
3.- Decidir si las siguientes funciones son m etricas sobre R: d
1
(x, y) = [x
2
y
2
[, d
2
(x, y) =
[x
1
3
y
1
3
[, d
3
(x, y) = e
[xy[
y d
4
(x, y) = e
1
|xy|
.
4.- Dadas d
1
, , d
n
m etricas sobre X, se pide:
(i) probar que d(x, y) =
n
i=1
d
i
(x, y) es una m etrica sobre X;
(ii) demostrar que d(x, y) = m ax
1in
d
i
(x, y) es una m etrica sobre X;
(iii) dene d(x, y) = mn
1in
d
i
(x, y) una m etrica sobre X?
5.- Sean (X, d) e (Y, ) espacios m etricos y f : XY . Se pide:
(i) sea D: X XRdenida por D(x, y) = (f(x), f(y)); cu ando es D una m etri-
ca en X?
(ii) si (X, d) = (Y, ) = (R, d
u
) y f : RR es creciente; es D m etrica?
(iii) sea f(x) = x
3
como en (ii); es D equivalente a d
u
?
6.- Sea (X, d) un espacio m etrico. Para i = 1, 2, sean las aplicaciones d
i
: X XR,
donde d
1
(x, y) = mn1, d(x, y) y d
2
(x, y) =
d(x,y)
1+d(x,y)
. Probar que d
1
y d
2
son m etricas
acotadas sobre X.
7.- Sea o
C
el conjunto de las sucesiones convergentes de n umeros reales. Dadas las suce-
siones x
n
nN
, y
n
nN
o
C
, se dene d(x
n
, y
n
) = lm
n
[x
n
y
n
[; es d m etrica
sobre o
C
?
8.- Sea o
A
el conjunto de las sucesiones acotadas de n umeros reales (es decir, x
n
o
A
si y s olo si existe K > 0 tal que [x
n
[ K para cada n N). Probar que la igualdad
d(x
n
, y
n
) = sup
nN
[x
n
y
n
[ dene una m etrica en o
A
.
9.- Sean R A ,= y B(A) = f : AR : K > 0 : x A, [f(x)[ K el
conjunto de las funciones acotadas sobre A. Probar que la funci on d: B(A) B(A)R
dada por d(f, g) = sup
xA
[f(x) g(x)[, es una m etrica en B(A).
10.- Sea X = f : [0, 1] R, f continua. Probar que las siguientes aplicaciones son
distancias en X: d
1
(x, y) =
_
1
0
[f(x) g(x)[dx y d
2
(x, y) = sup
x[0,1]
[f(x) g(x)[.
Si Y = f : [0, 1] R, f integrables en el sentido de Riemann, es d
1
una distancia
sobre Y ?
11.- Se considera la recta real ampliada R = R . Sea la aplicaci on
f : R[1, 1] denida por f(x) =
x
1+[x[
si x R, f() = 1 y f() = 1.
Probar que la aplicaci on d(x, y) = [f(x) f(y)[ es una distancia sobre R.
2.8. Ejercicios 43
12.- Probar que las siguientes aplicaciones son m etricas. En los espacios m etricos obteni-
dos, caracterizar las bolas, el interior, la clausura y la frontera:
(i) d: R
2
R
2
R donde para x = (x
1
, x
2
), y = (y
1
, y
2
) R
2
,
d(x, y) =
_
[x
2
y
2
[ si x
1
= y
1
[x
1
y
1
[ +[x
2
[ +[y
2
[ si x
1
,= y
1
(ii) d: R RR donde para x, y R,
d(x, y) =
_
[x y[ si sg(x) = sg(y)
[x +y[ + 1 si sg(x) ,= sg(y)
(donde 0 se considera con signo positivo),
(iii) d: R RR donde para x, y R,
d(x, y) =
_
x +y si x ,= y, x > 0, y > 0
[x y[ en otro caso
(iv) d: [0, ) [0, )R donde para x, y [0, ),
d(x, y) =
_
x +y si x ,= y
0 si x = y
(v) d: [0, 1] [0, 1] R donde para x, y [0, 1],
d(x, y) =
_
2 x y si x ,= y
0 si x = y
(vi) d: R RR donde para x, y R y a R,
d(x, y) =
_
[x + a[ +[y +a[ si x ,= y
0 si x = y
(vii) d: R
2
R
2
R donde para x = (x
1
, x
2
), y = (y
1
, y
2
) R
2
,
d(x, y) =
_ _
(x
1
y
1
)
2
+ (x
2
y
2
)
2
si x
2
1
+x
2
2
= y
2
1
+ y
2
2
_
x
2
1
+x
2
2
+
_
y
2
1
+ y
2
2
si x
2
1
+x
2
2
,= y
2
1
+ y
2
2
(viii) d: N NR donde para x, y N,
d(x, y) =
_
1 +
1
x+y
si x ,= y
0 si x = y
(ix) d: [0, ) [0, )R donde para x, y [0, ),
d(x, y) =
_
m axx, y si x ,= y
0 si x = y
(x) d: R
2
R
2
R donde para x = (x
1
, x
2
), y = (y
1
, y
2
) R
2
,
d(x, y) =
_ _
(x
1
y
1
)
2
+ (x
2
y
2
)
2
si x
1
y
2
= y
1
x
2
_
x
2
1
+x
2
2
+
_
y
2
1
+y
2
2
si x
1
y
2
,= y
1
x
2
13.- Probar que hay exactamente dos isometras de (R, d
u
) en (R, d
u
), que dejan jo un
punto dado a R.
14.- Probar que estas funciones son isometras entre los espacios eucldeos dados:
(i) si a R
n
, la traslaci on de vector a, t
a
: R
n
R
n
, dada por t
a
(x) = a + x,;
(ii) si R, la rotaci on elemental de angulo , r
: R
2
R
2
, dada por
r
(x
1
, x
2
) = (x
1
cos() x
2
sin(), x
1
sin() + x
2
cos());
(iii) la aplicaci on antipodal, a: R
n
R
n
, dada por a(x) = x.
15.- En el espacio m etrico (X, d), para a X y r > 0, probar las propiedades siguientes:
(i) B(a, r) =
s>r
B(a, s) =
nN
B
_
a, r +
1
n
_
;
(ii) a =
s>0
B(a, s) =
nN
B
_
a,
1
n
_
;
(iii) B(a, r) =
_
s<r
B(a, s) =
_
nN
B
_
a, r
1
n
_
;
(iv) B(a, r) B(a, r);
(v) B(a, r)
..
B(a, r), y
(vi) fr(B(a, r)) fr(B(a, r)) S(a, r).
2.8. Ejercicios 45
16.- Un espacio m etrico (X, d) se llama discreto, si todo atomo (subconjunto formado por
un unico punto) es abierto. Probar:
(i) (X, d) es discreto si y s olo si todos los subconjuntos de X son abiertos;
(ii) (X, d) es discreto si y s olo si todos los subconjuntos de X son cerrados;
(iii) si d es la m etrica discreta sobre X, entonces (X, d) es discreto;
(iv) el recproco de (iii) no es cierto, es decir, existen espacios m etricos discretos (X, d)
para los cuales d no es la m etrica discreta;
(v) si la intersecci on arbitraria de abiertos es abierta, entonces (X, d) es discreto;
(vi) si X es un conjunto nito, entonces (X, d) es discreto;
(vii) si Y X, entonces (Y, d
Y
) es discreto si y s olo si Y Y
t
= ;
(viii) dar un ejemplo de dos subconjuntos discretos de la recta real, cuya uni on no sea
discreta.
17.- Sean (X, d), , = A X, r > 0 y V (A, r) =
_
xA
B(x, r). Se pide probar:
(i) V (A B, r) V (A, r) V (B, r),
(ii) si s < r, V (A, s) V (A, r),
(iii) V (A B, r) = V (A, r) V (B, r).
(iv) d(a, A) =nfr > 0 : a V (A, r),
(v) A =
nN
V
_
A,
1
n
_
. Concluir que d(a, A) = 0 si y s olo si a A.
18.- Sean (X, d) un espacio m etrico y R una relaci on de equivalencia sobre X veri-
cando:
a) para cada x X, el conjunto C
x
= y X : xRy es cerrado en X,
b) si [x] ,= [y] X/R, todo representante a [x], verica que d(a, C
y
) = d(C
x
, C
y
).
Para [x], [y] X/R, se dene ([x], [y]) = d(C
x
, C
y
). Se pide:
(i) probar que es un distancia en X/R. Se dice que (X/R, ) es el espacio m etrico
cociente de (X, d) por R;
(ii) sea p: XX/Rla proyecci on can onica. Probar que para cada x, y X, se cumple
la desigualdad (p(x), p(y)) d(x, y). Hallar p(B(a, r)), si a X;
(iii) si A es abierto en (X, d), probar que p(A) es abierto en (X/R, ). Demostrar que
B X/R es abierto en (X/R, ), si y s olo si p
1
(B) es abierto en (X, d);
(iv) probar que B X/R es cerrado en (X/R, ), si y s olo si p
1
(B) es cerrado en
(X, d);
(v) sea (X, d) = (R, d
u
) y la relaci on sobre R dada por (xRy si y s olo si x y 2Z) :
1) demostrar que se cumplen a) y b);
2) probar que existe un cerrado A en (R, d
u
), tal que p(A) no es cerrado en
(R/R, );
3) sea la aplicaci on f : R/RS
1
= (x, y) R
2
: x
2
+y
2
= 1 denida por
f([x]) = (cos(x), sin(x)). Probar que f est a bien denida y es biyectiva; cu al
es la distancia
0
obtenida sobre S
1
al transportar por f? Probar que
0
es
equivalente a la distancia inducida por la distancia eucldea de R
2
.
19.- Sea el espacio m etrico (X, d), a X y ,= A X. Si d(a, A) = 2, probar que
existe r > 0 tal que d(x, A) > 1, si x B(a, r).
20.- Sea (X, d) un espacio m etrico y A, B X. Probar:
(i) si A es abierto, para cada B X, A B = si y s olo si A B = ;
(ii) si A es abierto, probar que para cada B X, es AB A B y A B = A B;
(iii) probar que A es abierto si y s olo si para cada B X, es A B A B.
21.- Sea (X, d) un espacio m etrico. Para cada subconjunto Ade X, denimos (A) =
A
y (A) =
A. Se pide:
(i) si A es abierto (respectivamente, cerrado), probar que A (A) (respectivamente,
(A) A);
(ii) probar que para cada A X, es ((A)) = (A) y ((A)) = (A);
(iii) encontrar conjuntos A en (R, d
u
) tales que sean distintos los conjuntos A,
A, A,
(A), (A), (
A) y (A);
(iv) si A, B son abiertos disjuntos, entonces (A) y (B) son tambi en disjuntos.
2.8. Ejercicios 47
22.- Sea (X, d) un espacio m etrico. Dados A, B y A
i
iI
subconjuntos de X, probar:
(i)
..
iI
A
i
iI
A
i
y
_
iI
A
i

..
_
iI
A
i
;
(ii) si A B entonces A
t
B
t
. Adem as, (A B)
t
A
t
B
t
, (A B)
t
= A
t
B
t
,
(A
t
)
t
A
t
(es decir, A
t
es cerrado), (
iI
A
i
)
t

iI
A
t
i
y
_
iI
A
t
i
(
_
iI
A
i
)
t
;
(iii)
_
iI
A
i

_
iI
A
i
,
iI
A
i

iI
A
i
, A B A B y (A)
t
= A
t
.
23.- Sea (X, d) un espacio m etrico y A
i
iI
una familia de conjuntos en X tales que
existe un > 0 tal que si i ,= j, entonces d(A
i
, A
j
) . Probar que
_
iI
A
i
=
_
iI
A
i
.
24.- Sea (X, d) un espacio m etrico. Una familia C
i
iI
de subconjuntos de X se llama
localmente nita si para cada x X, existe r
x
> 0 tal que B(x, r
x
) C
i
,= s olo para
un n umero nito de i I. Se pide:
(i) probar que B(0, n) : n N no es localmente nita en (R, d
u
), pero si lo es la
familia de sus complementarios;
(ii) dar una familia de conjuntos abiertos localmente nita en (R, d
u
) cuya uni on sea R;
(iii) si C
i
iI
es una familia localmente nita, probar que cada punto de X pertenece
a lo m as a un n umero nito de conjuntos C
i
(es decir, la familia es puntualmente
nita). Probar que no toda familia puntualmente nita es localmente nita;
(iv) si la familia C
i
iI
es localmente nita, probar que
_
iI
C
i
=
_
iI
C
i
. Concluir de
aqu, que la reuni on localmente nita de cerrados es cerrada.
25.- En (X, d), probar:
(i) si A X, A =
nN
_
xA
B(x,
1
n
);
(ii) todo cerrado puede expresarse como una intersecci on numerable de abiertos;
(iii) todo abierto puede escribirse como una reuni on numerable de cerrados.
26.- Dado un espacio m etrico (X, d) y A, B X no vacos, probar:
(i) d(A, B) = d(A, B).
(ii) A = B si y s olo si para cada x X, es d(x, A) = d(x, B).
27.- Sea (X, d) un espacio m etrico. Probar:
(i) si A no posee puntos aislados, entonces A tampoco los posee;
(ii) si X no posee puntos aislados, tampoco tendr an puntos aislados los abiertos de X.
28.- Sea X un conjunto numerable. Probar que puede denirse sobre el una m etrica, tal
que ninguno de sus puntos sea aislado.
29.- Sea (X, d) un espacio m etrico, donde X posee m as de un punto; pueden ser y X
los unicos abiertos?
30.- Sean los espacios m etricos (X
1
, d
1
), , (X
n
, d
n
). Consideremos su producto carte-
siano X = X
1
X
n
y d = d
max
la m etrica del m aximo sobre el. Probar:
(i)

A
1

A
n
=
..
A
1
A
n
y A
1
A
n
= A
1
A
n
;
(ii) A
1
A
n
es abierto en (X, d) si y s olo si A
i
es abierto en (X
i
, d
i
) para cada
i I (an alogamente para cerrados).
31.- Sea (X, d) un espacio m etrico. Se pide:
(i) si x ,= y X, probar que existen U y V abiertos disjuntos en X, tales que x U,
y V y U V = ;
(ii) sean A y B conjuntos cerrados y disjuntos en X. Probar que existen abiertos U y V
disjuntos en X, tales que A U y B V.
32.- Sea (X, d) y la diagonal en el espacio m etrico producto (X X, D). Si el punto
x = (x
1
, x
2
) , , probar que D(x, ) > 0.
33.- Un espacio m etrico (X, d) se llama ultram etrico, si para cada x, y, z X, se
verica la desigualdad d(x, y) m axd(x, z), d(z, y). Demostrar:
(i) si d(x, z) ,= d(y, z), entonces d(x, y) = maxd(x, z), d(z, y);
(ii) B(a, r) y B(a, r) son abiertos y cerrados a la vez;
(iii) si y B(x, r), entonces B(x, r) = B(y, r); se tiene un resultado an alogo para las
bolas cerradas?
2.8. Ejercicios 49
(iv) si B(x, r) y B(y, s) se cortan, entonces una de estas bolas contiene a la otra (lo
mismo para bolas cerradas);
(v) si B(x, r) y B(y, r) son distintas y est an contenidas en B(z, r), su distancia es r;
(vi) si d es la m etrica discreta, probar que (X, d) es un espacio ultram etrico.
(i) sea ,= A X. Si (X, d) es separable, probar que A es separable (es decir, el
subespacio m etrico (A, d
A
) es separable);
(ii) si A es separable, probar que A es separable;
(iii) si A
1
, , A
n
son separables, entonces A
1
A
n
es separable.
35.- Sea (X, d) un espacio m etrico. Sea A X tal que para cada a A, existe
a
> 0 tal
que B(a,
a
) A es contable. Si (X, d) es separable, probar que A es contable.
36.- Sea (X, d) un espacio m etrico separable y , = A X. Se pide:
(i) probar que el conjunto de los puntos aislados de A es contable;
(ii) si A
t
= , probar que A es contable;
(iii) si A es discreto en X, probar que A es contable.
37.- Se dice que (X, d) posee la propiedad de intersecci on contable, si dada cualquier
familia F
i
iI
de cerrados, tal que
iJ
F
i
,= para cada subconjunto contable J de I,
entonces
iI
F
i
,= . Probar que un espacio m etrico (X, d) es separable si y s olo si posee
la propiedad de intersecci on contable.
38.- Si (X, d) es separable, probar toda familia de abiertos dos a dos disjuntos es contable.
39.- Sea (X, d) un espacio m etrico. Si A, B X, A es abierto y B es denso en X, probar
que A = A B.
40.- Probar que la separabilidad en espacios m etricos se conserva bajo equivalencias
m etricas y topol ogicas y bajo isometras.
41.- Sea X = f : [0, 1] R, f continua. Se consideran las distancias d
1
y d
2
deni-
das en el ejercicio 10. Con las notaciones obvias, se pide:
(i) sea f(x) = 2 para cada x [0, 1]. Calcular B
d
2
(f, 1);
(ii) sean r > 0 y g X denida por:
g(x) =
_
4
4x
r
si 0 x
r
2
2 si
r
2
x 1
Probar que g B
d
1
(f, r), pero g , B
d
2
(f, 1);
(iii) Deducir que d
1
y d
2
no son topol ogicamente equivalentes. Sin embargo,
d
1

d
2
.
42.- Dado (X, d), probar que X es una reuni on contable de conjuntos acotados.
43.- Probar que dos bolas abiertas (respectivamente, cerradas) del mismo radio son isom etri-
cas en (R
n
, d
u
).
44.- Sea (X, d) un espacio m etrico y , = A X. Se considera el subespacio m etrico
(A, d
A
). Si B A, probar:
(i) B
A
= B A, donde B
A
denota la clausura de B en (A, d
A
);
(ii)

B
B
A
y

B
A
= (X A B) A, donde

B
A
denota el interior de B en (A, d
A
);
(iii) si B A es cerrado en (A, d
A
), probar que B es cerrado en (X, d) si y s olo si
B A.
45.- Sea (X, d) un espacio m etrico y A, B X tales que X = A B. Sea C A B.
Probar que C es abierto en (X, d) si y s olo si lo es en (A, d
A
) y en (B, d
B
).
46.- Sea (X, d) un espacio m etrico y A, B X tales que X =
A B = A
B. Probar
que para cada C X, es C = C A
A
C B
B
.
47.- Sea (X, d) un espacio m etrico y A, B X, probar:
(i) si fr(A) fr(B) = , entonces

A
B=
..
A B,
(ii) si fr(A) fr(B) = , entonces A B = A B,
(iii) si fr(A) fr(B) = , entonces fr(A B) = (A fr(B)) (fr(A) B),
(iv) fr(A B) fr(A) fr(B),
(v) si A B = , entonces fr(A B) = fr(A) fr(B),
(vi) fr(A) = si y s olo si A es abierto y cerrado a la vez,
2.8. Ejercicios 51
(vii) si A y B son abiertos, entonces:
(Afr(B))(Bfr(A)) fr(AB) (Afr(B))(fr(A)B)(fr(A)fr(B)).
48.- Sea (X, d) un espacio m etrico y A X abierto (respectivamente, cerrado). Probar:
(i)
..
fr(A)= ,
(ii)

A
..
X A es denso en X,
(iii) buscar un ejemplo en el que el conjunto de (ii) no sea denso,
(iv) probar que las condiciones (i) y (ii) son equivalentes.
49.- Sea (X, d) un espacio m etrico, A X y a X, tales que A B(a, r) ,= y
(A) < r. Probar que A B(a, 2r).
50.- Sean (X, d) un espacio m etrico acotado y (X) la familia de los cerrados no vacos
de X. Dados A, B (X), se dene:
(A, B) = maxsup
aA
d(a, B), sup
bB
d(A, b).
Probar que dene una m etrica sobre (X). (A, B) se conoce como la distancia de
Hausdorff entre A y B. Probar que existe una isometra entre (X, d) y un subespacio
cerrado de ((X), ).
51.- Probar que la acotaci on en espacios m etricos se conserva bajo isometras y equiva-
lencias m etricas, pero no bajo equivalencias topol ogicas.
52.- Sea (X, d) y A X. Probar:
(i) (A) = (A), luego, A es acotado si y s olo si A lo es;
(ii) puede decirse lo mismo de

A y A?
53.- Probar que todo cerrado de (R
n
, d
u
), se puede escribir como la frontera de alg un
subconjunto de R
n
.
54.- Sea A un conjunto no vaco y acotado superiormente en (R, d
u
), se pide:
(i) probar que si sup(A) , A, entonces sup(A) A
t
.
(ii) si A es abierto en (R, d
u
), entonces sup(A) , A.
55.- En el espacio m etrico (R, d
u
), calcular el interior, el derivado, la clausura y la fron-
tera de los siguientes conjuntos:
_
nN
(
1
n + 1
,
1
n
), 0 < x < 1 : x posee representaci on
decimal con 0 en el primer dgito ,
1
x
: x ,= 0,
1
n
: n N,
1
n
+
1
m
: m, n N,
1,
1
2
, 2,
1
3
, 3, ,
1
n
, n, , R, Q, N, Z, R Q, Z +Z (donde , Q).
56.- Sea (R, d
u
) y el conjunto A = [0, 1) (1, 3] 5. Se pide:
(i) probar que 5 es abierto y cerrado en (A, d
A
);
(ii) lo mismo para (1, 3];
(iii) calcular [0, 1)
A
y
..
[0,
1
2
)
A
;
(iv) probar que 5 no es aislado en (R, d
u
), pero si lo es en (A, d
A
).
57.- En (R
2
, d
u
), calcular el interior, el derivado, la clausura y la frontera de los siguientes
conjuntos: (x
1
, x
2
) : x
1
(x
1
1) = 0, (x
1
, x
2
) : x
2
1
+x
2
2
> 0, (x
1
, x
2
) : x
2
1
+x
2
2
2,
(x
1
, x
2
) : x
1
< 0, (x
1
, x
2
) : x
1
5, x
2
> 0, (x
1
, x
2
) : x
1
=
1
n
, n N, 0 x
2
1,
(x
1
, x
2
) : x
2
= x
1
, donde R.
58.- Sea (R
2
, d
u
) y A = (x
1
, x
2
) : [x
1
[ < 1, [x
2
[ < 2. Probar que para (a
1
, a
2
) A y
r 2
5, se tiene que B
A
((a
1
, a
2
), r) = A.
59.- Se pide:
(i) sea (R, d
u
), A = N y B = n
1
n
: n N; calcular d
u
(A, B);
(ii) sea (R
2
, d
u
), A = (x
1
, x
2
) : x
1
x
2
= 1, x
1
> 0 y B = (x
1
, x
2
) : x
1
= 0; calcular
d
u
(A, B);
(iii) probar que tanto en (i) como en (ii), A y B son conjuntos cerrados y disjuntos.
60.- Sea ([0, 1], d
u
). Se divide [0, 1] en tres intervalos de la misma amplitud, se elimina
el intervalo abierto central = (
1
3
,
2
3
) (que se llamar a intervalo abierto de tipo 1) y se
conservan los intervalos cerrados
0
= [0,
1
3
] y
1
= [
2
3
, 1], que se llamar an intervalos
cerrados de tipo 1. Se divide cada intervalo cerrado de tipo 1 en tres intervalos de la misma
amplitud. Se eliminan de nuevo los intervalos abiertos centrales (intervalos abiertos de
tipo 2),
0
= (
1
9
,
2
9
) y
1
= (
7
9
,
8
9
) respectivamente, y se conservan los intervalos cerrados
(de tipo 2) resultantes:
00
= [0,
1
9
],
01
= [
2
9
,
1
3
],
10
= [
2
3
,
7
9
] y
11
= [
8
9
, 1]. Se
contin ua de este modo el proceso, obteniendo para cada n N, 2
n
intervalos cerrados
i
1
i
n
de tipo n donde i
j
es 0 o 1. Cada intervalo cerrado de tipo n se divide en tres partes
de la misma amplitud, conservando dos intervalos cerrados
i
1
i
n
0
y
i
1
i
n
1
(llamados
2.8. Ejercicios 53
intervalos cerrados de tipo n+1) y eliminando cada intervalo abierto
i
1
i
n
de tipo n+1
que queda entre ellos.
Sea C
n
la reuni on de los intervalos cerrados de tipo n. Sea C =
nN
C
n
. C se llama
conjunto perfecto de Cantor o conjunto ternario de Cantor. Se pide probar:
(i) C
n
es cerrado en [0, 1] para cada n;
(ii) C es un conjunto cerrado no vaco;
(iii) todo n umero x [0, 1], admite un desarrollo tri adico
n=1
a
n
3
n
, donde a
n
0, 1, 2,
y se representa del modo: x = 0.a
1
a
2
. Si x admite un desarrollo tri adico que no
contiene la cifra 1, entonces este desarrollo es unico. Probar que x [0, 1] pertenece
a C si y s olo si x admite un desarrollo tri adico que no contiene a la cifra 1. Concluir
que existe una biyecci on entre los conjuntos 0, 2
N
y C, y que por lo tanto C tiene
la potencia del continuo, es decir, es no contable;
(iv) si se suman las longitudes de todos los intervalos abiertos eliminados en el proceso,
se obtiene la longitud del intervalo [0, 1];
(v) C no posee puntos aislados en [0, 1];
(vi)

C= .
61.- Sea (R
n
, d
u
). Un subconjunto A R
n
se llama convexo si para cada x, y A, el
segmento que los une [x, y] = z R
n
: z = tx + (1 t)y : t [0, 1], est a contenido
en A. Se pide probar:
(i) la intersecci on arbitraria de conjuntos convexos es un conjunto convexo (admitiendo
que es convexo);
(ii) si A y B son convexos y R, los conjuntos A + B = a + b : a A, b B y
A = a : a A son convexos;
(iii) si A es convexo y t
1
, , t
m
0, entonces t
1
A + + t
m
A = (t
1
+ + t
m
)A
(donde t
1
A + + t
m
A = t
1
a
1
+ + t
m
a
m
: a
i
A). Lo anterior puede ser
falso si A no es convexo;
(iv) si A R
n
, se llama envolvente convexa de A, co(A), a la intersecci on de todos
los conjuntos convexos que contienen a A. Por (i), co(A) es el menor convexo que
contiene a A. Probar que si A ,= , entonces la envolvente convexa es precisamente
co(A) = x R
n
: x =
m
i=1
t
i
a
i
, a
i
A, t
i
0,
m
i=1
t
i
= 1, m N.
Cada expresi on de la forma
m
i=1
t
i
a
i
, donde t
i
0 y
m
i=1
t
i
= 1, se llama combi-
naci on convexa. Luego, co(A) es el conjunto de las combinaciones convexas de
elementos de A;
(v) si A es convexo, tambi en lo son A y

A;
(vi) probar que si A es un conjunto convexo y sim etrico respecto al origen de coordena-
das 0 R
n
(es decir, A = x : x A), entonces A contiene a una bola abierta
centrada en 0;
(vii) si A es convexo, x
A e y A, entonces tx + (1 t)y : t (0, 1]
A. Deducir
que A =
A y

A=
A;
(viii) si A R
n
, se pide:
a) calcular co(A) si A = S(0, 1);
b) probar que (A) = (co(A));
c) si A es abierto, probar que co(A) es abierto;
d) si A es nito, probar que co(A) es cerrado;
e) si A R es cerrado, probar que co(A) es cerrado;
f) A = (x, y) R
2
: x 0, y = x
2
es cerrado, pero co(A) no lo es;
2.8. Ejercicios 55
(ix) sea A convexo en R
n
. Se dice que a A es un punto extremal de A, si A a es
convexo o vaco. Probar:
a) si A es abierto, entonces no posee puntos extremales;
b) dar un ejemplo de cerrado convexo sin puntos extremales;
c) calcular los puntos extremales de B(0, 1) R
2
;
d) si B R
n
sea: B
= a B : [x, y] B : a [x, y], es a = x o a = y.

Probar que A
es el conjunto de los puntos extremales de A y A
= (A
A)
.
62.- Sea S = (R
2
S
1
) (1, 0). Probar que para cada recta R en R
2
, R S es abierto
en (R, d
u
), pero S no es abierto en (R
2
, d
u
).
63.- En el plano eucldeo (R
2
, d
u
), se consideran los puntos U = (0, 1), V = (0, 1),
O = (0, 0), P = (1, 0), Q = (2, 0), R = (4, 0), S = (2 +
5, 0) y T = (5, 0). Sea

E = U, V, T [O, P) (P, Q] [R, S)
(con esta notaci on se indican los intervalos correspondientes sobre el eje de abscisas).
(i) Probar que

B
E
(Q,
5) es un cerrado en (E, d
E
), pero no es una bola cerrada;
(ii) probar que B
E
(O, 1) es un abierto en (E, d
E
), pero no es una bola abierta.
64.- Un n umero di adico es un n umero real que puede expresarse como el cociente de
dos n umeros enteros, donde el denominador es una potencia de 2. El conjunto de los
n umeros di adicos en [0, 1] se denota por D, y sus elementos son de la forma m/2
n
, donde
n N 0 y m 0, 1, 2, . . . , 2
n
.
Este conjunto es crucial en la demostraci on del lema de Urysohn (ver el teorema 3.20),
en donde la prueba se hace por inducci on sobre este conjunto: el orden sobre D 0
est a dado por:
1
2
,
1
4
,
3
4
,
1
8
,
3
8
,
5
8
,
7
8
, . . . ,
es decir, se agrupan los elementos dependiendo de la potencia n de su denominador 2
n
, y
jado este valor, se arreglan los n umeros en el orden indicado por los numeradores: 1, 3,
5, . . . , 2
n
1. Por ejemplo, el inmediato sucesor de
2
n
1
2
n
es
1
2
n+1
.
Este conjunto es peque no desde el punto de vista conjuntista: como D Q, el conjunto
de los n umeros di adicos es contable. Sin embargo, es topol ogicamente grande, al ser D
denso en ([0, 1], d
u
).
Continuidad en espacios m etricos
Primero, una mirada;
luego, el toque de fuego
de las manos; y luego,
la sangre acelerada
y el beso que subyuga.
Abrojos
Rub en Daro (1867 -1916)
3.1. Aplicaciones continuas
Sean (X, d) e (Y, ) espacios m etricos y f : (X, d)(Y, ) una funci on.
Denici on 3.1. Si a X, se dice que f es continua en a, si para cada > 0, existe
= (a, ) > 0 tal que para cada x X vericando d(x, a) < , es (f(x), f(a)) < .
Observaci on 3.1. Si (X, d) = (Y, ) = (R, d
u
), esta denici on es precisamente la usual
de continuidad del An alisis Real.
Lema 3.1. f es continua en a X si y s olo si para cada > 0, existe = (a, ) > 0
tal que f (B
X
(a, )) B
Y
(f(a), ).
Lema 3.2. f es continua en a X si y s olo si para cada > 0, f
1
(B
Y
(f(a), )) es un
abierto que contiene a a.
Denici on 3.2. Se dice que f es continua en X (o simplemente continua), si es continua
en a para cada a X.
Ejemplos 3.1. Algunos ejemplos de funciones continuas son los siguientes:
(i) si f : (X, d)(Y, ) es constante, es continua;
(ii) 1
X
: (X, d)(X, d) es continua;
57
58 Captulo 3. Continuidad en espacios m etricos
(iii) si el espacio (X, d) es discreto para cualquier otro espacio m etrico (Y, ) y cualquier
funci on f, es f : (X, d)(Y, ) continua.
Observaci on 3.2. f : (X, d)(Y, ) no es continua en a X si verica cualquiera de
las dos condiciones equivalentes siguientes:
(i) existe
0
> 0, tal que para cada > 0 existe x
X tal que d(x
, a) < pero es
(f(x
), f(a)) >
0
;
(ii) existe
0
> 0, tal que para cada > 0 es f (B
X
(a, )) , B
Y
(f(a),
0
).
Teorema 3.3. f : (X, d)(Y, ) es continua si y s olo si para cada V abierto en (Y, ),
f
1
(V ) es abierto en (X, d).
Demostraci on: Si V abierto en (Y, ) y a f
1
(V ), como f es continua en a, para cada
> 0, existe = (a, ) > 0 tal que f (B
X
(a, )) B
Y
(f(a), ). Luego B
X
(a, )
f
1
(B
Y
(f(a), )). Como f(a) V y V es abierto en (Y, ), existe
a
> 0 tal que
B
Y
(f(a),
a
) V . As, B
X
(a, ) f
1
(B
Y
(f(a), )) f
1
(V ), y queda probado
que f
1
(V ) es abierto en (X, d). Y recprocamente, por el lema 3.2, para cada a X y
> 0, el conjunto f
1
(B
Y
(f(a), )) es abierto en (X, d). Como a f
1
(B
Y
(f(a), )),
debe existir > 0 tal que B
X
(a, ) f
1
(B
Y
(f(a), )), con lo que queda probada la
continuidad de la funci on.
Observaci on 3.3. Las funciones continuas no transforman abiertos en abiertos: la funci on
f : (N, d
u
)(R, d
u
) dada por f(n) = n es continua, pero f(N) = N no es abierto en
(R, d
u
).
Por dualidad entre abiertos y cerrados, puede probarse la siguiente propiedad:
Teorema 3.4. f : (X, d)(Y, ) es continua si y s olo si para cada F cerrado en (Y, ),
f
1
(F) es cerrado en (X, d).
Observaci on 3.4. Las funciones continuas no transforman cerrados en cerrados: la fun-
ci on f : (Q, d
u
)(R, d
u
) dada por f(x) = x es continua, pero f(Q) = Qno es cerrado
en (R, d
u
).
Teorema 3.5. f : (X, d)(Y, ) es continua si y s olo si para cada subconjunto A X
es f(A
X
) f(A)
Y
.
Demostraci on: Como f(A)
Y
es cerrado en (Y, ), el teorema 3.4 garantiza que f
1
_
f(A)
Y
_
es cerrado en (X, d). Como A f
1
_
f(A)
Y
_
, la inclusi on pasa a la clausura, es decir,
A
X
f
1
_
f(A)
Y
_
, y se deduce que f(A
X
) f(A)
Y
. Recprocamente, sea F cerrado
3.2. Aplicaciones continuas y subespacios 59
en (Y, ); la hip otesis garantiza que f(f
1
(F)
X
) f(f
1
(F))
Y
F
Y
= F. Tomando
im agenes recprocas, se deduce que f
1
(F)
X
f
1
(F), y por el teorema 3.4, se deduce
la continuidad de f.
Observaci on 3.5. La igualdad no es cierta en general en el teorema 3.5: en efecto, la
funci on f : (Q, d
u
)(R, d
u
) dada por f(x) = x es continua, y f(Q
Q
) = f(Q) = Q
Q
R
= R.
Teorema 3.6. Sean f : (X, d)(Y, ) y g : (Y, )(Z, ) aplicaciones entre espacios
m etricos. Entonces:
(i) si f es continua en a y g lo es en f(a), entonces g f es continua en a;
(ii) si f es continua en X y g lo es en Y , entonces g f es continua en X.
Denici on 3.3. f : (X, d)(Y, ) es un homeomorsmo si es biyectiva, continua y f
1
es tambi en continua. Se dice que (X, d) es homeomorfo a (Y, ).
Lema 3.7. La relaci on ser homeomorfo es una relaci on de equivalencia sobre la fami-
lia de todos los espacios m etricos.
Observaci on 3.6. Una aplicaci on biyectiva y continua entre dos espacios m etricos no
tiene porque ser un homeomorsmo: como N y Q son numerables, existe una funci on
biyectiva f : NQ. La funci on f : (N, d
u
)(Q, d
u
) es biyectiva y continua (ya que
(N, d
u
) es un espacio discreto), pero f
1
: (Q, d
u
)(N, d
u
) no es continua, ya que 0
es abierto en (N, d
u
), pero f
1
0 no es abierto en (Q, d
u
).
Proposici on 3.8. La composici on de homeomorsmos es un homeomorsmo.
Proposici on 3.9. Los espacios (X, d
1
) y (X, d
2
) son topol ogicamente equivalentes si y
s olo si 1
X
: (X, d
1
)(X, d
2
) es un homeomorsmo.
Lema 3.10. Toda isometra es un homeomorsmo.
3.2. Aplicaciones continuas y subespacios
Proposici on 3.11. Sea (X, d) un espacio m etrico y A X. La aplicaci on inclusi on
i
A
: (A, d
A
)(X, d) es continua.
Teorema 3.12. Sea f : (X, d)(Y, ) continua. Entonces, para cada A X, su res-
tricci on a A, f[
A
: (A, d
A
)(Y, ), es tambi en continua.
Demostraci on: Basta con tener en cuenta que f
A
= f i
A
.
El recproco s olo es parcialmente cierto:
Teorema 3.13. Sean f : (X, d)(Y, ) y A X, tal que f[
A
: (A, d
A
)(Y, ) es
continua. Entonces, f es continua en

A.
Demostraci on: Sea a
A, es decir, existe
a
> 0 tal que B
X
(a,
a
) A. Como f[
A
es continua en a, para cada > 0, existe = (a, ) > 0 tal que f[
A
(B
A
(a, ))
B
Y
(f(a), ). Si se toma = (a, )
a
, es B
A
(a, ) = B
X
(a, ) A = B
X
(a, ), con
lo que para cada > 0, existe 0 < = (a, )
a
tal que f (B
X
(a, )) B
Y
(f(a), ),
y se obtiene el resultado deseado.
Observaci on 3.7. En las condiciones anteriores, f no tiene porque ser continua en A: sea
la funci on caracterstica
[0,1]
: (R, d
u
)(R, d
u
). La funci on es continua en (0, 1), pero
no en [0, 1]. Sin embargo, la restricci on
[0,1]
[
[0,1]
: (R, d
u
)(R, d
u
) es continua, al ser
una funci on constante.
Teorema 3.14. Sea f : (X, d)(Y, ) continua, entonces f : (X, d)(f(X),
f(X)
)
es tambi en continua.
Denici on 3.4. Una aplicaci on continua f : (X, d)(Y, ) es un embebimiento si la
funci on f : (X, d)(f(X),
f(X)
) es un homeomorsmo. As, (X, d) puede pensarse
como un subespacio de (Y, ), y se dice que est a embebido en (Y, ).
Observaci on 3.8. Dos espacios m etricos pueden estar embebidos uno dentro del otro,
sin ser homeomorfos: por ejemplo (R, d
u
) se puede embeber en ([0, 1], d
u
), puesto que
(R, d
u
) es homeomorfo a ((0, 1), d
u
) (ver el ejercicio 30, del apartado 3.5) y la inclusi on
i : ((0, 1), d
u
)([0, 1], d
u
) es claramente un embebimiento. Por otro lado, la inclusi on
natural j : ([0, 1], d
u
)(R, d
u
) es un embebimiento. Sin embargo, (R, d
u
) y ([0, 1], d
u
)
no son espacios homeomorfos.
Teorema 3.15. (Principio de prolongaci on de identidades) Sean f, g : (X, d)(Y, )
continuas y D X denso. Si f[
D
= g[
D
, entonces f = g.
Demostraci on: Supongamos que f ,= g, es decir, existe a X tal que f(a) ,= g(a)
(a , D). Para r
a
= (f(a), g(a)), es B
Y
(f(a),
r
a
2
) B
Y
(g(a),
r
a
2
) = . Como f y g son
continuas en a, para =
r
a
2
existe = (a, ) > 0 tal que f (B
X
(a, )) B
Y
(f(a),
r
a
2
)
y g (B
X
(a, )) B
Y
(g(a),
r
a
2
). As, f (B
X
(a, )) g (B
X
(a, )) = . Como D es denso
en X, sabemos que B
X
(a, ) D ,= , de donde existe d B
X
(a, ) con f(d) = g(d), lo
cual es imposible.
3.3. Extensiones de funciones continuas 61
Ejemplo 3.1. Sean f, g : (R, d
u
)(R, d
u
), donde f = 1 y g =
Q
. Para el denso Q,
es f[
Q
= g[
Q
y f ,= g; como f es continua al ser una funci on constante, el teorema 3.15
garantiza que g no puede ser continua.
Teorema 3.16. Sean (X, d) e (Y, ) espacios m etricos y supongamos que existe un denso
D X y una aplicaci on continua f : (D, d
D
)(Y, ). Entonces, f posee una exten-
si on continua a X, F : (X, d)(Y, ).
Observaci on 3.9. La demostraci on se dar a tras el teorema 4.14.
3.3. Extensiones de funciones continuas
Todo espacio m etrico es completamente regular, es decir, separa puntos de cerrados a
trav es de funciones continuas en el siguiente sentido:
Proposici on 3.17. En (X, d), si A X es cerrado y x , A existe una funci on continua
f : (X, d)([0, 1], d
u
) tal que f(x) ,= 0 y f(A) = 0.
Demostraci on: La funci on g : (X, d)(R, d
u
) denida por g(y) = d(y, A) es conti-
nua (proposici on 3.26), y basta con tomar f(y) =
d(y,A)
d(y,A)+1
, que cumple las propiedades
pedidas.
En el corolario 2.32 habamos demostrado que todo espacio m etrico es regular; pode-
mos dar otra prueba bas andonos en el anterior resultado:
Corolario 3.18. En (X, d), si A X es cerrado y x , A existen conjuntos abiertos y
disjuntos U y V , tales que x U y A V .
Demostraci on: Si f : (X, d)([0, 1], d
u
) es la funci on dada en la proposici on 3.17, basta
con tomar U = f
1
((, 1]) y V = f
1
([0, )), donde 2 = f(x).
El siguiente resultado es esencial para la prueba del teorema 3.20:
Lema 3.19. Sea (X, d) un espacio m etrico y D un conjunto denso en ([0, 1], d
u
). Supon-
gamos que para cada t D existe un abierto U
t
tal que X =
_
tD
U
t
y si s < t, entonces es
U
s
U
t
. La funci on f : (X, d)([0, 1], d
u
) denida por f(x) = nft D : x U
t
es entonces continua.
Demostraci on: Observemos en primer lugar que:
(i) si x U
t
es f(x) t,
(ii) si f(x) < t, es necesariamente x U
t
, y
(iii) si f(x) > t, entonces x , U
t
.
Para estudiar la continuidad en x X, distinguimos tres posibilidades:
1) Si f(x) = 0, es x U
t
para cada t D. Por la densidad de D, para > 0 existe
t
D tal que t
< . Entonces x U
t
y por (i) es f(U

t
) [0, t
] [0, ).
2) Si f(x) = 1, es x , U
t
para cada t D1 por (iii). Por la densidad de D, para
> 0 existe t
D tal que t
> 1 . Entonces x X U
t
y f(X U
t
) (1 , 1]
pues como x , U
t
es f(x) t
> 1 seg un (ii).

3) Si f(x) (0, 1), por la densidad de D, para > 0 existen t
1
, t
2
D tales que
f(x) < t
1
< f(x) < t
2
< f(x) + . Entonces es x U
t
2
U
t
1
y aplicando (i) y (ii)
se deduce que f(U
t
2
U
t
1
) (f(x) , f(x) + ).
En espacios m etricos es f acil probar que es posible separar cerrados disjuntos me-
diante funciones continuas (ver en el ejercicio 45 del apartado 3.5 una demostraci on pu-
ramente m etrica). En el teorema siguiente, vamos a dar una prueba topol ogica basada en
la normalidad en espacios m etricos (ver la proposici on 2.31) de este resultado: aunque es
m as complicada, esta demostraci on es v alida para espacios topol ogicos en general y de
all su inter es.
Teorema 3.20. (Lema de Urysohn) En (X, d), si A, B X son cerrados disjuntos,
existe una funci on continua (llamada funci on de Urysohn) f : (X, d)([0, 1], d
u
) tal
que f(A) = 0 y f(B) = 1.
Demostraci on: Vamos a hacer la prueba por inducci on sobre el conjunto de los n umeros
di adicos D (ver el ejercicio 64 en el apartado 2.8). Por la proposici on 2.31, existe U
1/2
abierto, tal que A U
1/2
U
1/2
X B. Ahora, A, X U
1/2
y U
1/2
, B son dos
pares de cerrados disjuntos, por lo que existen U
1/4
y U
3/4
abiertos tales que
A U
1/4
U
1/4
U
1/2
U
1/2
U
3/4
U
3/4
X B.
Supongamos que, aplicando reiteradamente la proposici on 2.31, hemos construido la fa-
milia de abiertos
_
U
k/2
n : k = 1, . . . , 2
n
1
_
vericando
A U
1/2
n U
1/2
n U
k/2
n U
k/2
n U
2
n
1/2
n U
2
n
1/2
n X B.
Basta con construir U
k/2
n+1 para k impar (para k = 2m, U
k/2
n+1 = U
m/2
n ya est a de-
nido). Como A y X U
1/2
n son cerrados disjuntos, existe un abierto U
1/2
n+1 tal que
A U
1/2
n+1 U
1/2
n+1 U
1/2
n. Al ser U
2
n
1/2
n y B cerrados disjuntos, existe un
abierto U
2
n+1
1/2
n+1, tal que U
2
n
1/2
n U
2
n+1
1/2
n+1 U
2
n+1
1/2
n+1 X B. Y
nalmente, si k es impar, 1 < k < 2
n+1
1, entonces U
k1/2
n+1 y X U
k+1/2
n+1 son
3.3. Extensiones de funciones continuas 63
cerrados disjuntos construidos en la etapa anterior, y existe un abierto U
k/2
n+1, tal que
U
k1/2
n+1 U
k/2
n+1 U
k/2
n+1 U
k+1/2
n+1.
De este modo, hemos construido por inducci on sobre los n umeros di adicos una familia
de conjuntos abiertos U
t
: t D, tal que:
(i) A U
t
para cada t D, eligiendo U
0
= y U
1
= X,
(ii) si s < t, es U
s
U
t
, y
(iii) si t D 1, es U
t
X B.
Aplicando el lema 3.19 al conjunto denso Dy a la familia construida arriba, se deduce que
la funci on f : (X, d)([0, 1], d
u
) dada por f(x) = nft D : x U
t
es continua.
Por (i) es f(A) = 0 y por (ii) es f(B) = 1.
Observaci on 3.10. Este teorema es v alido para cualquier intervalo cerrado y acotado
[a, b] en sustituci on de [0, 1].
Lema 3.21. Sea (X, d) un espacio m etrico, n N y f
n
: (X, d)(R, d
u
) una funci on
continua. Supongamos que para cada x X y n N es [f
n
(x)[ r
n
y la serie de n ume-
ros reales

nN
r
n
es convergente. Entonces, para cada x X, la serie

nN
f
n
(x)
converge a f(x) R y la funci on f : (X, d)(R, d
u
) as denida es continua.
Demostraci on: La serie
nN
f
n
(x) es absolutamente convergente para todo x X, con
lo que f(x) R. Para cada x X y > 0 existe n
, tal que:
(i) para k > n
es [f(x)
k
n=1
f
n
(x)[ = [
n=k+1
f
n
(x)[
n=k+1
r
n
< /3, por la
convergencia de la serie;
(ii) como cada funci on f
n
es continua en x, existe un abierto U
x
tal que para cada y U
x
es [
n=1
f
n
(x)
n=1
f
n
(y)[ < /3.
As, [f(x) f(y)[ = [
n=1
(f
n
(x) f
n
(y)) +
n=n
+1
f
n
(x)

n=n
+1
f
n
(y)[
[
n=1
(f
n
(x) f
n
(y))[ +[
n=n
+1
f
n
(x)[ +[
n=n
+1
f
n
(y)[ < , luego f es continua.
Teorema 3.22. (Teorema de extensi on de Tietze) Sean un espacio m etrico (X, d), A X
cerrado y f : (A, d
A
)([1, 1], d
u
) una funci on continua. Existe una funci on continua
F : (X, d)([1, 1], d
u
) tal que F[
A
= f: se dice que F extiende a f.
Demostraci on: Sea f : (A, d
A
)([1, 1], d
u
) una funci on continua. Dividimos el inter-
valo [1, 1] en tres partes iguales de amplitud 2/3 y denotamos A
1
= f
1
([1/3, 1]) y
B
1
= f
1
([1, 1/3]), que son dos cerrados disjuntos (en (A, d
A
), luego en (X, d)).
Aplicando el teorema 3.20, existe una funci on continua f
1
: (X, d)([1/3, 1/3], d
u
)
tal que f
1
(A
1
) = 1/3 y f
1
(B
1
) = 1/3.
Tenemos la funci on continua g
1
= f f
1
: (A, d
A
)([2/3, 2/3], d
u
): dividimos
[2/3, 2/3] en tres intervalos de amplitud (2/3)
2
y consideramos A
2
= g
1
1
([2/9, 2/3]) y
B
2
= g
1
1
([2/3, 2/9]), que son dos cerrados disjuntos. Aplicando el teorema 3.20,
existe una funci on continua f
2
: (X, d)([2/9, 2/9], d
u
) tal que f
2
(A
2
) = 2/9 y
f
2
(B
2
) = 2/9. La funci on g
2
= f f
1
f
2
: (A, d
A
)([(2/3)
2
, (2/3)
2
], d
u
) es
continua y se vuelve a reiterar el proceso.
Continuando de este modo, se obtiene una sucesi on de funciones g
k
kN
, tales que
(i) g
k
: (A, d
A
)([(2/3)
k
, (2/3)
k
], d
u
) es continua,
(ii) A
k+1
= g
1
k
([2
k
/3
k+1
, 2
k
/3
k
]) y B
k+1
= g
1
k
([2
k
/3
k
, 2
k
/3
k+1
]) son cerrados
disjuntos,
(iii) existe f
k+1
: (X, d)([2
k
/3
k+1
, 2
k
/3
k+1
], d
u
) una funci on de Urysohn asociada
a estos cerrados, tal que f
k+1
(A
k
) = 2
k
/3
k+1
y f
k+1
(B
k
) = 2
k
/3
k+1
,
(iv) sobre A es g
k
= f (f
1
+ +f
k
).
La funci on F : (X, d)([1, 1], d
u
) dada por F(x) =
n=1
f
n
(x) est a bien denida,
es continua ([f
n
(x)[ 2
n1
/3
n
y se aplica el lema 3.21) y F[
A
= f.
Corolario 3.23. (Teorema de extensi on de Tietze, segunda versi on) Sean un espacio
m etrico (X, d), A X cerrado y f : (A, d
A
)(R, d
u
) una funci on continua. Existe
una funci on continua F : (X, d)(R, d
u
) que extiende a f.
Demostraci on: Sea h: (R, d
u
)((1, 1), d
u
) un homeomorsmo. Se puede aplicar el
teorema 3.22 a la funci on continua h f : (A, d
A
)([1, 1], d
u
), por lo que existe una
extensi on de h f, G: (X, d)([1, 1], d
u
). Sea B = G
1
(1, 1); claramente A
y B son cerrados disjuntos, y aplicando el teorema 3.20 existe g : (X, d)([0, 1], d
u
)
continua tal que g(B) = 0 y g(A) = 1. La funci on F = h
1
g.G: (X, d)(R, d
u
) es
continua y extiende a f.
3.4. Aplicaciones uniformemente continuas
Denici on 3.5. f : (X, d)(Y, ) es uniformemente continua, si para cada > 0, existe
= () > 0 tal que para cada x, y X vericando d(x, y) < , es (f(x), f(y)) < .
3.4. Aplicaciones uniformemente continuas 65
Teorema 3.24. Si f : (X, d)(Y, ) es uniformemente continua, es continua.
Observaci on 3.11. El recproco no es cierto: sea la funci on f : ((0, 1], d
u
)(R, d
u
)
denida por f(x) =
1
x
. Entonces:
(i) f es continua en (0, 1]: para a (0, 1] y > 0, existe < mn
_
a
2
,
a
2
2
_
tal que si
[x a[ < , es [
1
x

1
a
[ =
[xa[
[x[[a[
<
2
a
2
a
2
2
= ;
(ii) f no es uniformemente continua: si lo fuera, sean y como en la denici on 3.5 y
a < mn
_
2,
1
, 1
_
; entonces a,
a
2
(0, 1], [a
a
2
[ < , pero [f(x)f(
a
2
)[ =
1
a
> .
Teorema 3.25. La composici on de aplicaciones uniformemente continuas, es uniforme-
mente continua.
Observaci on 3.12. La continuidad es una propiedad que se expresa en t erminos de abier-
tos. Esto no es verdad para la continuidad uniforme, donde la denici on ( ) juega un
papel esencial: la continuidad uniforme es una propiedad adaptada a espacios m etricos,
mientras que la continuidad es una noci on asociada a espacios topol ogicos.
Proposici on 3.26. La funciones f, g : (X, d)(R, d
u
) dadas por f(x) = d(x, a) y
g(x) = d(x, A) son uniformemente continuas, para a A y A X.
Demostraci on: Para > 0, basta con tomar = y si d(x, y) < , es [f(x) f(y)[ =
[d(x, a) d(y, a)[ d(x, y), por la proposici on 2.5. Para g, se deduce de manera similar
aplicando la proposici on 2.6.
Ejemplos 3.2. Algunos ejemplos de aplicaciones uniformemente continuas son:
(i) la identidad 1
X
: (X, d)(X, d) es uniformemente continua;
(ii) las aplicaciones constantes son uniformemente continuas;
(iii) las isometras son uniformente continuas, pero el recproco no es cierto: sea d la
m etrica discreta y 1
R
: (R, d)(R, d
u
), que es una biyecci on uniformemente con-
tinua, pero no es una isometra;
(iv) si d es la m etrica discreta, para cualquier espacio m etrico (Y, ) y cada funci on,
f : (X, d)(Y, ) es uniformemente continua. Esta propiedad no es cierta para
cualquier espacio discreto: para la aplicaci on f : (
1
n
: n N, d
u
)(N, d
u
), la
funci on f(
1
n
) = n es continua, pero no es uniformemente continua.
Denici on 3.6. Dos espacios (X, d) e (Y, ) se llaman uniformemente homeomorfos, si
existe f : (X, d)(Y, ) biyectiva, uniformemente continua y de inversa uniformemen-
te continua.
Lema 3.27. Dos espacios m etricos uniformemente homeomorfos, son homeomorfos.
3.5. Ejercicios
1.- Responder a las siguientes cuestiones:
(i) si (X, d) es un espacio m etrico discreto e (Y, ) es arbitrario, probar que toda aplica-
ci on f : (X, d)(Y, ) es continua;
(ii) en las condiciones de (i), describir las aplicaciones continuas f : (Y, )(X, d);
(iii) qu e puede decirse de (X, d), si toda aplicaci on f : (X, d)(R, d
u
) es continua?
2.- Sean f, g : (X, d)(R, d
u
) continuas. Probar que tambi en lo son las funciones: fg,
f.g,
f
g
(si g(x) ,= 0 para cada x X), c.f (c R), [f[, m axf, g y mnf, g.
3.- Sean f, g : (X, d)(Y, ) continuas, se pide:
(i) probar que el conjunto A = x X : f(x) = g(x) es cerrado en (X, d). Concluir
que si D es denso en (X, d) y f[
D
= g[
D
, entonces f = g;
(ii) sea b Y . Probar que el conjunto A = x X : f(x) = b es cerrado en (X, d).
Concluir que si (Y, ) = (R, d
u
), entonces las races de la ecuaci on f(x) = 0
constituyen un conjunto cerrado en (X, d).
4.- Sean (X, d) e (Y, ) espacios m etricos y A
i
: i I una familia de subconjuntos no
vacos de X tales que X =
_
iI
A
i
. Sea f : (X, d)(Y, ) tal que f[
A
i
es continua para
cada i I. Probar:
(i) si cada A
i
es abierto en (X, d), entonces f es continua;
(ii) si cada A
i
es cerrado en (X, d) y el conjunto I es nito, entonces f es continua;
(iii) comprobar que f no es continua en general.
5.- Sean A, B R y x R. Denimos los conjuntos A + x = a + x : a A y
A + B = a + b : a A, b B. Probar:
(i) si A es abierto (respectivamente, cerrado) en (R, d
u
), entonces A +x es abierto (res-
pectivamente, cerrado) en (R, d
u
),
(ii) si A y B son abiertos en (R, d
u
), entonces A+B es abierto en (R, d
u
). No sucede lo
mismo si se cambia el calicativo de abierto por el de cerrado.
6.- Probar que son continuas las funciones f, g : (R
2
, d
u
)(R, d
u
), donde:
(i) f(x, y) = x + y,
3.5. Ejercicios 67
(ii) g(x, y) = xy. Concluir que el conjunto A = (x, y) R
2
: x > 0, xy = 1, es
cerrado en (R
2
, d
u
).
7.- Sea f : (X, d)(Y, ). Probar que son equivalentes:
(i) f es continua,
(ii) para cada B Y , f
1
(
B
Y
)
..
f
1
(B)
X
,
(iii) para cada B Y , f
1
(B)
X
f
1
(B
Y
).
8.- Sea f : (X, d)(Y, ) una aplicaci on continua y sobreyectiva. Probar que si D es
denso en (X, d), entonces f(D) es denso en (Y, ). Si F es denso en (Y, ), es f
1
(F)
denso en (X, d)?
9.- Sea f : (X, d)(R, d
u
). Probar que f es continua en (X, d) si y s olo si para cada
R, los conjuntos A
= x X : f(x) < y B
= x X : f(x) > son

abiertos en (X, d).
10.- Sea (X, d) y A X. Probar que la funci on caracterstica de A es continua en x si y
s olo si x , fr(A). Bajo que condiciones es
A
continua?
11.- Sean f, g : (R, d
u
)(R, d
u
) continuas. Probar que h: (R
2
, d
u
)(R
2
, d
u
), de-
nida por h(x, y) = (f(x), g(y)), es continua.
12.- Sean A y B cerrados, no vacos y disjuntos en un espacio m etrico (X, d). Se pide:
(i) probar que existen abiertos disjuntos U y V tales que A U y B V ;
(ii) encontrar una funci on f : (X, d)(R, d
u
) continua, tal que f(A) = 0 y f(B) = 1.
13.- Sean f, g : (X, d)(Y, ) continuas y a X. Probar:
(i) si f(a) ,= g(a), probar que existe r > 0, tal que f(B
X
(a, r)) g(B
X
(a, r)) = ; en
particular, si x B
X
(a, r), entonces f(x) ,= g(x);
(ii) supongamos que para cada r > 0, existe x
r
B
X
(a, r) tal que f(x
r
) = g(x
r
).
Probar que f(a) = g(a). Concluir que si f, g : (R, d
u
)(R, d
u
) son continuas y
f[
Q
= g[
Q
, entonces f = g.
14.- Sean f, g : (X, d)(R, d
u
) continuas y a X, tal que f(a) < g(a). Probar que
existe r > 0 tal que para cada x, y B
X
(a, r), es f(x) < g(y). C omo se expresa esta
propiedad si f es la funci on id enticamente nula? Concluir que si s > 0 y a , B
X
(x, s),
existe r > 0 tal que B
X
(a, r) B
X
(x, s) = .
15.- Sean f : (X, d)(Y, ) continua, B Y y A = x X : (f(x), Y B) > 0.
Probar que para cada x A, es d(x, X A) > 0.
16.- Estudiar la continuidad de f, g : (X, d
u
)(R, d
u
), donde X = 0
1
n
nN
y
(i) f(0) = 0 y f(
1
n
) = n,
(ii) g(0) = 0 y
g
_
1
n
_
=
_
1
n
si n es par
1
n
si n es impar
17.- Sea f : RR denida por:
f(x) =
_
x si x 2
x
2
si x > 2
Estudiar la continuidad en los siguientes casos: f : (R, d
u
)(R, d), f : (R, d)(R, ),
y f : (R, )(R, d
u
), donde d es la m etrica discreta y (x, y) = 2[x y[.
18.- Sean las m etricas sobre R, dadas por:
d
1
(x, y) =
_
[x y[ si sg(x) = sg(y)
[x + y[ + 1 si sg(x) ,= sg(y)
d
2
(x, y) =
_
x + y si x ,= y, x > 0, y > 0
[x y[ en otro caso
Estudiar la continuidad de las funciones: 1
R
: (R, d
1
)(R, d
u
), 1
R
: (R, d
u
)(R, d
1
),
1
R
: (R, d
2
)(R, d
u
) y 1
R
: (R, d
u
)(R, d
2
). Hacer el mismo ejercicio para f =
0
y g(x) =
x
2
1.
19.- Sean A y B cerrados en (X, d), y los conjuntos C = x X : d(x, A) < d(x, B),
D = x X : d(x, A) > d(x, B) y E = x X : d(x, A) = d(x, B). Probar:
(i) C y D son abiertos y E es cerrado en (X, d);
(ii) hallar C, D y E, si (X, d) = (R
2
, d
u
) y A y B son dos rectas (respectivamente, dos
circunferencias exteriores).
20.- Probar que una biyecci on de (R, d
u
) en (R, d
u
) es continua si y s olo si es mon otona.
21.- Sean (X, d) un espacio m etrico, f : (X, d)(R, d
u
) una aplicaci on continua y el
conjunto abierto U = x X : f(x) > 0. Probar que para cada x fr(U), es f(x) = 0.
3.5. Ejercicios 69
22.- Sea f : (R
n
, d
u
)(R
m
, d
u
) una funci on. Para cada a R
n
, se llama oscilaci on
de f en a al n umero real (f, a) =nf(f(B(a, ))) : > 0. Se pide probar:
(i) f es continua en a si y s olo si (f, a) = 0;
(ii) para cada > 0, el conjunto A
= x R
n
: (f, x) es cerrado en R
n
;
(iii) calcular (g, x), para x R y la funci on g : RR denida por
g(x) =
_
0 si x Q
x si x , Q
23.- Sea A un convexo no vaco de R
n
. Una aplicaci on f : (A, d
u
)(R, d
u
) se llama
convexa, si para cada x, y A y t [0, 1], es f(tx +(1 t)y) tf(x) +(1 t)f(y). Se
pide probar:
(i) si f es convexa en A, entonces f(
m
i=1
t
i
a
i
)
m
i=1
t
i
f(a
i
), donde t
i
0,
m
i=1
t
i
= 1 y
a
i
A;
(ii) si A es abierto convexo, toda funci on convexa sobre A es continua sobre A;
(iii) dar un ejemplo en donde se pruebe que (ii) no es cierto en general si A no es abierto.
24.- Probar que las bolas abiertas en el espacio eucldeo de dimensi on n son homeomorfas
entre s y a su vez a (R
n
, d
u
).
25.- Sea f : (R
n
, d
u
)(R
m
, d
u
) una aplicaci on lineal, es decir, si a, b R
n
y t, s R,
es f(sa + tb) = sf(a) + tf(b). Si |x| = d
u
(x, 0) es la norma de x, probar que son
equivalentes:
(i) f es continua,
(ii) f es continua en 0;
(iii) existe c > 0 tal que |f(x)| c|x|, para cada x R
n
;
(iv) existe c > 0 tal que |f(x) f(y)| c|x y|, para cada x, y R
n
.
26.- Sea f : (X, d)(Y, ) biyectiva. Probar que f es un homeomorsmo si y s olo si
para cada A X, se tiene f(A
X
) = f(A)
Y
.
27.- Sea f : (X, d)(Y, ) un homeomorsmo y A X, tal que A A
t
= . Probar
que f(A) f(A)
t
= .
28.- Sea la funci on f : (X, d)(Y, ) y D la m etrica sobre X dada por D(x, y) =
d(x, y)+(f(x), f(y)). Probar que si f es continua en X, entonces la aplicaci on identidad
1
X
: (X, D)(X, d) es un homeomorsmo.
29.- Dada f : (X, d)(Y, ), el grafo de f es G
f
= (x, f(x)) X Y : x X.
Sobre X Y se dene la m etrica producto d
max
. Probar:
(i) si f es continua, entonces G
f
es cerrado en (X Y, d
max
). El recproco es falso;
(ii) sea p la restricci on a G
f
de la proyecci on p
1
: (X Y, d
max
)(X, d). Probar que
p es biyectiva y continua. Probar que f es continua si y s olo si p es un homeomor-
smo.
30.- Sea f : (R, d
u
)((1, 1), d
u
), donde f(x) =
x
1+[x[
. Probar que f es un homeomor-
smo. Concluir que cualquier intervalo abierto (con la m etrica de subespacio inducida por
la usual) es homeomorfo a la recta real.
31.- Sea f : (X, d)(Y, ) un homeomorsmo. Estudiar si las siguientes propiedades
son verdaderas o falsas:
(i) X es acotado si y s olo si Y lo es,
(ii) U X es abierto en (X, d) si y s olo si f(U) es abierto en (Y, ),
(iii) F X es cerrado en (X, d) si y s olo si f(F) es cerrado en (Y, ),
(iv) A X es numerable si y s olo si f(A) lo es,
(v) D X es denso en (X, d) si y s olo si f(D) es denso en (Y, ),
(vi) si A X, x
A
X
si y s olo si f(x)
..
f(A)
Y
,
(vii) si A X, x A
t
si y s olo si f(x) (f(A))
t
,
(viii) si A X, x A
X
si y s olo si f(x) f(A)
Y
.
32.- Sean f : (X, d)(Y, ) y g : (Y, )(Z, ) continuas, tales que la composici on
g f : (X, d)(Z, ) es un homeomorsmo. Probar que si f es sobreyectiva, entonces
f y g son homeomorsmos.
33.- Probar que los espacios eucldeos siguientes son dos a dos homeomorfos:
(i) el cilindro vertical X = (x, y, z) R
3
: x
2
+y
2
= 1,
(ii) el cilindro Y = S
1
R,
3.5. Ejercicios 71
(iii) el plano privado del origen Z = R
2
(0, 0),
(iv) la corona circular W = (x, y) R
2
: 1 < x
2
+ y
2
< 2,
(v) la esfera privada de los polos norte y sur, U = S
2
P, Q, donde P = (0, 0, 1) y
Q = (0, 0, 1),
(vi) el cono privado de su v ertice V = (x, y, z) R
3
: x
2
+y
2
= z
2
, z > 0.
34.- Dar un homeomorsmo entre el primer cuadrante (x, y) R
2
: x 0, y 0 y
el semiplano (x, y) R
2
: y 0, como subespacios del plano eucldeo.
35.- Sea (R
n
, d
u
) y A R
n
un conjunto abierto, convexo y acotado, tal que 0 A. Se
pide probar:
(i) para cada x S(0, 1), existe un unico y fr(A) de la forma .x, donde > 0;
(ii) si y = (x), probar que la aplicaci on : (S(0, 1), d
u
)(fr(A), d
u
) es un homeo-
morsmo;
(iii) deducir que la frontera de un subconjunto convexo, acotado, de interior no vaco de
(R
n
, d
u
), es homeomorfa a (S(0, 1), d
u
);
(iv) sea : (R
n
, d
u
)(R, d
u
), denida por (0) = 0 y (x) = |x|(
x
|x|
) si x ,= 0.
Probar que es un homeomorsmo;
(v) deducir que un subconjunto convexo, abierto y acotado de (R
n
, d
u
), es homeomorfo
a la bola abierta (B(0, 1), d
u
) y por consiguiente a (R
n
, d
u
);
(vi) deducir que un subconjunto convexo, cerrado y acotado de interior no vaco de
(R
n
, d
u
) es homeomorfo a la bola cerrada (B(0, 1), d
u
);
(vii) probar propiedades similares para partes convexas, de interior no vaco y no acota-
das de R
n
.
36.- Sea f : (R
n
, d
u
)(R
m
, d
u
) una aplicaci on lineal y biyectiva. Probar que para que
f sea un homeomorsmo es necesario y suciente que existan constantes , > 0, tales
que |x| |f(x)| |x|, para cada x R
n
.
37.- En este ejercicio se trata de denir la proyecci on estereogr aca, una aplicaci on
esencial en Geometra y Topologa:
(i) la circunferencia unidad en el plano eucldeo es S
1
= (x
1
, x
2
) R
2
: x
2
1
+x
2
2
= 1.
Dado (a
1
, a
2
) S
1
(0, 1), se considera la recta que pasa por (a
1
, a
2
) y (0, 1).
Esta recta corta al eje de abscisas en el punto (
a
1
1a
2
, 0). Se dene la aplicaci on
h: (S
1
(0, 1), d
u
)(R, d
u
) por h(a
1
, a
2
) =
a
1
1a
2
. Probar que h es un ho-
meomorsmo: es la proyecci on estereogr aca;
(ii) An alogamente, para n 1, la esfera unidad en el espacio eucldeo de dimensi on n+1
se dene por S
n
= (x
1
, . . . , x
n+1
) R
n+1
: x
2
1
+ . . . + x
2
n+1
= 1. Probar que la
aplicaci on h: (S
n
(0, . . . , 0, 1), d
u
)(R
n
, d
u
), dada por h(a
1
, . . . , a
n+1
) =
(
a
1
1a
n+1
, . . . ,
a
n
1a
n+1
), es un homeomorsmo: es la proyecci on estereogr aca.
38.- Sea (X, d) un espacio m etrico. Probar que existe una m etrica acotada sobre X,
de manera que la identidad 1
X
: (X, d)(X, ) es un homeomorsmo uniforme.
39.- Sea f : (X, d)(Y, ). Probar que es uniformemente continua, si y s olo si para
cada A, B X tales que d(A, B) = 0 se tiene (f(A), f(B)) = 0.
40.- Sean los espacios m etricos (X
1
, d
1
), , (X
n
, d
n
). Consideremos su producto carte-
siano X = X
1
X
n
y d
max
la m etrica del m aximo. Se pide probar:
(i) las proyecciones p
i
: (X, d
max
)(X
i
, d
i
) son uniformemente continuas;
(ii) si U es abierto en (X, d
max
), entonces p
i
(U) es abierto en (X
i
, d
i
). Esta propiedad
se debe a la continuidad de las proyecciones?
(iii) dado un espacio m etrico (Y, ), probar que una funci on f : (Y, )(X, d
max
) es
continua si y s olo si para cada i I, las aplicaciones p
i
f lo son.
41.- Una funci on f : (X, d)(Y, ) se dice lipschitziana si existe un n umero real
positivo tal que para cada x, y X, se cumple (f(x), f(y)) d(x, y). Se pide
probar:
(i) toda funci on lipschitziana es uniformemente continua. El recproco no es cierto:
f : ([0, ), d
u
)([0, ), d
u
), dada por f(x) =

x es uniformemente continua
y no lipschitziana;
(ii) las isometras son aplicaciones lipschizianas. El recproco no es cierto;
3.5. Ejercicios 73
(iii) las aplicaciones de la proposici on 3.26 son lipschitzianas.
42.- Sea (R
2
, d) donde d es la m etrica denida por,
d(x, y) =
_
d
u
(x, y) si x
2
= y
2
[x
1
y
1
[ + 1 si x
2
,= y
2
Son continuas las proyecciones p
1
, p
2
: (R
2
, d)(R, d
u
)? Y lipschitzianas?
43.- Sea f : ([0, ), d
u
)(R, d
u
), tal que existe a > 0 vericando que f[
[0,a]
y f[
[a,)
son uniformemente continuas. Probar que f es uniformemente continua.
44.- Sea A R. Probar que la funci on f : (A, d
u
)(R, d
u
), dada por f(x) = x
2
es
uniformemente continua si A es acotado, pero no si A = R.
45.- Sean A y B cerrados, no vacos y disjuntos en (X, d) y f : (X, d)([0, 1], d
u
)
denida por f(x) =
d(x,A)
d(x,A)+d(x,B)
. Se pide:
(i) probar que f es continua y calcular f(A) y f(B);
(ii) encontrar abiertos disjuntos que contengan a A y B;
(iii) probar que f no es en general uniformemente continua.
46.- Se pide probar:
(i) la funci on f : (R 0, d
u
)(R, d
u
) dada por f(x) =
x
[x[
es continua, pero no es
uniformemente continua;
(ii) se tiene la siguiente generalizaci on de la anterior propiedad: sean (X, d) e (Y, )
espacios m etricos y f : (X, d)(Y, ) una aplicaci on continua. Se supone que
existen a ,= b X, tales que los conjuntos cerrados y disjuntos en F = f
1
(a)
y G = f
1
(b) verican que d(F, G) = 0. Probar que f no es uniformemente
continua.
Convergencia en espacios m etricos
Yo soy or que se marchita
al sol de la adversidad,
el arbolito en mitad
de la llanura innita.
D ecimas
Pedro Bonifacio Palacios Almafuerte(1854-1917)
4.1. Denici on de sucesi on
Denici on 4.1. Una sucesi on en X ,= es una aplicaci on f : NX. Normalmente,
en vez de utilizar la notaci on funcional, se utiliza la notaci on con subndices f(n) = x
n
,
y se habla de la sucesi on f o x
n
nN
. El punto x
n
se llama t ermino de la sucesi on y
Rg (x
n
nN
) = f(N) es el rango de la sucesi on.
Observaci on 4.1. Destacamos a continuaci on algunas propiedades relativas a sucesiones:
(i) la funci on f deniendo una sucesi on no tiene porque ser inyectiva, y por lo tanto, en
una sucesi on pueden existir t erminos iguales;
(ii) no hay que confundir el rango con la propia sucesi on: si X = R, la sucesi on
x
n
nN
= (1)
n
nN
es la sucesi on oscilante, cuyo rango es nito 1, 1;
(iii) si f es constante, es decir, existe x X tal que f(n) = x para cada n N, se habla
de la sucesi on constante igual a x y en este caso f(N) = x;
(iv) si existe n
0
N tal que para cada n n
0
es x
n
= x, se habla de la sucesi on
semiconstante igual a x (que es constante si n
0
= 1). El rango de una sucesi on se-
miconstante es nito, aunque el recproco no es cierto (por ejemplo, las sucesiones
oscilantes).
75
76 Captulo 4. Convergencia en espacios m etricos
Denici on 4.2. Una subsucesi on y
n
nN
de la sucesi on x
n
nN
es otra sucesi on de-
nida por y
n
= x
(n)
, donde : NN es una funci on estrictamente creciente. Es decir,
se eligen elementos de la sucesi on original, sin alterar el orden.
Lema 4.1. Si : NN es una funci on estrictamente creciente, es (n) n para cada
n N.
Lema 4.2. Toda sucesi on es una subsucesi on de s misma.
Demostraci on: Basta con tomar como : NN la funci on identidad.
Lema 4.3. Una subsucesi on de una subsucesi on de x
n
nN
sigue siendo una subsuce-
si on de x
n
nN
.
Demostraci on: Es una consecuencia de que la composici on de funciones estrictamente
crecientes es una funci on estrictamente creciente.
4.2. Sucesiones convergentes
Denici on 4.3. Sea x
n
nN
una sucesi on en (X, d). Se dice que x X es lmite de
x
n
nN
, si para cada > 0, existe n
es x
n
B(x, ). Se
dice tambi en que x
n
nN
converge a x y se denota por x
n
x.
Lema 4.4. Si x
n
x en (X, d), el rango de x
n
nN
est a acotado.
Demostraci on: Para = 1, existe n
1
1
es d(x
n
, x) < 1. Sea
K = maxd(x, x
1
), . . . , d(x, x
n
1
), 1. Entonces, para cada n N es d(x, x
n
) K, con
lo que Rg (x
n
nN
) B(x, K).
Observaci on 4.2. El recproco no es cierto: en (R, d
u
), la sucesi on oscilante (1)
n
nN
no converge, pero tiene rango acotado.
Lema 4.5. Sea x
n
nN
una sucesi on en (X, d), tal que x
n
B(x,
1
n
). Entonces, x
n
converge a x.
Teorema 4.6. Una sucesi on convergente en (X, d) lo hace de manera unica.
Demostraci on: Supongamos que x
n
nN
converge a dos puntos distintos, x ,= y. Sea
d(x, y) = r > 0. Por la propiedad de Hausdorff, es B(x,
r
2
) B(y,
r
2
) = , lo cual
contradice la convergencia.
4.2. Sucesiones convergentes 77
Observaci on 4.3. Algunos ejemplos de sucesiones convergentes son:
(i) en cualquier espacio m etrico, una sucesi on semiconstante converge hacia la constante
que se repite;
(ii) si (X, d) es un espacio m etrico discreto, las unicas sucesiones que convergen son las
semiconstantes;
(iii) las sucesiones oscilantes no convergen en ning un espacio m etrico: en efecto dada la
sucesi on x
n
nN
, con x
n
= x para n par y x
n
= y ,= x para n impar, si x
n
z,
para =
1
2
d(x, y) debera ser x
n
B(z, ) para n sucientemente grande, es decir,
x, y B(z, ), lo que es imposible.
Teorema 4.7. En (X, d), si x
n
x, cualquier subsucesi on x
(n)
x.
Demostraci on: Basta con utilizar el lema 4.1.
u
), la sucesi on(1)
n
nN
no con-
verge, pero la subsucesi on de los t erminos pares (1)
2n
1.
Observaci on 4.5. Algunas observaciones referentes a la convergencia de sucesiones son:
(i) si en (X, d) el rango de la sucesi on x
n
nN
es nito, existe una subsucesi on cons-
tante x
(n)
nN
, luego convergente;
(ii) aunque x
n
nN
s olo posea subsucesiones convergentes a un unico punto, no se
deduce que sea convergente: en (R, d
u
), la sucesi on 1, 2, 1, 3, . . . , 1, n, . . . s olo
posee subsucesiones convergentes a 1, pero ella no converge;
(iii) si x
n
nN
posee dos subsucesiones convergentes a puntos distintos, entonces ella
no converge.
Lema 4.8. En (X, d), si x
n
x y Rg (x
n
nN
) es innito, es (Rg(x
n
nN
))
t
= x.
Demostraci on: Sea R = Rg (x
n
nN
). Como x
n
x, para cada > 0, existe n
N
tal que para cada n n
es x
n
B(x, ). Como R es innito, es claro que entonces debe
ser (B(x, ) x) R ,= , para cada > 0, es decir, x R
t
. Supongamos que existe
y ,= x, y R
t
. Sea d(x, y) = r y
0
=
r
2
. Por la convergencia de la sucesi on, existe n
0
> 0
0
es x
n
B(x,
0
) y adem as (B(y,
0
) y) R ,= . Pero, por
la propiedad de Hausdorff es B(x,
0
) B(y,
0
) = , por lo que (B(y,
0
) y) R
contiene como mucho los puntos x
1
, . . . , x
n
0
1
, en contra del lema 2.19.
u
), sea la sucesi on n
(1)
n
nN
=
1, 2,
1
3
, 4,
1
5
, 6 . . . ,
1
2n1
, 2n, . . . . Es claro que
_
Rg(n
(1)
n
nN
)
_
t
= 0, pero la suce-
si on no converge.
Teorema 4.9. En (X, d), x A
t
si y s olo si existe una sucesi on x
n
nN
de t erminos
distintos dos a dos en A, tal que x
n
x.
Demostraci on: Sea x A
t
. Sabemos que para cada > 0, (B(x, ) x) A tiene
innitos puntos. As, podemos armar que:
(i) para = 1, existe x
1
(B(x, 1) x) A;
(ii) supongamos dados x
1
, . . . , x
n1
(distintos dos a dos) tales que para i 1, . . . n1
es x
i
(B(x,
1
i
) x) A.
Como (B(x,
1
n
)x)Atiene innitos puntos, se puede elegir x
n
(B(x,
1
n
)x)A
de modo que x
n
,= x
i
para i 1, . . . n1. Queda as construida una sucesi on x
n
nN
en A, de t erminos distintos dos a dos. Adem as, por la propiedad arquimediana, para cada
> 0 existe n
> 0, tal que para n n
es d(x, x
n
) < , con lo que x
n
x. Observar
que la sucesi on construida no es unica. Recprocamente, si los t erminos de la sucesi on
son dos a dos diferentes, el rango de la sucesi on Rg (x
n
nN
) A es innito, con lo
que por el lema 4.8, es (Rg(x
n
nN
)
t
= x A
t
.
Corolario 4.10. En (X, d), es x A si y s olo si existe una sucesi on x
n
nN
en A tal
que x
n
x.
Demostraci on: Como A = A A
t
, basta con notar que si x A, la sucesi on constante
igual a x converge a x, y aplicar en otro caso el teorema 4.9.
Corolario 4.11. En (X, d), es A X es denso si y s olo si todo punto de X es lmite de
una sucesi on de puntos de A.
Corolario 4.12. En (X, d), es x fr(A) si y s olo si existen dos sucesiones x
n
nN
en A
e y
n
nN
en X A, tales que x
n
x e y
n
x.
Corolario 4.13. En (X, d), si A X, se cumple:
(i) A es cerrado si y s olo si dada x
n
nN
en A tal que x
n
x, es x A;
(ii) A es abierto si y s olo si dada x
n
x A, existe n
A
N tal que para n n
A
es
x
n
A.
4.3. Sucesiones de Cauchy 79
Ejemplo 4.1. En (R, d
u
), el conjunto A = (0, 1] no es ni abierto ni cerrado:
(i) A no es cerrado pues existe
1
n
nN
en A tal que
1
n
0 y 0 , A;
(ii) A no es abierto pues existe 1 +
1
n
nN
en R A tal que 1 +
1
n
1 y 1 A.
Teorema 4.14. La aplicaci on f : (X, d)(Y, ) es continua en x si y s olo si para ca-
da sucesi on x
n
nN
en X con x
n
x, la sucesi on de las im agenes verica que
f(x
n
) f(x).
Demostraci on: Si f es continua, para cada > 0, existe = (x, ) > 0 tal que
f (B
X
(x, )) B
Y
(f(x), ). Como x
n
x, para existe n
0
N tal que para
n n
0
es x
n
B
X
(x, ), con lo que f(x
n
) B
Y
(f(x), ), y queda probado que
f(x
n
) f(x). Recprocamente, supongamos que f no es continua en x. Existe > 0
tal que para cada n N existe x ,= x
n
B
X
(x,
1
n
) de modo que f(x
n
) , B
Y
(f(x), ).
Hemos construido de este modo una sucesi on x
n
nN
en X que converge a x (ver lema
4.5), pero tal que f(x
n
)
nN
no converge a f(x).
Observaci on 4.7. La demostraci on del teorema 3.16 se puede ahora hacer de la siguiente
manera: sea x X = D. Por el corolario 4.10 existe x
n
nN
en D tal que x
n
x. Es
f acil probar que f(x
n
)
nN
converge a un punto, que llamaremos F(x) X. El teorema
4.14 garantiza que la extensi on as denida F : (X, d)(Y, ) es continua.
4.3. Sucesiones de Cauchy
Denici on 4.4. En (X, d), una sucesi on x
n
nN
se llama de Cauchy si para cada > 0,
existe n
N tal que para cada m, n n
es d(x
n
, x
m
) < , es decir, los t erminos de la
sucesi on se acercan entre s a medida que los ndices crecen.
Si los t erminos de una sucesi on se aproximan a un punto, entonces, se acercan entre s:
n
x, entonces es de Cauchy.
Observaci on 4.8. El recproco no es cierto: en ((0, 1], d
u
), la sucesi on
1
n
nN
es de
Cauchy, pero no converge.
n
nN
es una sucesi on de Cauchy y posee una subsucesi on
convergente x
(n)
x, entonces x
n
x.
Demostraci on: Como x
(n)
x, para cada > 0, existe n
0
N tal que para cada
n n
0
es d(x
(n)
, x) <

2
. Y la condici on de Cauchy dice que > 0, existe n
1
N tal
que para cada m, n n
1
es d(x
m
, x
n
) <

2
. Tomando n
= m axn
0
, n
1
, para n n
es
d(x, x
n
) d(x, x
(n)
) + d(x
(n)
, x
n
) < .
Corolario 4.17. En (X, d), si x
n
nN
es una sucesi on de Cauchy de rango nito, con-
verge.
Corolario 4.18. En (X, d), si x
n
nN
es una sucesi on de Cauchy y (Rg(x
n
nN
))
t
,= ,
entonces x
n
nN
converge.
Demostraci on: Si x (Rg(x
n
nN
)
t
, por el corolario 4.10, existe una sucesi on y
n
nN
en (Rg(x
n
nN
))
t
tal que y
n
x, que se puede elegir como una subsucesi on de
x
n
nN
, ya que cualquier reordenaci on de una sucesi on convergente, sigue siendo con-
vergente. Por el teorema 4.16, es x
n
x.
Teorema 4.19. El rango de una sucesi on de Cauchy en (X, d) es un conjunto acotado.
Demostraci on: Para = 1 existe n
1
1
es x
n
B(x
n
1
, ). Sea
K = m ax1, d(x
1
, x
n
1
), . . . d(x
n
1
1
, x
n
1
). Entonces, Rg(x
n
nN
) B(x
n
1
, K).
Observaci on 4.9. El recproco no es cierto, como lo prueban las sucesiones oscilantes.
Teorema 4.20. Si f : (X, d)(Y, ) es uniformemente continua y x
n
nN
es de Cau-
chy, entonces f(x
n
)
nN
es de Cauchy.
Demostraci on: La continuidad uniforme garantiza que para > 0 existe > 0 tal que si
d(x, y) < es (f(x), f(y)) < . Y la condici on de Cauchy arma que para > 0 existe
n
N tal que para n, m n
es d(x
m
, x
n
) < . As, es (f(x
m
), f(x
n
)) < .
Observaci on 4.10. Esta propiedad no es cierta para funciones continuas: en efecto, sea
f : ((0, 1], d
u
)(R, d
u
) dada por f(x) =
1
x
, que es continua, pero no uniformemente
continua. La sucesi on
1
n
nN
es de Cauchy en ((0, 1], d
u
), pero la sucesi on de sus im a-
genes f(
1
n
) = n
nN
no es de Cauchy en (R, d
u
).
4.4. Espacios m etricos completos
Denici on 4.5. Un espacio m etrico (X, d) se llama completo, si toda sucesi on de Cau-
chy es convergente. As, en este tipo de espacios, se puede averiguar si una sucesi on es
convergente sin necesidad de calcular su lmite.
Teorema 4.21. Si (X, d) es completo y A X es cerrado, entonces (A, d
A
) es completo.
Demostraci on: Sea x
n
nN
una sucesi on de Cauchy en (A, d
A
). Como (X, d) es com-
pleto, x
n
x en (X, d). Pero, x A = A.
4.4. Espacios m etricos completos 81
Teorema 4.22. Si A X y (A, d
A
) es completo, entonces A es cerrado en (X, d).
Demostraci on: Sea x A; existe x
n
nN
en A tal que x
n
x. Luego, x
n
nN
es de Cauchy en (A, d
A
), por serlo en (X, d). Por completitud y unicidad de lmite, es
necesariamente x A.
Corolario 4.23. Si (X, d) es completo, (A, d
A
) es completo si y s olo si A es cerrado.
Denici on 4.6. (X, d) posee la propiedad de Cantor, si dada cualquier familia numerable
de conjuntos F
n
nN
cerrados, no vacos y encajados (F
n+1
F
n
, para n N), tales
que nf(F
n
) : n N = 0, es
nN
F
n
,= .
Teorema 4.24. (Teorema de Cantor) (X, d) es completo si y s olo si posee la propiedad
de Cantor. Adem as, estas intersecciones numerables de familias de cerrados encajados
se reducen a un punto.
Demostraci on: Sea (X, d) completo y F
n
nN
una familia numerable de cerrados enca-
jados, no vacos y tales que nf(F
n
) : n N = 0. Para cada n N sea x
n
F
n
.
Por la elecci on de los di ametros, para cada > 0 existe n
N tal que (F
n
) < .
Luego, para cada m, n n
, al ser x
m
, x
n
F
n
, es tambi en d(x
n
, x
m
) < . As, he-
mos construido una sucesi on x
n
nN
de Cauchy. Por la completitud, existe x X tal
que x
n
x. La subsucesi on x
k
, x
k+1
, . . . en F
k
converge tambi en a x; as para
cada k N es x F
k
= F
k
y x
nN
F
n
. Recprocamente, sea x
n
nN
de Cauchy
y R
k
= Rgx
k
, x
k+1
, . . . . Es R
k+1
R
k
para cada k N y como x
k
, x
k+1
, . . .
es de Cauchy, R
k
est a acotado e nf(R
n
) : n N = 0. Si F
n
= R
n
, la familia
F
n
nN
es una familia contable de cerrados no vacos, encajada y como (R
n
) = (R
n
)
es nf(F
n
) : n N = 0. Por la propiedad de Cantor, ser a
nN
F
n
,= y adem as la
intersecci on se reduce a un punto, ya que si x, y
nN
F
n
, d(x, y) (F
n
) para cada
n N, con lo que d(x, y) = 0. Sea entonces
nN
F
n
= x. Como para cada n N es
x F
n
= R
n
y x
n
R
n
, es d(x
n
, x) (R
n
). As, como los di ametros tienden a cero,
para cada > 0 existe n
, es d(x
n
, x) < .
Observaci on 4.11. Los conjuntos de la denici on 4.6 deben ser cerrados y con la propie-
dad de que sus di ametros tiendan a cero. En efecto, en (R, d
u
):
(i) si F
n
= (0,
1
n
), F
n
nN
es una familia de conjuntos no cerrados, encajados y cuyos
di ametros tienden a cero, pero
nN
F
n
= ;
(ii) si F
n
= [n, ), F
n
nN
es una familia de cerrados encajados, pero sus di ametros
no tienden a 0 y
nN
F
n
= .
4.5. Teorema de Baire
Denici on 4.7. Sea el espacio m etrico (X, d). Una aplicaci on f : (X, d)(X, d) se
llama contractiva si existe un n umero real k (0, 1) tal que d(f(x), f(y)) < kd(x, y).
Proposici on 4.25. Cualquier aplicaci on contractiva f : (X, d)(X, d) es uniforme-
mente continua.
Teorema 4.26. (Teorema del punto jo) Si (X, d) es un espacio m etrico completo y
f : (X, d)(X, d) es una aplicaci on contractiva, existe un unico punto x X tal que
f(x) = x.
Demostraci on: Para cada x X, al ser f contractiva, es
d(f
n
(x), f
n1
(x)) < kd(f
n1
(x), f
n2
(x)) < < k
n1
d(f(x), x),
donde f
n
(x) denota el punto obtenido al aplicar f n veces a x. Como k (0, 1), se deduce
que la sucesi on x
n
= f
n
(x)
nN
es de Cauchy, y por lo tanto, converge a x
0
X.
Como f es continua, f(x
n
) = f
n+1
(x) f(x
0
); pero f(x
n
) = f
n+1
(x)
nN
es una
subsucesi on de x
n
nN
, con lo que forzosamente es x
0
= f(x
0
). Si existiera otro punto
y
0
X jo para f, sera d(x
0
, y
0
) = d(f(x
0
), f(y
0
)) < kd(x
0
, y
0
) < d(x
0
, y
0
), lo cual es
imposible.
Los siguientes conjuntos son topol ogicamente peque nos, al poseer trivialmente inte-
rior vaco:
Denici on 4.8. Sea el espacio m etrico (X, d). Un conjunto A se dice nada denso, si
X A es denso.
Denici on 4.9. Sea el espacio m etrico (X, d). Un conjunto A X se dice de primera ca-
tegora o magro, si se puede escribir como una uni on contable de conjuntos nada densos.
Y se dice de segunda categora si no es de primera.
El siguiente teorema es de particular importancia, sobre todo en la construcci on de
demostraciones de existencia en An alisis:
4.5. Teorema de Baire 83
Teorema 4.27. (Teorema de Baire) Si (X, d) es un espacio m etrico completo, cualquier
conjunto de primera categora tiene interior vaco.
Demostraci on: Sea A X de primera categora y F
n
nN
la familia de conjuntos nada
densos tal que A =
_
nN
F
n
. Supongamos que

A es no vaco. Sea x
1

A F
1
(que existe
por ser F
1
nada denso y

A un abierto no vaco); como

A F
1
es abierto, existe
1
> 0
tal que B(x
1
,
1
)
A F
1

A F
1
. Supongamos que para k = 1, . . . , n 1 se han
obtenido bolas tales que B(x
k
,
k
)
A F
k
, donde x
k

A F
k
y
k
<
1
2
k1
. Sea ahora
x
n
B(x
n1
,
n1
)
A F
n
(que existe por ser F
n
nada denso y B(x
n1
,
n1
)
A
un abierto no vaco); como B(x
n1
,
n1
)
A F
n
es abierto, existe
n
<
1
2
n1
tal
que B(x
n
,
n
)
A F
n

A F
n
. La familia B(x
n
,
n
)
nN
es una familia contable
de cerrados encajados cuyos di ametros tienden a cero, y por la completitud de (X, d),
la intersecci on se reduce a un unico punto x
0
=
nN
B(x
n
,
n
)
A. Por construcci on,

x
0
, F
n
, para cada n N, es decir, x
0
, A, lo cual es absurdo, pues x
0

A.
Observaci on 4.12. Dos de los teoremas m as importantes del An alisis Funcional son con-
secuencias directas del teorema de Baire: el teorema de la aplicaci on abierta y el principio
de la acotaci on uniforme.
Corolario 4.28. Si (X, d) es un espacio m etrico completo, es de segunda categora.
Corolario 4.29. Si (X, d) es un espacio m etrico completo, cualquier conjunto abierto y
no vaco es de segunda categora.
Corolario 4.30. Si (X, d) es un espacio m etrico completo, la intersecci on de cualquier
familia numerable de conjuntos abiertos y densos es un conjunto denso.
Demostraci on: Sea A
n
nN
la familia de abiertos densos. Entonces, B
n
= XA
n
nN
es una familia de cerrados nada densos, por lo que su uni on B =
_
nN
B
n
es de primera
categora. Aplicando el teorema de Baire 4.27,

B= , pero B = X
nN
A
n
, es decir,
nN
A
n
es denso en X.
Denici on 4.10. Los espacios que verican la propiedad enunciada en el corolario 4.30
se llaman espacios de Baire. Es decir, hemos probado que todo espacio m etrico completo
es de Baire.
4.6. Ejercicios
1.- Sea (X, d) un espacio m etrico y x
n
nN
, y
n
nN
dos sucesiones en X. Se supone
que n N : x
n
,= y
n
es un conjunto nito. Probar que ambas sucesiones poseen el
mismo lmite o que ambas no convergen.
n
nN
una sucesi on de t erminos distintos dos a dos.
Sea A el rango de la sucesi on y f : AA una aplicaci on biyectiva. Si lm(x
n
) = x,
probar que lm(f(x
n
)) = x.
n
nN
, y
n
nN
sucesiones en X. Probar:
(i) lm(x
n
) = x si y s olo si lm(d(x
n
, x)) = 0 en (R, d
u
),
(ii) si lm(x
n
) = x, entonces lm(d(x
n
, y)) = d(x, y) en (R, d
u
),
(iii) si lm(x
n
) = x y lm(y
n
) = y, entonces lm(d(x
n
, y
n
)) = d(x, y) en (R, d
u
),
(iv) si lm(x
n
) = x, entonces lm(y
n
) = x si y s olo si lm(d(x
n
, y
n
)) = 0 en (R, d
u
),
(v) si x
n
nN
es de Cauchy y lm(d(x
n
, y
n
)) = 0 en (R, d
u
), entonces y
n
nN
es de
Cauchy.
4.- Sea (R, d
u
) y x
n
nN
, y
n
nN
, z
n
nN
sucesiones en R. Se pide probar:
(i) si lm(x
n
) = x e y < x, entonces existe n
0
0
, es y < x
n
,
(ii) si lm(x
n
) = x ,= 0, entonces existe n
0
0
, x
n
tiene el
mismo signo que x,
(iii) si lm(x
n
) = x, lm(y
n
) = y y x < y, entonces existe n
0
N tal que para cada
n n
0
, es x
n
< y
n
,
(iv) si lm(x
n
) = x, lim(y
n
) = y y x
n
< y
n
para cada n N, entonces x y. Dar un
ejemplo en el que x = y,
(v) si para cada n N, x
n
y
n
z
n
, lm(x
n
) = x y lm(z
n
) = x, probar que
lm(y
n
) = x.
5.- Sea (R, d
u
) y x
n
nN
una sucesi on creciente y acotada superiormente. Probar que
lm(x
n
) = sup
nN
x
n
. Enunciar el resultado an alogo para una sucesi on decreciente de
n umeros reales.
6.- Sean x
n
nN
e y
n
nN
sucesiones convergentes en (R, d
u
). Estudiar la convergencia
de las sucesiones x
n
y
n
nN
, x
n
.y
n
nN
, [x
n
[
nN
,
x
n
y
n
nN
(y
n
,= 0, para cada
n N).
4.6. Ejercicios 85
7.- En (R, d
u
), se dice que x
n
nN
diverge, si para cada K > 0, existe n
K
N tal que
si n n
K
, es [x
n
[ > K. Se pide probar:
(i) si x
n
nN
diverge, no converge,
(ii) dar un ejemplo de sucesi on real ni convergente ni divergente,
(iii) si x
n
nN
es una sucesi on creciente no acotada superiormente, entonces diverge,
(iv) si A R es no acotado, existe x
n
nN
en A divergente,
(v) si x
n
nN
es una sucesi on de rango no acotado, existe una subsucesi on divergente,
(vi) toda subsucesi on de una sucesi on divergente, diverge.
8.- Sea x
n
nN
una sucesi on en un espacio m etrico (X, d). Probar que si x
2n
nN
,
x
2n+1
nN
y x
3n
nN
son convergentes, x
n
nN
tambi en lo es. Bastara con que
x
2n
nN
y x
2n+1
nN
fueran convergentes?, y x
2n
nN
y x
3n
nN
? Encontrar una
sucesi on x
n
nN
en la recta real, no convergente, tal que x
kn
nN
converja para k 2.
9.- Probar que son equivalentes en (X, d) los siguientes enunciados:
(i) todo subconjunto de X es completo,
(ii) X es completo y discreto,
(iii) toda sucesi on de Cauchy en X es semiconstante.
10.- Si d es la m etrica discreta sobre X, probar (X, d) es un espacio m etrico completo.
11.- Sea (N, d), donde d(m, n) = [
1
n

1
m
[. Probar que la sucesi on x
n
= n
nN
es de
Cauchy, pero no converge: este es un ejemplo de espacio m etrico discreto no completo.
Sin embargo, el espacio X = N + con la misma m etrica (donde
1
+
= 0), es
completo.
12.- Sea (X, d) y d
(x, y) = mn1, d(x, y). Se pide probar:

(i) x
n
nN
es de Cauchy en (X, d) si y s olo si lo es en (X, d
);
(ii) si (X, d) es completo, entonces (X, d
) tambi en lo es.
13.- Sea X el conjunto de las sucesiones reales acotadas y la distancia d(x
n
, y
n
) =
sup
nN
[x
n
y
n
[. Estudiar la completitud del espacio m etrico (X, d).
14.- Sea X = C([0, 1], R). Estudiar la completitud de los espacios m etricos (X, d) y
(X, ), donde d(f, g) = sup
0x1
[f(x) g(x)[ y (f, g) =
_
1
0
[f(x) g(x)[.
15.- Sean (X, d) e (Y, ) espacios m etricos. Se pide probar:
(i) Si (X, d) e (Y, ) son isom etricos, X es completo si y s olo si Y lo es,
(ii) si (X, d) e (Y, ) son homeomorfos, no hay relaci on entre la completitud de ambos
espacios,
(iii) si (X, d) e (Y, ) son m etricamente equivalentes, X es completo si y s olo si Y lo es,
(iv) si (X, d) e (Y, ) son topol ogicamente equivalentes, no hay relaci on entre la com-
pletitud de ambos espacios.
16.- Sea (X, d) un espacio m etrico y D un conjunto denso en X, tal que toda sucesi on de
Cauchy en D converge en X. Probar que X es completo.
17.- Dados los espacios m etricos (X
1
, d
1
), , (X
n
, d
n
), consideremos el espacio m etrico
(X, D), donde X = X
1
X
n
y D es la m etrica producto. Se pide probar:
(i) una sucesi on converge en (X, D) si y s olo si las sucesiones coordenadas convergen
en los espacios factores respectivos;
(ii) una sucesi on es de Cauchy en (X, D) si y s olo si las sucesiones coordenadas lo son
en los espacios factores respectivos;
(iii) (X, D) es completo si y s olo si cada uno de los espacios factores lo es.
18.- En (X, d) se pide probar:
(i) cualquier subsucesi on de una sucesi on de Cauchy, es de Cauchy,
(ii) una sucesi on de Cauchy de rango nito es semiconstante, y por lo tanto convergente.
Concluir que si X es nito, entonces el espacio m etrico (X, d) es completo.
19.- Probar que el espacio eucldeo (R
n
, d
u
) es completo. Decidir cuales de los siguientes
subespacios eucldeos lo son: N, Z, Q, I, R
+
, R
+
, R
n
, Q
n
.
(i) si todo conjunto cerrado y acotado es completo, probar que (X, d) es completo;
(ii) si todo conjunto innito y acotado posee puntos de acumulaci on, probar que (X, d)
es completo.
21.- Sea f : (X, d)(Y, ) continua y (X, d) completo. Probar que si x
n
nN
es de
Cauchy en (X, d), entonces f(x
n
)
nN
es de Cauchy en (Y, ). Dar un contraejemplo en
el caso en el que (X, d) no sea completo.
4.6. Ejercicios 87
22.- Sea x
n
nN
una sucesi on en un espacio m etrico (X, d). Para cada n N, sea
A
n
= x
m
: m n. Se pide probar:
(i) si x
n
x, entonces x
nN
A
n
;
(ii) x
n
nN
es de Cauchy si y s olo si nf
nN
(A
n
) = 0.
23.- Sea (X, d) un espacio m etrico no completo. El objetivo de este ejercicio es el de
construir un espacio m etrico completo, asociado de manera can onica a (X, d) y cercano
a el, en el sentido que se ver a m as adelante. Sea ( el conjunto de todas las sucesiones de
Cauchy en (X, d); se pide probar:
(i) la relaci on binaria sobre ( dada por x
n
Ry
n
si y s olo si d(x
n
, y
n
) 0 en (R, d
u
)
(utilizar el ejercicio 3), es una relaci on de equivalencia sobre (. Llamamos x a la
clase de x
n
y

X al espacio cociente;
(ii) ( x, y) = lm(d(x
n
, y
n
)) dene una distancia en

X;
(iii) la aplicaci on f : (X, d)(

X, ) que lleva cada x X en la clase de la sucesi on
constante igual a x, es una isometra de X en una parte densa de

X;
(iv) (

X, ) es completo.
Se dice que (

X, ) es la completaci on m etrica de (X, d), que puede pensarse como un
subespacio denso en

X (al ser isom etrico a un subespacio denso de (

X, )).
24.- En (X, d), probar que la uni on nita (respectivamente, la intersecci on arbitraria) de
subconjuntos completos es completo.
25.- Para los espacios m etricos del ejercicio 12 del apartado 2.8, caracterizar las sucesio-
nes convergentes y las de Cauchy y estudiar su completitud.
26.- Sea (X, d) un espacio m etrico acotado y ((X), ) como en el ejercicio 50 del
apartado 2.8. Probar que (X, d) es completo si y s olo si ((X), ) lo es.
(i) A es magro si y s olo si A
_
nN
F
n
, donde F
n
es cerrado de interior vaco;
(ii) un subconjunto de un conjunto magro, es magro;
(iii) la uni on contable de magros es un conjunto magro;
(iv) un conjunto numerable es magro si y s olo si ninguno de sus puntos es aislado;
(v) las rectas son conjuntos magros en el plano eucldeo.
(i) si (X, d) es completo y X =
_
nN
F
n
, donde F
n
es un conjunto cerrado, existe n N,
tal que

F
n
,= ;
(ii) si (X, d) es completo y X =
_
nN
F
n
, donde F
n
es cerrado, entonces A =
_
nN
F
n
es
un abierto denso;
(iii) si (X, d) es completo y numerable, el conjunto de los puntos aislados de X es un
abierto denso;
(x) si (X, d) es completo y no posee puntos aislados, entonces X es no numerable.
29.- Deducir las siguientes a aplicaciones del teorema de Baire en (R, d
u
):
(i) todo cerrado numerable en N contiene una innidad de puntos aislados, luego R es
no numerable y no magro;
(ii) Q y el conjunto de Cantor son magros en la recta real, I es de segunda categora;
(iii) el conjunto de Cantor no posee ning un punto aislado, luego no es contable;
(iv) no existe ninguna funci on f : (R, d
u
)(R, d
u
) cuyos puntos de continuidad sean
exactamente los de Q. Sin embargo, si existen tales funciones cuyos puntos de
continuidad sean exactamente los de I, por ejemplo, la funci on:
f(x) =
_
1
n
si n es el menor entero tal que x =
m
n
0 si x es irracional
30.- En este ejercicio se prueba que existe una funci on continua f : ([0, 1], d
u
)(R, d
u
)
que no posee derivada en ning un punto.
Es la tpica demostraci on de teorema de existencia utilizando el teorema de Baire 4.27:
se demuestra que alg un elemento del espacio debe tener una determinada propiedad, pro-
bando que el espacio es de segunda categora y que el conjunto de los elementos que no
poseen dicha propiedad forma un espacio de primera categora.
En el ejercicio 14 del apartado 4.6 se ha demostrado que (C([0, 1], R), d) (donde d(f, g) =
sup
0x1
[f(x) g(x)[) es un espacio m etrico completo (luego de segunda categora seg un
el corolario 4.29). Sea c el conjunto de las funciones en (C([0, 1], R), d) que poseen
4.6. Ejercicios 89
derivada en alg un punto. Se trata de probar que este conjunto es de primera categora (ver
[W], p agina 186): para n N, sea
c
n
=
_
f C([0, 1], R) : x [0, 1 1/n], h (0, 1/n], es
f(x +h) f(x)

h
n
_
.
Se pide probar:
(i) c
n=1
c
n
,
(ii) el interior de c
n
es vaco,
(iii) c
n
es cerrado.
Conexi on en espacios m etricos
La luna vino a la fragua
con su polis on de nardos.
El ni no la mira mira.
El ni no la est a mirando.
Romance de la luna
Federico Garca Lorca (1898-1936)
5.1. Espacios y conjuntos conexos
Proposici on 5.1. En (X, d) son equivalentes las siguientes condiciones:
(i) existen abiertos U, V X no vacos, disjuntos tales que U V = X;
(ii) existen cerrados F, G X no vacos, disjuntos tales que F G = X;
(iii) existe A X propio (es decir, , = A ,= X) abierto y cerrado a la vez;
(iv) existe A X propio con fr(A) = ;
(v) existe una aplicaci on f : (X, d)(0, 1, d
u
) continua y sobreyectiva.
Demostraci on: (i) (ii) Basta con tomar F = U = X V y G = V = X U.
(ii) (iii) Basta con tomar A = F = X G.
(iii) (iv) El conjunto A tiene frontera vaca por ser abierto y cerrado a la vez.
(iv) (v) La aplicaci on
A
: (X, d)(0, 1, d
u
) es continua (al ser fr(A) = ) y
sobreyectiva (al ser A propio).
(v) (i) Basta con tomar U = f
1
(0) y V = f
1
(1).
Denici on 5.1. Si (X, d) verica cualquiera de las condiciones equivalentes de la propo-
sici on 5.1, se dice que es un espacio m etrico disconexo. A los conjuntos de (i) o (ii) se les
llama una disconexi on de (X, d).
91
92 Captulo 5. Conexi on en espacios m etricos
Denici on 5.2. (X, d) es conexo si no es disconexo, es decir, intuitivamente est a formado
de una unica pieza. A X se llama conexo si el espacio m etrico (A, d
A
) lo es.
Lema 5.2. En (X, d), A X es disconexo si y s olo si existen abiertos U y V en (X, d),
tales que U A ,= , = V A, U V A = y A U V .
Lema 5.3. En (X, d), A X es disconexo si y s olo si existen cerrados F y G en (X, d),
tales que F A ,= , = G A, F G A = y A F G.
La conexi on es una propiedad absoluta, en el siguiente sentido:
Lema 5.4. Sean (X, d) y B A X. B es conexo en (A, d
A
) si y s olo si es conexo en
(X, d).
Ejemplos 5.1. Algunos ejemplos de espacios m etricos conexos son:
(i) en cualquier espacio m etrico (X, d), los atomos (conjuntos formados por un unico
punto) son conexos;
(ii) si (X, d) es un espacio m etrico discreto, A X es conexo si y s olo si se reduce a un
punto;
(iii) en (R, d
u
), son disconexos (0, 1] [2, 5) y R 0.
Teorema 5.5. Sean (X, d) y A X conexo. Si B X es tal que A B A, entonces
B es conexo. En particular, la clausura de todo conjunto conexo es conexa.
Demostraci on: Supongamos que B no es conexo. Por el lema 5.2, existen abiertos U y V
en (X, d), tales que U B ,= , = V B, U V B = y B U V . Como A B
es conexo, deber a ser U A = o V A = . Supongamos que U A = , entonces
U A = al ser U abierto. Como B A, ser a U B = , lo que es absurdo.
Observaci on 5.1. El recproco no es cierto: se ver a en el teorema 5.14 que Qno es conexo
en (R, d
u
), pero Q = R si lo es.
Observaci on 5.2. No existe un resultado an alogo al teorema 5.5 para el interior, el deri-
vado o la frontera.
Observaci on 5.3. La conexi on no se comporta bien respecto a las operaciones de con-
juntos:
(i) en (R, d
u
), los conjuntos A = 0 y B = 1 son conexos, pero su uni on A B =
0, 1 no lo es;
5.2. Componentes conexas 93
(ii) en (R, d
u
), A = (0, 1) es conexo (teorema 5.14), pero su complementario R A no
lo es;
(iii) en (R
2
, d
u
), A = (x, y) S
1
: x 0 y B = (x, y) S
1
: x 0 son conjuntos
conexos (son ambos homeomorfos a un intervalo cerrado, y basta con utilizar el
teorema 5.14 y el corolario 5.17), pero su intersecci on A B = (0, 1), (0, 1)
no lo es.
Pero, existen resultados parciales:
Teorema 5.6. En (X, d), se verica:
(i) si C
i
: i I es una familia de conexos y existe i
0
I tal que C
i
C
i
0
,= para
cada i I, entonces
_
iI
C
i
es conexo;
(ii) si C
i
: i I es una familia de conexos tales que
iI
C
i
,= , entonces
_
iI
C
i
es
conexo.
Demostraci on: (ii) se deduce trivialmente de (i). Supongamos que C =
_
iI
C
i
no es cone-
xo, es decir, existen abiertos U y V en (X, d), tales que UC ,= , = V C, UV C =
y C U V . Para cada i I, es U V C
i
= y C
i
U V , y por la conexi on
de C
i
, debe ser U C
i
= o V C
i
= . Supongamos que U C
i
0
= , con lo que
C
i
0
V . Sean I
U
= i I : U C
i
= y I
V
= i I : V C
i
= . Si i I
V
, es
C
i
C
i
0
C
i
V = , contra la hip otesis, as que I
V
= . Entonces, para cada i I es
U C
i
= , con lo que U C = , en contra de la hip otesis.
5.2. Componentes conexas
En todo espacio m etrico existen conjuntos conexos, al menos los atomos (conjuntos
formados por un unico punto). Se trata ahora de determinar los conexos maximales en
(X, d). El tama no y n umero de estos conexos dar a una idea de cuanto se aleja X de ser
conexo.
Denici on 5.3. Sean (X, d), x X y T(x) = C X : C es conexo y x X.
Claramente, T(x) es no vaco, ya que al menos x T(x). Como
CT(x)
C ,= , el
teorema 5.6 garantiza que C(x) =
_
CT(x)
C es un conjunto conexo, llamado componente
conexa del punto x.
Lema 5.7. C(x) es el mayor conexo que contiene al punto x.
Lema 5.8. En (X, d), el conjunto de las componentes conexas forma una partici on del
espacio.
Demostraci on: Es claro que X =
_
xX
C(x), al ser x C(x). Si C(x) C(y) ,= , el
conjunto C(x) C(y) es conexo y x C(x) C(y). Como C(x) es el mayor conexo
que contiene a x, debe ser C(x) C(y) C(x), luego C(y) C(x). Aplicando un
argumento similar para y, se deduce que C(y) = C(x).
Esta partici on determina una relaci on de equivalencia en X: x y si y s olo si x e y
pertenecen a la misma componente conexa, es decir, si y s olo si C(x) = C(y). Las clases
de equivalencia respecto a esta relaci on son justamente las componentes conexas.
Lema 5.9. (X, d) es conexo si y s olo si existe una unica componente conexa.
Teorema 5.10. Las componentes conexas en (X, d) son conjuntos cerrados.
Demostraci on: Sea C una componente conexa. Por el teorema 5.5, C es tambi en conexo,
y la propiedad de maximalidad implica que C = C.
5.3. Espacios totalmente disconexos
Denici on 5.4. El espacio m etrico (X, d) se llama totalmente disconexo, si para cada
x X es C(x) = x.
Ejemplos 5.2. Algunos ejemplos de espacios totalmente disconexos son:
(i) en (R, d
u
), Q y N son totalmente disconexos;
(ii) si (X, d) es discreto y con m as de un punto, es totalmente disconexo.
Lema 5.11. (X, d) es totalmente disconexo si y s olo si las componentes conexas se redu-
cen a puntos.
5.4. Conexi on en la recta real
Denici on 5.5. Un intervalo I en R es un conjunto convexo, es decir, si a, b I, para
cada c R tal que a c b, es c I.
5.5. Conexi on y continuidad 95
Observaci on 5.4. As, I R no es un intervalo si existen a, b I y a < c < b, tal que
c , I.
Observaci on 5.5. Por lo tanto, son intervalos para a, b R, (a, b), (a, b], [a, b), [a, b],
[a, a] = a, (a, ), [a, ), (, b), (, b] y R.
Proposici on 5.12. Si A es conexo en (R, d
u
), es un intervalo.
Demostraci on: Supongamos que A tiene m as de un punto (si se reduce a un punto, la
propiedad queda probada). Sean a, b A, a < b y supongamos que existe a < c < b,
tal que c , A. Entonces, U = (, c) y V = (c, ) son abiertos en (R, d
u
), tales que
A U ,= , = A V , A U V = y A U V = Rc, en contra de la conexi on
de A.
Proposici on 5.13. El intervalo [a, b] es conexo en (R, d
u
), para a < b.
Demostraci on: Si [a, b] no fuera conexo, por el lema 5.3, existiran F y G cerrados en
(R, d
u
), tales que F[a, b] ,= , = G[a, b], FG[a, b] = y [a, b] FG). Como [a, b]
es cerrado en (R, d
u
), F[a, b] y G[a, b] son tambi en cerrados en (R, d
u
). Como F[a, b]
est a acotado superiormente por b, existe c = supF [a, b] F [a, b] = F [a, b].
Adem as, F [a, b] es abierto en ([a, b], d
u
) (ya que F [a, b] = (R G) [a, b]), luego
existe > 0 tal que (c , c + ) [a, b] F [a, b]. Supongamos que c ,= b, entonces
existe d [a, b], tal que c < d < c + , y en tal caso d F [a, b], contra la denici on
de supremo. As, b = c, y por lo tanto b F [a, b]. Un argumento similar prueba que
b G [a, b], con lo que se llega a una contradicci on.
Teorema 5.14. A es conexo en (R, d
u
) si y s olo si es un intervalo.
Demostraci on: Sea A un intervalo en R y a A. Para cada x A, sea I
x
= [x, a] si
x a e I
x
= [a, x] si a x. La familia I
x
: x A es una familia de conexos en
(R, d
u
) seg un la proposici on 5.13. Adem as, a
xA
I
x
, con lo que por el teorema 5.6,
A =
_
xA
I
x
es conexo.
En particular, (R, d
u
) es conexo.
5.5. Conexi on y continuidad
Teorema 5.15. Sea f : (X, d)(Y, ) continua y sobreyectiva. Si (X, d) es conexo,
(Y, ) tambi en lo es.
Demostraci on: Si (Y, ) no fuera conexo, existira A Y propio abierto y cerrado a la
vez. Entonces, f
1
(A) sera propio, abierto y cerrado en (X, d), contra la hip otesis.
Corolario 5.16. Sea f : (X, d)(Y, ) continua. Si A es conexo en (X, d), entonces
f(A) es conexo en (Y, ).
Corolario 5.17. Sea f : (X, d)(Y, ) un homeomorsmo. (X, d) es conexo si y s olo
si (Y, ) lo es.
Teorema 5.18. (Teorema del valor intermedio) Sean f : (R, d
u
)(R, d
u
) continua y
a, b R, a < b y f(a) ,= f(b). Entonces, f toma cualquier valor entre f(a) y f(b).
Demostraci on: Supongamos que f(a) < f(b). Como f([a, b]) es conexo, deber a ser un
intervalo, y en particular, [f(a), f(b)] f([a, b]).
5.6. Conexi on por caminos
La conexi on es una propiedad difcil de manejar, al tratarse de una propiedad en sen-
tido negativo: un espacio es conexo si no existe una separaci on no trivial por abiertos
disjuntos. La conexi on por caminos posee la ventaja de ser una propiedad algebraica y en
sentido positivo.
Denici on 5.6. Dado un espacio m etrico (X, d), un camino en X es una aplicaci on con-
tinua : ([0, 1], d
u
)(X, d). Si (0) = a y (1) = b, se dice que es un camino de a
a b.
Denici on 5.7. (X, d) es conexo por caminos, si para todo par de puntos a, b X existe
un camino que los une.
Proposici on 5.19. Si (X, d) es conexo por caminos, es conexo.
Demostraci on: Si no fuera conexo, existiran abiertos U, V X no vacos, disjuntos tales
que U V = X. Si elegimos a U y b V , existe : ([0, 1], d
u
)(X, d) un camino
que los une. Como es continua,
1
(U) y
1
(V ) son abiertos en ([0, 1], d
u
), no vacos
(0
1
(U) y 1
1
(V )), disjuntos y cuya uni on es [0, 1], en contra de la conexi on del
intervalo.
5.6. Conexi on por caminos 97
El recproco no es cierto:
Ejemplo 5.1. La curva seno topol ogico es el sub-
espacio del plano eucldeo
A = ((, 0] 0)
__
x, sin
_
1
x
__
: x > 0
_
.
A es conexo, pero no es conexo por caminos.
Denici on 5.8. (X, d) es localmente conexo por caminos, si para cada x X existe
> 0 tal que la bola B(x, ) es conexa por caminos.
A pesar del ejemplo 5.1, existe un recproco parcial de la proposici on 5.19
Proposici on 5.20. Si (X, d) es conexo y localmente conexo por caminos, entonces es
conexo por caminos.
Demostraci on: Sea a X y A = x X : existe un camino que une x con a. A es no
vaco, pues a A (el camino constante igual a a une a consigo mismo).
(i) A es abierto: si x A, sea B(x, ) la bola conexa por caminos que existe. Para cada
z B(x, ), sea
z
un camino en B(x, ) que une z con x y un camino en X que
une x con a. Entonces, el camino
z
: ([0, 1], d
u
)(X, d) denido por

z
(t) =
_

z
(2t) si t 1/2
(2t 1) si t 1/2
une z con a, por lo que z A y B(x, ) A.
(ii) A es cerrado: si x A y B(x, ) es la bola conexa por caminos que existe, es
A B(x, ) ,= . Sean z A B(x, ),
z
un camino en B(x, ) que une x con z
y un camino en X que une z con a. Entonces, el camino
z
(denido arriba)
une z con a, por lo que x A.
Como Aes no vaco, abierto y cerrado en (X, d) conexo, es necesariamente X = A.
Observaci on 5.6. En el ejemplo 5.1, la curva seno topol ogico no es localmente conexa
por caminos, por ello no es conexa por caminos a pesar de ser conexa.
Ejemplos 5.3. Algunos ejemplos de espacios conexos por caminos son:
(i) los espacios discretos no son conexos por caminos;
(ii) en (R, d
u
), los conjuntos conexos y los conexos por caminos coinciden;
(iii) en (R
n
, d
u
) para A R
n
, se verica
si A es conexo y abierto, es conexo por caminos;
si A es convexo, es conexo por caminos;
si A es contable y n > 1, R
n
A es conexo por caminos.
Teorema 5.21. La imagen continua de un espacio conexo por caminos, es conexa por
caminos.
Se dene sobre X la relaci on binaria x y si y s olo si existe un camino en X que une
x e y. Se trata de una relaci on de equivalencia, cuyas clases son las componentes conexas
por caminos de X. La componente conexa por caminos de un punto x, k(x), es el mayor
conjunto conexo por caminos de X que lo contiene.
Lema 5.22. En (X, d), para cada x X, es C(x) k(x).
5.7. Ejercicios
1.- En un espacio m etrico (X, d), probar que son equivalentes:
(i) (X, d) es conexo,
(ii) para cada x, y X, existe un conjunto conexo C
xy
tal que x, y C
xy
,
(iii) para toda funci on continua f : (X, d)(R, d
u
), f(X) es conexo,
(iv) toda funci on continua f : (X, d)(R, d
u
) tal que f(X) toma valores negativos y
positivos, se anula en al menos un punto,
(v) toda funci on continua f : (X, d)(Y, ) (donde (Y, ) es un espacio m etrico dis-
creto) es constante,
(vi) todo subconjunto propio de X posee frontera no vaca.
2.- Sea (X, d) un espacio m etrico y A X conexo. Si B X es tal que A B ,= y
A (X B) ,= , entonces se tiene A fr(B) ,= .
3.- Sean A y B subconjuntos conexos en (X, d). Se pide:
(i) probar que AB es conexo si y s olo si (AB)(AB) ,= . Escribir explcitamente
el caso en que ambos conjuntos son cerrados (respectivamente, abiertos);
5.7. Ejercicios 99
(ii) aplicarlo al caso en que (X, d) = (R
2
, d
u
), A = (x, y) : 0 < x < 1, y = sen(
1
x
) y
B = (0, y) : 1 y 1;
(iii) si , = fr(A) B, probar que A B es conexo.
4.- En (X, d), sean A y B subconjuntos cerrados (respectivamente, abiertos). Probar que
si AB y AB son conexos, entonces Ay B son conexos. Ver que la condici on impuesta
a A y B es necesaria.
5.- En (X, d) conexo, probar:
(i) si (X, d) no es acotado, toda esfera es no vaca;
(i) para cada par de puntos x, y X, existe z X, tal que d(x, z) = d(y, z);
(ii) si Card(X) 2, entonces Card(X) Card(R);
(iii) si f : (X, d)(Y, ) es continua y no constante, entonces f(X) es no contable.
6.- Sean (X, d) y a, b X. Se supone que existe A X abierto y cerrado, tal que
a A y b , A. Probar que ning un subconjunto conexo de X puede contener a a y b
simult aneamente.
7.- Decidir si las siguientes armaciones son ciertas o falsas en (X, d):
(i) Si A es conexo, entonces

A y fr(A) son conexos,
(ii) si A, B conexos, entonces A B y A B son conexos,
(iii) si f : (X, d)(Y, ) es continua y sobreyectiva, X tiene m componentes conexas
e Y tiene n componentes conexas, entonces m n,
(iv) la imagen continua de un conjunto disconexo, es disconexa.
8.- Sea (X, d) un espacio m etrico donde toda bola abierta es conexa. Probar que X es
conexo.
9.- Sea (X, d) y una familia de conjuntos conexos A
n
nN
, tales que A
n
A
n+1
,= ,
para cada n N. Probar que su uni on es conexa.
10.- En (X, d) un espacio m etrico, probar:
(i) si Aes conexo, no vaco, abierto y cerrado en X, entonces es una componente conexa;
(ii) si A es abierto y cerrado en X y C es conexo, entonces es C A o C X A;
(iii) si C es la componente conexa de x, entonces est a contenida en cada conjunto abierto
y cerrado que contiene a x.
11.- Sea f : (X, d)(Y, ) una aplicaci on continua entre dos espacios m etricos. Se
dice que f es localmente constante si para cada x X existe r
x
> 0 tal que f es
constante en B(x, r
x
). Probar que si (X, d) es conexo y f es localmente constante, es
constante.
12.- La conexi on se conserva bajo equivalencias topol ogicas? bajo equivalencias m etri-
cas? bajo isometras?
13.- Si (X, d) posee una cantidad nita de componentes conexas, probar que son abiertas
y cerradas.
14.- Sea f : (X, d)(Y, ) un homeomorsmo. Probar que la imagen de una compo-
nente conexa, es una componente conexa. En particular, (X, d) es conexo si y s olo si
(Y, ) lo es.
15.- Probar que el producto de nito de espacios m etricos es conexo si y s olo si cada
espacio factor lo es.
16.- Sea f : (X, d)(Y, ) continua y (X, d) es conexo. Probar que el grafo de f, G
f
,
es conexo en el espacio producto (X Y, D).
17.- Describir las aplicaciones continuas f : (R, d
u
)(X, d), donde (X, d) es un espa-
cio m etrico discreto.
18.- Utilizando el ejercicio 37 del apartado 3.5, probar que los conjuntos siguientes son
conexos en el espacio eucldeo correspondiente: S
1
(0, 1), S
1
, R
n
, S
n
(0, . . . , 0, 1),
S
n
y R
n
(0, , 0) (para n > 1).
19.- Probar que los siguientes conjuntos de (R
2
, d
u
) no son dos a dos homeomorfos:
A = (x, 0) : x R (0, y) : y 1, B = (x, 0) : x R (0, y) : y 0 y
C = (x, y) : x
2
+ y
2
= 1.
20.- Probar que no son homeomorfos los siguientes conjuntos de (R, d
u
): (0, 1), (0, 1] y
[0, 1]. Adem as, ning un subconjunto de la recta real es homeomorfo a S
1
.
21.- Probar que (Q, d
u
) y (Q, d) (d es la m etrica discreta), poseen los mismos conjuntos
conexos. Son homeomorfos estos dos espacios m etricos? Son topol ogicamente equiva-
lentes?
22.- Demostrar que en el plano eucldeo A = (x, y) : x Q o y Q es conexo y
B = (x, y) : x Q y y Q no lo es.
5.7. Ejercicios 101
23.- Sea M
n
(R) el conjunto de las matrices reales cuadradas n n, que se identica al
espacio eucldeo R
n
2
. Probar que el conjunto de las matrices inversibles G
n
M
n
(R), es
un abierto formado de dos componentes conexas.
24.- Probar que un polinomio real impar posee al menos una raz real.
25.- En la recta real, probar:
(i) si f : A RR es mon otona y f(A) es denso en el intervalo J, entonces f es
continua. En particular, si f : A RR es mon otona y f(A) es un intervalo,
entonces f es continua;
(ii) si f : I RR es continua e inyectiva (donde I es un intervalo), entonces f es
mon otona y es un homeomorsmo de I sobre el intervalo J = f(I);
(iii) si f : I RJ R es una biyecci on entre los intervalos I y J, entonces f es
homeomorsmo si y s olo si f es mon otona.
26.- Sea f : (X, d)(R, d
u
) continua. Si mn
xX
f(x) < c < m ax
xX
f(x), demostrar el
conjunto X f
1
(c) es disconexo.
27.- Sea f : ([0, 1], d
u
)(R, d
u
) continua tal que f(0) = f(1). Para cada n > 1,
probar que existe x [0, 1], tal que x +
1
n
[0, 1] y f(x +
1
n
) = f(x).
28.- Probar que todo abierto de la recta real se puede escribir como una reuni on, a lo sumo
numerable, de intervalos abiertos dos a dos disjuntos.
29.- Considerando los espacios eucldeos correspondientes, probar:
(i) si A R y B R
2
son homeomorfos, entonces

B= ;
(ii) no existe f : (R
2
, d
u
)(R, d
u
) continua e inyectiva. Concluir que (R, d
u
) y (R
2
, d
u
)
no son homeomorfos.
30.- Probar que no existe f : ([0, 1], d
u
)(R, d
u
) continua, tal que x Q si y s olo si
f(x) , Q.
31.- Describir las funciones continuas f : ([0, 2] (4, 6], d
u
)(0
1
n
: n N, d
u
).
32.- Se consideran las letras may usculas como subconjuntos del plano eucldeo:
A B C D E F G H I J L M N O P Q R S T U V X Z,
desprovistas de extremidades. Se pide agruparlas por letras homeomorfas.
33.- Para los espacios m etricos del ejercicio 12 del apartado 2.8, estudiar la conexi on y
determinar la componente conexa de cada punto.
34.- Para n 1, sea f : (S
n
, d
u
)(R, d
u
) continua. Probar que existe x S
n
, tal que
f(x) = f(x).
35.- Sean D = (x, 0) : 1 x 1 (0, y) : 0 y 1 y g : (D, d
u
)(D, d
u
)
un homeomorsmo. Probar que g(0, 0) = (0, 0) y que la restricci on de g al conjunto
(1, 0), (1, 0), (0, 1) es una permutaci on de este conjunto.
36.- Si A = (x, y) R
2
: x I, y 0 y B = (x, y) R
2
: x Q, y < 0, probar
que A B es conexo en (R
2
, d
u
).
37.- Sea (X, d) un espacio m etrico y las relaciones binarias R
1
y R
2
dadas por:
xR
1
y si y s olo si existe una parte conexa C que contiene a ambos puntos;
xR
2
y si y s olo si todo abierto y cerrado conteniendo a x, contiene a y.
Se pide probar:
(i) R
1
y R
2
son relaciones de equivalencia sobre X;
(ii) [x]
1
= C(x), [x]
2
= A : A es abierto y cerrado y x A y ambos conjuntos son
cerrados;
(iii) para cada x X, [x]
1
[x]
2
;
(iv) si A R, [x]
1
= [x]
2
en (A, d
u
);
(v) sea C = A B R
2
, uni on de los conjuntos A = (
1
n
, y) : n N, 1 y 1 y
B = (0, y) : 1 y 1, y ,= 0. Probar que [x]
1
,= [x]
2
en (C, d
u
).
38.- Probar las siguientes propiedades:
(i) si Y = (0 R) (R 0) y f : (R, d
u
)(Y, d
u
) es continua y sobreyectiva,
entonces f
1
((0, 0)) debe contener al menos tres puntos;
(ii) si f : (S
1
, d
u
)([0, 1], d
u
) es continua y sobreyectiva, para cada c (0, 1), el
conjunto f
1
(c) debe contener m as de un punto.
39.- Si (X, d) es conexo y k N, x se llama un punto de corte de orden k, si X x
posee k componentes conexas. Se pide:
(i) probar que se trata de una propiedad que se preserva por homeomorsmos;
(ii) en la recta real, qu e tipos de puntos de corte poseen los intervalos [0, 1], (0, 1] y
(0, 1)?
5.7. Ejercicios 103
(iii) si n > 1, (R
n
, d
u
) posee un punto de corte de orden 1, luego (R
n
, d
u
) y (R, d
u
) no
son homeomorfos.
40.- Sea A R
n
(n > 1). Se pide probar:
(i) si A es contable, entonces R
n
A es conexo;
(ii) si A es acotado, R
n
A tiene una componente conexa no acotada;
(iii) si A es convexo, es conexo. El recproco no es cierto.
41.- Sea (X, d) un espacio m etrico. Se pide probar:
(i) la uni on de cualquier familia de conjuntos conexos por caminos con un punto en
com un, es un conjunto conexo por caminos;
(ii) la clausura de un conjunto conexo por caminos, no es en general conexa por caminos.
42.- Sea (P, d
u
) el espacio peine, es decir:
P = ([0, 1] 0)
_
(x, y) R
2
: x = 0 o x =
1
n
, n N, 0 y 1
_
.
Se pide probar:
(i) P conexo por caminos y P (0, 0) es conexo;
(ii) si A = 0(0, 1), P Aes conexo y posee dos componentes conexas por caminos;
(iii) si B = 0 I y C = (P A) B, C es conexo y posee una cantidad no contable
de componentes conexas por caminos.
Compacidad en espacios m etricos
Porque noto, alma torcida,
Que en mi pecho milagroso,
Mientras m as honda la herida,
Es mi canto m as hermoso.
Versos sencillos
Jos e Mart (1853-1895)
6.1. Espacios y conjuntos compactos
Denici on 6.1. Si X ,= , un cubrimiento de X (respectivamente, de A X) es una
familia | = A
i
iI
T(X), tal que X =
_
iI
A
i
(respectivamente, A
_
iI
A
i
).
Denici on 6.2. Un subrecubrimiento de un cubrimiento | = A
i
iI
de X es una sub-
familia 1 = A
i
iJ
(es decir, J I), que sigue cubriendo X. Si J es nito, se habla de
subrecubrimiento nito.
Denici on 6.3. En (X, d), si | = A
i
iI
es un cubrimiento de X y A
i
es abierto para
cada i I, se habla de un cubrimiento por abiertos.
Denici on 6.4. (X, d) es compacto si todo cubrimiento por abiertos de X posee un su-
brecubrimiento nito. Y A X es compacto si (A, d
A
) lo es.
Observaci on 6.1. Se trata de una generalizaci on topol ogica del concepto de conjunto
nito: en (X, d), si Aes nito, es claramente compacto. Vamos a ver que existen conjuntos
compactos innitos, aunque sus propiedades los hacen semejantes a los conjuntos nitos.
Ejemplos 6.1. Algunos ejemplos de espacios compactos son:
(i) (R, d
u
) no es compacto, ya que la familia de abiertos (n 1, n + 1)
nZ
cubre R,
pero no posee subrecubrimiento nito;
105
106 Captulo 6. Compacidad en espacios m etricos
(ii) si (X, d) es discreto, A X es compacto si y s olo si es nito;
(iii) ((0, 1], d
u
) no es compacto, ya que la familia de abiertos (
1
n
, 1]
nN
cubre (0, 1],
pero no posee subrecubrimiento nito
Por dualidad con el concepto de abierto, se obtiene la siguiente caracterizaci on:
Teorema 6.1. (X, d) es compacto si y s olo si para cada familia de cerrados F
i
iI
tal
que
iI
F
i
= , existe una familia nita i
1
, . . . , i
n
I tal que F
i
1
F
i
n
= .
Denici on 6.5. Una familia de conjuntos A
i
iI
en X tiene la propiedad de intersecci on
nita si para toda subfamilia nita i
1
, . . . , i
n
I es A
i
1
A
i
n
,= .
A partir de esta denici on, se obtiene una nueva caracterizaci on de compacidad:
Corolario 6.2. (X, d) es compacto si y s olo si para cualquier familia de cerrados F
i
iI
con la propiedad de intersecci on nita, es
iI
F
i
,= .
La compacidad es una propiedad absoluta, en el siguiente sentido:
Proposici on 6.3. A es compacto en (X, d) si y s olo si para cualquier familia de abiertos
| = U
i
iI
en (X, d) tales que A
_
iI
U
i
, existe una subfamilia nita i
1
, . . . , i
n
I
tal que A U
i
1
U
i
n
.
Teorema 6.4. Si A es cerrado en (X, d) compacto, entonces A es compacto.
Demostraci on: Sea | = U
i
iI
una familia de abiertos en (X, d) que cubren A. Entonces
X = (X A)
_
iI
U
i
. Como X A es abierto, hemos encontrado un cubrimiento por
abiertos del compacto X, por lo que existe i
1
, . . . , i
n
I, tal que X = (XA)
n
_
k=1
U
i
k
,
y por lo tanto A
n
_
k=1
U
i
k
.
El siguiente resultado asemeja un compacto a un punto:
Lema 6.5. Sea A compacto en (X, d) y x , A. Existe > 0 tal que B(x, ) A = .
Demostraci on: Para cada a A es a ,= x. La propiedad de Hausdorff garantiza que si
d(a, x) = r
a
, es B(a,
r
a
2
) B(x,
r
a
2
) = . Pero A
_
aA
B(a,
r
a
2
), y al ser compacto,
6.2. Compacidad y continuidad 107
existe a
1
, . . . , a
n
A, de modo que A
n
_
i=1
B(a
i
,
r
a
i
2
). Si r = mn
r
a
i
2
: 1 i n,
es B(x, ) A = .
Ejemplo 6.1. El lema anterior demuestra que (0, 1] no es compacto en (R, d
u
), ya que
0 , A y para cada > 0 es (, ) (0, 1] ,= .
Teorema 6.6. Si A es compacto en (X, d), entonces A es cerrado.
Demostraci on: Si x , A, por el lema 6.5, existe > 0 tal que B(x, ) A = , con lo
que x , A.
Teorema 6.7. Si A es compacto en (X, d), entonces A est a acotado.
Demostraci on: Sea el cubrimiento A
_
aA
B(a, 1). Como A es compacto, existe una
familia nita a
1
, . . . , a
n
A, tal que A
n
_
i=1
B(a
i
, 1). Si a, b A, existen 1 i, j n
tales que a B(a
i
, 1) y b B(a
j
, 1). Entonces, d(a, b) d(a, a
i
)+d(a
i
, a
j
)+d(a
j
, b) <
2 + d(a
i
, a
j
). Si k = maxd(a
i
, a
j
) : 1 i, j n, es claro que para cada a, b A es
d(a, b) < 2 + k.
Teorema 6.8. La uni on nita y la intersecci on arbitraria de compactos es compacta.
Observaci on 6.2. La uni on arbitraria de compactos no es compacta: en (R, d
u
), x es
compacto, pero R =
_
xR
x no lo es.
Observaci on 6.3. Seg un los teoremas 6.6 y 6.7, un compacto A en (X, d) es cerrado y
acotado. Pero el recproco no es cierto: para (R, d) donde d es la m etrica discreta, R es
cerrado y acotado, pero no es compacto.
6.2. Compacidad y continuidad
Las funciones continuas llevan compactos en compactos:
Teorema 6.9. Sea f : (X, d)(Y, ) continua. Si A es compacto en (X, d), entonces
f(A) es compacto en (Y, ).
Demostraci on: Sea 1 = V
i
iI
una familia de abiertos en (Y, ) que cubren f(A).
Entonces, | = f
1
(V
i
)
iI
es una familia de abiertos en (X, d) que cubren A. Co-
mo A es compacto, existe i
1
, . . . , i
n
I, tal que A
n
_
k=1
f
1
(V
i
k
), y por lo tanto
f(A)
n
_
k=1
V
i
k
.
Corolario 6.10. Sea f : (X, d)(Y, ) continua y (X, d) compacto. Si A es cerrado en
(X, d), entonces f(A) es cerrado en (Y, ).
Demostraci on: Aes cerrado en el compacto (X, d), luego es compacto por el teorema 6.4.
El teorema 6.9 garantiza que f(A) es compacto en (Y, ), y por lo tanto cerrado, seg un el
teorema 6.6.
Observaci on 6.4. La compacidad es esencial en el corolario 6.10: f : (R, d
u
)(R, d
u
)
denida por f(x) =
1
1+x
2
es continua, R es cerrado y f(R) = (0, ) no lo es.
Teorema 6.11. Sea f : (X, d)(Y, ) biyectiva y continua. Si (X, d) es compacto, en-
tonces f es un homeomorsmo.
Demostraci on: El corolario 6.10 arma que f
1
es continua.
Observaci on 6.5. La compacidad de (X, d) es esencial: 1
R
: (R, d)(R, d
u
), donde d
es la m etrica discreta es continua y biyectiva, pero no es un homeomorsmo.
Teorema 6.12. Sea f : (X, d)(Y, ) continua. Si (X, d) es compacto, entonces f es
uniformemente continua.
Demostraci on: Sea > 0; para cada x X existe
x
= (x, ) > 0 tal que f (B
X
(x,
x
))
B
Y
(f(x),

2
). Pero, X =
_
xX
B
X
_
x,

x
2
_
, por lo que existe x
1
, . . . , x
n
X tal que
X =
n
_
i=1
B
X
_
x
i
,

x
i
2
_
. Sea
0
= mn
_
x
i
2
: 1 i n
_
; este es el valor que satisface la
condici on de continuidad uniforme: en efecto, si a, b X y d(a, b) <
0
, existe 1 i n
tal que a B
X
(x
i
,

x
i
2
), y entonces d(b, x
i
) d(b, a) + d(a, x
i
) <
0
+

x
i
2
<
x
i
.
Luego, a, b B
X
(x
i
,
x
i
), con lo que la continuidad de f garantiza que f(a), f(b)
B
Y
(f(x
i
),

2
), y entonces es (f(a), f(b)) < .
6.3. Compacidad secuencial 109
6.3. Compacidad secuencial
Denici on 6.6. (X, d) es secuencialmente compacto, si toda sucesi on en (X, d) posee
una subsucesi on convergente.
Ejemplo 6.2. ((0, 1], d
u
) no es secuencialmente compacto, pues la sucesi on
1
n
nN
no
posee subsucesiones convergentes.
Denici on 6.7. (X, d) posee la propiedad de Bolzano-Weierstrass, si todo conjunto in-
nito A X posee puntos de acumulaci on.
Teorema 6.13. (X, d) es secuencialmente compacto si y s olo si posee la propiedad de
Bolzano-Weierstrass.
Demostraci on: Sea A innito, x
n
nN
una sucesi on de t erminos distintos dos a dos en
A y supongamos que la subsucesi on x
(n)
nN
converge a x A: como es de t ermi-
nos distintos dos a dos, es x A
t
. Recprocamente, supongamos que (X, d) posee la
propiedad de Bolzano-Weierstrass y sea x
n
nN
. Si su rango es nito, existe una subsu-
cesi on constante, que converge. En caso contrario, si A = Rg (x
n
nN
), es A
t
,= . Para
x A
t
, existe y
n
nN
en A, de t erminos distintos dos a dos, que se puede elegir como
una subsucesi on de la primera, y que converge a x.
Teorema 6.14. Si (X, d) es secuencialmente compacto, entonces es completo.
Demostraci on: Sea x
n
nN
una sucesi on de Cauchy. Por hip otesis, existe una subsuce-
si on x
(n)
x X. El corolario 4.18 garantiza que x
n
x.
Ejemplo 6.3. El recproco no es cierto: (R, d), donde d es la m etrica discreta, es comple-
to y no es secuencialmente compacto, pues la sucesi on
1
n
nN
no posee subsucesiones
convergentes.
Denici on 6.8. (X, d) es totalmente acotado o precompacto, si para cada > 0, existe
una familia nita de puntos x
1
, . . . , x
n
X, tal que X = B(x
1
, ) B(x
n
, ).
Lema 6.15. Si (X, d) es precompacto, es acotado.
Demostraci on: X se puede escribir como una uni on nita de conjuntos acotados.
Ejemplo 6.4. El recproco no es cierto: (R, d), donde d es la m etrica discreta, es acotado
y no es precompacto.
Teorema 6.16. En (X, d), son equivalentes:
(i) (X, d) es compacto,
(ii) (X, d) es secuencialmente compacto,
(iii) (X, d) es precompacto y completo.
Demostraci on: (i) (ii) Sea A innito y supongamos que A
t
= . Para cada x X,
existe r
x
> 0 tal que (B(x, r
x
) x) A = . Como X =
_
xX
B
X
(x, r
x
) y X es
compacto, existe x
1
, . . . , x
n
X tal que X =
n
_
i=1
B
X
(x
i
, r
x
i
). Pero, por construcci on,
B
X
(x
i
, r
x
i
) tiene como mucho un punto de A, lo que es imposible.
(ii) (iii) Si (X, d) es secuencialmente compacto, ya sabemos que es completo.
Supongamos que existe
0
que contradice la precompacidad de (X, d). Sea x
1
X; existe
x
2
X tal que d(x
1
, x
2
)
0
. Continuando de esta manera, dada x
1
, . . . , x
n1
elegida
de este modo, existe x
n
X tal que d(x
i
, x
n
)
0
, si i < n. Queda construida de modo
recurrente una sucesi on x
n
nN
tal que d(x
i
, x
n
)
0
si 1 i < n. Por la compacidad
secuencial, existe una subsucesi on x
(n)
nN
convergente, luego de Cauchy: as, existe
n
0
N tal que para m, n n
0
es d(x
(n)
, x
(m)
) <
0
, lo cual es absurdo.
(iii) (i) Supongamos que (X, d) no es compacto, es decir, existe un cubrimiento
por abiertos | = U
i
iI
, sin subrecubrimientos nitos. Sea x
1
1
, . . . , x
1
n
1
X tal que
X = B(x
1
1
, 1) B(x
1
n
1
, 1). De entre estas bolas, existe al menos una que no puede
ser recubierta por una familia nita de los U
i
iI
, sea B(x
1
m
1
, 1). La precompacidad es
hereditaria (ver ejercicio 19 del apartado 6.5), es decir, B(x
1
m
1
, 1) es precompacto: sea
x
2
1
, . . . , x
2
n
2
X tal que B(x
1
m
1
, 1) B(x
2
2
,
1
2
) B(x
2
n
2
,
1
2
). De entre estas bolas,
existe al menos una que no puede ser recubierta por una familia nita de los U
i
iI
, sea
B(x
2
m
2
,
1
2
). As, se va construyendo una familia B(x
k
m
k
,
1
k
) B(x
1
m
1
, 1) de bolas
encajadas que no pueden ser recubiertas por una familia nita de los U
i
iI
. Adem as,
_
B(x
k
m
k
,
1
k
)
_

2
k
. Si se considera F
k
= B(x
k
m
k
,
1
k
), tenemos una familia numerable
de cerrados encajados, cuyos di ametros tienden a cero. Por la completitud de (X, d), es
kN
F
k
= x
0
. Sea i
0
I tal que x
0
U
i
0
y
0
> 0 tal que B(x
0
,
0
) U
i
0
. Sea
k
0
N tal que
2
k
0
<
0
. Entonces, B(x
k
0
m
k
0
,
1
k
0
) B(x
0
,
0
) U
i
0
, lo que contradice la
elecci on de estas bolas, que no podan estar contenidas en ninguna familia nita de los
U
i
iI
: en efecto, B(x
k
0
m
k
0
,
1
k
0
) F
k
0
B(x
k
0
m
k
0
,
1
k
0
), y si x B(x
k
0
m
k
0
,
1
k
0
), entonces
d(x, x
0
) d(x, x
k
0
m
k
0
) + d(x
k
0
m
k
0
, x
0
) <
2
k
0
<
0
.
Ejemplo 6.5. La completitud es necesaria en las anteriores equivalencias: ((0, 1), d
u
) es
precompacto, pero no es secuencialmente compacto.
6.4. Compacidad en espacios eucldeos 111
Teorema 6.17. (Lema del recubrimiento de Lebesgue) Sea (X, d) un espacio m etrico
compacto. Sea U
i
iI
un cubrimiento por abiertos de X. Existe > 0 (llamado n umero
de Lebesgue del recubrimiento) tal que si A X tiene di ametro menor que , entonces
existe i
I tal que A U
i
.
Demostraci on: En caso contrario, para cada n N, existe x
n
tal que B(x
n
,
1
2
n
) , U
i
para
cada i I. Se obtiene as una sucesi on x
n
nN
, que posee una subsucesi on convergente
x
(n)
x, por compacidad. Sea i
0
I tal que x U
i
0
y > 0 tal que B(x, ) U
i
0
.
Por convergencia, existe n
0
0
es x
(n)
B(x,

2
). Pero
entonces para enteros tales que
1
2
n
<

2
, es B(x
(n)
,

2
) B(x, ) U
i
0
, contra la
hip otesis.
6.4. Compacidad en espacios eucldeos
Teorema 6.18. Si a, b R, el intervalo [a, b] es compacto en (R, d
u
).
Demostraci on: Sea | = U
i
iI
una familia de abiertos, tales que [a, b]
_
iI
U
i
. Sea
A = x [a, b] : [a, x] est a contenido en una uni on nita de los U
i
iI
.
A es no vaco, pues a A. Adem as, si x
1
A y x
2
< x
1
, es x
2
A, al ser [a, x
2
]
[a, x
1
]. Por otro lado, si x A y x < b, existe y > x tal que y A: en efecto, existe
i
0
I tal que x U
i
0
. Sea r
x
> 0 tal que (x r
x
, x + r
x
) U
i
0
[a, b]. Entonces,
[a, x +
r
x
2
] = [a, x] (x r, x +
r
x
2
], que est a contenida en una uni on nita de los U
i
iI
(los que tiene que ver con [a, x]) y U
i
0
. Sea c = sup(A): por lo anterior, es c = b. Sea
j
0
I tal que b U
j
0
y r
b
> 0 tal que (b r
b
, b + r
b
) U
j
0
. Como b = sup(A), b r
b
no es cota superior de A, luego existe x A tal que b r
b
< x b. Pero, como se ha
visto antes, es entonces b r
b
A. As, [a, b] = [a, b r
b
] (b r
b
, b] est a contenido en
una uni on nita de U
i
iI
, y queda probada la propiedad.
Teorema 6.19. (de Heine-Borel) En (R, d
u
), A es compacto si y s olo si es cerrado y
acotado.
Lema 6.20. Si A es compacto en (R, d
u
), entonces sup(A),nf(A) A.
Teorema 6.21. (de Weierstrass) Sea f : (X, d)(R, d
u
) continua y (X, d) compacto.
Entonces, f alcanza sus valores m aximo y mnimo.
Demostraci on: Como f(X) es compacto, es = nf(f(X)), = sup(f(X)) f(X).
Luego, existen a, b X tales que = f(a) y = f(b), es decir, f alcanza su mnimo
absoluto en a y su m aximo absoluto en b.
Teorema 6.22. (Caracterizaci on de la compacidad) (X, d) es compacto si y s olo si para
cualquier funci on f : (X, d)(R, d
u
) continua, f alcanza sus valores m aximo y mni-
mo.
Demostraci on: S olo queda por ver una de las implicaciones: si X no es compacto, existe
A X innito tal que A
t
= . Sea S = a
n
nN
A numerable. Entonces, es S
t
= .
Como para cada n N es a
n
, S
t
, existe
n
> 0 tal que (B(a
n
,
n
) a
n
) S = .
Sean m, n N distintos tales que B(a
n
,

n
4
) B(a
m
,

m
4
) = (si esta intersecci on fuese
no vaca, y x un punto en ella, sera d(a
n
, a
m
) d(a
n
, x) + d(x, a
m
) <
0
, donde
0
=
mn
m
,
n
, lo que es absurdo). Sea s
n
< mn
n
4
,
1
n
y B
n
= B(x
n
, s
n
). La familia
B
n
: n N es una familia de bolas cerradas dos a dos disjuntas; sea B la uni on de
todas ellas, que es un conjunto cerrado. La funci on
f(x) =
_
0 si x , B
n
s
n
(s
n
d(x, x
n
)) si x B
n
es continua y como f(x
n
) = n, f no alcanza su m aximo absoluto.
6.5. Ejercicios
(i) si A es compacto y b X, probar que existe a A tal que d(a, b) = d(A, b);
(ii) si A es compacto y B X, probar que existe a A tal que d(a, B) = d(A, B);
(iii) si A y B son compactos, probar que existen a A y b B tales que d(a, b) =
d(A, B);
(iv) si A es compacto, probar que existen a, b A tales que d(a, b) = (A);
(v) si A X y B es compacto, probar que d(A, B) = 0 si y s olo si A B ,= .
2.- En (X, d), se pide probar:
(i) si Aes compacto y x , A, entonces existen abiertos disjuntos U y V , tales que x U
y A V ;
(ii) si A y B son compactos disjuntos, entonces d(A, B) > 0 y existen abiertos disjuntos
U y V , tales que A U y B V ;
(iii) si A y B son compactos, A , B , A y d(A, B) = 0, entonces fr(A) fr(B) ,= .
6.5. Ejercicios 113
3.- Sea (X, d) y A X. Qu e relaci on existe entre los compactos de (X, d) y los com-
pactos de (A, d
A
)? En (Q, d
u
), probar que el conjunto F = x Q : 2 < x
2
< 3, x 0
es cerrado y acotado, pero no es compacto.
4.- Sea (X, d) y A X. Si A K es cerrado en (K, d
K
) para cada compacto K, probar
que A es cerrado.
5.- Sean (X, d), A X compacto y r > 0. Probar que
_
xA
B(x, r) es cerrado.
6.- Sean (X, d), K compacto y V abierto tal que K V . Probar que existe r > 0 tal
que
_
xK
B(x, r) V.
7.- Probar que el producto nito de espacios m etricos es compacto si y s olo si cada espacio
factor lo es. Aplicar esta propiedad a los espacios eucldeos.
8.- Sean (X, d) e (Y, ) espacios m etricos, (XY, D) su producto y f : (X, d)(Y, ).
Se pide probar:
(i) si X es compacto, para todo cerrado de X Y , su proyecci on sobre Y es cerrada;
(ii) si (Y, ) = (R, d
u
), entonces X es compacto si y s olo si para todo cerrado de XR,
su proyecci on sobre R es cerrada;
(iii) si X es compacto, f es continua si y s olo si G
f
es compacto en (X Y, D);
(iv) si Y es compacto y G
f
es cerrado en (X Y, D), entonces f es continua;
(v) si para cada espacio m etrico (X, d) y para cada aplicaci on f : (X, d)(Y, ) tal
que G
f
es cerrado en (X Y, D), se verica que f es continua, entonces Y es
compacto.
9.- Sean (X, d) un espacio m etrico compacto, y f : (X, d)(X, d) continua tal que
d(f(x), f(y)) < d(x, y) si x ,= y. Probar que f posee un unico punto jo en X.
10.- Sea (X, d) compacto y f : (X, d)(X, d) continua sin puntos jos. Probar que
existe k > 0 tal que para cada x X, es d(x, f(x)) k.
11.- Sea f : (X, d)(Y, ), tal que la restricci on a cada compacto es continua. Probar
que f es continua.
12.- Sea (X, d) compacto y f : (X, d)(X, d) continua. Probar que existe un com-
pacto A X no vaco, tal que f(A) = A.
13.- Sea A
i
iI
una familia de cerrados de un espacio m etrico (X, d) compacto, tal que
iI
A
i
= . Probar que existe > 0 tal que si B X es un conjunto de di ametro menor
que , entonces existe j I tal que B A
j
= .
14.- Sea (X, d) compacto. Si las componentes conexas son abiertas, probar que existe a
lo m as un n umero nito de componentes.
15.- Sea (X, d) un espacio m etrico tal que para cada m etrica topol ogicamente equiva-
lente a d, (X, ) es acotado. Probar que (X, d) es compacto.
16.- Para los espacios m etricos del ejercicio 12 del apartado 2.8, estudiar la compacidad.
17.- En un espacio m etrico (X, d), probar:
(i) todo subconjunto de un conjunto precompacto es precompacto,
(ii) la clausura de un conjunto precompacto es precompacta,
(iii) la imagen uniformemente continua de un conjunto precompacto es precompacta,
(iv) todo conjunto precompacto es separable.
18.- Sea (X, d) un espacio m etrico, x
n
nN
una sucesi on en X y R su rango. Se pide
probar:
(i) si lm(x
n
) = x, entonces R x es compacto;
(ii) si lm(x
n
) = x, entonces R es compacto. El recproco es falso, pero si R es compac-
to, existe una subsucesi on de la primera que converge;
(iii) si x
n
nN
es de Cauchy, entonces R es precompacto. Y si R es precompacto, existe
una subsucesi on de Cauchy de la primera;
(iv) concluir que (X, d) es completo si y s olo si todo conjunto precompacto, posee clau-
sura compacta. Y por lo tanto, en un espacio completo, todo conjunto precompacto
posee derivado compacto;
(v) concluir que si todo conjunto acotado en X posee clausura compacta, entonces (X, d)
es completo;
(vi) probar que (X, d) es compacto si y s olo si es completo y precompacto.
19.- Sea (X, d) un espacio m etrico, donde existe r > 0 tal que B(x, r) es compacta para
cada x X. Probar que (X, d) es completo. Si A X es compacto, demostrar que el
conjunto x X : d(x, A) s es compacto para cada s < r.
6.5. Ejercicios 115
20.- Probar que un espacio m etrico donde toda bola cerrada es compacta, es completo.
Demostrar que en este tipo de espacios m etricos, los conjuntos compactos son los cerrados
y acotados. Aplicar esta propiedad a los espacios eucldeos.
21.- Sean (X, d) compacto, f : (X, d)(Y, ) continua y F
n
nN
una sucesi on de ce-
rrados encajados. Probar que f(
nN
F
n
) =
nN
f(F
n
).
22.- Probar que (X, d) es compacto si y s olo si para cada sucesi on de cerrados encajados,
su intersecci on es no vaca. Observar que no se impone la condici on de que los di ametros
de los cerrados tiendan a cero; esta es otra manera de probar que todo espacio compacto
es completo.
23.- Sea (X, d) y una familia F
i
iI
de cerrados con la propiedad de intersecci on nita.
Supongamos que existe i
0
I tal que F
i
0
es compacto. Probar que
iI
F
i
,= .
24.- Sea (X, d) completo, tal que para cada > 0, existe un recubrimiento nito de X,
por conjuntos de di ametro menor que . Probar que (X, d) es compacto.
25.- Probar que la precompacidad se conserva bajo equivalencias m etricas e isometras.
La compacidad se conserva bajo equivalencias topol ogicas, equivalencias m etricas e iso-
metras.
(i) si (X, d) es compacto y la clausura de cada bola abierta es la correspondiente bola
cerrada, probar que toda bola abierta es conexa;
(ii) dar un ejemplo de espacio m etrico totalmente disconexo, donde tambi en suceda este
fen omeno;
(iii) en (R
2
, d
max
), sea A = (x, y) : 0 x 1, y = 0 o x = 0, 0 y 1. Probar que
toda bola en A es conexa, pero no se verica el fen omeno de (i).
27.- Sea (X, d) un espacio m etrico compacto. Probar que (X, d) es conexo si y s olo si
para cada > 0 y para cada x, y X, existe una familia de puntos x
0
, x
1
, , x
n
X,
tales que x
0
= x, x
n
= y y d(x
i
, x
i+1
) para i 0, 1, , n 1, es decir, existe
una -cadena relacionando los puntos x e y.
28.- Si K es compacto, convexo y de interior no vaco en (R
n
, d
u
), probar que es homeo-
morfo a una bola cerrada.
29.- Estudiar la conexi on, la compacidad y la completitud de los siguientes subespacios
del plano eucldeo:
A = (x, y) R
2
: x(x 1) = 0, B = (x, y) R
2
: xy = 1,
C = (x, y) R
2
: y = (x + 1)
2
o x = 0 o y = 0,
D = (x, y) R
2
: (x + 2)
2
+y
2
1 (x, y) R
2
: (x 2)
2
+ y
2
1,
E = (x, y) R
2
: y = x
2
, F = (x, y) R
2
: x ,= 0.
30.- Sean (R, d
u
) y A, B R cerrados. Es A+B cerrado? Y si A y B son compactos?
31.- Sea (X, d) compacto y f : (X, d)(R, d
u
) una funci on continua. Se supone que
para cada x X es f(x) > 0. Probar que existe M > 0 tal que f(x) M para todo
x X.
32.- Sea f : (R, d
u
)(R, d
u
) tal que para cada x R, f
1
(x) posee exactamente dos
puntos. Probar que f no es continua.
33.- Otro concepto relacionado con cubrimientos por abiertos de espacios es el de
paracompacidad, que es una generalizaci on de la noci on de compacidad y es esencial en
el estudio de variedades diferenciables.
Denici on 6.9. Si | y 1 son cubrimientos de X, se dice que | rena a 1, y se escribe
| _ 1, si cada U | est a contenido en alg un V 1. Se dice tambi en que | es un
renamiento de 1.
Denici on 6.10. En un espacio m etrico (X, d), una colecci on | de subconjuntos de X
se llama localmente nita si cada x X posee un entorno que corta s olo a una cantidad
nita de U |.
Denici on 6.11. En un espacio m etrico (X, d), una colecci on 1 de subconjuntos de X se
llama -localmente nita si 1 =
_
n=1
1
n
, donde cada 1
n
es una familia localmente nita.
Observar que aunque 1 sea un cubrimiento -localmente nito de X, las subcolecciones
1
n
localmente nitas que lo componen no tienen porque ser cubrimientos de X.
Denici on 6.12. Un espacio m etrico (X, d) se llama paracompacto si todo cubrimiento
por abiertos de X posee un renamiento abierto -localmente nito.
Se pide demostrar el teorema de Stone: Todo espacio m etrico es paracompacto (ver [W],
p agina 147).
6.5. Ejercicios 117
34.- Las nociones de compacidad y de conexi on son ambas herramientas potentes, pero
no tienen relaci on entre ellas. Cuando se combinan dan lugar al concepto de continuo.
Denici on 6.13. Dado un espacio m etrico (X, d), K X es un continuo si es compacto
y conexo.
Los primeros ejemplos de continuos son las esferas de cualquier dimensi on S
n
en espacios
eucldeos, las bolas unidad D
n
en espacios eucldeos, etc.
Se pide probar:
(i) dada una familia K
i
: i I de continuos en X, su intersecci on
iI
K
i
sigue siendo
un continuo;
(ii) si K es un continuo tal que para cada par de puntos a, b K es K a, b no
conexo, entonces K es homeomorfo a la circunferencia unidad (S
1
, d
u
).
Espacios vectoriales normados
Pintada, no vaca:
pintada est a mi casa
del color de las grandes
pasiones y desgracias.
Canci on ultima
Miguel Hern andez (1910-1942)
7.1. Normas sobre espacios vectoriales
7.1.1. M etrica denida por una norma
Denici on 7.1. Si X es un espacio vectorial sobre el cuerpo K (en lo que sigue, ser a R
o C, salvo menci on explcita), se llama norma sobre X a una aplicaci on |.|: XK,
tal que:
(i) para cada x X, es |x| 0,
(ii) |x| = 0 si y s olo si x = 0,
(iii) x X y K, es |x| = [[|x|,
(iv) |x + y| |x| +|y|, si x, y X.
El par (X, |.|) se llama espacio vectorial normado.
Ejemplo 7.1. Sobre el espacio vectorial de dimensi on innita de las funciones continuas
de [0, 1] con valores reales C([0, 1], R) = f : ([0, 1], d
u
)(R, d
u
) continua tenemos
las normas:
(i) |f|
1
=
_
1
0
[f(x)[dx, llamada de la convergencia media;
119
120 Captulo 7. Espacios vectoriales normados
(ii) |f|
2
=
_
1
0
[f(x)[
2
dx, llamada de la convergencia cuadr atica;
(iii) |f|
= sup
x[0,1]
[f(x)[, llamada de la convergencia uniforme.
Lema 7.1. Sea (X, |.|) un espacio vectorial normado sobre el cuerpo K. La funci on
d
|.|
: X XK denida por d
|.|
(x, y) = |x y|, es una distancia sobre X, que se
llama inducida por la norma |.| y la topologa inducida se denomina topologa asociada
a la norma.
Lema 7.2. Dado un espacio vectorial normado (X, |.|), |.|: (X, d
|.|
)(K, d
u
) es
una funci on lipschitziana (ver ejercicio 41 en el apartado 3.5).
Observaci on 7.1. No toda distancia proviene de una norma: una norma de espacio vec-
torial no puede ser acotada, porque si |x| para cada x X, entonces |nx|
para cada n N, lo cual es absurdo. Luego, cualquier distancia acotada (por ejemplo, la
m etrica discreta) no proviene de una norma.
Lema 7.3. Si X es un R-espacio vectorial y d una distancia sobre X, d proviene de una
norma sobre X si y s olo si:
(i) para R y x, y X, es d(x, y) = [[d(x, y);
(ii) para x, y, a X, es d(x +a, y +a) = d(x, y).
Y en tal caso, la norma asociada a la distancia es |x| = d(x, 0), para cada x X.
Lema 7.4. Sea (X, |.|) un espacio vectorial normado sobre K. Las aplicaciones siguien-
tes son continuas:
(i) la funci on suma s: (X X, D)(X, d
|.|
), donde D es la m etrica producto y
s(x, y) = x +y, y
(ii) el producto por un escalar m: (KX, D
1
)(X, d
|.|
), donde D
1
es la m etrica
producto (sobre K se considera la m etrica eucldea) y m(, x) = x.
Proposici on 7.5. Sea (X, |.|) un espacio vectorial normado e Y un subespacio vectorial
de X. Entonces,
(i) si Y ,= X, es

Y = , y
(ii) Y es un subespacio vectorial de X.
7.1. Normas sobre espacios vectoriales 121
Demostraci on: (i) Si

Y ,= , existe x Y y > 0 tales que B(x, ) Y . Como Y es
un subespacio vectorial, se deduce que B(0, ) Y , y realizando homotecias sucesivas,
resulta nalmente que X = Y .
(ii) Como las aplicaciones suma y producto por un escalar son continuas, se tiene que
s(Y Y ) = s(Y Y ) s(Y Y ) Y ,
m(KY ) = m(KY ) m(KY ) Y .
7.1.2. Normas equivalentes
Proposici on 7.6. Sean X un espacio vectorial sobre el cuerpo K, |.|
1
y |.|
2
dos normas
sobre X y d
1
, d
2
las distancias asociadas. Las siguientes condiciones son equivalentes:
(i) existen , R tales que para cada x X es |x|
1
|x|
2
|x|
1
,
(ii) existen , R tales que para cada x, y X es d
1
(x, y) d
2
(x, y) d
1
(x, y),
(iii) las distancias d
1
y d
2
son topol ogicamente equivalentes.
Demostraci on: La unica implicaci on no trivial es (iii) (i). Si d
1
y d
2
son topol ogica-
mente equivalentes, existen r, R > 0 tales que B
d
2
(0, r) B
d
1
(0, 1) B
d
2
(0, R), o
gracias a las homotecias, si a > 0, B
d
2
(0, ra) B
d
1
(0, a) B
d
2
(0, Ra). Con la segunda
inclusi on se obtiene |x|
2
R|x|
1
y con la primera r|x|
1
|x|
2
.
Denici on 7.2. Si cualquiera de las anteriores condiciones se verica, se dice que las
normas |.|
1
y |.|
2
son equivalentes.
En general, sobre un espacio vectorial, dos normas no tienen porque ser equivalentes:
Ejemplo 7.2. Sea el espacio de funciones continuas C([0, 1], R) y para n N la familia:
f
n
(x) =
_
0 si x (1/n, 1]
1 nx si x [0, 1/n]
que es una familia innita linealmente independiente de funciones en C([0, 1], R). Sobre
C([0, 1], R) se denen las normas dadas en el ejemplo 7.1. Es f acil ver que:
(i) |f
n
|
1
=
_
1
0
[f
n
(x)[dx =
1
2n
;
(ii) |f
n
|
2
=
_
1
0
[f
n
(x)[
2
dx =
1
3n
;
(iii) |f
n
|
= sup
x[0,1]
[f
n
(x)[ = 1.
Por lo tanto, estas normas no son equivalentes.
Corolario 7.7. Sean X un espacio vectorial sobre el cuerpo K, |.|
1
y |.|
2
dos normas so-
bre X y la aplicaci on identidad 1
X
: (X, |.|
1
)(X, |.|
2
). Las siguientes condiciones
son equivalentes:
(i) las normas son equivalentes,
(ii) 1
X
es un homeomorsmo,
(iii) 1
X
y 1
1
X
son lipschitzianas.
En el caso particular de dimensi on nita, se verica:
Teorema 7.8. Si X es un espacio vectorial de dimensi on nita, todas las normas sobre el
son equivalentes.
Demostraci on: Sea B = e
1
, . . . , e
n
una base del espacio vectorial. Cualquier x X
se expresa de manera unica como x = x
1
e
1
+ + x
n
e
n
. Consideremos la norma |.|
(|x|
= sup[x
i
[ : 1 i n) y |.| otra norma cualquiera. Es claro que
|x| |x
1
e
1
| + +|x
n
e
n
| = [x
1
[|e
1
| + +[x
n
[|e
n
| m.n.|x|
,
donde m = sup|e
i
| : 1 i n. La otra parte de la demostraci on se realiza de manera
an aloga, utilizando el hecho de que la bola cerrada unidad B(0, 1) es compacta (por la
dimensi on nita) y el lema 7.3.
Corolario 7.9. Si X es un espacio vectorial de dimensi on nita, es un espacio m etrico
completo y las partes compactas de X son los subconjuntos cerrados y acotados de X.
Observaci on 7.2. Los espacios vectoriales normados de dimensi on nita son los unicos
tales que la bola cerrada unidad B(0, 1) es compacta.
Lema 7.10. Sea (X, |.|) un espacio vectorial normado e Y un subespacio vectorial pro-
pio y cerrado de X. Para cada 0 < < 1, existe un punto x
X en la bola unidad
cerrada y tal que d
|.|
(x
, Y ) 1 .
Proposici on 7.11. Si X es un espacio vectorial normado de dimensi on innita, la bola
unidad de X no es compacta.
7.1.3. Aplicaciones lineales continuas
Si X e Y son dos espacios vectoriales normados, una aplicaci on lineal l : XY no
tiene porque ser continua: si X = (([0, 1], R) provisto con la norma de la convergencia
media y l : XR se dene por l(f) = f(1), entonces la sucesi on de funciones anes
a trozos f
n
(x) = 0 si x [0, 1
1
n
] y f
n
(1) = 1 es tal que |f
n
|
1
=
1
2n
que tiende a 0 y
l(f
n
) no tiende a l(0).
Proposici on 7.12. Sean (X, |.|
1
) e (Y, |.|
2
) dos espacios vectoriales normados y una
aplicaci on lineal l : XY . Las siguientes armaciones son equivalentes:
(i) l es continua,
(ii) l es continua en 0,
(iii) l est a acotada sobre la bola cerrada unidad B(0, 1),
(iv) existe una constante real M > 0 tal que |l(x)|
2
M|x|
1
para cada x X,
(v) existe una constante real M > 0 tal que |l(x) l(y)|
2
M|x y|
1
para cada
x, y X,
(vi) l es uniformemente continua sobre X.
Observaci on 7.3. Si l es continua en un punto x X, es continua en todo X.
Proposici on 7.13. Si (X, |.|) es un espacio vectorial de dimensi on nita, toda aplicaci on
lineal de X en un espacio vectorial normado (Y, |.|
2
) es continua.
Proposici on 7.14. Sean (X, |.|) un espacio vectorial normado y l una forma lineal sobre
X (una aplicaci on lineal de X sobre K). Entonces, l es continua si y s olo si el n ucleo de
l es cerrado en X.
7.1.4. Espacios de Hilbert y de Banach
Denici on 7.3. (X, |.|) es un espacio de Banach si (X, d
|.|
) es un espacio m etrico com-
pleto.
Ejemplos 7.1. Algunos ejemplos de espacios de Banach son:
1) los espacios vectoriales de dimensi on nita son espacios de Banach;
2) el espacio vectorial normado (C([0, 1], R), |.|
2
) no es completo: por ejemplo la su-
cesi on de funciones continuas
g
n
(x) =
_
_
_
0 si x [0, 1/2]
(n + 1)(x 1/2) si x (1/2, 1/2 + 1/(n + 1)]
1 si x (1/2 + 1/(n + 1), 1]
tiene como lmite la funci on no continua
g(x) =
_
0 si x [0, 1/2]
1 si x (1/2, 1]
La completaci on (ver ejercicio 23 en el apartado 4.6) de este espacio para la norma
anterior se denota por L
2
([0, 1]). De manera similar, denotaremos L
p
([0, 1]) al espa-
cio obtenido al completar (C([0, 1], R), |.|
p
), donde |f|
p
=
__
1
0
[f
n
(x)[
p
dx
_
1/p
;
est a formado por las clases de funciones medibles con potencia p- esima integrable
sobre [0, 1], es decir, f L
p
([0, 1]) si
_
1
0
[f
n
(x)[
p
dx < .
Proposici on 7.15. Sea (X, |.|) un espacio de Banach. Entonces:
(i) si A es un conjunto, el espacio vectorial de las aplicaciones acotadas de A en X,
B(A, X), provisto de la topologa de la convergencia uniforme, es un espacio de
Banach;
(ii) si (A, d
A
) es un espacio m etrico, entonces el espacio vectorial de las aplicaciones
continuas acotadas (
b
(A, X), dotado de la topologa de la convergencia uniforme,
es un espacio de Banach. En particular, si A es compacto, entonces ((A, X) es un
espacio de Banach.
Proposici on 7.16. Sean (X, |.|
1
) un espacio vectorial normado, (Y, |.|
2
) un espacio de
Banach y A X un subespacio vectorial denso en X. Entonces toda aplicaci on lineal
continua l : AY se extiende de manera unica a una aplicaci on continua
l : XY .
Sean (X, |.|
1
) y (Y, |.|
2
) espacios vectoriales normados, se denota por L(X, Y ) el
conjunto de las aplicaciones lineales continuas de X en Y . Para cada T L(X, Y ), se
escribe:
[T[ = sup
|v|
1
=1
|T(v)|
2
= sup
|v|
1
1
|T(v)|
2
= sup
v,=0
|T(v)|
2
|v|
1
.
Observaci on 7.4. Para cada v X
1
se tiene |T(v)|
2
[T[|v|
1
.
Proposici on 7.17. [.[ es una norma sobre L(X, Y ). Si adem as (Y, |.|
2
) es un espacio de
Banach, entonces L(X, Y ) tambi en lo es.
Denici on 7.4. Sea X un espacio vectorial sobre R (respectivamente, C). Una forma bi-
lineal sim etrica (respectivamente, hermtica) sobre X es una aplicaci on h: X XK
que posee las propiedades siguientes:
(i) y h(x, y) es K-lineal para cada x V ,
(ii) h(x, y) = h(y, x).
Observaci on 7.5. Cuando K = R, la condici on (ii) se transforma en h(x, y) = h(y, x), lo
que implica f acilmente que h es bilineal sim etrica. Cuando K = C, las condiciones (i) y
(ii) implican que x h(x, y) es semilineal, es decir, h(x
1
+x
2
, y) = h(x
1
, y) +h(x
2
, y)
y h(x, y) = h(x, y).
Denici on 7.5. Una forma es positiva si h(x, x) 0 para cada x X y es denida
positiva si adem as h(x, x) = 0 si y s olo si x = 0.
Lema 7.18. Si h es una forma bilineal sim etrica (respectivamente, hermtica) denida
positiva sobre un espacio vectorial X sobre R (respectivamente, C). Entonces:
(i) [h(x, y)[
_
h(x, x)h(y, y) (desigualdad de Cauchy-Schwarz),
(ii)
_
h(x +y, x +y)
_
h(x, x)
_
h(y, y).
Proposici on 7.19. Sea h una forma bilineal sim etrica (respectivamente, hermtica) de-
nida positiva sobre un espacio vectorial X sobre R (respectivamente, C). Entonces, la
aplicaci on x
_
h(x, x) es una norma sobre X.
Denici on 7.6. Un espacio vectorial normado cuya norma proviene de una forma bilineal
sim etrica (respectivamente, hermtica) denida positiva se llama espacio prehilbertiano.
Si adem as este espacio vectorial es completo, se dice que es un espacio de Hilbert.
Observaci on 7.6. A partir de ahora se denotar a h(x, y) por x, y) y
_
h(x, x) por |x|.
Denici on 7.7. En un espacio prehilbertiano X, se dice que x, y X son ortogonales si
x, y) = 0.
Proposici on 7.20. Sea X un espacio prehilbertiano y x, y X. Entonces
(i) |x +y|
2
+|x y|
2
= 2(|x|
2
+|y|
2
) (ley del paralelogramo),
(ii) si x e y son ortogonales, es |x +y|
2
= |x|
2
+|y|
2
(teorema de Pit agoras).
Si Aes un subespacio vectorial de un espacio prehilbertiano X, se dene el subespacio
vectorial cerrado de X, A
como el conjunto de los elementos x X que son ortogonales

a cada elemento de A. Entonces:
Teorema 7.21. Si X es un espacio prehilbertiano y F un subespacio completo de X, para
cada x X existe un unico y F tal que |x y| = d
|.|
(x, F): este elemento se llama
proyecci on ortogonal de x sobre F y se denota p
F
(x).
Proposici on 7.22. En las condiciones anteriores, se verica:
(i) si x X, p
F
(x) es el unico elemento z F tal que x z es ortogonal a F;
(ii) X = F F
;
(iii) la aplicaci on x p
F
(x) de X en X es lineal y continua. Su norma vale 1 si F es
no trivial, su imagen es F y su n ucleo es F
.
Teorema 7.23. (Teorema de Riesz) Sea X un espacio de Hilbert y l L(X, K) una
forma lineal continua. Existe un unico a X tal que l(x) = a, x) para cada x X.
Adem as |a| = [l[.
7.2. Espacios de funciones
7.2.1. Convergencia simple y uniforme
Sea X un conjunto cualquiera e (Y, ) un espacio m etrico.
Denici on 7.8. Una sucesi on de aplicaciones f
n
: XY
nN
converge simplemente o
puntualmente sobre X, si para cada x X, la sucesi on f
n
(x)
nN
tiene lmite en (Y, ),
que denotamos f(x), y que determina una funci on f : XY que se llama lmite simple
o puntual de f
n
nN
.
Observaci on 7.7. Seg un la anterior denici on, f
n
: XY
nN
converge puntualmen-
te a f : XY , si para cada > 0 y x X, existe n
,x
N tal que (f
n
(x), f(x)) <
si n n
,x
.
Denici on 7.9. Una sucesi on de aplicaciones f
n
: XY
nN
converge uniformemen-
te sobre X a una funci on f : XY , si para cada > 0, existe n
N tal que para cada

n n
y x X es (f
n
(x), f(x)) < , es decir, lm
n
_
sup
xX
(f
n
(x), f(x))
_
= 0.
Lema 7.24. (Relaci on entre la convergencia simple y la uniforme) Sea una sucesi on de
aplicaciones f
n
: XY
nN
. Si converge uniformemente hacia f sobre X, entonces
converge puntualmente hacia f sobre X.
7.2. Espacios de funciones 127
Observaci on 7.8. El recproco no es cierto: sea f
n
: [0, 1] (R, d
u
)
nN
denida por
f
n
(t) = t
n
. La sucesi on converge simplemente hacia la funci on
1
: [0, 1] (R, d
u
),
pero no converge uniformemente sobre [0, 1].
Sin embargo, hay un caso importante en el que el recproco es cierto:
Lema 7.25. Sea (X, d) un espacio m etrico compacto y f
n
: (X, d)(Y, )
nN
y
f : (X, d)(Y, ) una familia de funciones continuas. Si para cada x X la sucesi on
de las distancias (f(x), f
n
(x))
nN
es decreciente y tiende a cero, entonces f
n
nN
tiende uniformemente a f.
Demostraci on: Para cada > 0 y n N, el conjunto A
n
= x X : d(f(x), f
n
(x))
es cerrado en (X, d). La familia A
nN
es adem as encajada y
nN
A
n
= . Como X es
compacto, debe existir n
tal que A
= , con lo que para cada n n
y todo x X es
(f(x), f(x
n
)) < , de donde se deduce la convergencia uniforme.
Corolario 7.26. (Teorema de Dini para espacios m etricos) Sea (X, d) un espacio m etri-
co compacto y f
n
: (X, d)(R, d
u
)
nN
una sucesi on de funciones continuas. Se su-
pone que f
n
nN
es mon otona y que converge simplemente hacia la funci on continua
f : (X, d)(R, d
u
), entonces f
n
nN
converge uniformemente hacia f.
Observaci on 7.9. En el enunciado del corolario anterior, es la sucesi on f
n
nN
la que
es mon otona, no las funciones f
n
(X no es en general ordenado).
En las condiciones de la denici on 7.9, la convergencia uniforme puede interpretarse
como la convergencia de puntos en un espacio m etrico adecuado: sea B(X, Y ) el conjunto
de las funciones acotadas de X en Y y d(f, g) = sup
xX
d(f(x), g(x)) la m etrica del
supremo. Sobre B
f
(X, Y ) = g : XY : d(f, g) < queda denida una m etrica
por d(g, h) = sup
xX
d(g(x), h(x)), y entonces:
Proposici on 7.27. f
n
nN
converge uniformemente hacia f si y s olo si lmf
n
= f en el
espacio m etrico B
f
(X, Y ).
Teorema 7.28. Sean (X, d) e (Y, ) espacios m etricos, una familia de funciones conti-
nuas f
n
: (X, d)(Y, )
nN
y f : (X, d)(Y, ). Si f
n
nN
converge a f unifor-
memente sobre X, entonces f es continua.
Proposici on 7.29. (Criterio de Cauchy) Sean (X, d) e (Y, ) espacios m etricos,(Y, )
completo y una familia f
n
: (X, d)(Y, )
nN
. Existe f : (X, d)(Y, ) tal que
f
n
nN
converge a f uniformemente sobre X si y s olo si se satisface la siguiente condi-
ci on: para cada > 0 existe n
tal que si m, n n
, es (f
m
(x), f
n
(x)) < para cada
x X.
7.2.2. Algunos teoremas importantes en An alisis Real
Sean (X, d) un espacio m etrico compacto y ((X, R), el espacio vectorial real de las
aplicaciones continuas de (X, d) en (R, d
u
), provisto de la norma |f|
= sup
xX
[f(x)[.
Nuestro inter es es caracterizar los compactos en ((X, R).
Sea A ((X, R), si A es compacto, entonces es cerrado y acotado, pero estas condi-
ciones no son sucientes, como lo prueba el siguiente ejemplo: sea (X, d) = ([0, 1], d
u
)
y A = f
n
: ([0, 1], d
u
)(R, d
u
) : f
n
(x) = x
n
nN
; A es cerrado y acotado ya que
A B(0, 1), pero no es compacto pues la sucesi on f
n
nN
no posee subsucesiones con-
vergentes. En efecto, f
n
nN
converge simplemente hacia
1
, con lo que toda subsuce-
si on f
(n)
nN
converge simplemente hacia
1
; luego, f
(n)
nN
no puede converger
uniformemente hacia una funci on continua.
Denici on 7.10. Se dice que A ((X, R) es equicontinuo en x
0
X si para cada > 0
existe > 0 tal que para cada f A, si d(x, x
0
) < , es [f(x) f(x
0
)[ < .
Ejemplo 7.3. El conjunto A
k
= f ((X, R) : [f(x) f(y)[ kd(x, y) es equicon-
tinuo.
Teorema 7.30. (Teorema de Ascoli) Sea (X, d) un espacio m etrico compacto. Son equi-
valentes:
(i) A es compacto en ((X, R),
(ii) A es un subconjunto cerrado, acotado y equicontinuo en ((X, R),
Demostraci on: (i) (ii) Como A es compacto, es evidentemente cerrado y acotado. Sea
> 0, como A es compacto, es precompacto, luego existen f
1
, . . . , f
n
A tales que
A B(f
1
,

3
) B(f
n
,

3
). Sea x
0
X; como cada f
i
es continua en x
0
, existe
i
> 0
tal que si d(x, x
0
) <
i
, es [f
i
(x) f
i
(x
0
)[ <

3
. Sea = mn
1
, . . . ,
n
. Si f A,
existe f
i
tal que |f f
i
|
<

3
, y por lo tanto, si d(x, x
0
) < , es
[f(x) f(x
0
)[ [f(x) f
i
(x)[ +[f
i
(x) f
i
(x
0
)[ +[f
i
(x
0
) f(x
0
)[,
luego [f(x) f(x
0
)[ 2|f f
i
|
+

3
< .
(ii) (i) Como ((X, R) es completo, A es completo, con lo que basta con probar que
Aes precompacto. Sea > 0. Como X es compacto, se puede cubrir por un n umero nito
de bolas abiertas B(x
1
,
x
1
), . . . , B(x
n
,
x
n
) donde los
x
i
se asocian a los x
i
a trav es de la
equicontinuidad de A (para cada f A, si d(x, x
i
) <
x
i
, entonces [f(x) f(x
i
)[ <

4
).
Como A es acotado, para cada x X, f(x) : f A posee adherencia compacta en R
y por lo tanto el conjunto de los valores de los elementos de A en los puntos x
1
, . . . , x
n
tiene adherencia compacta en R, con lo que se le puede cubrir por un n umero nito de
7.2. Espacios de funciones 129
bolas abiertas de centros y
1
, . . . , y
p
y radios

4
. Sea el conjunto de las aplicaciones de
1, . . . , n en 1, . . . , p, que es un conjunto nito. Para cada , sea A
el conjunto
de los f A tales que [f(x
i
) y
(i)
[ <

4
para i 1, . . . , n. Por construcci on, los A
cubren A; queda s olo por probar que para jo, A
est a contenido en una bola de radio .

Sean f, g A
y x X; existex
i
tal que d(x, x
i
) <
x
i
y por lo tanto [f(x) f(x
i
)[ <

4
y [g(x) g(x
i
)[ <

4
. Adem as, [f(x
i
) y
(i)
[ <

4
y [g(x
i
) y
(i)
[ <

4
, de donde
[f(x) g(x)[ [f(x) f(x
i
)[ +[f(x
i
) y
(i)
[ +[g(x
i
) y
(i)
[ +[g(x) g(x
i
)[ < .
Como esto es cierto para cada x X, es |f g|
< .
Observaci on 7.10. Se puede reemplazar en el teorema de Ascoli (R, d
u
) por un espacio
m etrico completo (Y, ), en cuyo caso la condici on de A acotado debe reemplazarse
por para cada x X el conjunto f(x) : f A tiene adherencia compacta en (Y, ).
Teorema 7.31. (Teorema del grafo cerrado) Sean (X, d) e (Y, ) espacios m etricos,
(Y, ) compacto. Si la funci on f : (X, d)(Y, ) es tal que su grafo G
f
es cerrado en
el producto (X Y, D), entonces f es continua.
Teorema 7.32. (Teorema de aproximaci on de Weierstrass) Dada una funci on continua
f : ([a, b], d
u
)(R, d
u
), existe una sucesi on p
n
: ([a, b], d
u
)(R, d
u
)
nN
de polino-
mios, que convergen uniformemente a f en [a, b].
Teorema 7.33. (Teorema de Stone-Weierstrass) Sea (X, d) un espacio m etrico compac-
to y / ((X, R) un algebra de funciones continuas que contiene a las constantes y
separa puntos (es decir, para cada x ,= y X existe f / tal que f(x) ,= f(y)). Toda
funci on en ((X, R) puede ser uniformemente aproximada por funciones de /.
Bibliografa
Que otros se jacten de las p aginas que han escrito;
a m me enorgullecen las que he ledo.
Un lector
Jorge Luis Borges (1899-1986)
[ADQ] R. Ayala, E. Dominguez y A. Quintero; Elementos de Topologa General,
Addison-Wesley Iberoamericana, 1997.
[BRV] F. Bombal, L. Rodrguez y G. Vera, Problemas de An alisis Matem atico: espacios
m etricos y normados. El espacio R
n
, Editorial AC, 1982.
[Br] V. Bryant, Metric spaces: iteration and application, Cambridge University Press,
1996.
[C] E.T. Copson, Metric spaces, Cambridge University Press, 1988.
[Di] J. Daz Moreno, Introducci on a la teora de espacios m etricos, Servicio de Publi-
caciones de la Universidad de C adiz, 1982.
[Du] J. Dugundji; Topology, Allyn and Bacon, 1968.
[F] G. Flory, Ejercicios de Topologa y An alisis, Revert e, 1978.
[G] J.R. Giles, Introduction to the Analysis of Metric Spaces, Cambridge University
Press, 1987.
[H] B.I. Hernando Boto, Problemas sobre espacios m etricos, normados y de Hilbert,
Universidad Nacional de Educaci on a Distancia, 2002.
131
132 Bibliografa
[I] I.L. Iribarren, Topologa de Espacios M etricos, Limusa, 1973.
[JA] P.K. Jain and K. Ahmad, Metric Spaces, Narosa Pub., 1996.
[Ka] I. Kaplansky, Set Theory and Metric Spaces, Chelsea Pub. Co., 1977.
[Ku] S. Kumaresan, Topology of Metric Spaces, Alpha Sci., 2005.
[Lim] E.L. Lima, Espacos metricos, Projeto Euclides, 1977.
[Lip] S. Lipschutz; Topologa General, McGraw Hill, 1967.
[Mi] F. Michavila, Espacios m etricos. Espacios vectoriales normados, Editorial AC,
1981.
[Mun] J.R. Munkres, Topologa, Prentice Hall, 2002.
[Mur] M.G. Murdeshwar; General Topology, Wiley Eastern Limited, 1986.
[P] C.G.C. Pitts, Introduction to Metric Spaces, Oliver and Boyd, 1972.
[R] R.B. Reisel, Elementary theory of Metric Spaces, Springer Verlag, 1982.
[Se] M.O. Searc oid, Metric spaces, Springer, 2007.
[SV] S. Shirali and H.L. Vasudeva, Metric spaces, Springer, 2006.
[SS] J.A. Steen and J.A. Seebach; Counterexamples in Topology, Dover, 1995.
[Su] W.A. Sutherland, Introduction to metric and topological spaces, Oxford Sci. Publ.,
1993.
[W] S. Willard; General Topology, Addison-Wesley, 1970.

Lecciones de Topologia

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Lecciones de Topologia

Uploaded by

Copyright:

Available Formats

LECCIONES DE TOPOLOG

B tal que d(A, B)+ > d(x

, B) < d(A, B) + para cada > 0. Como nfd(x, B) : x A d(x

F cerrado: A F, es decir, A es el menor cerrado en (X, d) que contiene

F cerrado: A F. Adem as,

A, para cada r > 0 es B(x, r) , A, es decir, B(x, r) (X A) ,= , luego

U por ser abierto.

Q) = fr() = = fr(Q) = fr(R).

A e y A, entonces tx + (1 t)y : t (0, 1]

= a B : [x, y] B : a [x, y], es a = x o a = y.

es el conjunto de los puntos extremales de A y A

5, 0) y T = (5, 0). Sea

X tal que d(x

y por (i) es f(U

> 1 seg un (ii).

= x X : f(x) > son

N tal que para cada n n

> 0, tal que para n n

N tal que para cada m, n n

N tal que para n, m n

tal que para cada n n

A. Por construcci on,

(x, y) = mn1, d(x, y). Se pide probar:

f(x +h) f(x)

como el conjunto de los elementos x X que son ortogonales

N tal que para cada

= , con lo que para cada n n

cubren A; queda s olo por probar que para jo, A

est a contenido en una bola de radio .

You might also like