Analisis Real: Primer Curso

Ricardo A. S aenz

Indice general
Introducci on v
Captulo 1. Espacios Metricos 1
1. Metricas 1
2. Metricas en espacios vectoriales 4
3. Topologa 9
Ejercicios 16
Captulo 2. Sucesiones y convergencia 21
1. Deniciones 21
2. Sucesiones de Cauchy y completitud 25
3. Espacios vectoriales completos 29
4. Convergencia de series 35
5. La completitud de un espacio metrico 37
Ejercicios 40
Captulo 3. Espacios compactos 43
1. Cubiertas 43
2. Compacidad 45
3. El teorema de Bolzano-Weierstrass 48
4. Compacidad en espacios de Banach 52
Ejercicios 56
Captulo 4. El espacio de funciones continuas 57
1. Funciones continuas 57
iii
iv

Indice general
2. El espacio C(X, Y ) 65
3. El teorema de Arzel` a-Ascoli 69
4. El teorema de Stone-Weierstrass 76
Ejercicios 84
Captulo 5. Espacios conexos 87
1. Conexidad 87
2. Conexidad por trayectorias 89
3. Componentes conexas 92
Ejercicios 93
Captulo 6. Espacios completos 95
1. El teorema de Cantor 95
2. El teorema de Baire 98
3. Consecuencias del teorema de Baire 100
Ejercicios 106
Captulo 7. Ecuaciones diferenciales ordinarias 107
1. Problema de Valor Inicial 107
2. El teorema de contracci on 108
3. Existencia y unicidad de soluciones 109
Ejercicios 112
Bibliografa 113
Introducci on
Estas notas presentan una introducci on b asica al an alisis real, basada
en el estudio de espacios metricos y aplicaciones. En particular, hacemos un
estudio extenso de la idea de completitud en un espacio metrico.
Dos conceptos fundamentales son la base de este estudio: metrica y com-
pletitud. Una metrica es una funci on que establece distancias entre los ob-
jetos de un espacio. Las propiedades que denen una metrica son aquellas
que uno espera de una distancia: positividad, simetra, y la desigualdad del
tri angulo, la cual garantiza que la distancia entre dos puntos es menor que
la suma de las distancias de estos a otro punto en com un.
Por medio de una metrica uno puede medir la cercana dentro un
espacio desde el punto de vista analtico, es decir, establecer cu ales son las
sucesiones convergentes. Esto nos lleva de manera natural a continuidad y
al estudio de la topologa de un espacio.
Completitud es la propiedad que garantiza que las sucesiones cuyos
terminos se acercan entre s son convergentes. En terminos generales esto
signica que nuestro espacio no tiene agujeros.
En el captulo 1 se dene el concepto de metrica, y se estudia de manera
b asica la topologa inducida por un metrica. De manera un tanto m as detal-
lada se estudian metricas inducidas por normas (magnitudes de vectores) o
por productos internos.
En el captulo 2 se estudia la convergencia de una sucesi on, y se introduce
la idea de completitud. Tmabien se estudian algunas aplicaciones de estas
ideas a espacios vectoriales normados, como la convergencia de series, ya sea
de manera absoluta o condicional. Se demuestra, por ejemplo, el teorema de
v
vi Introducci on
Dirichlet. Al nal, demostramos que si un espacio metrico no es completo,
entonces puede ser encajado un espacio metrico completo.
La idea de compacidad fue descubierta por Heine en su estudio de fun-
ciones uniformemente continuas. Compacidad tambien garantiza la existen-
cia de m aximos y mnimos de una funci on continua, por lo que su estudio
es b asico en an alisis. En el captulo 3 estudiamos estos conceptos en de-
talle, y demostraremos el teorema de Bolzano-Weierstrass, el cual clasica
a los conjuntos compactos en terminos de sucesiones convergentes. Tambien
demostramos el teorema de Heine-Borel, el cual implica, por ejemplo, que
bolas cerradas en el espacio euclideano son compactas. Sin embargo, tal cosa
no es cierta en espacios de dimensi on innita, como se establece al nal del
captulo.
La colecci on de funcionas continuas acotadas en un espacio metrico for-
ma en s un espacio metrico, y tal objeto es estudiado en detalle en el captulo
4. Por ejemplo, clasicamos los subconjuntos compactos de dicho espacio a
traves del teorema de Arzel` a-Ascoli. Tambien se estudian subconjuntos den-
sos, y demostramos el teorema de Stone-Weierstrass al nal del captulo.
En el captulo 5 se estudia la idea de conexidad y se establecen algunas
aplicaciones, como el teorema del valor intermedio en la recta real y el estudio
de conjuntos convexos en el espacio euclideano.
En el captulo 6 se estudian consecuancias de completitud, como el teo-
rema de Cantor y el teorema de Baire. Las aplicaciones de dichos teoremas
van desde la incontabilidad de los n umeros reales hasta la inexistencia de
funciones continuas s olamente en los racionales.
En ultimo captulo aplicamos la idea de completitud al estudio de ecua-
ciones diferenciales ordinarias. Introducimos la condici on de Lipschitz y el
teorema de contracci on para garantizar la existencia y unicidad de cierta
clase de ecuaciones de primer orden, y su extensi on a ordenes mayores.
Estas notas, a un, siguen en constante revisi on.
Ricardo Alberto S aenz Casas
Captulo 1
Espacios Metricos
1. Metricas
A grandes rasgos, un espacio metrico es un conjunto provisto de una
distancia, llamada metrica, y a partir de esta construmos sus propiedades
analticas: lmites y continuidad.
Denici on 1.1. Sea X un conjunto no vaco. Una metrica d en X es una
funci on d : X X [0, ) con las siguientes propiedades:
1. d(x, y) = 0 si, y s olo si, x = y, para todos x, y X.
2. d(x, y) = d(y, x), para todos x, y X.
3. d(x, y) d(x, z) +d(z, y), para todos x, y, z X.
Un espacio metrico es una pareja (X, d), donde X = y d es una metrica
en X.
Cuando no haya confusi on, nos refererimos al espacio metrico (X, d)
s olo como X. Al enunciado (3) de la denici on anterior se le conoce como
la desigualdad del tri angulo.
Ejemplo 1.2. Sea X = . Denimos
d(x, y) =
_
0 si x = y,
1 si x = y,
x, y X.
Es claro que (X, d) es un espacio metrico, y d es llamada la metrica discreta.
Este ejemplo garantiza que cualquier conjunto (no vaco) puede ser dotado
de una metrica.
1
2 1. Espacios Metricos
Ejemplo 1.3. Sea R el conjunto de los n umeros reales, y denimos
d(x, y) = |x y|, x, y R.
d es llamada la metrica est andar en R. Excepto cuando sea indicado de otra
forma, nos referiremos al espacio R con la metrica est andar s olo por R.
Ejemplo 1.4. En R
n
denimos
d
E
(x, y) =
_
(x
1
y
1
)
2
+... + (x
n
y
n
)
2
, x, y R
n
.
d
E
es llamada la metrica euclideana. La demostraci on del hecho que d
E
dene una metrica requiere de la desigualdad de Cauchy-Schwartz, la cual
ser a demostrada en la siguiente secci on.
Ejemplo 1.5. En R
n
tambien podemos denir
d
M
(x, y) = m ax
i=1,...,n
|x
i
y
i
|, x, y R
n
.
Para vericar que es una metrica, observamos primero que las propieda-
des (1) y (2) de metrica se satisfacen trivialmente por la denici on de
valor absoluto. Para verica la desigualdad del triangulo, tomamos x =
(x
1
, . . . , x
n
), y = (y
1
, . . . , y
n
), z = (z
1
, . . . , z
n
) R
n
y suponemos que
|x
i
0
y
i
0
| = m ax
i=1,...,n
|x
i
y
i
|.
Entonces
d(x, y) = |x
i
0
y
i
0
| |x
i
0
z
i
0
| + |z
i
0
y
i
0
|
m ax
i=1,...,n
|x
i
z
i
| + m ax
i=1,...,n
|z
i
y
i
| = d(x, z) +d(z, y).
Este metrica es llamada la metrica del m aximo.
Ejemplo 1.6. En R
n
, denimos la metrica
d
T
(x, y) = |x
1
y
1
| +... + |x
n
y
n
|, x, y R
n
.
De nuevo, es f acil vericar que d
T
es una metrica, la cual es llamada la
metrica del taxi (Figura 1).
Ejemplo 1.7. En R, denimos ahora
d
A
(x, y) =
|x y|
1 + |x y|
, x, y R.
Las propiedades (1) y (2) de la denici on de metrica se satisfacen trivial-
mente por la denici on de valor absoluto. Para vericar la desigualdad del
tri angulo, sean A = |x z|, B = |z y|, y C = |x y|. Entonces queremos
mostrar que
C
1 +C

