You are on page 1of 30

ELEMENTOS

El propsito principal de este libro es servir como texto para un primer curso

TEFILO ABUABARA
JAIME LESMES C.
de Anlisis Funcional. En l se hace una presentacin completa y rigurosa de
la teora bsica de los espacios de Banach y de los espacios de Hilbert, as
como de la teora espectral de los operadores compactos de estos. Se incluy
tambin un captulo preliminar sobre la topologa de los espacios mtricos. DE ANLISIS FUNCIONAL
La obra contiene numerosos ejemplos y ejercicios.

ELEMENTOS DE ANLISIS FUNCIONAL


TEFILO ABUABARA
Universidad Estadual Paulista
Ro Claro, Brasil

JAIME LESMES C.
Universidad de los Andes
Bogot, Colombia

Departamento de Matemticas
Universidad de los Andes
ELEMENTOS DE ANLISIS FUNCIONAL
TEFILO ABUABARA
JAIME LESMES C.

ELEMENTOS
DE ANLISIS FUNCIONAL

Universidad de los Andes


Bogot, D. C.
2010
Abuabara, Telo
Elementos de anlisis funcional / Telo Abuabara, Jaime Lesmes. 1 ed. Bogot:
Universidad de los Andes, Facultad de Ciencias, Departamento de Matemticas,
Ediciones Uniandes, 2010.
296 p.; 17 24 cm.

ISBN 978-958-695-491-4

1. Anlisis funcional I. Lesmes, Jaime II. Universidad de los Andes (Colombia).


Facultad de Ciencias. Departamento de Matemticas III. Tt.

CDD 515.7 SBUA

Primera edicin: marzo de 2010


Primera reimpresin: octubre de 2010

Jaime Lesmes y Telo Abuabara

Universidad de los Andes, Facultad de Ciencias, Departamento de


Matemticas

Ediciones Uniandes
Carrera 1 nm. 19-27, edicio AU 6, piso 2
Bogot, D. C., Colombia
Telfonos: 339 49 49 - 339 49 99, ext. 2133
http://ediciones.uniandes.edu.co.
infeduni@uniandes.edu.co

ISBN: 978-958-695-491-4

Diseo de cubierta: David Laverde


Correccin de estilo: Aicardo Sandoval
Diseo y diagramacin LATEX: Margoth Hernndez Quitin
Impresin y acabados: Cargraphics
Av. El Dorado nm. 90-10, Bogot, D. C.
Telfono: 410 49 77

Impreso en Colombia - Printed in Colombia

Todos los derechos reservados. Esta publicacin no puede ser reproducida ni en su todo
ni en sus partes, ni registrada en o transmitida por un sistema de recuperacin de infor-
macin, en ninguna forma ni por ningn medio sea mecnico, fotoqumico, electrnico,
magntico, electroptico, por fotocopia o cualquier otro, sin el permiso previo por escrito
de la editorial.
NDICE

PREFACIO A LA PRIMERA EDICIN III

PREFACIO A LA SEGUNDA EDICIN V

0. ESPACIOS MTRICOS 1
0.1. Deniciones y ejemplos 1
0.2. Topologa inducida por una mtrica 4
0.3. Espacios mtricos completos. Teorema de Baire 12
0.4. Espacios mtricos compactos 34

1. ESPACIOS DE BANACH 47
1.1. Deniciones y ejemplos 47
1.2. Subespacios - Transformaciones lineales - Espacios
cocientes 71
1.3. El espacio dual - Teorema de Hahn-Banach 84
1.4. La topologa dbil en un espacio normado 110
1.5. Teoremas de Banach-Steinhaus, de la aplicacin
abierta y del grco cerrado 142
1.6. Aplicaciones y ejemplos 156
1.7. Operadores adjuntos 170

2. ESPACIOS DE HILBERT 181


2.1. Deniciones y ejemplos 181
2.2. Ortogonalidad 190
2.3. Operadores continuos - Convergencia de operadores 212
2.4. Operadores hermitianos, normales y unitarios 220
2.5. Proyecciones ortogonales 232

i
ii

3. OPERADORES COMPACTOS 239


3.1. Espectro de los operadores compactos en espacios
de Banach 239
3.2. Operadores compactos en espacios de Hilbert 258

BIBLIOGRAFA 271

NDICE ALFABTICO 275

NDICE DE SMBOLOS 279


PREFACIO A LA PRIMERA EDICIN

Este libro se basa en las notas de un curso de Anlisis Fun-


cional que dict varias veces en el Instituto de Matemtica Pura e
Aplicada (IMPA) de Ro de Janeiro. El contenido de los captulos
1 a 3 es apropiado para un primer curso de Anlisis Funcional,
omitiendo algunos temas, a juicio del profesor (por ejemplo, para
un curso introductorio se puede omitir una parte de la seccin 1.4
y todo el captulo 3). Se ha agregado un captulo preliminar sobre
espacios mtricos, esencialmente autocontenido, para referencia
rpida y para que eventualmente facilite el estudio o el repaso de
algn tema particular.

