Introducción Al Análisis de Espacios Métricos

A LA TEORIA DE
INTRODUCCION
ESPACIOS METRICOS
M.C. Ma. Guadalupe Raggi Cardenas

Dr. Juan Alberto Escamilla Reyna
Dr. Francisco Javier Mendoza Torres
F.C.F.M. BUAP
BENEMRITAUNIVERSIDADAUTNOMADEPUEBLA
EnriqueAgeraIbez
Rector.
JosRamnEgubarCuenca
SecretarioGeneral.
PedroHugoHernndezTejeda
VicerrectordeInvestigacinyEstudiosdePosgrado.
LiliaCedilloRamrez
VicerrectoradeExtensinyDifusindelaCultura.
CupatitzioRamrezRomero
DirectordelaFacultaddeCienciasFsicoMatemticas.
CarlosContrerasCruz
DirectorEditorial.
Primeraedicin2010
ISBN:9786074871395
BenemritaUniversidadAutnomadePuebla
DireccindeFomentoEditorial
2Norte1404,CP72000
PueblaPue.
Telfonofax012222468559
ImpresoenMxico
PrintedinMxico
Agradecimientos
LosautoresagradecenelapoyofinancierodelPIFCA2009
(ProyectoInstitucionaldeFortalecimientoparalosCuerposAcadmicos)
obtenidoatravsdelCuerpoAcadmicodeModelacinMatemtica
yEcuacionesDiferenciables.
Indice General
Pr
ologo.
1. Teora de Conjuntos.
1.1. Introduccion . . . . . . . . .
1.2. Preliminares. . . . . . . . .
1.3. Operaciones con Conjuntos.
1.4. Familias de Conjuntos . . .
1.5. Relaciones . . . . . . . . . .
1.6. Funciones . . . . . . . . . .
1.7. El Producto Cartesiano . . .
1.8. Axioma de Eleccion. . . . .
1.9. Cardinalidad de Conjuntos.
1
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
3
3
3
5
7
9
10
12
13
13
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
15
15
18
20
31
. . . . . . . . . . .
. . . . . . . . . . .
35
37
.
.
.
.
.
.
.
.
49
50
55
57
59
4. Funciones Continuas en Espacios M

etricos.
4.1. Funciones Continuas. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.2. Continuidad Uniforme. . . . . . . . . . . . . . . . . . . . . . . . . . . . .
63
63
71
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
2. Espacios M
etricos.
2.1. Definiciones y Ejemplos. . . . . . . . . . . . . . . . .
2.2. Construccion de Metricas a Partir de Metricas Dadas.
2.3. Conceptos Topologicos en Espacios Metricos. . . . . .
2.4. Conjuntos Acotados en Espacios Metricos. . . . . . .
2.5. Conjuntos Totalmente Acotados en Espacios
Metricos. . . . . . . . . . . . . . . . . . . . . . . . . .
2.6. Ejercicios. . . . . . . . . . . . . . . . . . . . . . . . .
3. Sucesiones en Espacios M
etricos.
3.1. Convergencia de una Sucesion. .
3.2. Subsucesiones. . . . . . . . . . .
3.3. Sucesiones de Cauchy. . . . . .
3.4. Ejercicios. . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
INDICE GENERAL
ii
4.3. Metricas Equivalentes, Semejantes,

Uniformemente Equivalentes e Isometras. . . . . . . . . . . . . . . . . .
4.4. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
74
80
5. Espacios M
etricos Completos.
5.1. Espacios Metricos Completos. . . . . . . . . . . . . . . . . . . . . . . . .
5.2. Completacion de un Espacio Metrico. . . . . . . . . . . . . . . . . . . . .
5.3. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
87
87
92
93
6. Conjuntos Compactos.
6.1. Conjuntos Secuencialmente Compactos. . . . . . . . . . . . . . . .
6.2. Conjuntos que tienen la Propiedad de Bolzano-Weierstrass (BW).
6.3. Conjuntos Compactos. . . . . . . . . . . . . . . . . . . . . . . . .
6.4. Caracterizaciones de la Compacidad en Espacios Metricos. . . . .
6.5. Relacion entre la Compacidad y la Completitud. . . . . . . . . . .
6.6. Funciones Continuas en Conjuntos Compactos. . . . . . . . . . . .
6.7. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
97
98
100
101
106
107
108
109
7. Aplicaciones Contractivas.
7.1. Contracciones. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
7.2. Aplicaciones. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
7.3. Ejercicios. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
113
113
118
124
8. Conexidad.
8.1. Conjuntos Conexos . . . . . . . . .
8.2. Continuidad en Conjuntos Conexos.
8.3. Componentes Conexas. . . . . . . .
8.4. Arcoconexidad. . . . . . . . . . . .
8.5. Ejercicios . . . . . . . . . . . . . .
127
127
131
132
133
134
Bibliografa.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
137
Pr
ologo.
Este libro fue elaborado para el curso de An
alisis Matem
atico en Espacios
M
etricos, el cual esta ubicado en el sexto semestre del mapa curricular de la carrera
Lic. en Matematicas. Los autores hemos impartido esta materia en diversos cuatrimestres
(semestres). Versiones preliminares de este libro han apoyado a los estudiantes de dicho
curso, en su formacion profesional.
M.C. Ma. Guadalupe Raggi Cardenas.

Dr. Juan Alberto Escamilla Reyna.
Dr. Fco. Javier Mendoza Torres.
Captulo 1
Teora de Conjuntos.
1.1.
Introducci
on
En este captulo, daremos una introduccion breve a la teora de conjuntos, revisaremos la notacion, los conceptos y resultados basicos que necesitaremos a lo largo del
libro. Nuestro enfoque sera intuitivo y no axiomatico, a pesar de saber que este enfoque
nos puede conducir a paradojas, sin embargo, para nuestros propositos es suficiente.
La mayora de los resultados aqu incluidos se demuestran en los cursos basicos de las
licenciaturas en ciencias, es por esto que no daremos las demostraciones en este texto.
La teora de conjuntos es, por si misma, un area muy importante de las matematicas,
que tiene su propio desarrollo, pero tambien juega un papel relevante en la organizacion,
unificacion y comprension de la mayor parte de las matematicas.
1.2.
Preliminares.
Para nosotros, un conjunto es una coleccion (familia) de objetos a los que llamaremos
elementos del conjunto. Para denotar un conjunto, usualmente se utilizan letras may
usculas: A, B, C, . . . , X, Y, etc. y a veces se usan letras may
usculas con subndices. Para los
elementos, usaremos letras min
usculas a, b, c, . . . , x, y, etc. y tambien letras min
usculas
con subndices.
Dado un elemento x y un conjunto A, si x es elemento de A , lo denotaremos como
x A, tambien se suele decir que x pertenece a A, x es miembro de A, x esta en A; en
el caso de que x no sea elemento de A, lo denotaremos como x
/ A, tambien se suele
decir que x no pertenece a A, x no es miembro de A, x no esta en A.
La regla fundamental es: dado un conjunto A y un elemento x, ocurre una y solo una
de las siguientes afirmaciones: x A o x
/ A.
Existen dos formas basicas de expresar un conjunto, una, enlistando entre llaves
todos sus elementos, en este caso decimos que el conjunto esta definido por extension.
3
CAPITULO 1. TEORIA DE CONJUNTOS.
Obviamente esta manera de definir conjuntos es muy limitada. Otra manera de definirlo
es a traves de una propiedad el conjunto se forma con todos los elementos que cumplan
dicha propiedad, en este caso decimos que el conjunto esta definido por comprension.
Definici
on 1.1. Sean X y Y dos conjuntos. Decimos que X es subconjunto de Y , si
para cada x, si x X, entonces x Y.
Cuando X es subconjunto de Y lo denotamos como X Y o Y X. Cuando X no
es subconjunto de Y lo denotamos como X 6 Y .
Definici
on 1.2. Sean X y Y dos conjuntos. Decimos que
X = Y, si y s
olo si, X Y y Y X.
Si X Y , pero X 6= Y , decimos que X es un subconjunto propio de Y . Se denota
como X ( Y .
Usualmente, cuando trabajamos en determinado contexto, consideramos a los conjuntos como subconjuntos de un conjunto U, al que llamamos conjunto universal. Por
ejemplo, el conjunto de n
umeros naturales N es un subconjunto del conjunto de los
n
umeros reales R, en este caso, U = R.
Propiedades de la contenci
on y la igualdad.
Teorema 1.1. Sean X, Y y Z conjuntos. Entonces
1. X X. Ley reflexiva.
2. X Y y Y X, implica que X = Y . Ley antisimetrica.
3. X Y y Y Z, implica que X Z. Ley transitiva.
Teorema 1.2. Sean X, Y y Z conjuntos. Entonces
1. X = X. Ley reflexiva.
2. X = Y implica que Y = X. Ley simetrica.
3. X = Y y Y = Z implica que X = Z. Ley transitiva.
Al conjunto de todos los subconjuntos de un conjunto dado X se le llama el conjunto
potencia de X y se le denota como P(X).
1.3. OPERACIONES CON CONJUNTOS.
1.3.
Operaciones con Conjuntos.
Definici
on 1.3. Sean X y Y dos conjuntos. Definimos
La union de X y Y , denotada por X Y , como X Y = {x U | x X
o x Y }.
La interseccion de X y Y , denotada por X Y , como X Y = {x U | x
X y x Y }.
Teorema 1.3. Sean X, Y y Z tres conjuntos. Entonces
1. X = X y X = . (leyes de identidad).
2. X X = X y X X = X. (leyes de idempotencia).
3. X Y = Y X y X Y = Y X. (leyes conmutativas).
4. X (Y Z) = (X Y ) Z y X (Y Z) = (X Y ) Z. (leyes asociativas).
5. X (Y Z) = (X Y ) (X Z) y X (Y Z) = (X Y ) (X Z). (leyes
distributivas).
El siguiente teorema nos da una relacion entre las operaciones de union, interseccion
de conjuntos y la relacion de contencion.
Teorema 1.4. Sean X y Y dos conjuntos. Son equivalentes
1. X Y .
2. X Y = Y .
3. X Y = X.
Definici
on 1.4. Sean X y Y dos conjuntos. Definimos
La diferencia de X y Y , denotada por X Y , como X Y = {x | x X y x
/ Y }.
En particular, si Y X, el complemento de Y con respecto a X, denotado por
X Y , como X Y = X Y .
Observese que la operacion de complementacion esta definida u
nicamente cuando
un conjunto es subconjunto de otro, sin embargo en la operacion diferencia no existe,
necesariamente, una relacion entre los dos conjuntos. Se suele denotar a X Y como Y C
cuando no hay confusion de quien es X. La relacion entre ambas operaciones esta dada
por el siguiente teorema
Teorema 1.5. Sea Z un conjunto. X y Y subconjuntos de U Entonces

X Y = X Y C.
Algunas de las propiedades basicas del complemento son:
Teorema 1.6. Sea X y Y subconjuntos de U. Entonces
1. X X C = .
2. X X C = Z.
3. (X C )C = X.
4. X Y , si y solo si, Y C X C .
5. (X Y )C = X C Y C .
6. (X Y )C = X C Y C .
Las dos u
ltimas propiedades se les suele conocer como las leyes de De Morgan.
Propiedades de la Diferencia.
Teorema 1.7. Sean X, Y y Z conjuntos.
1. X Y X.
2. (X Y ) Y = .
3. X Y = , si y solo si, X Y .
4. X = (X Y ) (X Y ).
5. X (X Y ) = X Y .
6. (X Y ) Z = (X Z) Y .
7. X (Y Z) = (X Y ) (X Z).
8. (X Y ) (Y X) = (X Y ) (X Y ).
Por su importancia, destacamos las siguientes propiedades conocidas como las leyes
de De Morgan.
Teorema 1.8 (Leyes de De Morgan). Sean X, Y y Z conjuntos.
(a) Z (X Y ) = (Z X) (Z Y ).
1.4. FAMILIAS DE CONJUNTOS
(b) Z (X Y ) = (Z X) (Z Y ).
Producto Cartesiano de dos Conjuntos.

En la teora de conjuntos se define, de manera formal, el concepto de pareja ordenada
como:
Definici
on 1.5. Sean a y b dos objetos. Definimos la pareja ordenada, denotada por
(a, b) por
(a, b) = {{a}, {a, b}}.
A a se le llama el primer elemento (primera coordenada, primera componente) de
la pareja ordenada (a, b) y a b se le llama el segundo elemento (segunda coordenada,
segunda componente) de la pareja ordenada (a, b).
Teorema 1.9.
(a, b) = (c, d), si y s
olo si , a = c y b = d
En muchos textos, no se define el concepto de pareja ordenada, u
nicamente se caracteriza a la pareja ordenada con la igualdad de parejas, como lo afirma el teorema
1.9
Definici
on 1.6. Sean X y Y dos conjuntos. Definimos el producto cartesiano de X y
Y , denotado por X Y , como
X Y = {(x, y) | x X, y Y }.
Teorema 1.10. Sean W, X, Y y Z conjuntos. Entonces
1. W (X Y ) = (W X) (W Y ). Ley distributiva.
2. W (X Y ) = (W X) (W Y ). Ley distributiva.
3. Si W X y Y Z, entonces W Y X Z.
4. X Y = , si y solo si, X = o Y = .
1.4.
Familias de Conjuntos
a una familia de conjuntos. Definimos

S
S
1. La union, denotada por
A o {A | A a} , de esta familia es el conjunto:
a
[
A = {x | existe A a, con x A}.
a
Definici
on 1.7. Sea
8
2. La interseccion, denotada por
conjunto
A
o
{A | A
A = {x | para toda A
a}, de esta familia, es el
a, x A}.
Con frecuencia ocurre que a cada elemento de un conjunto A, diferente del vaco,
se le asigna un u
nico conjunto A , en este caso, la familia de conjuntos que se forma
con estos conjuntos se denota por {A | A} y se dice que la familia de conjuntos
esta indexada por el conjunto A.
Si {A | A}, es una familia indexada deSconjuntos,Tla union y la interseccion de
esta familia de conjuntos, las denotaremos por A A y A A , respectivamente, es
decir
[
A = {x | existe A, tal que x A }.
A
Similarmente
A = {x | para cada A, x A }.
S
S
S
Frecuentemente,
denotaremos
A
como
A
o
{A | A}. De manera
T
analoga, para A .
En S
el caso de S
que A = N, la familia de conjuntos se denota por {An | n N} y su
union nN An o
on, tenemos una notacion similar.
n=1 An . Para la intersecci
Cuando
A = {1, 2, . . . , n}, la familia se denota por {Ai | i {1, 2, . . . , n}} y su union
S
por ni=1 Ai . Para la interseccion, tenemos una notacion similar.
Teorema 1.11. Sean {A | A} y {B | B} dos familias de conjuntos. Entonces

S
S
S
1.
A
B = {(A B ) | (, ) A B}.
A
2.
B =
{(A B ) | (, ) A B}.
En 1. decimos que la union se distribuye con respecto a la interseccion y en 2. decimos

que la interseccion se distribuye con respecto a la union.
Teorema 1.12 (Leyes de Morgan). Sea X un conjunto no vaco y {A | A} una
familia de subconjuntos de X. Entonces
h S
ic
T
1.
A =
[A ]c .
A
2.
h T
ic
[A ]c .
1.5. RELACIONES
1.5.
Relaciones
Definici
on 1.8. Sean X y Y dos conjuntos. Una relaci
on R de un conjunto X a un
conjunto Y , es cualquier subconjunto de X Y , esto es R X Y . Una relaci
on en
un conjunto X es una relacion de X a X.
Si la pareja (x, y) R, decimos que x esta relacionado con y y lo denotamos xRy. Si
la pareja (x, y) no pertenece a R, decimos que x no esta relacionado con y y lo denotamos
x/
Ry.
Si R es una relacion de X en Y .
Al conjunto
{x X | existe y Y, que cumple (x, y) R}
se le llama dominio de la relacion R y se le denota como DomR o Dom(R).
Al conjunto
{y Y | existe x X que cumple (x, y) R}
se le llama rango o imagen de la relacion y se denota como Img R o Ran R.
Definici
on 1.9. Sea R una relacion en un conjunto X. Decimos que R es una relacion
de equivalencia en X si:
(a) Para cada x X, xRx. (Reflexividad).
(b) Si xRy, entonces yRx. (Simetra).
(c) Si xRy y yRz, entonces xRz. (Transitividad).
Generalmente una relacion de equivalencia en un conjunto X se denota por los smbolos ,
=, , .
Definici
on 1.10. Sea X un conjunto no vaco y una relaci
on de equivalencia en
X. Para x X, definimos la clase de equivalencia de x con respecto a la relaci
on ,
denotada por [x], como el conjunto
[x] = {y X | y x}.
Al conjunto de las clases de equivalencia se le denota como X/ y se le llama el
conjunto cociente de X con respecto a la relacion .
Teorema 1.13. Sea una relacion de equivalencia en un conjunto no vaco X. Entonces
1. Para cada x X, x [x], en particular, [x] 6= .
10
S
2.
[x] = X.
xX
3. Para x, y X, [x] [y] = o [x] = [y].

Un concepto cercano al concepto de relacion de equivalencia es el de particion.
Definici
on 1.11. Sea X un conjunto no vaco. Una familia P de subconjuntos no vacos
de X se llama una partici
on de X si
para cada A y B elementos de P, A 6= B, se cumple que A B = ,
S
A = X.
AP
Como consecuencia del teorema 1.13, se tiene que el conjunto cociente X/ con
respecto a la relacion es una particion del conjunto X. Tambien se tiene que si P es
una particion del conjunto X y definimos la relacion
x y, si existe A P tal que x, y A.
es una relacion de equivalencia en X y el conjunto cociente X/= P.
1.6.
Funciones
El concepto de funcion es uno de los conceptos mas importantes de las matematicas,

a nivel elemental, una funcion de un conjunto X a un conjunto Y se define como una
regla que asocia a cada elemento de X un u
nico elemento de Y . Si bien esta definicion es
adecuada para muchos propositos y capta la esencia del concepto, este se puede definir
en el lenguaje de la teora de conjuntos.
Definici
on 1.12. Sean X y Y dos conjuntos. Una funci
on es una relacion f de X en
Y que cumple
El dominio de f es X, esto es, Dom(f ) = X.
Si (x, y) f y (x, z) f , entonces y = z.
Observese que esta definion refleja la definicion dada al inicio, pero tiene la ventaja
de evitar el termino regla.
Dependiendo de la naturaleza de los conjuntos X y Y , en las distintas areas de las
matematicas, el termino funcionse sustituye por mapeo, transformacion, morfismo,
operador, funcional . . .
Al elemento y que le corresponde a x, se le acostumbra denotar por y = f (x) y se le
llama el valor de la funcion en x o la imagen de x bajo f . A x se le llama la preimagen
11
1.6. FUNCIONES
de y bajo f . Usualmente para definir una funcion se especifica el dominio y el valor de

la funcion en cada punto del dominio.
Si f es una funcion de X en Y se le denota por f : X Y , aunque con frecuencia,
cuando es claro quien es el dominio y el codominio, u
nicamente se usa el smbolo f .
Como una funcion es un conjunto, la igualdad de funciones es en terminos de la
igualdad de conjuntos, de esto, es inmediato que dos funciones f y g son iguales, si
Dom(f ) = Dom(g) y f (x) = g(x) para cada x X.
Definici
on 1.13. Sea X y Y conjuntos no vacos, A X, B Y y f : X Y una
funcion.
1. La imagen de A en Y bajo f , denotada por f (A) es el subconjunto de Y definido
como
f (A) = {y Y | existe x A, tal que f (x) = y}.
2. La imagen inversa de B en X bajo f , denotada por f 1 (B), es el subconjunto de
X definido como
f 1 (B) = {x X | existe y B tal que f (x) = y}.
Teorema 1.14. Sea f : X Y una funci
on, entonces:
1. f () = .
2. Si A B X, entonces f (A) f (B).
3. Si A B X, entonces f (B) f (A) f (B A).
on y {A | A} una familia de subconjuntos
de X. Entonces
S
S
1. f ( A ) = f (A ).
T
T
2. f ( A ) f (A ).
on.
1. Para cada A X, se cumple que A f 1 [f (A)].

2. Para cada B Y , f [f 1 (B)] B.
Definici
on 1.14. Sean f : X Y y g : Y Z dos funciones. Definimos la composicion
g f : X Z como
(g f )(x) = g(f (x)).
12
Teorema 1.17. Sean f : X Y y g : Y Z dos funciones. Sea A Z. Entonces

(g f )1 (A) = f 1 (g 1(A)).
Definici
on 1.15. Sea f : X Y una funci
on. Decimos que:
f es inyectiva (o uno a uno), si para cada x1 , x2 X, si x1 6= x2 , entonces

f (x1 ) 6= f (x2 ). Esto equivale a decir que si f (x1 ) = f (x2 ), entonces x1 = x2 .
f es sobreyectiva (suprayectiva o sobre), si para toda y Y , existe x X tal que
f (x) = y. Dicho de otra manera, f es sobreyectiva si f (X) = Y .
f es biyectiva, si es inyectiva y sobreyectiva.

on. f es biyectiva, si y solo si, existe
g : Y X, tal que
g f = IX y f g = IY .
A lo mas puede existir una funcion g que cumpla con el teorema 1.18. Si f es biyectiva,
a la funcion g se le llama la inversa de f y se denota por f 1 .
1.7.
El Producto Cartesiano
Definici
on 1.16.
Q El producto cartesiano de una familia de conjuntos {X | A},
denotado por A X , se define como el conjunto
Y
[

X = {f : A
X f () X para cada A}.
A
AQcada X se le llama el -esimo factor del producto. Usualmente, a un elemento

f A X se le denota por {x }A , donde x = f (), y a x se le llama la -esima
coordenada del elemento {x }A .
Notese que si X = X, para cada A, donde X es un conjunto dado, entonces el
producto cartesiano de la familia {X }A es el conjunto formado por todas las funciones
con dominio A y codominio X, en este caso, se acostumbra usar la notacion X A .
Propiedades.
Teorema 1.19. Sea {B }A una familia de conjuntos y A B para cada A.
Entonces
Y
Y
A
B .
A
Teorema 1.20. Sea {X }A una familia de conjuntos y A , B subconjuntos de X

para cada A. Entonces
Q
TQ
Q
1. A
A =
A (A B ).
Q
SQ
Q
2. A
A =
A (A B ).

1.8. AXIOMA DE ELECCION.
1.8.
13
Axioma de Elecci
on.
Si bien es cierto que dijimos que nuestro enfoque de la teora de conjuntos no es

axiomatica, consideramos conveniente introducir explcitamente el axioma de elecci
on
(de seleccion).
Este axioma ha sido fuente de fuertes controversias en el estudio de la axiomatizacion
de la teora de conjuntos. Sin embargo se usa en la demostracion de muchos resultados
importantes en diversas areas de las matematicas, algunos de ellos parecen contradecir
la intuicion.
El axioma de eleccion fue enunciado explcitamente por Zermelo a principios del siglo
pasado, aunque ya se usaba implcitamente en algunas demostraciones.
Enunciaremos dos versiones equivalentes del axioma de eleccion (aunque existen
muchas mas).
El producto cartesiano de una familia no vaca, de conjuntos no vacos, es no vaco.
Para cada familia de conjuntos no vacos, ajenos dos a dos, existe un conjunto
formado con exactamente un elemento de cada conjunto de la familia.
En este trabajo, sera usado en algunas demostraciones, sin mencionarlo, sera pertinente que el lector se percatara en cuales.
1.9.
Cardinalidad de Conjuntos.
Definici
on 1.17. Sean X y Y dos conjuntos. Decimos que X es equipotente a Y , (o que
X tiene la misma cardinalidad que Y ), si existe una funci
on biyectiva de X sobre Y .
Denotaremos X es equipotente a Y por card X = card Y .
Es claro que la relacion de equipotencia es una relacion de equivalencia en la clase de
todos los conjuntos.
Decimos que el conjunto X es:
Numerable si es equipotente al conjunto de los n
umeros naturales N.
Finito si X = o existe n N tal que X es equipotente al conjunto {1, 2, . . . , n}.
Infinito si X no es finito.
A lo mas numerable si X es un conjunto finito o un conjunto numerable.
Propiedades.
14
Teorema 1.21. Sea X un conjunto no vaco. Son equivalentes:

1. X es numerable.
2. Existe una funcion sobreyectiva f : N X.
3. Existe una funcion inyectiva g : X N.
Teorema 1.22. Sea X un conjunto numerable y A X. Entonces A es a lo mas
numerable.
Teorema 1.23. Sean X y Y numerables. Entonces X Y es numerable.
Este resultado se puede extender cuando tenemos una familia finita {Xi }ni=1 de conjuntos numerables, es decir, el producto finito de conjuntos numerables es numerable.
Sin embargo, el producto numerable de conjuntos numerables puede no ser numerable.
Teorema
1.24. Sea {Xi }iN una familia numerable de conjuntos numerables. Entonces
S
iN Xi es numerable.
Teorema 1.25. Sea X un conjunto infinito. Entonces existe un subconjunto numerable

de X.
Ejemplos de conjuntos numerables.
El conjunto de los n
umeros naturales N.
umeros enteros Z.
P = {2n | n Z}.
Im = {2n + 1 | n Z}.
umeros racionales Q.
El conjunto de todos los polinomios con coeficientes racionales.
umeros algebraicos en R.
El conjunto de todos los subconjuntos finitos de N.
Ejemplos de conjuntos no numerables.
umeros reales R.
Cualquier intervalo: [a, b], (a, b], (a, ), (, a], etc.
umeros irracionales I.
Captulo 2
Espacios M
etricos.
2.1.
Definiciones y Ejemplos.
Definici
on 2.1. Sean X un conjunto diferente del vaco y d : X X R una funcion.
Diremos que d es una metrica o una distancia en X, si para cada x, y, z X, d cumple
con las siguientes propiedades:
1. d(x, y) 0.
2. d(x, y) = 0, si y solo si, x = y.
3. d(x, y) = d(y, x).
4. d(x, z) d(x, y) + d(y, z). (Desigualdad del Tri
angulo).
A la pareja ordenada (X, d) le llamaremos espacio metrico. En general, diremos simplemente espacio metrico X.
Si la funcion d cumple con 1, 3, 4 y en lugar de 2 cumple con
2. d(x, x) = 0, diremos que d es una pseudometrica en X.
Es decir, en el caso de que d sea pseudometrica, no garantizamos que d(x, y) = 0,
implique que x = y.
Ejemplos de m
etricas y pseudom
etricas:
1. Sea X = R, definamos d : R R R como
d(x, y) = |x y|.
En los cursos elementales de matematicas, se demuestran las propiedades 1, 2, 3,
4. Esta metrica se conoce como la metrica usual en R.
15

CAPITULO 2. ESPACIOS METRICOS.
16
2. Sea X = Rn , definamos d1 : Rn Rn R, como

d1 (x, y) =
n
X
i=1
|xi yi |.
Las propiedades 1, 2, 3, 4 se siguen inmediatamente de las propiedades del valor

absoluto. Esta metrica se conoce como la metrica del taxista.
3. Sea X = Rn , n N, n 2, definamos d2 : Rn Rn R como
v
u n
uX
d2 (x, y) = t (xi yi )2 , con x = (x1 , . . . , xn ), y = (y1 , . . . , yn ).
i=1
En el curso de calculo diferencial en varias variables, se demuestran las propiedades

1, 2, 3, 4. Esta metrica se conoce como la metrica euclidiana en Rn .
4. Sea X = Rn , p 1. Definamos dp : Rn Rn R por
!1/p
n
X
|xi yi |p
, donde x = (x1 , . . . , xn ), y = (y1 , . . . , yn ).
dp (x, y) =
i=1
Frecuentemente a Rn con esta metrica se le denota por lp (n) La demostracion de

que dp es una metrica se encuentra en [4].
P
p
5. Sea X = {{xn }nN
nN |xn | < }, donde p R, p 1 fijo. Como en el caso
inmediato anterior, la demostracion de que la funcion dp : X X R, definida
por
!1/p
X
dp (x, y) =
|xn yn |p
nN
es una metrica se encuentra en [4]. Este espacio se denota por lp .
6. Sea X = Rn , d : Rn Rn R definida por

d (x, y) = max{|x1 y1 |, |, . . . |xn yn |}.
Las propiedades 1, 2 y 3 son inmediatas y la desigualdad triangular se sigue de
|xi yi | d (x, y), i = 1, . . . , n.
Esta metrica se conoce como la metrica uniforme en Rn y a Rn con esta metrica
se le denota por l (n).
17
2.1. DEFINICIONES Y EJEMPLOS.
7. Sea X = {{xn } | {xn } es una sucesion acotada de n

umeros reales }. Definamos
d : X X R como
d ({xn }, {yn }) = sup{|xj yj | | j N}.
Las propiedades 1, 2 y 3 son inmediatas, para la desigualdad triangular, se usa
|xj yj | d ,
para cada j N.
8. Sea X = c = {{xn } l | {xn } es convergente }. Si consideramos la funcion

d definida en el ejemplo anterior, restringida a c c, entonces, tambien es una
metrica.
9. Sea X = co = {{xn } c | lmn (xn ) = 0} Si consideramos la funcion d definida
en el ejemplo anterior, restringida a co co , entonces, tambien es una metrica.

10. Sea X = B(A, R) = {f : A R f es una funcion acotada en A}.
Definamos d : X X R por

d (f, g) = sup{|f (x) g(x)| x A}.
Observe que d (f, g) R ya que, la funcion f g es acotada.
Las propiedades 1, 2 y 3 son inmediatas, para la desigualdad triangular se usa

|f (x) g(x)| d (f, g), para x A.
Esta metrica se conoce como la metrica uniforme en B(A, R).
Si A = {1, 2, . . . , n}, B(A, R) se puede identificar con l (n). En el caso de que

A = N, B(A, R) es el espacio de sucesiones acotadas y se le denota por l .

11. Sea X = C[a, b] = {f : [a, b] R f es continua en [a, b]}. Definamos
d X X R por

d (f, g) = sup{|f (x) g(x)| x [a, b]}.
Observe que como C[a, b] es subconjunto de B([a, b], R) y la funcion d es la misma,

entonces d es una metrica.
12. Sea X = C[a, b]. Definamos d1 : X X R por
Z b
d1 (f, g) =
|f (x) g(x)| dx .
a

18
Recuerde que una funcion continua en un intervalo cerrado [a, b] es Riemann

integrable en [a, b], esto nos dice que d1 (f, g) R. Las propiedades 1, 2, 3 y 4 son
consecuencia de las propiedades de la integral de Riemann para funciones continuas.

Observacion. Si X = {f : [a, b] R f es Riemannintegrable en [a, b]} y consideramos en X X
R b la misma funcion d1 , entonces d1 , en este caso, es una pseudometrica, ya que, a |f (x) g(x)| dx = 0, no nos garantiza que f = g.

13. Sea X = C [a, b] = {f : [a, b] R f es continuamente diferenciable en [a, b]}.
Definamos las siguientes funciones
a) d(f, g) = d (f, g).
g) = d (f , g ).
b) d(f,
c) d (f, g) = d (f, g) + d (f , g ).
El primer y tercer caso son metricas, el segundo caso es un ejemplo de una pseudometrica.
14. Sea f : R R inyectiva. definimos df : R R R como
df (x, y) = |f (x) f (y)|.
Es facil demostrar que es una metrica en R. En el caso de que la funcion f no sea inyectiva, df es una pseudometrica, ya que no podemos garantizar que si df (x, y) = 0,
entonces x = y.
15. Sea X cualquier conjunto diferente del vaco. Definamos d : X X R por
(
1, si x 6= y,
dd (x, y) =
0, si x = y.
Es facil probar que dd es una metrica. Esta metrica se conoce como la metrica
discreta en X. Es una metrica u
til para contraejemplos, ademas de decirnos que
podemos definir una metrica en cualquier conjunto.
2.2.
Construcci
on de M
etricas a Partir de M
etricas
Dadas.
1. Sea d una metrica en un conjunto X.
DE METRICAS
2.2. CONSTRUCCION
A PARTIR DE METRICAS
DADAS.
19
a) E X. Definamos dE : E E R por
dE (x, y) = d(x, y).
Evidentemente dE es una metrica, llamada la metrica inducida por d. Se dice
que E es un subespacio metrico de X, cuando E es considerado con la metrica
inducida.
b) Definamos d : X X R como
y) = mn{d(x, y), 1}.
d(x,
Es inmediato demostrar que d es una metrica en X.
c) Definamos d : X X R por
y) =
d(x,
d(x, y)
.
1 + d(x, y)
Las propiedades 1, 2 y 3 son faciles de demostrar. Para la desigualdad trianx

gular, se usa el hecho de que la funcion f (x) =
es una funcion creciente
1+x
para x > 0.
Q
2. Para cada i = 1, . . . , n, sea di una metrica en el conjunto Xi y sea X = ni=1 Xi .
Definamos d : X X R por:
a)
d(x, y) =
n
X
di (xi , yi ), x = (x1 , . . . , xn ), y = (x1 , . . . , yn ).
i=1
Es inmediato que d es una metrica.

