Ignacio Iribarren

TOPOLOG
IA DE ESPACIOS M
ETRICOS
Curso 2009/2010
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: Transparence, de Jean-Yves Piffard, http://www.piffard.ch/
Un especial agradecimiento al artista Jean-Yves Piffard, por permitirme usar una de sus
obras en la portada.
Indice general
Introducci on 5
1. Conjuntos y aplicaciones 1
1.1. Nociones 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 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.5. Propiedades de los n umeros reales . . . . . . . . . . . . . . . . . . . . . 13
1.6. Cardinalidad de conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . 14
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
2.4.2. Interior de un conjunto . . . . . . . . . . . . . . . . . . . . . . . 35
2.4.3. Frontera de un conjunto . . . . . . . . . . . . . . . . . . . . . . 36
2.5. Subespacios de un espacio m etrico . . . . . . . . . . . . . . . . . . . . . 37
3
4

Indice general
2.6. Di ametro de un conjunto. Conjuntos acotados . . . . . . . . . . . . . . . 38
2.7. Conjuntos densos y espacios separables . . . . . . . . . . . . . . . . . . 40
2.8. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
3. Continuidad en espacios m etricos 55
3.1. Aplicaciones continuas . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
3.2. Aplicaciones continuas y subespacios . . . . . . . . . . . . . . . . . . . 58
3.3. Aplicaciones uniformemente continuas . . . . . . . . . . . . . . . . . . . 59
3.4. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
4. Completitud en espacios m etricos 69
4.1. Denici on de sucesi on . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
4.2. Sucesiones convergentes . . . . . . . . . . . . . . . . . . . . . . . . . . 70
4.3. Sucesiones de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
4.4. Espacios m etricos completos . . . . . . . . . . . . . . . . . . . . . . . . 74
4.5. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 76
5. Conexi on en espacios m etricos 83
5.1. Espacios y conjuntos conexos . . . . . . . . . . . . . . . . . . . . . . . 83
5.2. Componentes conexas . . . . . . . . . . . . . . . . . . . . . . . . . . . 85
5.3. Espacios totalmente disconexos . . . . . . . . . . . . . . . . . . . . . . 86
5.4. Conexi on en espacios eucldeos . . . . . . . . . . . . . . . . . . . . . . 87
5.5. Conexi on y continuidad . . . . . . . . . . . . . . . . . . . . . . . . . . . 88
5.6. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 88
6. Compacidad en espacios m etricos 95
6.1. Espacios y conjuntos secuencialmente compactos . . . . . . . . . . . . . 95
6.2. Compacidad y continuidad . . . . . . . . . . . . . . . . . . . . . . . . . 97
6.3. Compacidad en espacios topol ogicos . . . . . . . . . . . . . . . . . . . . 97
6.4. Compacidad en espacios eucldeos . . . . . . . . . . . . . . . . . . . . . 101
6.5. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 103
Bibliografa 107
Introducci on
Ya no la quiero, es cierto, pero cu anto la quise.
Mi alma no se contenta con haberla perdido.
Aunque este sea el ultimo dolor que ella me causa,
Y estos sean los ultimos versos que yo le escribo.
Poema XX
Pablo Neruda (19041973)
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. Se dir a que la
circunferencia, el cuadrado y la elipse son objetos topol ogicamente equivalentes: la cua-
lidad de no tener extremidades permanece constante durante estas transformaciones, esta
si es una propiedad topol ogica.
Una conocida broma arma que las personas que se dedican al estudio de la topologa
no distinguen una rosquilla de una taza de caf e:

en efecto, hemos pasado de la rosquilla a la taza sin realizar ni roturas ni cortes: ha sido
una transformaci on topol ogica.
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.
5
6 Introducci on
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 curso de topologa de espacios m etricos, se trata de dar una introducci on a la
topologa, a trav es de la teora de espacios m etricos.
Este texto est a organizado en seis 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 .
La bibliografa indicada se reere en su mayora a textos sobre espacios m etricos,
aunque aparecen tambi en algunos libros cl asicos dedicados a los espacios topol ogicos
en general. Los cinco textos recomendados (por tratarse de una bibliografa amplia) para
el curso van marcados con : [D] y [H] por estar en castellano, la obra [R] por adaptarse
perfectamente al contenido de esta asignatura, [Se] y [SV] por tratarse de libros de reciente
aparici on... cualquiera de ellos ser a un buen libro de consulta.
Leioa, febrero de 2010
Captulo 1
Conjuntos y aplicaciones
El mar respira apenas, brilla apenas.
Se ha parado la luz entre los arboles,
ej ercito dormido. Los despierta
el viento con banderas de follajes.
Primavera a la vista
Octavio Paz (1914-1998)
1.1. Nociones de L ogica
La L ogica es una herramienta b asica en Matem aticas; damos aqu un breve repaso de
algunos 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 llamados conectores:
1) la negaci on: no;
2) la conjunci on: (y);
1
2 Captulo 1. Conjuntos y aplicaciones
3) la disyunci on: (o);
4) la implicaci on: =(si , entonces);
5) la doble implicaci on: (si y s olo si, es equivalente a).
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 (denici on 1.11), para
expresar que x cumple P, se escribir a P(x). Y entonces:
Proposici on 1.1. El enunciado P(x) Q(x), signica una de las tres posibilidades (mu-
tuamente excluyentes) 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. Un enunciado se niega de la siguiente manera:
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 (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)).
Proposici on 1.3. Cuando aparecen varios cuanticadores en un enunciado, es indiferente
el orden en el que se escriben, siempre que los cuanticadores involucrados sean del
mismo tipo. Si P(x, y) es una propiedad relativa a los elementos x e y, entonces:
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)) .
Contraejemplo 1.1. Hay que tener cuidado cuando se ven involucrados cuanticadores
de distinto tipo. Por ejemplo, el enunciado (x, y : P(x, y)) no equivale a la expresi on
(y : x, P(x, y)). En efecto, si X = N y P(x, y) es la propiedad x y, la primera
expresi on se lee como que todo n umero natural posee otro mayor (que es cierta) y la
segunda signica que existe un n umero natural mayor que todos los dem as (que es falsa).
Proposici on 1.4. El cuanticador existencial y el conector disyunci on se pueden inter-
cambiar en la escritura de un enunciado, as como el cuanticador universal y el conector
conjunci on:
1.1. Nociones de L ogica 3
1) (x, P(x)) y (y, Q(y)) es lo mismo que (x, y, P(x) Q(y));
2) (x : P(x)) o (y : Q(y)) es equivalente a (x, y : P(x) Q(y)).
Contraejemplo 1.2. En general, no se pueden intercambiar cuanticadores y conectores
en la escritura de un enunciado:
1) la expresi on (x, P(x) Q(x)) no equivale a (x, P(x)) (x : Q(x)). En efecto,
si X = N, P y Q son las propiedades de ser par y ser impar respectivamente,
entonces 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);
2) la expresi on (x : P(x)) (x : Q(x)) no equivale a (x : P(x) Q(x)). En efecto,
tomando de nuevo el ejemplo de 1), 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, los denominados 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 por lo tanto 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, que es la base de la Geometra Eucldea: dos rectas paralelas del
plano eucldeo no se cortan;
2) axioma de elecci on: dado un conjunto X, existe una funci on (denici on 1.18) de
elecci on, f : T(X) X (denici on 1.14), que asigna a todo conjunto A no
vaco, un punto distinguido f(A) = a A;
3) lema de Zorn: sea un conjunto parcialmente ordenado (X, ) (denici on 1.31), tal que
todo conjunto bien ordenado (denici on 1.33) admite una cota superior (denici on
1.34); entonces (X, ) posee un elemento maximal (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 un enunciado que sirve para explicar o introducir una
nueva noci on.
Una vez conocidos los axiomas y algunas deniciones, el juego puede comenzar,
puesto que las reglas ya se conocen.
Denici on 1.5. Un teorema es un enunciado que se deduce:
1) directamente de los axiomas o
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 si no inmediata, cuando menos corta y f acil.
1.1.3. Condiciones necesarias y sucientes
Denici on 1.9. (La implicaci on) Sean X un conjunto y P y Q dos propiedades ma-
tem aticas deniendo los conjuntos A = x X : P(x) y B = x X : Q(x)
respectivamente. Si A B (denici on 1.12), todo elemento vericando P, cumple tam-
bi en Q. En este caso, se dice que P implica Q, y se escribe P = Q. Se dice tambi en
que Pes una condici on suciente de Q(para obtener Qbasta con conocer P) o que Qes
una condici on necesaria de P.
Denici on 1.10. (La equivalencia) En las condiciones de la denici on 1.9, si A = B
(denici on 1.12), todo elemento vericando P cumple tambi en Q y viceversa. 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. Nociones de L ogica 5
1.1.4. Los m etodos de demostraci on
Hay muchos m etodos de demostraci on, de los cuales citamos los m as importantes a
continuaci on, usando la notaci on de la denici on 1.9:
(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 de los elementos que cumplen Pen una uni on
disjunta (denici on 1.13) de subconjuntos A
1
, , A
n
. Entonces, se prueba que para cada
1 i n es A
i
B; y como A = A
1
A
n
, se tendr a A B.
Ejemplo 1.1. 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 con-
trarecproco 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 (denici on 1.13) veri-
can la inclusi on B
c
A
c
.
Ejemplo 1.2. 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
supone su negaci on no-P, y se busca una contradicci on en la teora en la que se tra-
baja.
Como evidentemente se admite 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 propia
suposici 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 un propiedad matem atica P es cierta para 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.
Ejemplo 1.3. 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 propiedad matem atica
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 etapa 1) es una simple vericaci on y la 2) es, de hecho, el objeto de una demostraci on.
Ejemplo 1.4. 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
.
Observaci on 1.2. 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.
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 7
1.2. Teora de conjuntos
Denici on 1.11. Un conjunto es una colecci on de objetos, llamados elementos o puntos.
Si x es un elemento de X, se denota por x X. An alogamente, x / X denota la no
pertenencia de x a X. El conjunto vaco es el conjunto sin elementos.
Son conjuntos importantes en Matem aticas N, Z, Q, R, .
Se puede denir un conjunto:
1) por extensi on, nombrando todos sus elementos: por ejemplo, el conjunto de los n umeros
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.5. 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.6. 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;
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
.
1.3. Funciones y sus propiedades 9
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.7. 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
);
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.8. 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.
1.4. Relaciones binarias 11
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.9. 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.10. 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.
Proposici on 1.11. 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.12. 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.5. 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 13
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.13. (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.14. 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 + .
Teorema 1.15. Res arquimediano, es decir, el conjunto Nno est a acotado superiormente.
Demostraci on: Si lo estuviera, existira r
0
R, tal que n r
0
para cada n N. Pero
n
0
= [r
0
] + 1 N, y n
0
, r
0
.
Del teorema 1.15 se deducen inmediatamente:
Corolario 1.16. (Propiedad arquimediana) Para todo x > 0, existe n N, tal que
0 <
1
n
< x.
Corolario 1.17. (Densidad de los racionales) Dados dos n umeros reales x < y, existe
r Q, tal que x < r < y.
Demostraci on: Por la propiedad arquimediana (corolario 1.16), existe n
0
N tal que
1
n
0
< y x. El conjunto M = m N : x <
m
n
0
es no vaco y est a bien ordenado,
es decir, existe m
0
M tal que x <
m
0
n
0
y x
m
0
1
n
0
. Es inmediato probar que adem as
m
0
n
0
< y.
Corolario 1.18. (Propiedad de los intervalos de encaje) Dada [a
n
, b
n
] : n N, una
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
] ,= .
Demostraci on: Para cada m, n N, es a
n
< b
m
, luego para todo m N, b
m
es cota
superior del conjunto A = a
n
nN
. Si p = sup(A), es claro que p
nN
[a
n
, b
n
].
1.6. 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.3. 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.19. 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 apli-
caci 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.20. 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.
1.6. Cardinalidad de conjuntos 15
Teorema 1.21. N N es numerable.
Demostraci on: Se dene la siguiente relaci on binaria: dados (m
1
, n
1
), (m
2
, n
2
) NN,
(m
1
, n
1
) (m
2
, n
2
) si:
1) m
1
+n
1
< m
2
+n
2
, o
2) m
1
+n
1
= m
2
+n
2
y m
1
< m
2
.
_es un orden total, gracias al cual se pueden escribir los elementos de NN en una lista.
La aplicaci on f : N NN dada por f(m, n) =
1
2
(m+n1)(m+n2) +m, asigna
a cada elemento (m, n) N N el lugar que ocupa en esta lista, y es por lo tanto una
biyecci on.
Corolario 1.22. Del teorema 1.21 se deduce:
1) el producto cartesiano de una familia nita de conjuntos contables, es contable;
2) la uni on de una familia contable de conjuntos contables es contable;
3) Z y Q son numerables.
Demostraci on: Para probar 3), basta con usar 2). Z = N 0 N. Adem as, Q =
m
n
: m Z, n N se puede escribir como la uni on numerable Q =
_
nN
A
n
, donde
A
n
=
m
n
: m Z, que es equipotente a Z.
Contraejemplo 1.3. R no es numerable.
Demostraci on: Basta con demostrar que [0, 1] no es numerable. Si lo fuera, se escribira
[0, 1] = x
n
nN
. Se construye una sucesi on de intervalos encajados del modo siguiente:
x
1
no puede pertenecer a los tres intervalos
_
0,
1
3
,
_
1
3
,
2
3
y
_
2
3
, 1
. Sea I
1
= [a
1
, b
1
] uno
de estos tres intervalos, tal que x
1
, I
1
. Se divide I
1
en tres intervalos de amplitud
1
9
:
_
a
1
, a
1
+
1
3
,
_
a
1
+
1
3
, a
1
+
2
3
y
_
a
1
+
1
3
, b
1
. De nuevo, existe uno de ellos I