Quiero expresar mi agradecimiento al coautor, Dr. T. Abua-


bara, a quien se deben la recoleccin de las notas en forma uni-
cada, la redaccin del Captulo 0 y gran parte de los ejemplos y
ejercicios. Igualmente quiero agradecer a quienes con sus obser-
vaciones y sugerencias contribuyeron para mejorar y completar
estas notas, en especial a mis colegas Ricardo Ma (a quien se
deben varios de los ejercicios) y Carlos Isnard, del IMPA, y a mis
alumnos del IMPA y de la Universidad de los Andes. En particu-
lar, agradezco a Adriana Camacho por su ayuda en la correccin
de las pruebas.

Originalmente se pens elaborar la presente obra para la co-


leccin de monografas publicadas con motivo de los 25 aos de
la Sociedad Colombiana de Matemticas, pero debido a la forma
de presentacin y al volumen, se decidi publicarla por separado.

J. Lesmes
Bogot, octubre de 1981

iii
PREFACIO A LA SEGUNDA EDICIN

Durante ms de veinticinco aos transcurridos desde su apa-


ricin, este libro se ha usado frecuentemente como texto para el
curso de Anlisis Funcional en la Universidad de los Andes y
en la Universidad Nacional de Colombia. Varios colegas y estu-
diantes me han comentado repetidamente sobre la conveniencia
de hacer una nueva edicin. Era mi intencin reescribir el libro
completamente, ampliando y actualizando el contenido y la bi-
bliografa, e incluyendo dos captulos adicionales sobre teora es-
pectral. Como esta labor demandara todava algn tiempo y el
libro se encuentra agotado, decid sacar esta segunda edicin, en
la presente forma, para lo cual se corrigieron numerosos errores
de mecanografa y varios yerros matemticos, se modicaron al-
gunos ejercicios, se actualiz la bibliografa y se agreg un ndice
analtico. Por lo dems, el contenido es el mismo de la primera
edicin.

En las ltimas dcadas se han escrito excelentes tratados de


Anlisis Funcional, y los progresos alcanzados por la teora son
enormes. Para una informacin extensa al respecto, se recomien-
dan [13] y [14]. En los libros [26] y [27] pueden consultarse ade-
ms aplicaciones muy importantes del Anlisis Funcional.

Este trabajo cont con la nanciacin del Fondo de Docencia


de la Facultad de Ciencias y con el total apoyo del Departamento
de Matemticas de la Universidad de los Andes, a quienes agra-
dezco su apoyo. Igualmente agradezco al profesor J. Daro Lpez
G. del Departamento de Matemticas de la Universidad de los
Andes por su invaluable colaboracin en la elaboracin de esta
edicin, a los varios colegas y estudiantes que han hecho impor-

v
vi prefacio a la segunda edicin

tantes comentarios y observaciones, as como a Ediciones Unian-


des por haber acogido este libro para su publicacin y por el es-
mero y cuidado con el cual la ha llevado a cabo.

Quiero dedicar la segunda edicin de este libro a la memoria


del coautor, mi antiguo alumno y colaborador Dr. Telo Abua-
bara, fallecido prematuramente hace varios aos.

J. Lesmes
Bogot, noviembre de 2009
CAPTULO 0

ESPACIOS MTRICOS

0.1. Deniciones y ejemplos


Denicin 0.1.1. Una mtrica en un conjunto no vaco M es una
funcin d : M M , denida sobre el producto cartesiano
M M y con valores reales, que satisface las siguientes condicio-
nes para x, y, z elementos cualesquiera de M:

M1 ) d(x, y) 0, y, d(x, y) = 0 si y solamente si x = y.


M2 ) d(x, y) = d(y, x).
M3 ) d(x, y) d(x, z) + d(z, y).

El nmero real positivo d(x, y) se llama distancia de x a y. La


condicin M3 ) es conocida como la desigualdad triangular, cuyo
nombre se origina en el hecho de que en el plano, la longitud
de uno de los lados de un tringulo no excede a la suma de las
longitudes de los otros dos.
Si d es una mtrica en M, la pareja (M, d) se llama espacio
mtrico, y, si no hay lugar a dudas, nos referiremos simplemente
a M como el espacio mtrico.
Ejemplo 0.1.1. El ejemplo ms simple e importante de espacio
mtrico es la recta con la distancia entre dos puntos dada por
la funcin
d(x, y) = |x y|.

1
2 espacios mtricos

A menos que se diga explcitamente otra cosa, se considera-