b)
d (x, y) = max{di(xi , yi), | i = 1, n}, x = (x1 , . . . , xn ), y = (x1 , . . . , yn ).
Tambien es inmediato que es una metrica.
3. Para cada i N, sea di una metrica en Xi y sea X =
d : X X R como
d(x, y) =
X
i=1
iN
Xi . Definamos
di (xi , yi )
.
+ di (xi , yi ))
2i (1
La demostracion de este ejemplo se la dejamos al lector. Ver ejercicio 8.

20
2.3.
Conceptos Topol
ogicos en Espacios M
etricos.
Muchos conceptos en Rn se pueden trasladar de manera inmediata a espacios metricos

(X, d).
Definici
on 2.2. Sea xo X y r > 0.
La bola abierta con centro en xo y radio r, denotada por B(xo , r), es el conjunto

B(xo , r) = {x X d(x, xo ) < r}.
La bola cerrada con centro en xo y radio r, denotada por B[xo , r], es el conjunto

B[xo , r] = {x X d(x, xo ) r}.
La esfera con centro en xo y radio r, denotada por S(xo , r), es el conjunto

S(xo , r) = {x X d(x, xo ) = r}.
Observacion. Se pide que el radio r sea un n

umero estrictamente positivo, de esta
manera, garantizamos que la bola abierta y la bola cerrada sean conjuntos diferentes del
vaco, ya que al menos contienen al centro.
En los espacios usuales, como R, R2 , R3 , estos conceptos, se corresponden con el
nombre, y es importante mantener esta vision geometrica, pero debemos ser cuidadosos,
ya que, en otros espacios la interpretacion geometrica no se corresponde con la anterior,
como veremos a continuacion.
Ejemplos.
1. En R con la metrica usual B(xo , r) = (xo r, xo + r), B[xo , r] = [xo r, xo + r],
S(xo , r) = {xo r, xo + r}.
2. En el intervalo [0, 1), con la metrica inducida de R, la bola abierta con centro en 0
y radio 1/2 es el intervalo [0, 1/2).
3. En R2 , con la metrica euclidiana, B(xo , r) es el interior del crculo centrado en xo y
radio r, B[xo , r] es el crculo, y S(xo , r) es la circuferencia con centro en xo y radio
r. En R3 la bola abierta es el interior de la esfera, la bola cerrada es el interior de
la esfera con su cascara y la esfera es la cascara. Ver figura 1.1.
4. En R2 con la metrica d1 , se tiene

B((a, b), r) = {(x, y) R2 |x a| + |y b| < r}
es el interior de un cuadrado con centro en (a, b) y rotado /4 radianes con respecto

a los ejes, de manera similar, la bola cerrada es el interior de este cuadrado junto
con su frontera y la esfera es la frontera de este cuadrado. Ver figura 1.1.
2.3. CONCEPTOS TOPOLOGICOS

EN ESPACIOS METRICOS.
21
5. En R2 con la metrica uniforme d se tiene

B((a, b), r) = {(x, y) R2 max{|x a|, |y b|} < r}
es el interior de un cuadrado con centro en (a, b) y lados parelelos a los ejes, de

manera similar, la bola cerrada es el interior de este cuadrado junto con su frontera
y la esfera es la frontera de este cuadrado. Ver figura 1.1.
Las bolas en R2 con las m
etricas d2 , d1 y d .
Mtrica Euclidiana
Mtrica del taxista
Mtrica uniforme
Figura 1.1
6. Sea X 6= con la metrica discreta.

B(x, 1/2) = B[x, 1/2] = {x}, S(x, 1/2) = .
B(x, 1) = {x}, B[x, 1] = X, S(x, 1) = X {x}.

B(x, 2) = B[x, 2] = X, S(x, 2) = .
7. En C[a, b] con la metrica uniforme, d la bola centrada en fo y radio r, es el

conjunto de todas las funciones continuas cuyas graficas estan contenidas en la
banda con centro en fo y radio r. Ver figura 1.2.

22
Las bolas en C[a, b] con la m

etrica uniforme.
Figura 1.2
Definici
on 2.3. Sea (X, d) un espacio metrico (pseudometrico), O X. Diremos que
O es un conjunto abierto o simplemente abierto, si O cumple la siguiente condicion
Si para cada x O existe r = rx > 0, tal que B(x, r) O.
Observaciones.
En realidad, deberemos decir un conjunto dabierto, ya que, un conjunto puede
ser abierto con una metrica en X pero no con otra, pero en general como el espacio
metrico permanece fijo, nos permitiremos decir, simplemente abierto.
Note que si O no es un conjunto abierto, debe existir x O, tal que, para cada
r > 0, B(x, r) no es subconjunto de O, es decir, existe zr B(x, r) con zr
/ O.
El nombre de bola abierta no es casual, nos sugiere que esta, es un conjunto abierto,
como probaremos a continuacion.
Teorema 2.1. Toda bola abierta es un conjunto abierto.

23
Demostraci
on: Sea y B(x, r). Tomemos r = r d(x, y) > 0, ya que d(x, y) < r.
Ver figura 1.3.
Probemos que B(y, r ) B(x, r). Sea z B(y, r ),
d(x, z) d(x, y) + d(y, z) < d(x, y) + (r d(x, y)) = r,
luego, z B(x, r), por lo tanto, B(y, r ) B(x, r).
.
x
Figura 1.3
Observese que este resultado se cumple para cualquier espacio metrico, independientemente de cual sea el conjunto y la metrica que se defina en el.
El teorema siguiente es muy importante en el estudio de espacios metricos, ya que,
con el, concluimos que todo espacio metrico es un espacio topologico, y de esta manera,
estudiar en un marco mas general, entre otros, los conceptos de sucesion convergente y
de funcion continua.
Teorema 2.2. Sea (X, d) un espacio metrico.
(a) , X son conjuntos abiertos.
(b) La interseccion finita de conjuntos abiertos es un conjunto abierto.
(c) La union arbitraria de conjuntos abiertos es un conjunto abierto.
Demostraci
on:
El inciso (a) es evidente.

24
T
Para (b). Sean O1 , O2T
, . . . , On , n conjuntosTabiertos. Si ni=1 Oi = es inmediato
de (a). Supongamos que ni=1 Oi 6= , sea x ni=1 Oi , entonces, como x Oi y Oi es
abierto, existen ri > 0, i = 1, n tales que
B(x, ri ) Oi , i = 1, n.

Sea r = mn{ri i = 1, n}, obviamente r > 0. Como r ri
as que B(x, r)
Tn
B(x, r) B(x, ri ) Oi , i = 1, n,
i=1
Oi .

I} una familia cualquiera de conjuntos abiertos en
Para
el
inciso
(c).
Sea
{O
S
S
S
X. Si I O = es inmediato de (a). Supongamos que I O 6= . Sea x I O ,
entonces existe o I, tal que x Oo , como Oo es abierto, existe r > 0 tal que
[
B(x, r) Oo
O .
Por lo tanto
O es un conjunto abierto.
En general, la interseccion arbitraria de abiertos no es abierta. Mas adelante daremos el contraejemplo. Si copiamos
la demostracion que se hizo para el caso finito,
T
detectaremos un error. Sea x I O . Como x O y O es un conjunto abierto,
existe r > 0 tal que B(x, r ) O . Tomemos r = nf{r I}. Como r r ,
B(x, r) B(x, r ) O , I,
T
T
luego, B(x, r) I O , por lo tanto I O es abierto. Donde se encuentra el error?
Respuesta: No podemos garantizar que r > 0.
Esto no nos garantiza que sea falso que la interseccion arbitraria de abiertos sea
un conjunto abierto. Para demostrar la falsedad de esta afirmacion, necesitamos dar
un contraejemplo. Consideremos R con la metrica usual, T
para cada n N, se tiene
que B(0, 1/n) = (1/n, 1/n) es un conjunto abierto, pero nN B(0, 1/n) = {0}. Este
conjunto no es abierto.
A la familia formada por todos los conjuntos abiertos, se le llama la topologa
inducida por la metrica d.
Ejemplos.
1. En R con la metrica usual los siguientes conjuntos son abiertos: (a, b), (a, ),
(, b). Sin embargo, existen metricas en donde un intervalo abierto no es
un conjunto abierto, as que debemos ser cuidadosos para no confundir ambos
conceptos. Los siguientes conjuntos, con la metrica usual, no son abiertos en R
[a, b], [a, b), (a, b], (, b], [a, ), N, Z, Q.

25
2. Sea X = [0, 1), con la metrica inducida de R. El intervalo [0, 1/2) es un conjunto
abierto.
3. En R2 con la metrica euclidiana, son abiertos, el interior de un rectangulo, el interior
de un semiplano, el interior de un crculo, el interior de un triangulo, etc. No son
abiertos, estas mismas figuras, si inclumos al menos un punto de su frontera,
N N, N A, con A R, A 6= .
4. Sean X 6= y dd la metrica discreta en X. En este caso, cualquier subconjunto A
de X es abierto.
5. Sea X = C[0, 2] con la metrica uniforme y

O = {sen x + k 0 < k < 1}
no es un conjunto abierto. En realidad, para cualquier funcion f O, es decir, de la

forma f (x) = sen x + ko y r > 0, la funcion g(x) = sen x + r/2 sen 8x + ko B(f, r)
yg
/ O.
Definici
on 2.4. Sean (X, d) un espacio metrico y F X. Decimos que F es un conjunto
cerrado, si F C es un conjunto abierto.
Observaci
on. En un espacio metrico, puede ocurrir que un subconjunto de el, no sea
abierto, ni cerrado. Tambien podemos encontrar conjuntos que son abiertos y cerrados
al mismo tiempo. Ademas el hecho de que un conjunto no sea abierto, no significa que el
conjunto sea cerrado. De manera analoga, si un conjunto no es cerrado, no implica que
sea un conjunto abierto.
Probaremos, ahora, resultados similares a los probados para conjuntos abiertos.
1. B[x, r] es un conjunto cerrado, para cada x X y r > 0.
2. y X son conjuntos cerrados.
3. La interseccion arbitraria de conjuntos cerrados es un conjunto cerrado.
4. La union finita de conjuntos cerrados es un conjunto cerrado.

26
Demostraci
on: Para 1. sea y B[x, r]C . Tomemos s = d(x, y) r > 0. Probaremos que B(y, s) B[x, r]C . Sea z B(y, s), se tiene que d(y, z) < s = d(x, y) r, de
esto y de la desigualdad del triangulo, obtenemos
r < d(x, y) d(y, z) d(x, z).
Hemos demostrado que z B[x, r]C , por lo tanto, B(y, s) B[x, r]C , es decir,
B[x, r]C es un conjunto abierto.
La demostracion del 2. es inmediata, ya que C = X y X C = .
3. y 4. se demuestran, usando las leyes de Morgan.
Ejemplos.
1. Los conjuntos unitarios en espacios metricos son conjuntos cerrados. Es inmediata
su demostracion. De esto y 4. del teorema inmediato anterior, se infiere que todo
conjunto finito en un espacio metrico es un conjunto cerrado.
2. En R con la metrica usual, los intervalos de la forma [a, b], [a, ), (, a] son
conjuntos cerrados. Los intervalos de la forma [a, b), (a, b] no son conjuntos, ni
abiertos, ni cerrados. N y Z son conjuntos cerrados, pero Q no es un conjunto, ni
abierto, ni cerrado.
3. Sea dd la metrica discreta en un conjunto X. Ya demostramos que todo subconjunto
de X es abierto, de aqu se infiere que todo subconjunto de X es cerrado, es decir,
en este caso, todo subconjunto de X es abierto y cerrado simultaneamente.
A continuacion, presentaremos una serie de conceptos que son generalizaciones de
conceptos familiares en Rn .
Definici
on 2.5. Sean (X, d) un espacio metrico, A X y x X.
1. x es un punto interior de A, si existe un conjunto abierto O = Ox , tal que
x O A. Observe que esta definici
on es equivalente a: x es punto interior
de A, si existe r = rx > 0 tal que B(x, r) A El interior de A, denotado por
int(A) o Ao es el conjunto de los puntos interiores de A.
2. V = Vx es una vecindad de x, si x es un punto interior de V .
3. x es un punto de acumulaci
on de A, si para cada vecindad V = Vx de x se cumple
que (V {x}) A 6= . Observe que esta definici
on es equivalente a: x es punto de
acumulacion de A, si para cada r > 0, B(x, r) {x} A 6= El conjunto de los
puntos de acumulaci
on de A se denota por A . Algunos autores le llaman a este
conjunto, el conjunto derivado de A.

27
4. x es un punto adherente de A, si para cada vecindad V = Vx de x se tiene que

V A 6= . Esta definicion es equivalente a: x es punto adherente de A, si para
cada r > 0, B(x, r) A 6= . La cerradura del conjunto A denotada por A, es el
conjunto formado por todos los puntos adherentes de A.
5. x es un punto exterior a A si existe una vecindad V = Vx de x, tal que x V AC .
El exterior de A, denotado por ext(A) es el conjunto de todos los puntos exteriores
de A.
6. x es un punto frontera de A si toda vecindad V = Vx de x cumple que V A 6= y
V AC 6= . La frontera de A, es el conjunto formado por todos los puntos frontera
de A y se denota fr(A).
7. x es un punto aislado de A, si existe una vecindad V = Vx de X tal que V A = {x}.
Ejemplos.
1. En R con la metrica usual:
a) int(Q) = , ext(Q) = , fr(Q) = R, Q = R, Q = R.
b) int(N) = , ext(N) = R N, fr(N) = N, N = , N = N.
c) int[a, b) = (a, b), ext[a, b) = (, a) [b, ), fr[a, b) = {a, b}, [a, b) = [a, b],
[a, b) = [a, b].
2. Sea X = (0, 1] {2} con la metrica usual; sea A = {2}, entonces int(A) = A,
ext(A) = (0, 1], fr(A) = , A = , A = A.
3. En cualquier espacio metrico un conjunto finito no tiene puntos de acumulacion,
pero el hecho de que un conjunto no tenga puntos de acumulacion, no significa
que sea finito, (sea N R con la metrica usual). Tambien observe que si A 6=
entonces A debe ser un conjunto infinito.
4. El siguiente ejemplo nos muestra que la cerradura de la bola abierta no es necesariamente la bola cerrada (como ocurre en Rn con la metrica usual). Considere R
con la metrica discreta, tomemos B(x, 1), B(x, 1) = {x} y B[x, 1] = R.
A continuacion, presentaremos algunas propiedades de estos conceptos y su relacion
con los conceptos de conjunto abierto y conjunto cerrado.
Teorema 2.4. Sea A X, entonces
X = int(A) ext(A) fr(A).
Ademas, estos conjuntos son disjuntos dos a dos.

28
Le dejamos al lector, demostrar este resultado.

1. int(A) A.
2. Para cada A X, int(A) es un conjunto abierto.
3. El interior de A es el m
aximo conjunto abierto contenido en A, es decir,
[

int(A) = {O X O es abierto, y O A}.
4. A es un conjunto abierto, si y s
olo si, int(A) = A.
5. Si A B, entonces int(A) int(B).
6. int(A B) = int(A) int(B). Ser
a int
T
A = I int(A )?
7. int(A B) int(A) int(B). la contenci

on puede ser estricta.
Demostraci
on: La demostraciones de 1, 2, 4 y 5 son obvias.
Para la demostracion de 3, como int(A) es abierto e int(A) A, tenemos que
[

int(A) {O X O es abierto, y O A}.

S
Para la otra contencion, sea x {O X O es abierto, y O A}, entonces
existe
un conjunto
abierto O tal que x O y O A, entonces x int(A), por lo tanto,

S
{O X O es abierto, y O A} int(A).
As, hemos demostrado la igualdad.
Para la demostracion de 6, int(A) A e int(B) B, por lo tanto
int(A) int(B) A B.
Como int(A) int B es un conjunto abierto, que esta contenido en A B, por 3, se
concluye que
int(A) int(B) int(A B).
Para la otra contencion, sea x int(A B), entonces existe O abierto tal que
x O A B, de aqu se concluye que x O A y x O B, es decir,
x int(A) int B.
Observese que este u
ltimo argumento se puede usar para demostrar que el interior
de la interseccion arbitraria de conjuntos es un subconjunto de la interseccion de los
interiores de estos conjuntos, pero que el argumento inicial de esta demostracion no se
puede usar, en general, (ya que la interseccion arbitraria de abiertos no necesariamente

29
es abierta). Esto nos da un indicio de que la respuesta a la pregunta del inciso 6 es no.
Un contraejemplo es: tome An = (1/n, 1/n) R considerando R con la metrica usual.
La demostracion de 7 se deja al lector.

1. A A.
2. Para cada A X, A es un conjunto cerrado.
3. Si A B, entonces A B.
4. A es cerrado, si y solo si, A = A.
5. A es el mnimo conjunto cerrado que contiene a A, es decir,
\

A = {F X F es cerrado y A F }.
olo si, A A.
6. A A, A = A A y A es cerrado, si y s
7. A = int(A) fr(A).
8. A B A B. La contencion puede ser propia.
S
S
9. A B = A B. Sera I A = I A ?
Demostraci
on: La demostracion de 1 y 3 son inmediatas.
Para 2, demostraremos que (A)C es un abierto. Sea x (A)C , entonces existe r > 0
tal que B(x, r) A = , como B(x, r) es vecindad de cada uno de sus puntos, tenemos
que B(x, r) (A)C .
La demostracion de 4 se le deja al lector.
Para 5, como A es un conjunto cerrado que contiene a A se concluye que
\

{F X F es cerrado y A F } A.
La otra contencion se sigue de 3 y 4, ya que si F es cualquier cerrado, tal que A F ,

entonces
A F = F,

T
as que A {F X F es cerrado y A F }.
Para 6, es claro que A A, ademas, como A A y A A, entonces A A A.
Para la otra contencion, sea x A, entonces, si x A, ya terminamos, si x
/ A, como
30
x A, entonces toda vecindad de x intersecta a A en un punto diferente de x, es decir,

x A . Por lo tanto A A A .
Que A es cerrado, si y solo si, A A es consecuencia de las dos anteriores.
Las demostraciones de 7, 8 y 9 de dejan al lector.
A continuacion veremos un criterio para determinar cuando un punto es punto de

acumulacion de un conjunto.
Teorema 2.7. Sea A un subconjunto del espacio metrico X. x A , si y solo si, para
toda vecindad V de x, existe un subconjunto C de A, infinito, con C V .
Demostraci
on:
] Probaremos la contrarrecproca. Basta demostrar este resultado para bolas abiertas centradas en x. Supongamos que existe una bola B(x, r) tal que B(x, r) contiene a
lo mas una cantidad finita de puntos de A, digamos A B(x, r) = o {x1 , x2 , . . . , xn } =
(A B(x, r)), xi 6= x. Es claro que si A B(x, r) = entonces, x
/ A . En el otro caso,

consideremos ro = mn{r, d(xi , x) i = 1, 2, . . . , n}. Consideremos B(x, ro ), entonces
(B(x, ro ) {x}) A = .
] Sea V vecindad de x. Consideremos V {x}, como V contiene una cantidad
infinita de puntos de A, podemos tomar z A, z 6= x y z V , por lo tanto x A .
Observese que de este teorema, se deduce que un conjunto finito no puede tener
puntos de acumulacion. Sin embargo, existen conjuntos infinitos que tampoco tienen
puntos de acumulacion, por ejemplo, en R con la metrica usual, el conjunto N no tiene
puntos de acumulacion.
Sean (X, d) un espacio metrico y Y X. Hemos visto que Y hereda la metrica de
X y podemos considerar a Y como espacio metrico. Adoptaremos la siguiente notacion,
BY (y, r), BY [y, r], SY (y, r) para la bola abierta, bola cerrada, esfera en Y y les llamaremos la bola abierta, la bola cerrada y la esfera con centro en y y radio r relativa en Y . De
manera similar diremos abierto, cerrado relativo en Y cuando nos refiramos a abiertos y
cerrados en Y . Tambien adoptaremos la notacion AY para la cerradura de A Y en Y
y notaciones similares para los demas conceptos.
En el siguiente teorema, veremos la relacion de estos conceptos en el espacio metrico
Y con respecto al espacio metrico X. La demostracion de estas afirmaciones es elemental
y la dejaremos como ejercicio al lector.
Teorema 2.8. Sea (X, d) un espacio metrico y Y X, entonces
1. Sea y Y , entonces BY (y, r) = Y B(y, r).

2.4. CONJUNTOS ACOTADOS EN ESPACIOS METRICOS.
31
2. Sea A Y, A es abierto relativo en Y , si y s

olo si, existe O abierto en X tal que
A = Y O.
3. Sea A Y, A es cerrado relativo en Y , si y s
olo si, existe F cerrado en X tal que
A = Y F.
4. AY = Y A, AY = Y A , intY (A) Y int(A) y frY (A) = Y fr(A), donde
A Y.
Observaci
on. No necesariamente un abierto, cerrado relativo en Y es abierto, cerrado
en X, por ejemplo, en R con la metrica usual, consideremos Y = [0, 1), el conjunto
[0, 1/2) es un abierto relativo en Y , de hecho, es la bola abierta relativa en Y con centro
en 0 y radio 1/2, este conjunto no es abierto en R. Sin embargo tenemos el siguiente
resultado, cuya demostracion es inmediata.
Teorema 2.9. Sean (X, d) un espacio metrico, Y X cerrado (abierto) en X y A Y .
Si A es cerrado (abierto) relativo en Y , entonces A es cerrado (abierto) en X.
2.4.
Conjuntos Acotados en Espacios M

etricos.
Definici
on 2.6. Sea A un conjunto no vaco en (X, d) espacio metrico. Decimos que A
es acotado, si existe k R, k > 0 tal que para todo x, y A, se tiene que
d(x, y) k.
Observese que decir que un conjunto A no es acotado, equivale a decir que, para todo
k > 0 existen xo , yo A tales que d(xo , yo) > k.
Evidentemente si B A, y A es acotado, entonces B tambien es acotado.
Ejemplos.
1. En cualquier espacio metrico X, la bola abierta B(a, r), la bola cerrada B[a, r] y la
esfera S(a, r), A son conjuntos acotados. Esta afirmacion se demuestra facilmente
usando la desigualdad triangular, esto es, si x, y pertenecen a cualquiera de estos
conjuntos, se tiene que
d(x, y) d(x, a) + d(a, y).
2. Consideremos en (R2 , d2 ), el conjunto

A = {(x, y) xy = 1}.
32

Este conjunto no es acotado. Sea k > 0, elijamos a, b A de la siguiente manera:
a = (n, 1/n), b = (1/n, n) con n N. Entonces la distancia entre a y b es
p
d2 ((n, 1/n), (1/n, n)) = (n 1/n)2 + (n 1/n)2 = 2(n 1/n)

k
como n 1/n > n 1, si tomamos n N tal que n > + 1 entonces
2
d2 (a, b) > 2(n 1) > k.
3. En el mismo (R2 , d2 ), consideremos el conjunto

C = {(x, y) 4(x 2)2 + (y 1)2 = 1}.
Este conjunto s esta acotado. La demostracion es sencilla.
4. En R con la metrica usual, el concepto de conjunto acotado mediante la definicion

dada coincide con el que ya conocamos, es decir, A es acotado, si existe k > 0
tal que para todo x A, |x| k. Sea A acotado, entonces existe k > 0 tal que
d(x, y) = |xy| k, fijemos y A despejemos x y obtenemos que yk x y+k
para todo x A, lo cual significa que A esta acotado inferior y superiormente, o
sea, A esta acotado.
El que un conjunto
A sea acotado nos lleva a considerar que el conjunto de n
umeros

reales {d(x, y) x, y A} es un conjunto acotado superiormente, luego tiene sentido
considerar el supremo de este conjunto, el cual nos proporciona la siguiente definicion.
Definici
on 2.7. Sea X un espacio metrico y sea A un conjunto no vaco y acotado.
Llamamos diametro de A al n
umero

(A) = sup{d(x, y) x, y A}.
Si un conjunto no esta acotado, decimos que carece
de diametro, algunos autores dicen

que (A) = . ademas, si el conjunto {d(x, y) x, y A} esta acotado superiormente,
entonces A esta acotado.
Si A es acotado y B A, entonces B es acotado y (B) (A). Este resultado es
evidente.
Un resultado importante y de mucha utilidad, como veremos mas adelante, es el
siguiente.

2.4. CONJUNTOS ACOTADOS EN ESPACIOS METRICOS.
33
Teorema 2.10. Sean (X, d) un espacio metrico y A X un conjunto no vaco. A es

acotado, si y solo si, esta contenido en una bola abierta.
Demostraci
on:
] Como toda bola abierta B(x, r), x X, r > 0 es acotada, y A B(x, r),
entonces A es acotado.
] Sea (A) el diametro de A, sea xo X un punto cualquiera. Construiremos una
bola centrada en x0 que contenga a A. Sea z A y definamos el radio de la bola as:
r = d(z, xo ) + (A) + 1.
Veamos que todo elemento x de A pertenece a B(xo , r)
d(x, xo ) d(x, z) + d(z, xo ) (A) + d(z, xo ) < (A) + d(z, xo ) + 1.
Esto es, x B(xo , r).
Ejemplos.
1. Todo conjunto unitario tiene diametro cero. Recprocamente, si (A) = 0, entonces,
para todo x, y A se tiene que 0 d(x, y) 0, o sea x = y, luego A es unitario.
2. Toda bola abierta B(x, r) (cerrada B[x, r]) en un espacio metrico tiene diametro
2r. No necesariamente su diametro es 2r, por ejemplo, en el espacio metrico
discreto, B(x, 1) = {x} y su diametro es cero.
3. En R con la metrica usual, ((a, b)) = ([a, b]) = ({a, b}) = b a. Observese
que estos conjuntos son diferentes, en el primer caso, no existen elementos del
conjunto (a, b) tales que d(x, y) = b a, a diferencia del segundo conjunto y el
tercer conjunto, en donde d(a, b) = b a.
El ejemplo 3 anterior, se generaliza para un conjunto acotado y su cerradura.
Teorema 2.11. Sea (X, d) espacio metrico. Si A X es un conjunto acotado, entonces
(A) = (A).
Demostraci
on: Como A A, se tiene que (A) (A). Para la otra desigualdad,
sea > 0 y sean x, y A. Entonces
B(x, /2) A 6=
B(y, /2) A 6= .

34
Tomemos p B(x, /2) A y q B(y, /2) A, entonces