2
I
1
, tal
que x
2
, I
2
. Se contin ua de manera inductiva, obteniendo una sucesi on de intervalos
encajados I
n
nN
, cada I
n
de longitud
1
3
n
y tal que x
n
, I
n
. Por la propiedad de los
intervalos de encaje (corolario 1.18), existe p
nN
I
n
[0, 1], lo que es imposible.
El Card() = 0, es el cardinal mnimo. Sin embargo no existe un cardinal m aximo,
ya que:
Teorema 1.23. (de Cantor) Para cada conjunto X, Card(X) < Card(T(X)).
Demostraci on: Si X = , Card(T(X)) = 1, pues T(X) = . Si X ,= , es ob-
vio que Card(X) Card(T(X)), porque la aplicaci on h: XT(X) denida por
h(x) = x es inyectiva. Supongamos que Card(X) = Card(T(X)), es decir, existe
una aplicaci on f : XT(X) biyectiva. Sea A = x X : x , f(x) T(X). Co-
mo 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.
En particular, Card(N) =
0
< Card(T(N)) = 2
0
(notaci on que proviene de
la propiedad 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. Georg Cantor (1845-1918) hace la siguiente conjetura:
Teorema 1.24. (Hip otesis del continuo) c =
1
, es decir, no existe ning un conjunto A,
tal que
0
< Card(A) < c.
Paul Joseph Cohen (1934-2007) establece en 1963 que la hip otesis del continuo es in-
decidible: a nadiendo como axioma su veracidad o su falsedad, los fundamentos de la
Matem atica siguen siendo coherentes.
1.7. Ejercicios
1.- Con ayuda del lenguaje simb olico, decidir si son correctas las siguientes deducciones:
a) Los gusanos reptan. Todo lo que repta se mancha. Luego, los gusanos est an sucios.
b) Si aumenta la temperatura o cae un meteorito, los osos polares morir an de hambre. Se
sabe que los osos polares van a sobrevivir, por lo tanto, caer a pronto un meteorito.
c) Ninguna pelota de tenis es de cristal. Ning un objeto de cristal es indestructible. Luego,
ninguna pelota de tenis es indestructible.
d) Si se abandona la utilizaci on de gasolina o se incrementa el uso de energa solar,
la contaminaci on disminuir a. Si se abandona el uso de gasolina, el pas entrar a en
crisis. La utilizaci on de la energa solar no aumentar a, a no ser que no haya crisis.
Por lo tanto, la contaminaci on no va a disminuir.
e) Los profesores son s adicos. Algunos s adicos usan l atigo. Por lo tanto, algunos profe-
sores usan l atigo.
1.7. Ejercicios 17
f) Los caramelos son dulces. Ning un alimento dulce contiene sal. Luego, los caramelos
no contienen sal.
g) Los p ajaros silban. Algunos habitantes de Euskadi son p ajaros. Luego, algunas cria-
turas de Euskadi 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 esponjosas. Algunos objetos esponjosos 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 ven CSI-Las Vegas. Algunas criaturas de G alapagos son tortugas. Por lo
tanto, algunos habitantes de Gal apagos ven CSI-Las Vegas.
l) Las polillas salen de noche. Algunos caminantes nocturnos son vampros. Por lo tanto,
las polillas son vampros.
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 tricotar. Yo no s e tricotar. Luego, soy un elefante.
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 Sevilla tienen paraguas.
d) El Athletic de Bilbao ganar a la Liga de f utbol.
e) Nadie en Euskadi 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 El Sahara.
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 Ciencia y Tecnologa de la
UPV/EHU, H el conjunto de los hombres, M el de la mujeres, C el de los estudiantes que
van en coche a la Universidad, Ael 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 han faltado a la clase de Matem aticas en el Instituto. 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.
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 s olo tres de estas sentencias son ciertas?
1.7. Ejercicios 19
5.- Traducir las siguientes frases del lenguaje natural en un lenguaje simb olico utilizando
una o varias propiedades P. Negar cada enunciado y traducirlo 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) Preero la poesa a la novela hist orica.
6.- Probar la siguiente propiedad: Si x R y para cada > 0, es [x[ < , entonces x = 0.
7.- Dado el conjunto A = a, b, son v alidas las siguientes expresiones?
(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) probar que si A B, entonces T(A) T(B). Es cierto el recproco?
10.- Si A, B X, probar que son equivalentes las siguientes expresiones:
(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, hallar los conjuntos pedidos:
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
;
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
;
1.7. Ejercicios 21
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:
a)
AB
=
A
.
B
; b)
AB
=
A
+
B

AB
;
c)
AB
=
A
AB
; d)
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
y g(x) =
_
x si x 0
x si x < 0
Se pide:
a) estudiar las funciones f g, f f, g g, g f, si tienen sentido;
b) estudiar el car acter sobreyectivo e inyectivo de f, g, f g y g f;
c) 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
Se pide:
a) estudiar si f es inyectiva o sobreyectiva;
b) calcular f((1, 3)), f([2, 2]), f
1
((0, 1)), f
1
([4, 4]);
c) si g : RRes la aplicaci on g(x) = [x[, determinar fg y calcular (fg)
1
((2, 5]).
20.- Probar que la aplicaci on f : R 2R 1, denida por: f(x) =
x+2
x2
es
biyectiva y calcular f
1
.
21.- Calcular f(A
i
) y f
1
(B
i
) (i 1, 2), para f : RR, donde:
a) f(x) = x
2
, A
1
= (0, 2), B
1
= (0, 4) y B
2
= (1, 0);
b) f(x) = x
4
, A
1
= (0, 2), A
2
= , B
1
= (0, 16] y B
2
= (1, 0];
c) f(x) =
1
x
(para x > 0), A
1
= N, B
1
= x R : x > 2 y B
2
= N;
d) 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:
a) si x > 0 e y > 0, existe n N, tal que nx > y;
b) si x > 0, existe n N, tal que 0 <
1
n
< x;
c) si x > 0, existe n N, tal que n 1 x < n.
Captulo 2
Espacios m etricos
Horizontal es la noche en el mar,
gran masa tr emula
sobre la tierra acostada,
vencida sobre la playa.
La voz a ti debida
Pedro Salinas (1892-1951)
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 dicha noci on, 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),
23
24 Captulo 2. Espacios m etricos
(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.
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. En-
tonces d recibe el nombre de pseudom etrica.
Sobre un mismo conjunto pueden denirse distintas m etricas, que dan lugar a diferen-
tes espacios m etricos, como se comprueba en los siguientes ejemplos.
Ejemplos 2.1. Los primeros ejemplos de espacios m etricos son:
1) (X, d
dis
) donde d
dis
es la m etrica discreta sobre X:
d
dis
(x, y) =
_
0 si x = y
1 si x ,= y
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. Podemos denir
tres distancias sobre X:
a) d
max
: X XR denida por d
max
(x, y) = maxd
i
(x
i
, y
i
) : 1 i n;
b) d
sum
: X XR denida por d
sum
(x, y) =
n
i=1
d
i
(x
i
, y
i
);
c) d
u
: X XR denida por d
u
(x, y) =
i=1
d
2
i
(x
i
, y
i
), es la distancia eu-
cldea. La unica propiedad de m etrica no trivial para d
u
es la desigualdad
triangular, que en este caso recibe el nombre de desigualdad de Minkowski.
Para demostrarla, es preciso probar algunos 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
, se cumple:
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.
Observaci on 2.1. Comprobar la desigualdad triangular del ejemplo 2.1 3c), 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
);
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 Minkowski
(lema 2.2) 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, en el sentido dado en 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 relaci on ser m etricamente equivalente a es una relaci on de equivalencia
sobre el conjunto de todas las m etricas sobre X.
Gracias a este lema, decimos sencillamente que d
1
y d
2
son distancias m etricamente
equivalentes y que (X, d
1
) y (X, d
2
) son espacios m etricamente equivalentes.
Proposici on 2.4. Las m etricas d
max
, d
sum
y d
u
del ejemplo 2.1 3) son m etricamente equi-
valentes, y cualquiera de los tres espacios asociados se llama espacio m etrico producto
de la familia (X
i
, d
i
) : 1 i n.
Demostraci on: d
max
(x, y) d
sum
(x, y). Y d
sum
(x, y) nd
max
(x, y). Luego d
max
y
d
sum
son m etricamente equivalentes. Por otro lado, d
max
(x, y) d
u
(x, y). Y d
u
(x, y)
nd
max
(x, y). Luego d
max
y d
u
son m etricamente equivalentes. Por tratarse de una relaci on
de equivalencia, se deduce que d
sum
y d
u
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) d
max
: R
n
R
n
R denida por d
max
(x, y) = max[x
i
y
i
[ : 1 i n;
b) d
sum
: R
n
R
n
R dada por d
sum
(x, y) =
n
i=1
[x
i
y
i
[;
c) la distancia eucldea d
u
: R
n
R
n
R denida 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
dis
), 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) es 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 45 grados;
(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
Proposici on 2.9. En un espacio m etrico (X, d), se cumplen las siguientes propiedades:
(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) si r
1
, . . . , r
n
> 0, B(x, r
1
) B(x, r
n
) = B(x, r) y B(x, r
1
) B(x, r
n
) =
B(x, r), donde r = mnr
1
, . . . , r
n
.
Observaci on 2.2. La intersecci on arbitraria de bolas no tiene porque serlo; por ejemplo,
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
dis
), 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.3. 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.4. 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 T(X) vericando:
1) , X ,
2) si A
i
iI
, entonces
_
iI
A
i
,
3) si A
1
, . . . , A
n
, entonces A
1
A
n
.
2.3. Conjuntos abiertos y cerrados 31
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) para (R
n
, d
u
), se tiene la topologa eucldea
d
u
;
(ii) para (X, d
dis
),
d
dis
= 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.5. No todo espacio topol ogico es metrizable: por ejemplo, dado (R,
ind
),
donde
ind
= , R (la topologa indiscreta) no es metrizable, pues no se cumple la
propiedad de Hausdorff (teorema 2.10).
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.
Observaci on 2.6. El recproco no es cierto: sobre N, las m etricas discreta y usual son
topol ogicamente equivalentes (ambas inducen la topologa discreta), pero no son m etri-
camente equivalentes.
Observaci on 2.7. 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
, es el conjunto de los puntos