r dotado de esta mtrica, la cual comnmente se llama mtrica
usual de .
Ejemplo 0.1.2. Sean (M, d) un espacio mtrico y S un subconjun-
to de M. La funcin ds : S S , denida por
ds (x, y) = d(x, y),
es una mtrica en S, llamada mtrica inducida por d en S. En este
caso se dice que S es un subespacio mtrico de M.
Ejemplo 0.1.3. Sea n = {x = (x1 , x2 , . . . , xn ); xi , i = 1, 2, . . . , n}
el espacio euclidiano de dimensin n. Las tres funciones reales
siguientes, denidas sobre n ,

 n
 n

d(x, y) = |xi yi | , d (x, y) =
2 |xi yi |,
i=1 i=1

d (x, y) = max {|xi yi |; 1 i n},
son ejemplos de mtricas en n . La mtrica d se llama mtrica
euclidiana en n .

Ejemplo 0.1.4. Sea (M, d) un espacio mtrico. La funcin


: M M denida por
d(x, y)
(x, y) = ,
1 + d(x, y)
es una mtrica en M. En efecto, las condiciones M1 ) y M2 ) son in-
mediatas. Demostremos la desigualdad triangular: cualesquiera
que sean x, y, z M se tiene que
d(x, y) 1 1
(x, y) = = 1 1
1 + d(x, y) 1 + d(x, y) 1 + d(x, z) + d(z, y)
d(x, z) d(z, y) d(x, z) d(z, y)
= + +
1+ d(x, z) +d(z, y) 1+d(x, z) +d(z, y) 1+ d(x, z) 1+ d(z, y)
= (x, z) + (z, y).
Por consiguiente es una mtrica en M.
0.1. Definiciones y ejemplos 3

Ejemplo 0.1.5. Dados n espacios mtricos (Mi , di ), i = 1, 2, . . . , n,


el producto cartesiano M = M1 M2 . . . Mn es un espacio m-
trico, para una cualquiera de las siguientes mtricas:

 n
 
n
d(x, y) = di (xi , yi )2 , d  (x, y) = di (xi , yi ),
i=1 i=1
d  (x, y) = max {di (xi , yi ); 1 i n},

en donde x = (x1 , x2 , . . . , xn ) e y = (y1 , y2 , . . . , yn ) son elementos de


M. Adems, tenemos las siguientes desigualdades:

d  (x, y) d(x, y) d  (x, y) nd  (x, y).

La primera y tercera desigualdades son inmediatas, y en cuanto


a la segunda es suciente observar que

n 
d  (x, y)2 = di (xi , yi )2 + di (xi , yi ) dj (xj , yj ),
i=1 ij

y por consiguiente d(x, y) d  (x, y).


El lector puede observar que el ejemplo 0.1.3 es un caso par-
ticular de este ltimo.

Ejercicios de la seccin 0.1.

1. Sea M un conjunto cualquiera. Demuestre que la funcin


d : M M , denida por

1, si x  y
d(x, y) =
0, si x = y,

es una mtrica en M. Esta es llamada mtrica discreta sobre


M.

2. Sea d : la funcin denida por


 
y 
d(x, y) = 
x
.
1 + |x| 1 + |y| 
Demuestre que d es una mtrica en .
4 espacios mtricos

3. Si d es una mtrica en M, demuestre que la funcin


: M M , denida por

(x, y) = mn {1, d(x, y)},

es una mtrica en M.

0.2. Topologa inducida por una mtrica


Denicin 0.2.1. Sea X un conjunto cualquiera. Una topologa en
X es una familia de subconjuntos de X, tal que

1. , X .

2. Si (A )L es una coleccin de elementos de , entonces



L A . En otras palabras, una reunin cualquiera de
elementos de es un elemento de .

3. Si A1 , A2 , entonces A1 A2 . Equivalentemente, la
interseccin de un nmero nito de elementos de es un
elemento de .

Si es una topologa en X, la pareja (X, ) se llama espacio to-


polgico y los elementos de se llaman abiertos de X (o en X).

Si (X, ) es un espacio topolgico y si Y es un subconjunto de


X, la familia Y de subconjuntos de Y , denida por

Y = {A Y ; A },

es una topologa en Y llamada topologa inducida en Y por la to-


pologa de X o la topologa inducida por en Y . Por consiguiente
un subconjunto U de Y es abierto en Y (o con relacin a Y ) si y
solamente si U = A Y , para algn abierto A de X.

Denicin 0.2.2. Sean (X, ) un espacio topolgico y S un sub-


conjunto de X.

1. Se dice que S es un subconjunto cerrado en X si y solamente


si su complemento S es un subconjunto abierto de X.
0.2. topologa inducida por una mtrica 5

2. Se dice que un punto x0 es interior a S cuando existe un


abierto A de X tal que x0 A S. Se denota por int(S) el
conjunto de todos los puntos de X interiores a S.