d(x, y) d(x, p) + d(p, y)
d(x, p) + d(y, q) + d(p, q)
< (A) + .
De esta desigualdad se deduce que A es acotado y que
(A) (A) + ,
como es arbitrario, se concluye que (A) (A). Luego, se tiene la igualdad.
Como consecuencia inmediata se tiene el siguiente resultado.

Corolario 2.1. Un conjunto A es acotado, si y s
olo si, A es acotado.
Otro concepto que involucra distancias es el siguiente.
Definici
on 2.8. Sean X un espacio metrico, A y B subconjuntos no vacos de X. Se
define la distancia entre los conjuntos A y B como

d(A, B) = nf{d(a, b) a A, b B}.
Observaciones.
d(A, B) no es propiamente una distancia, a pesar de su nombre.

d(A, B) = d(B, A) para toda A, B X, es decir cumple con el axioma de simetra.
Si A B 6= entonces d(A, B) = 0. El recproco no se cumple, se puede tener que
d(A, B) = 0 y sin embargo, A B = , por ejemplo A = (0, 1), B = (1, 2).
Si el conjunto A esta formado por un u
nico punto a, la distancia se denomina distancia
de un punto a un conjunto:

d(a, B) = nf{d(a, b) b B}.
Ejemplos.
1. Sean X = R con la metrica usual y B = Q. Para cualquier a R, se cumple que

d(a, Q) = 0. Tambien d(Q, I) = 0, donde I es el conjunto de n
umeros irracionales.
2.5. CONJUNTOS TOTALMENTE ACOTADOS EN ESPACIOS
METRICOS.
35
2. Sean R con la metrica usual y A = (1, 2]. Se comprueba directamente que

d((3/2, A) = nf aA |3/2 a| = 0
d(1, A) = nf aA |1 a| = 0
d(0, A) = nf aA |a| = 1.
3. Sean R2 con la metrica del taxista y

A = {(x, y) R2 y = x2 } = {(x, x2 ) x R}
entonces
d2 ((2, 0), A) = nf (x,y)A d2 ((2, 0), (x, y))

= nf xR d2 ((2, 0), (x, x2 ))
p
= nf xR { (2 x)2 + x2 }
2nf xR 2 2x + x2
=
Si definimos f (x) =
2 2x + x2 , se tiene que
0 = f (x) =
x1
, si y solo si, x = 1
2 2x + x2
luego
nf xR f (x) = f (1) = 1.
Por lo tanto d2 ((2, 0), A) = 2.

Una desigualdad auxiliar que se usara con frecuencia es la siguiente.
Teorema 2.12. Sea X un espacio metrico, A X un subconjunto no vaco y x, y X.
Entonces.
|d(x, A) d(y, A)| d(x, y).
Dejamos la demostracion al lector.
2.5.
Conjuntos Totalmente Acotados en Espacios

M
etricos.
Otro concepto, que utilizaremos mas adelante, es el de conjunto totalmente acotado,

el cual es mas fuerte que el de conjunto acotado, como veremos enseguida.

36
Definici
on 2.9. Sea (X, d) un espacio metrico. Diremos que A X es totalmente
acotado (algunos autores le llaman precompacto), si para todo > 0, existe un conjunto
finito de puntos x1 , x2 , . . . , xn A, tales que
A
n
[
B(xi , ).
i=1
Ejemplos.
1. Si A es finito, evidentemente es totalmente acotado.
2. Si X tiene la metrica discreta y A X es totalmente acotado, entonces A es finito.
3. En R el intervalo (0, 1) es totalmente acotado: sea > 0, para dicha existe n N
tal que 1/2n < . Los puntos
xi =
2i 1
2n
i = 1, 2, . . . , n,
pertenecen al intervalo (0, 1) y dividen al intervalo en subintervalos de longitud

1/n. Si y (0, 1), entonces y pertenece a uno de los subintervalos, es decir, existe
i {1, 2, . . . , n} tal que y [(i 1)/n, i/n], de donde d(y, xi) 1/2n < . De
aqu conclumos que
n
[
(0, 1)
B(xi , ).
i=0
Teorema 2.13. En un espacio metrico (X, d), todo conjunto totalmente acotado es acotado.
Demostraci
on: Sea A X totalmente
Sn acotado y = 1, entonces existe un
conjunto {x1 , x2 , . . . , xn } A, tales que A i=1 B(xi , 1). Sea

h = max{d(xi , xj ) i = 1, 2, . . . , n}.
Si x, y A, por la hipotesis x B(xi , 1) para alguna i y y B(xj , 1) para alguna j.

Luego
d(x, y) d(x, xi ) + d(xi , xj ) + d(xj , y) < 1 + h + 1 = 2 + h.
Por lo tanto, A es acotado.
37
2.6. EJERCICIOS.
El recproco no siempre es cierto, un conjunto puede ser acotado y no ser totalmente

acotado: sea X un espacio infinito, con la metrica discreta, cualquier subconjunto A de
X esta acotado, ya que, (A) = 1, pero, si A es infinito, es facil demostrar que no es
totalmente acotado. Sin embargo, en R, con la metrica usual, veremos mas adelante que
todo conjunto acotado es totalmente acotado.
Teorema 2.14. Sea (X, d) espacio metrico. Si A X es totalmente acotado entonces
cualquier subconjunto no vaco de A es totalmente acotado.
Demostraci
on: Sea C A, con C 6= . Dado > 0, existe un conjunto finito
x1 , x2 , . . . , xn de elementos de A, tales que
A
n
[
B(xi , /2).
i=1
Eliminemos las bolas cuya interseccion con C sea vaca, reordenando ndices, tenemos
que
m
[
C
B(xj , /2),
m n.
j=i
Consideremos ahora, para cada j = 1, 2, . . . , m, zj C B(xj , /2) y la bola B(zj , ).

Veamos que B(xj , /2) B(zj , ). Sea y B(xj , /2), entonces
d(y, zj ) d(y, xj ) + d(xj , zj ) < /2 + /2 = ,
luego, y B(zj , ), de donde

C
m
[
B(zj , ).
j=1
Lo que significa que C esta totalmente acotado.
2.6.
Ejercicios.
1. Sea X 6= ,
a) Sea d : X X R, una funcion que cumple las siguientes propiedades:
d(x, y) = 0, si y solo si, x = y.
d(x, y) d(x, z) + d(y, z), para cada x, y, z X.
Demuestre que d es una metrica en X.

38
b) d : X X R una funcion que cumple las siguientes propiedades:

d(x, y) = 0, si y solo si, x = y.
d(x, y) d(x, z) + d(z, y), para cada x, y, z X.
Es d una metrica en X?
2. Sea g : [0, ) R tal que g(0) = 0, con g estrictamente creciente y que satisface
g(x + y) g(x) + g(y) para todo x 0, y 0. Pruebe que si d es una metrica en
un conjunto X, entonces d1 = g d es tambien una metrica en X.
3. De las siguientes funciones, determine cuales son metricas en R.
a) d(x, y) = (x y)2 ,
b) d(x, y) = |x2 y 2|,

3
x, y R.
x, y R.
c) d(x, y) = |x y |, x, y R.
p
d ) d(x, y) = |x y|, x, y R.
e) d4 (x, y) = |x 2y|,
f ) d5 (x, y) =
x, y R.
|x y|
, x, y R.
1 + |x y|
4. Sea d : R2 R2 R definida por

d(x, y) = |x1 y1 |, donde x = (x1 , x2 ), y = (y1 , y2 )
es d una metrica en R2 ? es una pseudometrica?
5. Sean d1 , d2 , . . . , dn metricas en un conjunto X. demuestre que
d(x, y) =
n
X
i=1
di (x, y), para x, y X
es una metrica en X.
6. Sean (R2 , d2 ) (d2 metrica euclidiana) y A R2 , definido por

a) A = {(x, y) R2 (x 2)2 + y 2 1} {(x, y) R2 (x + 2)2 + y 2 1}.
Determine en (A, d2 ) los puntos a A que verifican
d2 (0, a) 1.

b) A = {(x, y) R2 y = x2 }. Proporcione una forma explcita de las metricas
inducidas por d1 , d2 y d en A.
39
2.6. EJERCICIOS.
7. Encuentre todas las metricas en un conjunto X que conste de solo dos puntos.
Tambien en X, donde X consta de un solo punto.
8. Sea {(Xi , di), i N} una sucesion de espacios metricos.

Q
Sea X = iN Xi = {{xi } xi Xi , i N}. Definamos d : X X R como
d(x, y) =
X
i=1
di (xi , yi)
, donde x = {xi } , y = {yi }.
+ di (xi , yi ))
2i (1
Demuestre que d es una metrica.

9. Sea (X, d) un espacio metrico. Definamos d : X X R como
d(x, y) = mn{1, d(x, y)}.
10. Sean X 6= , (Y, d) espacio metrico y : X Y una funcion inyectiva. Definamos
d1 : X X R como
d1 (x, z) = d((x), (z)).
Demuestre que d1 es una metrica en X. En el caso de que no sea inyectiva,
demuestre que d1 es una pseudometrica en X.
11. Sea (X, d) espacio metrico. Definamos d : X X R como
p
d(x, y) = d(x, y).
Es d una metrica en X? Si definimos d como
d(x, y) = (d(x, y))2,

es d una metrica en X?

12. Sean A 6= , A R y X = RA = {f : A R f es funcion }. Sea xo A,
definamos dxo : X X R como
dxo (f, g) = |f (xo ) g(xo)|.
Es dxo una metrica en X? es pseudometrica?

13. Sea P(N) el conjunto potencia de N. Para cada A, B P(N), definamos
d : P(N) P(N) R como d(A, B) = 0, si A = B, d(A, B) = 1/m, donde m es
el n
umero natural mas peque
no que esta en A o en B, pero no en ambos.

40
a) Demuestre que d es una metrica.
b) Calcule d(A, B) en los siguientes casos:

A = {2, 4, 6, . . . , 2n, . . .}, B = {1, 3, 5, . . . , 2n 1, . . .}.
A = {1, 2, 3, 5}, B = {1, 2, 4, 6}.
A = {2, 3, 5}, B = {4, 6, 8}.
c) Sea {Xn }, n N una sucesion creciente

de subconjuntos de N. Demuestre
S
que la sucesion {Xn } converge a i=1 Xi en esta metrica.

14. Sea D = {z C |z| 1}. Definamos d : D D R por
(
|z w|,
si arg(z) = arg(w) o z = 0 o w = 0.
d(z, w) =
|z| + |w|, en los otros casos.
Demuestre que d es una metrica en D.

15. Sea X = {{xi } xi {0, 1}, i N}. Definamos d : X X R como
d(x, y) =
X
|xi yi |
i=1
2i
Demuestre que d es una metrica en X. (X, d) es llamado el espacio de Cantor.

16. Sea 0 < 1. Definamos d : R R R como
d(x, y) = |x y| .
17. La metrica de la Oficina Postal. Sea X = R2 y d la metrica euclidiana. Definamos
d : R2 R2 R como
(
y) = d(0, x) + d(0, y), si x 6= y,
d(x,
0,
si x = y.
Demuestre que d es una metrica en R2 y que {x}, x R2 , x 6= 0, es un conjunto
abierto.
41
2.6. EJERCICIOS.
18. Definamos d : R2 R2 R por
1/2, si (x1 = y1 y x2 6= y2 ) o (x1 6= y1 y x2 = y2 ),

d(x, y) = 1,
si x1 6= y1 y x2 6= y2 ,
0,
si x = y,
donde x = (x1 , x2 ) y y = (y1 , y2 ).
Pruebe que d es una metrica en R2 .

19. Definamos d : R R R por
(
1 + |x y|, si uno y solo uno de los dos es positivo,
d(x, y) =
|x y|,
en los otros casos.
Pruebe que d es una metrica.
20. Sea X = {x1 , x2 , . . . , xn , . . . }, es decir, X es un conjunto numerable. Demuestre
que
1+
, si i 6= j,
d(xi , xj ) =
i+j
0,
si i = j.
es una metrica. A (X, d) se le conoce como el espacio metrico de Sierpinski.
21. Sea X = {f : N N | f es funcion }. Definimos

d(f, g) =
X
i=1
|g(i) f (i)|
.
+ |g(i) f (i)|)
2i (1
Demuestre que d es una metrica. A (X, d) se le conoce como el espacio de Baire.

22. El siguiente espacio metrico, llamado el espacio nulo de Baire tiene aplicaciones en
la teora de comunicaciones:
Sea Y = {f : N N | f es funcion }. Definimos
0,
si f (i) = g(i) para todo i,
d(f, g) = 1
, si i es el primer ndice tal que f (i) 6= g(i).
i

42
23. Sea X = N. Demuestre que la funcion d : N N R definida por

d(n, m) =
|n m|
nm
es una metrica en N.
24. Sea X = N N. Definimos
|da bc|
d (a, b), (c, d) =
,
bd
para (a, b), (c, d) N N. Demuestre que d es una metrica.

25. Sea (X, d) un espacio metrico. Demuestre:
a) |d(x, z) d(y, z)| d(x, y), para cada x, y, z X.
b) |d(x, y) d(z, w)| d(x, z) + d(y, w), para cada x, y, z, w X.
c) |d(x, A) d(y, A)| d(x, y), para cada x, y X y A X.
d ) Si A B A, entonces d(x, A) = d(x, B) = d(x, A), x X.

26. Sea (X, d) un espacio metrico, sean A, B, C P(X).
Definamos d : (P(X) ) (P(X) ) por

d(A, B) = nf{d(a, b) a A, b B}.
a) Es d una metrica? es una pseudometrica?
b) Si A B 6= , demuestre que d(A, B) = 0. Es valido el recproco?
c) Si d(A, B) 6= 0, entonces A B = . Demuestre que el recproco no es verdadero, aunque A y B sean

cerrados. Sug. En R con la metrica usual, considere
A = N y B = {n + 1/2n n N}.
d ) d(A, B) = d(A, B).
e) d(A, C) d(A, B) + d(B, C) + (B).
f ) d(A, C) d(A, B) + d(A B, C) + (B).
g) d(A, B C) = mn{d(A, B), d(A, C)}.
27. Demuestre que si f, g : [a, b] R son funciones continuas, entonces

Z
b
a
2 Z b
Z b
2
f (t)g(t) dt
f (t) dt
g 2 (t) dt .
a
43
2.6. EJERCICIOS.
Usando esta desigualdad, demuestre que
d(f, g) =
Z
b
2
(f (t) g(t)) dt
1/2
es una metrica en el conjunto

C = {f : [a, b] R f es continua }
28. Si (Y, d ) es un subespacio metrico de (X, d), pruebe que:
a) F Y es cerrado en Y , si y solo si, existe L cerrado en X, tal que F = L Y .

b) Y es cerrado en X, si y solo si, todo abierto U en Y , es abierto en X.
c) Y es cerrado en X, si y solo si, todo cerrado U en Y es cerrado en X.

o

d ) Si F Y , entonces FY = FX Y y FY = X (X F ) Y .
29. Sean (X, d) un espacio metrico, A, B X con A 6= =

6 B y xo X. Demuestre
que:
a) xo A d(xo , A) = 0.
b) No siempre se cumple que d(xo , A) = 0 xo A.
c) x A d(x, A) = 0.

d ) d(A, B) = nf{d(x, B) x A} = nf{d(y, A) y B}.
e) A B 6= d(A, B) = 0.
f ) No siempre se cumple que d(A, B) = 0 A B 6= .
30. Sea (R, | |), pruebe que:

(
)

1
a) Si S = x R x = , n N , entonces
n
o
S = .
S = S {0}.
S = {0}.
fr S = S {0}.
(
)

1
1

b) Si A =
+
n, m N , entonces (A ) 6= . y (A)
= .
n m
o
c) Existe A R, tal que A = y A = R.

44
d ) Si E R, E 6= , E es acotado y y = sup E entonces y E.

31. Sean A, B (X, d).
a) Sera cierto que:
i) fr A fr A,
ii) fr A fr A,
iii) fr (A B) = fr A fr B?
b) Verifique que si A B = , entonces fr (A B) = fr A fr B.

32. Sean (X, d) y A X. Verifique la verdad o falsedad de las siguientes proposiciones.
a) Si A es finito, entonces A = .
b) Sea X = R con la metrica usual, y sea A no numerable, entonces A 6= .

c) Sea A numerable, entonces A es numerable.
d ) Si A es numerable , entonces A es numerable.

e) A = A es finito.
33. Sea (X, d) un espacio metrico. A y B subconjuntos de X. Pruebe que
a) (A) = 0, si y solo si, A consta de un solo punto.
b) (A) = (A).
c) Si A B, entonces (A) (B).
d ) Si A B 6= , entonces (A B) (A) + (B). Se cumple este resultado,

si A B = ?
34. Sea (R2 , d2 ). Calcule d2 (x, B), cuando x = (1, 1) y B = B[(1/2, 0), 1/2].
35. Sea (R2 , d1 ). Calcule d1 (x, B), donde x y B son los mismos que en el problema
anterior.
36. Sea (R2 , d2 ). Calcule d2 (A, B), donde

A = {(x, 0) x > 0} y B = {(x, y) y = 1/x, x > 0}.
37. En R con la metrica usual, calcule d(x, B), donde

(
)
3 + (1)n n
x = 1/2, B =
n N {3}.
n2 + 1
38. Determine el interior, la cerradura y la frontera de los conjuntos siguientes en R

con la metrica usual.
45
2.6. EJERCICIOS.

a) {m + n m, n N}.

b) {1/n + 1/m m, n N}.
39. Determine el interior, la cerradura y la frontera de los conjuntos siguientes en R2

con la metrica euclidiana.

a) {(1/n, 1/m) n, m N}.

b) {(x, 0) x R}.

c) {(p, q) p, q Q}.

40. Sean X = {1/n n N} {0}, con la metrica inducida por la metrica usual en R
y A X. Pruebe que
a) Para cada n N, el conjunto unitario {1/n} es abierto.
b) El conjunto {0} no es abierto en X.
c) Si 0
/ A entonces A es un conjunto abierto en X.
d ) Si 0 A, entonces A es cerrado en X.
Observacion. Note que en este espacio, un subconjunto de X es abierto o
cerrado (o ambos).
41. Sean (X, d) un espacio metrico. x X y r > 0. Demuestre que
a) B(x, r) B[x, r].
b) Se cumplira B(x, r) = B[x, r]?
42. En el espacio metrico (R2 , d2 ) sean los subconjuntos:

A1 = {(x, y) R2 |x| < 1, |y| 2}.

A2 = {(x, y) R2 |x| 1, |y| 2}.

A3 = {(x, y) R2 |x| < 1, |y| < 2}.

A4 = {(x, y) R2 |x| 1, |y| < 2}.
Determine cuales de estos conjuntos, son abiertos, cuales son cerrados, cuales no
son ni abiertos, ni cerrados. Justifique.
43. Describa el interior, la adherencia, la acumulacion, el exterior, la frontera de los
siguientes conjuntos en la recta real R.
(a) [2, 1) (1, 3) {5},
(b) N,
(c) Q,
(d) Z.

46
44. Demuestre que la frontera de cualquier conjunto en un espacio metrico es siempre

cerrada.
45. Demuestre que si A es un subconjunto de un espacio metrico X, entonces:
(a) int(int(A)) = int(A).
(c) fr(A) A A es cerrado.
(e) fr(A) A = A es abierto.
(b) A = A.
(d) fr(A) = A es abierto y cerrado.
(f) A = A .
46. Sea Y X, donde X es un espacio metrico, demuestre que:

a) Todo conjunto A Y abierto en Y es abierto en X, si y solo si, Y es abierto
en X.
b) Todo conjunto A Y cerrado en Y es cerrado en X, si y solo si Y es cerrado
en X.
47. Sean X = R y A Y X. Estudie el caracter de abierto y cerrado relativo a Y
del conjunto A, en los siguientes casos:
a) Y = [0, 1] (1, 2] ;
A = [0, 1].

b) Y = (0, 1] ; A = {1/n n = 1, 2, 3, . . .}.

c) Y = Q ; A = {x Q x < 0 o x2 > 2}.
48. Sean X = R2 y A Y X. Estudie si A es abierto o cerrado relativo a Y , en los

siguientes casos:

a) Y = {(x, y) R2 x2 + y 2 < 1} ; A = {(x, y) Y y |x|}.

b) Y = {(x, y) x2 + y 2 = 1} ; A = {(x, y) Y y < |x|}.
49. En C([0, 1], R), con la metrica uniforme, determine si los siguientes conjuntos son
abiertos o cerrados (o ni abiertos, ni cerrados):

a) A = {sen x + k k [0, 1]}.

b) B = {f C([0, 1], R) f (0) = 0}.

c) C = {f C([0, 1], R) f (0) = 0 = f (1)}.
50. En el mismo espacio del ejercicio anterior, consideremos los siguientes conjuntos:

a) A = {f C([0, 1], R) f (x) < 1, para cada x [0, 1]}.

b) B = {f C([0, 1], R) f (0) = 0 = f (2)}.
Determine: int(A), ext(A), fr(A), A, A , B y B .
2.6. EJERCICIOS.
47
51. Demuestre que si un conjunto es totalmente acotado en un espacio metrico, su

cerradura tambien lo es.
52. Demuestre que todo intervalo acotado de R, es totalmente acotado.
53. Demuestre que un subconjunto de R es acotado, si y solo si, es totalmente acotado.
54. Sea {xn } una sucesion de Cauchy en R. Determine si el conjunto K = {xn }nN , es
totalmente acotado en R con la metrica usual.
55. Sea A un subconjunto no vaco en un espacio metrico X. Supongamos que para
todo > 0, existe una familia finita de conjuntos A1 , A2 , . . . , An que cubre A y tal
que
(Ak ) < ,
para
k = 1, 2, . . . , n.
Probar que A es totalmente acotado.
48
Captulo 3
Sucesiones en Espacios M
etricos.
Definici
on 3.1. Sea (X, d) un espacio metrico. Una sucesi
on en (X, d) es una funcion
f : N X; es decir, una funcion cuyo dominio es el conjunto de los naturales y su
codominio es el espacio metrico X.
Si f es una sucesion, para cada n N, f (n) lo representaremos como xn , la notacion
usual para una sucesion es {xn }
en usaremos {xn }nN o simplemente {xn } o
n=1 , tambi
(xn ) o {x1 , x2 , . . . xn , . . .}; a xn le llamaremos el termino general de la sucesion o termino
nesimo.
Tambien, en lugar de decir la sucesion f , diremos la sucesion {xn }. Desde luego,
no debemos confundir la sucesion {xn } con su rango f (N), por ejemplo, la sucesion de
n
umeros reales f : N R, definida por f (n) = (1)n se representara por {(1)n } o
por
{1, 1, 1, . . . , (1)n , . . .}.
y f (N) = {1, 1}.
Ejemplos de sucesiones.
1. En R con la metrica usual, consideremos la sucesion cuyo termino general es
xn = n2 ,
Otra sucesion es
{xn } =
n N.

1
sen n ,
n
n N.
2. En R2 con la metrica euclidiana, la sucesion cuyo termino general es

{n2 , n(1)n },
49
n N.

CAPITULO 3. SUCESIONES EN ESPACIOS METRICOS.
50
3. En B([0, 1], R) consideremos la sucesion {fn }, donde fn : [0, 1] R definida por

fn (x) = x2 /n, otro ejemplo en este espacio es la sucesion {gn }, donde gn : [0, 1] R
es la funcion definida por gn (x) = sen(nx).
3.1.
Convergencia de una Sucesi

on.
Definici
on 3.2. Sea (X, d) un espacio metrico, {xn } una sucesi
on en X y x X. Se
dice que x es un dlmite o simplemente un lmite, de la sucesi
on {xn } cuando n tiende
a infinito, si se cumple la siguiente afirmaci
on, si para cada n
umero real > 0, existe
k = k() N, tal que
d(xn , x) < , para cada n k.
Si x es un lmite de la sucesion {xn }, cuando n tiende a infinito, tambien diremos
que x es un lmite de la sucesion {xn }, o que la sucesion {xn } converge a x, cuando n
tiende a infinito o que la sucesion {xn } tiende a x. Si ning
un elemento de X es un lmite
de la sucesion {xn } diremos que la sucesion es divergente en X.
Teorema 3.1. Sea (X, d) un espacio metrico. Una sucesi
on {xn } en X puede tener a lo
mas un lmite.
Demostraci
on: Si la sucesion es divergente, no hay nada que probar. Supongamos
que x y y son dos lmites distintos de la sucesion {xn }. Sea = d(x, y)/2 > 0, como x y
y son lmites de la sucesion {xn }, existen k1 , k2 N tales que
d(xn , x) < para cada n k1 , y d(xn , y) < para cada n k2 .
Sea n N tal que n max{k1 , k2 }, entonces, se cumple lo siguiente
d(x, y) = d(x, xn ) + d(xn , y) < + = d(x, y),
y esto es una contradiccion.
Como consecuencia de este teorema, si x es un lmite de la sucesion {xn } ahora le

podemos llamar el lmite de la sucesion, que la sucesion converge a x y lo denotaremos
por lmn xn = x o simplemente {xn } x cuando n .
El concepto de lmite de una sucesion, puede escribirse en el lenguaje de las bolas
abiertas o de los conjuntos abiertos, este u
ltimo es el adecuado para estudiar este concepto
en el marco de los espacios topologicos.
Teorema 3.2. Sea X un espacio metrico, {xn } una sucesi
on en X y x X. Son
equivalentes las siguientes proposiciones:

3.1. CONVERGENCIA DE UNA SUCESION.
51
1. lmn xn = x.
2. Para cada > 0, existe k N tal que
xn B(x, ), para cada n k,
es decir, para cada bola abierta centrada en x, todos los terminos de la sucesion,
excepto, posiblemente una cantidad finita de terminos, pertenecen a esta bola.
3. Para cada vecindad V = Vx de x, existe k N tal que xn V , para cada n k.
4. La sucesion de n
umeros reales {d(xn , x)} converge a cero.
La demostracion se le deja al lector.
Definici
on 3.3. Una sucesion en un espacio metrico se dice que es acotada si su imagen
es acotada.
Teorema 3.3. Toda sucesion convergente en un espacio metrico es acotada.
Demostraci
on: Sea {xn } una sucesion que converge a x en el espacio X. Tomemos
= 1, existe k N tal que
d(xn , x) < 1,
para cada n k.
Sea r = max{1, d(x1 , x), . . . , d(xk1, x)}, entonces se tiene que para cada n N,
xn B(x, r).
El recproco de este resultado es falso, es decir, existen sucesiones acotadas que no

son convergentes, como lo veremos en alguno de los ejemplos que siguen.
Observese tambien que una sucesion no acotada, es divergente
Ejemplos de sucesiones convergentes y sucesiones divergentes.
1. En cualquier espacio metrico X, la sucesion constante {x}, es decir, la que tiene
como termino general a xn = x, n N converge a x.
2. En cualquier espacio metrico X, la sucesion casi constante {x}, es decir, la sucesion
{xn } que cumple la condicion de que existe k N tal que
xn = x,
converge a x.
para cada n k
52

3. Sea X = R con la metrica usual. Del analisis real, sabemos que, entre otras, las
siguientes sucesiones:
{1/n}nN ,
{(1)n /n}nN ,
{n/n + 1}nN
convergen a 0, 0 y 1 respectivamente. Que la sucesion {(1)n } es divergente, sin

embargo es una sucesion acotada. Mencion especial merece el hecho de que toda
sucesion monotona y acotada en R con la metrica usual es convergente.
4. Sea dd la metrica discreta en un conjunto cualquiera X. En este caso, una sucesion
{xn } es convergente, si y solo si, la sucesion es casi constante, es decir las u
nicas
sucesiones convergentes son las sucesiones casi constantes.
5. Sea X = Rk con la metrica euclidiana d2 . En este caso, la definicion de sucesion
convergente coincide con la que se da en los cursos de calculo, en estos cursos, se
demuestra que una sucesion {xn } converge a x, si y solo si,
lmn xin = xi ,
para i {1, 2, . . . , k},
donde el termino general xn = (x1n , x2n , . . . , xkn ) y x = (x1 , x2 , . . . , xk ).

Es decir, coloquialmente diremos que en Rk con la metrica euclidiana, una sucesion
converge, si y solo si, converge componente a componente. Si en Rk consideramos
la metrica dp , p 1, se cumple un resultado analogo.
Podramos preguntarnos si tenemos un resultado analogo en l2 , es decir, que una
sucesion converge en l2 , si y solo si, converge componente a componente, la respuesta
es no, solo es valido que si la sucesion converge en l2 entonces converge componente a
componente y esto se demuestra usando el hecho de que
|xjn xj | d2 (xn , x), para j N,
donde el termino general del elemento xn es la sucesion {xjn }jN . El contraejemplo para
el recproco es la sucesion {xn } donde
xn = {1, 1/ 2, . . . , 1/ n, 0, 0, . . . , }
donde los ceros empiezan a partir del termino n + 1.
Sin embargo, es valido preguntarse si existe una metrica d en el espacio de sucesiones,
tal que {xn } converge a x con la metrica d, si y solo si, la sucesion {xn } converge
componente a componente. Esto lo contestaremos mas adelante, ver teorema 3.6.

3.1. CONVERGENCIA DE UNA SUCESION.
53
Teorema 3.4. Sea X = B(A, R) con la metrica uniforme d . Una sucesi

on de funciones {fn } en X, converge con esta metrica a f , si y s
olo si, la sucesi
on {fn } converge
uniformemente a f en A.
Demostraci
on:
] Use el hecho de que
|fn (x) f (x)| d (fn , f ), para cada x A, n N.
] Use el hecho de que si, para cada x A
|fn (x) f (x)| < , entonces d (fn , f ) .
Es pertinente mencionar, que el concepto de convergencia uniforme de sucesiones de