A
1 +A
+
B
1 +B
.
1. Metricas 3
x a
y
b
r
Figura 1. Comparaci on de las metricas d
E
, d
M
y d
T
en R
2
. En la gura,
d
E
(x, y) = r, d
M
(x, y) = b (suponiendo que b > a) y d
T
(x, y) = a + b.
Pero, como C A+B y A, B 0, tenemos
C
1 +C

C +AB
1 +C
= 1
1 AB
1 +C
1
1 AB
1 +A +B +AB
=
A
1 +A
+
B
1 +B
.
d
A
es llamada la metrica acotada en R, ya que para todos x, y R,
d
A
(x, y) < 1.
Ejemplo 1.8. Sea (X, d) un espacio metrico. Al igual que en el ejemplo
anterior, podemos vericar que
d
A
(x, y) =
d(x, y)
1 +d(x, y)
, x, y X,
es una metrica en X. A d
A
le llamaremos la acotaci on de la metrica d en X,
ya que, como veremos m as adelante, induce la misma topologa que d en X
y adem as d
A
(x, y) < 1 para todos los puntos x y y en X.
Ejemplo 1.9. Sea (X, d) un espacio metrico, y Y X no vaco. Entonces
la restricci on de d a Y Y dene una metrica en Y , y (Y, d|
Y Y
) es llamado
un subespacio de X. El estudio de los subespacios de un espacio metrico es
importante para entender la estructura del espacio original, y ser a uno de
los temas centrales en estas notas.
Ejemplo 1.10. Sean (X, d) y (Y, ) dos espacios metricos. Entonces, si
denimos la funci on d : X Y [0, ) como
d ((x
1
, y
1
), (x
2
, y
2
)) = d(x
1
, x
2
) + (y
1
, y
2
), x
1
, x
2
X, y
1
, y
2
Y,
(X Y, d ) es un espacio metrico, y es llamado el espacio producto de X
y Y . Por ejemplo, la metrica d
T
en R
2
es igual a la metrica producto d d
en R R, donde d es la metrica est andar.
4 1. Espacios Metricos
2. Metricas en espacios vectoriales
En esta secci on describimos la construcci on de metricas en espacios vec-
toriales. En espacios normados, la metrica es dada simplemente por la dis-
tancia entre dos vectores, es decir, la norma de su diferencia. En caso de
tener un producto interno, la norma es inducida por este.
2.1. Espacios Normados.
Denici on 1.11. Sea X un espacio vectorial sobre el campo K, el cual
puede ser el campo de los n umeros reales (R) o los n umeros complejos (C).
Una norma en X es una funci on || || : X [0, ) que satisface:
1. ||x|| = 0 si, y s olo si, x = 0.
2. ||x|| = || ||x||, para todo K y x X.
3. ||x +y|| ||x|| + ||y||, para todos x, y X.
Un espacio vectorial normado es una pareja (X, || ||) donde X es un espacio
vectorial y || || es una norma.
Ejemplo 1.12. Consideremos el espacio K
n
con la norma
(1.1) ||x||
E
=
_
|x
1
|
2
+ |x
2
|
2
+. . . + |x
n
|
2
,
donde |r| representa el valor absoluto de r. El hecho que (1.1) dene una
norma se deduce de la desigualdad de Cauchy-Schwartz, demostrada m as
adelante en esta secci on. En el caso K = R, denominamos a este espacio el
espacio euclideano, y, a su vez, || ||
E
la norma euclideana. La norma || ||
E
se denotar a tambien como | |, cuando esto no genere confusi on con el valor
absoluto.
Ejemplo 1.13. Consideremos nuevamente K
n
, con la normas
||x||
T
= |x
1
| + |x
2
| +. . . + |x
n
|; (1.2)
||x||
M
= m ax
i
|x
i
|. (1.3)
El hecho que estas dos funciones denen normas en K
n
se concluye f acilmente
de las propiedades b asicas del valor absoluto. En el caso n = 1, estas dos
normas y la del ejemplo anterior coinciden con la funci on valor absoluto.
Ejemplo 1.14. Sea C([0, 1]) el espacio de funciones continuas (con valores
en K) sobre el intervalo [0, 1]. Entonces C([0, 1]) es un espacio vectorial sobre
K, y se puede normar por medio de
(1.4) ||f||
u
= m ax
x[0,1]
|f(x)|.
(1.4) est a bien denida porque f es continua en el intervalo cerrado [0, 1], y
por lo tanto toma su m aximo. La propiedad (1) de la denici on de norma
se satisface trivialmente, y (2) se sigue porque |f(x)| = |||f(x)| para todo
2. Metricas en espacios vectoriales 5
x [0, 1]. Para vericar la desigualdad del tri angulo, sean f, g continuas en
[0, 1] y x
0
tal que
|f(x
0
) +g(x
0
)| = m ax
x[0,1]
|f(x) +g(x)|.
Entonces
||f +g||
u
= |f(x
0
) +g(x
0
)| |f(x
0
)| + |g(x
0
)|
m ax
x[0,1]
|f(x)| + m ax
x[0,1]
|g(x)| = ||f||
u
+ ||g||
u
.
La norma (1.4) es llamada la norma uniforme.
Ejemplo 1.15. En C([0, 1]), tambien podemos denir la norma
(1.5) ||f||
1
=
_
1
0
|f(x)|dx,
donde
_
denota la integral de Riemann. El hecho de que (1.5) denota una
norma se sigue de las propiedades usuales de la integral de Riemann y de
valor absoluto. Esta norma es llamada la norma L
1
.
Todo espacio vectorial normado se puede metrizar por medio de la fun-
ci on
(1.6) d(x, y) = ||x y||.
Es f acil demostrar que (1.6) dene una metrica (ejercicio 4), y decimos
que esta metrica es inducida por || ||. M as a un, esta metrica satisface las
siguientes propiedades:
1. d(x + z, y + z) = d(x, y), para todo x, y, z X; es decir, d es
invariante bajo traslaciones.
2. d(x, y) = d(x, y), para todo > 0 y x, y X; es decir, d es
homogenea de orden 1
1
.
Las metricas d
E
, d
M
y d
T
en R
n
son inducidas por las normas || ||
E
,
|| ||
M
y || ||
T
, respectivamente. De igual forma, la norma || ||
u
en C([0, 1])
induce la metrica
d
u
(f, g) = m ax
x[0,1]
|f(x) g(x)|,
de la cual discutiremos m as adelante (captulo 4).
1
Una funci on f : X Y , donde X y Y son espacios vectoriales, es homogenea de orden
si, para todo > 0, f(x) =