3. Un punto x0 se llama punto de acumulacin de S si y sola-


mente si para todo abierto A de X que contenga al punto x0 ,
se tiene que (A \ {x0 }) S  , o sea, A contiene un punto de
S distinto de x0 . Se denota por S  el conjunto de todos los
puntos de X que son puntos de acumulacin de S.

4. Se dice que un punto x0 de S es un punto aislado (de S) si no


es punto de acumulacin de S, esto es, si existe un abierto
A de X que contenga al punto x0 tal que (A \ {x0 }) S = . Si
todos los puntos de S son puntos aislados, se dice que S es
discreto.

5. Un punto x0 de X se llama punto adherente a S cuando para


todo abierto A de X que contiene al punto x0 , se tiene que
AS  . Se denota por S el conjunto de todos los puntos de
X que son adherentes a S. El conjunto S se llama la clausura
o adherencia de S. Se dice que S es denso en X si S = X.

6. La frontera de S, fr(S), se dene como el conjunto

fr(S) = S S .

Se dice que un subconjunto de V de X es una vecindad de un pun-


to x0 X, cuando existe un abierto A de X tal que x0 A V . Por
consiguiente, en las deniciones anteriores se puede usar el con-
cepto de vecindades en lugar del concepto de abiertos.

El lector podr demostrar fcilmente las siguientes armacio-


nes:

1. int(S) es el mayor conjunto abierto de X contenido en S. Por


consiguiente S es abierto en X si y solamente si int(S) = S.

2. S es el menor conjunto cerrado en X que contiene a S. Por


consiguiente S es cerrado en X si y solamente si S = S.
6 espacios mtricos

3. S = S S  , y por lo tanto, S es cerrado si y solamente si


S S.

4. S = int(S) fr(S) (unin disyunta) y tambin S = S fr(S).


De estas dos igualdades se sigue que S es cerrado si y slo
si S fr(S).

Denicin 0.2.3. Una base para una topologa en X es una fami-


lia B de elementos de tal que todo elemento de (todo conjunto
abierto de X) se puede expresar como unin de elementos de B.

Proposicin 0.2.1. Sean X un conjunto cualquiera y B una familia


de subconjuntos de X. Para que B sea una base para una topologa en
X es necesario y suciente que satisfaga las dos condiciones siguientes:

1. X es la unin de los elementos de B.

2. Dados B1 , B2 elementos de B, y, x B1 B2 , existe B B tal


que x B B1 B2 .

Demostracin. Es claro que las condiciones son necesarias. Las


condiciones son tambin sucientes. En efecto, si

= {A X; A es unin de una familia de elementos de B} {},

entonces es una topologa en X y B es una base para .

Denicin 0.2.4. Sean (M, d) un espacio mtrico, x0 un elemento


de M y  > 0. El conjunto

B (x0 ) = {x M; d(x, x0 ) < } ,

se llama la bola abierta en M de centro x0 y radio ; el conjunto

B (x0 ) = {x M; d(x, x0 ) } ,

se llama la bola cerrada en M de centro x0 y radio , y el conjunto

S (x0 ) = {x M; d(x, x0 ) = } ,

se llama la esfera en M de centro x0 y de radio .


0.2. topologa inducida por una mtrica 7

Teorema 0.2.1. Sean (M, d) un espacio mtrico y Bd = {B (x);  > 0,


x M} la familia de todas las bolas abiertas en M. Entonces, Bd es
una base para una topologa d en M, llamada la topologa inducida
por la mtrica d.
Demostracin. Por la proposicin 0.2.1 es suciente demostrar
que dados x1 , x2 M,  > 0, > 0 y z B (x1 ) B (x2 ), existe
> 0 tal que B (z) B (x1 ) B (x2 ). Ahora, como d(z, x1 ) <  y
d(z, x2 ) < , entonces, haciendo
= mn { d(z, x1 ), d(z, x2 )} > 0,
tenemos que B (z) B (x1 ) B (x2 ).

Un espacio mtrico siempre se considera dotado de la topolo-


ga inducida por su mtrica.
Corolario 0.2.1. Un subconjunto A de M es abierto para la topologa
d si y solamente si A es unin de bolas abiertas en M. En particular,
las bolas abiertas en M son conjuntos abiertos de M.
Se sigue de este corolario que los conceptos de la denicin
0.2.2 pueden ser redenidos en trminos de bolas abiertas (o ce-
rradas, ya que stas son vecindades). As, por ejemplo, un punto
x0 de M es interior a un subconjunto S de M si y slo si existe
 > 0 tal que B (x0 ) S.