funciones, no necesita que las funciones sean acotadas, as que se puede uno hacer la
siguiente pregunta, existe una metrica d en X = {f : A R f funcion }, tal que
fn converge a f en esta metrica, si y solo si, la sucesion {fn } converge uniformemente a
f en A? La respuesta es s, pero no lo demostraremos. Tambien nos podemos preguntar
si existe una metrica d en este mismo espacio, tal que la sucesion {fn } converge a f en
esta metrica, si y solo si, la sucesion {fn } converge puntualmente a f en A? La respuesta
depende de la cardinalidad del conjunto A. Probaremos el siguiente resultado

Teorema 3.5. Sea X = {f : A R f funci
on }. Supongamos que existe una metrica
d en X tal que, para cada fn X, f X, si {fn } converge puntualmente a f entonces
{fn } converge a f , con la metrica d. Entonces A es a lo m
as numerable.
Demostraci
on:
Para cada n N, sea

Bn = {x A d(X{x} , 0) > 1/n},
donde X{x} es la funcion caracterstica del conjunto x.

Para cada n, Bn debe ser un conjunto finito, ya que si existe no tal que Bno es infinito,
podemos escoger un subconjunto infinito numerable S = {x1 , x2 , . . . , xn , . . .} Bno ; es
claro que la sucesion de funciones caractersticas {X{xn } } converge puntualmente a la
funcion cero, entonces, por hipotesis, esta sucesion de funciones caractersticas converge,
con la metrica d, a la funcion cero, lo cual es una contradicci
on, ya que S Bno . As que
S
Bn es un conjunto finito, para cada n N. Ademas, A =
n=1 Bn y por lo tanto A es
un conjunto a lo mas numerable.
Sera cierto que si A es a lo mas numerable, existira una metrica d en X tal que
la convergencia puntual de una sucesion de funciones {fn } a f sea equivalente a la
convergencia de la sucesion con la metrica d. La respuesta es s:

54

Teorema 3.6. Sea X = {f : N R f funci
on }. Consideremos la metrica d, definida
por:
X
|f (i) g(i)|
d(f, g) =
.
i
2 (1 + |f (i) g(i)|)
i=1
Sean fn , f X, n N. La sucesi
on {fn } converge puntualmente a f , si y solo si, la
sucesion converge a f con la metrica d.
Demostraci
on:
] Supongamos que la sucesion {fn } converge puntualmente a f . Sea > 0, existe
N1 N tal que
X
1
< .
2i
i=N +1
1
Como
n N2 ,
PN1
|f (i)fn (i)|
i=1 2i (1+|f (i)fn (i)|)
converge a cero, cuando n existe N2 tal que, si
N

1
X

|f (i) fn (i)|

< /2.
i

2 (1 + |f (i) fn (i)|)
i=1
Sea n > max{N1 , N2 }, entonces

d(fn , f ) =
N1
X
i=1
X
X
|f (i) fn (i)|
|f (i) fn (i)|
1
+
< /2 +
< .
i
i
2 (1 + |f (i) fn (i)|) i=N +1 2 (1 + |f (i) fn (i)|)
2i
i=N +1
1
Hemos demostrado que la sucesion {fn } converge a f en la metrica d.

] Se usa el hecho que para cada i N
|fn (i) f (i)|
d(fn , f )
+ |fn (i) f (i)|)
2i (1
Existe un criterio en terminos de sucesiones, para determinar si un punto del espacio

X es punto de acumulacion (adherente) de un subconjunto A X.
Teorema 3.7. Sea A un subconjunto del espacio metrico X. Sea x X, x es punto
de acumulacion de A, si y s
olo si, existe una sucesi
on {xn } tal que, xn A, para cada
n N, el rango de la sucesi
on es un conjunto infinito y lmn xn = x.
Demostraci
on:
] Supongamos que existe una sucesion {xn } como lo indica el teorema. Sea r > 0,
existe un k N tal que xn B(x, r), para n k. Tomemos xn 6= x, con n > k
55
3.2. SUBSUCESIONES.
(esto lo podemos hacer ya que el rango de la sucesion es un conjunto infinito), entonces

xn B(x, r) {x}, por lo tanto, x A .
] Sea x A , para = 1 existe
x1 A, x1 6= x y x1 B(x, 1),
para = 1/2 existe
x2 A, x2 6= x1 , x2 6= x y x2 B(x, 1/2).
Procediendo inductivamente, para = 1/n, existe
xn A, xn 6= xi , (i = 1, n 1) y xn B(x, 1/n).
Este proceso de eleccion esta justificado, ya que toda vecindad de x contiene un
conjunto infinito de elementos de A. Como d(xn , x) < 1/n para cada n N, entonces
lmn xn = x.
Observaci
on. Notese que si x A , la sucesion puede tomarse con la propiedad de
que xn 6= xm para n 6= m.
Si la sucesion de elementos de A tiene rango finito, no necesariamente x es punto de
acumulacion, pero s podemos garantizar que es punto adherente. En realidad, tenemos
el siguiente resultado.
Teorema 3.8. x A, si y solo si, existe una sucesi
on {xn } de elementos de A tal que
lmn xn = x.
La demostracion se la dejamos al lector.
3.2.
Subsucesiones.
Definici
on 3.4. Sea {xn } una sucesi
on en el espacio metrico (X, d). Sea {nk } una
sucesion de n
umeros naturales estrictamente creciente. A la sucesi
on {xnk }
k=1 se le
llama subsucesion de la sucesion {xn }. Si la subsucesi
on {xnk } es convergente en X, al
lmite de esta subsucesion se le llama lmite subsecuencial.
Observaciones.
Los subndices nk estan en orden estrictamente creciente, es decir, el orden de los
elementos de la subsucesion es el mismo que en el que aparecen en la sucesion {xn }.
Para cada k N, nk k.

56
Una subsucesion de una subsucesion es una subsucesion de la sucesion original.

Ejemplos.
1. Toda sucesion es una subsucesion de ella misma: tomemos nk = k, k N.
2. Sea {xn } una sucesion y N N fijo. Definamos nk por nk = N + k, entonces
{xnk } = {xN +1 , xN +2 , . . . , xN +k , . . .},
es una subsucesion de {xn }.
3. Si el rango de una sucesion es finito, hay un termino de la sucesion que debe repetirse infinitas veces, digamos x, con este termino podemos formar una subsucesion
constante {x}.
4. {x2n }, {x2n+1 } son subsucesiones de la sucesion {xn }
Teorema 3.9. Sea {xn } una sucesi
on del espacio metrico X que converge al punto x.
Toda subsucesion de {xn } es convergente y converge a x.
Demostraci
on: Sea {xnk } una subsucesion de {xn } y > 0, como lmn xn = x
existe N N tal que
d(xn , x) < , si n N.
Sea k N, entonces nk k, as tenemos que
d(xnk , x) < .
Por lo tanto, la subsucesion {xnk } converge a x.
Teorema 3.10. El conjunto de los lmites subsecuenciales de una sucesion en un espacio

metrico X es un conjunto cerrado.
Sea {xn } una sucesion en X y

E = {x X x es un lmite subsecuencial de {xn } }.
Demostraci
on:
Si E = , ya terminamos. Sea x E , probaremos que existe una subsucesion de

{xn } que converge a x; es decir, x E, con lo cual, probaramos que E E, y esto
significa que E es cerrado.
3.3. SUCESIONES DE CAUCHY.
57
Sea n1 N tal que xn1 6= x. Tomamos = d(x, xn1 ) > 0, existe y1 E tal que
d(x, y1 ) < /22 , con y1 6= x, como y1 E existe n2 > n1 , tal que d(y1, xn2 ) < /22 y
xn2 6= x, por lo tanto,
d(x, xn2 ) d(x, y1 ) + d(y1, xn2 ) < /22 + /22 = /2,
es decir, d(x, xn2 ) < /2.
Como x E existe y2 E, y2 6= x, tal que d(x, y2) < /23 y como y2 E existe
n3 N, n3 > n2 y d(y2 , xn3 ) < /23 y xn3 6= x. Por lo tanto
d(x, xn3 ) d(x, y2 ) + d(y2 , xn3 ) < /23 + /23 = /22 ,
es decir d(x, xn3 ) < /22 .
As, inductivamente, construimos una subsucesion {xnk }, de la sucesion {xn } con
xnk 6= x y
d(x, xnk ) < /2k1.
Por lo tanto, de aqu se sigue que la subsucesion {xnk } converge a x, es decir, x E.
Teorema 3.11. Sea (X, d) un espacio metrico, {xn } una sucesi

on en X, y x X. Son
equivalentes:
(a) La sucesi
on {xn } no converge a x.
(b) Existe o > 0 y una subsucesion {xnk } tal que d(xnk , x) o
(c) Existe una subsucesion de {xn } que no converge a x.
La demostracion se la dejamos al lector.
Teorema 3.12 (Criterio de Divergencia.). Sean {xnk } y {xnj } dos subsucesiones de
{xn }, convergentes y con lmites distintos, entonces la sucesi
on {xn } es divergente.
La demostracion es inmediata.
3.3.
Sucesiones de Cauchy.
Definici
on 3.5. Una sucesion {xn } en un espacio metrico X es una sucesi
on de Cauchy
en X, si cumple con la siguiente condici
on:
para cada > 0, existe k = k() N, tal que d(xn , xm ) < si n, m k.

58
Intuitivamente una sucesion es de Cauchy, si sus terminos estan cercanos entre s,

con solo tomar los ndices lo suficientemente grandes en la sucesion. As que, como en
una sucesion convergente, los terminos de la sucesion estan cercanos a su lmite, con
solo tomar los ndices lo suficientemente grandes, deberamos tener que una sucesion
convergente es de Cauchy, como lo demostraremos a continuacion.
Teorema 3.13. Toda sucesi
on convergente en un espacio metrico X, es una sucesion
de Cauchy.
Demostraci
on:
existe k N tal que
Sea {xn } una sucesion en X que converge a x X y sea > 0,

d(xn , x) < /2, si n k.
Sean n, m k, entonces
d(xn , xm ) d(xn , x) + d(x, xm ) < /2 + /2 = ,
por lo tanto, {xn } es una sucesion de Cauchy.
El recproco de este teorema, no siempre se cumple, como lo veremos a continuacion.
Ejemplo.
Sea X = (0, 1) con la metrica usual. Demostraremos que la sucesion {1/n} es de
Cauchy, pero no es convergente en X. Sea > 0, tomemos k N, k > 2/, sean
n, m k, entonces
|1/n 1/m| |1/n| + |1/m| = 1/n + 1/m 1/k + 1/k < .
es decir, hemos demostrado que la sucesion {1/n} es de Cauchy en el intervalo (0, 1),
pero no es convergente en (0, 1), ya que el cero no pertenece a (0, 1).
Teorema 3.14. Toda sucesi
on de Cauchy en un espacio metrico es acotada.
Demostraci
on: Sea {xn } una sucesion de Cauchy en un espacio metrico X. Sea
= 1, existe k N, tal que
d(xn , xm ) < 1, si n, m k,
en particular, d(xn , xk ) < 1 para n k.
Sea M = max{1, d(xi , xk ), i = 1, k 1}, entonces
xn B(xk , M),
59
3.4. EJERCICIOS.
por lo tanto, la sucesion {xn } es acotada.
El recproco no siempre se cumple, la sucesion {(1) } es una sucesion acotada con

la metrica usual, pero no es de Cauchy.
n
Anteriormente, hemos demostrado que toda subsucesion de una sucesion convergente,

es convergente y converge al mismo lmite, pero existen sucesiones divergentes, que tienen
subsucesiones convergentes, pero si la sucesion es de Cauchy, esto no puede ocurrir, es
decir,
Teorema 3.15. Sea {xn } una sucesion de Cauchy en el espacio metrico X. Supongamos
que existe una subsucesion {xnk } que converge a x X. Entonces, la sucesi
on {xn } es
convergente y lmn xn = x.
Demostraci
on:
tal que
Sea > 0, como {xn } es una sucesion de Cauchy, existe k N,

d(xn , xm ) < /2, si n, m k.
Ademas, como {xnk } converge a x, existe k1 N tal que

d(xnk , x) < /2, si k k1 .
sea k2 max{k1 , k} y n k2 , entonces
d(xn , x) d(xn , xnj ) + d(xnj , x) < ,
donde el subndice nj es tomado de tal manera que cumpla que
j > k2 .
As hemos demostrado que la sucesion {xn } converge a x.
3.4.
Ejercicios.
1. Sea fo : [0, 1] R definida por

fo (x) = 0, para cada x [0, 1].
Pruebe que la funcion f : [0, 1] R definida por
(
0,
si x = 0,
fn (x) =
1 1/n, si x (1/(n + 1), 1/n], n N.
pertenece a la esfera con centro en fo y radio 1.
En este problema se esta considerando al espacio metrico (B([0, 1], R), d ).
60

2. Sea la sucesion {Xn }nN definida como
X1
X2
...
Xn
...
=
=
=
=
=
{1, 0, 0, . . .}
{1, 1/2, 0, 0, . . .}
......
{1, 1/2, 1/3, . . . 1/n, 0, . . .}
......
Demuestre que esta sucesion converge a {1, 1/2, 1/3, . . . 1/n, 1/(n + 1), . . .} en co
con la metrica uniforme.
3. Sea la sucesion {Xn }nN definida como
X1
X2
...
Xn
...
=
=
=
=
=
{1, 0, 0, . . .}
{1/2, 1/2, 0, 0, . . .}
......
{1/n, 1/n, 1/n, . . . 1/n, 0, . . .}
......
sera esta sucesion convergente en l1 ?

4. Sean (X, d) un espacio metrico y {xn } una sucesion de Cauchy en X. Demuestre
que d(xn , xn+1 ) 0 cuando n . El recproco se cumple?
5. Demuestre que si {xn }, {yn } son sucesiones de Cauchy, entonces {d(xn , yn )} es
convergente. Se cumplira el recproco?
6. Sea {xn }nN una sucesion en un espacio metrico X, tal que xn = x para todo
n > m, m N fijo. Demuestre que la sucesion {xn } converge a x.
7. Sea (X, d) un espacio metrico, A X. Demuestre que
a) a es punto interior de A, si y solo si, para toda sucesion {xn } en X, tal que
xn a, existe no N, tal que xn A para todo n no .
b) a es un punto de acumulacion de A, si y solo si, existe una sucesion {xn }

contenida en A {a}, tal que xn a.
8. Sean {xn } y {yn } dos sucesiones de un espacio metrico X, las cuales convergen hacia
el mismo lmite a. Pruebe que la sucesion {x1 , y1 , x2 , y2 , . . . , xn , yn , . . .} converge
hacia a.
9. Sea {xn } una sucesion en el espacio metrico X.
61
3.4. EJERCICIOS.
a) Pruebe que {xn } es convergente, si y solo si, las subsucesiones {x2k } y {x2k+1 }
convergen al mismo lmite.
b) Pruebe que si las tres subsucesiones {x2k }, {x2k+1 } y {x3k } son convergentes,
entonces {xn } es convergente.
10. Sea {xn } una sucesion en el espacio metrico X. Se dice que a X es valor de
adherencia de {xn }, si y solo si, para toda vecindad V = V (a) y para todo n N
existe m n tal que xm V . Pruebe que el conjunto de valores de adherencia de
{xn } coincide con el conjunto de lmites subsecuenciales.
11. Sea la metrica del ejercicio 2b, seccion 2.2, captulo 2. Demuestre que si {xn }, {yn }
son dos sucesiones en X y Y respectivamente, entonces la sucesion {(xn , yn )} en
X Y , es tal que
d
X
Y
{(xn , yn )}
(x, y) {xn }
x, y {yn }
y.
62
Captulo 4
Funciones Continuas en Espacios
M
etricos.
4.1.
Funciones Continuas.
El concepto de metrica, nos permite generalizar el concepto de continuidad que se

estudio para funciones de Rn en Rm .
Como ahora manejaremos, al menos dos espacios metricos, no necesariamente iguales,
tendremos que distinguir las metricas en dichos espacios. Denotaremos con (X, dX ) al
espacio metrico con la metrica dX .
Sean (X, dX ), (Y, dY ) dos espacios metricos.
Definici
on 4.1. Sean f : X Y una funci
on y xo X. Diremos que la funci
on es
continua en el punto xo , si se cumple la siguiente condici
on: para cada > 0, existe
= (, xo ) > 0, tal que,
si x X, y dX (x, xo ) < , entonces dY (f (x), f (xo )) < .
En realidad, deberamos decir, que f es dX dY continua en el punto xo , ya que como
veremos, en general, la continuidad de f , depende de las metricas que tengamos.
A esta definicion, la llamaremos la definicion para la continuidad de una funcion
en un punto.
Definici
on 4.2. Sea A X. Diremos que una funci
on f : X Y es continua en A, si
f es continua en cada punto de A, Si A = X, diremos que es continua en X.
Observese que primero definimos la continuidad de una funcion en un punto, y luego
la continuidad en cualquier subconjunto del espacio, as, si nosotros queremos probar
63
64
CAPITULO 4. FUNCIONES CONTINUAS EN ESPACIOS METRICOS.
directamente de la definicion, que una funcion es continua en un subconjunto del espacio,

debemos probar la continuidad de la funcion en cada punto del subconjunto.
Frecuentemente es necesario considerar funciones, cuyo dominio es un subconjunto A
de un espacio metrico X, como A es un espacio metrico con la metrica heredada de X,
la definicion 4.2 de continuidad se aplica a una funcion f : A Y . As, f es continua
en xo A, si para cada > 0, existe = (, xo ) > 0, tal que,
si x A, y dA (x, xo ) < , entonces , dY (f (x), f (xo )) < ,
donde dA es la metrica en A inducida por dX .
f es continua en A, si es continua en cada punto de A.
Observacion. Para demostrar que una funcion es continua, es importante conocer cual
es el dominio de esta funcion. Por ejemplo, f : X Y es continua en A X si para
toda xo A y para todo > 0, existe > 0, tal que
si x X y d(x, xo ) < , entonces d(f (x), f (xo )) < ,
(4.1)

mientras que la restriccion f A : A Y es continua en A si para toda xo A y para
todo > 0, existe > 0, tal que
si x A y d(x, xo ) < , entonces d(f (x), f (xo )) < .
(4.2)
Observese que las afirmaciones (4.1) y (4.2) no son equivalentes, en la primera se pide
que x pertenezca al espacio X y en la segunda se pide solamente que x pertenezca
a A.

Sin embargo, se cumple que si f : X Y es continua en A, entonces f A : A Y es
continua en A. El recproco no siempre se cumple. Vease la seccion de ejercicios.
Ejemplos.
1. Sea f : X Y. yo Y . La funcion constante f (x) = yo es una funcion continua
en todo X.
2. Si X = Y y dX = dY , la funcion identidad es continua en X. Cuidado, si dX 6= dY ,
la funcion identidad no es necesariamente continua, como lo veremos mas adelante.
3. Sea f : X Y cualquier funcion, xo X un punto aislado de X, entonces f es
automaticamente continua en xo . Por eso, a veces, en la definicion se pide que el
punto sea punto de acumulacion de X.
4. Sea dd la metrica discreta en un conjunto X 6= y sea (Y, d) cualquier espacio
metrico. Toda funcion f : X Y es continua en X.
65
4.1. FUNCIONES CONTINUAS.

5. Sea (X, d) espacio metrico, xo X fijo, la funcion f : X R, definida por
f (x) = d(x, xo ).
Para probar que f es continua en X, usar el siguiente hecho
|d(x, z) d(y, z)| d(x, y).
6. Sea (X, d) espacio metrico, la funcion metrica d : X X R, es continua en

X X. Usar el hecho siguiente:
|d(x, y) d(z, w)| d(x, z) + d(y, w).
Que metrica, usas en el producto cartesiano?
Mas adelante, daremos mas ejemplos. A continuacion, traduciremos el concepto de
continuidad al lenguaje de bolas abiertas, conjuntos abiertos,... etc.
on. Son equivalentes
1. f es continua en xo .
2. Para cada > 0, existe > 0, tal que
si x B(xo , ), entonces f (x) B(f (xo ), ).
3. Para cada > 0, existe > 0, tal que
f (B(xo , )) B(f (xo ), ).
4. Para cada abierto O en Y , con f (xo ) O, existe un abierto U en X, con xo U
y f (U) O.
5. Para cada V vecindad de f (xo ) en Y , se cumple que f 1 (V ) es una vecindad de
xo en X.
Demostraci
on: 1. 2. Se la dejamos al lector.
2.3. Sea > 0, por la hipotesis, existe > 0, tal que
si x B(xo , ), entonces f (x) B(f (xo ), ).
Esto nos dice que f (B(xo , )) B(f (xo ), ).
66
3.2. Se deja al lector.

3.4. Se la dejamos al lector.
4. 5. Sea V vecindad de f (xo ) en Y , existe U abierto, tal que f (xo ) U V ,. Por
la hipotesis, existe O abierto en X tal que xo O y f (O) U V .
La vecindad del punto xo que tomamos es O.
5.4. Se la dejamos al lector.
Tambien enunciaremos equivalencias de la continuidad en todo el espacio X, en terminos de abiertos, cerrados,....

Teorema 4.2. Sea (X, dX ), (Y, dY ) dos espacios metricos. f : X Y una funcion. Son
equivalentes
1. f es continua en todo el espacio X.
2. Para cada V abierto en Y , se cumple que f 1 (V ) es abierto en X.
3. Para cada G cerrado en Y , se cumple que f 1 (G) es cerrado en X.
4. Para cada subconjunto A de X se cumple que
f (A) f (A).
Demostraci
on: 1. 2. Sea V abierto en Y . Queremos demostrar que f 1 (V ) es
abierto en X. Sea x f 1 (V ), entonces f (x) V , por el teorema 4.1 inciso 4, existe U
abierto en X, tal que
x U y f (U) V.
Como U es abierto y x U, existe r > 0 tal que B(x, r) U. Probaremos que
B(x, r) f 1 (V ).
Sea z B(x, r), entonces f (z) f (B(x, r)) f (U) V , es decir, z f 1 (V ). Por
lo tanto, B(x, r) f 1 (V ), as, hemos probado que f 1 (V ) es un conjunto abierto en
X.
2.1. Sea x X. Probaremos, usando el teorema 23 que f es continua en x. Sea
V un abierto en Y con f (x) V , por la hipotesis, f 1 (V ) es un conjunto abierto que
contiene a x, ademas,
f (f 1(V )) V.
2.3. Sea G cerrado en Y , entonces Y G es abierto en Y , por la hipotesis f 1 (Y G)
es abierto en X. Como f 1 (Y G) = X f 1 (G), entonces X f 1 (G) es abierto en
X, por lo tanto f 1 (G) es cerrado en X.
La demostracion de 3.2. es analoga.
67
2.4. Sea A X. Demostraremos que f (A) f (A). Sea y f (A) y U un abierto

en Y tal que y U, probaremos que U f (A) 6= . Por la hipotesis, f 1 (U) es un abierto
que contiene a x, para alg
un x A con y = f (x). De esto, se sigue que
f 1 (U) A 6= ,
sea z f 1 (U) A, entonces f (z) U f (A), por lo tanto U f (A) 6= . As y f (A).
43. Sea F un conjunto cerrado en Y . Que A = f 1 (F ) es cerrado en X, se sigue
de la siguiente cadena
A f 1 (f (A)) f 1 (f (A)) = f 1 (f (f 1 (F ))) f 1 (F ) = f 1 (F ) = A.
Sera cierto que: f es continua en X, si y solo si, f (A ) (f (A)) , para cada A

subconjunto de X?
No siempre se cumple la equivalencia, solo se cumple una implicacion (la recproca).
Para el contraejemplo, considere la funcion constante en R.
Un criterio muy importante, equivalente a la continuidad de una funcion en un punto,

es el criterio de continuidad por sucesiones. Pero antes, diremos que significa este.
Definici
on 4.3. Sean (X, dX ), (Y, dY ), f : X Y y xo X. Diremos que la funcion
f es continua por sucesiones en el punto xo , si f cumple la siguiente condici
on
Para cada sucesion {xn } X, si lmn xn = xo , entonces lmn f (xn ) = f (xo ).
on. Sea xo X. Son equivalentes
1. f es continua en xo .
2. f es continua en xo por sucesiones.
Demostraci
on: 1 2. Sea {xn } una sucesion de elementos de X que converge a
xo . Queremos demostrar que {f (xn )} converge a f (xo ). Sea U un abierto en Y tal que
f (xo ) U, como f es continua en xo , existe V abierto en X, tal que
xo V, y f (V ) U.
Como la sucesion {xn } converge a xo , existe k N, tal que xn V , para n k.
Sea n k, entonces, xn V , y como f (V ) U, entonces f (xn ) U. As, hemos
demostrado que la sucesion {f (xn )} converge a f (xo ).
68
2 1. Probaremos que la negacion de 1 implica la negacion de 2. Supongamos que

f no es continua en xo , entonces existe o > 0, tal que, para cada n N, existe
xn B(xo , 1/n) y f (xn )
/ B(f (xo ), o ).
Es claro que la sucesion {xn } converge a xo , pero, la sucesion {f (xn )} no converge a
f (xo ).
M
as ejemplos de funciones que son continuas y funciones que no son continuas.
Sea X = C([a, b], R), con la metrica uniforme.
1. Definamos T1 : X R por
T1 (f ) =
f.
a
Sea fo X y > 0. Tomemos = /(b a). Sea f X, tal que d (f, fo ) < ,
entonces
Z b
Z b Z b

|T1 (f ) T1 (fo )| =
f
fo
|f fo | d (f, fo )(b a) = .
a
Por lo tanto, hemos demostrado que T1 es continua en fo y por lo tanto, que T1 es

continua en X.
2. Definamos T2 : X X por T2 (f ) = g, donde la funcion g : [a, b] R esta definida

por
Z
x
g(x) =
f.
Por el primer teorema fundamental del calculo, g X. Ahora tomemos fo X

y > 0. Sea = /(b a) y f X tal que d (fo , f ) < , entonces, para cada
x [a, b], se tiene que
Z x
Z x Z x

|g(x) go (x)| =
f
fo
|f fo | d (f, fo )(b a) = .
a
De aqu, se concluye que
d (T2 (f ), T2 (fo )) = d (g, go) .

Por lo tanto, hemos demostrado que T2 es continua en fo y por lo tanto, que T2 es
continua en X.
69

3. Sea xo [a, b]. Definamos Txo : X R por
Txo (f ) = f (xo ).
Sean fo X y > 0. Tomemos = , sea f X tal que d (f, fo ) < , entonces

|Txo (f ) Txo (fo )| = |f (xo ) fo (xo )| d (f, fo ) < .
Por lo tanto, hemos demostrado que Txo es continua en fo y por lo tanto, que Txo
es continua en X.
A la funcion Txo se le conoce como el funcional evaluacion en xo .
Veamos ahora, que si cambiamos las metricas, en algunos de los anteriores ejemplos,
la funcion ya no es continua. As, la continuidad de una funcion, no solo depende del
punto donde se este considerando, sino tambien, de las metricas que se esten usando.
Sea X = C([a, b], R), con la metrica d1 , es decir
d1 (f, g) =
|f g|.
1. Definamos T1 : X R por
T1 (f ) =
f.
Sea fo X y > 0. Tomemos = . Sea f X, tal que d1 (f, fo ) < , entonces

Z b
Z b Z b

|T1 (f ) T1 (fo )| =
f
fo
|f fo | = d1 (f, fo ) < .
a
Por lo tanto, T1 es continua en fo y as, T1 es continua en X.
Observese que en este caso, T1 resulto continua con ambas metricas d y d1 .

2. Sea xo [a, b]. Definamos Txo : X R por
Txo (f ) = f (xo ).
Vamos a demostrar que Txo no es continua en la funcion constante 0, para ning
un
xo en [a, b]. Para esto, veremos que Txo no cumple con el criterio de continuidad
por sucesiones, es decir, construiremos una sucesion {fn } de funciones continuas
que converge a la funcion 0, pero que la sucesion {Txo (fn )} no converge a Txo (0).
70