f(x).
6 1. Espacios Metricos
2.2. Espacios con producto interno.
Denici on 1.16. Sea X un espacio vectorial sobre K. Un producto interno
en X es una funci on (, ) : X X K con la siguientes propiedades:
1. (x, x) 0 (es decir, un n umero real nonegativo) para todo x X,
y (x, x) = 0 si, y s olo si, x = 0.
2. (x, y) = (y, x), para todos x, y X, donde r representa el conjuga-
do del n umero r.
3. (x + y, z) = (x, z) + (y, z), para todos x, y, z X y , K.
La pareja (X, (, )) es llamada un espacio con producto interno.
En esta denici on, las propiedades (2) y (3) implican que
(x, y + z) =

(x, y) + (x, z).
As, un producto interno (, ) es lineal en la primer variable y lineal con-
jungado en la segunda.
Ejemplo 1.17. En K
n
, consideremos el producto
(1.7) (z, w) = z
1
w
1
+z
2
w
2
+. . . +z
n
w
n
.
Es f acil ver que (1.7) es de hecho un producto interno. De hecho, todo espacio
vectorial sobre K con producto interno, de dimensi on n < , es isomorfo
a K
n
con el producto (1.7). La demostraci on de este hecho involucra el
llamado proceso de Gram-Schmidt, que el lector puede repasar en cualquier
texto elemental de algebra lineal.
Ejemplo 1.18. En C([0, 1]) denimos
(1.8) (f, g) =
_
1
0
f(x)g(x)dx.
De nuevo, las propiedades de la integral de Riemann implican que (1.8) es
un producto interno.
Un producto interno induce una norma. La construcci on de la norma
inducida es f acil, pero el demostrar que de hecho es una norma requiere de
la siguiente propiedad.
Lema 1.19 (Desigualdad de Cauchy-Schwartz). Sea (X, (, )) un espacio
con producto interno, y sean x, y X. Entonces
|(x, y)|
2
(x, x)(y, y).
2. Metricas en espacios vectoriales 7
Demostraci on. El resultado es trivialmente cierto si x es el vector 0 (ambos
lados de la desigualdad son iguales a 0, en tal caso). Supongamos entonces
que x = 0 y sea w X el vector
w = y
_
y,
x
(x, x)
_
x.
Entonces, utilizando las propiedades (1), (2) y (3) de la denici on de pro-
y
w
x
Figura 2. Los vectores x, y y w de la demostraci on.
ducto interno, y la nota despues de la denici on,
0 (w, w) =
_
y
_
y,
x
(x, x)
_
x, y
_
y,
x
(x, x)
_
x
_
= (y, y)
(y, x)
(x, x)
(y, x)
(y, x)
(x, x)
(x, y) +
(y, x)
(x, x)
(y, x)
(x, x)
(x, x)
= (y, y)
|(x, y)|
2
(x, x)