Debe tenerse en cuenta que, en general, una bola cerrada pue-
de no ser igual a la adherencia de la bola abierta del mismo centro
y del mismo radio. Por ejemplo, si M es un espacio con ms de un
punto, dotado de la mtrica discreta denida en el ejercicio 1 de
la seccin 0.1 tenemos que para todo a M, la bola cerrada de
radio 1 y centro a es todo M, pero B1 (a) = {a} = {a}  M.
Denicin 0.2.5. Sean (M, d1 ) y (N , d2 ) dos espacios mtricos. Se
dice que una aplicacin f : M N es continua en x0 M si y
solamente si toda bola abierta en N centrada en f (x0 ) contiene la
imagen por f de alguna bola abierta en M con centro en x0 . En
otras palabras, f es continua en x0 si (y solamente si) dado  > 0,
existe un > 0, tal que y B (x0 ) implica f (y) B (f (x0 )). Se dice
que f : M N es continua, si lo es en todos los puntos de M.
8 espacios mtricos

Del corolario 0.2.1 se sigue la siguiente proposicin

Proposicin 0.2.2. Para que una aplicacin f : M N sea conti-


nua es necesario y suciente que la imagen inversa f 1 (A) de cual-
quier abierto A en N sea abierto en M.

Ya que f 1 (A) = f 1 (A ), la proposicin puede ser enuncia-


da en trminos de conjuntos cerrados en lugar de abiertos, como
tambin en trminos de vecindades.

Denicin 0.2.6. Si M, N son espacios mtricos y f : M N


es una aplicacin biyectiva continua, cuya inversa f 1 : N M
tambin es continua, se dice que f es un homeomorsmo de M so-
bre N , y que M y N son espacios mtricos homeomorfos.

Sean (X, 1 ), (Y , 2 ) dos espacios topolgicos. Se dice que una


aplicacin f : (X, 1 ) (Y , 2 ) es continua si f 1 (A) 1 , para to-
do A 2 , esto es, si la imagen inversa f 1 (A) de cualquier abierto
A en Y es un abierto en X. Una aplicacin f : (X, 1 ) (Y , 2 )
que es continua y biyectiva, cuya inversa f 1 : (Y , 2 ) (X, 1 ) es
tambin continua, se llama un homeomorsmo de X sobre Y . En
este caso se dice que los espacios X e Y son homeomorfos.

Sean 1 , 2 dos topologas en el mismo conjunto X. Se dice que


1 es ms na que 2 si 1 2 . esto es, si la aplicacin identidad
id : (X, 1 ) (X, 2 ) es continua.

Denicin 0.2.7. Sean M un conjunto, d1 y d2 dos mtricas en M.

1. Se dice que d1 es ms na que d2 , si la aplicacin identi-


dad id : (M, d1 ) (M, d2 ) es continua, esto es, si toda bola
abierta en M segn la mtrica d2 contiene alguna bola abier-
ta con el mismo centro segn la mtrica d1 .

2. Sedicequed1 yd2 sonmtricasequivalentesenM,locualsede-


nota d1 d2 , si la aplicacin identidad id : (M, d1 ) (M, d2 )
es un homeomorsmo, esto es, si toda bola abierta en M
segn d1 contiene alguna bola abierta con el mismo centro
segn d2 y viceversa.
0.2. topologa inducida por una mtrica 9

Observacin 0.2.1. Una mtrica d1 es ms na que una mtrica


d2 si y solamente si la topologa inducida por d1 es ms na que
la topologa inducida por d2 en M. Por consiguiente, dos mtricas
d1 , d2 en M son equivalentes cuando inducen sobre M la misma
topologa.

Ejemplo 0.2.1. Si : es un homeomorsmo, entonces la


mtrica d  en , denida por

d  (x, y) = |(x) (y)|,

es equivalente a la mtrica usual de . En particular, la mtrica


 
  x y 
d (x, y) =  ,
1 + |x| 1 + |y| 

es equivalente a la mtrica usual de .


Veremos ms adelante que, aunque la mtrica d  denida arri-
ba es equivalente a la mtrica usual de , la cual es completa, d 
no es completa. (El concepto de completez se denir en la sec-
cin 0.3).
Ejemplo 0.2.2. Sean d1 , d2 dos mtricas en M para las cuales exis-
ten constantes > 0, > 0 tales que

d2 (x, y) d1 (x, y) d2 (x, y),

para todos los x, y M. Entonces las mtricas d1 y d2 son equiva-


lentes en M.
Observacin 0.2.2. Es importante observar que la armacin re-
cproca del ejemplo anterior es falsa. En efecto, sea d una mtrica
cualquiera en M. La mtrica : M M , denida por la fr-
mula
d(x, y)
(x, y) = ,
1 + d(x, y)
es equivalente a la mtrica d (ejercicio 1). Ahora bien, si d no es
acotada no puede existir ninguna constante > 0 tal que d(x, y)
(x, y), para todo x M y todo y M, pues (x, y) < 1.
10 espacios mtricos