Por simplicidad, lo haremos u
nicamente para el caso xo = b.
Para cada n N, definamos fn : [a, b] R como
(
0,
si x [a, b 1/n],
fn (x) =
n(x b) + 1, si x [b 1/n, b].
Notese que la grafica de fn para x [b 1/n, b] es el segmento de recta que une el
punto (b 1/n, 0) y el punto (b, 1) Ver figura [3.1].
Es facil ver que d1 (fn , 0) = 1/2n, por consiguiente esta sucesion converge a 0. Pero
como Tb (fn ) = f (b) = 1, entonces la sucesion {Tb (fn )} no converge a Txo (0).
Tambien se puede demostrar que en realidad Txo no es continua en ning

un punto
de X, pero esto se lo dejamos al lector.
fn :[a,b]| 5, ( a<b-1)
1
b-1/n
Figura 3.1
3. Consideremos X = C ([a, b], R), con la metrica uniforme y Y = C([a, b], R), con la
metrica uniforme. Definamos T : X Y como
T (f ) = f .
Probaremos que este operador no es continuo en la funcion 0. Para esto, veremos
que Txo no cumple con el criterio de continuidad por sucesiones, es decir, construiremos una sucesion {fn } de funciones continuas que converge a la funcion 0, pero
que la sucesion {T (fn )} no converge a T (0). Por comodidad, trabajaremos con el
intervalo [0, 1].
Para cada n N definamos fn : [0, 1] R como
fn (x) =
xn
.
n
4.2. CONTINUIDAD UNIFORME.
71
Es claro que d (fn , 0) = 1/n, as, la sucesion {fn } converge a la funcion 0 con
la metrica uniforme, pero como T (fn ) = xn1 y la distancia d (T (fn ), 0) = 1, se
tiene que la sucesion T (fn ) no converge a la funcion 0.
Dejamos al lector demostrar que T no es continuo en X.
4. Consideremos el mismo operador que en el inciso anterior, pero en X consideremos
la metrica d, definida por
d(f, g) = d (f, g) + d (f , g ),
y a Y le dejamos la misma metrica.
Dejamos al lector, demostrar que este operador es continuo en X.
Como hemos visto, en un mismo conjunto, podemos definir diferentes metricas. La

continuidad de una funcion depende tambien de las metricas que se tienen en el dominio
y en el codominio.
4.2.
Continuidad Uniforme.
Otro concepto que se puede generalizar a funciones entre espacios metricos, es el

concepto de continuidad uniforme de una funcion de R a R.
Recordemos que una funcion f : X Y es continua en el punto xo X, si para
cada > 0, existe = (, xo ) > 0, tal que
dX (x, xo ) < , entonces dY (f (x), f (xo )) < ,
y que f es continua en X, si es continua en cada punto de X, es decir, dado x X
y > 0, el n
umero va dependiendo, tanto de , como del elemento x que estemos
considerando, cuando depende u
nicamente del que estemos considerando, diremos
que f es uniformemente continua en X. Formalmente, la definicion es la siguiente
Definici
on 4.4. Sean (X, dX ), (Y, dY ) dos espacios metricos, diremos que la funcion
f : X Y es uniformemente continua en X, si f cumple con la siguiente condicion:
para cada > 0, existe = () > 0, tal que
si x1 , x2 X, y dX (x1 , x2 ) < , entonces dY (f (x1 ), f (x2 )) < .
Si la funcion f esta definida u
nicamente en un subconjunto A del espacio metrico
X, diremos que es uniformemente continua en A, si es uniformemente continua en A,
72
considerando en A la metrica dA , inducida por dX , es decir, para cada > 0, existe

= () > 0, tal que
si x1 , x2 A, y dX (x1 , x2 ) < , entonces dY (f (x1 ), f (x2 )) < .
Observese que la continuidad uniforme es un concepto que se define globalmente, no
localmente. Es claro que si f es uniformemente continua en X, es continua en X, pero el
recproco no siempre es valido, como lo veremos a continuacion: sea X = (0, 1) y Y = R,
ambos con la metrica usual, definamos f : X Y como
f (x) =
1
.
x
Sabemos que esta funcion es continua (0, 1), pero veremos que no es uniformemente
continua en (0, 1). Tomemos = 1/2, vamos a demostrar que para cada > 0 existen
dos puntos x1 y x2 en el intervalo (0, 1), tal que
|x1 x2 | < , y |f (x1 ) f (x2 )| 1,
sea > 0, como la sucesion {1/n} es de Cauchy en el intervalo (0, 1), existe n1 , n2 N,
tal que |1/n1 1/n2 | < . Pero,
|f (1/n1 ) f (1/n2 )| = |n1 n2 | > 1/2.
Otro ejemplo de este mismo fenomeno, es el siguiente: sea X = Y = R con la metrica
usual. Definamos f : R R por f (x) = x2 . Sabemos que esta funcion es continua en R,
pero a continuacion veremos que no es uniformemente continua en R. Sea = 1 y > 0,
tomemos n N tal que 1/n < , entonces
|n + 1/n n| < , pero |f (n + 1/n) f (n)| = 2 + 1/n2 1.
Con esto, hemos demostrado que f no es uniformemente continua en R.
Sin embargo, si definimos f : [0, 1] R por f (x) = x2 , esta es uniformemente
continua en [0, 1]. Sea > 0, tomemos = /2, sean x, y [0, 1], tal que |x y| < ,
entonces
|f (x) f (y)| = |x2 y 2| = |x + y| |x y| < 2/2 = .
Por lo tanto f es uniformemente continua en el [0, 1].
A continuacion presentaremos un criterio muy u
til para determinar cuando una funcion no es uniformemente continua, cuya demostracion es inmediata. No la haremos
aqu.
4.2. M. EQUIVALENTES, SEMEJANTES, U. E. E ISOMETRIAS.
73
Teorema 4.4. Sean (X, dX ), (Y, dY ) espacios metricos y f : X Y una funci

on. Son
equivalentes:
1. f no es uniformemente continua en X.
2. Existe > 0, tal que, para todo > 0, existen x y y que cumplen
dX (x , y ) < , y dY (f (x ), f (y )) .
3. Existe > 0 y dos sucesiones {xn }, {yn }, tales que
lmn dX (xn , yn ) = 0 y dY (f (xn ), f (yn )) .
Hemos visto que existen funciones continuas que no son uniformemente continuas,
sin embargo, si se cumple que el dominio sea compacto, entonces toda funcion continua
en el compacto, es uniformemente continua. (no hemos definido este concepto, lo haremos mas adelante y este resultado lo demostraremos en su momento). En esta seccion,
demostraremos este teorema para cuando el dominio es un intervalo cerrado y acotado
en R.
Teorema 4.5. Sea f : [a, b] R continua. Entonces f es uniformemente continua.
Demostraci
on: Usaremos la contrarrecproca. Supongamos que f no es uniformemente continua, entonces existe > 0 y dos sucesiones de elementos del intervalo [a, b],
{xn } y {yn } que cumplen
lmn |xn yn | = 0, y |f (xn ) f (yn )| .
(4.3)
Como xn [a, b], para cada n N, la sucesion {xn } es acotada, entonces, por el
principio de Weierstrass, existe una subsucesion {xnk } y un elemento x R tal que
lmk xnk = x. Ademas, como [a, b] es un conjunto cerrado, x [a, b].
Como lmn |xn yn | = 0, entonces la subsucesion {ynk } tambien converge a x. De
(4.3), se concluye que
|f (xnk ) f (ynk )| .
(4.4)
Luego, de (4.4), y del hecho de que las dos subsucesiones convergen a x, se concluye
que f no es continua en x

74
4.3.
M
etricas Equivalentes, Semejantes,
Uniformemente Equivalentes e Isometras.
Hemos visto que en un mismo conjunto, podemos definir varias metricas, que en
principio nos dan diferentes espacios metricos, sin embargo, esto no significa que las
topologas generadas por las metricas, sean diferentes. A continuacion estudiaremos cuando dos metricas definidas en un mismo conjunto nos proporcionan la misma topologa.
Como consideraremos varias metricas en un mismo conjunto, a los distintos conceptos,
le agregaremos al inicio el smbolo correspondiente de la metrica. As, si (X, d) es un
espacio metrico, diremos d abierto, d cerrado...
Definici
on 4.5. Sea X un conjunto diferente del vaco, d1 , d2 dos metricas definidas
en X. Diremos que la metrica d1 es equivalente a la metrica d2 , anotaremos d1 d2 , si
la topologa en X inducida por d1 es igual a la topologa inducida por d2 , es decir, para
cada A X
A es d1 abierto, si y s
olo si, es d2 abierto.
Observaciones.
Todos los conceptos que se pueden definir u
nicamente en terminos de abiertos (conjunto cerrado, interior, cerradura, frontera de un conjunto, convergencia de una sucesion,
continuidad de una funcion,... etc) se preservan cuando tenemos dos metricas equivalentes en un conjunto X. Por ejemplo: A es d1 cerrado, si y solo si, es d2 cerrado, la
sucesion {xn } es d1 convergente a x, si y solo si, es d2 convergente.
Pero, aquellas propiedades que dependen estrictamente de la metrica, como conjunto
acotado, diametro de un conjunto,... etc. no necesariamente se preservan, para esto, se
necesita un concepto mas fuerte que el de metricas equivalentes, este concepto es el de
metricas semejantes, el cual, definiremos mas adelante.
Dos metricas son equivalentes, si y solo si, la funcion identidad Id : (X, d1 ) (X, d2 )
y su inversa son funciones continuas.
Esta definicion, la podemos dar en terminos de bolas abiertas.
Teorema 4.6. Sean d1 y d2 dos metricas en X.
La metrica d1 es equivalente a la metrica d2 , si y s
olo si,
1. Para cada bola abierta Bd1 (x, r) en el espacio (X, d1 ), existe una bola abierta
Bd2 (x, s) en el espacio (X, d2 ), tal que Bd2 (x, s) Bd1 (x, r).
2. Para cada bola abierta Bd2 (a, s) en el espacio (X, d2 ), existe una bola abierta
Bd1 (a, r) en el espacio (X, d1 ), tal que Bd1 (a, r) Bd2 (a, s).
4.3. M. EQUIVALENTES, U. E. E ISOMETRIAS.
75
Demostraci
on:
] Sea Bd1 (x, r) una bola d1 abierta, como d1 es equivalente a d2 , Bd1 (x, r) es un
conjunto d2 abierto, por lo tanto existe s > 0, tal que
Bd2 (x, s) Bd1 (x, r).
De manera analoga, se demuestra la otra afirmacion.
] Sea A un conjunto d1 abierto, sea x A, entonces, existe r > 0, tal que
Bd1 (x, r) A. Por la primera hipotesis, existe s > 0, tal que
Bd2 (x, s) Bd1 (x, r) A.
Con esto, hemos probado, que A es un conjunto d2 abierto.
De manera analoga, se demuestra la otra contencion.
Ejemplos de m
etricas equivalentes.
1. Sea (X, d) espacio metrico y d1 la metrica en X definida por
d1 (x, y) =
d(x, y)
.
1 + d(x, y)
Probaremos que d es equivalente a d1 . Para esto, probaremos que la funcion identidad y su inversa son continuas, usando el criterio de sucesiones.
Sea Id : (X, d) (X, d1 ). Sea x X, y {xn } una sucesion dconvergente a
x, entonces d(xn , x) converge a cero y 1 + d(xn , x) converge a 1, por lo tanto,
d(xn , x)
d1 (xn , x) =
converge a cero. Por consiguiente, la sucesion {xn } es
1 + d(xn , x)
d1 convergente. La prueba de la continuidad de la funcion inversa, se hace de
manera similar. Tambien, de manera similar se prueba que la metrica d2 en X,
definida por
d2 (x, y) = mn{1, d(x, y)}.
es equivalente a d.
Observese que en estas primeras dos metricas, el concepto de conjunto acotado
no se preserva. Cualquier subconjunto de X es d1 acotado, d2 acotado, pero no
necesariamente es dacotado, para ver esto, basta con tomar X = R y d la metrica
usual.
76
Definici
on 4.6. Sea X un conjunto. d1 y d2 dos metricas en X. Diremos que la metrica
d1 es semejante a d2 , anotaremos d1 d2 , si existen k y m n
umeros estrictamente
positivos, tales que
k d1 (x, y) d2 (x, y) m d1 (x, y), para cada x, y X.
(4.5)
Observacion. Si d1 y d2 son metricas semejantes, entonces

1. A es d1 acotado, si y solo si, A es d2 acotado. El recproco, no se cumple, consideremos en R la metrica d1 del ejemplo anterior 1. y la metrica discreta dd ; las
metricas no son equivalentes, y como veremos enseguida, no son semejantes.
2. {xn } es una sucesion d1 de Cauchy, si y solo si, {xn } es d2 de Cauchy.
Es claro que si d1 y d2 son metricas semejantes, entonces d1 y d2 son metricas equivalentes, ya que de (4.5), se sigue que, la identidad y su inversa, son continuas, de hecho
son uniformemente continuas. Pero el recproco no es valido, es decir, existen metricas
equivalentes que no son semejantes. para demostrar esto, tome X = R, d la metrica
usual y d1 la metrica del ejemplo anterior 1., es decir
d1 (x, y) =
|x y|
.
1 + |x y|
Estas metricas son equivalentes, pero no son semejantes (observese que R es d1 acotado,
pero, no es dacotado).
Es pertinente preguntarse que si Id : (X, d1 ) (X, d2 ) y su inversa son uniformemente continuas, entonces d1 es semejante a d2 ? La respuesta es no. Considere X = R, d
la metrica usual y d2 la metrica en R definida por
d2 (x, y) = mn{1, d(x, y)}.
Como d2 (x, y) d(x, y) entonces la funcion Id : (R, d) (R, d2 ) es uniformemente
continua. A continuacion, probaremos que Id : (R, d2 ) (R, d) es uniformemente continua. Sea > 0, tomemos = mn{1, }, entonces, si d2 (x, y) = mn{1, |x y|} < ,
debe ocurrir que |x y| < .
Estas metricas no son semejantes, (R es acotado con la metrica d2 , pero no con la
metrica d). Sin embargo, las metricas d1 y d2 son semejantes, ya que
d1 (x, y) d2 (x, y) 2d1 (x, y).
La demostracion de este hecho, se la dejamos al lector. Sug. Considere dos casos:
|x y| 1 y |x y| < 1.
Observese que una funcion uniformemente continua no manda necesariamente conjuntos acotados en conjuntos acotados.
Estas consideraciones, nos permiten introducir el concepto de metricas uniformemente
equivalentes.
77
Definici
on 4.7. Sean d1 y d2 dos metricas en X. Diremos que d1 es uniformemente
u
equivalente a d2 , anotaremos d1 d2 , si la funci
on identidad y su inversa son uniformemente continuas.
u
Resumiendo, tenemos lo siguiente, d1 d2 , implica que d1 d2 , implica que d1 d2 ,

pero los recprocos no se cumplen necesariamente.
Solo nos falta el contraejemplo de dos metricas equivalentes que no sean uniformemente equivalentes. Este ejemplo se lo dejamos al lector.
Definici
on 4.8. Sean (X, dX ), (Y, dY ) dos espacios metricos. : X Y una funcion.
Diremos que es una isometra de X en Y si cumple la siguiente condici
on:
dY ((x1 ), (x2 )) = dX (x1 , x2 ), para cada x1 , x2 X.
Diremos que X y Y son isometricos, denotado por X
= Y , si existe una isometra
de X sobre Y .
Observese que si es una isometra, entonces es automaticamente inyectiva y
continua. Tambien note que en la definicion de isometra no se pide que sea sobre.
78

Ejemplos.
1. Definamos : R R2 , definida por
(x) = (x, 0),
x R.
Es claro que es una isometra y que R es isometrico al subespacio

b = {(x, 0) x R}.
R
En R y R2 se estan considerando las metricas usual y euclidiana respectivamente.
2. Sean k y n dos naturales y k < n. Definamos : Rk Rn como

(x1 , . . . , xk ) = (x1 , . . . , xk , 0, . . . , 0).
k
n
k
Es claro que es una isometr
a de R en R , yk que nR es isometrico al subespacio
ck = {(x1 , . . . , xk , 0, . . . , 0) xi R}, donde R y R tienen la metrica euclidiana.
R
3. Sea : Rk l2 , definida por
(x1 , . . . , xk ) = (x1 , . . . , xk , 0, . . . , 0, . . .).

Tambien, es claro que es una isometra de Rk en l2 . Rk es isometrico al subespacio
ck = {{xi } l2 xj = 0, para j k + 1}
R
4. Sea a R, b Rn . Definamos f : Rn Rn como
f (x) = ax + b, donde x Rn .
f es una isometra de Rn sobre Rn , si y solo si, |a| = 1. Esto es inmediato de
d2 (f (x), f (y)) = d2 (ax + b, ay + b) = |a|d2 (x, y).
5. Definamos f : l2 l2 por
f (x1 , x2 , . . . , xn , . . .) = (0, x1 , x2 , . . . , xn , . . .).
Es claro que f es una isometra de l2 en l2 (no es suprayectiva). Este operador es
conocido como el operador desplazamiento por la derecha.
79
Sabemos que si f : R R es continua y biyectiva, entonces, la funcion inversa, es

continua. Pero en el caso general de espacios metricos, esto no siempre ocurre, como lo
demuestra el siguiente ejemplo.
Denotemos con dd la metrica discreta en R y d la metrica usual, entonces la funcion
identidad Id : (R, dd ) (R, d) es biyectiva y continua, de hecho, es uniformemente
continua, pero la inversa de esta, no es continua.
Cuando f y f 1 son continuas, f recibe el nombre de homeomorfismo.
Definici
on 4.9. Sean (X, dX ) y (Y, dY ) dos espacios metricos. : X Y una funcion.
Diremos que es un homeomorfismo de X en Y si
1. es biyectiva.
2. es continua.
3. 1 es continua.
Diremos que X es homeomorfo a Y , si existe un homeomorfismo de X a Y .
Observaciones.
1. Es claro que si d1 y d2 son dos metricas en un conjunto X, d1 d2 , si y solo si, la
funcion Id : (X, d1 ) (X, d2 ) es un homeomorfismo.
2. Si : X Y es una isometra suprayectiva, entonces es un homeomorfismo. El
recproco no siempre es cierto. Considere la identidad Id : (R2 , d ) (R2 , d2).
Id es un homeomorfismo de R2 en R2 , pero no es una isometra.
Ejemplos.
1. Sea f : (/2, /2) R, definida por
f (x) = tg x.
Esta funcion es biyectiva y continua, tambien su inversa en biyectiva y continua,
luego es un homeomorfismo.
2. Sea f : R (1, 1), definida por
f (x) =
x
.
1 + |x|
Esta funcion es biyectiva, continua y la inversa es

y
f 1 (y) =
.
1 |y|

80
4.4.
Ejercicios
En los siguientes ejercicios, (X, dX ), (Y, dY ), (Z, dZ ) denotaran espacios metricos.

1. Sean f, g : X R funciones uniformemente continuas.
a) Demuestre que f g es uniformemente continua.
b) Sera f g uniformemente continua?
c) Si, ademas f y g son acotadas en X, demuestre que f g es uniformemente

continua.
d ) Si f (x) 6= 0 para cada x X, sera
1
f
uniformemente continua?
e) Si nf{|f (x)| | x X} > 0. Demuestre que
1
f
es uniformemente continua.
2. Sea f : X R continua, X totalmente acotado. Sera f (X) totalmente acotado?

Sug. Considere f (x) = 1/x para x (0, 1). Y si f es uniformemente continua?
3. Demuestre que la funcion identidad I : (C([a, b], R), d ) (C([a, b], R), d1 ) es
continua (uniformemente continua), pero que la inversa de I no es continua.
4. Determine cuales de las siguientes funciones son uniformemente continuas en el
intervalo (0, 1).
1
.
1x
1
.
b) f (x) =
2x
c) f (x) = sen x.
a) f (x) =
d ) f (x) = sen(1/x).
5. Demuestre que la funcion T : l2 l1 definida como T ({xn }) = {yn }, donde
xn
yn = , es uniformemente continua.
n
6. Sea {zn } un elemento de l fijo. Demuestre que la funcion T : l1 l1 definida
como T ({xn }) = {yn }, donde yn = xn zn , es uniformemente continua.
7. Sea d : X X R una metrica en R. Demuestre que d es uniformemente continua
en X X.
8. Definamos las funciones d1 , d2, d : X Y R como

d1 (x1 , y1 ), (x2 , y2 ) = dX (x1 , x2 ) + dY (y1 , y2 ),
81
4.4. EJERCICIOS
p
d2 (x1 , y1 ), (x2 , y2) = (dX (x1 , x2 ))2 + (dY (y1 , y2))2 ,

d (x1 , y1), (x2 , y2 ) = max{dX (x1 , x2 ), dY (y1 , y2 )},
donde (x1 , y1 ) y (x2 , y2 ) pertenecen a X Y . Demuestre que estas tres metricas

son uniformemente equivalentes en X Y .
9. Definamos las funciones PX : X Y X como PX (x, y) = x. A esta funcion
se le llama la funcion proyeccion en X. De manera analoga se define la funcion
proyeccion PY en Y . Demuestre que ambas funciones son continuas en X Y ,
donde, en X Y se considera cualquiera de las metricas d1 , d2, d .
10. Demuestre que si la funcion f : X Y es continua en X, entonces la grafica de f ,
denotada por Gf , definida como Gf = {(x, f (x)) | x X} es un conjunto cerrado
en X Y . Se cumplira el recproco?

11. Sean A X y f : X Y . Definamos la funcion f A : A Y como f A (x) = f (x).
A esta funcion se le conoce como la restriccion de f en A y a f se le llama una
extension de f A a X. Demuestre que si f es continua
en X, entonces f A es

continua en A. El recproco no se cumple, es decir, f A puede ser continua en A,
pero f no ser continua en A.
12. Sea A X. Definamos la funcion A : X R como
A (x) =
1,
0,
si x A,
si x
6 A.
A esta funcion se le llama la funcion caracterstica del conjunto A. Demuestre que:

a) Si x int A, entonces A es continua.
b) Si x ext A, entonces A es continua.
c) Si x fr A, entonces A no es continua.
13. Se dice que una funcion f : X Y satisface una condicion de Lipschitz, en X, si
existe k > 0 tal que
dY (f (x1 ), f (x2 )) kdX (x1 , x2 ), para x1 , x2 X.
Demuestre que si f satisface una condicion de Lipschitz, entonces f es uniformemente continua.
82
14. Sea f : R R diferenciable en R, tal que, existe k > 0, que cumple

|f (x)| k, para cada x R.
Demuestre que f es uniformemente continua.
15.
a) Sea f : [1, ) R, definida por f (x) = 1/x. Demuestre que f es uniformemente continua en [1, ).
b) Sea f : [0, 1] R, definida por f (x) = x2 . Demuestre que f es uniformemente
continua en [0, 1].
c) Sea f : R R, definida por f (x) = x2 . Demuestre que f no es uniformemente

continua en R.
16.
a) Sea f : X Y uniformemente continua. Demuestre que si {xn } es una

sucesion de Cauchy en X, entonces la sucesion {f (xn )} es de Cauchy en Y .
El recproco no siempre se cumple. Considere el inciso c) del ejercicio 15.
b) Sea f : X Y continua. Es cierto que si {xn } es una sucesion de Cauchy
en X, entonces {f (xn )} es una sucesion de Cauchy en Y ? El recproco se
cumple?
17. Sean f, g : X Y funciones continuas en X, A X, con A 6= . Demuestre que

si f (x) = g(x), para cada x A, entonces f (x) = g(x), para cada x A.
18. Sea A X. Decimos que A es un subconjunto denso de X si, A = X.
Sean f, g : X Y continuas, tales que f (x) = g(x), para cada x A, donde A es

un conjunto denso de X. Demuestre que f (x) = g(x) para cada x X.
19. Sea (Y, dY ) un espacio metrico completo, A X. Supongamos que f : A Y

es uniformemente continua. Demuestre que existe una u
nica funcion continua F :
A Y tal que F (x) = f (x) para cada x A.
Sera F uniformemente continua en X? Si a f se le pide u
nicamente que sea
continua en A, se cumplira el resultado? Si Y no es completo, se cumplira el
resultado?
20. Sea f : X Y continua.

a) Es cierto que si A es abierto en X, entonces f (A) es abierto en Y ? Sug.
Considere una funcion constante.
b) Es cierto que si F es cerrado en X, entonces f (F ) es cerrado en Y ? Sug.
Considere f (x) = 1/x en (0, ).
83
4.4. EJERCICIOS
c) Es cierto que si A es acotado en X, entonces f (A) es acotado en Y ?, y si f

es uniformemente continua?
21. Sea A X y

d(x, A) = nf{d(x, a) a A}.
Demuestre que g : X R definida por g(x) = d(x, A) es continua en X.

22. Sean f : X Y, g : Y Z, continuas. Demuestre que la funcion g f : X Z,
definida por (g f )(x) = g(f (x)) es continua en X. Si f y g son uniformemente
continuas, sera g f uniformemente continua?
23. Sea f : X R cualquier funcion continua y R Demuestre que

a) El conjunto {x X f (x) < } es abierto en X.

b) El conjunto {x X f (x) = } es cerrado en X.

c) El conjunto {x X f (x) } es cerrado en X.
24. Sea f : X Y una funcion. Demuestre que las siguientes propiedades son equivalentes.
a) f es continua en X.
b) Para todo B Y, f 1 (int(B)) int(f 1(B)).
c) Para todo B Y, f 1 (B) f 1 (B).
25. Sea f : X Y una funcion. Es verdad que si f es continua, entonces f (A )

(f (A)) , para cada A X? El recproco es valido?
26. Proporcione un ejemplo de una funcion continua f : X Y , tal que no se cumpla:
f (A) = f (A), para cada A X.
27. Sean A y B dos subconjuntos no vacos de X, tales que A B = A B = .
Pruebe que existe un conjunto abierto U A y un conjunto abierto V B, tales
que U V = .
Sug. considere la funcion f (x) = d(x, A) d(x, B).
28. Sea X un espacio metrico y f y g dos funciones continuas de X a R. Pruebe que

el conjunto
F = {x X | f (x) = g(x)}
es cerrado.
84
29. Sean X, Y, Z espacios metricos, decimos que la funcion f : X Y Z es continua

en cada variable, si para cada x X, la funcion fx : Y Z, definida como
fx (y) = f (x, y) es continua en Y , y para cada y Y , la funcion f y : X Z,
definida como f y (x) = f (x, y) es continua en X. Demuestre que
a) Si f es continua en X Y , entonces f es continua en cada variable.
b) El recproco no siempre se cumple: considere la funcion fo : R2 R definida

como
xy
, si (x, y) 6= (0, 0),
fo (x, y) = x2 + y 2
0,
si (x, y) = (0, 0)
30. Use 23. para probar que los siguientes conjuntos son cerrados.
a) {x R | x3 x 0}.
b) {x R2 | x4 + y 4 = 1}.
31. Demuestre que la metrica en N, del ejercicio 23 del captulo 2, definida por
d(n, m) =
|n m|
nm
es equivalente a la metrica usual en N.

32. Encuentre una metrica para el intervalo (1, 1) que sea equivalente a la metrica
x
.
usual. Sug. Sea f : R (1, 1) tal que f (x) =
1 |x|
33. Proporcione una isometra entre C[0, 1] y C[0, 2].
34. Sea T : l l definida como
T ({x1 , x2 , x3 , . . .} = {0, x1 , x2 , . . .}.
Demuestre que T es una isometra.
35. Demuestre que los espacios (C([0, 1], R), d ) y (C([a, b], R), d ) son isometricos.
4.4. EJERCICIOS
85
86
Captulo 5
Espacios M
etricos Completos.
5.1.
Espacios M
etricos Completos.
Un resultado importante en R, es que toda sucesion de Cauchy es convergente, muchos

resultados sobre sucesiones y funciones reales dependen de este hecho, sin embargo, este
resultado no se cumple, en general, en un espacio metrico cualquiera, como veremos mas
adelante. Dada su importancia, consideramos necesario, el estudio de los espacios metricos que tienen esta propiedad. A dichos espacios se les conoce como espacios metricos
completos.
Definici
on 5.1. Sea (X, d) un espacio metrico. Diremos que X es un espacio metrico
completo, si toda sucesion de Cauchy es convergente a un elemento de X.
Ejemplos.
1. R con la metrica usual, es un espacio metrico completo:
Sea {xn } es una sucesion de Cauchy, por lo tanto, es acotada, entonces, por el principio de Weirstrass (toda sucesion acotada de n
umeros reales tiene una subsucesion
convergente), existe una subsucesion {xnk } de {xn } convergente. Como {xn } es de
Cauchy y tiene una subsucesion convergente, sabemos, entonces que la sucesion
{xn } converge.
2. Rk con la metrica dp , p 1 es un espacio metrico completo. Recuerde que la convergencia en este espacio, es componente a componente, y use que R es completo.
3. X = (0, 1) no es un espacio metrico completo, con la metrica usual, recuerde que
ya se probo que la sucesion {1/n} es una sucesion de Cauchy en X que no es
convergente.
87

CAPITULO 5. ESPACIOS METRICOS
COMPLETOS.
88
4. Consideremos el espacio X = C([1, 1], R) con la metrica d1 definida como

Z 1
d1 (f, g) =
|f (x) g(x)| dx .
1
Vamos a demostrar que este espacio, con esta metrica, no es completo.

Para cada n N, sea fn : [1, 1] R
1,
fn (x) = nx,
1,
definida por
si x [1, 1/n],
si x [1/n, 1/n],
si x [1/n, 1].
{fn } X es una sucesion de Cauchy, ya que, si m > n, n, m N, entonces

Z 1
|fn (x) fm (x)| dx = 1/n 1/m.
1
Tambien, haciendo calculos, se puede ver que

Z 1
|fn (x) f (x)| dx = 1/n,
1
donde f : [1, 1] R esta definida por

(
1, si x [1, 0],
f (x) =
1,
si x (0, 1].
Supongamos que existe g X tal que la sucesion {fn } converge a g, de esto
obtendremos una contradiccion. Sea > 0, existe k N tal que
Z 1
Z 1
|f (x) fk (x)| dx < /2, y
|g(x) fk (x)| dx < /2.
1
Entonces
Z
0
|f (x) g(x)| dx
1
1
|f (x) fk (x)| dx +
< /2 + /2 = ,
|fk (x) g(x)| dx
R1
por lo tanto, 1 |f (x) g(x)| dx = 0 de esto, se concluye que f (x) = g(x) para
cada x [1, 1] {0}. Esto es una contradiccion.

5.1. ESPACIOS METRICOS
COMPLETOS.
89
Proposici
on 5.1. Sea X = B(A, R) con la metrica uniforme. X es un espacio metrico
completo.
Demostraci
on:
Sea {fn } una sucesion de Cauchy, demostraremos que existe
f X, tal que {fn } converge a f en X.
Como {fn } es una sucesion de Cauchy, y de la desigualdad
|fn (x) fm (x)| d (fn , fm ),
se sigue que, para cada x A, {fn (x)} es una sucesion de Cauchy de n
umeros reales,
como R es completo, existe un n
umero real, denotado por f (x), tal que lm fn (x) = f (x).
n
Probaremos que {fn } converge uniformemente a f en A. Sea > 0, existe k N tal

que d (fn , fm ) < para n, m k.
Sea n k y x A, entonces
|fn (x) fm (x)| d (fn , fm ) < para m > k.
(5.1)
Tomando el lmite cuando m , en los extremos de (5.1), obtenemos que

|fn (x) f (x)| , por lo tanto, hemos demostrado que {fn } converge uniformemente a
f . Solo falta demostrar que f X. Tomemos = 1 y N N tal que |f (x) fN (x)| < 1,
para x A, de aqu se sigue que |f (x)| < 1 + |fN (x)|, para x A. Por lo tanto, como la
funcion fN X, entonces f X.
En particular, l es un espacio metrico completo con la metrica uniforme.

Proposici
on 5.2. Sea X = C([a, b], R). X con la metrica uniforme es un espacio metrico
completo.
Demostraci
on: Sea {fn } una sucesion de Cauchy en X, como esta es una sucesion
de Cauchy en B([a, b], R), por lo tanto existe f B([a, b], R) tal que {fn } converge a f
en B([a, b], R). Como cada fn es continua en [a, b] y {fn } converge uniformemente a f se
sabe que f C([a, b], R) y as {fn } coverge a f en X.
La siguiente proposicion, nos garantiza la existencia de muchos espacios metricos

completos, los cuales surgen como ciertos subespacios de un espacio metrico completo.
Proposici
on 5.3. Sea X un espacio metrico completo, Y un subespacio de X. Y es un
espacio metrico completo, si y solo si, Y es un subespacio cerrado de X.

COMPLETOS.
90
Demostraci
on:
] Supongamos Y es un espacio metrico completo, como subespacio de X. Sea y Y .
Entonces existe una sucesion {yn } de elementos de Y , que converge a y, por lo tanto, la
sucesion {yn } es una sucesion de Cauchy en Y y como Y es completo, existe un elemento
yo Y , tal que lmn yn = yo . De la unicidad del lmite, se sigue que y = yo y por lo
tanto, y Y .
] Supongamos que Y es un subespacio cerrado de X. Sea {yn } una sucesion de
Cauchy en Y , por lo tanto, es sucesion de Cauchy en X. Como X es completo, existe
y X tal que {yn } converge a y en X, de aqu se concluye que y Y , como Y es cerrado,
y Y.
El teorema siguiente, nos dice que un espacio metrico completo no tiene huecos, en
el siguiente sentido:
Teorema 5.1 (Teorema de Interseccion de Cantor). Sea X un espacio metrico completo, y sea {Fn } una sucesi
on decreciente
de conjuntos cerrados no vacos, tal que
T
lmn (Fn ) = 0. Entonces F =
F
contiene
exactamente un punto.
n=1 n
Demostraci
on: Sea {Fn } una sucesion decreciente de conjuntos cerrados no vacos,
tal que lmn (Fn ) = 0. Es claro que el conjunto F contiene a lo mas un punto, ya que
la sucesion {(Fn )} contiene a lo mas un punto. Ahora probaremos que F 6= . Tomemos
un elemento xn Fn , n N. Entonces la sucesion {xn } es de Cauchy (esto se sigue
del hecho de que la sucesion {Fn } es decreciente y los diametros tienden a 0). Como X
es completo,
existe un elemento x X tal que {xn } converge a x. Demostraremos que
T
x
F
.
/ Fk , como
n=1 n Supongamos que no, esto significa que existe k N , tal que x
C
la sucesion {xn } converge a x y como Fk es abierto, existe N N tal que xn FkC para
toda n N, si tomamos n > max{k, N} entonces xn
/ Fn . Contradiccion
El recproco de este teorema, tambien es verdadero. Le dejamos la demostracion al