|(x, y)|
2
(x, x)
+
|(x, y)|
2
(x, x)
= (y, y)
|(x, y)|
2
(x, x)
.
Luego
|(x, y)|
2
(x, x)
(y, y),
y por lo tanto
|(x, y)|
2
(x, x)(y, y).

El vector
_
y,
x
(x, x)
_
x
de la demostraci on es denominado proyecci on orthogonal de y sobre x (m as
precisamente, sobre el espacio generado por x) y suele denotarse por Proy
x
y.
Esto se debe al hecho que w = y Proy
x
y y x son ortogonales, es decir,
(w, x) = 0, como es muy f acil de vericar.
Tenemos entonces la siguiente proposici on.
8 1. Espacios Metricos
Proposici on 1.20. Sea (X, (, )) un espacio con producto interno, y de-
nimos || || : X [0, ) como la funci on
(1.9) ||x|| =
_
(x, x).
Entonces (X, || ||) es un espacio normado.
Demostraci on. Primero, la funci on (1.9) est a bien denida ya que para
todo x X, (x, x) 0. Vericamos que se cumplen las propiedades 1, 2 y 3
de una norma:
1. Como (x, x) = 0 si, y s olo si, x = 0, entonces ||x|| = 0 si, y s olo si,
x = 0.
2. Si x X y K, entonces
||x|| =
_
(x, x) =
_

(x, x) = ||
_
(x, x).
3. Si x, y X,
||x +y||
2
= (x +y, x +y) = (x, x) + (x, y) + (y, x) + (y, y)
= ||x||
2
+ (x, y) + (x, y) + ||y||
2
= ||x||
2
+ 2(x, y) + ||y||
2
||x||
2
+ 2|(x, y)| + ||y||
2
||x||
2
+ 2||x|| ||y|| + ||y||
2
por Cauchy-Schwartz
= (||x|| + ||y||)
2
.

Ejemplo 1.21. Observemos que la norma (1.1) es inducida por el producto

interno (1.7) y esta norma, a su vez, induce la metrica euclideana en K
n
(1.10) d
E
(x, y) =
_
|x
1
y
1
|
2
+ |x
2
y
2
|
2
+. . . |x
n
y
n
|
n
,
presentada ya en la secci on anterior. El espacio euclideano R
n
es un ejemplo
b asico de un espacio metrico, y comparte muchas de sus propiedades con
espacios metricos m as generales. Sin embargo, hay tambien algunas diferen-
cias, muy importantes, que estudiaremos m as adelante.
Ejemplo 1.22. En C([0, 1]), el producto (1.8) induce la norma
(1.11) ||f||
2
=
__
1
0
|f(x)|
2
dx
_
1/2
,
llamada la norma L
2
de C([0, 1]).
3. Topologa 9
3. Topologa
Una topologa en un conjunto no vaco X es una selecci on de subconjun-
tos de X, llamados conjuntos abiertos, con propiedades tales que permiten
generalizar algunas nociones analticas de los n umeros reales, como lmites y
continuidad. En esta secci on deniremos la topologa de un espacio metrico
y demostraremos las propiedades elementales de dicha topologa.
3.1. Conjuntos abiertos.
Denici on 1.23. Sea (X, d) un espacio metrico y x
0
X. La bola abierta
de radio > 0 con centro en x
0
( o alrededor de x
0
) es el conjunto
B