Ejemplo 0.2.3. Sea I = [a, b] (con a < b) un intervalo compacto1


de . Se denota por C(I; ) el conjunto (espacio vectorial) de to-
das las funciones reales continuas denidas sobre I . En C(I ; )
denimos las dos mtricas siguientes:

d1 (f , g) = sup {|f (t) g(t)|; t I } ,


b
d2 (f , g) = |f (t) g(t)| dt.
a

Las mtricas d1 , d2 no son equivalentes. En efecto la aplicacin


identidad

id : (C(I; ), d2 ) (C(I ; ), d1 ),

no es continua. Para demostrar esta armacin, sean f 0 0 la


funcin constante idnticamente nula,  = 1 y > 0 cualquiera.
Escogemos n , n > 1 tal que a + n < b. Sea f : I la funcin
continua denida por la gura 0.1:

n


 
 
 
 
 
 
 
 

a a + n b
Figura 0.1.

1 Cerrado y acotado en (ver la denicin 0.4.1).


0.2. topologa inducida por una mtrica 11

Entonces, se tiene que


 b
d2 (f , f 0 ) = |f (t)| dt
a
 a+ n
= |f (t)| dt
a

= < ,
2
Por otra parte,
d1 (f , f 0 ) = sup {|f (t)|; t I } = n > 1,
de donde sigue la armacin.
Ntese, sin embargo, que como d2 (f , g) (b a) d1 (f , g), cua-
lesquiera que sean f , g C(I ; ), entonces la aplicacin identidad
id : (C(I; ), d1 ) (C(I ; ), d2 ),
es continua y por lo tanto d1 es ms na que d2 .
Denicin 0.2.8.
1. Se dice que un espacio topolgico X es separado o de Haus-
dor, si dos puntos distintos cualesquiera de X poseen ve-
cindades disyuntas.
2. Si X es un espacio topolgico y a X, un sistema fundamen-
tal de vecindades de a es una familia V de vecindades de a,
tal que dada W , vecindad cualquiera de a, existe V V con
V W.
Todo espacio mtrico es de Hausdor. En un espacio mtri-
co, las bolas centradas en un punto dado constituyen un sistema
fundamental de vecindades de ese punto.

Ejercicios de la seccin 0.2.


1. Si d es una mtrica en M, demuestre que la mtrica en M,
denida por
d(x, y)
(x, y) = ,
1 + d(x, y)
es equivalente a la mtrica d.
12 espacios mtricos

2. Sean (M, d1 ), (N , d2 ) dos espacios mtricos. Demuestre que


para que la aplicacin f : (M, d1 ) (N , d2 ) sea continua
es necesario y suciente que la mtrica df : M M ,
denida por
df (x, y) = d1 (x, y) + d2 (f (x), f (y)),

sea equivalente a d1 .
3. Demuestre que para todo subconjunto A no vaco de un es-
pacio mtrico M, y todo punto x M, se tiene que d(x, A) =
d(x, A), en donde se dene: d(a, S) = nf {d(a, s); s S} , para
cualquier subconjunto S de M y a M.

0.3. Espacios mtricos completos. Teorema de


Baire
Denicin 0.3.1. Sea (M, d) un espacio mtrico. Se dice que una
sucesin (xn ) de elementos de M converge a x0 M, o que
tiene lmite x0 (lo cual se denota lm xn = x0 , , xn xo ), si
n
lm d(xn , x0 ) = 0. Una sucesin en un espacio mtrico converge
n
a lo ms a un punto. En efecto, si (xn ) es una sucesin tal que
xn x0 , xn y0 , entonces
d(x0 , y0 ) d(x0 , xn ) + d(xn , y0 ) 0,

de donde d(x0 , y0 ) = 0, y por consiguiente x0 = y0 .


Adems, si una sucesin converge a x0 , entonces cualquier
subsucesin es convergente hacia el mismo punto x0 .
Proposicin 0.3.1. Una sucesin (xn ) en un espacio mtrico M con-
verge a x0 si y slo si para todo abierto A que contenga al punto x0 ,
existe un n0 tal que xn A, para todo n > n0 .
Demostracin. Sea A un abierto en M tal que x0 A. Existe  > 0
tal que B (x0 ) A. Como xn x0 , existe n0 tal que d(xn , x0 ) < 
si n > n0 , de donde xn A, para todo n > n0 . Por consiguiente la
condicin es necesaria. Para la recproca, recurdese que las bolas
abiertas son conjuntos abiertos en M.
0.3. espacios mtricos completos. teorema de baire 13

Como toda vecindad de un punto contiene un abierto que


contiene al punto, tenemos el siguiente corolario

Corolario 0.3.1. Una sucesin (xn ) en un espacio mtrico M es con-


vergente a un punto x0 M si y slo si para toda vecindad V de x0 en
M, existe n0 tal que xn V para todo n > n0 .