lector.
Observaciones.
1. Es necesario que cada Fn sea cerrado, como lo muestra el siguiente ejemplo:
En R con la metrica usual, sea Fn T
= (0, 1/n]. Es claro que la sucesion {Fn } es
decreciente, lmn (Fn ) = 0, pero
n=1 Fn = .
2. Tambien es necesario que lmn (Fn ) = 0
3. La completitud tambien es necesaria, tome Q.

5.1. ESPACIOS METRICOS
COMPLETOS.
91
Uno de los teoremas mas importantes del analisis es el teorema de Categora de Baire,
que dice lo siguiente.
Teorema 5.2 (Teorema de Categora de Baire.). Sea X un espacio metrico completo.
La interseccion de toda coleccion numerable de conjuntos abiertos densos es densa.
Demostraci
on: Sean
T {Vn }nN una sucesion de conjuntos abiertos densos en X.
Vamos a demostrar que ( nN Vn ) T= X. Sea
p X y W un conjunto abierto tal que
p W . Demostraremos que W
nN Vn 6= .
Como V1 es denso y abierto, W V1 es un conjunto abierto no vaco, por lo tanto
podemos elegir x1 y 0 < r1 < 1 tal que
B(x1 , r1 ) W V1 .
(5.2)
Como V2 es un conjunto abierto denso, entonces V2 B(x1 , r1 ) es un conjunto abierto

no vaco, sean x2 y 0 < r2 < 1/2 tal que
B(x2 , r2 ) B(x1 , r1 ) V2 B(x1 , r1 ).
De esta manera, podemos construir una sucesion de conjuntos cerrados {B(xn , rn )}
tales que
1. 0 < rn < 1/n.
2. B(xn , rn ) B(xn1 , rn1).
3. Ademas, B(xn , rn ) Vn , para toda n N.
Por 1 y 2, la sucesion {B(xn , rn )} cumple con las hip

otesis del teorema de Intersecci
on
T
T
de Cantor, por lo tanto, existe x X tal que {x} = n=1 B(xn rn ).TPor 3, x nN Vn .
Ademas por (5.2), x W . As, hemos demostrado que x W
nN Vn .
Observaciones.
1. Si omitimos la hipotesis de que los conjuntos densos sean abiertos, el resultado no
necesariamente se cumple, por ejemplo, en R con la metrica usual, tomemos los
conjuntos densos Q e I (irracionales), es claro que no se tiene la conclusion del
teorema, es decir,a hipotesis no se puede omitir.
2. Si omitimos la hipotesis de que sea una familia numerable, tampoco se cumple
necesariamentela conclusion, en R con la metrica usual, la familia {R {x} | x
R}, de abiertos densos, no cumple con la conclusion del teorema. Tampoco se puede
omitir que sea una familia numerable.
3. Sin embargo, la hipotesis de que el espacio metrico sea completo es suficiente,
pero no necesario, es decir, existen espacios metrico no completos en donde toda
interseccion de una familia numerable de abiertos densos es densa (ver ejercicio 4).

COMPLETOS.
92
5.2.
Completaci
on de un Espacio M
etrico.
Como hemos visto, con algunos ejemplos, no todo espacio metrico es completo. Tambien nos hemos dado cuenta de la importancia que tienen los espacios metricos completos.
Es por esto, que nos preguntamos si un espacio metrico no completo se podra completar
en alg
un sentido. La respuesta es s. Antes de probar esta afirmacion, precisaremos que
entendemos por completar un espacio metrico.
Definici
on 5.2. Sean (X, dX ) y (Y, dY ) dos espacios metricos. Decimos que (Y, dY ) es
una completacion del espacio (X, dX ) si
1. (Y, dY ) es completo.
2. Existe una isometra : X Y tal que (X) = Y .
Observaciones.
1. Un espacio metrico puede tener a lo mas una completacion, salvo isometras, es
decir, si (Y1 , dY1 ), (Y2 , dY2 ) son completaciones de (X, dX ), entonces (Y1 , dY1 ) es
isometrico a (Y2, dY2 ).
Por esta observacion, diremos la completacion del espacio metrico X, en lugar de
una completacion de X.
2. Si Y es un espacio metrico completo y : X Y es una isometra, entonces (X)
es la completacion de X.
Lema 5.1. Existe una isometra entre (X, dX ) y (B(X, R), d ).
Demostraci
on: Antes de construir la isometra, observemos que si xo X, para
cada a X, la funcion a : X R definida como a (x) = d(x, a) d(x, xo ) es una
funcion acotada (esto se sigue de d(x, a) d(x, xo ) d(a, xo )).
Definamos : X B(X, R), como (a) = a . Veamos que es una isometra.
Observemos que para cada a, b X
d (a , b ) = sup{|a (x) b (x)| | x X}
y para cada x X, se tiene que
|a (x) b (x)| = |d(x, a) d(x, xo ) d(x, b) + d(x, xo |
= |d(x, a) d(x, b)| d(a, b) (5.3)
93
5.3. EJERCICIOS
luego
d (a , b ) d(a, b).
(5.4)
Como en x = a se tiene la igualdad en (5.3), entonces, se sigue la igualdad en (5.4),

es decir,
d(a, b) = d ((a), (b)) = d (a , b ).
Teorema 5.3. Sea (X, dX ) un espacio metrico. Existe una completaci

on de X.
Demostraci
on: Tomemos la isometra del lema anterior y por la observacion 2.
Y = (X). Este subespacio es completo en B(X, R) y es la completacion de X.
En el ejercicio 16. daremos el esquema para una demostracion alternativa de este

resultado. Este esquema es analogo al que se usa para la completacion de Q.
5.3.
Ejercicios

1. Demuestre que el espacio c = {xn } | xn R, n N y lmn xn existe , con la
metrica uniforme, es un espacio metrico completo.

2. Demuestre que el espacio co = {xn } c | lmn xn = 0 , con la metrica
uniforme, es un espacio metrico completo.
3. Demuestre que el espacio

coo = {xn } co | existe N N, tal que xn = 0, para toda n N ,
con la metrica uniforme, no es un espacio metrico completo.
4. Demuestre que N con la metrica

d(n, m) =
|n m|
nm
del ejercicio 23 del captulo 2, no es completo. Demuestre que en este espacio,

la interseccion numerable de conjuntos abiertos densos es densa (compare con el
teorema de Categora de Baire).
5. Sea X unTespacio metrico. Demuestre que si O1 , O2 , . . . On son abiertos densos,
entonces ni=1 Oi es abierto y denso. Compare con el teorema de Categora de
Baire.
6. Demuestre que Q no es interseccion numerable de conjuntos abiertos.
94

COMPLETOS.
7. Demuestre que no existe una funcion f : R R continua en Q y discontinua en
I, (I el conjunto de irracionales).
8. Sea X un espacio metrico completo. Use el teorema de Categora de Baire para
demostrar que
S
a) Si X =
n=1 An , donde An es un conjunto cerrado, para cada n N, entonces
existe no N tal que int(Ano ) 6= .
S
b) Si X =
n=1 An , entonces existe no N tal que int(Ano ) 6= .
9. Pruebe que si X es un espacio metrico no completo, entonces:
existe una funcion uniformemente continua de X [0, ) tal que nf{f (x) |
x [0, )} = 0.
existe una funcion continua de X a R no acotada.
10. Sea (X, d) un espacio metrico. Si toda funcion continua de X a R es uniformemente

continua, demuestre que X es completo.
11. Todo espacio metrico completo a lo mas numerable tiene un punto aislado.
12. Demuestre, usando el teorema de Categora de Baire, que R es no numerable.
13. Resuelva los ejercicios 1. y 2. de las observaciones de la seccion 5.2.
14. Sea (X, d) un espacio metrico. Sea A X un conjunto denso, tal que toda sucesion
de Cauchy en A converge en X. Demuestre que X es completo.
15. Extension de funciones uniformemente continuas. Sea D un subconjunto denso
de un espacio metrico X, Y un espacio metrico completo y f : D Y una
funcion uniformemente continua. Demuestre que existe una u
nica funcion continua
F : X Y , tal que F (x) = f (x) para toda x D; ademas F es uniformemente
continua en X.
16. Otro metodo de completacion de un espacio metrico. Sea X un espacio metrico.
e = {{xn } | {xn } es una sucesion de Cauchy. } Definamos una relacion en
Sea X
e
X()
de la siguiente manera: {xn } {yn , si y solo si, lmn d(xn , yn ) = 0.
a) Demuestre que es una relacion de equivalencia.

e = [{xn }] | {xn } es una sucesion de Cauchy.
b) Sea X/
Definamos d([{x
mn d(xn , yn ). Demuestre que:
n }], [{yn }]) = l
lmn d(xn , yn ) existe.
Este lmite no depende del representante que se elija.
5.3. EJERCICIOS
95
e .
d es una metrica en X/
e definida como (x) = [{x}] es una isometra.
La funcion : X X/
(X) es un conjunto denso.
es completo. Sugerencia. Use el problema 14.
e , d)
(X/
96

COMPLETOS.
Captulo 6
Conjuntos Compactos.
En R, los intervalos cerrados y acotados tienen la propiedad importante de que una
funcion continua definida en un intervalo cerrado, es acotada, ademas, alcanza su maximo
y su mnimo. Tambien, sabemos que si el dominio de una funcion continua es un intervalo
abierto, acotado o un intervalo cerrado y no acotado, esta no es necesariamente acotada,
y a
un cuando sea acotada, no necesariamente alcanza su maximo y su mnimo. Esto nos
dice que un intervalo cerrado y acotado debe tener una propiedad que es crucial en la
demostracion de este resultado y de otros.
Por alg
un tiempo se considero que esta propiedad era que: todo subconjunto infinito
de un intervalo cerrado y acotado, tiene un punto de acumulacion. En un principio, esta
propiedad recibio el nombre de compacidad. Actualmente se le conoce como la propiedad
de Bolzano-Weierstrass. Esta nocion admite varias caracterizaciones equivalentes en R,
como son las siguientes:
Un subconjunto A en R tiene la propiedad de Bolzano-Weierstrass.
A es cerrado y acotado.
Toda sucesion en A, tiene una subsucesion convergente.
De toda cubierta abierta de A, se puede extraer una subcubierta finita.
Estas equivalencias, tambien se cumplen en Rn . Los conceptos involucrados en estas
equivalencias son facilmente generalizables a un espacio metrico, de hecho, todas son
equivalentes en un espacio metrico, excepto, la propiedad de ser cerrado y acotado. Sin
embargo, cada una de estas propiedades recibe un nombre distinto. Consideramos que
por cuestiones didacticas, iniciaremos estudiando la tercera afirmacion.
97
98
6.1.
CAPITULO 6. CONJUNTOS COMPACTOS.
Conjuntos Secuencialmente Compactos.
Definici
on 6.1. Sean (X, d) un espacio metrico y Y X. Diremos que Y es secuencialmente compacto en X, si toda sucesi
on en Y , contiene una subsucesion que converge
a un elemento de Y .
Observacion. Es importante que en la definicion digamos que la subsucesion converge
a un elemento de Y , por ejemplo, en con la metrica usual, el intervalo abierto (0, 1) no
es secuencialmente compacto, ya que la sucesion {1/n}, si bien converge a cero, este no
pertenece al intervalo abierto (0, 1).
Teorema 6.1. Sean (X, d) un espacio metrico, Y un subconjunto cerrado de X y X
secuencialmente compacto. Entonces, Y es secuencialmente compacto.
Demostraci
on: Sea {yn } una sucesion en Y , como X es secuencialmente compacto, existe una subsucesion {ynk } y x X, tales que {ynk } converge a x, como Y es
cerrado, esto implica que x Y .
Teorema 6.2. Sean (X, d) un espacio metrico y Y X. Si Y es secuencialmente

compacto, entonces Y es cerrado.
Demostraci
on: Sea y Y , existe una sucesion {yn } de elementos de Y que
converge a y. Como Y es secuencialmente compacto, existe {ynk } y yo Y tal que {ynk }
converge a yo . Como el lmite es u
nico, entonces y = yo Y . Por lo tanto Y es cerrado.
Teorema 6.3. Toda funci

on continua de un espacio (X, d) secuencialmente compacto a
R esta acotada, es decir, existe M > 0, tal que |f (x)| M, para cada x X
Demostraci
on: Supongamos que existe f : X R continua y no acotada. Entonces para cada n N, existe xn X tal que
|f (xn )| > n.
(6.1)
Como X es secuencialmente compacto, existe una subsucesion {xnk } y x X tal que

{xnk } converge a x. Por la continuidad de f , la sucesion {f (xnk )} converge a f (x), en
particular, esto nos dice que {f (xnk )} es una subsucesion acotada, pero esto contradice
(6.1).
6.1. CONJUNTOS SECUENCIALMENTE COMPACTOS.
99
Teorema 6.4. Sean (X, d) un espacio metrico secuencialmente compacto y f : X R

continua. Entonces f alcanza su maximo y su mnimo, es decir, existen x1 y x2 tales que
f (x1 ) f (x) f (x2 ) para todo x X.
Demostraci
on: Haremos la demostracion para el caso del maximo. Para el mnimo, la demostracion se hace de manera similar. Sea

= sup{f (x) x X},
es un n
umero real, ya que f es acotada. Para cada n N, existe xn X tal que
1/n f (xn ) .
(6.2)
Como X es secuencialmente compacto, existen una subsucesion {xnk } y x2 X tal

que {xnk } converge a x2 . Por la continuidad de f , {f (xnk )} converge a f (x2 ). De esto y
de (6.2), se concluye que f (x2 ) = .
Con un argumento analogo, se demuestra que si f es continua en X y X es secuencialmente compacto, entonces f es uniformemente continua. La demostracion se la dejamos
al lector.
Teorema 6.5. Si Y es un subconjunto de (X, d) secuencialmente compacto, entonces Y
es un conjunto cerrado y acotado.
Demostraci
on: Ya demostramos que Y es cerrado. Para demostrar que Y es
acotado, considere la funcion f : Y R, definida por
f (y) = d(y, yo),
yo es un punto fijo ,
y use el teorema 6.3.
El recproco de este resultado, no siempre se cumple en espacios metricos, para ver

esto, considere R con la metrica discreta, en este espacio, todos los subconjuntos de
R son acotados y cerrados, pero, solamente los conjuntos finitos son secuencialmente
compactos.
Sin embargo en Rk con la metrica euclidiana, secuencialmente compacto es equivalente
a cerrado y acotado.
Los espacios secuencialmente compactos son totalmente acotados.
Teorema 6.6. Sea (X, d) un espacio metrico. Si X es secuencialmente compacto, entonces es totalmente acotado.
100
Demostraci
on: Sea > 0 y sea x1 X. Si B(x1 , ) = X, entonces el teorema
esta demostrado. De otra manera, existe x2 X tal que x2
/ B(x1 , ). Si la union
B(x1 , ) B(x2 , ) = X, hemos terminado. Si no, repetimos el proceso y construimos
una
S o
sucesion de bolas {B(xn , )}nN . Veamos que para alguna no N, X ni=1
B(xi , ), es
decir, el proceso lo terminamos en un n
umero finito de pasos. De no ser as, obtenemos
una sucesion de elementos distintos {xn } de X; como X es secuencialmente compacto,
esta sucesion contiene una subsucesion convergente a un elemento x X, luego, para
dicha existe N N tal que, si p, q N, d(xp , x) < /2 y d(xq , x) < /2, entonces
d(xp , xq ) < , lo cual contradice la manera como elegimos los xn . Por lo tanto, para
alguna no N, se tiene
no
[
X
B(xi , ).
i=1
Ahora veremos que el concepto de secuencialmente compacto se preserva bajo funciones continuas.
Teorema 6.7. Sea (X, dX ) un espacio metrico secuencialmente compacto. Sean (Y, dY )
otro espacio metrico y f : X Y una funci
on continua. Entonces f (X) es secuencialmente compacto.
Demostraci
on: Sea {yn } una sucesion en f (X), y sea {xn } en X tal que f (xn ) = yn
para cada n N. Como X es sucesionalmente compacto, existe una subsucesion {xnk }
y x X tal que {xnk } converge a x. Por la continuidad de f , la sucesion {f (xnk )}
converge a f (x). As, hemos demostrado que existe una subsucesion de la sucesion {yn }
que converge a un elemento de f (X). Por lo tanto, f (X) es secuencialmente compacto.
6.2.
Conjuntos que tienen la Propiedad de BolzanoWeierstrass (BW).
El concepto siguiente, en espacios metricos, (pero no en espacios topologicos), es

equivalente al concepto de conjuntos secuencialmente compactos.
Definici
on 6.2. Sean (X, dx ) un espacio metrico y Y X. Decimos que Y tiene la
propiedad de Bolzano-Weierstrass, si todo subconjunto infinito A de Y tiene un punto
de acumulacion en Y .
Teorema 6.8. Sea (X, dX ) un espacio metrico. Son equivalentes
6.3. CONJUNTOS COMPACTOS.
101
(a) X tiene la propiedad de Bolzano-Weierstrass (BW).

(b) X es secuencialmente compacto (SC).
Demostraci
on:
] Sea {xn } una sucesion en X y sea A el rango de la sucesion {xn }, es decir,

A = {xn n N}.
Caso 1. A es un conjunto finito. Luego, existe una subsucesion {xnk } de {xn } constante.
y por lo tanto convergente.
Caso 2. A es un conjunto infinito. Por la hipotesis, existe x X tal que x es punto de
acumulacion de A, luego, de igual forma como se construyo en el teorema 3.7, se
construye una subsucesion de {xn } que converge a x.
Por lo tanto, hemos demostrado que X es secuencialmente compacto.
] Sea A X un conjunto infinito. Existe una sucesion {xn } de elementos de A tal
que,
xn 6= xm , si n 6= m.
Como X es secuencialmente compacto, entonces existe una subsucesion {xnk } y
x X, tal que la subsucesion {xnk } converge a x. Como los elementos de la sucesion son
distintos, x es un punto de acumulacion de A.
Con esta equivalencia de conceptos, podemos decir, que los resultados vistos en la seccion anterior, son validos para conjuntos que tengan la propiedad de Bolzano-Weierstrass.
6.3.
Conjuntos Compactos.
El concepto de conjunto compacto, es equivalente, en espacios metricos, al concepto

de conjunto secuencialmente compacto. Aunque menos intuitivo, su formulacion, resulta
u
til en la demostracion de algunos resultados. Cabe mencionar, ademas, que en espacios topologicos, este concepto es mas debil que el de secuencialmente compacto y la
Propiedad de Bolzano-Weierstrass. El concepto de compacidad nos facilita el poder trabajar con otras nociones de compacidad.
Antes de definir el concepto de conjunto compacto, introduciremos algunos conceptos
que nos facilitaran la definicion de Compacidad.
102
S
Definici
on 6.3. Sea A X. Si A I U , con U conjunto abierto enSX; a la
familia {U }I se le llama cubierta abierta de A. Si I I es tal que A I U ,
entonces decimos que la subfamilia {U }I es una subcubierta de A. Si, ademas I es
un conjunto finito, diremos que la subfamilia es una subcubierta finita de A.
Definici
on 6.4. sea (X, dX ) un espacio metrico X. Decimos que A X es compacto,
si toda cubierta abierta de A, tiene una subcubierta finita.
Observaciones.
Sea Y X. A diferencia del caracter de abierto y cerrado de un conjunto, el cual
es una propiedad relativa, es decir, un conjunto K puede ser abierto en Y , pero
no serlo en X o viceversa, el caracter de compacidad es absoluto, esto es, si K es
compacto en Y , entonces es compacto en X.
Diremos que un conjunto A no es compacto, si existe una cubierta abierta de A de
la cual no podemos extraer una subcubierta finita.
Ejemplos. Conjuntos compactos y conjuntos no compactos.
1. Es claro que un subconjunto finito de un espacio metrico, es un conjunto compacto.
2. Un conjunto infinito con la metrica discreta, no es compacto.Considere la cubierta
abierta {{x} x X}. En realidad, A X es compacto, si y solo si, es un conjunto
finito.
3. Un intervalo abierto (a, b) en R, con la metrica usual, no es compacto. Considere

la cubierta {(a + 1/n, b 1/n)}. R con la metrica usual, tampoco es compacto.
Considere la cubierta abierta {(n, n)} con n N.