(x
0
) = {y X : d(x
0
, y) < }.
Es decir, un bola abierta de radio > 0 alrededor de un punto es el
conjunto de puntos en el espacio metrico a distancia menor que a dicho
punto. Las bolas abiertas, desde luego, dependen de la metrica. Por ejemplo,
la gura 3 compara las bolas abiertas en distintas metricas en el plano
cartesiano.
x 1
Figura 3. Comparaci on de la bola de radio 1 en R
2
con respecto a las
metricas d
E
(crculo), d
M
(cuadrado exterior) y d
T
(rombo interior).
Observaciones. Sea x X. Entonces:
x B

(x), por lo que B

(x) = para todo x X, > 0.

Si , entonces B

(x) B

(x).
{x} =

>0
B

(x) =

nZ
+
B
1/n
(x).
X =

>0
B

(x) =

nZ
+
B
n
(x).
Las bolas abiertas son el ingrediente para denir un conjunto abierto.
Denici on 1.24. Si U X, decimos que U es abierto si para todo x U
existe > 0 tal que B

(x) U.
10 1. Espacios Metricos
En otras palabras, todos los elementos de un conjunto abierto son el
centro de una bola abierta completamente contenida en el conjunto. Primero
demostraremos que todas las bolas abiertas son de hecho conjuntos abiertos.
Proposici on 1.25. Sean x X y > 0. Entonces el conjunto B

(x) es
abierto.
Demostraci on. Sea y B

(x). Tenemos que mostrar que existe una bola,

con centro en y, contenida en B

(x). Sea = d(x, y). Este n umero es

positivo porque d(x, y) < . Entonces, si z B

(y), d(y, z) < y, por la

desigualdad del tri angulo,
d(x, z) d(x, y) +d(y, z) < d(x, y) + = d(x, y) + d(x, y) = .
Por lo tanto B

(y) B

(x).
Ejemplo 1.26. En (R, | |), un conjunto U R es abierto si, y s olo si, para
cada x U existe un intervalo abierto (a, b) que contiene a x y contenido
en U. Esto se debe a que
B

(x) = (x , x + ); y
(a, b) = Bba
2
_
a +b
2
_
.
De hecho, es posible dar una caracterizaci on de todos los conjuntos abiertos
de R como uniones de intervalos abiertos (vease el ejercicio 7).
Ejemplo 1.27. La intersecci on innita de conjuntos abiertos, en general,
no es abierta. Considere, por ejemplo, los conjuntos U
n
= (1/n, 1/n) R,
n > 0.

Estos son abiertos, pero la intersecci on de ellos,

nZ
+
U
n
= {0}, no
es abierta.
Ejemplo 1.28. Recordemos la metrica en R dada por
d
A
(x, y) =
|x y|
1 + |x y|
.
La funci on f : [0, ) [0, ),
f(r) =
r
1 +r
,
es continua y estrictamente creciente. Con estas propiedades, es posible de-
mostrar que U R es abierto en (R, d
A
) si, y s olo si, es abierto en (R, | |).
Decimos entonces que las metricas | | y d
A
son equivalentes, y los espacios
(R, | |) y (R, d
A
) son homeomorfos. (Vease el ejercicio 14.)
Ejemplo 1.29. Considere el espacio C = C([0, 1]) con la norma uniforme.
Entonces, si f C tenemos
B

(f) = {g C : |f(x) g(x)| < para todo x [0, 1]},

3. Topologa 11
es decir, la bola de radio con centro en f es el conjunto de todas las
funciones continuas en [0, 1] cuya gr aca se encuentra a distancia menor
que de la gr aca de f. (Figura 4.)
0.2 0.4 0.6 0.8 1
0.2
0.4
0.6
0.8
1
Figura 4. Bola de radio alrededor de una funci on en C.
Es muy importante observar que, al igual que las bolas abiertas, los
conjuntos abiertos dependen de la metrica. Un mismo conjunto con distintas
metricas, en general, tendr a distintos conjuntos abiertos.
A la colecci on de conjuntos abiertos en (X, d) se le llama una topologa.
Las siguientes son las propiedades fundamentales de una topologa.
Proposici on 1.30. Sea (X, d) un espacio metrico.
1. X y son conjuntos abiertos.
2. Si {U

} en una colecci on arbitraria de conjuntos abiertos

2
, entonces
la uni on de estos conjuntos,

, es un conjunto abierto.
3. Si U
1
, U
2
, . . . , U
n
son abiertos, entonces

i
U
i
es abierto.
Demostraci on. 1. Si x X, entonces B
1
(x) X, por denici on.
Ahora bien, la proposici on x ( > 0 : B

(x) ) es
verdadera porque el antecedente x es falso. Por lo tanto, X
y son abiertos.
2. Si x

, entonces existe un
0
tal que x U

0
. Como U

0
es abierto, podemos encontrar un > 0 tal que B

(x) U