Corolario 0.3.2. Si dos mtricas d1 , d2 en M son equivalentes, en-


tonces una sucesin (xn ) converge a x0 segn d1 si y slo si tambin
converge a x0 segn d2 .

Observacin 0.3.1.

1. La importancia de la proposicin 0.3.1 (o de su corolario


0.3.1) es que permite extender la denicin de lmite de una
sucesin a un espacio topolgico cualquiera: se dice que una
sucesin (xn ) converge a x0 en X (espacio topolgico) si para
toda vecindad V de x0 , existe n0 tal que xn V para
todo n > n0 .

2. En espacios mtricos, una condicin necesaria y suciente


para que un punto sea adherente a un conjunto es que el
punto sea lmite de una sucesin de puntos del conjunto.
En espacios topolgicos cualesquiera, esta condicin siem-
pre es suciente y si X es de Hausdor y satisface el pri-
mer axioma de enumerabilidad (esto es, si todo punto de X
posee un sistema fundamental enumerable de vecindades),
entonces la condicin tambin es necesaria.

3. De igual forma en espacios mtricos una condicin nece-


saria y suciente para que x0 sea punto de acumulacin
de un conjunto S, es que x0 sea lmite de una sucesin de
puntos del conjunto, dos a dos distintos. En efecto, supon-
gamos que x0 sea punto de acumulacin de S; entonces,
cualquiera que sea > 0, existe al menos un punto x S,
tal que 0 < d(x, x0 ) < . Sea 1 = 1; escogemos
x1 S tal
que 0 < d(x1 , x0 ) < 1. Para 2 = mn d(x1 , x0 ), 12 , escogemos

x2 S tal que 0 < d(x2 , x0 ) < 2 . Para 3 = mn d(x2 , x0 ), 13 ,


escogemos x3 S tal que 0 < d(x3 , x0 ) < 3 . Continuando de
14 espacios mtricos

esta forma, construimos una sucesin (xn ) de elementos de


S tal que
1
0 < d(xn+1 , x0 ) < d(xn , x0 ); d(xn , x0 ) < ,
n
para todo n . Se sigue que lm xn = x0 . Adems, si n  m,
entonces xn  xm . En efecto, si n > m,

d(xn , x0 ) < d(xn1 , x0 ) < < d(xm1 , x0 ) < d(xm , x0 ),

de donde xn  xm . Se concluye que la condicin es necesaria;


su suciencia es evidente.
Debemos observar que en espacios topolgicos cualesquie-
ra, esta condicin es suciente, pero en general no es nece-
saria.
Dejamos al lector la demostracin de la siguiente proposi-
cin:

Proposicin 0.3.2. Sean M, N dos espacios mtricos. Una aplicacin


f : M N es continua en x0 M si y slo si para toda sucesin (xn )
de elementos de M convergente a x0 , la sucesin (f (xn )) converge a
f (x0 ) en N .

Denicin 0.3.2. Una sucesin (xn ) en un espacio mtrico (M, d)


se llama sucesin de Cauchy si para todo  > 0 podemos hallar un
ndice n0 , tal que para cualquier pareja de ndices m, n > n0 ,
se tiene que d(xm , xn ) < .
Denicin 0.3.3. Se dice que un subconjunto S de un espacio
mtrico es acotado cuando existe una bola abierta B (x0 ) tal que
S B (x0 ), esto es, d(x, x0 ) < , para toda x S.

Observacin 0.3.2. Se dene el dimetro de un subconjunto S no


vaco de un espacio mtrico M, como el nmero real extendido2 ,

diam (S) = sup {d(x, y); x, y S} .

S es acotado si y slo si diam (S) < .


2 Eventualmente puede ser + .
0.3. espacios mtricos completos. teorema de baire 15

Proposicin 0.3.3. Toda sucesin de Cauchy en un espacio mtrico


es acotada.

Demostracin. Sea (xn ) una sucesin de Cauchy en (M, d). Enton-


ces existe n0 tal que

m, n n0 = d(xm , xn ) < 1;

en particular,
n > n0 = d(xn , xn0 ) < 1.

Si 2 = max 1, d(x1 , xn0 ), d(x2 , xn0 ), . . . , d(xn0 1 , xn0 ) , entonces se tie-


ne que d(xn , xn0 ) , para todo n .

Proposicin 0.3.4. Toda sucesin convergente en un espacio mtrico


es de Cauchy y por consiguiente, acotada.

Denicin 0.3.4. Se dice que un espacio mtrico (M, d) es comple-


to cuando toda sucesin de Cauchy en (M, d) es convergente hacia
algn punto de M. En este caso se dice tambin que la mtrica d
es completa en M.

Un subconjunto S de un espacio mtrico M se dice completo,