4. Sea A = {0} {1/n n N}. A es compacto en R con la metrica usual. Dada
un cubrimiento abierto {U }I , entonces, existe o I tal que 0 Uo . Como la
sucesion {1/n} converge a 0, Uo es abierto y 0 Uo , existe k N tal que
1
Uo , para cada n k.
n
Para cada i {1, 2, . . . , k 1}, sea Ui tal que 1/i Ui . Por lo tanto,
A
k1
[
Ui .
i=0
As, hemos demostrado que A es compacto.
103
El siguiente ejemplo, es un resultado muy importante en R, en donde consideramos

la metrica usual, por este hecho, lo enunciaremos como teorema.
Teorema 6.9. Sean a < b elementos de R. Entonces, el intervalo cerrado [a, b] es compacto en R con la metrica usual.
Demostraci
on: Supongamos que [a, b] no es compacto, entonces existe una cubierta abierta de [a, b], {U }I , la cual no admite una subcubierta finita del intervalo.
Sea c el punto medio de [a, b], luego por la hipotesis, al menos uno de los subintervalos
[a, c], [c, b] no admite una subcubierta finita, digamos [a, c]. Observese que la longitud de
este intervalo es 12 (ba). Sea [a1 , b1 ] = [a, c]. Repitiendo el proceso anterior, contruyamos
una sucesion de intervalos encajados {[an , bn ]}nN tal que cada [an , bn ] no admite una
subcubierta finita y que tiene longitud
bn an =
ba
.
2n
Esta sucesion tiende a cero, cuando n tiende a .

Como R es completo, por el teorema 5.1, la interseccion de la sucesion de intervalos
{[an , bn ]}nN contiene exactamente un punto p. Sea U el abierto de la cubierta que
contiene a p, entonces existe > 0 tal que (p , p + ) U , luego para esta existe
N N, tal que, para toda n N
ba
<
2n
[an , bn ] U .
Este u
ltimo resultado, nos dice que a partir de N, dichos subintervalos [an , bn ] admiten
una subcubierta finita, lo cual es una contradiccion. Por lo tanto, [a, b] es compacto.
Un resultado sobre espacios secuencialmente compactos, que involucra cubiertas abiertas, el cual utilizaremos mas adelante, es el siguiente:
Lema 6.1. Sea (X, d) un espacio metrico secuencialmene compacto. Para toda cubierta
abierta {U }I de X, existe > 0, tal que para todo x X, se tiene que B(x, r) U
para alguna I y para toda r .
Demostraci
on: Haremos la demostracion por contradiccion. Supongamos que
existe una cubierta abierta de X, tal que, para toda > 0, existe x X donde la
bola B(x , ) no esta contenida en ning
un elemento de la cubierta.
Construyamos una sucesion {xn } en X, de la siguiente manera: para cada n N,
sea = 1/n, entonces existe xn X tal que B(xn , 1/n) no esta contenida en ning
un
elemento de la cubierta. Por ser X secuencialmente compacto, esta sucesion contiene
104
una subsucesion {xnk } que converge a alg

un x X. Como la cubierta de X es abierta,
existen U y B(x, r), r > 0 tales que B(x, r) U . Para esa r, existe N N tal que,
1/N < r/2 y para toda nk N, d(xnk , x) < r/2, entonces, si y B(xnk , 1/nk ), se tiene
d(y, x) d(y, xnk ) + d(xnk , x) < 1/nk + r/2 r.
Luego, y B(x, r), de aqu que B(xnk , 1/nk ) B(x, r) U , contrario a nuestra
hipotesis. Por lo tanto, se cumple el teorema.
Observacion. A este n
umero se le llama el n
umero de Lebesgue de la cubierta
abierta del espacio m
etrico X.
Los siguientes teoremas, cuya demostracion incluiremos aqu, en realidad son consecuencia de un resultado importante que veremos mas adelante, pero vale la pena hacer
las demostraciones, ya que nos familiarizaran con el concepto de compacidad.
Dados dos elementos distintos x 6= y en cualquier espacio metrico X, siempre podemos
encontrar dos bolas B(x, rx ) y B(y, ry ), tales que B(x, rx ) B(y, ry ) = . Simplemente,
tomamos r = rx = ry = 21 d(x, y). Cuando un espacio cumple con esta propiedad, decimos
que es un espacio de Hausdorff. Esta propiedad de los espacios metricos, nos sera de
utilidad para probar que un conjunto compacto es cerrado.
Teorema 6.10. Sea X un espacio metrico. Todo conjunto K X compacto es cerrado
y acotado.
Demostraci
on:
Sea K X compacto. Probaremos que K C es abierto. Sea
x K C . Para cada y K, existe ry > 0, tal que B(y, ry ) B(x, ry ) = . La familia {B(y, ry ) K} contituye una cubierta abierta de K, como K es compacto, existe una
subcubierta finita para K, es decir,
n

[
K
B(yi , ryi ) .
i=1
Sea r = mn{ry1 , ry2 , . . . , ryn }. Entonces B(x, r) K = , de aqu que, x es un punto

interior de K C y por lo tanto K es cerrado.

Demostraremos ahora, que K esta acotado. La familia {B(y, 1) K y K} es una
cubierta abierta de K, luego, por la compacidad de K, existe una subcubierta finita, es
decir, existen y1 , y2, . . . , yn elementos de K tales que
K
n

[
B(yi , 1) .
i=1
105
Luego, K es un conjunto acotado.
El recproco no es necesariamente cierto, por ejemplo, en cualquier espacio X infinito,

que tenga la metrica discreta, la bola cerrada B[x, 1] = X es un conjunto cerrado y
acotado, pero no es compacto.
Sin embargo, si el espacio metrico es compacto, s tenemos el siguiente resultado:
Teorema 6.11. En un espacio metrico compacto X, todo conjunto cerrado es compacto.
Demostraci
on: Sean X compacto y K X cerrado. Sea {G }I una cubierta
abierta de K con la metrica inducida, es decir, G = G K con G abierto en X. La
familia {G } (X K) es una cubierta abierta de X, como X es compacto, existe una
subcubierta finita para X, digamos G1 , G2 , . . . , Gn , X K, luego, G1 , G2 , . . . , Gn son una
subcubierta finita para K, es decir, K es compacto.
Observaci
on. Solo se necesito que el conjunto fuese cerrado para asegurar la compacidad del mismo.
Cuando las bolas cerradas en un espacio metrico son conjuntos compactos, el recproco
del teorema 6.10 es cierto.
Teorema 6.12. En un espacio metrico X, donde las bolas cerradas son compactas, todo
conjunto cerrado y acotado K es compacto.
Demostraci
on: Sea K un conjunto cerrado y acotado. por ser K acotado, existe
una bola cerrada B que contiene a K, como B es compacto y K cerrado, por el teorema
6.11 se concluye que K es compacto.
Demostramos en el teorema 6.9 que un intervalo cerrado y acotado en R, con la

metrica usual, es compacto. En realidad, un intervalo cerrado y acotado es una bola
cerrada; entonces, como consecuencia del teorema 6.12, tenemos el siguiente resultado.
Corolario 6.1. En R, con la metrica usual, un subconjunto A R es cerrado y acotado,
si y solo si, es compacto.
En Rn tambien se cumple este resultado, es decir, un subconjunto de Rn es compacto,
si y solo si, es cerrado y acotado. Esto no lo demostraremos. Tambien recuerdese que en
espacios metricos, esta equivalencia no es valida en general, sin embargo, tenemos las
siguientes equivalencias de compacidad.
106
6.4.
Caracterizaciones de la Compacidad en Espacios M

etricos.
Teorema 6.13. Sean (X, d) un espacio metrico y A X. Son equivalentes:

(a) A es compacto.
(b) A tiene la propiedad de Bolzano-Weierstrass (A es BW).
(c) A es secuencialmente compacto (A es SC).
Demostraci
on:
(a) (b) Haremos la demostracion por contradiccion. Supongamos que A no es
BW, entonces, existe un conjunto infinito T con T A, tal que T no tiene puntos de
acumulacion en A, esto es, T A = . Construiremos una cubierta abierta para A de la
siguiente manera: como para cada x A, x
/ T , existe una vecindad abierta Vx de x,
tal que
(Vx ) T = o (Vx ) T = {x}.
La familia {Vx }xA es una cubierta abierta para A; por la compacidad de A, esta
cubierta admite una subcubierta finita, esto es, existen x1 , x2 , . . . , xn elementos de A
tales que
n
[
A
Vx i ,
i=1
Sn
como T A, se tiene que T i=1 Vxi . Pero cada Vx contiene a lo mas un solo elemento
de T , es decir, T tiene a lo mas n elementos, hemos llegado a una contradiccion. Luego,
A es BW.
(b) (c) Se demostro en el teorema 6.8.
(c) (a) Sea {U }I una cubierta abierta de X. por el lema 6.1, existe > 0, tal
que para toda 0 < r y todo x X se tiene que B(x, r) Ux para alguna x I.
Por el teoremaS6.6, para esa , existe un conjunto finito de puntos x1 , x2 , . . . , xn X
tales que X ni=1 B(xi , ). pero cada B(xi , ) Uxi , por lo tanto
X
De aqu que {Uxi
n
[
Uxi .
i=1

i = 1, 2, . . . , n} es una subcubierta finita para X.
Cuando el espacio metrico es completo, se tienen otras caracterizaciones de la compacidad.
ENTRE LA COMPACIDAD Y LA COMPLETITUD.

6.5. RELACION
6.5.
107
Relaci
on entre la Compacidad y la Completitud.
Teorema 6.14. Todo espacio metrico compacto es completo.

Demostraci
on: Sea {xn } una sucesion de Cauchy, como X es secuencialmente
compacto, entonces existe una subsucesion convergente {xnk } de {xn }. Por el teorema
3.15, la sucesion {xn } es convergente en X.
El recproco no siempre se cumple, pero si ademas de la completitud del espacio

metrico, este es totalmente acotado, entonces, se garantiza la compacidad.
Teorema 6.15. Sea X un espacio metrico completo y totalmente acotado, entonces X
es compacto.
Demostraci
on: Vamos a demostrar que X es secuencialmente compacto. Sea {xn }
una sucesion en X, demostraremos que existe una subsucesion de Cauchy {xnk } de la
sucesion {xn }, como X es completo, esto implicara que la subsucesion converge.
Como X es totalmente acotado podemos cubrir al espacio X con un n
umero finito
de bolas de radio 1, al menos una de estas bolas, digamos
B1 tiene elementos xn para un

n
umero infinito de valores de n. Sea J1 = {n N xn B1 }. Ahora cubramos a X con
un n
umero finito de bolas de radio 1/2, como J1 es infinito, al menos una de estas bolas,
digamos B2 tiene elementos xn para un n
umero infinito de ndices n J1 . Denotemos
por J2 tal conjunto de ndices.
Procediendo de esta manera, podemos construir una sucesion {Bi } de bolas de radio
1/i, y una sucesion {Ji } de subconjuntos de N tal que

Ji = {n N xn Bi }
Ji es un conjunto infinito, para cada i N.
Ji+1 Ji .
Ahora, sea n1 J1 , escojamos n2 J2 , tal que n2 > n1 , (esto lo podemos hacer,
porque J2 es infinito), enseguida, escojamos n3 J3 tal que n3 > n2 , (esto lo podemos
hacer, porque J3 es infinito).
De esta manera, podemos construir una sucesion {nk }, estrictamente creciente de
n
umeros naturales, que cumplen que nk Jk . Probaremos que la subsucesion {xnk } es
una subsucesion de Cauchy. Sea > 0, tomemos ko N tal que 1/ko < , sean i, j > ko ,
entonces xni , xnj Bko , es decir, d(xni , xnj ) < 1/ko < . As, hemos demostrado que la
subsucesion {xnk } es una sucesion de Cauchy.
108
6.6.
Funciones Continuas en Conjuntos Compactos.
Teorema 6.16. Sean (X, dX ), (Y, dY ) dos espacios metricos, A X compacto y

f : X Y una funcion continua en X, entonces, f (A) es compacto en Y .

Demostraci
o n: Sea {U I} una cubierta abierta de f (A), entonces, la
familia {f 1 (U I} es una cubierta abierta de A. Como A es compacto, entonces
existen 1 , . . . , n , tales que
n
[
A
f 1 (Ui ),
i=1
entonces
f (A) f
n
[
i=1
(Ui )
n
[
i=1
De aqu se concluye que f (A) es compacto.
f (f
(Ui ))
n
[
Ui .
i=1
En el caso de que Y = R y dY la metrica usual, se tiene el siguiente teorema.

Teorema 6.17. Sea f : X R continua en X, con X compacto, entonces f es una
funcion acotada y f alcanza su m
aximo y su mnimo, es decir, existen xo y x1 tales que
f (xo ) f (x) f (x1 ), para cada x X.
Demostraci
on: Por el teorema 6.16, f (X) es un subconjunto compacto de R, por
lo tanto, f (X) es acotado, lo cual indica que f es acotada. Como f (X) es un subconjunto
no vaco, acotado, tiene supremo e nfimo; sea = sup f (X) y = nf f (X). Como y
f (X) y f (X) es cerrado, existen xo y x1 en X, tales que = f (xo ) y = f (x1 ).
Entonces, se tiene que
f (xo ) f (x) f (x1 ),
para cada x X.
Sabemos que existen funciones continuas biyectivas, cuya inversa no es continua.

Pero si ademas, el dominio es compacto, entonces se garantiza que la funcion inversa es
continua. Antes de demostrar este resultado, probaremos el siguiente lema.
Lema 6.2. Sea f : X Y continua en X y X compacto. Si K es cerrado en X,
entonces f (K) es cerrado en Y .
Demostraci
on: Sea K cerrado en X, como X es compacto, entonces K es compacto. Como f es continua, f (K) es compacto en Y y por lo tanto f (K) es cerrado.
6.7. EJERCICIOS
109
Teorema 6.18. Sea f : X Y continua en X, biyectiva y X compacto, entonces

f 1 : Y X es continua en Y .
Demostraci
on: Sea K cerrado en X, como f es biyectiva, (f 1 )1 (K) = f (K),
por el lema anterior, f (K) es cerrado.
6.7.
Ejercicios
1. Sea (X, d) espacio metrico y {xn } una sucesion en X que converge a x. Demuestre
que K = {xn }nN {x} es un conjunto compacto. Si {xn } es una sucesion de
Cauchy, sera K = {xn } un conjunto compacto?
2. Estudie la compacidad de los siguientes subconjuntos de R usando la definicion de
cubiertas.
(
)
1 1
1
a) 1, , 2, , 3, . . . , , n, . . . , donde n N.
2 3
n
(
)
n+2
3 4 5
, , ,...,
, . . . , donde n N.
b)
2 3 4
n+1
(
)
1
c) (1)n + , n 1 .
n
d ) (a, b), [a, b), [a, ).
3. Estudie la compacidad de los siguientes subconjuntos en R2 .

a) {(x, y) R2 x2 + y 2 = 1}.

b) {(x, y) R2 y = x2 }.

c) {(x, y) R2 (x2 + y 2 )(x2 + y 2 4x + 3) 0}.
4. Demuestre que:
a) La union finita de compactos es compacta.

b) La interseccion finita de compactos es compacta.
c) Proporciona un ejemplo de dos conjuntos no compactos, cuya union y cuya
interseccion sean conjuntos compactos.
5. Sean A 6= y B compacto, subconjuntos de un espacio metrico X. Pruebe que
d(A, B) = 0, si y solo si, A B 6= .
110
6. Sea A compacto, B abierto y A B. Demuestre que existe un conjunto cerrado C

tal que A C B.
7. Sea (X, d) un espacio metrico. Demuestre que.
a) Todo conjunto K X compacto, es cerrado.
b) Si X es compacto, entonces todo conjunto cerrado F X, es compacto.
c) Si en X toda bola cerrada es compacta, entonces, todo conjunto cerrado y

acotado es compacto.
8. Sea (X, d) un espacio metrico, F X. Demuestre que A F es compacto en

(X, d), si y solo si, es compacto en (F, dF ).
9. Sea (X, d) un espacio metrico, A X compacto.
a) Sea x X. Demuestre que existe a A, tal que d(x, A) = d(x, a). Sera a
u
nico?
b) Sea B X compacto. Demuestre que existen ao A, bo B, tales que
d(A, B) = d(ao , bo ).
10. Sea (X, d) un espacio metrico. Se dice que un subconjunto A X es denso en X,
si A = X. Se dice que X es separable, si X es finito o contiene un subconjunto
propio A denso y numerable. Demuestre que:
a) R es separable.
b) El espacio Rn con la metrica euclidiana es separable.
c) B([0, 1], R) no es separable.
d ) l no es separable.
e) Co con la metrica uniforme es separable.

11. Si X es un espacio metrico totalmente acotado, demuestre que X es separable.
12. Sea (X, d) un espacio metrico compacto. Demuestre que X es separable.

Sug. Considere para cada n N, Fn = {B(x, 1/n) x X}.
13. Sea X un espacio metrico tal que todo conjunto acotado y cerrado de X es compacto. Demuestre que X es completo.
14. Los intervalos [0, 1], (1/2, 1] y (1/(n + 1), 1/(n 1)), n = 2, 3, . . . , constituyen una
cubierta abierta del espacio metrico [0, 1]. Determine un n
umero de Lebesgue para
esta cubierta.
6.7. EJERCICIOS
111
15. Sea X un espacio metrico compacto, y f : X R continua. Pruebe que si f (x) > 0
para cada x X, entonces existe m > 0, tal que f (x) > m para cada x X. Es
valido este resultado, si quitamos la hipotesis de que X sea compacto?
16. Sea (X, d) un espacio metrico, decimos que una coleccion F = {A }I tiene
la Propiedad de Intersecci
on Finita si cada subcoleccion finita de F tiene
interseccion no vaca, es decir, para cada n N y {1 , . . . , n } I, se cumple que
T
n
i=1 Ai 6= .
Demuestre que el espacio metrico X es compacto, si y solo si, cada coleccion

F = {F }I de subconjuntos
cerrados de X con la propiedad de interseccion
T
finita, cumple que I F 6= .

17. Sea (X, d) un espacio metrico compacto y sean {Fi i N} una sucesion decreciente
(Fn+1 Fn ) de subconjuntos de X, cerrados no vacos. Demuestre que
T
o.
i=1 Fi es un conjunto cerrado y no vac
18. Sean d1 y d2 dos metricas equivalentes en X. Demuestre que un conjunto A es

compacto en (X, d1 ), si y solo si, es compacto en (X, d2 ). Si A es totalmente acotado,
se cumplira un resultado analogo?
19. Sean d1 y d2 dos metricas semejantes en X. Demuestre que un conjunto A es

totalmente acotado en (X, d1 ), si y solo si, es totalmente acotado en (X, d2 ).
20. Sean X un espacio metrico y A X.
a) Existira a A tal que d(x, A) = d(x, a)?
b) Si A es un conjunto cerrado, es valido el inciso anterior?
c) La misma pregunta, en el caso de que A sea compacto.

21. Sean X un espacio metrico y A X un conjunto compacto. Demuestre que existen
a1 y a2 elementos de A tales que (A) = d(a1 , a2 ).
112
Captulo 7
Aplicaciones Contractivas.
7.1.
Contracciones.
Muchos resultados en matematicas, tales como demostrar la existencia: de una solucion de una ecuacion diferencial, de una ecuacion integral, de un sistema de ecuaciones,
etc. se pueden plantear de esta manera: dado un operador T : X Y , existe un x X
tal que T (x) = x, es decir T tiene un punto fijo. Por este hecho, es importante determinar
que condiciones debe cumplir un operador para que tenga un punto fijo.
Existen varios teoremas sobre este problema; en este captulo estudiaremos uno de
los mas usados, el Teorema del Punto Fijo de Banach. Este teorema no solo nos
demuestra la existencia y unicidad de un punto fijo, sino que ademas nos proporciona un
metodo iterativo, por medio del cual, se construye una sucesion que converge al punto
fijo y estimaciones para el error que se comete.
Definici
on 7.1. Sean (X, d) un espacio metrico y f : X X una funci
on. Decimos
que f es una contraccion, si existe 0 < < 1, tal que
d(f (x), f (y)) d(x, y), para cada x, y X.
A se le llama la constante de contraccion.
Se sigue, inmediatamente de la definicion, que una contraccion es una funcion continua, de hecho, es uniformemente continua.
Teorema 7.1 (Teorema del Punto Fijo de Banach). Sean (X, d) un espacio metrico
completo y f : X X una contraccion. Entonces f tiene un u
nico punto fijo, es decir,
existe un u
nico x X, tal que, f (x) = x.
Demostraci
on:
Como f es una contraccion, existe 0 < < 1, tal que

d(f (x), f (y)) d(x, y), para cada x, y X.
113
CAPITULO 7. APLICACIONES CONTRACTIVAS.
114
Primero probaremos que f tiene a lo mas un punto fijo. Supongamos que existen x1
y x2 en X tales que
f (x1 ) = x1 y f (x2 ) = x2 .
Entonces
d(x1 , x2 ) = d(f (x1 ), f (x2 )) d(x1 , x2 ).
Como < 1, entonces d(x1 , x2 ) = 0, por lo tanto, x1 = x2 .

Para demostrar que f tiene un punto fijo, consideremos la siguiente sucesion: sea
xo X; sea x1 = f (xo ), x2 = f (x1 ) = f 2 (xo ), en general, sea
xn = f (xn1 ) = f n (xo ),
con n N.
Ahora, probaremos que {xn } es una sucesion de Cauchy. Observese que

d(x1 , x2 ) =d(f (xo ), f (x1 )) d(xo , x1 ),
d(x2 , x3 ) =d(f (x1 ), f (x2 )) d(x1 , x2 ) 2 d(xo , x1 ),
en general, tenemos que
d(xn , xn+1 ) n d(xo , x1 ), para n N.
Sea n > m, entonces
d(xn , xm ) d(xm , xm+1 ) + d(xm+1 , xm+2 ) + + d(xn1 , xn )
m d(xo , x1 ) + m+1 d(xo , x1 ) + + n1 d(xo , x1 )
= m d(xo , x1 )[1 + + + n1m ]
X
1
m
d(xo , x1 )
n = m d(xo , x1 )
.
1
n=0
En conclusion, tenemos
si n > m, entonces d(xn , xm )
m
d(xo , x1 ).
1
(7.1)
Como 0 < < 1, entonces la sucesion {m } converge a cero, de esto y 7.1, se concluye
que le sucesion {xn } es una sucesion de Cauchy. Como X es completo, existe x X,
tal que {xn } converge a x. A continuacion, veamos que x es el punto fijo. Como {xn }
converge a x y f es continua, entonces
f (x) = lmn f (xn ) = lmn xn+1 = x.
Por lo tanto, f (x) = x. Ademas, tomando el lmite cuando n tiende a infinito en 7.1
y usando la continuidad de la metrica, obtenemos que para cada m N
d(xm , x)
m
d(xo , x1 ).
1
115
7.1. CONTRACCIONES.
En la demostracion del teorema, se entiende que f n (x) = f f n1 (x).

Observese que la demostracion del teorema, proporciona un metodo practico para
encontrar el punto fijo de la funcion, o lo que es lo mismo, la solucion de la ecuacion
f (x) = x. Ademas, tambien 7.1 nos da una estimacion para el error, cuando en lugar del
punto fijo x, tomamos el elemento xm , este importante resultado, lo anotaremos como
un corolario.
Corolario 7.1. Bajo las condiciones y por la demostraci
on del teorema anterior, para
cada m N,
m
d(xm , x)
d(xo , x1 ),
(a)
1
llamada la estimacion a priori, y la estimacion a posteriori es
d(xm , x)
d(xm , xm1 ).
1
(b)
Demostraci
on: La primera desigualdad es el resultado ya calculado. Para la segunda desigualdad, tomemos m = 1, yo = xo y y1 = x1 , aplicamos (a) y obtenemos
d(y1 , x)
d(y1 , yo)
1
Tomemos ahora, yo = xm1 , entonces y1 = T (yo ) = T (xm1 ) = xm . Sustituyendo, se

obtiene (b).
La estimacion aprori (a), nos permite determinar el n

umero maximo de iteraciones
requerido para alcanzar un nivel de precision deseado conociendo los valores xo y T (xo ).
La estimacion a posteriori, nos permite determinar una estimacion para el error que
se comete al sustituir el punto fijo por xm+1 conociendo los valores xm y xm+1 . La
experiencia muestra que como regla general, las estimaciones a posteriori son mejores
que las estimaciones a priori.
Si no pedimos que el espacio metrico sea completo, el teorema no necesariamente se
cumple. No podemos substituir la hipotesis 0 < < 1 por 0 < 1 como veremos en
los siguientes ejemplos.
1. Sean X = (0, 1) con la metrica usual, y f : X X definida como f (x) = x/2. f
es contraccion, pero no tiene punto fijo.
2. Sea X = [1, ), f : X X, definida como f (x) = x + 1/x. Es claro que X es
completo y que f no tiene puntos fijos, as es que, f no puede ser contraccion, sin
embargo si cumple que |f (x) f (y)| < |x y| para cada x, y X. Esto u
ltimo se
demuestra usando el teorema del valor medio.
116
El siguiente teorema nos dice que basta que para alguna n N, f n sea contraccion,
para garantizar la existencia y unicidad de un punto fijo para f , en este sentido es una
generalizacion del teorema del Punto Fijo de Banach.
Teorema 7.2. Sea X un espacio metrico completo, sea f : X X una funcion, tal
que, para alguna n N, f n es una contracci
on. Entonces f tiene un u
nico punto fijo.
Demostraci
on: La unicidad es inmediata, ya que, se sigue de que f n es contraccion
y de que un punto fijo de f es punto fijo de f n .
Sea x el punto fijo de f n . Demostraremos que x es un punto fijo para f .
d(f (x), x) = d(f n+1 (x), f n (x)) = d(f n (f (x)), f n (x)) d(f (x), x)
Como < 1 , entonces d(f (x), x) = 0, lo cual implica que f (x) = x.
Este resultado es importante ya que como veremos en algunos ejemplos, una funcion
puede ser no contractiva, pero f n serlo para alguna n N, y en este caso, el resultado
garantiza que f tiene un u
nico punto fijo.
En algunos casos, la funcion f no es contractiva en todo el espacio, sino, solo localmente alrededor de un punto.
El siguiente resultado nos da condiciones para garantizar cuando una funcion contractiva localmente tiene un u
nico punto fijo.
Teorema 7.3. Sean X un espacio metrico completo, xo X, r > 0 y f : X X, tal
que
(a) Existe 0 < < 1 que cumple d(f (x), f (y)) d(x, y).
(b) d(f (xo ), xo ) < (1 )r.
Entonces f tiene un u
nico punto fijo en B(xo , r).
Demostraci
on: Como X es completo, B(xo , r) es completo. Por el teorema del
punto fijo de Banach, bastara probar que f es contractiva en B(xo , r) y que
f (B(xo , r)) B(xo , r).
Sean x, y B(xo , r), entonces existen dos sucesiones {xn } y {yn } en B(xo , r) tales
que xn x y yn y, ademas, por hipotesis,
d(f (xn ), f (yn )) d(xn , yn ), n N.
De esta u
ltima desigualdad y por ser d y f continuas, se tiene que
d(f (x), f (y)) d(x, y),
117
7.1. CONTRACCIONES.
es decir, f es contractiva en B(xo , r).

Ahora probaremos que f (B(xo , r)) B(xo , r). Sea y f (B(xo , r)), existe
x B(xo , r) tal que y = f (x).
d(y, xo) = d(f (x), xo ) d(f (x), f (xo )) + d(f (xo ), xo ) < d(x, xo ) + (1 ) < r.
Luego, y B(xo , r).
Sean X, Y dos conjuntos y sea f : X Y X una funcion. Para x X, denotaremos

por fx a la funcion fx : Y X definida por fx (y) = f (x, y). De manera similar, si y Y ,
denotaremos por f y a la funcion f y : X X definida por f y (x) = f (x, y). Observese
que fx (y) = f (x, y) = f y (x).
Teorema 7.4 (Dependencia continua de un parametro). Sean X un espacio metrico
completo y Y un espacio metrico cualquiera. Sea f : X Y X tal que
(a) Para cada x X, fx : Y X es continua.
(b) Para cada y Y, f y : X X es contractiva con constante de contracci
on ,
independiente de y.
Entonces, la funcion g : Y X definida por g(y) = xy , donde xy es el u
nico punto
fijo de f y , es continua en Y .
Demostraci
on: Sea a Y y > 0. Por la continuidad de fxa en a existe > 0,
tal que
si d(y, a) < , entonces d(fxa (y), fxa (a)) < (1 )
Sea y Y con d(y, a) < , entonces
d(g(y), g(a)) =
=
d(xy , xa )
d(f y (xy ), f a (xa ))
d(f y (xy ), f y (xa )) + d(f y (xa ), f a (xa ))
d(f y (xy ), f y (xa )) + d(fxa (y), fxa (a))
d(xy , xa ) + (1 )
d(g(y), g(a)) + (1 ).
Asociando el primer sumando de la derecha con el termino de la izquierda y dividiendo

entre 1 obtenemos
d(g(y), g(a)) < .
Por lo tanto g es continua en Y .
118
7.2.
Aplicaciones.
1. Sea f [a, b] [a, b] una funcion diferenciable, supongamos que existe 0 < < 1 tal
que
|f (x)| , para cada x [a, b],
entonces existe un u
nico x [a, b] tal que f (x) = x.
Demostraci
on: Sean x, y [a, b]. Supongamos que x < y. Entonces, por el
Teorema del Valor Medio, existe z (x, y) tal que
|f (y) f (x)| = |f (z)(y x)| |y x|
entonces f es contraccion, por lo tanto, f tiene un u
nico punto fijo.
2. Aplicaciones a las Ecuaciones Integrales

En los dos siguientes ejemplos, veremos como se usa el teorema del punto fijo Banach para demostrar la existencia y unicidad de dos tipos de ecuaciones integrales
lineales, las ecuaciones integrales de Fredholm y las de Volterra de segunda especie.
En los ejercicios se estudiara el caso no lineal.
(a) Ecuaciones integrales lineales de Fredholm de segunda especie.
Dada K : [a, b] [a, b] R, g : [a, b] R, R, a la ecuacion
Z b
x(t) =
K(t, s)x(s) ds +g(t)
a
se le llama la ecuacion integral lineal de Fredholm de segunda especie.

Para la siguiente aplicacion, necesitaremos el siguiente lema.
Lema 7.1. Sean K : [a, b] [a, b] R, x : [a, b] R continuas y R. Entonces
la funcion z : [a, b] R definida como
Z b
z(t) =
K(t, s)z(s) ds
a
es continua en [a, b].

Demostraci
on: Sea to [a, b] y > 0. Como K es continua en el compacto
[a, b] [a, b], entonces es uniformemente continua, luego, existe = () > 0 tal
que si d2 ((t2 , s2 ) (t1 , s1 )) < , entonces
|K((t2 , s2 )) K((t1 , s1 ))| <
.
(d (x, 0)|| + 1)(b a)
(7.2)
119
7.2. APLICACIONES.
Sea t [a, b] tal que |t to | < , entonces para cada s [a, b], d2 ((to , s), (t, s)) < ,
por (7.2), para cada s se cumple
|K((to , s)) K((t, s))| <

.
(7.3)
(d (x, 0)|| + 1)(b a)
Ahora,
Z b

Z b

|z(t) z(to )| =
K(t, s)x(s) ds
K(to , s)x(s) ds
a
a
Z b
||d(x, 0)
|K(t, s) K(to , s)| ds <
a
La u
ltima desigualdad se obtiene de (7.3). Por lo tanto z es continua en to [a, b].
Teorema 7.5. Sean g : [a, b] R y K : [a, b] [a, b] R continuas. Sea R.

Entonces la ecuacion integral
Z b
x(t) =
(7.4)
a
tiene una u
nica solucion continua x : [a, b] R para cada que cumple
1
, donde M es una cota de K en [a, b] [a, b].
|| <
M(b a)
Demostraci
on:
Definamos T : (C([a, b], R), d ) (C([a, b], R), d ) como
T (x) = y, donde y : [a, b] R es la funcion definida por
Z b
y(t) =
K(t, s)x(s) ds +g(t).
a
Observemos que por el lema 7.1 y por el hecho de que la suma de funciones
continuas es continua , para cada x C([a, b], R), y C([a, b], R). Notese tambien
que una funcion continua x es solucion de la ecuacion integral (7.4), si y solo si,
x es un punto fijo de T , as que con las condiciones dadas y por el hecho de que
C([a, b], R, d ) es completo, basta probar que T es contractiva.
Sea y1 = T (x1 ) y y2 = T (x2 ). Sea t [a, b]

Z b
Z b

|y1 (t) y2 (t)| =
K(t1 , s)x1 (s) ds
K(t2 , s)x2 (s) ds
a
a
Z b
||M
|x1 (s) x2 (s)| ds < ||Md (x1 , x2 )(b a).
a
120
Por lo tanto, d (y1 , y2 ) = d (T (x1 ), T (x2 )) ||M(b a)d (x1 , x2 ), luego T es

contractiva, ya que por hipotesis ||M(b a) < 1.
(b) Ecuaciones Integrales lineales de Volterra de segunda especie.

Dada K : [a, b] [a, b] R, g : [a, b] R, R, a la ecuacion
Z t
x(t) =
a
se llama la ecuacion integral lineal de Volterra de segunda especie.

Notese que la diferencia entre la ecuacion de Fredholm y la de Volterra es
que en esta u
ltima el lmite superior de integracion es variable y es la variable
t. Sin embargo, probaremos que con las mismas condiciones que en el teorema anterior, la ecuacion lineal integral de Volterra de segunda especie tiene
solucion u
nica para cualquier valor de .
Como en la demostracion del teorema anterior, primero enunciaremos un lema cuya
demostracion dejamos como ejercicio.
Lema 7.2. Sean K : [a, b] [a, b] R, x : [a, b] R continuas y R. Entonces
la funcion z : [a, b] R definida como
Z t
z(t) =
K(t, s)z(s) ds
a
es continua en [a, b].

Teorema 7.6. Sean g : [a, b] R y K : [a, b] [a, b] R continuas. Sea R.
Entonces la ecuaci
on integral
Z t
x(t) =
(7.5)
a
tiene una u
nica soluci
on continua x : [a, b] R.
Demostraci
on:
Definamos T : (C([a, b], R), d ) (C([a, b], R), d ) como
T (x) = y, donde y : [a, b] R es la funcion definida por
Z t
y(t) =
K(t, s)x(s) ds +g(t).
a
Observemos que por el lema 7.2 y por el hecho de que la suma de funciones
continuas es continua , para cada x C([a, b], R), y C([a, b], R). Notese tambien
121
7.2. APLICACIONES.
que una funcion continua x es solucion de la ecuacion integral (7.5), si y solo si,
x es un punto fijo de T , as que con las condiciones dadas y por el hecho de que
C([a, b], R, d ) es completo, bastara probar que para alguna n, T n es contraccion
para cualquier valor de .
Sea x1 , x2 C([a, b], R) y t [a, b]. Probaremos, por induccion, que para cada
nN
(t a)n
|(T n (x1 ))(t) (T n (x2 ))(t)| ||n M n
d (x1 , x2 ).
(7.6)
n!
donde M es una cota de K.
Para n = 1:
Z t