de acumulaci on de A. Si x A A
, se dice que x es un punto aislado.

Denici on 2.12. Sean (X, d) y A X. A se llama cerrado si A
A.
Ejemplos 2.6. Algunos ejemplos de puntos de acumulaci on son:
(i) en (R, d
u
), (0, )
= [0, ),
_
1
n
: n N
_
= 0, N
= y Q
= R;
(ii) en (X, d
dis
), para cada A X es A
= .
Lema 2.19. Sean (X, d) y A X. Si x A
, 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
= .
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
Ay x , A, es x , A
. 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
, 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, 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
dis
), 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.8. 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, 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
. 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.9. 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
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
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 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.10. 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
dis
), para todo A X es A = A.
2.4. Clausura, interior y frontera de un conjunto 35
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.31. En (X, d), si A X, se cumple: X A =
..
X A y X
A= X A.
Demostraci on: Si x , A, existe r > 0 tal que B(x, r)A = , es decir, B(x, r) XA,
con lo que x
..
X A. Por otro lado, 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.32. 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.31 (ii).
Observaci on 2.11. En particular,

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

A
B;
(ii)

A es abierto.
Teorema 2.34. (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.33 (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.31 y las propiedades del
teorema 2.30, se deduce que:
(i)

A
B=
..
A B;
(ii)

A
..
A B.
Observaci on 2.12. En 2.35 (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
dis
), para todo A X es fr(A) = .
Teorema 2.36. En (X, d), para A X es fr(A) = A X A = A
A.
Corolario 2.37. 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.13. 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).

2.5. Subespacios de un espacio m etrico 37
Teorema 2.38. 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.39. 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 d a A A, 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.40. 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.14. 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.41. 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.15. 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):
(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.42. 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.16. (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
dis
), todo A X est a acotado, ya que si A tiene m as de un punto, es
(A) = 1.
Observaci on 2.17. 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.43. 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.
2.6. Di ametro de un conjunto. Conjuntos acotados 39
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. Observar que 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
dis
),
es (B(x, 1)) = 0 < 2 y (B(x, 50)) = 1 < 100. Sin embargo, para (R
n
, d) donde
d = d
max
, d
sum
o d
u
, es (B(x, r)) = (B(x, r)) = 2r.
Lema 2.44. 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.45. 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.44, 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.18. En el teorema 2.45, 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.46. 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
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
dis
), A es denso si y s olo si A = X.
Teorema 2.47. En (X, d), A X es denso si y s olo el unico cerrado que contiene a A
es X.
Teorema 2.48. En (X, d), A X es denso si y s olo Acorta a cualquier abierto no vaco.
Proposici on 2.49. 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
dis
) 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 una relaci on binaria sobre
X por: 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.- Sean 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|
.
2.8. Ejercicios 41
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
(f, g) =
_
1
0
[f(x) g(x)[dx y d
2
(f, g) = 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.- Sean la recta ampliada R = R y 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.
12.- Probar que las siguientes aplicaciones son m etricas. En los espacios m etricos obtenidos,
caracterizar las bolas, el interior, el derivado, 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
2.8. Ejercicios 43
(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:
(i) si a R
n
, la traslaci on de vector a, t
a
: (R
n
, d
u
)(R
n
, d
u
), dada por t
a
(x) = a+x;
(ii) si R, la rotaci on elemental de angulo , r
: (R
2
, d
u
)(R
2
, d
u
), 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
, d
u
)(R
n
, d
u
), 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);
(vi) fr(B(a, r)) fr(B(a, r)) S(a, r).
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) (X, d
dis
) es discreto. El recproco no es cierto, es decir, existen espacios m etricos
discretos (X, d) para los cuales d no es la m etrica discreta;
(iv) si la intersecci on arbitraria de abiertos es abierta, entonces (X, d) es discreto;
(v) si X es un conjunto nito, entonces (X, d) es discreto;
(vi) si Y X, entonces (Y, d
Y
) es discreto si y s olo si Y Y
= ;
(vii) 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/R la 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);
2.8. Ejercicios 45
(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 A X denimos (A) =
Ay (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.
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
. Adem as, (A B)
, (A B)
= A
,
(A
(es decir, A
es cerrado),
_
iI
A
i
_
iI
A
i
y
_
iI
A
i

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

_
iI
A
i
,
iI
A
i

iI
A
i
, A B A B y (A)
= A
.
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).
2.8. Ejercicios 47
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
) y consideremos su producto carte-
siano (X = X
1
X
n
, d
max
). 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
max
) 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 probar las siguientes generalizaciones de la
propiedad de Hausdorff (teorema 2.10):
(i) si x ,= y X, existen U y V abiertos disjuntos en X, tales que x U, y V y
U V = ;
(ii) todo espacio m etrico es normal: dados A y B conjuntos cerrados y disjuntos en X,
existen abiertos U y V disjuntos tales que A U y B V .
32.- Sea (X, d) y la diagonal en el espacio m etrico producto (X X, D) (D es
cualquiera de las m etricas producto denidas). 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?
(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) (X, d
dis
) es un espacio ultram etrico.
34.- Sea (X, d) un espacio m etrico. Se pide:
(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
= , 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
denidas
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);
2.8. Ejercicios 49
(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;
(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
;
(ii) si A es abierto, entonces sup(A) , A.
2.8. Ejercicios 51
55.- En el espacio m etrico (R, d
u
), calcular el interior, el derivado, la clausura y la frontera
de los siguientes conjuntos: 0 < x < 1 : x posee representaci on decimal con 0 en el
primer dgito,
_
nN
_
1
n + 1
,
1
n
_
,
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 calcular las siguientes distancias:
(i) en (R, d
u
), si A = N y B = n
1
n
: n N, calcular d
u
(A, B);
(ii) en (R
2
, d
u
), si 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
intervalos cerrados de tipo n+1) y eliminando cada intervalo abierto
i
1
i
n
de tipo n+1
que queda entre ellos.
Sean C
n
la reuni on de los intervalos cerrados de tipo n y 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 (el conjunto de Cantor es grande
en el sentido conjuntista);
(iv) si se suman las longitudes de todos los intervalos abiertos eliminados en el proceso,
se obtiene la longitud del intervalo [0, 1] (el conjunto de Cantor es peque no en el
sentido medible);
(v) C no posee puntos aislados en [0, 1];
(vi)

C= (el conjunto de Cantor es peque no en el sentido topol ogico).
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);
2.8. Ejercicios 53
(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 coorde-
nadas 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;
(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.
Captulo 3
Continuidad en espacios m etricos
Mirar el ro hecho de tiempo y agua
y recordar que el tiempo es otro ro,
saber que nos perdemos como el ro
y que los rostros pasan como el agua.
Arte po etica
Jorge Luis Borges (1899-1986)
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), ).
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;
55
56 Captulo 3. Continuidad en espacios m etricos
(iii) si el espacio (X, d) es discreto (ejercicio 16 del apartado 2.8), 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.2. 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 ), es f(a) V . Por hip otesis, existe
a
> 0 tal que B
Y
(f(a),
a
) V . Como f es continua en a, existe = (a,
a
) > 0
tal que f (B
X
(a, )) B
Y
(f(a),
a
). Luego B
X
(a, ) f
1
(B
Y
(f(a),
a
)) f
1
(V ),
y queda probado que f
1
(V ) es abierto en (X, d). Y recprocamente, por hip otesis, 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.3. 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) = Q no es cerrado
en (R, d
u
).
Teorema 3.4. 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.3 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.1. Aplicaciones continuas 57
en (Y, ); la hip otesis garantiza que f(f
1
(F)
X
) f(f
1
(F))
Y
F
Y
= F. Toman-
do im agenes recprocas, se deduce que f
1
(F)
X
f
1
(F), y por el teorema 3.3, se
concluye la continuidad de f.
Observaci on 3.5. La igualdad no es cierta en general en el teorema 3.4: 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.5. 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.6. La relaci on ser homeomorfo a es una relaci on de equivalencia sobre la
familia 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: en efecto, como N y Q son numerables, existe una
funci on biyectiva entre ambos 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, ver ejemplo 3.1 (iii)), pero la aplicaci on
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.7. La composici on de homeomorsmos es un homeomorsmo.
Proposici on 3.8. 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.9. Toda isometra es un homeomorsmo.
Observaci on 3.7. Las isometras preservan las propiedades m etricas, mientras que los
homeomorsmos conservan las topol ogicas.
3.2. Aplicaciones continuas y subespacios
Proposici on 3.10. 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.11. 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.12. 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.8. 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]
: ([0, 1], d
u
)(R, d
u
) es continua, al
ser una funci on constante.
Teorema 3.13. 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.9. 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.4) 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. Por qu e?
Teorema 3.14. (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.
3.3. Aplicaciones uniformemente continuas 59
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.
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.14
garantiza que g no puede ser continua.
3.3. 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)) < .
Teorema 3.15. Si f : (X, d)(Y, ) es uniformemente continua, es continua.
Observaci on 3.10. 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.16. La composici on de aplicaciones uniformemente continuas, es uniforme-
mente continua.
Observaci on 3.11. 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.17. 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: la funci on
1
R
: (R, d
dis
)(R, d
u
), es una biyecci on uniformemente continua, pero no es una
isometra;
(iv) para cualquier espacio m etrico (Y, ) y cada funci on, f : (X, d
dis
)(Y, ) es uni-
formemente 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 contin-
ua, 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 uniforme-
mente continua.
Lema 3.18. Dos espacios m etricos uniformemente homeomorfos, son homeomorfos.
3.4. Ejercicios
1.- Responder a las siguientes cuestiones:
(i) si (X, d) es un espacio m etrico discreto e (Y, ) es arbitrario, probar que toda apli-
caci 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).
3.4. Ejercicios 61
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;
(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
) deni-
da 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) encontrar una funci on f : (X, d)(R, d
u
) continua, tal que f(A) = 0 y f(B) = 1;
(ii) probar que existen abiertos disjuntos U y V tales que A U y B V .
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 de las funciones: f : (R, d
u
)(R, d
dis
), f : (R, d
dis
)(R, ),
y f : (R, )(R, d
u
), donde (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)
3.4. Ejercicios 63
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
i
)(R, d
u
) y 1
R
: (R, d
u
)(R, d
i
),
para i 1, 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.
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 (ejercicio 61 del apartado 2.8) 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
= . Probar
que f(A) f(A)
= .
28.- Sea una 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.- Sea f : (X, d)(Y, ) una funci on. Se pide probar:
(i) si f es continua, entonces su grafo G
f
(denici on (1.19) es cerrado en (XY, 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;
3.4. Ejercicios 65
(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
si y s olo si f(x) (f(A))
;
(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;
(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 aco-
tadas 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 homeo-
morsmo: 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.
3.4. Ejercicios 67
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, ) es 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;
(iii) las aplicaciones de la proposici on 3.17 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.- 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) sea f : (X, d)(Y, ) una aplicaci on continua entre espacios m etricos. Se supone
que existen a ,= b X, tales que los conjuntos cerrados y disjuntos F = f
1
(a)
y G = f
1
(b) verican que d(F, G) = 0. Probar que f no es uniformemente
continua.
Captulo 4
Completitud en espacios m etricos
Empieza el llanto
de la guitarra.
Se rompen las copas
de la madrugada.
Poema de la Siguiriya gitana
Federico Garca Lorca (1898-1936)
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
69
70 Captulo 4. Completitud en espacios m etricos
semiconstante es nito, aunque el recproco no es cierto (por ejemplo, las suce-
siones oscilantes).
Denici on 4.2. Una subsucesi on y
n
nN
de la sucesi on x
n
nN
es otra sucesi on deni-
da 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.
4.2. Sucesiones convergentes 71
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 (teorema 2.10), es B(x,
r
2
) B(y,
r
2
) = ,
lo cual contradice la convergencia.
Observaci on 4.3. Si x
n
x en (X, d), se denota tambi en como lm(x
n
) = x.
Observaci on 4.4. 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 (ejercicio 16 del apartado 2.8), 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.6. 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;
(iv) cualquier reordenaci on de una sucesi on convergente converge al mismo punto.
Lema 4.8. En (X, d), si x
n
x y Rg (x
n
nN
) es innito, es (Rg(x
n
nN
))
= 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
. Supongamos que existe

y ,= x, y R
. 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
)
_
= 0, pero la suce-
si on no converge.
Teorema 4.9. En (X, d), x A
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
. 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
)
= x A
.
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
, 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.
4.3. Sucesiones de Cauchy 73
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.
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
n
B
X
(x,
1
n
) x 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).
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
))
,= ,
entonces x
n
nN
converge.
Demostraci on: Si x (Rg(x
n
nN
)
, por el corolario 4.10, existe una sucesi on y

n
nN
en (Rg(x
n
nN
))
tal que y
n
x, que se puede elegir como una subsucesi on de
x
n
nN
(observaci on 4.6 (iv)). 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 Cauchy,
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
), por no estar acotada.
4.4. Espacios m etricos completos
Denici on 4.5. Un espacio m etrico (X, d) se llama completo, si toda sucesi on de Cauchy
es convergente. As, en este tipo de espacios, se puede averiguar si una sucesi on es con-
vergente, sin necesidad de calcular su lmite.
4.4. Espacios m etricos completos 75
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.
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,
hemos 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 propiedad
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
= .
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.
4.5. 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:
4.5. Ejercicios 77
(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).
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.- Probar que (X, d
dis
) 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;
4.5. Ejercicios 79
(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, d) 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 cualquiera de las m etricas producto d
max
, d
sum
o d
u
. 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.
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 un 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 X/R;
(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 suce-
siones 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.
27.- En (X, d) se introducen los siguientes tipos de conjuntos (que necesitaremos para
el ejercicio 28), que son topol ogicamente peque nos por poseer interior vaco:
Denici on 4.8. Un conjunto A se dice nada denso, si X A es denso.
Denici on 4.9. Un conjunto A X se dice de primera categora o magro, si se puede es-
cribir como una uni on contable de conjuntos nada densos. Y se dice de segunda categora
si no es de primera.
Se pide demostrar:
(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;
4.5. Ejercicios 81
(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.
28.- Probar el teorema de Baire: si (X, d) es un espacio m etrico completo, cualquier
conjunto de primera categora tiene interior vaco.
Este resultado es de particular importancia, sobre todo en la construcci on de demostra-
ciones de existencia en An alisis (como el teorema de la aplicaci on abierta y el principio
de la acotaci on uniforme).
29.- Sea (X, d) un espacio m etrico completo. Deducir los siguientes corolarios del teo-
rema de Baire:
(i) (X, d) es de segunda categora;
(ii) cualquier conjunto abierto y no vaco en (X, d) es de segunda categora;
(iii) la intersecci on de cualquier familia numerable de conjuntos abiertos y densos es un
conjunto denso.
Los espacios m etricos que verican la propiedad enunciada en (iii) se llaman espacios de
Baire. Es decir, hemos probado que todo espacio m etrico completo es de Baire.
(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.
31.- Deducir las siguientes 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 C son magros e I es de segunda categora;
(iii) el conjunto de Cantor C no posee ning un punto aislado, luego no es contable (ya
lo sabamos por la construcci on del ejercicio 60 (iii) del apartado 2.8, pero es una
forma alternativa de demostrarlo);
(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
32.- En este ejercicio se trata de demostrar que existe f : ([0, 1], d
u
)(R, d
u
), una
funci on continua que no posee derivada en ning un punto.
Es la tpica demostraci on de teorema de existencia utilizando el teorema de Baire: se prue-
ba que alg un elemento del espacio debe tener una determinada propiedad, comprobando
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 de este tema se ha demostrado que el espacio m etrico (C([0, 1], R), d)
(donde d(f, g) = sup
0x1
[f(x) g(x)[) es completo (luego de segunda categora seg un
el ejercicio 29 (ii)). Sea c el conjunto de las funciones en (C([0, 1], R), d) que poseen
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.
Captulo 5
Conexi on en espacios m etricos
La noche es la propicia
Amiga de los versos. Quebrantada,
Como la mies bajo la trilla, nace
En las horas ruidosas la Poesa.
La noche es la propicia
Jos e Mart (1853-1895)
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).
83
84 Captulo 5. Conexi on en espacios m etricos
Denici on 5.1. Si (X, d) verica cualquiera de las condiciones equivalentes de la proposi-
ci 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).
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 y disconexos 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 (ejercicio 16 del apartado 2.8), 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 (teorema 5.14).
Observaci on 5.2. No existe un resultado an alogo al teorema 5.5 para el interior o la
frontera:
(i) en (R
2
, d
u
), el conjunto A = B((1, 0), 1)B((1, 0), 1), ya que las bolas son conexas
en cualquier espacio eucldeo y usando los teoremas 5.6 y 5.14, y el corolario 5.18.
Pero

A no es conexo;
5.2. Componentes conexas 85
(ii) en (R, d
u
), [0, 1] es conexo (proposici on 5.13), pero su frontera no lo es.
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;
(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.18), pero su intersecci on AB = (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
conexo, es decir, existen abiertos U y V en (X, d), tales que U C ,= , = V C,
U V 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
CF(x)
C ,= , el
teorema 5.6 garantiza que C(x) =
_
CF(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 re-
ducen a puntos.
5.4. Conexi on en espacios eucldeos 87
5.4. Conexi on en espacios eucldeos
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.
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. 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.
Teorema 5.15. Para cada n N, (R
n
, d
u
) es conexo.
Demostraci on: (R, d
u
) es conexo, pues R es un intervalo. Y R
n
puede pensarse como
la uni on de todas las rectas pasando por el origen de coordenadas. Basta con utilizar el
corolario 5.18 y el teorema 5.6.
5.5. Conexi on y continuidad
Teorema 5.16. 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.17. Sea f : (X, d)(Y, ) continua. Si A es conexo en (X, d), entonces
f(A) es conexo en (Y, ).
Corolario 5.18. Sea f : (X, d)(Y, ) un homeomorsmo. (X, d) es conexo si y s olo
si (Y, ) lo es.
Teorema 5.19. (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. 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.6. Ejercicios 89
(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 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
(denici on (1.19), es conexo en el espacio producto (X Y, d), donde d es cualquiera de
las m etricas producto d
max
, d
sum
o d
u
.
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.4, 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
, d
u
).
21.- Probar que (Q, d
u
) y (Q, d
dis
) poseen los mismos conjuntos conexos. Son homeo-
morfos estos dos espacios m etricos? Son topol ogicamente equivalentes?
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.
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.
5.6. Ejercicios 91
25.- Dados A, B, I, J R, donde I y J son intervalos, se pide probar:
(i) si f : (A, d
u
)(R, d
u
) es mon otona y f(A) es denso en J, entonces f es continua.
En particular, si f : (A, d
u
)(R, d
u
) es mon otona y f(A) es un intervalo, entonces
f es continua;
(ii) si f : (I, d
u
)(R, d
u
) es continua e inyectiva, entonces f es mon otona y es un
homeomorsmo de I sobre el intervalo f(I);
(iii) si f : (I, d
u
)(J, d
u
) es una biyecci on, 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) con las notaciones obvias, probar que [x]
1
= C(x) y [x]
2
es la intersecci on de todos
los conjuntos abiertos y cerrados que contienen a x. Observar que 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)?
(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.- La conexi on es una propiedad difcil de manejar, al tratarse de una propiedad en
sentido negativo: un espacio es conexo si no existe una separaci on no trivial por abiertos
disjuntos. La conexi on por caminos, que vamos a introducir y que est a muy relacionada
con la conexi on, posee la ventaja de ser una propiedad algebraica y en sentido positivo.
Denici on 5.6. Un camino en un espacio m etrico (X, d) es una aplicaci on continua
: ([0, 1], d
u
)(X, d). Si (0) = a y (1) = b, se dice que es un camino de a a
b.
5.6. Ejercicios 93
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.
Probar que si (X, d) es conexo por caminos, es conexo. Comprobar que el recproco no
es cierto:
la curva seno topol ogico es el subespacio del plano
eucldeo
A = ((, 0] 0)
__
x, sin
_
1
x
__
: x > 0
_
.
A es conexo, pero no es conexo por caminos.
41.- Veamos que existe un recproco parcial de la propiedad enunciada en el ejercicio
40.
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.
Demostrar que si (X, d) es conexo y localmente conexo por caminos, entonces es conexo
por caminos. Es decir, la curva seno topol ogico no es localmente conexa por caminos.
42.- Demostrar las siguientes propiedades:
(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
a) si A es conexo y abierto, es conexo por caminos;
b) si A es convexo, es conexo por caminos;
c) si A es contable y n > 1, R
n
A es conexo por caminos;
(iv) la imagen continua de un espacio conexo por caminos, es conexa por caminos;
(v) la uni on de cualquier familia de conjuntos conexos por caminos con un punto en
com un, es un conjunto conexo por caminos;
(vi) la clausura de un conjunto conexo por caminos, no es en general conexa por caminos.
43.- Sea A R
n
(n > 1). En (R
n
, d
u
), se pide probar:
(i) si A es acotado, R
n
A tiene una componente conexa no acotada;
(ii) si A es convexo, es conexo. El recproco no es cierto.
44.- 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), PAes 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.
Captulo 6
Compacidad en espacios m etricos
Se le llen o de caballos
la sombra que proyectaba.
Yo, a caballo, por su sombra
busqu e mi pueblo y mi casa.
Canci on 8
Rafael Alberti (1902-1999)
6.1. Espacios y conjuntos secuencialmente compactos
Denici on 6.1. (X, d) es secuencialmente compacto, si toda sucesi on en (X, d) posee
una subsucesi on convergente. Y A X es secuencialmente compacto, si como espacio
m etrico (A, d
A
) lo es.
Ejemplos 6.1. Algunos ejemplos de secuencialmente espacios compactos son:
(i) (R, d
u
) no es secuencialmente compacto, ya que la sucesi on x
n
= n
nN
no posee
subsucesiones convergentes (el problema es que R no est a acotado);
(ii) si (X, d) donde d es la m etrica discreta, A X es secuencialmente compacto si y
s olo si es nito (ya que las unicas sucesiones que convergen son las semiconstantes);
(iii) ((0, 1], d
u
) no es secuencialmente compacto, ya que la sucesi on
1
n
nN
no posee
subsucesiones convergentes (el problema es que (0, 1] no es cerrado);
(iv) en cualquier espacio m etrico (X, d), si A es nito, es secuencialmente compacto,
pues toda sucesi on tiene rango nito, y por lo tanto posee una subsucesi on semi-
constante, luego convergente.
95
96 Captulo 6. Compacidad en espacios m etricos
Teorema 6.1. Si A es cerrado en (X, d) secuencialmente compacto, entonces A es se-
cuencialmente compacto.
n
nN
una sucesi on en (A, d
A
). Pero x
n
nN
es tambi en una suce-
si on en (X, d), luego posee una subsucesi on x
(n)
nN
x. Pero x A = A.
Teorema 6.2. Si A es secuencialmente compacto en (X, d), entonces A es cerrado.
Demostraci on: Sea x A, por el corolario 4.10, existe una sucesi on x
n
nN
en A tal
que x
n
x. Como A secuencialmente compacto, x
n
nN
posee una subsucesi on
x
(n)
nN
a A. Pero, por la unicidad de lmite, debe ser x = a, luego x A.
Teorema 6.3. Si A es secuencialmente compacto en (X, d), entonces A est a acotado.
Demostraci on: Si Ano estuviera acotado, jado a A, para cada n Nexiste x
n
Atal
que d(a, x
n
) > n. Como A es secuencialmente compacto, existe x
(n)
nN
x A.
Entonces, n < d(a, x
(n)
) d(a, x) + d(x, x
(n)
), lo que es imposible.
Teorema 6.4. La uni on nita y la intersecci on arbitraria de conjuntos secuencialmente
compactos es secuencialmente compacta.
Observaci on 6.1. La uni on arbitraria de secuencialmente compactos no es secuencial-
mente compacta: en (R, d
u
), x es secuencialmente compacto (por ser nito), pero
R =
_
xR
x no lo es.
Observaci on 6.2. Seg un los teoremas 6.2 y 6.3, un secuencialmente compacto A en
(X, d) es cerrado y acotado. Pero el recproco no es cierto: en (R, d
dis
), R es cerrado
y acotado, pero no es secuencialmente compacto.
Teorema 6.5. Si (X, d) es secuencialmente compacto, entonces es completo.
n
nN
una sucesi on de Cauchy. Por hip otesis, existe una subsuce-
si on x
(n)
x X. El teorema 4.16 garantiza que x
n
x.
Ejemplo 6.1. El recproco no es cierto: (R, d
dis
) es completo y no es secuencialmente
compacto, pues la sucesi on
1
n
nN
no posee subsucesiones convergentes.
6.2. Compacidad y continuidad 97
6.2. Compacidad y continuidad
Las funciones continuas llevan secuencialmente compactos en secuencialmente com-
pactos:
Teorema 6.6. Sea f : (X, d)(Y, ) continua. Si A es secuencialmente compacto en
(X, d), entonces f(A) es secuencialmente compacto en (Y, ).
Demostraci on: Sea y
n
nN
una sucesi on en f(A). Existe x
n
A tal que y
n
= f(x
n
).
Como A es secuencialmente compacto, x
n
nN
posee una subsucesi on x
(n)
nN

x A. Y como f es continua, f(x
(n)
) = y
(n)
nN
f(x) f(A).
Corolario 6.7. Sea f : (X, d)(Y, ) continua y (X, d) secuencialmente compacto. Si
A es cerrado en (X, d), entonces f(A) es cerrado en (Y, ).
Demostraci on: A es cerrado en el secuencialmente compacto (X, d), luego es secuencial-
mente compacto por el teorema 6.1. El teorema 6.6 garantiza que f(A) es secuencial-
mente compacto en (Y, ), y por lo tanto cerrado, seg un el teorema 6.2.
Teorema 6.8. Sea f : (X, d)(Y, ) biyectiva y continua. Si (X, d) es secuencialmente
compacto, entonces f es un homeomorsmo.
Demostraci on: El corolario 6.7 arma que f
1
es continua.
Observaci on 6.3. La compacidad secuencial es esencial: 1
R
: (R, d
dis
)(R, d
u
) es con-
tinua y biyectiva, pero no es un homeomorsmo.
Teorema 6.9. Sea f : (X, d)(Y, ) continua. Si (X, d) es secuencialmente compacto,
entonces f es uniformemente continua.
Demostraci on: Ver la prueba en el teorema 6.14.
6.3. Compacidad en espacios topol ogicos
La denici on que hemos dado de compacidad est a adaptada a espacios m etricos. Va-
mos a introducir a continuaci on la que suele darse en espacios topol ogicos generales y
demostrar que es equivalente -aunque no lo es en el caso de espacios topol ogicos en
general- a la noci on de compacidad secuencial.
Denici on 6.2. 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.3. 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.4. 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.5. (X, d) es compacto si todo cubrimiento por abiertos de X posee un sub-
recubrimiento nito. Y A X es compacto si (A, d
A
) lo es.
Observaci on 6.4. 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.2. 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;
(ii) si (X, d) es discreto (ejercicio 16, apartado 2.8), 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.10. (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.6. 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.11. (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:
6.3. Compacidad en espacios topol ogicos 99
Proposici on 6.12. Aes 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
.
El siguiente resultado asemeja un compacto a un punto:
Lema 6.13. 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 (teorema 2.10)
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, existe a
1
, . . . , a
n
A, de modo que A
n
_
i=1
B(a
i
,
r
a
i
2
). Si tomamos
= mn
r
a
i
2
: 1 i n, es B(x, ) A = .
Ejemplo 6.2. 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.14. 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)) < .
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.15. (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
. Recprocamente, supongamos que (X, d) posee la

propiedad de Bolzano-Weierstrass y sea x
n
nN
. Si su rango es nito, existe una sub-
sucesi on constante, que converge. En caso contrario, si A = Rg (x
n
nN
), es A
,= .
Para x A
, 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.
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.16. Si (X, d) es precompacto, es acotado.
Demostraci on: X se puede escribir como una uni on nita de conjuntos acotados.
Ejemplo 6.3. El recproco no es cierto: (R, d
dis
) es acotado y no es precompacto.
Teorema 6.17. 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
= . 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 17 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
6.4. Compacidad en espacios eucldeos 101
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.4. La completitud es necesaria en las anteriores equivalencias: ((0, 1), d
u
) es
precompacto, pero no es secuencialmente compacto.
Teorema 6.18. (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
.
6.4. Compacidad en espacios eucldeos
Teorema 6.19. 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.20. (de Heine-Borel) En (R, d
u
), A es compacto si y s olo si es cerrado y
acotado.
Corolario 6.21. En (R
n
, d
u
), A es compacto si y s olo si es cerrado y acotado.
Demostraci on: Basta con usar el ejercicio 7 del apartado 6.5, y utilizar que todo conjunto
acotado est a contenido en un cubo de dimensi on n (producto de n intervalos).
Lema 6.22. Si A es compacto en (R, d
u
), entonces sup(A),nf(A) A.
Teorema 6.23. (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.24. (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 extremos.
Demostraci on: S olo queda por ver una de las implicaciones: si X no es compacto, existe
A X innito tal que A
= . Sea S = a
n
nN
A numerable. Entonces, es S
= .
Como para cada n N es a
n
, S
, 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 103
6.5. Ejercicios
1.- Sea (X, d) un espacio m etrico. Se pide probar:
(i) si A es compacto y b X, existe a A tal que d(a, b) = d(A, b);
(ii) si A es compacto y B X, existe a A tal que d(a, B) = d(A, B);
(iii) si A y B son compactos, existen a A y b B tales que d(a, b) = d(A, B);
(iv) si A es compacto, existen a, b A tales que d(a, b) = (A);
(v) si A X y B es compacto, es d(A, B) = 0 si y s olo si A B ,= .
2.- En (X, d), se pide probar:
(i) si x , A compacto, 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 .
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) y K compacto V abierto. Existe r > 0 tal que
_
xK
B(x, r) V.
7.- Probar que el producto de espacios m etricos es compacto si y s olo si cada espacio
factor lo es.
8.- Sean (X, d) e (Y, ) espacios m etricos, (X Y, D) su producto (D es cualquiera de
las m etricas producto d
max
, d
sum
o d
u
) y f : (X, d)(Y, ). Se pide probar:
(i) si X es compacto, para todo cerrado de (XY, D), 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 su grafo G
f
(denici on (1.19) es com-
pacto 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 toda 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) un espacio compacto cuyas 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.- Sean (X, d) un espacio m etrico, x
n
nN
y R = Rg (x
n
nN
). 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 com-
pacto, existe una subsucesi on de x
n
nN
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 x
n
nN
;
(iv) (X, d) es completo si y s olo si todo conjunto precompacto posee clausura compacta.
As, en un espacio completo, todo conjunto precompacto posee derivado compacto;
(v) si todo 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.
6.5. Ejercicios 105
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.
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. Se puede 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 cer-
rados 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. No se impone la condici on de que los di ametros de los cerra-
dos 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, m etricas e isometras.
(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 esto;
(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
y 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.- Sean (X, d) compacto y f : (X, d)(R, d
u
) una funci on continua. Si 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.- La paracompacidad es una generalizaci on de la noci on de compacidad, esencial
en el estudio de variedades diferenciables.
Denici on 6.9. Si | y 1 son cubrimientos de X, se dice que | es un renamiento de 1
(| _ 1), si cada U | est a contenido en alg un V 1.
Denici on 6.10. En (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.
Demostrar el teorema de Stone: Todo espacio m etrico es paracompacto ([W], p ag. 147).
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. K es un continuo en (X, d) si es compacto y conexo.
Las esferas S
n
y las bolas en espacios eucldeos son ejemplos de continuos.
En (X, d), se pide probar:
(i) dada una familia K
i
: i I de continuos su intersecci on
iI
K
i
es 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
).
Bibliografa
Yo soy un gaucho cantor
de renombradas virtudes,
que tan solo ingratitudes
ha recibido en su amor.
D ecimas
Pedro Bonifacio Palacios (1854-1917)
[BRV] F. Bombal, L. Rodrguez y G. Vera, Problemas de An alisis Matem atico: espacios
m etricos y normados. El espacio R
n
, AC, 1982.
[B] V. Bryant, Metric spaces: iteration and application, Cambridge University Press,
1996.
[C] E.T. Copson, Metric spaces, Cambridge University Press, 1988.
[D] J.M. Daz Moreno, Introducci on a la teora de espacios m etricos, Servicio de
Publicaciones de la Universidad de C adiz, 1982.
[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,
Publ. Universidad Nacional de Educaci on a Distancia, 2002.
[I] I.L. Iribarren, Topologa de Espacios M etricos, Limusa, 1973.
[J] A. El Jai,

El ements de Topologie et Espaces M etriques, Presses Universitaires de
Perpignan, 2007.
[JA] P.K. Jain and K. Ahmad, Metric Spaces, Narosa, 1996.
[Ka] I. Kaplansky, Set Theory and Metric Spaces, Chelsea Pub. Co., 1977.
[Ku] S. Kumaresan, Topology of Metric Spaces, Alpha Sci., 2005.
107
108 Bibliografa
[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, AC, 1981.
[Mu] J.R. Munkres, Topologa, Prentice Hall, 2002.
[P] C.G.C. Pitts, Introduction to Metric Spaces, Oliver and Boyd, 1972.
[R] R.B. Reisel, Elementary theory of Metric Spaces, Springer, 1982.
[Se] M.O. Searc oid, Metric spaces, Springer, 2007.
[SV] S. Shirali and H.L. Vasudeva, Metric spaces, Springer, 2006.
[Su] W.A. Sutherland, Introduction to metric and topological spaces, Oxford Sci. Publ.,
1993.
[W] S. Willard, General Topology, Addison-Wesley, 1970.

Ignacio Iribarren

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Ignacio Iribarren

Cargado por

Copyright:

Formatos disponibles

TOPOLOG

. De nuevo, existe uno de ellos I

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

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

, es el conjunto de los puntos

, se dice que x es un punto aislado.

, entonces para cada r > 0, la intersecci on

y entonces (B(x, r) x)A ,= , y se concluye el resultado.

F cerrado: A F, es decir, A es el menor cerrado que contiene a A.

F cerrado: A F. Adem as,

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

U por ser abierto.

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

= , probar que A es contable;

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

= x X : f(x) > son

si y s olo si f(x) (f(A))

N tal que para cada n n

. Supongamos que existe

si y s olo si existe una sucesi on x

. Sabemos que para cada > 0, (B(x, ) x) A tiene

> 0, tal que para n n

, basta con notar que si x A, la sucesi on constante

N tal que para cada m, n n

, por el corolario 4.10, existe una sucesi on y

N tal que para n, m n

tal que para cada n n

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

X, ) que lleva cada x X en la clase de la sucesi on

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

f(x +h) f(x)

. Recprocamente, supongamos que (X, d) posee la

También podría gustarte