0
.
Entonces, B

(x)

.
2
Se asume que pertenece a cierto conjunto de ndices
12 1. Espacios Metricos
3. Si x

i
U
i
, entonces x U
i
para cada i = 1, 2, . . . , n. Como cada
uno de los conjuntos U
i
es abierto, existen
1
,
2
, . . . ,
n
(positivos)
tales que B

i
(x) U
i
, para cada i. Si tomamos = mn
i

i
, entonces
B

(x) B

i
(x) U
i
para cada i, y por lo tanto B

(x)

i
U
i
.

Si (Y, d
Y Y
) es un subespacio del espacio metrico (X, d), entonces un
subconjunto U de Y es abierto en Y si, y s olo si, existe un conjunto abierto

U en X tal que U =

U Y (ejercicio 22). Para ver esto, observemos que
cada bola en Y , B
Y

(y), y Y , es la intersecci on de Y con una bola en X:

B
Y

(y) = B

(y) Y .

Esto es claro a partir de la denici on de bola abierta
en Y:
B
Y

(y) = {x Y : d(x, y) < }.

3.2. Conjuntos cerrados.
Denici on 1.31. Sea (X, d) un espacio metrico, A X y x
0
X. Decimos
que x
0
es un punto de acumulaci on (o punto lmite) de A, si para todo > 0
la bola B

(x
0
) contiene puntos de A distintos de x
0
, es decir
B

(x
0
) A \ {x
0
} = .
Si x
0
A y no es un punto de acumulaci on de A, entonces decimos que
x
0
es un punto aislado de A.
De forma equivalente, x
0
X es un punto de acumulaci on de A si, para
todo conjunto abierto U que contiene a x
0
contiene puntos de A distintos
de x
0
.
Ejemplo 1.32. Los puntos 0 y 1 son puntos de acumulaci on del intervalo
(0, 1) en R.
Ejemplo 1.33. El conjunto Z, en R, est a compuesto s olo de puntos aislados.
Denici on 1.34. Sea (X, d) un espacio metrico. Un subconjunto E de X
es cerrado si contiene todos sus puntos de acumulaci on.
Esta denici on es equivalente a decir que un conjunto E es cerrado si,
y s olo si, para cada x E, existe un > 0 tal que B

(x) E = , ya
que x no es un punto de acumulaci on. En particular, tenemos la siguiente
proposici on.
Proposici on 1.35. Sea (x, d) un espacio metrico. Un subconjunto E de X
es cerrado si su complemento X \ E es abierto.
Demostraci on. Si E es cerrado y x E, entonces X \ E es abierto, por la
observaci on anterior.
3. Topologa 13
De manera inversa, si X \ E es abierto y x E, entonces X \ E es un
abierto que contiene a x y no interseca a E, por lo que x no es punto de
acumulaci on.
Ejemplo 1.36. En (R, | |), los intervalos cerrados [a, b] son cerrados.
Ejemplo 1.37. En todo espacio metrico, cada conjunto con un solo punto,
digamos {x
0
}, es un conjunto cerrado.

Esto es porque, si x {x
0
}, entonces
x = x
0
y r = d(x, x
0
) > 0, y luego
B
r/2
(x) {x
0
} = .
Ejemplo 1.38. La bola cerrada, de radio > 0 con centro en x, se dene
como el conjunto

(x) = {y X : d(x, y) }.
La bola

B

(x) es un conjunto cerrado, ya que, si y

B

(x), entonces
d(x, y) > , y, por lo tanto, si = d(x, y) , tenemos que d(y, z) <
implica que
d(x, z) d(x, y) d(y, z) > d(x, y) = d(x, y) (d(x, y) ) = ,
y luego B

(y)

B

(x) = . (Vease el ejercicio 21.)

Los conjuntos cerrados, an alogamente a los abiertos, satisfacen las si-
guientes propiedades, las cuales se siguen f acilmente de la proposici on 1.30
y las leyes de DeMorgan.
Proposici on 1.39. Sea (X, d) un espacio metrico. Entonces:
1. X y son cerrados;
2. Si {E

} es una colecci on de conjuntos cerrados, entonces

es
cerrado;
3. Si E
1
, E
2
, . . . , E
n
son cerrados, entonces

i
E
i
es cerrado.
Ejemplo 1.40. Cada conjunto nito es cerrado en un espacio metrico.
Ejemplo 1.41. Considere los subconjuntos de R dados por
C
0
= [0, 1],
C
1
=
_
0,
1
3
_

_
2
3
, 1
_
,
C
2
=
_
0,
1
3
2
_

_
2
3
2
,
1
3
_

_
2
3
,
7
3
2
_

_
8
3
2
, 1
_
,
.
.
.
C
n
=
_
0,
1
3
n
_

_
2
3
n
,
1
3
n1
_
. . .
_
3
n1
1
3
n1
,
3
n
2
3
n
_

_
3
n
1
3
n
, 1
_
,
.
.
.
14 1. Espacios Metricos

Esto es, cada C

n
se obtiene al remover el intervalo que corresponde a la
tercera parte central de cada uno de los intervalos de C
n1
. El conjunto
C =