|(T (x1 ))(t) (T (x2 ))(t)| = || K(t, s)(x1 (s) x2 (s) ds
n
||M(t a)d (x1 , x2 ).
Supongamos que se cumple el resultado (7.6) para n

|(T n+1 (x1 ))(t) (T n+1 (x2 ))(t)| = |(T (T n (x1 )))(t) (T (T n (x2 )))(t)|
Z t
||M
|(T n (x1 ))(s) (T n (x2 ))(s)| ds
a
Z t
(s a)n
||M
||n M n
d (x1 , x2 ) ds
n!
a
Z t
n+1 M n+1

=
d (x1 , x2 ) (s a)n ds
n!
a
n+1 M n+1 (t a)n+1
d (x1 , x2 ).
=
(n + 1)!
Por (7.6), y que a t b, entonces
d (T n (x1 ), T n (x2 ))
||n M n (b a)n
d (x1 , x2 ).
n!
||n M n (b a)n
= 0, entonces existe n N tal que
n
n!
Como lm
||n M n (b a)n
< 1.
n!
por lo tanto, para esta n, T n es una contraccion.
122
3. Aplicaciones a las ecuaciones diferenciales ordinarias.

En este ejemplo usaremos el teorema del punto fijo de Banach para demostrar la
existencia y unicidad de una solucion local del problema con condiciones iniciales:
x = f (t, x)
x(to ) = xo ,
(7.7)
cuando f cumple con ciertas condiciones, de manera mas precisa, demostraremos

si f es continua en un rectangulo cerrado A y Lipschitz en la segunda variable, es
decir, existe L > 0 tal que, si (t, x1 ), (t, x2 ) A, se cumple |f (t, x1 ) f (t, x2 )|
L|x1 x2 |,
entonces
existen
r
>
0
y
una
funcion
x : [to r, to + r] R diferenciable, tal que
Para cada t [to r, to + r], el punto (t, x(t)) int(A).
Para cada t [to r, to + r], se cumple x (t) = f (t, x(t)).

La idea de la prueba consiste en construir una ecuacion integral no lineal de Volterra
de la segunda especie equivalente (7.7) y usar el teorema del punto fijo de Banach
para demostrar la existencia y unicidad de una solucion de esta ecuacion integral.
Lema 7.3. Sea f : A R continua en el rect
angulo cerrado A y
(to , xo ) int(A). Sea I un intervalo cerrado y to I. La funcion x : I R
es solucion de (7.7) en I, si y s
olo si, x es soluci
on de la ecuacion integral
Z t
x(t) = xo +
f (z, x(z)) dz .
to
Demostraci
on:
] Dado que f es continua en A, x continua en I y la composicion de continuas
es continua, podemos calcular las integrales definidas de las funciones involucradas
en (7.7), entonces se tiene que
Z t
Z t
x(z) dz =
f (z, x(z)) dz para cada t I.
to
to
Por el segundo teorema fundamental del calculo, concluimos que

Z t
x(t) = x(to ) +
f (z, x(z)) dz para cada t [a, b].
to
] Por hipotesis, x : I R cumple que

Z t
x(t) = x(to ) +
f (z, x(z)) dz .
to
123
7.2. APLICACIONES.
Esto garantiza que la funcion x es continua en I y por lo que, el integrando es

una funcion continua en I, luego, por el primer teorema fundamental del calculo,
la funcion x es diferenciable en I y cumple que
x = f (t, x),
x(to ) = xo .
Teorema 7.7 (Teorema de Picard (existencia y unicidad)). Sea A un rect

angulo
cerrado en R2 , (to , xo ) int(A) y una funci
on f : A R tal que f es continua en
A y Lipschitz en la segunda variable con constante de Lipschitz L > 0. Entonces,
existe r > 0 y una u
nica funcion x : [to r, to + r] R que es soluci
on de (7.7).
Como (to , xo ) int(A), existe r1 > 0, tal que el conjunto
Demostraci
on:
B = {(t, x) | |t to | r1 , |x xo | r1 } A
y en este conjunto, existe M > 0 tal que |f (t, x)| M para toda (t, x) B.
r1
Sea r = mn{ L1 , r1 , M
}. Consideremos el conjunto
X = {x C([to r, to + r], R) | |x(t) xo | r1 , para cada t [to r, to + r]}.

X con la metrica uniforme d es un subespacio cerrado de C (([to r, to + r], R),
por lo tanto, X es completo. Definamos el operador T : X X como T (x) = y
donde
Z t
f (s, x(s)) ds,
y(t) = xo +
to
t [to r, to + r]
y es una funcion continua y

Z t
|y(t)xo|
|f (s, x(s)) ds M|tto | Mr = r1
to
para cada t [to r, to +r],
es decir, y X.
T es una contraccion. Esto se sigue de que si x1 , x2 X, y1 = T (x1 ), y2 = T (x2 ) y

t [to r, to + r] entonces
|y1 (t) y2 (t)|
t
to
|f (s, x1 (s)) f (s, x2 (s))| ds

Z t
L
|x1 (s) x2 (s)| ds Lrd (x1 , x2 ), (Lr < 1)
to
124
Por lo tanto, existe un u

nico x X tal que T (x) = x, es decir,
Z t
x(t) = xo +
f (s, x(s)) ds, t [to r, to + r]
to
Por el lema 7.3, x es solucion del problema con condiciones iniciales (7.7).
La eleccion del n
umero r fue para garantizar que la imagen T (x) sea un subconjunto
de X y que T sea contraccion.
7.3.
Ejercicios.
1. Demuestre que la funcion f : [0, ] R definida por
sen x
, si x 6= 0,
f (x) =
x
1,
si x = 0.
es una contraccion.
2. Sea a [1, /2]. Demuestre que la funcion f : [0, a] R definida por f (x) = cos x
es una contraccion.
3. Sea f : [0, 1] definida por
1
f (x) = (x3 + x2 + 1)
7
Demuestre que:
a) Img[0, 1] [0, 1].
b) f es contraccion.
4. Demuestre que las siguientes ecuaciones tienen un u

nico punto fijo en el intervalo
dado.
a) x4 + 8x3 + 32x 32 = 0, en [0, 1].
b) x4 + 2x3 + 2x2 + 3x 4 = 0, en [0, 1].

c) x = cos x, en [0, /2].
d ) x2 = sen x, en [0, ].
e) x3 + x2 + 1 = 0 en [0, 1].
125
7.3. EJERCICIOS.
5. Sea c el espacio de sucesiones reales convergentes con la metrica uniforme. Demuestre que las funciones
xn+1
.
n+1
b) T2 : c c definida por T2 ({xn }) = {yn }, donde yn = 1 + 21 xn+1 + 31 xn+2 .
a) T1 : c c definida por T1 ({xn }) = {yn }, donde yn =

son contracciones.
6. Demuestre que la funcion T : (C([1/2, 1/2], k, k)) R, definida como

Z t
T (x) = y, donde y(t) =
(u x(u)) du
0
es una contraccion.
7. Sea X un espacio metrico compacto y f : X X una funcion que cumple la
propiedad
d(f (x), f (y)) < d(x, y), para x, y X, x 6= y.
Demuestre que f tiene un u
nico punto fijo en X. Compare con el ejemplo 2. de la
seccion 7.1. Este resultado se conoce como teorema de Edelstein.
8. Demuestre, usando el teorema del punto fijo, la siguiente version del teorema de la
funcion implcita.
Sea F : [a, b] R R tal que:
F es continua en [a, b] R,
F
existe en [a, b] R,
y
Existen > 0 y > 0 que cumplen
F
en [a, b] R.
y
Demuestre que existe una u

nica funcion f C[a, b] tal que
F (x, f (x)) = 0, para cada x [a, b].
126
Captulo 8
Conexidad.
8.1.
Conjuntos Conexos
Definici
on 8.1. Sea (X, d) un espacio metrico. Diremos que X es un espacio metrico
disconexo (no conexo), si existen U y V abiertos no vacos, tales que
X =U V
U V = .
Diremos que el espacio es conexo, si no es disconexo. A X, diremos que A es un

conjunto conexo en X, si como subespacio metrico es conexo.
Observaciones.
(a) As como el concepto de compacidad es un concepto absoluto, la conexidad tambien
lo es, es decir, que si B A es conexo en A y A X, entonces, B es conexo en
X. Por esto, si un conjunto es conexo en alg
un subespacio, simplemente diremos
que es conexo.
(b) Si X es conexo y X = U V , U y V abiertos no vacos, entonces, U V 6= .
c) Si X es conexo, y X = U V , con U y V abiertos ajenos, entonces U = o V = , como
U V = entonces tambien se tiene que (U = y V = X) o (U = X y V = .
(d) Si X = U V con U y V abiertos ajenos, entonces U y V tambien son cerrados, ya
que X U = V, X V = U.
Teorema 8.1. Sea (X, d) un espacio metrico. Son equivalentes
1. X es conexo.
127
CAPITULO 8. CONEXIDAD.
128
2. Los u
nicos abiertos y cerrados de X son y X.
3. No existen F1 y F2 subconjuntos no vacos, cerrados de X tales que

X = F1 F2 ,
F1 F2 = .
Demostraci
on:
1. 2. Por la contrarrecproca: sea U ( X, U 6= , abierto y cerrado. Entonces
X = U U C , ademas U U C = . Como U y U C son abiertos no vacos, entonces X es
disconexo.
2. 1. Tambien por la contrarrecproca: supongamos que existen U y V abiertos no
vacos, tales que
X =U V
y
U V = .
Como V = X U, entonces V es un conjunto cerrado. As que hemos encontrado un
conjunto diferente del vaco y de X que es abierto y cerrado.
2. 3: Se le deja al lector.
La definicion de conexidad de un subconjunto de X, esta dada en terminos de abiertos

relativos. El siguiente teorema presenta la conexidad de un subconjunto en terminos de
abiertos en X.
Teorema 8.2. Sean (X, d) un espacio metrico y A X, tal que A es no vaco. Son
equivalentes
1. A es un conjunto disconexo.
2. Existen U y V abiertos no vacos en X tales que
A U V,
A U 6= ,
A V 6=
A U V = .
3. Existen U1 y V1 subconjuntos no vacos en X, tales que

A = U1 V1
U1 V1 = V1 U1 = .
Demostraci
on:
1. 2. Como A es disconexo, existen U y V , no vacos, abiertos relativos en A,
tales que A = U V . Como U y V son abiertos relativos en A, entonces existen U y
V abiertos en X tales que
U = U A,
V = V A.
129
8.1. CONJUNTOS CONEXOS
Probaremos que U y V tienen las propiedades deseadas. Claramente U y V son

abiertos en X, diferentes del vaco. Como A = U V = (A U) (A V ), entonces
A U V . Ademas, como U V = , entonces A V U = .
2. 1. Tomemos U = AU y V = AV . Entonces U y V son abiertos relativos en
A. Ademas, como A U V , se sigue que U y V son conjunos no vacos y A = U V ,
como A U V = , entonces U V = .
2. 3. Tomemos U1 = A U y V1 = A V , estos conjuntos, por hipotesis, son no
vacos, claramente A = U1 V1 . Falta demostrar que U1 V1 = U1 V1 = .
Supongamos que existe x U1 V1 , entonces x A, x V1 y x U, entonces
U V1 6= , entonces A U V 6= , lo cual es una contradiccion. De manera analoga se
demuestra que U1 V1 = .
3. 2. Tomemos U = (U1 )C y V = (V1 )C . Estos conjuntos son abiertos, como
U1 V1 = U1 V1 = se concluye que U1 V y V1 U, por lo tanto
A = U1 V1 U V.
Ahora, como U1 A, U1 V y U1 6= , se sigue que A V 6= . De manera analoga
se prueba que A U 6= .
Solo falta probar que A U V = , esto se sigue de

A U V = U1 V1 (U1 )C (V1 )C = .
Definici
on 8.2. Dos subconjuntos U1 y V1 de un espacio metrico X est
an separados si
U1 V1 = U1 V1 = .
Si A = U1 V1 , tal que U1 y V1 son conjuntos no vacos que estan separados, diremos
que la pareja U1 , V1 es una separacion del conjunto A. Con esta terminologa, un conjunto
A es disconexo, si A admite una separacion, y conexo si no existe una separacion de A.
Ejemplos.
1. Todo conjunto unitario en cualquier espacio metrico, es conexo.
2. Todo conjunto con mas de un punto, en un espacio metrico con la topologa discreta,
es disconexo, es decir, los u
nicos conjuntos conexos en X con la metrica discreta
son los conjuntos unitarios.
3. Q R es disconexo, ya que
Q = (Q (,
2)) (Q ( 2, )).
130
4. Los u
nicos conjuntos conexos en Q con la topologa usual, son los conjuntos unitarios, ya que si A Q tiene mas de dos puntos, entonces A = (A (, a))
(A (a, )) donde a es cualquier n
umero irracional, entre dos elementos distintos
de A.
5. Sea Y = [1, 0) (0, 1], entonces Y es disconexo, ya que los intervalos [1, 0) y
(0, 1] contituyen una separacion de Y .
6. Si X = [1, 1], los conjuntos [1, 0] y (0, 1] no son una separacion de X, ya que
[1, 0] (0, 1] 6= .
El siguiente teorema es una caracterizacion de los conjuntos conexos en la recta.
Teorema 8.3. Si I es un intervalo en la recta, entonces I es un conjunto conexo.
Demostraci
on: Si I no fuese conexo, existiran U y V conjuntos no vacos y
separados tales que I = U V . Sean x U y y V , supongamos que x < y. Como I es
un intervalo, el intervalo cerrado [x, y] es subconjunto de I.
Ahora, consideremos el conjunto A = [x, y] U. A 6= y acotado superiormente, por
lo tanto, existe d R, tal que d = sup A, entonces x d y y, por lo tanto, d I.
Como I = U V , entonces d U o d V . Ademas, para cada > 0, el intervalo abierto
(d , d + ) tiene puntos de U, ya que d no es cota superior del conjunto A. Tambien
tiene puntos de V , ya que, entre d y d + no existen puntos de U, pero [d, d + ] I 6= .
Esto nos indica que d U V o d U V . Esto es una contradiccion, as que I es
conexo.
Teorema 8.4. Sea A un conjunto conexo en la recta, entonces, A es un conjunto unitario

o un intervalo.
Demostraci
on: Supongamos que no es un conjunto unitario, ni un intervalo, entonces existen x, y A, digamos, x < y, tales que [x, y] * A, por lo tanto, existe
z (x, y) y z
/ A. De aqu se concluye que los conjuntos A (, z) y A (z, ) son
no vacos, estan separados y A = (A (, z)) (A (z, )).
Por lo tanto, A no es conexo.
Con los dos u

ltimos teoremas, hemos demostrado, que los u
nicos conexos no vacos
en la recta son los conjuntos unitarios y los intervalos.
Los siguientes resultados, nos permiten construir conjuntos conexos a partir de conjuntos conexos dados. Antes de estudiarlos, pasaremos a demostrar un resultado de gran
utilidad.
8.2. CONTINUIDAD EN CONJUNTOS CONEXOS.
131
Teorema 8.5. Sean A y B dos conjuntos separados, tales que Y (A B) con Y

conjunto conexo. Entonces, Y A o Y B.
Demostraci
on: Supongamos que Y A 6= y Y B 6= .
Como Y = (Y A) (Y B), estos conjuntos estan separados y son no vacos,
entonces Y es no conexo.
Es claro que la union de conjuntos conexos, no necesariamente es conexa, sin embargo,

si tienen un punto en com
un, la union s es conexa. De manera mas general

J} una familia de conjuntos
Teorema 8.6. Sean
X
un
espacio
m
e
trico
y
{A
T
S
conexos, tal que J A 6= . Entonces J A es conexo.
S
T
Demostraci
on: Sea Y = J A y p J A . Supongamos que no es conexo,
entonces existen U y V conjuntos no vacos separados, tales que Y = U V . Supongamos
que p U. Para cualquier J, A U V, A es conexo y p A , entonces, por el
teorema 8.5 A U, de aqu se concluye que Y U, por lo tanto, V = .
Teorema 8.7. Sea A un conjunto conexo en X. Si A B A, entonces B es conexo.

Demostraci
on: Supongamos que B no es conexo, es decir, existen U y V conjuntos
no vacos, separados, tales que B = U V . Como A B, por el teorema 8.5, A U
o A V . Supongamos que A U, entonces A U , por lo tanto, B U, entonces
V = , ya que, B U , U V = y B = U V .
Observese que, en particular, si A es conexo, entonces A es conexo.
8.2.
Continuidad en Conjuntos Conexos.
Teorema 8.8. Sean (X, dX ), (Y, dY ) espacios metricos, y f : X Y continua en X.

Si A X es conexo, entonces f (A) es conexo en Y .
Demostraci
on: Supongamos que f (A) no es conexo, es decir, existen U y V
abiertos no vacos en f (A), tales que f (A) = U V . Como f : A f (A) es continua
en A, f 1 (U) y f 1 (V ) son abiertos en A. Ademas, f 1 (U) y f 1 (V ) son conjuntos no
vacos, tales que A = f 1 (U) f 1 (V ). Por lo tanto, A no es conexo.
A continuacion, demostraremos una generalizacion del teorema del valor intermedio.
132
Teorema 8.9 (Teorema del Valor Intermedio). Sean X un espacio metrico conexo y
f : X R continua. Si a y b son dos puntos en X y r R tal que f (a) < r < f (b),
entonces, existe x X, tal que f (x) = r
Demostraci
on: Supongamos que no existe x X tal que f (x) = r. Los conjuntos
U = f (X) (, r) y V = f (X) (r, ) son conjuntos no vacos, ajenos y abiertos en
f (X). Si no existiera x X, tal que f (x) = r, entonces tambien se cumplira que
f (X) = (f (X) (, r)) (f (X) (r, )).
De esto se concluye que f (X) no es conexo, lo cual contradice que la imagen continua
de un conexo es conexa.
8.3.
Componentes Conexas.
Cuando un espacio metrico es no conexo, nos gustara dividir al conjunto en el n

umero
mnimo de subconjuntos que fueran conexos, esto se hace de la siguiente manera: para
cada x X, consideremos el conjunto Cx definido como
[

Cx = {A X A es conexo x A}.
Cada Cx se llama una componente (componente conexa) de X, o la componente en
X del punto x.
Esta familia de subconjuntos es diferente del vaco, ya que, al menos {x} es elemento
de la familia.
Las componentes conexas de X tienen las siguientes propiedades:
Teorema 8.10. Sea X un espacio metrico. Entonces,
1. Para cada x X, Cx es el m
aximo conexo en X que contiene al punto x.
2. Para cada x X, Cx es un conjunto cerrado.
3. Para cada x, y X, Cx = Cy
o Cx Cy =
Demostraci
on: Para la demostracion de 1. por el teorema 8.6, Cx es conexo.
De la definicion de componente conexa, se sigue que si A es un conexo tal que x A,
entonces A Cx .
Para 2. Como Cx es conexo, Cx es conexo, y como Cx es el maximo conexo que
contiene a x, Cx = Cx .
8.4. ARCOCONEXIDAD.
133
Para 3. Si Cx Cy = ya terminamos. Si Cx Cy 6= , entonces Cx Cy es un

conexo que contiene a Cx y a Cy . Por la maximalidad de estos conjuntos, se concluye
que Cx = Cy .
Por 8.10 3. la familia de componentes conexas distintas, nos proporciona una particion del espacio X y esto nos permite interpretar las componentes conexas como las
clases de una relacion de equivalencia, a saber,
x y,
si existe A X, conexo, tal que x, y A.
Observaciones.
X es conexo, si y solo si, X tiene una u
nica componente conexa.
X es conexo, si y solo si, para cada x, y X, existe un conexo A tal que x, y A
Definici
on 8.3. Un espacio metrico X se llama totalmente disconexo, si todas las componentes son conjuntos unitarios, es decir, los u
nicos conjuntos conexos son los conjuntos
unitarios. Un conjunto es totalmente disconexo, si como espacio metrico, lo es.
Ejemplos.
Q con la metrica usual, es totalmente disconexo.
El conjunto de los irracionales I es totalmente disconexo.
Cualquier espacio metrico con la metrica discreta, es totalmente disconexo.
8.4.
Arcoconexidad.
Otro concepto de conexidadque resulta muy u

til en algunas areas de las matematicas
y que es mas fuerte que el concepto de conjunto conexo, es el concepto de espacio arco
conexo (conexo por arcos). De hecho, este concepto, fue la primera definicion de conexidad que se dio. Antes de definir el concepto, daremos una definicion.
Definici
on 8.4. Sea X un espacio metrico. Dados dos puntos x, y X, un arco en
X, (un camino en X, una trayectoria en X) que une x con y es una funci
on continua
f : [a, b] X, tal que f (a) = x y f (b) = y.
134
Definici
on 8.5. Un espacio metrico X se dice que es arcoconexo (conexo por arcos,
conexo por caminos, conexo por trayectorias), si cada par de puntos de X se pueden unir
por un arco en X, es decir, si para cada x, y X existe f : [a, b] X continua, tal que
f (a) = x y f (b) = y. A X es arcoconexo, si como subespacio metrico es arcoconexo.
Teorema 8.11. Todo espacio metrico arcoconexo es conexo.
Demostraci
on: Sea X un espacio metrico arcoconexo. Supongamos que no es
conexo. Sea U y V abiertos no vacos, ajenos, tales que X = U V , sea f : [a, b] X
una funcion continua en [a, b], entonces, como el intervalo [a, b] es conexo, el conjunto
f ([a, b]) es un conjunto conexo en X, como U y V es una separacion de X, entonces
f ([a, b]) U o f ([a, b]) V , esto nos dice que un punto de U y un punto de V no
pueden ser unidos por medio de un arco en X.
El recproco de este teorema, no siempre es valido y los contraejemplos son complicados, no daremos uno aqu. Agregando hipotesis a la conexidad, podemos obtener
espacios arcoconexos, por ejemplo, en Rn se cumple el siguiente resultado: Si A es un
conjunto conexo y abierto, entonces es arcoconexo.
Existen resultados similares a los de conexidad, para arcoconexidad, pero no los
trataremos aqu.
8.5.
Ejercicios
1. Estudie la conexidad de los siguientes subconjuntos en R2 .

a) A1 = {(x, y) x, y Q}.

b) A2 = {(x, y) x2 + y 2 = 1}.

c) A3 = {(x, y) x(x 1) = 0}.

d ) A4 = .{(x, y) x2 y 2 = 1}.
2. Proporcione un ejemplo que demuestre que el interior de un conjunto conexo no

es, en general, conexo.
3. Sea (X, d) un espacio metrico y A, B X tales que d(A, B) > 0. Demuestre que
A y B son conjuntos separados. El recproco es valido?
4. Sean A y B subconjuntos conexos de un espacio metrico, tales que A B 6= .
demuestre que A B es conexo.
8.5. EJERCICIOS
135
5. Sea X un espacio metrico.

a) Sean A y B conjuntos conexos, es A B un conjunto conexo?
b) Sea {Ai }iN unaTsucesion decreciente (An+1 An ) de conjuntos conexos.

Sera cierto que iN Ai es conexa?
6.
c) Sea {Ai }iN una sucesion T

decreciente (An+1 An ) de conjuntos cerrados y
conexos. Sera cierto que iN Ai es conexa?
a) Sean A1 , A2 , . . . , An conjuntos
S conexos, tales que Ai Ai+1 6= para
i = 1, 2, . . . n. Demuestre que ni=1 Ai es conexa.
b) Sean {An }nN una familia numerable
S de conjuntos conexos, tales que
Ai Ai+1 6= , i N. Demuestre que nN An es conexa.
7. Demuestre que los conjuntos

A = {(x, y) 0 < x < 1, y = sen(1/x)},

B = A {(0, y) 1 y 1}
son conexos en R2 .
8. Sea X un espacio conexo y A X subconjunto propio no vaco. Demuestre que

la fr(A) 6= . En general, demuestre que si todo subconjunto propio de X tiene
frontera no vaca, entonces X es conexo.
9. Sea X un espacio metrico. Decimos que X es totalmente disconexo, si los u
nicos
conjuntos conexos son los conjuntos unitarios. A X es totalmente disconexo, si
lo es como espacio metrico.
a) Demuestre que todo subconjunto numerable de R es totalmente disconexo.
b) El conjunto de los irracionales es totalmente disconexo.
10. Sean d1 d2 , es decir, d1 y d2 equivalentes. Entonces (X, d1 ) es conexo, si y solo
si, (X, d2 ) es conexo.
11. Sabemos que las componentes conexas de un espacio metrico son conjuntos cerrados. Seran conjuntos abiertos?
136
Bibliografa
[1] Douglas S. Bridges, Foundations of Real and Abstract Analysis, Springer-Verlag New
York, Inc. 1998.
[2] H. L. Royden, Real Analysis, 3a edition, Macmillan Publishing Company, 1988.
[3] Ignacio L. Iribarren T. Topologa de Espacios Metricos, Limusa, Noriega Editores,
2008.
[4] J. R. Giles, Introduction to the Analysis of Metric Spaces, 1a edition, Cambridge
University Press, 1999.
[5] James R. Munkres, Topologa, 2a edicion, Prentice Hall. 2002.
[6] James Dugundji, Topology, 2a edition, Allyn and Bacon, Inc. Boston. 1966.
[7] Jose M. Amillo, Fernando de Arriaga, An
alisis Matem
atico con Aplicaciones a la
a
Computacion, 1 edicion, Editorial McGraw Hill, 1988.
[8] Jose Manuel Daz Moreno, Introducci
on a la Topologa de los Espacios Metricos,
Servicio de Publicaciones de la Universidad de Cadiz. 1998.
[9] N. L. Carothers, Real Analysis, 1a edition, Cambridge University Press, 2000.
[10] Tom M. Apostol, Mathematical Analysis, 2a edition, Addison Wesley Publishing
Company, 1974.
[11] Walter Rudin, Principios de Analisis Matem
atico, 3a edicion, Editorial McGrawHill, Mexico, 1980.
137

Introducción Al Análisis de Espacios Métricos

Загружено:

Сведения о документе

Оригинальное название

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Introducción Al Análisis de Espacios Métricos

Загружено:

Авторское право:

Доступные форматы

A LA TEORIA DE

M.C. Ma. Guadalupe Raggi Cardenas

4. Funciones Continuas en Espacios M

4.3. Metricas Equivalentes, Semejantes,

M.C. Ma. Guadalupe Raggi Cardenas.

CAPITULO 1. TEORIA DE CONJUNTOS.

1.3. OPERACIONES CON CONJUNTOS.

Operaciones con Conjuntos.

CAPITULO 1. TEORIA DE CONJUNTOS.

Teorema 1.5. Sea Z un conjunto. X y Y subconjuntos de U Entonces

1.4. FAMILIAS DE CONJUNTOS

Producto Cartesiano de dos Conjuntos.

a una familia de conjuntos. Definimos

CAPITULO 1. TEORIA DE CONJUNTOS.

a}, de esta familia, es el

Teorema 1.11. Sean {A | A} y {B | B} dos familias de conjuntos. Entonces

En 1. decimos que la union se distribuye con respecto a la interseccion y en 2. decimos

CAPITULO 1. TEORIA DE CONJUNTOS.

3. Para x, y X, [x] [y] = o [x] = [y].

El concepto de funcion es uno de los conceptos mas importantes de las matematicas,

de y bajo f . Usualmente para definir una funcion se especifica el dominio y el valor de

1. Para cada A X, se cumple que A f 1 [f (A)].

CAPITULO 1. TEORIA DE CONJUNTOS.

Teorema 1.17. Sean f : X Y y g : Y Z dos funciones. Sea A Z. Entonces

f es inyectiva (o uno a uno), si para cada x1 , x2 X, si x1 6= x2 , entonces

Teorema 1.18. Sea f : X Y una funci

AQcada X se le llama el -esimo factor del producto. Usualmente, a un elemento

Teorema 1.20. Sea {X }A una familia de conjuntos y A , B subconjuntos de X

Si bien es cierto que dijimos que nuestro enfoque de la teora de conjuntos no es

CAPITULO 1. TEORIA DE CONJUNTOS.

Teorema 1.21. Sea X un conjunto no vaco. Son equivalentes:

Teorema 1.25. Sea X un conjunto infinito. Entonces existe un subconjunto numerable

2. Sea X = Rn , definamos d1 : Rn Rn R, como

Las propiedades 1, 2, 3, 4 se siguen inmediatamente de las propiedades del valor

En el curso de calculo diferencial en varias variables, se demuestran las propiedades

Frecuentemente a Rn con esta metrica se le denota por lp (n) La demostracion de

es una metrica se encuentra en [4]. Este espacio se denota por lp .

6. Sea X = Rn , d : Rn Rn R definida por

2.1. DEFINICIONES Y EJEMPLOS.

7. Sea X = {{xn } | {xn } es una sucesion acotada de n

8. Sea X = c = {{xn } l | {xn } es convergente }. Si consideramos la funcion

Observe que d (f, g) R ya que, la funcion f g es acotada.

Las propiedades 1, 2 y 3 son inmediatas, para la desigualdad triangular se usa

Si A = {1, 2, . . . , n}, B(A, R) se puede identificar con l (n). En el caso de que

Observe que como C[a, b] es subconjunto de B([a, b], R) y la funcion d es la misma,

Recuerde que una funcion continua en un intervalo cerrado [a, b] es Riemann

1. Sea d una metrica en un conjunto X.

Las propiedades 1, 2 y 3 son faciles de demostrar. Para la desigualdad trianx

di (xi , yi ), x = (x1 , . . . , xn ), y = (x1 , . . . , yn ).

Es inmediato que d es una metrica.

La demostracion de este ejemplo se la dejamos al lector. Ver ejercicio 8.

Muchos conceptos en Rn se pueden trasladar de manera inmediata a espacios metricos

Observacion. Se pide que el radio r sea un n

es el interior de un cuadrado con centro en (a, b) y rotado /4 radianes con respecto

2.3. CONCEPTOS TOPOLOGICOS

5. En R2 con la metrica uniforme d se tiene

es el interior de un cuadrado con centro en (a, b) y lados parelelos a los ejes, de

Mtrica del taxista

6. Sea X 6= con la metrica discreta.

B(x, 1) = {x}, B[x, 1] = X, S(x, 1) = X {x}.

7. En C[a, b] con la metrica uniforme, d la bola centrada en fo y radio r, es el

Las bolas en C[a, b] con la m

2.3. CONCEPTOS TOPOLOGICOS