si S dotado de la mtrica inducida por la de M (ver ejemplo 0.1.2)
es un espacio mtrico completo.

Ejemplo 0.3.1.

1. Todo subconjunto completo de un espacio mtrico es cerra-


do. En efecto, sean (M, d) un espacio mtrico y S un sub-
conjunto completo de M. Si x S, entonces conforme a la
observacin 0.3.1.2 existe una sucesin (xn ) de elementos de
S convergente hacia x. Por la proposicin 0.3.4, la sucesin
(xn ) es de Cauchy en S y por consiguiente convergente hacia
algn punto x1 S. Por la unicidad del lmite, x = x1 S.
Por lo tanto, S es cerrado.

2. Recprocamente si (M, d) es un espacio mtrico completo,


entonces todo subconjunto cerrado S de M es completo. En
16 espacios mtricos

efecto, si (xn ) es una sucesin de Cauchy en S, entonces tam-


bin es de Cauchy en M y por lo tanto converge hacia al-
gn punto x M. De acuerdo con la observacin 0.3.1.2),
x S = S. Por lo tanto, S es completo.

Ejemplo 0.3.2. El conjunto de los nmeros reales con la m-


trica usual d(x, y) = |x y| es un espacio mtrico completo. Aho-
ra bien, conforme al ejercicio 1 de la seccin 2, la mtrica en ,
d1 : , denida por
 
 x y 
d1 (x, y) =  ,
1 + |x| 1 + |y| 
es equivalente a la usual de , pero para esta mtrica d1 , no es
completo. En efecto, la sucesin (n) es de Cauchy en segn la
mtrica d1 , pero no es convergente a ningn punto de segn
esta mtrica, pues en caso contrario, conforme al corolario 0.3.2,
la sucesin (n) sera convergente hacia algn punto de segn la
mtrica usual, lo que es absurdo.
As, dos mtricas pueden ser equivalentes siendo una de ellas
completa y la otra no. En particular, un espacio mtrico comple-
to puede ser homeomorfo a otro no completo (en otras palabras,
la propiedad de que un espacio mtrico sea completo no es to-
polgica). Otro ejemplo de este hecho nos lo dan la recta y el
intervalo abierto (0, 1) con la mtrica usual. Sin embargo, si dos
espacios son uniformemente homeomorfos (si existe una biyeccin
de uno de ellos sobre el otro que es uniformemente continua (ver
la denicin siguiente), as como su inversa) y si uno de ellos es
completo, necesariamente el otro tambin lo es. Esto se sigue del
hecho de que la imagen de una sucesin de Cauchy por una apli-
cacin uniformemente continua, es una sucesin de Cauchy. La
nocin de aplicacin uniformemente continua es como sigue:

Denicin 0.3.5. Sean (M, d1 ), (N , d2 ) dos espacios mtricos. Se


dice que una aplicacin f : (M, d1 ) (N , d2 ) es uniformemente
continua cuando para todo  > 0 dado, existe un > 0 correspon-
diente con la propiedad de que si x, y son dos puntos cualesquiera
de M tales que d1 (x, y) < , entonces d2 (f (x), f (y)) < .
0.3. espacios mtricos completos. teorema de baire 17

Denicin 0.3.6. Sean (M, d1 ), (N , d2 ) dos espacios mtricos.

1. Se dice que una aplicacin f : (M, d1 ) (N , d2 ) es una in-


mersin isomtrica si preserva distancias, esto es, si

d2 (f (x), f (y)) = d1 (x, y),

para todo x M y todo y M.

2. Una aplicacin f : (M, d1 ) (N , d2 ) se llama una isometra


si es una inmersin isomtrica sobreyectiva. En este caso se
dice que los espacios son isomtricos.

Observacin 0.3.3.

1. Conviene observar que toda inmersin isomtrica es nece-


sariamente una aplicacin uniformemente continua e in-
yectiva.

2. Sean X un conjunto cualquiera, (M, d) un espacio mtrico


y f : X M una aplicacin inyectiva. Entonces la funcin
df : X X denida por

df (x, y) = d(f (x), f (y)),

es una mtrica en X, llamada mtrica inducida por f en X.


Si X se dota de esta mtrica, f se torna en una inmersin
isomtrica.

Denicin 0.3.7. Un completado de un espacio mtrico M es un


espacio mtrico completo M para el cual existe una inmersin
tal que f (M) es denso en M
isomtrica f : M M (f (M) = M).

As, un
En la prctica, M se iguala al subconjunto f (M) de M.
completado de un espacio mtrico M es un espacio mtrico com-
en el cual M es denso.
pleto M

Ejemplo 0.3.3. Sean (0, 2) y [0, 2] los intervalos abierto y cerra-


do, respectivamente, con extremos 0 y 2, con la mtrica usual.
Entonces [0, 2] es un completado de (0, 2), ya que la funcin