n=0
C
n
es llamado el conjunto de Cantor. Es claro que C no es vaco, ya que al
menos {0, 1} C, y de hecho C es innito, ya que contiene los lmites de
cada uno de los intervalos de cada C
n
. Por la proposici on 1.39, C es cerrado.
Denici on 1.42. Sea (X, d) un espacio metrico, y A X. Denimos la
cerradura de A como la uni on de A y sus puntos de acumulaci on.
La siguientes propiedades de la cerradura son f aciles de vericar, y su
demostraci on se deja para el lector.
Proposici on 1.43. Sea (X, d) un espacio metrico y A, B X. Entonces:
1.

A es cerrado.
2.

A =

A.
3. Si A B, entonces

A

B.
4. Si A E y E es cerrado, entonces

A E.
Demostraci on. 1. Sea x un punto de acumulaci on de

A. Demostra-
remos que x es un punto de acumulaci on de A, y por lo tanto est a en

A. Sea > 0. Entonces existe y B

(x)

A \ {x}. Si y A, ya
hemos terminado. Si no, entonces y es un punto de acumulaci on
de A, y si tomamos = mn{ d(x, y), d(x, y)}, entonces > 0 y
existe z B

(y) A \ {x, y}. Ahora bien,

d(z, x) d(z, y) +d(y, x) < d(x, y) +d(y, x) = ,
por lo que z B

(x) A\ {x}.
2. Esto es obvio porque

A es cerrado, y por lo tanto contiene todos
sus puntos de acumulaci on.
3. Si x es un punto de acumulaci on de A, entonces tambien lo es de
B. As que x

A implica x

B.
4. Igual que en el inciso anterior, si x es un punto de acumulaci on de
A, entonces tambien lo es de E. Como E es cerrado, x E. Por lo
tanto

A E.

El ultimo inciso en la proposici on anterior implica que

A es el menor
conjunto cerrado que contiene a A.
3. Topologa 15
Ejemplo 1.44. Los puntos de acumulaci on del intervalo (0, 1) en R son
todos sus puntos, adem as de 0 y 1. Entonces (0, 1) = [0, 1].
Ejemplo 1.45. Si A = Q [0, 1], entonces

A = [0, 1]. Esto se debe a que
cualquier intervalo abierto contiene n umeros racionales.
Si A y B son subconjuntos del espacio metrico (X, d), denimos la dis-
tancia entre ellos como
d(A, B) = inf{d(x, y) : x A y y B}.
Si A contiene un solo punto, digamos A = {x}, entonces escribimos d(x, B).
La siguiente observaci on nos ser a de utilidad m as adelante.
Proposici on 1.46. Sea E un conjunto cerrado en el espacio metrico (X, d)
y x E. Entonces la distancia de x a E es positiva, es decir, d(x, E) > 0.
Demostraci on. Como x E, la observaci on que sigue a la denici on de
conjunto cerrado implica que existe un > 0 tal que B

(x) E = , por lo
que d(x, y) para todo y E. Entonces d(x, E) > 0.

x
E
Figura 5. En la gura, la distancia de x a E es positiva, y d(x, E) .
Sin embargo, si E y F son dos conjuntos cerrados disjuntos, es posible
que d(E, F) = 0 (ejercicio 16).
3.3. Conjuntos densos.
Denici on 1.47. Sea X un espacio metrico y S X. Decimos que S es
denso en X (o simplemente denso) si para todo > 0 y x X B

(x)S = .
Ejemplo 1.48. X es denso en s mismo.
Ejemplo 1.49. Q y R \ Q son densos en R.
Ejemplo 1.50. Q
n
, el conjunto de puntos en R
n
con coordenadas racionales,
es denso en el espacio euclideano R
n
: Para ver esto, sea x = (x
1
, . . . , x
n
) R
n
y > 0. Si = /

n, entonces el paraleleppedo
(x
1
, x
1
+ ) (x
n
, x
n
+ )
est a contenido en B

(x) (con respecto a la metrica euclideana). Si tomamos

racionales q
i
(x
i
, x
i
+ ), entonces q = (q
1
, . . . , q
n
) B

(x).
16 1. Espacios Metricos
De igual forma, si A, S X, decimos que S es denso en A si para todo
> 0 y x A B

(x) S = . La siguiente proposici on establece algunas

propiedades de densidad.
Proposici on 1.51. Sea X un espacio metrico, S, A X.
1. S es denso en A si, y s olo si,

S A.
2. S es denso si, y s olo si,

S = X.
3. S es denso si, y s olo si, cualquier conjunto abierto U en X contiene
puntos en S.
4. Si S es denso en A y es cerrado, entonces S A.
Dejamos la demostraci on de esta proposici on como ejercicio.
Denici on 1.52. Decimos que X es separable si existe un conjunto contable
S denso en X
Ejemplo 1.53. El espacio euclideano R
n
es separable.
Ejemplo 1.54. C([0, 1]) con la norma uniforme es separable: Este hecho es
consecuencia del teorema de Weierstrass, el cual se discutir a m as adelante.
Ejercicios
1. Demuestre que la funci on d

, denida en el ejemplo 4 de la secci on 2.1,

es una metrica en R
n
.
2. Demuestre que la funci on d
1
, denida en el ejemplo 5 de la secci on 2.1,
es una metrica en R
n
.
3. Sea (X, d) un espacio metrico. Muestre que la funci on
d
A
(x, y) =
d(x, y)
1 +d(x, y)
, x, y X,
dene una metrica en X.
4. Muestre que, si (X, ||||) es un espacio normado, y, si denimos la funci on
d : X X [0, ) por
d(x, y) = ||x y||,
entonces (X, d) es un espacio metrico.
5. Demuestre las observaciones establecidas despues de la denici on de la
bola abierta:
Si , entonces B

(x) B

(x).
{x} =

>0
B

(x) =

nZ
+
B
1/n
(x).
X =

>0
B

(x) =

nZ
+
B
n
(x).
Ejercicios 17
6. De un ejemplo donde B

(x) B

(x) y > .
7. Si U R es un conjunto abierto, muestre que podemos expresar U como
U =

_
i=1
(a
i
, b
i
),
donde los intervalos (a
i
, b
i
) son disjuntos. Es decir, todo subconjunto
abierto de R es la uni on contable de intervalos abiertos disjuntos.
8. Muestre que, si X es un espacio discreto, entonces todos sus subconjun-
tos son abiertos.
9. Considere los espacios vectoriales normados (X, || ||
1
) y (X, || ||
2
).
Decimos que las metricas || ||
1
y || ||
2
son equivalentes, si existen
constantes c
1
y c
2
tales que
c
1
||x||
1
||x||
2
c
2
||x||
1
,
para todo x X.
Muestre que, si || ||
1
y || ||
2
son equivalentes y B
i

(x) es la bola de
radio con centro en x que corresponde a la metrica || ||
i
, i = 1, 2,
entonces, para todo > 0, existen
1
> 0 y
2
> 0 tales que
B
1

1
(x) B
2

(x) y B
2

2
(x) B
1

(x).
Utilice el inciso anterior para mostrar que normas equivalentes in-
ducen topologas equivalentes, es decir, U es abierto en (X, || ||
1
)
si, y s olo si, es abierto en (X, || ||
2
). (Decimos entonces que los
espacios son homeomorfos.)
Demuestre que las normas || ||
E
, || ||
M
y || ||
T
en R
n
son equiva-
lentes. (De hecho, m as adelante demostraremos que cualquiera dos
normas en R
n
son equivalentes.)
10. Sea (X, || ||) un espacio normado. Si A X, x X y K, denimos
los conjuntos x +A y A como
x +A = {x +y X : y A}, A = {y X : y A}.
Muestre que, para x X y > 0,
B

(x) = x + B
1
(0).
11. Sean || ||
1
y || ||
2
dos normas en X, y B
i
1
(0) la bola de radio 1 con
centro en 0, bajo la norma || ||
i
. Suponga que existen > 0 y > 0 tal
que
B
1

(0) B
2
1
(0) y B
2

(0) B
1
1
(0).
Muestre que las normas || ||
1
y || ||
2
son equivalentes.
12. Sean (, )
1
y (, )
2
dos productos internos en R
n
. Demuestre que las
normas || ||
1
y || ||
2
inducidas por (, )
1
y (, )
2
, respectivamente, son
equivalentes.
18 1. Espacios Metricos
13. Muestre que las normas uniforme, L
1
y L
2
en C([0, 1]) satisfacen
||f||
1
||f||
2
||f||
u
para toda f C([0, 1]). Muestre, sin embargo, que ningunas dos de estas
normas son equivalentes.
14. Sea (X, d) un espacio metrico, y sea d
A
la acotaci on de d denida en el
ejercicio 3. Demuestre que (X, d) y (X, d
A
) son homeomorfos.
15. Demuestre la proposici on 1.39.
16. Sea (X, d) = (R
2
, d
E
), el plano con la metrica euclideana.
Muestre que el conjunto
{(x, 0) : x R},
el eje de las xs, es un conjunto cerrado en R
2
.
En general, muestre que si f : R R es una funci on continua,
entonces su gr aca
{(x, f(x)) : x R}
es un conjunto cerrado en R
2
.
Sean E = {(x, 0) : x R} y F = {(x, f(x)) : x R}, donde
f(x) =
1
1 + |x|
.
Entonces E y F son cerrados en R
2
y d(E, F) = 0.
17. Sean A, B X. Averigue la veracidad de los siguientes enunciados:
A B A B;
A B A B;
A B A B;
A B A B;
18. Demuestre que el conjunto de Cantor no tiene puntos aislados.
19. Muestre que si (X, d) es un espacio metrico y A X, entonces

A es la
uni on de A y sus puntos de acumulaci on.
20. Sea (X, d) un espacio metrico y A X. Muestre que x

A si, y s olo si,
para todo > 0, B

(x) A .
21. Sea

B

(x) la bola cerrada con centro en x y B

(x) la cerradura de la
bola abierta B

(x). Muestre que B

(x)

B

(x), y de un ejemplo donde

(x) B

(x).
22. Sea (Y, d|
Y Y
) un subespacio de (X, d). Muestre que U Y es abierto
en Y si, y s olo si, existe un abierto

U en X tal que U =

U Y . Pruebe
el resultado an alogo para conjuntos cerrados en Y .
Ejercicios 19
23. Sea (X, d) un espacio metrico, Y X, y suponga que todos los puntos
de Y son aislados. Entonces (Y, d|
Y Y
) es un espacio discreto. (Es decir,
(Y, d|
Y Y
) es homeomorfo al espacio (Y, d
0
), donde d
0
es la metrica
discreta en Y .)
24. Demuestre la proposici on 1.51.