Captulo 1

Espacios metricos y normados

1.1. Metricas
El concepto de metrica, permite incorporar a un conjunto una estructura explcita asociada
a la noci on de cercana.
Denici on 1.1. Suponga que X es un conjunto (no vaco) y que es una funci on real sobre
X X con las siguientes tres propiedades:
(a) (x, y) 0 para todo x, y X y (x, y) = 0 si y s olo si x = y.
(b) (x, y) = (y, x) para todo x, y X.
(c) (x, y) (x, z) +(z, y) para todo x, y, z X (la desigualdad triangular).
La funci on se llama metrica o distancia sobre X; y X junto a la metrica , se llama un
espacio metrico el cual es denotado por (X, ).
Ejemplo
(i) Cualquier conjunto X puede ser equipado con la metrica;
(x, y) =

0 si x = y
1 si x = y
Esta metrica es denominada la metrica discreta.
(ii) Sobre R la metrica usual o Euclidiana es aquella que asocia a todo par de puntos
el valor absoluto de su diferencia. En R
n
la metrica usual o Euclidiana coincide con
nuestra idea intuitiva de distancia en el espacio y se dene como,
(x, y) =

(x
1
y
1
)
2
+ + (x
n
y
n
)
2
, (1.1)
x = (x
1
, . . . , x
n
), y = (y
1
, . . . , y
n
) R
n
.
Claramente satisface (a) y (b) de la Denici on 1.1. Tomemos a
i
= x
i
z
i
, b
i
= z
i
y
i
vemos que (c) es equivalente a

i=1
(a
i
+b
i
)
2

1/2

i=1
a
2
i

1/2
+

i=1
b
2
i

1/2
(1.2)
1
2 CAP

ITULO 1. ESPACIOS M

ETRICOS Y NORMADOS
Pero elevando al cuadrado ambos lados de (1.2) obtenemos otra forma equivalente,
n

i=1
a
i
b
i

i=1
a
2
i

1/2

i=1
b
2
i

1/2
(1.3)
Esto ahora sigue del hecho que, para todo real ,
n

i=1
(a
i
+b
i
)
2
= A
2
+ 2H +B 0,
de modo que
H
2
AB,
donde
A =
n

i=1
a
2
i
, H =
n

i=1
a
i
b
i
, B =
n

i=1
b
2
i
.
Por lo tanto , denida por (1.1) es una metrica sobre R
n
. La ecuaci on (1.3) es conocida
como la desigualdad de Cauchy-Schwarz en R
n
.
El espacio metrico (R
n
, ), donde es la metrica usual, es denominado el espacio Eu-
clidiano n-dimensional.
(iii) Sobre C, el plano complejo, la metrica usual es de la misma forma que sobre R
2
. Si
z = x +iy y z

= x

+iy

(x, y, x

, y

reales),
(z, z

) = |z z

| =

(x x

)
2
+ (y y

)
2
.
En efecto, cuando equipamos con la metrica usual, C y R
2
son esencialmente el mismo
espacio metrico en el cual s olo la notaci on es diferente. Sin embargo, a diferencia de R
2
,
el conjunto de los complejos C posee una estructura algebraica incluyendo una operaci on
de multiplicaci on conmutativa, que lo convierte en un cuerpo.
(iv) Sea B[a, b] el conjunto de las funciones reales acotadas sobre el intervalo [a, b] y, para
f, g B[a, b], sea
(f, g) = sup
axb
|f(x) g(x)|.
Claramente tiene las propiedades (a) y (b) de la denici on de metrica. La propiedad (c)
sigue de las desigualdades
sup|(x) +(x)| sup(|(x)| +|(x)|) sup|(x)| + sup|(x)|.
(v) Sea S el espacio de sucesiones x = (x
1
, x
2
, . . .) de n umeros complejos tal que

x
n
converge absolutamente. Para x, y S denimos
(x, y) =

n=1
|x
n
y
n
|.
Es f acil probar que es una metrica sobre S.
1.1. M

ETRICAS 3
(vi) Un espacio metrico que satisface
(c) (x, y) m ax{(x, z), (z, y)} para todo x, y, z X (la desigualdad ultrametrica),
en vez de (c) de la denici on, se llama un espacio ultrametrico.Notemos que (c

) im-
plica (c). Veremos pronto que la metrica p-adica en los racionales es una ultrametrica.
Consideremos un arbol binario con raz. Una metrica natural en el conjunto de vertices
del arbol, es aquella qu asigna como distancia entre dos puntos, el n umero de aristas del
camino m as corto que los une. La restricci on de esta metrica al conjunto de puntos que
se encuentran a una distancia ja de la raz, es una ultrametrica.

El siguiente resultado muestra que la metrica que se le puede asignar a un conjunto es bastante
arbitraria.
Teorema 1.2. Sea X un conjunto, x X, y f : X [0, ), inyectiva y tal que f(x) = 0.
Luego existe una metrica en X tal que (x, y) = f(y).
Demostraci on. Denimos (z, y) = |f(y) f(z)|. Es claro que 0 y si (z, y) = 0 entonces
z = y, dado que f es inyectiva; entonces se satisface (a) de la denici on de metrica. La parte
(b) resulta obvia, y (c) sigue de
|f(y) f(z)| |f(y) f(u)| +|f(u) f(z)|, para todo y, z, u X
Sea (X, ) un espacio metrico y sea Y un subconjunto de X. Si es la restricci on de a
Y Y , es decir (x, y) = (x, y) para todo x, y Y , entonces es una metrica sobre Y ; diremos
que es la metrica inducida por (X, ) sobre Y . El espacio metrico (Y, ) es denominado un
subespacio (metrico) de (X, ). Si Q es el conjunto de los n umeros racionales, la metrica
inducida sobre Q est a dada por
(q
1
, q
2
) = |q
1
q
2
|
esto dene una metrica en Q que lo hace un subespacio de R.
Denici on 1.3. Decimos que una sucesi on {x
n
} de puntos en el espacio metrico (X, ) con-
verge a un punto x X si
(x
n
, x) 0 cuando n . (1.4)
Escribimos, como en el an alisis cl asico, x
n
x cuando n o lm
n
x
n
= x.
4 CAP

ITULO 1. ESPACIOS M

ETRICOS Y NORMADOS
Como (x, y) es un n umero real, podemos usar el concepto de convergencia en R reem-
plazando (1.4) por la frase dado > 0 existe N tal que (x
n
, x) < para n > N.
Ejercicio. Demuestre que una sucesi on, en un espacio metrico, no converge a dos lmites
distintos.
Cuando las metricas , sobre un conjunto X son tales que una sucesi on converge en (X, )
si y s olo si converge en (X, ), diremos que y son metricas equivalentes.
Una condici on suciente, aunque no necesaria, para que las metricas , sean equivalentes
es la existencia de constantes estrctamente positivas y tales que
(x, y) (x, y) (x, y)
para todo x, y X.
Ejercicio. Pruebe las armaciones anteriores.
1.2. Normas
Comenzaremos con una discusi on sobre el concepto de espacio vectorial sobre un cuerpo
con valucai on.
Denici on 1.4. Decimos que una funci on real || denida sobre un cuerpo K es una valuaci on
de rango 1 si
(i) |x| 0 para todo x en K y |x| = 0 si y s olo si x = 0.
(ii) |xy| = |x||y| para todo x, y K.
(iii) |x +y| |x| +|y| para todo x, y K.
Una valuaci on que satisface la condici on,
(iii) |x +y| m ax{|x|, |y|} para todo x, y K,
se llama no-arquimediana.
A veces una valuaci on tambien recibe el nombre norma.
Ejemplo. (i) Denimos para cada primo p la valuaci on p- adica en Q por
|q|
p
= p
a
donde q =
p
a
s
t
, con a, s, t enteros y s, t no son divisibles por p.
(ii) Dado un cuerpo arbitrario F, podemos denir en el la valuaci on trivial por |0| = 0 y
|x| = 1 para x = 0.
Decimos que dos valuaciones | |
1
, | |
2
sobre un cuerpo K son equivalentes si existe un
1 tal que
|x|
1
= |x|

2
Todas las valuaciones no triviales en Q son equivalentes al valor absoluto o a alguna valuaci on
p- adica. (Ostrowski 1935)
1.2. NORMAS 5
Denici on 1.5. Sea V un conjunto no vaco y K un cuerpo. Supongamos que: (i) para cualquier
par de elementos x, y (que llamaremos vectores) de V les corresponde un elemento en V ,
llamado suma, el cual es donotado por x +y; y (ii) para cualquier n umero real en el cuerpo
K y cualquier x en V corresponde un elemento en V , llamado el producto escalar de y
x, el cual es denotado por x (la suma es una funci on desde V V en V y la multiplicaci on
escalar es una funci on desde KV en V ). Supongamos adem as que las siguientes condiciones
se satisfacen:
(i) Asociatividad. x + (y +z) = (x +y) +z;
(ii) Conmutatividad. x +y = y +x;
(iii) Identidad. Existe un elemento V (el elemento cero) tal que x + = x para todo
x V ;
(iv) Inverso. A todo elemento x V le corresponde un elemento x V tal que x+(x) = ;
(v) Asociatividad escalar. (x) = ()x;
(vi) Identidad escalar. 1x = x;
(vii) Distributividad I. ( +)x = x +x;
(viii) Distributividad II. (x +y) = x +y.
Luego V (simultaneamente con la operaci on de adici on y multiplicaci on escalar denida
en V ) se llama un espacio vectorial (o lineal) sobre K. Si K = R lo llamamos un espacio
vectorial real, mientrias que si K = C lo llamamos un espacio vectorial complejo. Si
M es un subconjunto de V que satisface las condiciones de espacio vectorial (con las mismas
operaciones denidas en V ), diremos que M es un subespacio vectorial de V .
Denici on 1.6. Sea V un espacio vectorial sobre un cuerpo K con valuaci on | |. Decimos que
una funci on real sobre V es una norma sobre V , y V es un espacio normado sobre el
cuerpo valuado K, si
(i) x 0 para todo x V y x = 0 si y s olo si x = 0.
(ii) x = ||x para todo K y todo x V .
(iii) x +y x +y para todo x, y V .
Se puede vericar f acilmente que todo cuerpo es un espacio vectorial sobre si mismo.
Adem as, en un espacio vectorial normado, induce siempre una metrica denida como
(x, y) = x y.
Denici on 1.7. Sea V un espacio vectorial y
1
,
2
dos normas en V . Decimos que ellas
son equivalentes si existen constantes , estrctamente positivas tales que
x
2
x
1
x
2
para todo x V .
Ejercicio. Ocupando la denici on de metricas equivalentes, pruebe que las normas
1
y

2
son equivalentes seg un la Denici on 1.7.
6 CAP

ITULO 1. ESPACIOS M

ETRICOS Y NORMADOS
Lema 1.8. Todas las normas sobre R
n
son equivalentes.
Demostraci on. Utilizaremos la compacidad de la bola euclideana en R
n
. Sea una norma
sobre R
n
y | |
e
la norma euclideana. Buscamos constantes m y M estrictamente positivas tales
que:
m| |
e
M| |
e
Sea e
1
, ..., e
n
la base can onica de modo que x = x
1
e
1
+ ... + x
n
e
n
. Luego, por la desigualdad
triangular y la de Cauchy-Schwarz se tiene
x
n

i=1
|x
i
|e
i

i=1
e
i

1/2

i=1
|x
i
|
2

1/2
= M |x|
e
Esto prueba la segunda desigualdad y adem as, obtenemos
x y x y M |x y|
e
Esta relaci on prueba que la funci on : R
n
R es continua. Por ende, alcanza su nmo m
sobre la esfera euclideana de radio 1. Es claro que m es estrctamente positivo, luego:
m

x
|x|
e

=
x
|x|
e
de donde se obtiene la primera desigualdad.
Terminamos esta secci on con el concepto de producto interno y la desigualdad de Cauchy-
Schwartz cuya demostraci on es analoga a la desigualdad de Cauchy-Schwartz en R
n
.
Denici on 1.9. Producto Interno. Sea V un espacio vectorial normado complejo y supong-
amos que a todo par ordenado (x, y) de elementos de V se asocia un n umero complejo, denotado
por x y y que satisface las siguientes condiciones,
(i) x y = y x para todo x, y V .
(ii) (x +y) z = (x y) +(y z) para todo , complejos y x, y, z V .
(iii) x x = ||x||
2
para todo x V .
Luego la operaci on x y se llama el producto interno de x con y y V se llama un espacio
producto interno complejo. Similarmente denimos un espacio producto interno real.
Teorema 1.10. Cauchy-Schwarz. Si V es un espacio producto interno complejo o real luego
para todo x, y V tenemos,
|x y| ||x||||y||.
Adem as la igualdad se satisface si y solo si x es un m ultiplo escalar de y o vice-versa.
1.3. CONJUNTOS ABIERTOS Y CERRADOS 7
1.3. Conjuntos abiertos y cerrados
En esta secci on consideraremos subconjuntos de un espacio metrico jo (X, ). Sea x X
y sea r un n umero real positivo. El conjunto de los puntos y tal que (x, y) < r es denominado
la bola abierta con centro x y radio r; que denotaremos por B(x; r).
Denici on 1.11. Dado un subconjunto E de X (el cual puede ser todo X), decimos que el
punto x
0
X es un punto lmite de E si, para todo > 0, existe un x E tal que
0 < (x
0
, x) < ,
es decir, B(x
0
; ) {x
0
} contiene un punto de E.
Un punto lmite x
0
de E puede ser tambien denido por cualquiera de las siguientes dos
condiciones:
(i) Toda bola abierta B(x
0
, ) contiene innitos puntos de E.
(ii) Existe una sucesi on de puntos y
n
X tal que y
n
= x
0
y y
n
x
0
cuando n .
Claramente un punto x
0
que satisface la propiedad (i) o la propiedad (ii) es un punto lmite
de E. Recprocamente, si x
0
es un punto lmite de E, para todo n, existe un punto y
n
E tal
que
0 < (x
0
, y
n
) < 1/n
y luego (ii) se satisface. Tambien (ii) implica (i).
Las condiciones (i) o (ii) muestran que un conjunto nito no tiene puntos lmites. Un
conjunto innito puede o no tener un punto lmite. Por ejemplo el conjunto {1, 2, 3, . . .} de R
(con la metrica usual) no tiene puntos lmites.
Denici on 1.12. Decimos que un punto x
0
de E es un punto aislado de E si este no es un
punto lmite de E.
Entonces, si x
0
es un punto aislado de E, existe un > 0 tal que B(x
0
; ) no contiene
puntos de E distintos que x
0
.
Denici on 1.13. Dado un conjunto E X, decimos que el punto x
0
E es un punto
interior de E si existe un > 0 tal que B(x
0
, ) E.
Denici on 1.14. (i) Decimos que un conjunto F en X es cerrado si F contiene todos sus
puntos lmites.
(ii) Decimos que un conjunto G en X es abierto si todo punto de G es un punto interior de
G.
Notemos que toda bola abierta es abierta y todo conjunto sin puntos lmites es cerrado. En
particular, todo conjunto nito es cerrado.
Ejemplo. Consideremos C[a, b], con la norma del supremo denida por
f

= sup
x[a,b]
|f(x)|.
8 CAP

ITULO 1. ESPACIOS M

ETRICOS Y NORMADOS
Luego se puede vericar que los conjuntos
E
1
= {f C[a, b] : inf f(x) > 0}
E
2
= {f C[a, b] : f(a) = 1}
son tales que E
1
es abierto y no cerrado, y E
2
es cerrado y no abierto, en el espacio metrico
(C[a, b],

).
Ejercicio. Demuestre las armaciones del ejemplo anterior.
Teorema 1.15. Un conjunto F es cerrado si y s olo si cuando {x
n
} F es una suseci on
convergente, entonces lm
n
x
n
F.
Demostraci on. Si F es cerrado y {x
n
} F es una sucesi on convergente tal que x
n
x.
Como F es cerrado, entonces x F.
Recprocamente, si x es un punto lmite de F, luego existe una suceci on {x
n
} F, x
n
= x,
tal que x
n
x. Por hip otesis lm
n
x
n
F, luego x F.
A continuaci on expondremos un resultado que nos permitir a caracterizar los conjuntos
abiertos (cerrados), a partir de su complemento.
Teorema 1.16. (i) El conjunto G en X es abierto si y s olo si G
c
= X G es cerrado.
(ii) El conjunto F en X es cerrado si y s olo si F
c
= X F es abierto.
Demostraci on. S olo probaremos (i), ya que para (ii) basta considerar que (G
c
)
c
= G. Sea
G X un conjunto abierto y sea x un punto lmite de G
c
, luego existe {x
n
} G
c
, x
n
= x, tal
que x
n
x. Supondremos que x / G
c
, entonces x G y tendremos que x es punto interior
de G (G es abierto), luego existe N > 0 tal que para todo n > N x
n
G, lo que es una
contradicci on.
Recprocamente, supondremos que G no es abierto, luego existe x G tal que para todo
> 0: B(x, ) G. Luego, existe y

B(x, ) G
c
, y

= x, para todo . Entonces x es punto

lmite de G
c
y, con G G
c
= , se concluye que G
c
no es cerrado.
Ejercicio. Pruebe que para todo A X, (A
c
)
c
= A.
Teorema 1.17. (i) La uni on de cualquier colecci on de conjuntos abiertos es abierto.
(ii) La intersecci on nita de conjuntos abiertos es un conjunto abierto.
Demostraci on. Por el teorema 1.16, basta probar la primera parte. Sea entonces x G =

, con G

abiertos. Luego, x G

, para alg un y existe una bola abierta B(x; ) contenida

en G

, por lo tanto contenida en G. Es decir x es un punto interior de G.

Ejercicio. Pruebe que
(i) La intersecci on de cualquier colecci on de conjuntos cerrados es cerrado.
(ii) La uni on nita de conjuntos cerrados es un conjunto cerrado.
Consideremos algunos ejemplos en que la intersecci on numerable de abiertos no es un con-
junto abierto, y una uni on numerable de cerrados no es un conjunto cerrado.
Ejemplo. Sea R con la metrica usual.
1.3. CONJUNTOS ABIERTOS Y CERRADOS 9
(i)

n=1
(0, 1 + 1/n) = (0, 1]
(ii)

n=1
[0, 1 1/n] = [0, 1)
Sea (Y, ) un subespacio del espacio metrico (X, ) . Aunque los abiertos (cerrados) en Y
generalmente no son abiertos (cerrados) en X, la relaci on entre conjuntos abiertos y cerrados
en X y en Y es muy simple.
Teorema 1.18. Sea (Y, ) un subespacio del espacio metrico (X, ). Entonces un conjunto
es abierto en (Y, ) si y s olo si es de la forma Y G, donde G es un abierto en (X, ). Un
resultado similar se obtiene para conjuntos cerrados.
Demostraci on. Si B

(x; ) es la bola abierta en X y B

(x; ) es la bola abierta en Y , entonces

bastar a probar que Y B

(x; ) = B

(x; ), ya que todo abierto en X e Y es una uni on arbitraria

de bolas abiertas. Sabemos que B

(x; ) = {y X : (x, y) < }, luego

Y B

(x; ) = {y Y : (x, y) < } = B

(x; )
Corolario 1.19. Si Y es abierto en X, entonces un subconjunto de Y es abierto en Y si y
s olo si es abierto en X. Si Y es un cerrado en X, entonces un subconjunto de Y es cerrado en
Y si y s olo si es cerrado en X.
Denici on 1.20. Sea E un subconjunto de X.
(i) El interior de E, denotado por E

, es el conjunto de puntos interiores de E.

(ii) La clausura de E, denotado por E, es la uni on de E y el conjunto de los puntos lmites
de E.
Notemos que E es el conjunto de puntos x tales que para todo > 0, la bola B(x, ) contiene
a alg un punto de E o, equivalentemente, x E si y s olo si x es el lmite de una sucesi on de
puntos de E.
Teorema 1.21. Para todo conjunto E en X, E

es abierto y E es cerrado.
Denici on 1.22. Un punto frontera de un conjunto E en X es un punto x tal que toda
bola abierta B(x; ) contiene al menos un punto de E y al menos un punto de E
c
. El conjunto
de todos los puntos fronteras de E se llama la frontera de E y lo denotamos por E

.
Claramente E y E
c
tienen la misma frontera.
Ejercicio. Pruebe que,
E

= E E

10 CAP

ITULO 1. ESPACIOS M

ETRICOS Y NORMADOS
1.4. Funciones continuas
Los matem aticos demoraron un tiempo en encontrar una denici on que correspondiera a la
noci on intuitiva de continuidad incluso para funciones de los reales en si mismos. Una denici on
que result o no ser la adecuada es la llamada actualmente continuidad de Darboux o propiedad
del valor intermedio.
Denici on 1.23. Sea E R. Decimos que una funci on f : E R es Darboux continua
o que satisface la propiedad del valor intermedio si para todo x
1
, x
2
E e y R que
satisfacen
f(x
1
) y f(x
2
),
existe un x E tal que
f(x) = y.
Recordemos que una funcion f : R R es continua en x R si para todo > 0 existe
un tal que |f(x) f(y)| si |x y| . Adem as, una funci on continua en R es Darboux
continua en R. Existen funciones que satisfacen la propiedad del valor intermedio, pero que no
son continuas. Por ejemplo
f(x) =

0 si x = 0
sen
1
x
si x = 0
no es continua en 0. Por otra parte, si x
2
> x
1
> 0, por la continuidad de f en [x
1
, x
2
], todo
valor entre f(x
1
) y f(x
2
) es alcanzado. Si x
1
< 0 < x
2
, claramente todos los valores entre f(x
1
)
y f(x
2
) se alcanzan. En realidad, existen funciones a un m as patologicas que este ejemplo.
Lema 1.24. Existe una funci on f : [0, 1] R que satisface la propiedad del valor intermedio
en [0, 1], pero que es discontinua en todo x [0, 1].
Demostraci on. Sea x [0, 1]. Consideremos su expansi on decimal
x = 0.a
1
a
2
. . . ,
con a
n
{0, 1, . . . , 9}. Consideremos el n umero
z = 0.a
1
a
3
a
5
. . .
Si la sucesi on {a
2k+1
: k 0} no es peri odica, denimos
f(x) = 0.
En cambio si {a
2k+1
: k 0} es peri odica, con su primer periodo comenzando en a
2n1
(k = n 1) denimos
f(x) = 0.a
2n
a
2n+2
a
2n+4
. . .
Ahora veriquemos que esta funci on satisface la siguiente propiedad: para todo intervalo cerrado
I [0, 1] e y (0, 1) existe un x I tal que
f(x) = y.
1.4. FUNCIONES CONTINUAS 11
En efecto, siempre es posible encontrar un n tal que el intervalo I contiene un decimal truncado
0.a
1
a
2
. . . a
2n2
,
y adem as a todos los decimales que comienzan con los mismos primeros 2n 2 dgitos. Ahora
expandamos y = 0.b
1
b
2
. . .. Elegimos un numero 0.a
1
a
3
. . . a
2n1
a
2n+1
a
2n+3
. . . peri odico con su
primer periodo comenzando en a
2n1
. Luego si elegimos,
x = 0.a
1
a
2
. . . a
2n1
b
1
a
2n+1
b
2
a
2n+3
. . . ,
tenemos que f(x) = y.
Antes de introducir la noci on correcta de continuidad, introducimos el concepto de lmite
de una funci on.
Denici on 1.25. Sean (X, ) e (Y, ) espacios metricos. Sea f una funci on con dominio E X
y recorrido en Y . Supongamos tambien que x
0
es un punto lmite de E e y
0
Y . Entonces
diremos
f(x) y
0
cuando x x
0
o lm
xx
0
f(x) = y
0
si, dado > 0, existe un > 0 tal que
(f(x), y
0
) < cuando x E y 0 < (x, x
0
) <
En este caso diremos que y
0
es el lmite de la funci on f cuando x x
0
en E.
Teorema 1.26. Sean (X, ) e (Y, ) espacios metricos. Sea f una funci on con dominio E X
y con recorrido en Y y suponga que x
0
es un punto lmite de E. Entonces f(x) y
0
cuando
x x
0
si y s olo si, para toda sucesi on {x
n
} en E {x
0
} tal que x
n
x
0
, f(x
n
) y
0
cuando
n .
La prueba de este teorema se deja como ejercicio. Este teorema ser a de gran importancia a la
hora de encontrar una forma equivalente de continuidad en espacios metricos.
La denici on de continuidad que daremos es una generalizaci on del concepto familiar en
an alisis matem atico.
Denici on 1.27. Sean (X, ) e (Y, ) espacios metricos. Decimos que la funci on f : X Y
es continua en el punto x
0
de X si, dado > 0, existe un > 0 tal que
(f(x), f(x
0
)) < cuando (x, x
0
) <
Es decir,
f(B(x
0
; )) B(f(x
0
); ).
Si f es continua en todo punto de un conjunto, diremos que f es continua sobre este conjunto.
Notemos que si x
0
es un punto lmite de X la condici on de continuidad de puede expresar
como
lm
xx
0
f(x) = f(x
0
).
Teorema 1.28. Sean (X, ) e (Y, ) espacios metricos y f : X Y una funci on. Luego, las
siguientes condiciones son equivalentes,
12 CAP

ITULO 1. ESPACIOS M

ETRICOS Y NORMADOS
(i) f es continua.
(ii) Para todo cerrado F en Y , el conjunto f
1
(F) es cerrado en X.
(iii) Para todo abierto G en Y , el conjunto f
1
(G) es abierto en X.
Demostraci on. (i) implica (iii). Sea G abierto en Y . Si f
1
(G) = , entonces por denici on
es abierto en X. Sea x un punto de f
1
(G). Luego f(x) G y existe un > 0 tal que
B(f(x); ) G. Por continuidad existe > 0 tal que f(B(x; )) B(f(x); ), luego B(x; )
f
1
(G). Como x f
1
(G) es arbitrario concluimos que f
1
(G) es abierto en X.
(iii) implica (i). Sea x X y > 0. Como B(f(x); ) es abierto en Y , entonces existe > 0 tal
que B(x; ) f
1
(B(f(x); )). Por lo tanto f(B(x; )) B(f(x); ).
(ii) es equivalente a (iii). Si F es cerrado en Y entonces F
c
es abierto. Luego X es una uni on
disjunta de f
1
(F) y f
1
(F
c
), lo que prueba la equivalencia.
M as adelante deniremos una noci on conjuntista de cercana que llamaremos topologa.
As, la parte (iii) del Teorema 1.28 ser a la denici on de continuidad en espacios que tengan
estructura topol ogica.
Denici on 1.29. Sean (X, ) e (Y, ) espacios metricos. Decimos que la funci on f : X Y
es uniformemente continua sobre X si, dado > 0, existe un > 0 tal que
(f(x
1
), f(x
2
)) < cuando (x
1
, x
2
) < .
La condici on es claramente equivalente a que el conjunto
E() = {(f(x
1
), f(x
2
)) : (x
1
, x
2
) < }
es acotado y el supremo () en E() tiende a 0 cuando 0.
Ejercicio. Pruebe la armaci on de equivalencia en la Denici on 1.29.
Denici on 1.30. Sea (X, ) un espacio metrico, E X y x X. Denimos la distancia
entre un punto y un conjunto por
(x, E) = inf
yE
(x, y)
Lema 1.31. Sea (X, ) un espacio metrico y E X. La funci on (x, E) : X R es uni-
formemente continua, adem as (x, E) = 0 si y s olo si x E.
Demostraci on. Sea z E, x, y X. Luego,
(x, E) (x, z) (x, y) + (y, z)
entonces, tomando el nmo sobre z E, tenemos
(x, E) (y, E) (x, y)
luego, por simetra se concluye que (x, E) es uniformemente continua (tomando = ).
Ahora, supongamos que x E entonces existe {x
n
} E tal que x
n
x cuando n .
Luego
(x, E) (x, x
n
) 0 cuando n
1.5. TOPOLOG

IA EN POCAS PALABRAS 13
por lo tanto (x, E) = 0.
Recprocamente , si (x, E) = 0 tenemos que para todo n > 0 existe un y
n
E tal que
(x, y
n
)
1
n
de donde se concluye que x es un punto de lmite de E, es decir x E.
Lema 1.32 (Urysohn). Sea (X, ) un espacio metrico y sean C y D conjuntos cerrados
disjuntos en X. Luego existe una funci on continua f : X [0, 1] con la propiedad f(x) = 1 si
x C, f(x) = 0 si x D.
Demostraci on. Bastar a considerar la funci on
f(x) =
(x, D)
(x, C) + (x, D)
Es f acil ver que f : X [0, 1], f(x) = 1 si x C y f(x) = 0 si x D. S olo debemos probar
que f es continua, para ello consideremos g(x) = (x, D) y h(x) = (x, C) + (x, D), entonces
h(x) = 0 para todo x X y

g(x)
h(x)

g(y)
h(y)

g(x)
h(x)

g(y)
h(x)

g(y)
h(x)

g(y)
h(y)

|g(x) g(y)|
h(x)
+
g(y)
h(x)h(y)
|h(y) h(x)|
Por la continuidad de h, g y que h = 0 en X se concluye la continuidad del cuociente g/h. Por
lo tanto f es continua.
Finalizamos con la siguiente denici on, an aloga al concepto de homomorsmo en grupos.
Denici on 1.33. Sean (X, ) e (Y, ) espacios metricos. Decimos que una funci on f : X Y
es un homeomorsmo si f es continua, biyectiva y tiene inversa f
1
: Y X continua. En
este caso escribimos X

= Y y decimos que X es homeomorfo a Y .
1.5. Topologa en pocas palabras
Daremos una breve introducci on a los conceptos b asicos de topologa general. Tal como los
espacios metricos son una abstracci on de los espacios euclidianos, puede decirse que la topologa
da un paso m as en esta abstracci on. En las secciones anteriores, se formaliz o el concepto de
cercana mediante una funci on que llamamos metrica. Ahora, se buscar a una noci on conjuntista
de cercana mediante la denici on de conjuntos abiertos.
Denici on 1.34. Sea X un conjunto y una familia de subconjuntos de X. Diremos que
es una topologa si se cumple:
1. , X
2. Sea (A

: A) . Luego,

3. Sean A
1
, ..., A
n
. Luego,
n
i=1
A
i

14 CAP

ITULO 1. ESPACIOS M

ETRICOS Y NORMADOS
Al par (X, ) lo denominaremos espacio topol ogico . Los elementos de se denomi-
nan conjuntos abiertos. Los subconjuntos de X cuyo complemento este en se denominan
conjuntos cerrados.
As, las propiedades de la colecci on de los abiertos de un espacio metrico pueden resumirse
diciendo que dicha colecci on es una topologa.
Ejercicio. Pruebe, dada la denici on de conjunto abierto en un espacio metrico (X, ), que la
colecci on de todos los conjuntos abiertos de un espacio metrico forman una topologa.
Ejemplo. 1. Sea X un conjunto no vaco. La topologa m as sencilla es aquella dada por
= {, X}. Esta se denomina topologa indiscreta.
2. Sea X como antes. La potencia de X es una topologa denominada la topologa discreta.
Observe que esta topologa coincide con la topologa de los abiertos de X con la metrica
discreta.
3. Sea X un conjunto innito. Considere , la familia de aquellos conjuntos cuyo comple-
mento es nito. Es f acil vericar que es una topologa.
Recordemos la denici on de abierto en un espacio metrico. Un conjunto A es abierto si para
todo punto x A existe
x
> 0 tal que B(x;
x
) A. Esta propiedad es muy util, pues permite
escribir cualquier abierto como una uni on arbitraria de bolas abiertas:
A =
xA
B(x;
x
)
Podemos dar un paso m as al observar que, gracias a lo anterior, no necesitamos conocer todos
los abiertos. Basta saber que conjuntos son bolas abiertas. Luego, los abiertos ser an simplemente
uniones arbitrarias de bolas abiertas.
As, supongamos que tenemos una subcolecci on B de que satisface la siguiente propiedad:
A , x A, B
x
B tal que x B A (1.5)
Nuevamente, podemos escribir A como
A =
xA
B
x
Luego, los elementos de la topologa (los abiertos) son exactamente las uniones arbitrarias
de elementos de B. A una colecci on B que cumple (1.5), la denominamos una base para la
topologa .
Ejemplo. 1. A la topologa de R formada por todos los conjuntos abiertos con la metrica
euclidiana la denominamos la topologa usual. Observe que los intervalos abiertos son una
base para esta topologa.
2. Considere la familia formada por uniones arbitraria de intervalos semiabiertos a la izquier-
da (a, b]. Es f acil vericar que esta colecci on es efectivamente una topologa. Los intervalos
semiabiertos a la izquierda son una base para esta topologa.
Ejercicio. Pruebe, en el ejemplo anterior, que ambas topologas coinciden.
Tomemos una familia C de subconjuntos de un conjunto X. Nos preguntamos cuando es posible
denir una topologa sobre X que contenga a esta familia. El siguiente Lema nos brinda la
respuesta:
1.6. ESPACIOS M

ETRICOS COMPLETOS 15
Lema 1.35. Dada una familia C de subconjuntos de un conjunto X, siempre existe una unica
topologa sobre X que cumple la siguiente propiedad: si es una topologa sobre X que
contiene a C, entonces, .
Demostraci on. Observe que la potencia de X es una topologa que contiene a C. Luego,
considere , la intersecci on de todas las topologas que contienen a C. Es f acil vericar que esta
es la topologa buscada.
La topologa dada anteriormente puede parecer un tanto imprecisa. Daremos a continuaci on un
metodo para construir explcitamente una topologa a partir de una cierta familia de conjuntos.
Denici on 1.36. Sea X un conjunto y C una familia de subconjuntos de X. Decimos que C
es una sub-base si X =
CC
C. Sea (C) la familia formada por las uniones arbitrarias de
intersecciones nitas de elementos de C. Decimos que (C) es la topologa generada por la
sub-base C.
Obviamente, tenemos que mostrar que (C) es una topologa.
Lema 1.37. La topologa generada por una sub-base es una topologa.
Demostraci on. Ejercicio
Ejemplo. Sea {(X

) : A} una familia de espacios topol ogicos. Denimos la topologa

producto sobre X =

A
X

como aquella que tiene por subbase los conjuntos de la forma

(U

) donde

: X X

es la proyecci on sobre la coordenada y U

es un abierto.
Ahora, tomemos dos espacios topol ogicos (X, ) e (Y, ), y una funci on f : X Y tal que para
todo A , se tiene f
1
(A) . Dichas funciones se denominan funciones continuas y son la
generalizaci on de aquellas que estudiamos en las secciones anteriores. Similarmente, decimos
que una biyecci on continua entre X e Y es un homeomorsmo si su inversa es continua.
Notamos que la continuidad de una funci on depende exclusivamente de la topologa de los
espacios involucrados.
Ejemplo. 1. Consideremos
1
la topologa formada por uniones arbitrarias de intervalos
semiabiertos por la izquierda de R,
2
la topologa usual sobre R. Las funciones continuas
F : X Y donde X = R con la topologa
1
, Y = R con la topologa
2
, son exactamente
las funciones continuas por la izquierda considerando X e Y con la topologa usual. Vease
ejercicio anterior.
Veamos otro ejemplo patol ogico:
2. Considere la funci on f : X Y dada por f(x) = x donde X = Y = [0, 1]. Consideremos
el caso en que premunimos X de la topologa usual e Y de la topologa discreta. Es f acil
ver que f es continua. Pero, observemos que f
1
no es continua pues, por ejemplo, los
puntos son abiertos en X y no lo son en Y .
1.6. Espacios metricos completos
El concepto de espacio metrico completo, surgi o a nes del siglo 19, primero en el contexto
de los n umeros reales. En efecto, una de las primeras construcciones de los n umeros reales
fue hecha por el matem atico alem an W. Heine, deniendolos como clases de equivalencia de
sucesiones de n umeros racionales satisfaciendo la propiedad de Cauchy.
16 CAP

ITULO 1. ESPACIOS M

ETRICOS Y NORMADOS
Denici on 1.38. Decimos que una sucesi on {x
n
} de puntos en un espacio metrico (X, ) es
una sucesi on de Cauchy si, dado > 0, existe un N tal que
(x
m
, x
n
) < cuando m, n > N.
Teorema 1.39. Toda sucesi on convergente en un espacio metrico es una sucesi on de Cauchy.
Demostraci on. Sea {x
n
} X una sucesi on convergente a x X, luego dado > 0 existe
N > 0 tal que
(x, x
n
) <

2
cuando n > N
luego
(x
n
, x
m
) (x
n
, x) + (x, x
m
) < cuando m, n > N
por lo tanto {x
n
} es una sucesi on de Cauchy.
Existen espacios metricos donde {x
n
} es una sucesi on de Cauchy, pero x
n
no converge en
el espacio. Por ejemplo, en el espacio metrico (Q, | |) la sucesi on
x
n
=
n

k=0
1
k!
es una sucesi on de Cauchy, pero no converge en Q con la metrica usual (x
n
e).
Ejercicio. Probar que e / Q, es decir que
e =

k=0
1
k!
no es de la forma m/n con m, n Z.
Denici on 1.40. Decimos que un espacio metrico (X, ) es completo si toda sucesi on de
Cauchy converge. Adem as, si E X, decimos que E es completo si toda sucesi on de Cauchy
en E converge a un punto en E.
Observaci on. La propiedad de que un espacio metrico sea completo no es invariante bajo
homeomorsmos. En efecto, consideremos f : X Y donde X es el conjunto de los naturales
con la metrica usual e Y los naturales con la metrica d(n, m) =
|nm|
nm
. El lector podr a vericar
f acilmente que ambos espacios metricos est an dotados de la topologa discreta y luego, f dada
por f(n) = n es un homeomorsmo. Sin embargo, X es completo e Y no lo es ya que la
sucesi on 1, 2, 3, ... es de cauchy con la metrica d y no tiene lmite en Y . Este ejemplo ilustra
el mal comportamiento de la completitud con respecto a los homeomorsmos, aun en espacios
metricos sencillos.
Lema 1.41. Toda sucesi on de n umeros reales tiene una subsucesi on mon otona.
Demostraci on. Sea {x
n
} cualquier sucesi on de n umeros reales. Llamaremos x
p
un punto
terraza si x
n
x
p
para todo n p.
Si existe una cantidad innita de puntos terrazas, sea x

1
el primero, x

2
el segundo, y
as sucesivamente. Luego {x

k
} es una sucesi on mon otona no creciente.
Si existe a lo m as una cantidad nita de puntos terrazas (o no existen), entonces existe un

1
tal que para ning un n
1
, x
n
es un punto terraza. Luego, existe
2
>
1
tal que x

2
> x

1
.
Por inducci on en k, podemos construir un subsucesi on {x

k
} creciente.
1.6. ESPACIOS M

ETRICOS COMPLETOS 17
Teorema 1.42. El espacio R (con la metrica usual) es completo.
Demostraci on. Sea {x
n
} una sucesi on de Cauchy en R. Primero probaremos que {x
n
} es
acotada. Ya que existe un entero N tal que
|x
n
x
m
| < 1 cuando n, m N,
sigue que
|x
n
| |x
n
x
N
| +|x
p
| < 1 +|x
p
|
cuando n N. Entonces, para todo n,
|x
n
| m ax{|x
1
|, |x
2
|, . . . , |x
N1
|, |x
N
| + 1}.
Ahora sigue del Lema 1.41 que {x
n
} tiene una subsucesi on acotada, mon otona y por lo
tanto convergente, diremos {x

k
}. Supongamos que x

k
x, luego dado > 0 existe N
1
tal
que
|x

k
x| <

2
cuando k > N
1
Como x
n
es una sucesi on de Cauchy tendremos que existe N
2
tal que
|x

k
x
n
| <

2
cuando k, n > N
2
luego
|x
n
x| |x
n
x

k
| +|x

k
x| < cuando n > m ax{N
1
, N
2
}
Por lo tanto, x
n
x y concluimos que R es completo.
Denici on 1.43. Sea (Y, ) un espacio metrico. Decimos que E Y es un conjunto acotado
de Y si existen x
0
E y r > 0 tales que E B(x
0
; r). Sea X un conjunto, decimos que
f : X Y es una funci on acotada si f(X) es un conjunto acotado en Y . Llamamos B(X, Y )
al conjunto de las funciones acotadas de X en Y , con la metrica
(f, g)

:= sup
xX
(f(x), g(x)), f, g B(X, Y )
Si X tiene una metrica , llamamos C(X, Y ) al subespacio de B(X, Y ) formado por las fun-
ciones continuas. Adem as, notaremos
C(X) := C(X, R)
al espacio de las funciones continuas con valores reales. Escribiremos C[a, b] para el caso en que
X = [a, b].
Teorema 1.44. Si (Y, ) es completo, entonces B(X; Y ) es completo.
Demostraci on. Sea {f
n
} una sucesi on de Cauchy en B(X, Y ). Luego, para todo x X, la
sucesi on {f
n
(x)} es una sucesi on de Cauchy en Y . Como Y es un espacio metrico completo
podemos denir para cada x X
f(x) := lm
n
f
n
(x).
18 CAP

ITULO 1. ESPACIOS M

ETRICOS Y NORMADOS
Esta funci on es la candidata para ser el lmite de la sucesi on {f
n
}. Tenemos que probar que
f B(X, Y ) y que f es efectivamente el lmite de nuestra sucesi on en B(X, Y ). Para probar
la primera armaci on, elija N tal que,
(f
n
, f
m
)

< 1 para n, m N
Luego, para todo x X, (f
n
(x), f
N
(x)) < 1, n N. Ahora, si hacemos n tender a innito,
se obtiene (f(x), f
N
(x)) 1, con lo cual f es acotada.
Para probar la segunda armaci on, sea > 0 luego existe M tal que
(f
n
, f
m
)

< , para n, m M.
Luego se tiene que (f
n
(x), f
m
(x)) < si n, m M, para cada x X. Haciendo m tender a
innito, obtendremos que
(f
n
(x), f(x)) , para n M, para todo x X
con lo cual se prueba que (f
n
, f)

0 cuando n .
Las siguientes propiedades generales de los conjuntos completos se dejan como ejercicio para
el lector:
Teorema 1.45. Sea (X, ) un espacio metrico y E X, luego
(i) Si E es completo, entonces es cerrado.
(ii) Si X es completo y E es cerrado, luego E es completo.
Corolario 1.46. Sean (X, ) e (Y, ) espacios metricos, con Y completo. Luego, C(X, Y ) es
cerrado en B(X, Y ).
1.7. COMPACIDAD 19
1.7. Compacidad
El concepto que se desarrolla en esta secci on tendr a gran importancia en todo lo que sigue.
De alguna forma, la compacidad intenta generalizar las buenas propiedades a las cuales estamos
acostumbrados al tratar con intervalos cerrados y acotados de R (especialmente las buenas
propiedades que conciernen la maximizaci on de funciones continuas en estos intervalos). Otros
aspectos no menos importantes relacionados, por ejemplo, con el teorema del valor intermedio
del c alculo se tratar an en la pr oxima secci on.
Denici on 1.47. Dado un conjunto X, decimos que una colecci on G de conjuntos es un
cubrimiento de X si
X
_
GG
G.
Si X Y con (Y, ) espacio metrico, decimos que G es un cubrimiento por abiertos de
X (o simplemente cubrimiento abierto de X), si G es un cubrimiento de X y cada G G es un
abierto de Y .
Una subcolecci on G

de elementos de G se denomina un subcubrimiento de X si a su vez

es un cubrimiento de X.
Observaci on. Si (X, ) es un espacio metrico y G X un abierto, luego
G =
_
xG
B(x;
x
)
donde
x
:=
1
2
sup{ : B(x; ) G}. Claramente
G = {B(x;
x
) : x G}
es un cubrimiento por abiertos de G (en realidad es igual a G).
Denici on 1.48. Sea (X, ) un espacio metrico,
Bicompacidad: Decimos que un subconjunto E X es bicompacto si todo cubrimiento
abierto de E tiene un subcubrimiento nito.
Compacidad secuencial: Decimos que un subconjunto E X es secuencialmente compacto
si toda sucesi on de elementos de E tiene una subsucesi on convergente en E.
Compacidad del punto lmite: Decimos que E X es compacto en el sentido del punto
lmite si todo subconjunto innito A de E tiene un punto lmite en E.
Ejercicio. Pruebe que [a, b] R es secuencialmente compacto ( < a b < ). Luego
generalice para el caso
X =
n

k=1
[a
k
, b
k
] R
n
, < a
k
b
k
<
para todo n N.
La nalidad de esta secci on ser a probar la equivalencia de estos tres conceptos de compaci-
dad en espacios metricos. La equivalencia entre las dos primeras deniciones (en un espacio
metrico) se conoce habitualmente como el teorema de Heine-Borel. Comenzaremos probando
un Lema que mostrar a la equivalencia entre compacidad secuencial y compacidad del punto
lmite. Este Lema ser a de gran importancia para la demostraci on del Teorema de Heine-Borel.
20 CAP

ITULO 1. ESPACIOS M

ETRICOS Y NORMADOS
Lema 1.49. Sea (X, ) un espacio metrico y sea E X. Luego las siguientes armaciones
son equivalentes
(i) E es secuencialmente compacto.
(ii) E es compacto en el sentido de punto lmite.
Demostraci on. Si E es secuencialmente compacto y A es un subconjunto innito de E. Sea
{x
n
} una sucesi on en A con todos sus terminos deferentes entre s. Luego por hip otesis, esta
tiene una subsucesi on convergente a un x E. Este x claramente es punto lmite de A. Por lo
tanto, E es compacto en el sentido de punto lmite.
Recprocamente, si E es compacto en el sentido de punto lmite, sea {x
n
} un sucesi on en
E y denamos
A = {x
n
: n N}
Luego tenemos dos casos:
(a) Si A es nito es trivial elegir una subsucesi on x
n
k
= x
m
identicamente constante para
alg un natural m y todo k N.
(b) Si A es innito, por hip otesis, tendremos que existe x E que es punto lmite de A.
Luego existe {x
n
k
} A que converge a x.
Entonces E es secuencialmente compacto.
El siguiente teorema se deja como ejercicio para el lector, y se conoce en la literatura como
el Teorema de Bolzano-Weierstrass.
Teorema 1.50 (Bolzano-Weierstrass). Todo subconjunto acotado e innito de R tiene al
menos un punto lmite.
Antes de proseguir con esta secci on y la prueba del Teorema de Heine-Borel ser a necesario
introducir la siguiente denici on:
Denici on 1.51. Sea (X, ) un espacio metrico. Diremos que E X es totalmente acotado
si para todo > 0, existe n N y puntos x
1
, x
2
, . . . , x
n
E tales que
E
n
_
k=1
B(x
k
; )
Existen conjuntos en espacios metricos que son acotados y no totalmente acotados. Por
ejemplo, si consideramos el espacio metrico
l
2
=
_
{x
n
} :

n=1
x
2
n
< , x
n
R
_
con la metrica inducida por la norma
{x
n
}
2
=
_

n=1
x
2
n
_
1/2
Claramente la bola B(

0; 2) := {{x
n
} l
2
: ||{x
n
}|| < 2} en l
2
es un conjunto acotado.
Denamos {e
n
} l
2
aquellos elementos que tienen todas sus coordenadas cero excepto la
n-esima que tiene un 1, luego e
n

2
= 1 y
e
n
e
m

2
=
_
2 si n = m
0 si n = m
1.7. COMPACIDAD 21
Entonces la bola B(

0; 2) en l
2
es acotada pero no totalmente acotada, ya que para <

2 no
es posible cubrirla totalmente por una cantidad nita de bolas de radio .
Lema 1.52. Sea (X, ) un espacio metrico y sea E X. Luego si E es secuencialmente
compacto, entonces
(i) E es completo,
(ii) E es cerrado, y
(iii) E es totalmente acotado.
Demostraci on. Sea {x
n
} una sucesi on de Cauchy en E, luego existe una subsuces on x
n
k
y
un x E tal que x
n
k
x, cuando k , ya que E es secuencialmente compacto. Luego,
(x, x
n
) (x, x
n
k
) +(x
n
k
, x
n
)
de donde se concluye la completud de E.
Si x es un punto lmite de E, luego existe {x
n
} E que converge a x. Dada esta convergencia
tendremos que {x
n
} es de Cauchy en E y, por la completud probada arriba, se tendr a que x E.
Finalmente, si suponemos que E no es totalmente acotado, luego existe > 0 tal que para
cada n N no existen x
1
, x
2
, . . . , x
n
tales que
E
n
_
k=1
B(x
k
; )
Sea x
0
E, entonces para cada n N existe un x
n
E tal que
(B(x
n
; ) E) E \
n
_
k=0
B(x
k
; )
Luego, hemos construido una sucesi on x
n
que no tiene subsucesi on convergente ya que
(x
n
, x
m
) > , para todo n, m N
Por lo tanto, E no es secuencialmente compacto, lo que es una contradicci on con nuestra
hip otesis. Esto termina de probar el Lema.
Ejercicio. Probar el recproco del Lema 1.52, es decir, si E es completo, cerrado y totalmente
acotado, entonces E es secuencialmente compacto.
El siguiente Lema es fundamental para probar el Teorema de Heine-Borel, que es conocido
en la literatura como el N umero de Lebesgue.
Lema 1.53 (N umero de Lebesgue). Sea (X, ) un espacio metrico y sea G un cubrimiento
abierto de X. Si X es secuencialmente compacto, luego existe > 0 tal que para todo x X,
B(x; ) est a contenida en alg un G G.
Demostraci on. Demostremos el Lema por contradicci on. Si X es un espacio secuencialmente
compacto y para cada n N existe x
n
X tal que
B(x
n
, 1/n) G, para todo G G (1.6)
22 CAP

ITULO 1. ESPACIOS M

ETRICOS Y NORMADOS
Como X es secuencialmente compacto, existe una subsucesi on de x
n
, que notaremos x
n
k
, que
converge en X. Sea x dicho lmite, luego tendremos que existe G G y > 0 tales que
B(x; 2) G
Por la convergencia de x
n
k
a x tendremos que existe N N tal que
(x, x
n
k
) < , k N
lo que es una contradicci on con (1.6), pues esto implicara que existe un G G tal que
B(x
n
k
; 1/n
k
) B(x
n
k
; ) G, k m ax{N, 1/}
Teorema 1.54 (Heine-Borel). Sea (X, ) un espacio metrico. Luego, X es bicompacto si y
s olo si X es secuencialmente compacto.
Demostraci on. Si suponemos que X no es secuencialmente compacto, entonces por el Lema
1.49 existe D X innito y sin puntos lmites (este D es claramente cerrado). Luego, para
todo x D existe un abierto G
x
de X tal que
G
x
D = {x}
De donde se concluye que X no es bicompacto considerando el cubrimiento abierto de X
G = {G
x
: x D} {X \ D}
que no tiene un subcubrimiento nito.
Recprocamente, si E es secuencialmente compacto y G un cubrimiento abierto de E, en-
tonces por el Lema 1.53 existe > 0 tal que para todo x E existe G
x
G tal que
B(x; ) G
x
Por el Lema 1.52 tendremos que existen x
1
, x
2
, . . . , x
n
tales que
E
n
_
k=1
B(x
k
; )
n
_
k=1
G
x
k
por lo tanto E es bicompacto.
Con este Teorema podemos asegurar la equivalencia entre las tres deniciones presentadas al
comienzo de esta secci on. Esto nos motiva a realizar una nueva denici on en espacios metricos.
Denici on 1.55. Sea (X, ) un espacio metrico, E X. Diremos que E es compacto en X
si todo cubrimiento por abiertos G de E tiene un subcubrimiento nito.
Gracias al teorema de Heine-Borel podemos ver que la compacidad es una propiedad
topol ogica. En lo sucesivo de la secci on expondremos algunos resultados que claricar an esta
armaci on y nos permitir an relacionar algunas caractersticas de la compacidad y la continuidad
en espacios metricos.
Notemos primero el siguiente corolario del lema 1.52 y el ejercicio 1.7.
1.7. COMPACIDAD 23
Corolario 1.56. Sea (X, ) un espacio metrico y E X. Luego E es compacto si y s olo si E
es completo y totalmente acotado.
Continuemos con el siguiente resultado.
Teorema 1.57. Sean (X, ), (Y, ) espacios metricos y f : X Y continua. Si E X es
compacto en X, entonces f(E) es compacto en Y .
Demostraci on. Sea {y
n
} una sucesi on en f(E), luego existe {x
n
} E tal que f(x
n
) = y
n
.
Como E es compacto, existe una subsucesi on {x
n
k
} que converge a un x E. Por continuidad
y
n
k
f(x) f(E). Por lo tanto, f(E) es compacto en Y .
Observaci on. Si X es un espacio metrico y E X es compacto, luego E es cerrado. Adem as,
si X es compacto y E cerrado, luego E es compacto.
Teorema 1.58. Sean (X, ), (Y, ) espacios metricos con X compacto. Si f : X Y es una
funci on continua y biyectiva, luego f es un homeomorsmo.
Demostraci on. Por ser f biyectiva, f
1
est a bien denida como funci on. Entonces s olo
ser a necesario probar que f manda conjuntos abiertos en conjuntos abiertos o equivalente-
mente que f manda conjuntos cerrados en conjuntos cerrados.
Sea C X cerrado, luego C es compacto, y por continuidad de f tendremos que f(C) es
compacto en Y (ver Teorema 1.57). Pero por la observaci on anterior tendremos que f(C) es
cerrado en Y . Luego f es un homeomorsmo entre X e Y .
Teorema 1.59. Si (X, ), (Y, ) son espacios metrico, con X compacto y f : X Y es una
funci on continua, entonces f es uniformemente continua.
Demostraci on. Sea > 0, luego existen y
1
, y
2
, . . . , y
n
f(X) tales que
f(X)
n
_
i=1
B(y
i
;

2
)
dada la compacidad de f(X) en Y (ver Teorema 1.57). Por el Lema 1.53 (del n umero de
Lebesgue) tendremos que existe > 0 tal que para todo x X existe un i {1, 2, . . . , n} tal
que
B(x; ) f
1
(B(y
i
;

2
))
luego
f(B(x; )) B(y
i
;

2
) B(f(x); )
Como este procedimiento se puede realizar para todo x X, dado el > 0, podemos concluir
f(B(x; )) B(f(x); ), para todo x X
Por lo tanto, f es uniformemente continua.
Lema 1.60. Sea (X, ) un espacio metrico. Para cada x X denimos d(x) como la distancia
de x a su complemento. Luego X es compacto si y s olo si se satisfacen:
(i) Si f : X R continua, luego es uniformemente continua.
(ii) Para todo > 0 el conjunto {x X : d(x) } es nito.
24 CAP

ITULO 1. ESPACIOS M

ETRICOS Y NORMADOS
Demostraci on. Si X es compacto, la continuidad uniforme de f es consecuencia del Teorema
1.59. Adem as, si tenemos > 0 tal que D = {x X : d(x) } es un conjunto innito,
entonces D es cerrado y
G = {B(x;

2
) : x D} {X \ D}
es un cubrimiento por abiertos de X que no tiene un subcubrimiento nito, lo que sera una
contradicci on con la compacidad de X.
Recprocamente, si suponemos que X no es compacto y que se satisface (ii), entonces existe
B = {z
n
: n N} innito y numerable sin puntos lmites en X. Es claro que B es cerrado.
De (ii) tenemos que para cada > 0, d(z
n
) para una cantidad nita de n, entonces existe
N N tal que d(z
n
) < si n N. Luego,
lm
n
d(z
n
) = 0.
Por lo tanto existe {y
n
: n N} con y
n
= z
n
tal que
lm
n
(z
n
, y
n
) = 0.
Podemos conclur que {y
n
: n N} tampoco tiene puntos lmites en X, de lo contrario B los
tendra. Adem as, podemos armar que {y
n
: n N} tiene una cantidad innita de valores y
que cada uno de ellos no se repite innitas veces. Luego existen subsucesiones {z
n
k
} y {y
n
k
}
indexadas por los mismos ndices, tales que los subconjuntos cerrados de X
Z = {z
n
k
: k N} y Y = {y
n
k
: k N},
satisfacen Z Y = . Por el Lema de Urysohn existe una funci on continua f tal que
f(x) =
_
1 si x Z
0 si x Y
Es f acil probar que f no es uniformemente continua. Con lo que nalizamos la prueba del
lema.
Ejercicio. Pruebe que la funci on denida al nal del Lema 1.60 no es uniformemente continua.
1.8. Conexidad
Denici on 1.61. Sea (X, ) un espacio metrico. Decimos que X es conexo si no se puede
expresar como una uni on disjunta de dos abiertos no vacos. Decimos que un subconjunto
E X es conexo en X, si es conexo con la metrica inducida por (X, ).
Lema 1.62. Los unicos conjuntos conexos de R son los puntos y los intervalos.
Demostraci on. Claramente un punto es conexo en R. Supongamos que E R no es un
intervalo ni un punto, luego existen a < u < b tales que a, b E y u / E. De este modo,
E (, u) y E (u, )
son abiertos disjuntos no vacos de E, cuya uni on es E. Por lo tanto, E no es conexo.
1.8. CONEXIDAD 25
Recprocamente, si E es un intervalo en R y suponemos que no es conexo, entonces existen
abiertos G
1
y G
2
en R tales que
G
1
E = , G
2
E = , y G
1
G
2
E = , E G
1
G
2
Sin perdidad de generalidad supondremos que existen a, b tales que a G
1
E, b G
2
E y
a < b. C omo E es un intervalo es inmediato que [a, b] E. Adem as podemos denir
u = sup{x : x G
1
[a, b]}
que claramente es un punto lmite de G
1
y que no se encuentra en este abierto. Tampoco puede
u encontrarse en el abierto G
2
ya u es punto lmite de G
1
. Obviamente u [a, b], luego
u E, u / G
1
, u / G
2
= E G
1
G
2
lo que es una contradicci on con nuestras hip otesis. Por lo tanto E, cualquier intervalo de R, es
conexo.
Lema 1.63. Un subconjunto abierto G de R
n
es conexo si y s olo si todo par de puntos de G
se puede unir por una lnea poligonal.
Demostraci on. Si G es un abierto conexo de R
n
, denamos para cada x G el conjunto
G
x
= {y G : y x}
donde y x es la relaci on de equivalencia: y se puede unir mediante una poligonal con x en G.
Para cada y G
x
existe un > 0 tal que B(y; ) G, luego B(y; ) G
x
, ya que todo punto
en B(y; ) se puede unir con y mediante un segmento recto. Entonces G
x
es abierto.
Si suponemos que G\G
x
= , entonces para cada z G\G
x
existe un > 0 tal que B(z; )
G. Como todo punto en B(z; ) se puede unir con z mediante un segmento recto, podemos
concluir que B(z; ) G\G
x
. Lo que es una contradicci on ya que G sera la uni on de dos
abiertos disjuntos y no vacos. Esto concluye la primera implicancia.
El recproco, en este lema, es consecuencia del Lema 1.62.
En lo que sigue, denotaremos por {0, 1} al espacio metrico con dos elementos 0 y 1, con la
metrica discreta.
Teorema 1.64. Sean (X, ) un espacio metrico. Las siguientes condiciones son equivalentes.
(i) X es conexo.
(ii) No existe ning un subconjunto (propio) de X, no vaco que sea cerrado y abierto.
(iii) No existe ninguna funci on f : X {0, 1}, continua y sobre.
Demostraci on. En cada una de las implicancias procederemos por el argumento de contradic-
ci on. Para probar que (i) implica (ii) supondremos que existe un subconjunto propio no vaco
G X que es abierto y cerrado en X, luego su complemento G
c
tambien es abierto, cerrado y
no vaco. Entonces X = G G
c
es una uni on disjunta no vaca de dos abiertos. Por lo tanto,
X no es conexo.
En la demostraci on de que (ii) implica (iii), supondremos la existencia de una funci on f :
X {0, 1} que es continua y sobre. Por continuidad de f tendremos que X = f
1
(0) f
1
(1)
26 CAP

ITULO 1. ESPACIOS M

ETRICOS Y NORMADOS
que es una uni on disjunta no vaca de dos abiertos. Luego f
1
(0) es un subconjunto propio de
X, no vaco, que es abierto y cerrado.
Finalmente, para probar que (iii) implica (i), supondremos que X no es conexo, luego
existen A, B X abiertos, no vacos y disjuntos cuya uni on es X. As, podemos denir f :
X {0, 1} por
f(x) =
_
0 si x A
1 si x B
la cual es continua y sobre.
Teorema 1.65. Sean (X, ) e (Y, ) espacios metricos, con X conexo. Si f : X Y es una
funci on continua, entonces f(X) es un subconjunto conexo de Y .
Demostraci on. Si f(X) no fuera un subconjunto conexo de Y , luego existira g : f(X)
{0, 1} continua y sobre. Es decir, g f : X {0, 1} es una funci on continua y sobre, lo que es
una contradicci on ya que X es conexo. Por lo tanto, f(X) es un subconjunto conexo de Y .
El siguiente corolario es una consecuencia inmediata del Teorema 1.65, y se deja como
ejercicio para el lector.
Corolario 1.66. Si f es una funci on continua y real denida en un espacio metrico conexo
X, entonces f toma todos los valores comprendidos entre dos valores que alcance.
Teorema 1.67. Sea (X, ) un espacio metrico y {A

X : A = } una colecci on de
subconjuntos conexos de X. Si

A
A

= , entonces

A
A

es conexo.
Demostraci on. Primero denamos C =

A
A

, y supongamos que C no es conexo. En-

tonces existe f : C {0, 1} continua y sobre. Si y
0

A
A

, como la restricci on de la
funci on f al conjunto A

es continua, tendremos que f(y) = f(y

0
) para todo y A

(por la
conexidad de A

). Dado que esto es cierto para todo A, no es posible que f sea sobre. Por
lo tanto, C es conexo.
Corolario 1.68. Sea (X, ) un espacio metrico y A X, conexo. Entonces, la clausura de A
es conexa.
Demostraci on. Si A no es conexo, entonces existe f : A {0, 1} continua y sobre. Sin
perdida de generalidad podemos suponer que f(A) = 0. Sea x A, luego existe {x
n
} A tal
que x
n
x, cuando n . Por continuidad de la f tendremos que
f(x) = lm
n
f(x
n
) = 0
lo que resulta ser una contradicci on con la sobreyectividad de f. Por lo tanto, A es conexo si
A es conexo.
El siguiente corolario se deja como ejercicio para el lector.
Corolario 1.69. Sea (X, ) un espacio metrico. Si A es un subconjunto conexo de X, y A
B A entonces B es conexo.
1.8. CONEXIDAD 27
Ejemplo. Consideremos el subconjunto de R
2
con la metrica usual
A =
_
(x, y) : x > 0, y = sin
_
1
x
__
no es difcil probar que A es un subconjunto conexo de R
2
. Y por consecuencia del Corolario
1.68 tendremos que
A = A {(x, y) : x = 0, 1 y 1}
tambien es conexo.
Teorema 1.70. Para todo natural n > 1, R no es homeomorfo a R
n
.
Demostraci on. Si R es homeomorfo a R
n
, luego existe f : R
n
R continua biyectiva y con
inversa continua. La restricci on de f a R
n
\

0 tambien es un homeomorsmo entre R

n
\

0 y
R\ f(

0) (consecuencia del Teorema 1.65). Lo que es una contradicci on ya que R

n
\

0 es conexo
para n > 1 y R\ f(

0) no es conexo. Por lo tanto, no es posible que R sea homeomorfo a R

n
si
n > 1.
Nota: En general R
n
no es homeomorfo a R
m
si n = m.
Lema 1.71. No existen funciones f : [0, 1] [0, 1]
2
que sean continuas y biyectivas.
Demostraci on. Si existiera una funci on f : [0, 1] [0, 1]
2
que sea continua y biyectiva, por el
Teorema 1.58 tendramos que existe f
1
: [0, 1]
2
[0, 1] continua y biyectiva. Sea x
0
(0, 1) y
consideremos f(x
0
), entonces f
1
([0, 1]
2
\ f(x
0
)) = [0, 1] \ x
0
. Lo que contradice que la imagen
continua de un conexo es conexo(Teorema 1.65). Por lo tanto, no existe dicha funci on.
Lema 1.72 (curva de Peano). Existe una funci on f : [0, 1] [0, 1]
2
que es continua y
sobreyectiva.
Demostraci on. Pendiente
Proposici on 1.73. Sea {A

: A} una colecci on de subconjuntos conexos de un espacio

metrico (X, ) tales que la intersecci on de todo par es no vaca. Entonces

A
A

es conexo.
Demostraci on. Si C =

A
A

no es conexo, luego existe f : C {0, 1} continua y sobre.

Como f es sobre, luego existe x
0
C tal que f(x
0
) = 0, con x
0
A

para alg un A. Por

continuidad de f y la conexidad de A

tenemos que f(A

) = 0. Sea cualquier elemento en

A, por hip otesis sabemos que A

= . Entonces f(A

) = 0 para todo A, lo que

contradice que f sea sobre. Por lo tanto C es conexo.
Denici on 1.74. Si (X, ) es un espacio metrico, x X, denimos la componente de x, que
notaremos C(x), como la uni on de todos los conjuntos conexos de X que contienen a x.
Diremos que un espacio metrico (Y, ) es totalmente disconexo si para todo y Y se
tiene que C(y) = {y}
Ejemplo. Si miramos al conjunto de los n umero racionales Q como subespacio de R con la
metrica usual, tendremos que las componentes de Q son puntos. En este caso Q es totalmente
disconexo.
Corolario 1.75. Sea (X, ) un espacio metrico y x X, luego C(x) es conexo.
Lema 1.76. Sea (X, ) un espacio metrico, entonces:
28 CAP

ITULO 1. ESPACIOS M

ETRICOS Y NORMADOS
(i) Si x X, luego C(x) es el conjunto conexo maximal que contiene a x.
(ii) Las componentes de X denen una partici on.
(iii) Las componentes son cerradas.
Demostraci on. Las pruebas de (i) y (ii) son consecuencia de la denici on de componente y
de la Proposici on 1.73, respectivamente. La prueba de (iii) es consecuencia de la parte (i) del
lema y el Corolario 1.68.
Denici on 1.77. Diremos que una espacio metrico (X, ) es localmente conexo si todo
abierto de X se puede escribir como una uni on de conjuntos abiertos y conexos.
Teorema 1.78. Sea (X, ) un espacio metrico. Luego X es localmente conexo si y s olo si las
componentes de cada conjunto abierto son conjuntos abiertos.
Demostraci on. Si las componentes de cada conjunto abierto son conjuntos abiertos, luego
cada abierto de X se puede escribir como una uni on de conjuntos abiertos y conexos, es decir,
X es localmente conexo.
Recprocamente, si X es localmente conexo y G es un abierto, entonces G es una uni on de
abiertos conexos. Sea x G y sea C(x) su componente conexa en G, luego para cada y C(x)
existe un abierto conexo G
y
en X que contiene a y y est a contenido en G. Por la maximalidad
de C(x) se tiene que G
y
C(x). Por lo tanto C
x
es abierto, y concluimos la demostraci on del
teorema.
Corolario 1.79. Todo abierto en R
n
se puede escribir como una uni on numerable de conjuntos
abiertos, disjuntos y conexos.
Ejemplo. Existen espacios que son conexos pero no localmente conexos. Si consideremos el
subespacio de R
2
A =
_
(x, y) : x > 0, y = sin
_
1
x
__
se puede probar que en A existe un abierto G (conteniendo al origen) con componentes que no
son abiertas.
Captulo 2
Completitud y categoras
2.1. Teorema de Baire
Denici on 2.1. Dado un espacio metrico (X, ), decimos que G X es denso si G = X.
Ejemplo. Como vimos en la secci on 1.7, R es un espacio metrico completo tal que Q R. Por
otra parte el conjunto
C

[0, 1] := {f C[0, 1] : f tiene derivadas continuas de todo orden }

es un subconjunto denso de C[0, 1].
Teorema 2.2 (Baire). Sea (X, d) un espacio metrico completo. Sea {O
n
: n N} una
colecci on de subconjuntos abiertos densos de X. Luego, O :=

n=0
O
n
es denso.
Demostraci on. Para demostrar que O es denso en X, bastar a probar que para todo abierto
V de X se tiene que
O V =
Para ello deniremos los siguientes conjuntos: sea V
1
= V O
1
que es abierto y no vaco, ya que
O
1
es abierto y denso. Luego existe x
1
V
1
y r
0
> 0 tales que B(x
1
; r
0
) V
1
. An alogamente,
denimos V
2
= B(x
1
; r
0
) O
2
que es abierto y no vaco, luego existe x
2
V
2
y 0 < r
1
r
0
/2
tal que B(x
2
; r
1
) V
2
. Inductivamente podemos denir V
n+1
= B(x
n
; r
n1
) O
n+1
, tal que
x
n
V
n
, 0 < r
n1
r
2
/2
n1
y B(x
n
; r
n1
) V
n
.
De este modo, hemos denido una sucesi on {x
n
} V que es de Cauchy. En efecto,
sup
k
(x
n
, x
n+k
)
r
0
2
n1
.
Dado que X es completo, existe x X tal que x
n
x cuando n . Por construcci on de la
sucesi on {x
n
} tendremos que
x B(x
k+1
, r
k
) B(x
k
, r
k1
), para todo k N.
Luego x O y x V , de donde conclumos que O es denso en X.
Denici on 2.3. Sea (X, ) un espacio metrico.
(i) Decimos que E X es denso en ninguna parte si E
c
es denso.
33
34 CAP

ITULO 2. COMPLETITUD Y CATEGOR

IAS
(ii) Decimos que F X es de primera categora si se puede expresar como una uni on
numerable de conjuntos densos en ninguna parte.
(iii) Decimos que un conjunto es de segunda categora si no es de primera categora.
Ejercicio. Pruebe que E es denso en ninguna parte si y s olo si su clausura tiene interior vaco.
Corolario 2.4. Sea (X, ) un espacio metrico completo. Luego, no hay ning un subconjunto
abierto no vaco que sea de primera categora.
Demostraci on. Supongamos que un conjunto no vaco V X es abierto y de primera cate-
gora, entonces existen {V
n
: n N} densos en ninguna parte tales que V =

nN
V
n
. Luego,
V

nN
V
n
=

nN
V
n
c
V
c
Pero los V
n
c
son abiertos densos en X, entonces por el Teorema 2.2 tendramos que

nN
V
n
c
es denso en X, lo que es una contradicci on ya que
X =

nN
V
n
c
V
c
= V
c
X
y tendramos que V
c
= X, o sea V = .
Algunas aplicaciones del teorema de Baire:
1.- El espacio metrico R no es numerable. Basta observar que todo subconjunto numerable
de R es necesariamente de primera categora. Esto se debe a que todo punto de R es
cerrado y de interior vaco.
2.- Existe subconjunto de [0, 1] de medida de Lebesgue 0 y cuyo complemento es de primera
categora. Denimos la medida de Lebesgue del intervalo abierto (a, b), m(a, b) = b a.
Ahora, si O es abierto, lo podemos descomponer como una uni on disjunta de intervalos
abiertos, O =
n
(a
n
, b
n
), y denimos m(O) =

n
m(a
n
, b
n
). Decimos que A R es de
medida de Lebesgue 0 si > 0 existe un abierto G

A tal que m(G

) < . Ahora, sea

{q
n
} una enumeraci on de los racionales en [0, 1]. Para cada m, consideremos el abierto,
O
m
:=

n=1
B(q
n
; (1/m)
n
).
Luego O :=
m
O
m
es un conjunto de medida de Lebesgue 0 y cuyo complemento es de
primera categora.
3.- El siguiente ejemplo puede encontrarse en [1]. Supongamos que f : R R es de clase C

.
Suponga adem as que para todo x R existe un natural n = n(x) tal que f
(n(x))
(x) = 0.
Se puede demostrar que luego f es un polinomio. Aqui probaremos algo m as debil: existe
un abierto en R donde f es un polinomio. En efecto, cosideremos para cada n el conjunto
E
n
:= {x R : f
(n)
(x) = 0}.
Claramente estos conjuntos son cerrados. Si alguno de ellos tiene interior no vaco, en-
tonces f es un polinomio en alg un abierto. Supongamos entonces que todos estos con-
juntos tienen interior vaco. Luego tendramos que R =
n
E
n
es un conjunto de primera
categora, lo que contradice el corolario del teorema de Baire.
2.1. TEOREMA DE BAIRE 35
4.- El cuadrado X := [0, 1] [0, 1] no puede expresarse como una uni on de dos o m as cuadra-
dos cerrados de interior no vaco disjuntos. Ocupando la densidad de los puntos con
coordenadas racionales en X podemos conclur que tal uni on a lo m as puede ser numer-
able: X =
n
C
n
. Consideremos el conjunto D := D
n
donde D
n
es la frontera de C
n
en
X. Al ser complemento de un abierto (la uni on de los interiores de los cuadrados), D es
cerrado. Luego es completo. Pero al ser cada D
n
cerrado en X, debe tambien ser cerrado
en D. Armamos que adem as son de interior vaco en D. En efecto, si x D
n
, toda
vecindad de x necesariamente contiene alg un punto del exterior del cuadrado que dene
a D
n
y que por lo tanto est a contenido en alg un C
m
lo que implica que D
m
intersecta la
vecindad. Es decir X sera de primera categora, lo que nuevamente contradice el corolario
del teorema de Baire.
Enseguida, veremos una aplicaci on m as extensa del teorema de Baire a la teora analtica
de n umeros.
36 CAP

ITULO 2. COMPLETITUD Y CATEGOR

IAS
2.2. Aproximaciones diofantinas
Iniciamos esta secci on con un resultado de Dirichlet.
Teorema 2.5. (Dirichlet). Sea un n umero irracional. Luego, existen innitos enteros p, q >
0, tales que
|
p
q
| <
1
q
2
Demostraci on. Para cada x real denimos [x] como la parte entera de x y {x} = x [x] su
parte fraccionaria. Sea Q > 0 un entero.
Consideremos los n umeros {0}, {1}, ..., {Q} y los intervalos [
i
Q
,
i+1
Q
), 0 i Q 1 que
forman una partici on de [0, 1). Como para todo real 0 {x} < 1, debe existir alg un j y a < b
tales que
{a}, {b} [
j
Q
,
j + 1
Q
)
|{a} {b}| <
1
Q
Adem as,
a = n +{a}
b = m+{b}
{a} +{b} = (b a) + (n m)
|
n m
b a
| <
1
(b a)Q

1
(b a)
2
Es decir, para cada natural Q, existen enteros p, q con 0 q Q tales que

p
q

<
1
qQ

1
q
2
. (2.1)
Supongamos que existe s olo una cantidad nita de racionales p/q tal que las desigualdades
de arriba se satisfacen para alg un Q. Luego, existen enteros p, q y una sucesi on de naturales
{Q
n
} con Q
n
tales que (2.1) se satisface con Q = Q
n
. Tomando el lmite cuando n
conclumos que debe ser igual a p/q, lo que es una contradicci on.
Denici on 2.6. Un n umero algebraico es cualquier n umero real que satisface una ecuaci on
del tipo
a
0
x
n
+a
1
x
n1
+... +a
n
= 0,
para alg un n 1 y a
0
, a
1
, . . . , a
n
enteros, a
0
= 0.
Decimos que un n umero algebraico tiene grado n si satisface una ecuaci on del tipo anterior,
pero no satisface ninguna ecuaci on b
0
x
m
+... +b
m
= 0 con m < n.
Decimos que un n umero es trascendente si no es algebraico.
No es obvio que existan n umeros trascendentes. En 1873, Hermite demostr o que e es trascen-
dente. Posteriormente, en 1882, Lindemann, mostr o un resultado an alogo para . El siguiente
ejercicio invita a demostrar la existencia de n umeros trascendentes mediante un argumento de
cardinalidad. Luego, en el teorema 7, se establecer a un criterio que nos permitir a entre otras
cosas exhibir explcitamente un n umero trascendente mediante una serie.
2.2. APROXIMACIONES DIOFANTINAS 37
Ejercicio. Muestre que existe una cantidad a lo m as numerable de n umeros algebraicos. Con-
cluya que deben existir n umeros trascendentes.
Teorema 2.7. (Liouville). Si es un n umero algebraico de grado n > 1, entonces existe una
constante M() > 0 tal que

p
q

M()
q
n
,
para todo racional p/q.
Antes de probar este resultado, lo utilizaremos en el siguiente corolario.
Corolario 2.8. El n umero denido por
z :=

m=1
1
10
m!
es trascendente.
Demostraci on. Supongamos que z es algebraico de grado n. Luego para todo N podemos
escribir
z
N
:=
N

m=1
1
10
m!
=:
p
10
N!
=:
p
q
|z z
N
| 10
1
10
(N+1)!
|z
p
q
|
1
10
(N+1)!1
Como z es algebraico, por el teorema que a un no hemos probado tenemos que para todo n
existe una constante M tal que
|z
p
10
N!
|
M
10
N!n
.
Esto implica que para todo N
(N + 1)! 1 N!n
lo cual es una contradicci on.
Prueba del teorema de Liouville: Sea f(x) := a
n
x
n
+ + a
1
x + a
0
un polinomio
no nulo con coecientes enteros de grado minimal y con raz . Consideremos el intervalo
I := [ 1, + 1] y
c := mn{1, A},
donde A es el mnimo en I de |f

(x)|
1
. Si p/q / I es trivialmente se cumple que

p
q

1
1
q
n

c
q
n
.
Si p/q I, por el teorema del valor medio
f() f(p/q)
p/q
= f

(),
para alg un entre y p/q. Como f() = 0, tenemos
38 CAP

ITULO 2. COMPLETITUD Y CATEGOR

IAS

p
q

=
|f(p/q)|
|f

()|
.
Pero por la denici on de c tenemos que 1/|f

()| c. Adem as f(p/q) = 0, de lo contrario

f(x)/(x p/q) sera un polinomio de grado n 1 con raz . Pero luego
|f(p/q)| =
|a
n
p
n
+ +a
1
pq
n1
+a
0
q
n
|
q
n

1
q
n
.
Conclumos que,

p
q

c
q
n
.

Denici on 2.9. Decimos que un n umero irracional es un n umero de Liouville si para todo
n > 1 existen enteros p y q > 1 tales que

p
q

<
1
q
n
El conjunto de n umeros de Liouville tiene la interesante propiedad de ser a la vez de segunda
categora y de medida de Lebesgue 0.
Teorema 2.10. El conjunto de n umeros de Liouville tiene medida de Lebesgue 0 y complemento
de primera categora.
Demostraci on. Para cada natural denamos el abierto
U
n
:=

q=2
V
n,q
donde,
V
n,q
=

p=

p
q

1
q
n
,
p
q
+
1
q
n

.
Ahora notemos que el conjunto de n umeros de Liouville L se puede expresar como
L = {

n=1
U
n
} {

n=1
{q
n
}
c
}.
Esto muestra que su complemento es de primera categora. Por otra parte, notemos que para
todo n
L

q=2
V
n,q
.
Luego
L (m, m)

q=2
V
n,q
(m, m)

q=2

mq
p=mq

p
q

1
q
n
,
p
q
+
1
q
n

.
De qu conclumos que,
m(L)

q=2
2(2mq + 1)
q
n
(4m + 1)

1
1
q
n1
=
4m + 1
n 2
.
Como n es arbitrario m(L) = 0.
2.2. APROXIMACIONES DIOFANTINAS 39
Ocupando el hecho que la medida de Lebesgue de los reales es innita tenemos el siguiente
corolario.
Corolario 2.11. Existen n umeros trascendentes que no son de Liouville.
Denici on 2.12. Constante de Liouville-Roth. Sea x un n umero irracional. Consideremos
el conjunto de n umeros reales R tales que la desigualdad
0 <

x
p
q

<
1
q

,
se satisface a lo m as para una cantidad nita de pares (p, q) de n umeros enteros con q = 0.
Denimos la medida de irracionalidad o la constante de Liouville-Roth de x como el
nmo de R.
Se puede demostrar que los n umeros trascendentes e y no son de Liouville. En efecto se
ha demostrado (1992, Hata) que la medida de irracionalidad de est a acotada por 8,0161 y
que la medida de irracionalidad de e es 2 (Borwein y Borwein, 1987).
Finalmente enunciamos la siguiente mejora del teorema de Liuoville del matem atico ingles
Klaus Roth por lo que gan o la medalla Fields en 1955.
Teorema 2.13. (Roth, 1955) Si es un n umero algebraico de grado n > 1, entonces para todo
> 0 existe una constante C(, ) > 0 tal que

p
q

C(, )
q
2+
,
para todo racional p/q.
40 CAP

ITULO 2. COMPLETITUD Y CATEGOR

IAS
2.3. Aplicaciones del teorema de Baire a espacios de Banach
En esta secci on, veremos algunas aplicaciones del teorema de Baire a espacios vectoriales
normados. En particular, demostraremos los teoremas de Banach-Steinhaus, del mapeo abierto
y del gr aco cerrado.
Primero introduciremos el concepto de funci on u operador lineal y demostraremos las
propiedades m as b asicas que ellos satisfacen.
Denici on 2.14. Sean V, W espacios vectoriales normados sobre un cuerpo valuaddo K.
Decimos que una funci on f : V W es lineal si
f(x +y) = f(x) +f(y), x, y V, , K.
Tambien se ocupa el termino operador lineal.
Ejercicio. Si f : V W es una funci on lineal, pruebe que f(0) = 0.
El siguiente resultado da una caracterizaci on de las funciones lineales continuas.
Teorema 2.15. Sean V, W espacios vectoriales normados, f : V W lineal. Luego, las
siguientes tres condiciones son equivalentes:
(i) f es continua.
(ii) f es continua en el origen.
(iii)
f(x)
x
est a acotado en V {0}.
Demostraci on. Que (i) implica (ii) es trivial. Para ver que (iii) implica (i) s olo hay que
notar que si
||f(x)||
||x||
est a acotado en V {0} entonces existe 0 < C < tal que f Cx
para todo x V {0}. Ahora supongamos que (ii) se satisface. Luego existe un > 0 tal que
||f(x)|| 1,
cuando ||x|| . Por linealidad, esto implica que,
||f(x)||
2

||x||,
para todo x V , es decir (iii).
El teorema anterior permite dar una estructura de espacio vectorial normado al conjunto de
todas las funciones lineales f : V W.
Denici on 2.16. Sean V y W dos espacios vectoriales normados. Denimos L(V ; W) como el
conjunto de todas los operadores lineales continuos o los operadores lineales acotados
de V en W. Para f L(V ; W) denimos la norma
f = sup
xV {0}
f(x)
x
.
Ejercicio. Pruebe que esto dene efectivamente una norma y que se verica
(i) f = sup
x=1
f(x) = sup
x1
f(x)
2.3. APLICACIONES DEL TEOREMA DE BAIRE A ESPACIOS DE BANACH 41
(ii) f(x) f x
Denici on 2.17. Decimos que un espacio vectorial normado es un espacio de Banach si es
completo con la metrica inducida por la norma.
Teorema 2.18. Si W es un espacio de Banach, entonces L(V ; W) tambien lo es.
Demostraci on. Sea {f
n
} una sucesi on de Cauchy en L(V, W). Para cada x V , se tiene que
{f
n
(x)} W es de Cauchy. Luego, podemos denir
f(x) = lm
n
f
n
(x).
La linealidad de f es inmediata, as que s olo bastar a probar la continuidad de f y la convergencia
de la sucesi on {f
n
} a f. Notemos que para todo x V ,
||f(x)|| = lm
n
||f
n
(x)|| ||x|| sup ||f
n
||.
Como {f
n
} es de Cauchy, es acotada y sup||f
n
|| < . Esto prueba la continuidad de f. Ahora
notemos que para m n,
f
n
(x) f
n
(x) sup
kn
f
n
f
k
||x||.
Luego, tomando el lmite cuando n ,
f(x) f
n
(x) ||x|| sup
kn
f
n
f
k
.
Por lo tanto lm
n
||f
n
f|| = 0.
Ahora proseguimos con una de las aplicaciones m as importantes del teorema de Baire a
espacios de Banach. Primero introduciremos el concepto de equicontinuidad.
Denici on 2.19. Sean (X, ), (Y, ) espacios metricos y sea F una colecci on de funciones de
X en Y . Decimos que la colecci on F es equicontinua si para todo > 0 y x X, existe
= (x) > 0 tal que
sup
fF
(f(x), f(y)) < , cuando (x, y) < .
Si (x) no depende de x, decimos que la colecci on es uniformemente equicontinua.
Ejercicio. Demuestre que si F es una colecci on de operadores lineales, entonces si es equicon-
tinua, necesariamente es uniformemente equicontinua.
Teorema 2.20. Sean V, W espacios vectoriales normados; una familia F L(V ; W) es uni-
formemente equicontinua si y s olo si sup
fF
f < .
Demostraci on. Supongamos que sup
fF
f < . Luego existe M < tal que
sup
x
sup
fF
f(x) Mx.
Por lo tanto sup
fF
||f(x+h)f(x)|| M||h||. Por otra parte, si F es uniformemente equicon-
tinua, existe un > 0 tal que para todo x V
sup
fF
f(x) < 1, si x < .
42 CAP

ITULO 2. COMPLETITUD Y CATEGOR

IAS
Luego
f(x) =
2x

_
_
_f
_
x
x

2
__
_
_ <
2

x, para toda f F.
Est implica que sup
fF
f < .
Teorema 2.21 (Banach-Steinhaus o principio de acotaci on uniforme). Sean V , W
espacios de Banach y sea F L(V ; W) una familia de operadores lineales acotados. Sea B V ,
el conjunto de puntos tales que
sup
fF
f(x) < (2.2)
Suponga que B es de segunda categora. Luego, B = V y
sup
fF
f <
Demostraci on. Notemos que (2.2) quiere decir que para cada x B existe c(x) < tal que
sup
fF
f(x) < c(x)
luego podemos denir
E
n
= {x V : sup
fF
f(x) n} =

fF
{x V : f(x) n}
Entonces E
n
es cerrado para cada n N, ya que los conjuntos {x V : f(x) n} son
cerrados. Por hip otesis se tiene que
B =

_
n=1
E
n
luego, dado que B es de segunda categora tiene que existir n
0
N tal que E
n
0
tenga clausura
con interior no vaco (Teorema de Baire). Como los E
n
son cerrados, entonces existe x
0
E
n
0
y r
0
> 0 tales que
B(x
0
; r
0
) E
n
0
Sea z B(0; r
0
) luego y = x
0
+z est a en la bola B(x
0
; r
0
) y
sup
fF
f(y) n
0
.
Luego, por la linealidad de f y para z B(0; r
0
) se tiene que
f(z) = f(x
0
+z) f(x
0
) 2n
0
, para toda f F.
Consideremos z B(0, r
0
) tal que z
r
0
2
, para cada x V tendremos
f(x) =
2x
r
0
_
_
_f
_
r
0
2
x
x
__
_
_
4n
0
r
0
x, para todo f F
de donde se concluye que B = V y
sup
fF
f <
2.3. APLICACIONES DEL TEOREMA DE BAIRE A ESPACIOS DE BANACH 43
Consideremos una funci on real continua h denida en [0, 1]. Sabemos que para denir
una integral de Riemann-Stieljes
_
1
0
fdh para funciones continuas f es necesario exigir alguna
propiedad de regularidad a la funci on h. Una condici on suciente es pedir que
sup
n

t
k
,t
k+1
n
|h(t
k+1
) h(t
k
)| < ,
donde {
n
} es una sucesi on de particiones di adicas del intervalo [0, 1], que llamaremos variaci on
acotada di adica. Veremos posteriormente que esta condici on es equivalente al concepto de
funci on de variaci on acotada.
Teorema 2.22. Sea h C[0, 1]. Supongamos que para toda funci on f C[0, 1] la sucesi on,
S
n
(f) :=

t
k
,t
k+1
f(t
k
)(h(t
k+1
) h(t
k
)),
es convergente. Luego h es de variaci on acotada di adica.
Demostraci on. Notemos que para cada natural n, S
n
es un operador lineal en C[0, 1]. Elig-
amos ahora una funci on f
n
que toma el valor sgn(h(t
k+1
) h(t
k
) en los extremos t
k
de los
intervalos que denen la partici on
n
, que es continua y que satiface ||f
n
|| = 1. Luego,
||S
n
||

t
k
,t
k+1
|h(t
k+1
) h(t
k
)|. (2.3)
Ahora, para todo f C[0, 1] sabemos que S
n
f es acotado por ser convergente. Luego, por
el teorema de Banach-Steinhaus sup
n
||S
n
|| < . Combinando esto con (2.3) terminamos la
prueba.
El teorema 2.22 explica la dicultad inherente para denir integrales de la forma
_
fdB
t
d onde f es continua y {B
t
} es el movimiento Browniano (es decir la integral estoc astica).
En efecto, es posible establecer que con probabilidad 1 estas trayectorias no son de variaci on
acotada. K. Ito en 1955 logr o encontrar una construcc on adecuada de la integral estoc astica.
Denici on 2.23. Dados dos espacios metricos X e Y , decimos que una funci on f : X Y es
abierta si para todo G X abierto, f(G) Y es abierto.
Ejercicio. Sean V , W espacios normados y f : V W una funci on lineal. Luego,
(i) B(x; r) = x +B(0; r) = x +rB(0, 1).
(ii) f(B(x, r)) = f(x) +rf(B(0, 1)).
Teorema 2.24 (Mapeo abierto). Sean V y W dos espacios de Banach. Sea f : V W
lineal y continua tal que f(V ) es de segunda categora. Luego, W = f(V ) y f es abierta.
Demostraci on. Para no caer en confusiones las bolas abiertas en V de radio n y centradas
en el origen las notaremos B
n
, en cambio las bolas abiertas en W de radio r y centradas en y
las notaremos B(y; r).
Claramente f(V ) =

nN
f(B
n
), luego existe n
0
N tal que f(B
n
0
) tiene clausura con
interior no vaco (Teorema de Baire). Entonces existen y
0
W y r
0
> 0 tal que
B(y
0
; r
0
) f(B
n
0
)
44 CAP

ITULO 2. COMPLETITUD Y CATEGOR

IAS
Sea z en la bola de radio r
0
y centrada en el origen en el espacio de Banach W, entonces
y = z +y
0
est a en la bola B(y
0
; r
0
). Luego existen sucesiones {u
n
} y {v
n
} en B
n
0
tales que
lm
n
f(u
n
) = y y lm
n
f(v
n
) = y
0
entonces la sucesi on w
n
= u
n
v
n
, que vive en la bola B
2n
0
, es tal que
lm
n
f(w
n
) = z = B(0; r
0
) f(B
2n
0
)
Probaremos que para cada y B(0; r
0
), entonces existe un x B
4n
0
tal que f(x) = y, o
sea, B(0; r
0
) f(B
4n
0
). Como y f(B
2n
0
) luego existe x
1
B
2n
0
tal que
y f(x
1
) <
r
0
2
entonces y f(x
1
) B(0;
r
0
2
) f
_
B2n
0
2
_
. As, existe x
2
B2n
0
2
tal que
y f(x
1
) f(x
2
) <
r
0
2
2
Inductivamente, podemos construir una sucesi on {x
n
} en B
2n
0
tal que x
n
B 2n
0
2
n1
y
_
_
_
_
_
y
n

k=1
f(x
k
)
_
_
_
_
_
<
r
0
2
n
= lm
n
_
_
_
_
_
y f
_
n

k=1
x
k
__
_
_
_
_
= 0.
Ahora,
_
_
_
_
_
n

k=1
x
k
_
_
_
_
_

k=1
x
k
<
n

k=1
2n
0
2
k1
< 4n
0
,
luego existe x B
4n
0
tal que
x = lm
n
n

k=1
x
k
.
Dada la continuidad de f tendremos que f(x) = y. Con esto, concluimos que para cada x V
y > 0 existe un > 0 tal que B(f(x); ) f(B(x; )).
Para nalizar, sea U V abierto. Sea f(x) f(U), con x U. Como U es abierto, existe
> 0 tal que B(x; ) U. Por lo demostrado arriba, existe > 0 tal que B(f(x); )
f(B(x; )). As, B(f(x); ) f(U).
Los siguientes corolarios son aplicaciones directas del Teorema del mapeo abierto y se dejan
como ejercicio para el lector.
Corolario 2.25. Si V y W son espacios de Banach y f : V W es lineal, continua y sobre,
luego, f es abierta.
Corolario 2.26. Sean V y W espacios de Banach y f : V W es lineal, continua, sobre e
inyectiva. Luego, f
1
es continua y, por lo tanto, existen constantes c
1
, c
2
tales que
c
1
x f(x) c
2
x
Ahora veremos que relaci on existe entre equivalencia en el sentido de metricas y equivalencia
en el sentido de normas.
2.3. APLICACIONES DEL TEOREMA DE BAIRE A ESPACIOS DE BANACH 45
Corolario 2.27. Sean V un espacio vectorial con normas || ||
1
y || ||
2
. Supongamos que una
sucesi on converge en (V, ||
1
) si y s ol si converge en (V, ||
2
). Luego las normas son equivalentes.
Demostraci on. Basta probar que la identidad i : V
1
V
2
es continua. Como es obviamente
lineal, continua y biyectiva, podemos concluir que su inversa tambien es continua. Por lo tanto,
existen constantes positivas c
1
, c
2
tales que
c
1
|x|
1
|x|
2
c
2
|x|
1
.
Corolario 2.28. Sean V
1
= (V, | |
1
) y V
2
= (V, | |
2
) espacios de Banach. Si la bola unitaria
en V
1
es compacta en V
2
, luego, las normas son equivalentes.
Demostraci on. Sea B
1
= {x V : |x|
1
< 1} e i : V
1
V
2
la identidad.
i = sup
|x|
1
1
|i(x)|
2
= sup
xB
|x|
2
C
Luego, i es continua.
Denici on 2.29. Sean V y W espacios de Banach y f : V W una funci on lineal. Denimos
el gr aco de f como el conjunto
G(f) = {(x, f(x)) : x V }
Ejercicio. Sean V y W son espacio de Banach. Pruebe que si f : V W es una funci on lineal
y continua, entonces G(T) es un subespacio cerrado de V W con la norma
(x, y) = x +y.
Adem as, V W es un espacio de Banach con la norma denida arriba.
Consideremos ahora el espacio de sucesiones A reales. Para cada p 1, denimos l
p
:=
{x A : ||x||
p
< }, donde ||x||
p
p
:=

k=1
x
p
k
< es una norma que convierte a l
p
en un
espacio de Banach. Notemos que
l
1
l
2
.
Teorema 2.30. l
1
es un conjunto de primera categora en l
2
.
Demostraci on. Consideremos la inclusi on j : l
1
l
2
denida como j(x) = x. Notemos que,
||j|| = sup
x:||x||
1
1
||x||
2
sup
x:||x||
1
1
||x||
1
1.
Luego j es un operador lineal continuo. Por lo tanto l
1
no puede ser de segunda categora en
l
2
por el teorema del mapeo abierto y el hecho de que existe sucesiones en l
2
que no est an en
l
1
.
Teorema 2.31 (Gr aco cerrado). Sean V y W espacios de Banach y f : V W una
funci on lineal. Luego, f es continua si y s olo si G(f) es cerrado.
46 CAP

ITULO 2. COMPLETITUD Y CATEGOR

IAS
Demostraci on. Si G(f) es cerrado, luego es Banach. Sea P : G(f) V tal que
P((x, f(x))) = x
que es lineal, continua y biyectiva. Luego, por el Corolario 2.26 tendremos que P
1
: V G(f)
es lineal y continua. Es decir, si x V y x
n
x entonces
lm
n
P
1
(x
n
) = lm
n
(x
n
, f(x
n
)) = (x, f(x))
de donde se concluye la continuidad de f.
Corolario 2.32. Sean V
1
= (V, | |
1
) y V
2
= (V, | |
2
) espacios de Banach. Suponga que, cada
vez que una sucesi on converge en ambos espacios, su lmite coincide. Luego, las normas son
equivalentes.
Demostraci on. La hip otesis implica que la identidad es un operador quee tiene un gr aco
cerrado. Luego es continuo. Similarmente su inverso es continuo.
2.4. TEOREMA DEL PUNTO FIJO DE BANACH 47
2.4. Teorema del punto jo de Banach
Denici on 2.33. Sea (X, ) un espacio metrico y : X X. Decimos que es una con-
tracci on si existe una constante 0 < k < 1 tal que
((x
1
), (x
2
)) k (x
1
, x
2
)
Teorema 2.34 (Punto jo de Banach). Sea (X, ) un espacio metrico completo y : X
X una contracci on. Luego, existe un unico x X tal que (x) = x.
Demostraci on. Sea x
0
X y denamos la sucesi on {x
n
} en X como sigue
x
1
= (x
0
), x
2
= (x
1
), . . . , x
n
= (x
n1
).
O sea, x
n
=
n
(x
0
) donde
n
es componer n veces la funci on . Nuestra intenci on es probar
que esta sucesi on es de Cauchy, cuyo lmite es precisamente el punto que es invariante bajo la
acci on de (tambien es conocido como el punto jo de ). Para ello notemos que
(x
n
, x
n+1
) = ((x
n1
), (x
n
)) < k (x
n1
, x
n
) < < k
n
(x
0
, x
1
).
Luego, para todo m, n N tendremos que
(x
n
, x
n+m
)
m

i=1
(x
n+i1
, x
n+i
) < k
n
(x
0
, x
1
)
m

i=1
k
i1
<
k
n
1 k
(x
0
, x
1
)
de donde se tiene que {x
n
} es una sucesi on de Cauchy en X. Entonces existe x X tal que
x
n
x, cuando n .
Ahora, dada la continuidad de y de la metrica , tendremos
(x, (x)) = lm
n
(x
n
, (x
n
)) = lm
n
(x
n
, x
n+1
) = (x, x) = 0
de donde se concluye que (x) = x. Para probar la unicidad del punto jo, supondremos la
existencia de dos. Sean estos x e y que satisfacen
(x, y) = ((x), (y)) k (x, y)
lo que no es posible porque tendramos que
(1 k)(x, y) 0
entonces x = y. Por lo tanto, existe un unico x X tal que (x) = x.
Ejemplo. Consideremos la ecuaci on x = cos x para x [0, /2]. Probaremos que esta ecuaci on
tiene una soluci on unica. En efecto, x := cos x dene una funci on desde [0, /2] en si mismo.
Adem as,
|x y| = | cos x cos y| = |x y| sen , (2.4)
donde se encuentra en el intervalo denido por x e y. Ahora, como | cos x| 1, cualquier
soluci on de la ecuaci on x = cos x tiene que tener la propiedad |x| 1. Adem as, es obvio que
tiene su imagen en el intervalo cerrado [0, 1]. Pero en tal intervalo, por (2.4) y el hecho que
| sen | < sen 1 < 1, es una contracci on. Aplicando el teorema del punto jo de Banach vemos
que exite una soluci on unica de la ecuaci on.
48 CAP

ITULO 2. COMPLETITUD Y CATEGOR

IAS
A continuaci on aplicarremos el teorema del punto jo de Banach para probar el teorema
de la funci on implcita en R
2
.
Teorema 2.35 (Funci on implcita en R
2
). Sea E R
2
y (x
0
, y
0
) E
0
, y sea f : E R.
Supongamos que
(i) f(x
0
, y
0
) = 0 y f es continua en un abierto G E que contiene al punto (x
0
, y
0
).
(ii) f
y
existe en G y es continua en (x
0
, y
0
). Adem as, f
y
(x
0
, y
0
) = 0.
Luego, existe un rect angulo
M N = [x
0
, x
0
+] [y
0
, y
0
+]
y una funci on continua : M N tal que y = (x) es la unica soluci on en M N de la
ecuaci on
f(x, y) = 0, x M
Demostraci on. Sea q = 1/f
y
(x
0
, y
0
). Como f
y
es continua en (x
0
, y
0
), existe un rect angulo
[x
0
, x
0
+] [y
0
, y
0
+]
contenido en G tal que |1qf
y
(x, y)| < 1/2. Por la primera condici on existe un n umero positivo
tal que para x M = [x
0
, x
0
+] se tiene que
|qf(x, y
0
)| <
1
2
.
Ahora, notemos C(M, N) es completos. Sea una funci on denida en B(M, N) como () =
donde
(x) = (x) qf(x, (x)),
para x M. Mostraremos primero que mapea C(M, N) en si mismo. Sea C(M, N).
Luego para x M, por el teorema del valor medio
()(x) y
0
= (x) qf(x, (x)) y
0
= [(x) qf(x, (x))] [y
0
qf(x, y
0
)] +qf(x, y
0
)
= [(x) y
0
][1 qf
y
(x, u)] +qf(x, y
0
),
donde u est a entre y
0
y (x) y por lo tanto en N. Luego,
|()(x) y
0
| <
1
2
|(x) y
0
| +
1
2
< .
Por otra parte, si
1
,
2
C(M, N) y x M,
(
1
)(x) (
2
)(x) = [
1
(x) qf(x,
1
(x))] [
2
(x) qf(x,
2
(x))]
= [
1
(x)
2
(x)][1 qf
y
(x, v)],
donde v yace entre
1
(x) y
2
(x). Luego,
||(
1
) (
2
)||

1
2
||
1

2
||

.
Por el teorema del punto jo de Banach sabemos que existe una unica funci on en C(M, N) tal
que (phi) = . Es decir, f(x, (x)) = 0 para x M.
2.5. COMPLETACI

ON DE ESPACIOS M

ETRICOS 49
Vale la pena comparar el teorema del punto jo de Banach con el siguiente resultado de
Brouwer.
Teorema 2.36. Si f : B
2
B
2
es continua, entonces existe un x B
2
tal que f(x) = x.
La demostraci on usual de este teorema requiere ocupar algunos conceptos de topologa
algebraica, por lo que la omitimos.
2.5. Completaci on de espacios metricos
Una de las primeras construcciones de los n umeros reales se efectu o a nales del siglo 19
por un procedimiento que consiste en incrustar los racionales en un conjunto m as grande, que
es completo.
Denici on 2.37. Consideremos dos espacios metricos (X, ) y (Y, ). Una funci on biyectiva
f : X Y tal que
(f(x
1
), f(x
2
)) = (x
1
, x
2
),
para todo x
1
, x
2
X se llama una isometra. En este caso decimos que los espacios metricos
x e Y son isometricos. Si un espacio metrico es isometrico a un subespacio de otro espacio
metrico, decimos que el primero se puede incrustar isometricamente en el segundo.
Notemos que una isometra siempre es un homeomorsmo.
Ejemplo. Los reales con la metrica Euclidiana son isometricos con el subespacio de C[0, 1]
dado por las funciones de la forma

(x) = x.
Teorema 2.38. Sea (X, ) un espacio metrico. Luego existe una incrustaci on isometrica de
X en un espacio metrico completo.
Demostraci on. Consideremos el espacio B(X, R). Sea x
0
X. Dado a X denimos
a
:
X R por

a
= (x, a) (x, x
0
).
Notemos que,
|
a
(x)| = |(x, a) (x, x
0
)| (a, x
0
).
Ahora denimos : X B(X, R) como
(a) :=
a
.
Mostraremos que dene una isometra del espacio metrico (X, ) en el espacio B(X, R) con
la metrica uniforme . Por denici on,
(
a
,
b
) = sup
xX
|(x, a) (x, b)| (a, b).
Por otra parte, cuando x = a tenemos que |(x, a) (x, b)| = (a, b), lo que prueba que
50 CAP

ITULO 2. COMPLETITUD Y CATEGOR

IAS
(
a
,
b
) = (a, b).
Denici on 2.39. Sea X un espacio metrico. Si h : X Y es una incrustaci on isometrica de
X en un espacio metrico completo Y , el subespacio h(X) de Y es un espacio metrico completo
llamado la completaci on de X.
Ejercicio. Demuestre que todas las completaciones de un espacio metrico son isometricas entre
si.
Captulo 3
Convergencia uniforme
3.1. Teorema de Stone-Weierstrass
En 1885, el matem atico alem an Karl Weierstrass publica en la revista Sitzungsberichte der
K oniglich Preussischen Akademie der Wissenschaften zu Berlin el artculo

Uber die analytis-
che Darstellbarkeit sogennanter willk urlicher Functionen einer reellen Ver anderlichen donde
demuestra que toda funci on continua denida en un intervalo cerrado y acotado de los reales
puede aproximarse uniformemente por polinomios. Posteriormente, en 1937 Marshall Stone ex-
tiende este teorema a espacios topol ogicos compactos Hausdor y a familias de funciones m as
generales que los polinomios.
Comenzaremos enunciando el resultado de Weierstrass demostr andolo por un metodo con-
structivo que ocupa los llamados polinomios de Bernstein. Asumiremos familiaridad con los
conceptod m as elementales de probabilidad.
Teorema 3.1 (Weierstrass, 1885). Sea f : [0, 1] R una funci on continua. Luego existe
una sucesi on de polinomios p
n
: [0, 1] R tal que
lm
n
p
n
f

= 0
Demostraci on. Sea x [0, 1]. Denamos la variable aleatoria X
i
por
X
i
=
_
1 con probabilidad x
0 con probabilidad 1 x.
luego, para cada i N, si llamamos E[Y ] a la esparanza de una variable alatoria Y , tenemos
E[X
i
] = x (3.1)
y
E[(X
i
x)
2
] = E[X
2
i
] E[X
i
]
2
= x x
2
. (3.2)
Denamos
S
n
:= X
1
+X
2
+. . . +X
n
.
Luego para 0 q n tendremos que
P[S
n
= q] =
_
n
q
_
x
q
(1 x)
nq
. (3.3)
57
58 CAP

ITULO 3. CONVERGENCIA UNIFORME

Entonces
E
_
f
_
Sn
n
_
=
n

q=0
f
_
q
n
_
_
n
q
_
x
q
(1 x)
nq
.
Por otra parte, como f es uniformemente continua, dado > 0 sabemos que existe un > 0
tal que |f(x) f(y)| si |x y| . Luego

E
_
f
_
Sn
n
_
f(x)

E
_
f
_
Sn
n
_
f(x)

E
_

f
_
Sn
n
_
f(x)

E
_

f
_
Sn
n
_
f(x)

Sn
n
x

<
_
+ E
_

f
_
Sn
n
_
f(x)

Sn
n
x

_
< + 2MP
_

Sn
n
x

,
donde M es una cota para f. Ahora, por la desigualdad de Tchebyschev tenemos que
P
_

Sn
n
x

2
E[

Sn
n
x

2
] =
1

2
1
n
2
nE[(X
1
x)
2
] =
x x
2

2
1
n
,
donde en la ultima igualdad hemos ocupado (3.1) y (3.2).Tomando el lmite cuando n tiende a
conclumos que

E
_
f
_
Sn
n
_
f(x)

.
Como es arbitrario, esto concluye la prueba.
Los polinomios denidos por la expresi on (3.3) se llaman polinomios de Bernstein.
Ejercicio. Sea f C[0, 1] una funcion que es k veces continuamente diferenciable. Imitando
la demostraci on del teorema de Weierstrass encuentre el mayor valor posible de tal que

E
_
f
_
Sn
n
_
f(x)

C
1
n

,
para alguna constante C.
Ahora introduciremos el concepto de algebra de funciones, necesario para enunciar el teo-
rema de Stone-Weierstrass.
Denici on 3.2. Sea X en espacio metrico. Recordemos que C(X) es el conjunto de funciones
reales continuas y acotadas, con la norma del supremo. Adem as, denotamos C
c
(X) el con-
junto de funciones complejas, continuas y acotadas, con la norma del supremos. Diremos
que A C(X) (o C
c
(X)) es un algebras de funciones reales (o complejas) si,
(i) Para todo par de funciones f, g de A, f +g tambien se encuentra en A.
(ii) Para todo par de funciones f, g de A, fg tambien se encuentra en A.
(iii) Para toda funci on f de A y todo R (o C), f tambien est a en A.
Adem as, ocuparemos las siguientes notaciones
(f g)(x) := m ax{f(x), g(x)} y (f g)(x) := mn{f(x), g(x)}
que puede ser reescrito por
f g :=
f +g +|f g|
2
y f g :=
f +g |f g|
2
.
3.1. TEOREMA DE STONE-WEIERSTRASS 59
Ejemplo. Los siguientes son ejemplos de algebras de funciones denidas en espacios metricos
compactos. Se deja al lector probar las condiciones de algebra para cada uno de los conjuntos
que se denir an.
(a) Sea X = [0, 1] con la metrica usual, y consideremos el espacio de las funciones reales
continuas C[0, 1]. En ella podemos considerar el algebra de funciones
A = {p(x) C[0, 1] : p(x) es un polinomio}
(b) Si X = S
1
, el crculo unitario en R
2
, y el espacio de las funciones complejas continuas
sobre S
1
, C
c
(S
1
). El siguiente subconjunto de C
c
(S
1
) es un algebra
A = {f(x) C
c
(S
1
) : f(x) combinaciones lineales de las funciones e
2ikx
, k Z}
Lema 3.3. Sea X un espacio metrico. Sea A C(X) un algebra de funciones reales. Luego A
es un algebra real.
Demostraci on. Sean f, g A, luego existen {f
n
}, {g
n
} A que convergen uniformemente a
f y g, respectivamente. Probemos en tres pasos que A es un algebra: sea > 0
(i) Para probar que f +g A consideremos
(f
n
+g
n
) (f +g)

f
n
f

+g
n
g

<
si n es sucientemente grande, por lo tanto f +g A.
(ii) Sea R, luego
f f
n

= ||f f
n

<
para n muy grande, luego f A.
(iii) Finalmente,
f
n
g
n
fg

= f
n
g
n
+fg
n
fg
n
fg

(f
n
f)g
n

+f(g
n
g)

f
n
f

g
n

+f

g
n
g

pero g
n

g g
n

+g

, luego
f
n
g
n
fg

f
n
f

g
n
g

+f
n
f

+f

g
n
g

que tiende a cero cuando n . Por lo tanto, f g A.

Luego podemos concluir que A es un algebra.
Lema 3.4. Sea A un algebra de funciones reales continuas, sobre un espacio metrico X. Si
f A, luego |f| A.
60 CAP

ITULO 3. CONVERGENCIA UNIFORME

Demostraci on. Sea M una cota dde la funci on f. Notemos que por un simple cambio dde
variable, el teorema de Weierstrass sigue siendo v alido para funciones continuas en el intervalo
[M, M]. Luego existe una sucesi on de polin omios {p
n
},
p
n
(x) =
mn

k=0
a
k,n
x
k
pra x [M, M], que converge uniformemente al valor absoluto |x|. Entonces necesariamente
lm
n
a
0,n
= 0. Si denimos q
n
= p
n
a
0,n
tenemos que
sup
xX
|q
n
(x) |x|| sup
xX
|p
n
(x) |x|| +|a
0,n
|
y que por lo tanto tiende a cero cuando n tiende al innito. Luego, {q
n
} es una sucesi on de
polin omios sin termino libre que converge uniformemente al valor absoluto. Podemos conclur
que si f A entonces la sucesi on {q
n
(f)} en A converge uniformemente a |f| C(X).
Denici on 3.5. Sea X un espacio metrico y A C(X) (o C
c
(X)) un algebra de funciones
continua. Diremos que A es un algebra que separa puntos en X, si para todo x, y X,
x = y, existe una funci on f A tal que f(x) = f(y). Diremos que A es un algebra nunca
nula si para todo x X, existe una funci on f A tal que f(x) = 0.
Lema 3.6. Sea X un espacio metrico y A C(X) un algebra que separa puntos y nunca
se anula. Luego si x, y X, x = y, y a, b R entonces existe una funci on h
xy
A tal que
h
xy
(x) = a y h
xy
(y) = b.
Demostraci on. Sean x, y X, x = y, luego existe f
1
A tal que f
1
(x) = f
1
(y). Adem as
existen f
2
, f
3
A tales que f
2
(x) = 0 y f
3
(y) = 0. Luego tenemos los siguientes casos:
Caso 1. Si f
1
(x) = 0, luego existen , R tales que el sistema
_
f
1
(x) +f
2
(x) = a
f
1
(y) +f
2
(y) = b
es consistente ya que f
1
(y)f
2
(x) = 0. Luego elegimos h
xy
= f
1
+f
2
.
Caso 2. Si f
1
(y) = 0, luego existen , R tales que el sistema
_
f
1
(x) +f
3
(x) = a
f
1
(y) +f
3
(y) = b
es consistente ya que f
1
(x)f
3
(y) = 0. Luego elegimos h
xy
= f
1
+f
3
.
Caso 3. Finalmente, si f
1
(x) = 0 y f
1
(y) = 0, entonces existen , R tales que el sistema
_
f
1
(x) +f
1
(x)
2
= a
f
1
(y) +f
1
(y)
2
= b
es consistente ya que
f
1
(x)f
1
(y)
2
f
1
(y)f
1
(x)
2
= f
1
(x)f
1
(y)(f
1
(y) f
1
(x)) = 0
y elegimos h
xy
= f
1
+f
2
1
.
3.1. TEOREMA DE STONE-WEIERSTRASS 61
Teorema 3.7 (Stone-Weierstrass caso real). Sea X un espacio metrico compacto. Sea
A C(X) un algebra de funciones. Supongamos que A es un algebra que separa puntos. Luego
alguna de las siguientes situaciones ocurre.
(i) Si A es nunca nula entonces
A = C(X).
(ii) Si A no es nunca nula, entonces existe un punto p X que es unico tal que
A = {f C(X) : f(p) = 0}.
Demostraci on. Primero comenzaremos suponiendo que A es un algebra nunca nula. Sea
f C(X) y > 0, bastar a probar la existencia de g A tal que
f g

<
Sean u, v X. Si u = v, por el Lema 3.6 existe h
uv
A con
h
uv
(u) = f(u) y h
uv
(v) = f(v)
En el caso que u = v podemos denir
h
uu
(x) =
f(u)
h(u)
h(x)
donde h A, con h(u) = 0. Es importante hacer notar que para cada u X, jo,
f(u)
h(u)
R.
Luego h
uu
como funci on de x es un elemento de A. Sea > 0. Denamos los siguientes conjuntos
de X
V
uv
= {x X : h
uv
(x) < f(x) +}
que son abiertos dada la continuidad de h
uv
y f. Luego, para cada u jo, la familia de conjuntos
{V
uv
: v X} resulta ser un cubrimiento por abiertos de X. Por la compacidad de X existen
v
1
, v
2
, . . . , v
n
tales que
X = V
uv
1
V
uv
2
V
uvn
Entonces, para cada u X existe
g
u
(x) = (h
uv
1
h
uv
2
. . . h
uvn
) (x)
que es una funci on en A satisfaciendo g
u
(x) < f(x) + , para todo x X. Ahora, para cada
u X, denamos los conjuntos
W
u
= {x X : g
u
(x) > f(x) }
y nuevamente tendremos que los W
u
son abiertos y forman un cubrimiento por abiertos de X.
Entonces existen u
1
, u
2
, . . . , u
m
tales que
X = W
u
1
W
u
2
W
um
y denamos, nalmente,
g(x) = (g
u
1
g
u
1
. . . g
um
) (x)
62 CAP

ITULO 3. CONVERGENCIA UNIFORME

que est a en A y cumple
f(x) < g(x) < f(x) +, para todo x X = f g

<
Por lo tanto, si A es un algebra nunca nula tendremos que A = C(X).
Si suponemos que A no es un algebra nunca nula, luego existe p X tal que h(p) = 0 para
todo h A. Como A separa puntos p es unico. Denamos la coleci on de funciones de C(X)
B = {f C(X) : f = h +c, h A, c R}.
Claramente B es un algebra de funciones reales en C(X) que separa puntos y nunca nula.
Luego, por la parte (i) del teorema tendremos que B = C(X). Sean f C(X), con f(p) = 0,
y > 0, luego existe un elemento en B, sea este h +c, tal que
f (h +c)

<

2
= |c| = |f(p) (h(p) +c)| <

2
entonces
f h

f (h +c)

+c

<
de donde se concluye la parte (ii) del teorema.
Ejemplo. El siguiente ejemplo muestra que no es suciente tener un algebra A nunca nula y
que separa puntos en un espacio de funciones complejas continuas C
c
(X), para poder aproximar
toda f de C
c
(X) por un elemento de A. Consideremos el espacio metrico
X = {z C : |z| = 1}
con la metrica de subespacio inducida por C. Adem as, sea el algebra de funciones
A = {p(z) C
c
(X) : p(z) es un polinomio en z}.
Luego A es un algebra que separa puntos y es nunca nula ya que contiene a las funciones
h
1
(z) = z y h
2
(z) = 1. Consideremos la funci on compleja f(z) = z (el conjugado de z) que
est a en C
c
(X).
Sea h A, entonces
|f(z) h(z)| = |z h(z)| = |z||z h(z)| = |1 zh(z)|
luego, por el principio del m odulo m aximo tendremos que
f(z) h(z)

= sup
zX
|1 zh(z)| |1 0 h(0)| = 0
lo que muestra la insuciencia del algebra A en el caso complejo.
Esto nos lleva a la siguiente denici on.
Denici on 3.8. Sea X un espacio metrico y A un algebra de funciones complejas en C
c
(X).
Decimos que A es autoadjunta si para toda f A se tiene que f A.
Teorema 3.9 (Stone-Weierstrass caso complejo). Sea X un espacio metrico compacto y
sea A C
c
(X) un algebra de funciones complejas, que separa puntos y es autoadjunta. Luego
alguna de las siguientes situaciones ocurre.
3.1. TEOREMA DE STONE-WEIERSTRASS 63
(i) Si A es nunca nula entonce
A = C
c
(X).
(ii) Si A no es nunca nula existe un punto p X que es unico tal que
A = {f C
c
(X) : f(p) = 0}.
Demostraci on. Denamos
A
r
= {h A : h(X) R}
Este conjunto es claramente no vaco ya que A es un algebra autoadjunta, luego, para toda
h A, tendremos
Re h =
h +h
2
A
r
y Imh =
h h
2i
A
r
Sean x = y, entonces existe h A
r
tal que h(x) = h(y) luego,
Re h(x) = Re h(y) o Imh(x) = Imh(y)
de donde se tiene que A
r
es un algebra real que separa puntos.
Primero supondremos que A es nunca nula, luego A
r
es un algebra real nunca nula, y
tendremos por el Teorema de Stone-Weierstrass (para el caso real compacto) que A
r
= C(X).
Ahora, sea f C
c
(X) y > 0, entonces existen h
1
, h
2
A
r
tales que
Re f h
1

<

2
y Imf h
2

<

2
Luego, considerando h = h
1
+ ih
2
, una funci on en el algebra de funciones complejas A, que
satisface
f h

<
se tiene que A = C
c
(X).
Finalmente, si A no es un algebra nunca nula, luego existe p X tal que h(p) = 0, para
toda h A.
Sea f C
c
(X) que se anula en p. Entonces Re f, Imf A
r
. Como A es un algebra compleja
y A
r
A luego tendremos que
Re f, Imf A = f A
con lo que se concluye la demostraci on del teorema.
Ejercicio. Lo que hemos probado en los dos teoremas de Stone-Weierstrass es que cuando A
no es nunca nula, la clausura de A en C(X) (resp. C
c
(X)) contiene a todas las funciones reales
(resp. complejas) continuas que se anulan en p. Pruebe que si f C(X) (resp. C
c
(X)) no se
anula en p, entonces f / A.
Ejemplo. Claramente si un algebra contiene una constante, entonces es nunca nula. Ahora
presentaremos un ejemplo de un algebra nunca nula, que separa puntos y que no contiene a las
constantes.
Sea X un subconjunto compacto de R que no contiene al cero, y denamos el algebra
A = {xp(x) : p es un polinomio}
no es difcil de probar que A es un algebra de funciones continua sobre X, que es nunca nula
y separa puntos. Estas dos ultimas armaciones se deben a que x A y 0 / X. Por lo tanto,
A = C(X).
64 CAP

ITULO 3. CONVERGENCIA UNIFORME

Finalizamos esta secci on con un interesante resultado de Sz asz y M unst que da una condici on
necesaria y suciente para que un subconjunto de las potencias de la funcion x en [0, 1] genere
un espacio vectorial cuya clausura es C[0, 1].
Teorema 3.10 (Sz asz-M unst). Considere las funciones x
n
k
con
1 = n
1
< n
2
< < n
k
< . . . , n
k
N
Luego, la clausura de el conjunto de combinaciones lineales de estas potencias es C[0, 1] si y
s olo si

k=1
1
n
k
=
3.2. TEOREMAS DE DINI 63
3.2. Teoremas de Dini
Denici on 3.11. Sea X un espacio metrico y {f
n
} una sucesi on en C(X). Decimos que la
sucesi on {f
n
} es mon otona en n si para todo x X se cumple f
n
(x) f
n+1
(x), n 1, o bien
para todo x X se cumple f
n+1
(x) f
n
(x), n 1.
Teorema 3.12 (Dini). Sea X un espacio metrico compacto y {f
n
} una sucesi on de funciones
mon otona en C(X) que converge puntualmente a una funci on continua f C(X). Luego la
convergencia es uniforme.
Demostraci on. Sin perdida de generalidad supondremos que para todo x X, f
n+1
(x)
f
n
(x). Sea > 0. Para cada n denimos el abierto
A
n
:= {x X : f
n
(x) < f(x) +}.
Notemos que A
n
A
n+1
. Adem as, la convergencia puntual de f
n
a f implica que X =

nN
A
n
.
Luego, por la compacidad de X, existe un N tal que
X =
N

k=1
A
k
.
Entonces X = A
N
y
f
n
(x) f(x) < ,
para todo x X, si n N. Por otra parte, es obvio que f(x) f
n
(x) para todo x X y n.
Por lo tanto, f
n
f uniformemente.
Ejemplo. En este ejemplo presentaremos una sucesi on de funciones m onotonas denidas en
un compacto, que no converge uniformemente a ninguna funci on continua.
Consideremos el espacio metrico compacto
X = [0, 1] con la metrica inducida por (R, | |)
y la sucesi on de funciones continuas f
n
(x) =
1 x
n
. Esta es una sucesi on mon otona con
f
n
(x) f
n+1
(x) para todo x [0, 1] y n.
Adem as, esta sucesi on converge puntualmente
en [0, 1] a una funci on discontinua
f(x) =

1 si 0 x < 1
0 si x = 1
Luego, la sucesi on {f
n
} no converge uniformemente a ninguna funci on real continua denida
sobre [0, 1].
Teorema 3.13 (Dini). Sea {f
n
} una sucesi on en C[0, 1] con todos sus terminos funciones
mon otonas. Supongamos que f
n
converge puntualmente a una funci on f C[0, 1]. Luego la
convergencia es uniforme.
Demostraci on. Sea > 0, luego existe > 0 tal que
|f(x) f(y)| <

3
2
si |x y| <
64 CAP

ITULO 3. CONVERGENCIA UNIFORME

Sea 0 =: x
1
< x
2
< < x
m
:= 1 una partici on de [0, 1] tal que |x
i+1
x
i
| < /2 para
1 i m1. Notemos que existe un natural N tal que
sup
1im
|f
n
(x
i
) f(x
i
)| <

3
2
si n N
Por otra parte, para cada i = 1, 2, . . . m1 tenemos
|f
n
(x
i
) f
n
(x
i+1
)| |f
n
(x
i
) f(x
i
)| +|f(x
i
) f(x
i+1
)| +|f(x
i+1
) f
n
(x
i+1
)|
<

3
si n N
Sea x [0, 1], luego x est a en un intervalo de la forma [x
i
, x
i+1
]. Como las f
n
son mon otonas
tenemos que |f
n
(x) f
n
(x
i
)| < /3, cuando n N. Luego
|f
n
(x) f(x)| |f
n
(x) f
n
(x
i
)| +|f
n
(x
i
) f(x
i
)| +|f(x
i
) f(x)| <
si n N y x [x
i
, x
i+1
]. Por lo tanto, la sucesi on {f
n
} converge a f uniformemente en
[0, 1].
3.3. Teorema de Arzela-Ascoli
En esta secci on estableceremos condiciones f acilmente vericables en algunos casos, que
implican que una collecci on de funciones continuas es un conjunto compacto en la metrica
uniforme.
Denici on 3.14. Diremos que un espacio metrico es separable si tiene un subconjunto denso
numerable.
Ejercicio. Sea (X, ) un espacio metrico. Pruebe que X es separable si y s olo si tiene una base
numerable.
Lema 3.15. Todo espacio metrico X compacto es separable.
Demostraci on. Recordemos que como X es compacto, es totalmente acotado. Luego, para
cada n N existen m
n
puntos x
1
, . . . , x
mn
tales que la uni on de las bolas abiertas centradas
en ellos de radio 1/n es todo el espacio X. Si denimos A
n
:= {x
1
, x
2
, . . . , x
mn
, entonces
D =

k=1
A
n
es denso y numerable en X.
Ejercicio. Considere una familia F de funciones equicontinuas denidas en un compacto X.
Demuestre que F es una colecci on uniformemente equicontinua.
Lema 3.16. Sean (X, ) e (Y, ) espacios metricos con Y completo. Sea {f
n
} una sucesi on en
C(X, Y ). Supongamos que {f
n
: n N} es equicontinua y adem as que existe un subconjunto
D X denso tal que f
n
(x) converge si x D. Luego existe una funci on f C(X, Y ) tal que
f
n
(x) converge puntualmente en X a f, y la convergencia es uniforme en compactos.
3.3. TEOREMA DE ARZELA-ASCOLI 65
Demostraci on. Deberemos partir probando la existencia de la funci on f, para ello probare-
mos que dado x X la sucesi on f
n
(x) es de Cauchy en Y . Sea > 0 y x X, entonces existe
> 0 tal que
sup
n
(f
n
(x), f
n
(y)) <

3
si (x, y) < (3.4)
Como D es denso en X, existe y D tal que (x, y) < y
(f
n
(x), f
m
(x)) 2 sup
n
(f
n
(x), f
n
(y)) +(f
n
(y), f
m
(y)) <
para n, m sucientemente grandes, ya que f
n
(y) converge. Luego, para cada x X la sucesi on
f
n
(x) es de Cauchy y, por la completud del espacio Y , podemos denir
f(x) = lm
n
f
n
(x).
Ahora, si queremos probar la continuidad de f en x X notemos que para cada y B(x, )
existe un natural N tal que
(f(x), f
n
(x)) <

3
y (f(y), f
n
(y)) <

3
, para todo n N.
Luego, de la ecuaci on (3.4), tenemos que
(f(x), f(y)) (f(x), f
n
(x)) + sup
n
(f
n
(x), f
n
(y)) +(f
n
(y), f(y)) <
si (x, y) < . De donde se concluye la continuidad de f en X.
Finalmente, nos falta demostrar que la convergencia es uniforme en compactos. Sea K un
compacto en X. Luego para cada > 0 existen x
1
, x
2
, . . . , x
r
K tales que
K
r

i=1
B(x
i
, /2)
r

i=1
B(x
i
, /2).
Denamos K
i
:= K B(x
i
, /2). Ahora sea > 0. Por el ejercicio anterior sabemos que la
colecci on F es uniformemente equicontinua en K. Luego podemos elegir > 0 de modo que
sup
n
(f
n
(x), f
n
(x
i
)) < /3 cuando x K
i
. Adem as supondremos, ocupando la continuidad de
f, que (f(x), f(x
i
)) < /3 si x K
i
Por lo tanto, de la convergencia f
n
(x
i
) f(x
i
), vemos
que para cada x K
i
existe un natural N
i
(que depende s olo de i) tal que
(f
n
(x), f(x)) sup
n
(f
n
(x), f
n
(x
i
)) +(f
n
(x
i
), f(x
i
)) +(f(x
i
), f(x)) < ,
para cada n N
i
. Como K =

r
i=1
K
i
tendremos que para n sucientemente grande
sup
xK
(f
n
(x), f(x)) = m ax
1ir
sup
xK
i
(f
n
(x), f(x)) < .
de donde se concluye la convergencia uniforme en compactos.
Lema 3.17. Sea D un conjunto numerable e (Y, ) un espacio metrico. Sea {f
n
} una sucesi on
de funciones de D en Y , tales que {f
n
(x) : n N} es compacto en Y , para todo x D. Luego
existe una subsucesi on f
n
k
tal que para cada x D, f
n
k
converge.
66 CAP

ITULO 3. CONVERGENCIA UNIFORME

Demostraci on. Sea D = {x
k
: k N}. Como {f
n
(x) : n N} es compacto, para cada
x D, luego f
n
(x
1
) tiene una subsucesi on convergente f
n
1,k
(x
1
). Para f
n
1,k
(x
2
) existe una sub-
sucesi on convergente f
n
2,k
(x
2
). Inductivamente f
n
j1,k
(x
j
) tiene una subsucesi on convergente
f
n
j,k
(x
j
). Luego, para cada x D la subsucesi on f
n
k,k
converge.
Teorema 3.18 (Arzela-Ascoli). Sean (X, ) e (Y, ) espacios metricos, con X separable e
Y completo. Sea F C(X, Y ) una familia equicontinua en X. Adem as suponemos que para
cada x X, la clausura de {f(x) : f F} es compacta en Y . Luego, toda sucesi on {f
n
} en
F tiene una subsucesi on {f
n
k
} que converge puntualmente a una funci on f C(X, Y ) y la
convergencia es uniforme en cada compacto de X.
Demostraci on. Sea {f
n
} una sucesi on en F y D X denso y numerable. Por el Lema 3.17
existe una subsucesi on f
n
k
que converge para cada x D. Luego, del Lema 3.16 tendremos
que la sucesi on f
n
k
converge puntualmente en X a una funci on continua f, y uniformemente
en compactos de X.
Corolario 3.19. Sean (X, ) e (Y, ) espacios metricos, con X compacto e Y completo. Sea
F C(X, Y ). Luego F es compacto en C(X, Y ) si y s olo si se cumplen las siguientes condi-
ciones:
(i) F es equicontinua en X, y
(ii) para todo x X, {f(x) : f F} es compacto en Y .
Demostraci on. Comenzaremos suponiendo que (i) y (ii) son ciertos. Para ello ser a necesario
probar que F es equicontinua y que {f(x) : f F} = {f(x) : f F}, pues, de ser as, por el
Teorema de Arzela-Ascoli tendremos inmediatamente que F es compacto, considerando que X
es compacto y separable. En pocas palabras, la compacidad de F se debe a que si {f
n
} es una
sucesi on en F, luego existe una subsucesi on {f
n
k
} que converge uniformemente en compactos
de X a una funci on f C(X, Y ). Como X es compacto, entonces f
n
k
f uniformemente en
X y tendremos que f F.
Sea > 0, entonces existe > 0 tal que
sup
fF
(f(x), f(y)) < cuando (x, y) <
Sea g F, entonces existe una sucesi on {g
n
} en F que converge uniformemente a g. Luego,
(g(x), g(y)) 2 sup
xX
(g(x), g
n
(x)) + sup
fF
(f(x), f(y))
y haciendo tender n al innito tendremos que
(g(x), g(y)) sup
fF
(f(x), f(y)) < cuando (x, y) <
de donde se concluye que F es una familia equicontinua de funciones, si F lo es.
Ahora bien, es claro que {f(x) : f F} {f(x) : f F}. Sea g F y {g
n
} F que converge
uniformemente a g. Luego, para cada x X tenemos que
{g
n
(x)} {f(x) : f F} = g(x) {f(x) : f F}
3.3. TEOREMA DE ARZELA-ASCOLI 67
de donde se obtiene la igualdad entre {f(x) : f F} y {f(x) : f F}. Por lo tanto, F es un
subconjunto compacto de C(X, Y ).
Recprocamente, para cada x X denamos T
x
: F Y dada por
T
x
(f) = f(x)
podemos notar que para todo > 0 existe un > 0 (que en este caso = ) tal que
(T
x
(f), T
x
(g)) < cuando sup
xX
(f(x), g(x)) <
luego, para cada x X la aplicaci on T
x
es continua. Entonces,
T
x
(F) = {f(x) : f F}
es compacto en Y , dada la continuidad de T
x
. En particular tendremos que {f(x) : f F} es
compacto en Y , y tenemos probado (ii).
Finalmente, sea > 0, luego existen f
1
, f
2
, . . . , f
n
F tales que
F
n

i=1
B(f
i
,

3
)
y denamos los conjuntos compactos de C(X, Y ) dados por K
i
= F B(f
i
,

3
). Claramente la
uni on de los K
i
, 1 i n, es todo F. Sea x X, luego para cada f K
i
, 1 i n, se tiene
que
(f(x), f(y)) 2 sup
xX
(f(x), f
i
(x)) +(f
i
(x), f
i
(y)) < cuando (x, y) <
i
dada la continuidad de las f
i
, 1 i n. Entonces, para obtener la equicontinuidad de la
familia F notemos que
sup
fF
(f(x), f(y)) sup
fF
(f(x), f(y)) = m ax
1in
sup
fK
i
(f(x), f(y)) <
cuando (x, y) < , con = mn
1in

i
. Por lo tanto, la familia F es equicontinua y concluimos
la prueba de (i).
Ejemplo. El siguiente ejemplo muestra que la compacidad del espacio metrico X no es super-
ua en el corolario anterior. Sea X = Y = R con la metrica usual, y sea f
n
una sucesi on de
funciones continuas dadas por
f
n
(x) =

2(x n) si x [n, n +
1
2
]
2(x (n + 1)) si x [n +
1
2
, n + 1]
0 en otro caso
Claramente la familia F = {f
n
: n N}
es una familia equicontinua tal que para ca-
da x R el conjunto {f
n
(x) : n N}
tiene clausura compacta. En general, para ca-
da x R estos conjuntos constan de a lo m as
dos puntos, y por lo tanto su clausura es el
mismo conjunto.
68 CAP

ITULO 3. CONVERGENCIA UNIFORME

Podemos notar que para cada x R la sucesi on f
n
(x) 0, cuando n , que es una funci on
continua. Pero la convergencia con es uniforme, ya que
sup
xR
|f
n
(x)| = 1
En cambio si nos restringieramos a conjuntos compactos de R, por el Teorema de Arzela-Ascoli,
la sucesi on f
n
convergera uniformemente a 0.
Finalizamos esta secci on con el siguiente resultado existencial para ecuaciones diferenciales
ordinarias.
Teorema 3.20. ( Peano). Sean t
0
, y
0
R y a, b reales positivos. Considere una funci on real
f(t, y) continua y acotada en
R := {(t, x) : t
0
t t
0
+a, |y y
0
| b}.
Sea M una cota para |f(t, y)| en R y = mn{a, b/M}. Luego la ecuaci on,

= f(t, y)
y(t
0
) = y
0
tiene una soluci on y = y(t) en [t
0
, t
0
, ].
Demostraci on. Sea tal que 0 < < b/M. Ahora, consideremos la funci on denida en
[t
0
, t
0
],
y
0
(t) := y
0
+ (t t
0
)f(t
0
, y
0
).
Notemos que ella satisface y
0
(t
0
) = y
0
, y

0
(t) = f(t
0
, y
0
), |y

0
(t)| M y |y
0
(t) y
0
| b.
Recursivamente, denimos para cada tal que 0 < < la funci on y

(t) denida en [t
0
, t
0
+]
por y

(t) = y
0
(t) en [t
0
, t
0
] y
y

(t) = y
0
+

t
t
0
f(s, y

(s ))ds,
para t en [t
0
, t
0
+]. Notemos que |y

(t) y
0
| b para t [t
0
, t
0
+]. Ademas, para cada h, t
tales que [t, t +h] [t
0
, t
0
+] tenemos que
|y

(t +h) y

(t)| hM.
Por lo tanto, la colecci on de funciones {y

(t) : 0 < < } es una colecci on equicontinua denida

en un compacto. Por el teorema de Arzela-Ascoli, la sucesi on y
n
:= y
1/n
tiene una subsucesi on
y
n
k
que converge uniformemente a alguna funci on y

en C[t
0
, t
0
+ ]. Por la uniformidad de
la convergencia vemos f acilmente que la funci on y

soluciona la ecuaci on.

Captulo 4
Preambulos de la integraci on
4.1. Completitud de las funciones Riemann integrables
Consideremos la sucesi on de funciones reales en [0, 1] denidas por
f
n
(x) =

1 si x = q
1
, . . . , q
n
0 si x = q
1
, . . . , q
n
,
donde {q
n
} es una enumeraci on de los racionales en [0, 1]. Notemos que todos los terminos son
Riemann-integrables y que
1
0
f
n
(x)dx = 0. Sin embargo, lm
n
f
n
(x) = f(x) donde
f(x) =

1 si x Q [0, 1]
0 si x / Q [0, 1].
Pero esta funci on no es Riemann integrable. Esta es la primera indicaci on de la dicultad que
existe en tratar de denir un espacio L
R
de funciones en [0, 1] con una norma dada por
la integral de Riemann del m odulo de la funcion. En efecto, si tal espacio existeria hemos
construdo una sucesi on de Cauchy {f
n
},
sup
mn

1
0
|f
n
(x) f
m
(x)|dx = 0
que converge puntualmente a una funci on que no es Riemann integrable. Es decir, pareciera
que nuestro espacio L
R
no puede ser completo. Sin embargo, si Ud. est a atento, notar a que
lm
n

1
0
|f
n
(x) g(x)|dx = 0,
donde g(x) := 0. Es decir, a pesar de que la sucesi on converge puntualmente a f, en norma
de Riemann convergera a la funci on 0. Lo que hemos hecho es reemplazar el lmite puntual f
por una funci on (g) que diere en un conjunto de medida de Lebesgue 0. En realidad, existe
una ambiguedad, expresada por el siguiente lema.
Lema 4.1. Sean f, g, h : [0, 1] R Riemann integrables tales que sus m odulos y los m odulos
de sus diferencias tambien los son. Supongamos adem as que g diere de h en un conjunto de
medidad de Lebesgue 0. Entonces

1
0
|f g|dx =

1
0
|f h|dx.
73
74 CAP

ITULO 4. PRE

AMBULOS DE LA INTEGRACI

ON
Demostraci on. Notemos que,

1
0
|h g|dx = 0. Adem as,

1
0
|f g|dx

1
0
|f h|dx +

1
0
|h g|dx =

1
0
|f h|dx.
Similarmente

1
0
|f h|dx

1
0
|f g|dx.
Por lo tanto, si quisieramos denir un espacio de funciones Riemann integrables, deberamos
considerar las clases de equivalencias de funciones, donde dos funciones son equivalentes si y s olo
si dieren en un conjunto de medida de Lebesgue 0. Lamentablemente, aceptando que fuera
posible denir tal espacio nos encontraramos con sucesiones de Cauchy que no convergen.
Consideremos el conjunto de Cantor C denido recursivamente: C
1
es el intervalo [0, 1] menos
el intervalo abierto central de largo 1/5; C
2
se obtiene luego de remover de cada uo de los dos
intervalos de C
1
sus intervalos abiertos centrales de largo 1/5
2
; etc. Luego C =
n
C
n
. Ahora
denimos f
n
como la funci on indicatriz de C
n
y f como la funci on indicatriz de C. Claramente
f
n
converge puntualmente a f. Adem as tenemos los siguientes resultados.
Lema 4.2. La sucesi on f
n
satisface,
sup
mn

1
0
|f
n
(x) f
m
(x)|dx
1
3

2
5

n
.
Demostraci on. Notemos que si m n, la integral

1
0
|f
n
(x) f
m
(x)|dx, representa la lon-
gitud total de todos los intervalos abiertos eliminados entre la n-esima y m-esima etapa en la
construcci on del conjunto C. Es decir,
1
5
m

k=n

2
5

1
3

2
5

n
.
Lema 4.3. Cualquier modicaci on de f en un conjunto de medida de Lebesgue 0 no es Riemann
integrable.
4.2. Divergencia de las series de Fourier
A principios del siglo 19, se saba, gracias al trabajo de Joseph Fourier sobre la ecuaci on del
calor, que toda funci on peri odica se poda aproximar por combinaciones lineales de funciones
trigonometricas. Sin emargo, el sentido preciso de tal aproximaci on no se comprend a. En esta
secci on describiremos algunos de los problemas a los que se enfrentaron en este contexto los
matem aticos de la epoca.
Consideremos una funci on f : [, ] R. Los trabajos de Fourier explicaban que la serie
S
n
(f; x) :=
1
2
n

k=n
c
k
e
k
,
donde e
k
:= e
ikx
y c
k
:=

f(x) e
k
dx llamados los coecientes de Fourier de f, aproxima a
la funci on f. M as adelante veremos que tal armaci on cobra naturalidad en el contexto de los
espacios de Hilbert. Es obvio que si
4.2. DIVERGENCIA DE LAS SERIES DE FOURIER 75
n

k=n
|c
k
|
converge, entonces S
n
(f; x) es convergente, y es posible probar que su lmite es f.
Teorema 4.4. Wiener. Supongamos que f : [, ] R es Riemann integrable y que sus
coecientes de Fourier forman una serie absolutamente convergente. Supongamos adem as que
f nunca es 0. Luego 1/f tiene coecientes de Fourier que forman una serie absolutamente
convergente.
Examinaremos esta serie en el caso en el que f C
c
[, ], el espacio de funciones continuas
complejas en [, ]. Probaremos el siguiente resultado sorprendente, que ilustra la dicultad
que existe al insitir en interpretar la convergencia de una serie de Fourier en el sentido puntual.
Teorema 4.5. Existe un conjunto F C
c
[, ] de primera categora tal que para toda funci on
f F
c
el conjunto
Q
f
= {x : sup
n
s
n
(f; x) = },
tiene complemento en [, ] de primera categora.
La observaci on esencial para demostrar este teorema es el siguiente lema.
Lema 4.6. Sea x [, ]. Luego el conjunto
{f C
c
[, ] : sup
n
s
n
(f; x) = },
tiene complemento de primera categora.
Veamos como demostrar el teorema a partir de este lema. Para cada x llamemos F
x
al
conjunto de primera categora del lema. Denamos
F :=
x racional
F
x
.
Luego F es de primera categora. Addem as, si f / F, necesariamente
sup
n
s
n
(f; x) = ,
para todo x racional. Ahora, para cada funcion f en C
c
[, ], podemos esciribir
{x : s
n
(f; x) = } =
N
{x : s
n
(f; x) > N}.
Como cada uno de los conjuntos de la intersecci on del lado derecho es abierto (por ser s
n
(f; x)
continua), esta igualdad muestra que {x : s
n
(f; x) = } es un G

, es decir una intersecci on

numerable de abiertos. Por lo tanto, si f F
c
, hemos probado que tal conjunto es un G

que
contiene los racionales. Esto implica que su complemento es de primera categora, lo que prueba
el teorema.
A continuaci on demostraremos el lema. Como primera observaci on notemos que
S
n
(f; x) :=
1
2

f(t)D
n
(x t)dt,
76 CAP

ITULO 4. PRE

AMBULOS DE LA INTEGRACI

ON
donde
D
n
(t) :=
n

k=n
e
ikt
es el llamado kernel de Dirichlet. Probaremos el lema en el caso x = 0. Denimos

n
f := S
n
(f; 0).
Esto dene un operador lineal desde C
c
[, ] en los reales. Por le teorema de Banach-
Steinhaus, basta probar que
lm
n
||
n
|| = .
Notemos que
||
n
f||
||f||

1
2

|D
n
(t)|dt.
Adem as, siempre es posible denir una sucesi on de funciones g
k
C
c
[, ] tales que 1
g
k
1 y lm
k
g
k
(t) = g(t), donde g(t) = 1 si D
n
(t) 0 y g(t) = 1 si D
n
(t) < 0. Luego
lm
k

n
(g
k
) =
1
2

g(t)D
n
(t)dt =
1
2

|D
n
(t)|dt.
Esto prueba que ||
n
|| =
1
2

|D
n
(t)|dt. Pero un c alculo simple muestra que
D
n
(t) =
sin(n + 1/2)t
sint/2
.
Luego
1
2

|D
n
(t)|dt
2

sin(n+1/2)t
t

dt (4.1)
=
2

(n+1/2)
0
| sin t|
dt
t

4

n
k=1
1
k
. (4.2)
Es decir, ||
n
|| .
Es importante comparar el teorema demostrado con el siguiente caso particular de un
teorema de Carleson.
Teorema 4.7. Carleson. Sea f C
c
[, ]. Luego existe un conjunto E [, ] de medida
de Lebesgue 0 tal que
lm
n
S
n
(f; x) = f(x),
para todo x E
c
.
El resultado original de Carleson de 1966 es para funciones Lebesgue integrables demostran-
do una conjetura de Luzin formulada en 1922. Parcialmente por ello, en 2006, Carleson obtuvo
el premio Abel.
Antes de terminar, mencionamos el siguiente teorema.
Teorema 4.8. Kahane-Katznelson. Sea E [, ] un conjunto de medida de Lebesgue 0.
Luego existe una funci on f C
c
[, ] tal que la sucesion S
n
(f; x) diverge si y s olo si x E.
4.3. FUNCIONES MON

OTONAS: WEIERSTRASS Y EL TEOREMA DE LEBESGUE 77

4.3. Funciones mon otonas: Weierstrass y el teorema de Lebesgue
Un problema que atrajo la atenci on en el siglo 19, son las propiedades de diferenciabilidad
de las funciones continuas. La pregunta m as b asica es cu an poco diferenciable puede ser una
funci on continua. En una charla a la Academia Real de Ciencias de Berln en 1872, Riemann
conjetur o que la funci on
R(x) =

k=1
sin(kx)
k
2
, (4.3)
es continua en todas partes y no diferenciable en ning un punto (CTPND), pero sin demostrarlo.
Por la convergencia absoluta de la serie es obvio que la funci on es continua. En 1876 Weierstrass
examin o
K(x) =

n=1
a
n
cos(b
n
x)
con a (0, 1), b (2n + 1)Z y ab > 1 +
3
2
, probando que es continua y no diferenciable
en ning un punto. Recien en 1916, G. Hardy prueba que R(x) es no diferenciable en todos los
irracionales y en alguos racionales. Adem as prob o que K(x) es CTPND si 0 < a < 1 y ab 1.
En 1969, Joseph Gerver prueba el siguiente resultado.
Teorema 4.9. La funci on R(x) es diferenciable en x si y s olo si x = p/q es racional con p y
q impares. Adem as, en tales puntos su derivada es igual a 1/2.
Finalmente, en 1930 Van den Waerden estudio la funci on
W(x) =

n=0
f(10
n
x)
10
n
donde f es peri odica de periodo 1 y
f(x) =

x si 0 x 1/2
1 x si 1/2 x 1
probando el siguiente resultado.
Teorema 4.10. La funci on W(x) es continua y no diferenciable en ning un punto.
4.3. FUNCIONES MON

OTONAS: WEIERSTRASS Y EL TEOREMA DE LEBESGUE 77

4.3. Funciones mon otonas: Weierstrass y el teorema de Lebesgue
Un problema que atrajo la atenci on en el siglo 19, son las propiedades de diferenciabilidad
de las funciones continuas. La pregunta m as b asica es cu an poco diferenciable puede ser una
funci on continua. En una charla a la Academia Real de Ciencias de Berln en 1872, Riemann
conjetur o que la funci on
R(x) =

k=1
sin(kx)
k
2
, (4.3)
es continua en todas partes y no diferenciable en ning un punto (CTPND), pero sin demostrarlo.
Por la convergencia absoluta de la serie es obvio que la funci on es continua. En 1876 Weierstrass
examin o
K(x) =

n=1
a
n
cos(b
n
x)
con a (0, 1), b (2n + 1)Z y ab > 1 +
3
2
, probando que es continua y no diferenciable
en ning un punto. Recien en 1916, G. Hardy prueba que R(x) es no diferenciable en todos los
irracionales y en alguos racionales. Adem as prob o que K(x) es CTPND si 0 < a < 1 y ab 1.
En 1969, Joseph Gerver prueba el siguiente resultado.
Teorema 4.9. La funci on R(x) es diferenciable en x si y s olo si x = p/q es racional con p y
q impares. Adem as, en tales puntos su derivada es igual a 1/2.
Finalmente, en 1930 Van den Waerden estudio la funci on
W(x) =

n=0
f(10
n
x)
10
n
donde f es peri odica de periodo 1 y
f(x) =

x si 0 x 1/2
1 x si 1/2 x 1
probando el siguiente resultado.
Teorema 4.10. La funci on W(x) es continua y no diferenciable en ning un punto.
78 CAP

ITULO 4. PRE

AMBULOS DE LA INTEGRACI

ON
Demostraci on. Para probar la continuidad de W(x) denamos
W
n
(x) =
n

k=0
f(10
k
x)
10
k
luego W
n
es una sucesi on de funciones continua en R tal que si m > n tendremos que
|W
n
(x) W
m
(x)|
m

k=n
1
10
k
que va a cero uniformemente cuando n, m (dada la convergencia de la serie con terminos
10
k
). Por lo tanto {W
n
} es una sucesi on de Cauchy en las funciones continuas, con lmite la
funci on continua W(x).
Para probar que W(x) no es diferenciable en ning un punto, notemos que W(x+1) = W(x).
Entonces, es suciente que W(x) es no diferenciable en [0, 1]. Si [x] es la parte entera de x,
denimos Fr(x) := x [x] la parte fraccionaria de x. Luego es f acil probar que f(10
n
x) =
f(Fr(10
n
x)). Sea x [0, 1] dado por su expansi on decimal
x = 0.a
1
a
2
. . . a
m
. . . , 0 a
i
9, i N.
Denimos
h
m
=

10
m
si a
m
= 4, 9
10
m
si a
m
= 4, 9
Queremos analizar
W(x +h
m
) W(x)
h
m
= 10
m

n=0
f(10
n
(x +h
m
)) f(10
n
x)
10
n
.
Separamos el an alisis en tres casos:
1) Si n m, entonces Fr(10
n
(x +h
m
)) = 0.a
n+1
. . . = Fr(10
n
x). Luego
W(x +h
m
) W(x)
h
m
= 10
m
m1

n=0
f(10
n
(x +h
m
)) f(10
n
x)
10
n
.
2) Si n = m1, entonces Fr(10
n
(x +h
m
)) = 0.(a
m
1)a
m+1
. . .. Luego
f(10
n
(x +h
m
)) f(10
n
x) =

10
nm
si a
m
= 5, 6, 7, 8, 9
10
nm
si a
m
= 0, 1, 2, 3, 4
3) Si n < m1, si denimos k := mn tenemos que k = 2, . . . , m. Entonces
Fr(10
n
(x +h
m
)) = 0.a
m(k1)
a
m(k2)
. . . (a
m
1)a
m+1
. . .
y tendremos que
f(10
n
(x +h
m
)) f(10
n
x) =

10
nm
si a
m(k1)
= 5, 6, 7, 8, 9
10
nm
si a
m(k1)
= 0, 1, 2, 3, 4
Luego,
W(x +h
m
) W(x)
h
m
= 10
m
m1

n=0
f(10
n
(x +h
m
)) f(10
n
x)
10
n
= m
que diverge cuando m . Por lo tanto W(x) no es diferenciable en ning un punto.
4.3. FUNCIONES MON

OTONAS: WEIERSTRASS Y EL TEOREMA DE LEBESGUE 79

Teorema 4.11. Sea f : [a, b] R es una funci on mon otona, entonces la cardinalidad del
conjunto de puntos donde f no es continua es a lo m as numerable.
Demostraci on. Sin perdida de generalidad supondremos que f es mon otona no decreciente.
Denamos
w(x) := lm
yx
f(y) lm
yx
f(y)
y
D
x
:= {z : lm
yx
f(y) < z < lm
yx
f(y)}.
luego f es continua en x si y s olo si w(x) = 0. Supongamos que x
0
y x
1
son puntos de
discontinuidad de f, entonces D
x
0
, D
x
1
son no vacos tales que D
x
0
D
x
1
= . Como para
cada D
x
no vaco existe un racional q que est a en D
x
, entonces no puede haber m as que una
cantidad numerable de puntos de discontinuidad de f, dado que los D
x
= son disjuntos.
Acabamos de probar que una funci on mon otona denida en un intervalo acotado es continua
salvo por una cantidad numerable de puntos. Ahora nos interesa analizar, para la clase de
funciones mon otonas su diferenciabilidad. Probaremos el siguiente resultado.
Teorema 4.12 (Lebesgue). Sea f una funci on mon otona en [a, b]. Luego f es c.s. diferen-
ciable.
Como primer paso en la demostraci on, probaremos el siguiente lema ocupando implcita-
mente el concepto de medida externa.
Lema 4.13. Sea 0 < q < 1 y E R. Supongamos que E ocupa una fracci on menor o igual a
q en todo intervalo. Es decir, si (a, b) R, entonces E (a, b) est a contenido en

k=1
(a
k
, b
k
)
tal que

k=1
(b
k
a
k
) q(b a).
Luego m(E) = 0.
Demostraci on. Sea (a, b) R. Sabemos que existe una sucesi on de intervalos abiertos (a
k
, b
k
)
tales que E (a, b)

k=1
(a
k
, b
k
) y

k=1
(b
k
a
k
) q(b a).
Similarmente, para cada intervalo (a
k
, b
k
) existe una sucesi on (a
k,1
, b
k,1
), (a
k,2
, b
k,2
), . . . tal que
E (a
k
, b
k
)

k
1
=1
(a
k,k
1
, b
k,k
1
) y

k
1
=1
(b
k,k
1
a
k,k
1
) q(b
k
a
k
).
Combinando ambas desigualdades conclumos que

k=1

k
1
=1
(b
k,k
1
a
k,k
1
) q
2
(b a).
Por inducci on en n podemos entonces conclur que para todo n existe una colecci on de intervalos
abiertos (c
1
, d
1
), (c
2
, d
2
), . . . tales que E (a, b)

j=1
(c
j
, b
j
) y
80 CAP

ITULO 4. PRE

AMBULOS DE LA INTEGRACI

ON

j=1
(c
j
d
j
) q
n
(b a).
Por lo tanto, por denici on m(E) = 0.
Continuamos con el siguiente Lema conocido como el lema del agua que uye o el lema del
sol creciente.
Lema 4.14 (Riesz). Sea g una funci on en [a, b] tal que g(a
+
) = lm
h0
g(a + h) y g(b

) =
lm
h0
g(b +h) existen, y para todo punto x (a, b),
g(x
+
) = lm
h0
g(x +h) y g(x

) = lm
h0
g(x +h)
existen. Sea
G(x) := m ax{g(x

), g(x), g(x
+
)}.
Luego
E := {x [a, b] : y [a, b], y > x, g(y) > G(x)}
es abierto. Adem as, si (c, d) es alguna componente en E, entonces
G(d) g(c
+
).
Demostraci on. Probaremos primero que E es abierto. Sea x E. Luego existe y [a, b],
y > x, tal que
g(y) > G(x).
Denamos := g(y) G(x) > 0. Como g(x

) existe, entonces existe un > 0 tal que para

todo z (x , x)
|g(z

) g(x

)| <

2
, |g(z) g(x

)| <

2
, |g(z
+
) g(x

)| <

2
. (4.4)
Luego de (6.3) se tiene
G(z) g(x

) +

2
G(x) +

2
g(y)

2
g(y)
por lo tanto z E. Similarmente, haciendo el mismo an alisis para g(x
+
) podemos concluir que
existe una vecindad de x que est a enteramente contenida en E. De ello concluimos que E es
abierto.
Sea (c, d) una componente conexa abierta de E. Supondremos que g(c
+
) > G(d), luego
existe > 0 y x (c, d) tales que
g(x) G(d) +
Denamos
z
1
:= sup{z [x, d] : g(z) G(d) +}.
Luego G(z
1
) g(z

1
) G(d) + , de donde es inmediato que z
1
= d (en particular z
1
< d).
Entonces z
1
E. Por lo tanto existe y (a, b), y > z
1
, tal que
g(y) > G(z
1
) G(d) +
Pero esto contradice la denici on de z
1
.
4.3. FUNCIONES MON

OTONAS: WEIERSTRASS Y EL TEOREMA DE LEBESGUE 81

Denici on 4.15. Sea f : R R. Luego denimos las derivadas de Dini de f por,
f
+
(x) := lmsup
yx
f(y) f(x)
y x
, f

(x) := lmsup
yx
f(y) f(x)
y x
,
f
+
(x) := lminf
yx
f(y) f(x)
y x
, f

(x) := lminf
yx
f(y) f(x)
y x
,
Para demostrar el teorema de Lebesgue probaremos que
f
+
(x) < c.s. (4.5)
y que
f
+
(x) f

(x) c.s.
En efecto, si la segunda desigualdad es verdadera, deniendo h(x) := f(x), vemos que
h
+
(x) = f

(x) y h

(x) = f
+
(x). Luego
f

(x) f
+
(x) c.s.
Por lo tanto
f
+
(x) f

(x) f

(x) f

(x) f
+
(x) c.s.
y la desigualdad (4.5) implica que f es c.s. diferenciable. Para probar (4.5) denimos el conjunto
E
R
:= {x (c, d) : f es continua en x, f
+
(x) > R}.
Mostraremos que el conjunto
E =
R
E
R
,
tiene medida de Lebesgue 0. Notemos que si x E
R
, entonces existe un y > x tal que
f(y) f(x)
y x
> R.
Es decir, g(y) > g(x) donde g(x) = f(x) Rx. Por el lema anterior, existen intervalos disjuntos
(a
k
, b
k
) tales que
F(b
k
) Cb
k
f(a
k
) Ca
k
,
con F(x) := m ax{f(x

), f(x), f(x
+
)}, lo que equivale a
C(b
k
a
k
) F(b
k
) f(a
k
).
Sumando sobre k y ocupando la monotonicidad de f conclumos que
R

(b
k
a
k
)

(f(b
+
k
) f(a
k
)) f(b) f(a).
Esto prueba que E tiene medida de Lebesgue 0. Ahora sea
E
r,R
:= {x (a, b) : f

(x) < r < R < f

+
(x)}.
82 CAP

ITULO 4. PRE

AMBULOS DE LA INTEGRACI

ON
Mostraremos que el conjunto
F :=
r,RQ
E
r,R
,
tiene medida de Lebesgue 0. Para ello probaremos que cada conjunto E
r,R
tiene medida de
Lebesgue 0. En efecto, primero notemos que si x Er, R, entonces f

(x) < r. Por lo tanto,

considerando la funci on f(x) rx, vemos que deben existir intervalos disjuntos (a
k
, b
k
) cuya
uni on contiene a E
r,R
tales que

k
(f(b
k
) f(a
k
)) r

k
(b
k
a
k
).
Por otra parte, para cada k el conjunto (a
k
, b
k
) E
r,R
debe estar contenido en la uni on disjunta
de intervalos (a
k
j
, b
k
j
) tales que

j
(b
k
j
a
k
j
)) r

j
(f(b
k
j
) f(a
k
j
)).
Combinando estas desigualdades vemos que el conjunto E
r,R
ocupa una fracci on menor o igual
a r/R en cada intervalo abierto de [a, b]. Por lo tanto, debe tener medida de Lebesgue 0.
Teorema 4.16 (Fubini). Sea s(x) =

n=1
f
n
(x) una serie convergente de funciones mon otonas
del mismo tipo en [a, b]. Luego s es c.s. diferenciable.
Demostraci on. Pendiente
4.4. Funciones de variaci on acotada: Jordan y diferenciabilidad
Denici on 4.17. Sea [a, b] R un intervalo acotado. Sea a = x
0
< x
1
< < x
k
= b y
denimos
:=
k

i=1
(x
i
x
i1
]
Diremos que es una partici on del intervalo [a, b]
Denici on 4.18. Sea f : [a, b] R. Sea a = x
0
< x
1
< < x
k
= b. Denimos,
p =
k

i=1
(f(x
i
) f(x
i1
))
+
, n =
k

i=1
(f(x
i
) f(x
i1
))

y t = n +p
donde
(f(x
i
) f(x
i1
))
+
= f(x
i
) f(x
i1
) cuando f(x
i
) f(x
i1
)
(f(x
i
) f(x
i1
))

= f(x
i1
) f(x
i
) cuando f(x
i
) f(x
i1
)
Adem as, P = supp, N = supn y T = supt, donde los supremos se toman sobre todas las
particiones posibles de [a, b]. Denominaremos P, N, T las variaciones positivas, negativas
y total de f en [a, b].
Si T < , diremos que f es una funci on de variaci on acotada. Ocuparemos la notaci on
T
b
a
, T
b
a
(f) o simplemente T cuando no haya problema de confusi on. An alogamente usaremos la
misma notaci on para P y N. El conjunto de funciones de variaci on acotada se nota por BV
b
a
.
4.4. FUNCIONES DE VARIACI

ON ACOTADA: JORDAN Y DIFERENCIABILIDAD 83

Ejercicio. Pruebe que t se puede escribir en la forma
t =
k

i=1
|f(x
i
) f(x
i1
)|
Ejemplo. Sea f : [1, 1] R denida por
f(x) =

x
2
sin(1/x
2
) en [1, 1] {0}
f(0) = 0 en x = 0
Luego f(x) es una funci on de variaci on no acotada. Para ello basta tomar la partici on x
k
=
(

2
+ k)
1/2
, con k = 1, . . . , n. Esta partici on no hace que la variaci on total t este minorada
por la suma arm onica, luego al hacer n 1 tendremos que la variaci on de f(x) se puede hacer
tan grande como queramos. Por lo tanto f(x) no es de variaci on acotada. Ver la Figura 6.2.
Figura 4.1: Funci on de variaci on no acotada
Ejercicio. Probar que f(x) denida en el Ejercicio anterior no es de variaci on acotada.
Hint: Considerar la partici on sugerida en el Ejercicio.
Ejercicio. Demuestre que el conjunto BV
1
0
es de primera categora en C[0, 1].
Lema 4.19. Si f BV
b
a
, luego
T
b
a
= P
b
a
+N
b
a
y f(b) f(a) = P
b
a
N
b
a
Demostraci on. Por denici on tenemos que
f(x
k
) f(x
k1
) = (f(x
k
) f(x
k1
))
+
(f(x
k
) f(x
k1
))

luego sumando sobre la partici on de [a, b] se tiene

f(b) f(a) = p n n + (f(b) f(a)) = p (4.6)
Si tomamos supremo sobre todas las particiones de [a, b] en el lado derecho de (6.4) tendremos
que N + (f(b) f(a)) = P. Adem as,
t = n +p = 2p (f(b) f(a)) (4.7)
y tomando nuevamente supremo sobre todas las particiones de [a, b] en (6.5) concluimos que
T = 2P (f(b) f(a)) = P +N
84 CAP

ITULO 4. PRE

AMBULOS DE LA INTEGRACI

ON
Ejercicio. Si a < c < b, f : [a, b] R. Demuestre que
T
b
a
(f) = T
c
a
(f) +T
b
c
(f)
Adem as, pruebe que si f es mon otona entonces es medible.
Teorema 4.20 (Jordan). Si f es una funci on en [a, b], entonces f es de variaci on acotada
si y s olo si f es la diferencia entre dos funciones no decrecientes.
Demostraci on. Supongamos que f es de variaci on acotada. Denamos para a < x < b la
funci on T(x) = T
x
a
(f). Por el Ejercicio anterior tenemos que T(x) es no decreciente, luego
f(x) = T(x) (T(x) f(x))
que est a bien denida ya que T(x) < para todo x (a, b). Entonces basta probar que
H(x) = T(x) f(x) es no decreciente. Sea h > 0, entonces
T
x+h
x
(f) |f(x +h) f(x)| = T(x +h) T(x) f(x +h) f(x)
de donde se concluye que H(x +h) H(x) y queda probada esta implicancia.
Si f es diferencia entre dos funciones no decrecientes, es decir f = g h, con g, h no
decrecientes, entonces
T
b
a
(f) T
b
a
(g) +T
b
a
(h) = (g(a) g(b)) + (h(a) h(b)) <
Corolario 4.21. Si f : [a, b] R es de variaci on acotada, luego es c.s diferenciable.
Captulo 5
Medida e integraci on
5.1. Medidas y espacios medibles
Denici on 5.1. Sea R la recta real. Denimos R = R{}{} la recta real extendida.
Sobre R denimos la topologa generada por la base B = B
0
B
1
B
2
donde B
0
son los abiertos
de R y
B
1
= {(a, ] = (a, ) {} : a R}, B
2
= {[, a) = (, a) {} : a R}
Ejercicio. Pruebe que este espacio es compacto.
Denici on 5.2. Sea M una colecci on de subconjuntos de un conjunto X. Decimos que M es
una - algebra sobre X si M satisface las siguientes propiedades:
(i) X M.
(ii) Si A M, entonces A
c
M.
(iii) Si A =

n=1
A
n
, con A
n
M, para todo natural n, entonces A M.
En este caso diremos que (X, M) es un espacio medible (o espacio de medida), y los
elementos de M se denominan conjuntos medibles. Si S es una colecci on de subconjuntos de
X denimos (S) como la - algebra m as peque na que contiene a S, llam andola la - algebra
generada por S.
Si (X, M) es una espacio medible, (Y, ) es un espacio topol ogico y f es una funci on de X
en Y , decimos que f es una funci on medible si para todo conjunto abierto de Y se tiene que
f
1
(V ) es un conjunto medible de X.
El pr oximo teorema es una aplicaci on directa de la denici on de funci on medible y funci on
continua y su demosstraci on se deja como ejercicio para el lector.
Teorema 5.3. Sean Y y Z espacios topol ogicos y sea X un espacio medible. Si f : X Y es
medible y g : Y Z es continua, luego h := g f : X Z es medible.
Teorema 5.4. Sean X un espacio medible y sean u, v : X R medibles. Luego, si : R
2
Y
con Y espacio topol ogico es una funci on continua, se tiene que (u(x), v(x)) : X Y es
medible.
85
86 CAP

ITULO 5. MEDIDA E INTEGRACI

ON
Demostraci on. Denamos f : X R
2
como
f(x) = (u(x), v(x)).
Mostraremos que f es medible. Sean I
1
, J
1
conjuntos abiertos de R, entonces R
1
= I
1
J
1
es
un conjunto abierto de R
2
. Luego
f
1
(R
1
) = u
1
(I
1
) v
1
(J
1
),
es un conjunto medible en X. Como todo abierto V de R
2
es de la forma V =

n=1
R
n
, con
R
n
= I
n
J
n
e I
n
, J
n
conjuntos abiertos de R, tenemos que
f
1
(V ) =

_
n=1
f
1
(R
n
),
es medible en X. Luego, por el teorema anterior f es medible.
Observaci on. Sean f, g : X R funciones medibles. Luego, por los resultados anteriores,
(i) f +g y fg son medibles.
(ii) |f| es medible.
(iii) Las funciones
f
+
=
|f| +f
2
y f

=
|f| f
2
,
son medibles.
Denici on 5.5. Dado un espacio topol ogico X, denotamos por F

a la colecci on de subcon-
juntos de X que se pueden expresar como uniones numerables de conjuntos cerrados, y G

a
la colecci on de subconjuntos de X que se pueden expresar como intersecciones numerables de
conjuntos abiertos. Similarmente, se dene F

= (F

, etc.
Ejemplo. Consideremos R con la topologa usual. Luego,
[a, b) =

_
n=1
[a, b 1/n] F

n=1
(a 1/n, b) G

De este modo, en R todo abierto es un F

y todo cerrado es un G

.
Ejercicio. Sea (X, ) un espacio metrico. Pruebe, a partir del ejemplo anterior, que en X toda
bola abierta es una F

y toda bola cerrada es una G

.
Denici on 5.6. Sean X e Y espacios topol ogicos. Si T es la topologa de X, denimos B(X) =
(T ) como la - algebra de Borel sobre X. Adem as, decimos que una funci on f : X Y es
Borel medible si para todo abierto V Y , f
1
(V ) B(X).
Ejercicio. Pruebe que toda funci on continua es Borel medible.
Teorema 5.7. Sea (X, M) un espacio medible, Y un espacio topol ogico, y f : X Y .
5.1. MEDIDAS Y ESPACIOS MEDIBLES 87
(i) Sea la colecci on de subconjuntos de Y tales que f
1
(E) M con E , luego es
una - algebra.
(ii) Si f es medible, entonces para todo B B(Y ) se tiene que f
1
(B) M.
(iii) Si Y = R y para todo R, f
1
((, ]) M, entonces f es medible.
(iv) Sea Z un espacio topol ogico y g : Y Z Borel medible. Si f es medible, luego, h = g f :
X Z es medible.
Demostraci on. Para probar (i) basta considerar las idenditades f
1
(Y ) = X, f
1
(Y A) =
X f
1
(A) y que f
1
(
n
A
n
) =

n
f
1
(A
n
). La parte (ii) es una consecuencia directa de (i)
pues basta observar que es una - algebra que contiene a los abiertos de Y , por ende, a los
borelianos. Finalmente, (iii) y (iv) son inmediatos y se dejan como ejercicio.
El siguiente teorema nos permite concluir la medibilidad de algunos lmites de sucesiones
de funciones medibles.
Teorema 5.8. Sea {f
n
}
n
una sucesi on de funciones medibles denidas sobre un espacio de
medida (X, M) con valores en R. Luego,
g = sup
n
f
n
y h = lmsup
n
f
n
son funciones medibles.
Demostraci on. Observamos que g
1
((, ]) =

n
f
1
n
((, ]) M. Luego, por el teorema
anterior, se tiene que g es medible. Adem as, h = inf
n
sup
kn
f
k
. Usando lo anterior y que el
inf a
n
= sup(a
n
), concluimos que h es medible.
Ejercicio. Bajo las hip otesis del teorema anterior, pruebe que el nmo y el lmite inferior de
sucesiones de funciones medibles es medible.
Denici on 5.9. Sea (X, M) un espacio de medida. Decimos que una funci on s : X R es
simple si es medible y toma una cantidad nita de valores.
Ejercicio. Sea (X, M) un espacio de medida y s : X R una funci on. Pruebe:
(i) Si s es simple, entonces existen a
1
, . . . , a
n
R y A
1
, . . . , A
n
M, disjuntos dos a dos,
tales que
s(x) =
n

k=1
a
k

A
k
(x)
(ii) Si existen b
1
, . . . , b
m
tales que
s(x) =
m

k=1
b
k

E
k
(x)
con E
k
M, entonces s es medible.
Nota: No necesariamente los E
k
son disjuntos.
Lema 5.10. Sea f : X [0, ] medible. Luego existen funciones simples s
n
tales que
88 CAP

ITULO 5. MEDIDA E INTEGRACI

ON
(i) 0 s
1
s
2

(ii) para cada x X
lm
n
s
n
(x) = f(x)
Demostraci on. Sea
n
= 1/2
n
, luego para cada t [0, ] y n N existe un unico k := k(t)
tal que
k t 2
n
< k + 1
y denimos

n
(t) =
_
k(t)
n
si 0 t < n
n si t n
que es una funci on escalonada (por lo tanto simple). Luego para cada t [0, ) existe un
N N tal que

n
(t) t <
n
(t) +
n
= t
n
<
n
(t) t
si n N. Entonces para cada t [0, ] tendremos que
lm
n

n
(t) = t
y denimos s
n
:=
n
f que es medible por consecuencia del Teorema 5.7 (iv).
Ejercicio. En el Lema 5.10 pruebe que s
n
s
n+1
para cada natural n.
Corolario 5.11. Sea f una funci on real medible. Luego existe una sucesi on de funciones
simples s
n
que converge a f puntualmente.
Demostraci on. Recordemos que toda funci on real medible f se puede escribir como f =
f
+
f

donde
f
+
=
|f| +f
2
y f

=
|f| f
2
y cada una de estas funciones son medibles y no negativas. Luego, por el Lema 5.10 existen
r
n
y t
n
funciones simples que convergen puntual y mon otamente a f
+
y f

, respectivamente.
Entonces,
s
n
(x) = r
n
(x) t
n
(x)
es una sucesi on de funciones simples que convergen puntualmente a f.
Denici on 5.12. Sea (X, M) un espacio de medida. Decimos que una funci on denida en
Mcon valores en [0, ] es una medida positiva sobre (X, M) (o simplemente sobre el espacio
de medida X) si satisface las siguientes propiedades:
(i) Para toda sucesi on {A
m
} de conjuntos medibles y disjuntos se tiene que
(

n=1
A
n
) =

n=1
(A
n
).
(ii) Existe al menos un A M con (A) < .
Denotaremos (X, M, ) al espacio medible con la medida positiva .
5.1. MEDIDAS Y ESPACIOS MEDIBLES 89
Si es una medida positiva sobre X, diremos que es nita si (X) < . Diremos que
es semi-nita si para cada A M, (A) = , y natural n existe un B A, B M, tal que
n (B) < .
Teorema 5.13. Sea una medida positiva denida en (X, M). Luego
(a) () = 0.
(b) es nitamente aditiva, es decir si A
1
, A
2
, . . . , A
n
son medibles disjuntos, luego
(
n
k=1
A
k
) =
n

k=1
(A
k
).
(c) (A) (B) si A B, con A, B M.
(d) lm
n
(A
n
) = (A) cuando A =

n=1
A
n
con A
n
M y A
n
A
n+1
.
(e) lm
n
(A
n
) = (A) cuando A =

n=1
A
n
con A
n
M, A
n+1
A
n
y (A
1
) < .
Demostraci on. (a) Sabemos que existe A M con la propiedad (A) < . Consideremos
los conjunto medibles A
n
dados por A
1
= A y A
n
= si n > 1. Luego
(A) =

k=1
(A
n
) = (A) +

k=2
(A
n
),
de donde se concluye que () = 0.
(b) Consideremos una colecci on A
k
de conjuntos disjuntos, medibles que son vacos salvo por
una cantidad nita. Luego
(
n
k=1
A
k
) = (

k=1
A
k
) =

k=1
(A
k
) =
n

k=1
(A
k
).
(c) Sean A, B M. Luego
(B) = ((B\A) A) = (B\A) +(A) (A).
(d) Sea A
n
X una colecci on de conjuntos medibles tal que A =

n=1
A
n
y A
n
A
n+1
. Como
A
n
=
n
k=1
A
k
podemos considerar la colecci on de conjuntos medibles B
k
= A
k+1
\A
k
,
disjuntos, tales que A
n
=
n
k=1
B
k
. Luego
lm
n
(A
n
) =

k=1
(B
k
) = (

k=1
B
k
) = (A).
(e) Sea A
n
X una colecci on de conjuntos medibles tal que A =

n=1
A
n
, A
n+1
A
n
y
(A
1
) < . Denamos B
k
= A
1
\A
k
, luego por (d) tendremos
lm
n
(B
n
) = (

n=1
B
n
).
Como A
1
\A =

k=1
B
k
, luego
(A
1
) lm
n
(A
n
) = lm
n
(A
1
\A
n
) = (A
1
\A) = (A
1
) (A)
de donde se concluye (e) dado que (A
1
) < .
90 CAP

ITULO 5. MEDIDA E INTEGRACI

ON
Ejemplo. Consideremos X = R con la - algebra de Borel y la medida de Lebesgue. Sean
A
n
= (n, ), luego (A
n
) = y
lm
n
(A
n
) = = 0 = ( lm
n
A
n
) = ()
lo que muestra que en el Teorema 5.13 la hip otesis (A
1
) < , en la parte (e), no es superua.
Ejercicio. Demuestre que una medida nitamente aditiva denida en una - algebra M es
numerablemente aditiva si y s olo si satisface (d) (e) del Teorema 5.13.
5.2. Integral de Lebesgue
Denici on 5.14. Sea (X, M, ) un espacio medible, con medida positiva. Decimos que una
funci on real tiene soporte de medida nita si
{x : (x) = 0}
es medible y tiene medida nita. Es decir
({x : (x) = 0}) < .
Notemos que si es una funci on real medible, luego el conjunto
{x : (x) = 0} = {x : (x) > 0} {x : (x) < 0}
es medible, como consecuencia del Teorema 5.7 (iii).
Denici on 5.15. Sea (X, M) un espacio medible, una medida positiva denida en el y s
una funci on simple acotada,
s(x) =
n

k=1
a
k

A
k
(x),
denida en X, donde a
k
son los valores distintos de s. Supongamos que s tiene soporte de
medida nita. Si E M, denimos la integral de Lebesgue de s en E como
_
E
s d =
n

k=1
a
k
(A
k
E)
Denici on 5.16. Sea (X, M) un espacio medible y una medida positiva sobre X. Diremos
que Mes una - algebra completa respecto a la medida , si contiene a todos los subconjuntos
de los conjuntos medibles de X que tienen medida cero. Es decir, si E A y A M satisface
(A) = 0, entonces E M. Adem as, diremos que dos funciones f, g en X, son iguales casi
seguramente, si el conjunto donde dieren est a contenido en un conjunto de medida cero. En
ese caso escribiremos f = g c.s.
Notemos que en un espacio de medida completo, si f = g c.s., entonces el conjunto donde
f y g dieren es medible.
Proposici on 5.17. Sea (X, M) un espacio de medida, y una medida positiva sobre X. Si
M es completa, f es medible y f = g c.s., entonces g es medible.
5.2. INTEGRAL DE LEBESGUE 91
Demostraci on. Denamos E := {x : f(x) = g(x)}. Como M es completa, E y todo sub-
conjunto de E es medible. Sea R, luego
{x : g(x) > } = {x E : g(x) > } {x E
c
: g(x) > }
= {x E : g(x) > } {x E
c
: f(x) > }
= {x E : g(x) > } {{x : f(x) > } E
c
}
es medible para cada R. Entonces, por el Teorema 5.7 (iii) concluimos que g es medible.
Proposici on 5.18. Sea (X, M) un espacio medible, y una medida positiva sobre X. Sea f
acotada y con soporte de medida nita. Consideremos las siguientes armaciones:
(i) inf
f
_
d = sup
f
_
d, donde el supremos y el nmo se toma sobre funciones
simples con soporte de medida nita.
(ii) f es medible.
Luego (ii) implica (i). Adem as, si se satisface (i) y M es completa, entonces se tiene (ii).
Demostraci on. Comenzaremos suponiendo que se satisface (ii). Sea n N, M tal que
|f(x)| < M para todo x X y n k n. Denamos el conjunto
E
k
:=
_
x X :
(k 1)
n
M < f(x)
k
n
M
_
,
que es medible por ser f es medible. Consideremos las funciones simples

n
(x) :=
M
n
n

k=n
(k 1)
E
k
(x) y
n
(x) :=
M
n
n

k=n
k
E
k
(x).
Notemos que

n
(x) f(x)
n
(x),
para todo x E. Luego
_

n
d sup
f
_
d y inf
f
_
d
_

n
d,
de donde se concluye que
0 inf
f
_
d sup
f
_
d
_

n
d
_

n
d =
M
n
n

k=n
(E
k
) =
M
n
(E),
donde E es el soporte de f. Tomando el lmite cuando n vemos que (i) se satisface.
Ahora supongamos que se satisface (i) y que M es completa. Dado que
inf
f
_
d = sup
f
_
d
entonces existen dos sucesiones {
n
} y {
n
} de funciones simples tales que
n
(x) f(x)

n
(x) y
_

n
d
_

n
d
1
n
.
92 CAP

ITULO 5. MEDIDA E INTEGRACI

ON
Denamos las funciones medibles

(x) := sup
n

n
(x) y

(x) := inf
n

n
(x).
Notemos que

(x) f(x)

(x). Luego, para probar que f es medible basta demostrar que

el conjunto
:= {x :

(x) >

(x)},
tiene medida cero. Adem as, para todo n
=

_
k=1

k
,
donde
k
:= {x :

(x) >

(x) + 1/k}. Pero notemos que para todo n,

k
{x :
n
(x) >

n
(x) + 1/k}. Luego (
k
) k
_
(
n

n
)d
k
n
. Como n es arbitrario esto implica que
(
k
) = 0 y por lo tanto () = 0. Es decir, f es medible.
Denici on 5.19. (Integral de Lebesgue para funciones acotadas con soporte de
medida nito). Sea f una funci on medible, acotada y con soporte de medida nita. Denimos
para cada E M, la integral de Lebesgue de f en E por
_
E
fd := sup
f
_
E
d
donde el supremo es sobre las funciones simples con soporte de medida nita.
El siguiente ejemplo muestra que la condici on de que la funci on medible tenga soporte de
medida nita no es superua.
Ejemplo. Consideremos un conjunto no vaco X y una - algebra M = {, X}. Adem as sea
una medida positiva en M tal que () = 0 y (X) = . Si f(x) = 1 para cada x X, luego
_
X
fd = (X) =
pero si denimos
_
X
fd := sup
f
_
d = 0
para toda medible con soporte de medida nita. La raz on por la cual la denici on anterior
no funciona es que no es una medida semi-nita. En cambio, la medida de Lebesgue si lo es.
Denici on 5.20. (Integral de Lebesgue para funciones no negativas). Sea s : X
[0, ) una funci on simple
s(x) =
n

k=1

A
k
donde
1
, . . . ,
n
son los valores distintos que toma s. Denimos la integral de Lebesgue de
s en E M,
_
E
s d :=
n

k=1

k
(E A
k
)
5.2. INTEGRAL DE LEBESGUE 93
con la convenci on 0 = 0, o sea, si alg un
i
= 0 con (A
i
) = , entonces
i
(A
i
) = 0. Sea
f : X [0, ], una funci on medible no negativa y E M. Luego denimos la integral de
Lebesgue de f en E por
_
E
f d := sup
0sf
_
E
s d
donde el supremo es sobre funciones simples, no necesariamente con soporte de medida nita.
Ejercicio. Si en la Denici on 5.20 consideramos
_
E
s d = sup
0ts
_
E
t d
donde t tiene soporte de medida nita. Pruebe que se puede concluir que 0 = 0.
Proposici on 5.21. Sean f y g funciones medibles no-negativas con valores en [0, ].
(a) Si 0 f g, entonces
_
E
f d
_
E
g d.
(b) Si A, B son conjuntos medibles con A B , entonces
_
A
g d
_
B
g d.
(c) Si 0, entonces
_
E
f d =
_
E
f d.
(d) Si f(x) = 0 para x E, entonces
_
E
f d = 0.
(e) Si (E) = 0, entonces
_
E
f d = 0.
aunque f(x) = en E.
Demostraci on. Para probar (a) denimos los conjuntos de funciones simples
A = { : 0 f} y B = { : 0 g}.
Claramente A B. Luego para cualquier conjunto medible E se tiene
_
E
f d = sup
A
_
E
d sup
B
_
E
d =
_
E
g d.
Para probar (b) consideramos la funci on f =
A
g, apliquamos el resultado obtenido en la parte
(a) ocupando el hecho que f(x) g(x) para todo x B y observamos que
_
B
f d = sup
0f
_
B
d = sup
0g
_
A
d =
_
A
g d.
94 CAP

ITULO 5. MEDIDA E INTEGRACI

ON
Si > 0 tenemos que
_
E
f d = sup
0f
_
E
d = sup
0f
_
E
d =
_
E
f d,
lo que prueba (c) para > 0. El caso = 0 es trivial, dada la convenci on 0 = 0.
La demostraci on de (d) es consecuencia de la parte (c) eligiendo = 0. Finalmente, (e) es
consecuencia de la denici on de la integral de Lebesgue.
La demostraci on de la siguiente proposici on se deja como ejercicio para el lector. Posteri-
ormente se ocupar a para probar la linealidad de la integral de Lebesgue.
Proposici on 5.22. Sean s y t dos funciones simples no negativas. Si E es medible, denimos
(E) :=
_
E
s d.
Luego es una medida positiva. Adem as
_
X
(s +t) d =
_
X
s d +
_
X
t d
Teorema 5.23 (Convergencia mon otona). Sea f
n
: X [0, ] una sucesi on de funciones
medibles tales que 0 f
n
(x) f
n+1
(x) para todo x X. Sea f(x) = lm
n
f
n
(x) [0, ].
Entonces, f es medible y
lm
n
_
f
n
d =
_
f d
Demostraci on. Notemos que f = lmf
n
existe por monotona y es medible. Adem as, como
_
f
n
d
_
f
n+1
d, el lmite lm
n
_
X
f
n
d, existe y
lm
n
_
X
f
n
d
_
X
f(x) d.
Sea 0 s f simple, c (0, 1) y
E
n
:= {x : f
n
(x) c s(x)},
que son medibles, E
n
E
n+1
, para todo natural n, y

n=1
E
n
= X. La ultima armaci on se
debe a que si x X entonces: (i) si f(x) = 0 luego f
n
(x) = 0 para todo natural n, y tendremos
que x E
1
, (ii) si f(x) > 0 luego f(x) > c s(x) y tendremos que existe un natural N tal que
f
n
(x) c s(x) para todo n N. Es decir x E
n
para todo n N. Adem as
_
X
f
n
d
_
En
f
n
d c
_
En
s d. (5.1)
Si denimos (E) :=
_
E
s d, por la Proposici on 5.22 vemos que (E
n
) (X) =
_
X
s d.
Luego,
lm
n
_
X
f
n
d c
_
X
s d. (5.2)
Como (5.2) se satisface para todo c menor que 1
lm
n
_
X
f
n
d
_
X
s d. (5.3)
5.2. INTEGRAL DE LEBESGUE 95
Finalmente, como 0 s f, podemos tomar el supremo en (5.3) sobre todas las funciones
simples positivas menores o iguales a f, deduciendo que
lm
n
_
X
f
n
d sup
0sf
_
X
s d =
_
X
f d.
Corolario 5.24. Sean f y g funciones medibles no-negativas con valores en [0, ]. Leugo
_
X
(f +g) d =
_
X
f d +
_
X
g d.
Demostraci on. Por el Lema 5.10 sabemos que existen dos sucesiones no-decrecientes s
k
y t
k
,
tales que lm
k
s
k
(x) = f(x) y lm
k
t
k
(x) = g(x) para todo x X. Adem as, s
k
+ t
k
es
una sucesi on no-decreciente tal que
lm
k
(s
k
+t
k
)(x) = (f +g)(x) = f(x) +g(x).
Luego
_
X
(f +g) d = lm
k
_
X
s
k
d + lm
k
_
X
t
k
d =
_
X
f d +
_
X
g d,
por el Teorema de convergencia mon otona 5.23, la linealidad de la integral para funciones
simples y la linealidad del lmite.
Corolario 5.25. Sea f
n
una sucesi on de funciones medibles no-negativas valores en [0, ] y
f(x) =

n=1
f
n
(x).
Luego f es medible y
_
f d =

n=1
_
f
n
d.
Demostraci on. Denimos la sucesi on de funciones medibles
g
n
(x) :=
n

k=1
f
k
(x).
Notemos que g
n
(x) f(x) y g
n
(x) g
n+1
(x), para todo x X. Luego por Teorema de la
convergencia mon otona 5.23 tenemos que
_
X
f d = lm
n
_
X
g
n
(x) d.
Pero del Corolario 5.24 se tiene que
lm
n
_
X
g
n
(x) d = lm
n
n

k=1
_
X
f
n
d =

k=1
_
X
f
n
d,
con lo que concluimos la demostraci on.
96 CAP

ITULO 5. MEDIDA E INTEGRACI

ON
Se deja la prueba del siguiente corolario al lector.
Corolario 5.26. Si a
ij
0 para i, j N, entonces

i=1

j=1
a
ij
=

j=1

i=1
a
ij
Lema 5.27 (Fatou). Consideremos una sucesi on f
n
de funciones medibles no-negativas con
valores en [0, ]. Luego
_
lminf
n
f
n
d lminf
n
_
f
n
d.
Demostraci on. Denamos la sucesi on de funciones medibles g
n
(x) := inf
kn
f
n
(x). Notemos
que g
n
(x) g
n+1
(x). Luego, por el Teorema de convergencia mon otona 5.23
lm
n
_
g
n
d =
_
lm
n
g
n
d =
_
lminf
n
f
n
d.
Pero la sucesi on
_
g
n
d es no-decreciente y g
n
f
n
. Luego
lm
n
_
g
n
d lminf
n
_
f
n
d.
El siguiente ejemplo muestra que la desigualdad en el Lema de Fatou puede ser estricta.
Ejemplo. Consideremos X = [0, 1] y denida en los Borelianos. Sea E [0, 1] un conjunto
medible tal que con 0 < (E) < 1. Adem as
f
n
(x) :=
_

E
(x) si n es par
1
E
(x) si n es impar.
Entonces lminf f
n
= 0 y
0 =
_
lminf
n
f
n
d lminf
n
_
f
n
d = mn{(E), (E
c
)} > 0.
Ejercicio. Sea f una funci on medible no-negativa con valores en [0, ]. Si E, F son dos
conjuntos medibles y disjuntos, pruebe que
_
EF
f d =
_
E
f d. +
_
F
f d
Proposici on 5.28. Sea f una funci on medible no-negativa con valores en [0, ]. Para cada
E M denimos
(E) =
_
E
f d.
Luego es una medida positiva. Adem as, si g es medible no-negativa con valores en [0, ]
_
g d =
_
g f d.
5.3. FUNCIONES INTEGRABLES 97
Demostraci on. Sea E
k
una partici on en conjuntos medibles de E M. Luego

E
(x)f(x) :=
n

k=1

E
k
(x)f(x).
Por el corolario anterior y el hecho que () = 0, conclumos que es una medida positiva.
Ahora, sea s
n
una sucesi on de funciones simples que aproximan mon otonamente a g. Entonces,
por el Teorema de convergencia mon otona 5.23
_
g d = lm
n
_
s
n
d = lm
n
_
s
n
f d =
_
g f d.
5.3. Funciones integrables
Denici on 5.29. Consideremos un espacio medible arbitrario (X, M). Llamamos L
1
(X, ) al
conjunto de funciones f medibles denidas en X con valores reales, tales que
_
|f|d < .
Para f en L
1
(X, ) denimos la integral de Lebesgue de f como
_
fd =
_
f
+
d
_
f

d.
Observaci on. Notemos que f
+
|f| luego
_
f
+
d
_
|f|d
y an alogamente para f

.
Ejemplo. Sea X = R y la funci on
f(x) =
sin(x)
x
luego
_

sin(x)
x
dx = ,
pero la integral del valor absoluto de la funci on f est a acotada inferiormente por la serie
_

sin(x)
x

dx
1

k=0
1
2k + 1

1
2

k=1
1
k
= ,
por lo tanto, f / L
1
(X, )
Teorema 5.30. Sean f, g L
1
(X, ). Luego si , R y f +g L
1
(X, ), entonces
_
(f +g) d =
_
f d +
_
g d.
98 CAP

ITULO 5. MEDIDA E INTEGRACI

ON
Demostraci on. Notemos que
|f +g| |||f| +|||g|
luego, por la linealidad de la integral para funciones medibles positivas, tenemos
_
|f +g| d ||
_
|f| d +||
_
|g| d <
y por lo tanto, f + g L
1
(X, ). La linealidad de la integral es ahora una consequencia de
la linealidad de la integral de Lebesgue para funciones no-negativas.
El siguiente lema es una consecuencia de la denici on que hemos dado del espacio L
1
(X, ).
Lema 5.31. Sea f L
1
(X, ), luego

_
fd

_
|f|d
Denici on 5.32. En un espacio medible (X, M, ) decimos que una armaci on se satisface
casi seguramente o c.s. si no se satisface en un conjunto contenido en otro conjunto medible
de medida 0.
Teorema 5.33 (Convergencia dominada). Sea f
n
: X R una sucesi on de funciones y
g L
1
(X, ), y f : X R, tales que
(i) lm
n
f
n
= f c.s.
(ii) |f
n
| |g|
Luego, f L
1
(X, ) y
lm
n
_
|f
n
f| d = 0.
Demostraci on. Como |f
n
| |g| y lm
n
f
n
= f c.s. tenemos que |f| |g| c.s. Esto
claramente implica que f L
1
(X, ). Ahora si h
n
:= |2|g| |f
n
f|| entonces
lminf
n
h
n
= 2|g|, c.s.
Luego, por el Lema de Fatou 5.27, tenemos que
_
X
2|g| d =
_
X
lminf
n
h
n
d lminf
n
_
X
h
n
d.
Es decir
0
_
X
|f
n
f| d lmsup
n
_
X
|f
n
f| d 0.
Ejercicio. Pruebe que si f
n
satisface las condiciones del Teorema de convergencia dominada,
entonces
lm
n
_
f
n
d =
_
f d
5.4. INTEGRABILIDAD UNIFORME Y EL TEOREMA DE VITALI 99
A continuaci on expondremos dos ejemplos, los cuales no satisfacen la condici on (ii) del
teorema anterior. En el primer caso notaremos que no es posible pasar el lmite bajo la integral
y en el segundo s. La importancia de estos ejemplos es que presentan la suciencia pero no
necesidad de las condiciones del Teorema de convergencia dominada.
Ejemplo. Sea X = [0, 1] y la medida de Lebesgue.
(i) Consideremos la sucesi on de funciones medibles en L
1
() dadas por
f
n
(x) =
_
n si 0 x < 1/n
0 si 1/n x 1
es claro que f
n
0 c.s., pero no existe g L
1
(x) tal que |f
n
(x)| |g(x)|. Adem as
_
1
0
f
n
dx = 1, para todo n N.
Podemos observar que no tan s olo es necesario que las f
n
sean integrables, sino que
adem as esten uniformemente acotadas por una funci on integrable.
(ii) Sea
g
n
(x) =
_
n si 1/n 1/n
2
x < 1/n
0 si 1/n x 1 o 0 x 1/n 1/n
2
Luego lm
n
g
n
= 0 y
lm
n
_
1
0
g
n
dx = lm
n
1
n
= 0.
Sin embargo, la sucesi on {g
n
} no puede estar dominada por ninguna funci on integrable.
Este es un ejemplo de las limitaciones del teorema de convergencia dominada.
5.4. Integrabilidad uniforme y el teorema de Vitali
Denici on 5.34. Sea (X, M, ) un espacio medible. Decimos que una colecci on de funciones
F en L
1
(X, ) es uniformemente integrable si para todo > 0 existe un > 0 tal que
sup
fF
_
E
|f|d < si (E) < .
Lema 5.35. Toda funci on f L
1
(X, ) es uniformemente integrable.
Demostraci on. Notemos que f < c.s. Luego |f|1
|f|k
tiende a 0 c.s. cuando k . Por
lo tanto si k es tal que
_
|f|1
|f|k
d < , tenemos que si (E) < con +/k entonces
_
E
|f|d =
_
E
|f|1
|f|<k
d +
_
E
|f|1
|f|k
d 2.
Queremos a continuaci on establecer un criterio equivalente a integrabilidad uniforme en
espacios de medida nita. Necesitaremos primero establecer la desigualdad de Tchebychev.
100 CAP

ITULO 5. MEDIDA E INTEGRACI

ON
Lema 5.36. Sea (X, M, ) un espacio de medida, f L
1
() y > 0, luego
(|f| )
1

_
|f| d
Esta es conocida como la desigualdad de Tchebychev.
Demostraci on. Por denici on tenemos que
(|f| ) =
_
{|f|}
d
1

_
{|f|}
|f| d
1

_
|f| d
ya que 1
|f|

en el conjunto {|f| }.
Lema 5.37. Sea (X, M, ) un espacio medible. Consideremos una colecci on F en L
1
(X, ).
Luego, si es nita, las siguientes condiciones son equivalentes.
(i) La colecci on F satisface
lm

sup
fF
_
{|f|}
|f| d = 0.
(ii) La colecci on F es uniformemente integrable y sup
fF
_
|f|d < .
Adem as, (i) implica que la colecci on F es uniformemente integrable.
Demostraci on. Primero probamos que (i) implica (ii). Sea E un conjunto medible y > 0.
Luego,
_
E
|f| d =
_
E{|f|}
|f| d +
_
E{|f|<}
|f| d

_
{|f|}
|f| d +(E).
Por hip otesis, existe un
1
tal que
sup
fF
_
{|f|}
|f| d <

2
cuando
1
.
Entonces, si elegimos
1
y =

2
1
vemos que para (E)
sup
n
_
E
|f
n
| d < .
Similarmente podemos ver que sup
f
_
|f|d < . Ahora probaremos que (ii) implica (i). Sea
M := sup
f
_
|f|d < . Denamos E
f
= {|f| }, luego
(E
f
)
1

_
|f| d = sup
fF
(E
f
)
M

.
Sea > 0. Luego, como la colecci on F es uniformemente integrable, para sucientemente
grande
sup
fF
_
{|f|}
|f| d < .
5.4. INTEGRABILIDAD UNIFORME Y EL TEOREMA DE VITALI 101
Observaci on. Sea g L
1
(X, ) y f
n
en L
1
(X, ) tales que |f
n
| |g|. Luego, por la desigualdad
de Tchebychev, el teorema de convergencia dominada y el teorema anterior, es obvio que la
sucesi on {f
n
} es uniformemente integrable.
Lema 5.38. Una colecci on de funciones F en L
1
(X, ), con nita, es uniformemente inte-
grable si y s olo si existe un > 0 tal que
M = sup
fF
_
|f|
1+
d < .
Demostraci on. Por la desigualdad de Tchebychev tenemos que
_
{|f|}
|f| d
_
|f|
1+

d
M

.
Luego, tomando el supremo sobre las funciones en F y haciendo conclumos que la
colecci on F es una sucesi on de funciones uniformemente integrables.
Nota. En las hip otesis del Lema 5.38 podemos cambiar |f|
1+
por (f), para convexa y
positiva.
Ejemplo. Mostraremos un ejemplo de una colecci on de funciones que es uniformemente in-
tegrable, pero que sin embargo no satisface la condici on (i) del lema 5.37. Consideremos el
espacio metrico [0, 1] con la metrica usual y la sucesi on de funciones medibles {f
n
} denidas
por
f
n
(x) =
_
n si x = 1/2
0 si x = 1/2
Sobre [0, 1] denimos la medida =
m
2
+

1/2
2
donde m es la medida de Lebesgue sobre [0, 1]
y
1/2
es la medida delta de Dirac concentrada en 1/2. Luego,
_
f
n
d =
n
2
Adem as
_
{|fn|}
f
n
d =
_
0 si > n
n/2 si n.
Sin embargo, la sucesi on f
n
es uniformemente integrable. En efecto
_
E
|f
n
| d = 0, si (E) <
1
2
.
Lema 5.39. Si es nita y lm
n
f
n
= f c.s. entonces
f
n
1
{fn}
f 1
{f}
c.s.
salvo para una cantidad numerable de valores de .
Demostraci on. Como es nita, es cierto que el conjunto
A := { R : (x : |f(x)| = ) > 0},
es numerable. Por lo tanto, si / A, tenemos que
lm
n
f
n
1
|fn|
= f1
|f|
.
102 CAP

ITULO 5. MEDIDA E INTEGRACI

ON
Denici on 5.40. Decimos que una sucesi on de funciones medibles f
n
converge en -medida
a f si y s olo si, para todo > 0
lm
n
(|f
n
f| > ) = 0.
Ocuparemos tambien la notaci on f
n

f.
Ejemplo. La convergencia casi segura no implica convergencia en medida. En efecto consider-
emos el espacio metrico R con la topologa usual y la medida de Lebesgue. Sea f
n
una sucesi on
de funciones medibles denidas por
f
n
(x) =
_
0 si x n
1 si x > n
es claro que f
n
(x) 0 c.s., pero para cualquier 0 < < 1 tenemos que
lm
n
(|f
n
f| > ) = .
Por otra parte, la convergenci en medida no implica la convergencia casi segura.
Lema 5.41. Consideremos un espacio medidible (X, M, ) con nite. Sea {f
n
} una sucesi on
de funciones medibles que converge a una funci on medible f casi seguramente. Entonces, f
n
converge en medida a f.
Demostraci on. Notemos que
(lmsup
n
|f
n
f| = 0) = (X).
Luego, para todo > 0 se tiene que
( lm
n
sup
kn
|f
k
f| > ) = 0. (5.4)
Por lo tanto
0 = lm
n
(sup
kn
|f
k
f| > ) lm
n
(|f
n
f| > ).
Observaci on. Si f
n
f en L
1
(), para todo > 0
(|f
n
f| > )
1

_
|f
n
f| d 0 cuando n .
La demostraci on del siguiente resultado se deja como un ejercicio.
Lema 5.42. Consideremos una sucesi on f
n
que converge a f en medida. Luego existe una
subsucesi on f
n
k
que converge c.s. a f.
Teorema 5.43. (Vitali). Consideremos un espacio de medida (X, M, ). Sea {f
n
} una suce-
si on en L
1
(X, ) y f L
1
(X, ). Supongamos que
(i) La sucesi on {f
n
} es uniformemente integrable.
(ii) La sucesi on f
n
converge en medida a f.
5.4. INTEGRABILIDAD UNIFORME Y EL TEOREMA DE VITALI 103
(iii) Para todo > 0 existe un conjunto medible E de medida nita tal que
_
E
c
|f
n
|d .
Luego
lm
n
_
|f
n
f| d = 0.
Demostraci on. Primero supondremos que es nita. Notemos que
_
|f
n
f| d
_
{|fn|<}
|f
n
f| d +
_
{|fn|}
|f
n
| d +
_
{|fn|}
|f| d.
Adem as para > 0 arbitrario tenemos
_
{|fn|<}
|f
n
f| d =
_
{|fn|<}
{|fnf|}
|f
n
f| d +
_
{|fn|<}
{|fnf|>}
|f
n
f| d
(X) +
_
{|fn|<}
{|fnf|>}
|f
n
| d +
_
{|fn|<}
{|fnf|>}
|f| d
(X) +(|f
n
f| > ) +
_
{|f|<}
{|fnf|>}
|f| d +
_
{|f|}
{|fnf|>}
|f| d
(X) + 2(|f
n
f| > ) +
_
{|f|}
|f| d.
Por la integrabilidad uniforme, sabemos que existe un > 0 tal que
_
E
|f
n
|d y
_
E
|f|d
si (E) . Ahora, sea > 0 tal que
(|f| 1)

2
.
Armamos que entonce existe un N tal que
(|f
n
| ) ,
cuando n N. En efecto
(|f
n
| ) (|f
n
f| 1) +(|f| 1).
Luego basta elegir N tal que (|f
n
f| 1) /2 cuando n N. Conclumos que
lmsup
n
_
|f
n
f| d (X) +
_
{|f|}
|f| d + sup
nN
_
{|fn|}
|f
n
| d + sup
nN
_
{|fn|}
|f| d.
Por lo tanto
lm
n
_
|f
n
f| d (X) + 3.
Como es arbitrario, esto termina la demostraci on para el caso nita. El caso para general
se puede reducir facilmente al anterior ocupando la condici on (iii).
5.5. UNICIDAD Y COMPLETACIONES 103
5.5. Unicidad y completaciones
En esta secci on estableceremos dos resultados de unicidad para medidas positivas. Nuestro
primer obejtivo es probar que dos medidas positivas que coinciden en un algebra de conjuntos,
necesariamente coinciden en la - algebra m as peque na que contiene al algebra.
Denici on 5.45. Sea X un conjunto. Decimos que una colecci on A de subconjuntos de X es
un algebra si la siguientes condiciones se satisfacen.
(i) A A entonces A
c
A,
(ii) A B A si A, B A.
Denici on 5.46. Sea X un conjunto. Decimos que una coleci on de subconjuntos M de X es
una clase mon otona si se satisfacen las siguientes propiedades.
(i) Si A
n
M y A
n
A
n+1
, para todo natural n, entonces
A =

n=1
A
n
tambien est a en M.
(ii) Si B
n
M y B
n+1
B
n
, para todo natural n, entonces
B =

n=1
B
n
tambien est a en M.
El siguiente resultado es conocido como el Teorema de Clase Mon otona, y se deja como
ejercicio al lector, ya que su prueba no requiere m as que un poco de astucia, junto con la
denici on de clase mon otona y algebra de conjuntos.
Teorema 5.47 (Clase Mon otona). Sea A una algebra de conjuntos que contiene el vaco y
M una clase mon otona que contiene a A. Luego (A) M.
Denici on 5.48. Decimos que una medida positiva denida en un espacio de medida (X, M)
es -nita si existe una sucesi on {A
n
} Mtal que X =

n=1
A
n
y (A
n
) < . Si M= (A)
para alg un algebra A, decimos que es fuertemente -nita si existe una sucesi on A
n
en el
algebra A tal que X =

n=1
A
n
y (A
n
) < .
Observaci on. Toda medida positiva -nita es semi-nita. Sin embargo, existen medidas
semi-nitas que no son -nitas. Por ejemplo, sea X = R, M la potencia de X y se dene
como
({x}) = 1,
para cada real x,
(A) =

xA
({x}),
para A nito o numerable y (A) = para A no numerable. Luego es semi-nita, pero no
es -nita.
104 CAP

ITULO 5. MEDIDA E INTEGRACI

ON
Proposici on 5.49. Sea X un conjunto no vaco, A un algebra de conjuntos de X que contiene
al vaco y (A) la - algebra m as peque na conteniendo A. Sea
1
una medida en (A) que es
fuertemente -nita. Supongamos que existe otra medida positiva
2
en (A) tal que
1
(A) =

2
(A) si A A. Luego
1
=
2
en (A).
Demostraci on. Supongamos primero que
1
es nita. Sea
R := {A (A) :
1
(A) =
2
(A)}.
Probaremos que R = (A). En efecto, notemos que A R. Adem as, si A =

n=1
A
n
, con
A
n
R y A
n
A
n+1
tenemos

1
(A) = lm
n

1
(A
n
) = lm
n

2
(A
n
) =
2
(A).
Similarmente tenemos igualdad cuando A =

n=1
A
n
con A
n+1
A
n
. Por lo tanto R es una
clase mon otona. Por el teorema de la clase mon otona conclumos que R = (A).
En general, si
1
es fuertemente -nita sobre (A), elegimos A
n
A disjuntos con medida
nita tales que X =

n=1
A
n
. Luego para cada B (A) tenemos

1
(B) =

n=1

1
(B A
n
) =

n=1

2
(B A
n
) =
2
(B).
En efecto, para cada n, A
n
(A) = (A
n
A) y por lo tanto aplicando la el resultado para
el caso de medidas nitas conclumos que

1
(B A
n
) =
2
(B A
n
).
Ejercicio. Pruebe la armaci on A (A) = (A A), de la Proposici on 5.49. Adem as
demuestre que se puede elegir una sucesi on disjunta A
n
de elementos del algebra tal que
X =

n=1
A
n
.
Queremos ahora mostrar como se puede extender una medida positiva denida en una
- algebra a una - algebra completa.
Denici on 5.50. Consideremos un espacio de medida (X, M, ). Llamamos M

a la colecci on
de todos los subconjuntos E X tales que (BA) = 0 para A, B Mtales que A E B.
A la colecci on M

la llamamos la completaci on de M respecto a .

Teorema 5.51. Consideremos un espacio de medida (X, M, ). La completaci on M

de M
respecto a es una algebra. Adem as tiene una extensi on unica como medida positiva a la
completaci on M

de M.
Demostraci on. Dado un conjunto E M

, denimos
(E) := (A),
donde A, B M son tales que A E B y (B A) = 0. Notemos que esta extensi on
est a bien denida. En efecto, si A
1
E B
1
y (B
1
A
1
) = 0, entonces
AA
1
E A
1
B
1
A
1
,
5.5. UNICIDAD Y COMPLETACIONES 105
y por lo tanto (A A
1
) = 0. Luego (A) = (A A
1
). Por simtera (A
1
) = (A A
1
). Es
decir (A) = (A
1
). Por otra parte es obvio que la extensi on que hemos denido es unica.
Ahora, notemos que X M

. Adem as, si A E B, entonces B

c
E
c
A
c
y
A
c
B
c
= B A. Luego E
c
M

. Y si A
i
E
i
B
i
, claramente A E B, donde
A = A
i
, E = E
i
y B = B
i
, y B A (B
i
A
i
). Esto implica que E M

. Es f acil ver
que la extensi on de sigue siendo -aditiva.
5.6. TEOREMA DE EXTENSI

ON DE CARATHEODORY 105
5.6. Teorema de extensi on de Caratheodory
En el contexto de los n umeros reales, la noci on de medibilidad de un conjunto, corresponde
al hecho que el nmo de la medida de los abiertos que lo contienen coincide con el supremo de
la medida de los cerrados que contiene. Es decir, queremos que de alguna forma, la denici on
intuitiva de medida que la dene como una aproximaci on por las medidas de abiertos, sea
consistente en el sentido de que no dependa de si se usa el conjunto o su complemento.
Denici on 5.52. Sea X un conjunto. Decimos que una funci on

: P(X) [0, ] es una

medida externa si
(i)

() = 0.
(ii)

(A)

(B) si A B.
(iii) Si A

n=1
A
n
, luego

(A)

n=1

(A
n
).
Aden as, diremos que un conjunto E X es

-medible si para todo A P(X),

(A) =

(A E) +

(A E
c
).
A la colecci on de los conjuntos

-medibles la denotaremos M

.
Teorema 5.53. La colecci on M

es una - algebra. Adem as, la restricci on de

a esta
colecci on, es una medida positiva y M

es completa respecto a ella.

Demostraci on. Primero probaremos que los conjuntos

-medibles forman una - algebra.

Sea E M

. Luego para cada A P(X)

(A) =

(A E) +

(A E
c
) =

(A E
c
) +

(A (E
c
)
c
).
Por lo tanto E
c
M

. Sean E
1
, E
2
M

. Entonces es inmediato que

(A)

(A (E
1
E
2
)) +

(A (E
1
E
2
)
c
).
Por otro lado

(A) =

(A E
1
) +

(A E
c
1
)
=

(A E
1
) +

(A E
c
1
E
2
) +

(A (E
1
E
2
)
c
).
Pero (A E
1
) (A E
c
1
E
2
) = A (E
1
E
2
). Luego

(A)

(A (E
1
E
2
)) +

(A (E
1
E
2
)
c
).
La sub-aditividad implica ahora que E
1
E
2
M

.
Sea E =

n=1
E
n
, E
n
M

. Denimos G
n
=
n
k=1
E
k
. Luego

(A) =

(A G
n
) +

(A G
c
n
)

(A G
n
) +

(A E
c
).
106 CAP

ITULO 5. MEDIDA E INTEGRACI

ON
Entonces

(A G
n
) =

(A G
n
E
n
) +

(A G
n
E
c
n
)
=

(A E
n
) +

(A G
n1
).
Por inducci on en n 1

(A G
n
) =
n

k=1

(A E
k
).
Luego
lm
n

(A G
n
) =

k=1

(A E
n
)

(A E).
Conclumos que E M

.
Ahora probemos que es una medida positiva sobre M

. Probaremos que es numer-

ablemente aditiva y que existe A M

tal que (A) < . Por denici on de medida externa

tenemos que () =

() = 0. Ahora, sean E
1
, E
2
M

. Luego si E
1
, E
2
son disjuntos
(E
1
E
2
) =

((E
1
E
2
) E
2
) +

((E
1
E
2
) E
c
2
)
=

(E
2
) +

(E
1
) = (E
1
) +(E
2
).
Adem as si E =

n=1
E
n
, E
n
M

tenemos que
(E) =

(E)

(
n
k=1
E
k
) = (
n
k=1
E
k
) =
n

k=1
(E
k
) =
n

k=1

(E
k
).
Tomando el lmite cuando n tiende a innito vemos que

(E) = (E)

k=1
(E
k
) =

k=1

(E
k
)

(E).
Luego (E) =

k=1
(E
k
). Por lo tanto, la restricci on de la medida externa

a los conjuntos
medibles M

, es una medida positiva.

Denici on 5.54. Sea C una colecci on de subconjuntos de un conjunto X. Diremos que una
funci on : C [0, ] es una premedida si
(i) C,
(ii) () = 0.
Teorema 5.55. Sea es una premedida denida en una colecci on C de subconjuntos de X.
Para cada E X, denimos

(E) := inf
{C
i
}C
E
i
C
i

i=1
(C
i
).
Si no hay subcolecci on de C cuya uni on contenga a E, entonces

(E) = . Luego

es una
medida externa.
5.6. TEOREMA DE EXTENSI

ON DE CARATHEODORY 107
Demostraci on. Por denici on de premedida, C y () = 0, luego

() = 0. Por otra
parte, si A B X, toda colecci on de conjuntos que cubre a B necesariamente cubre a A.
Entonces

(A)

(B). Adem as, si E

n=1
E
n
y > 0, para cada natural n existe una
colecci on A
nm
tal que

m=1
(A
nm
)

(E
n
) +

2
n
, > 0.
Entonces

(E)

n,m
(A
nm
)

n=1

(E
n
) +.
La subaditividad es ahora una consecuencia del hecho que > 0 es arbitrario.
Estamos ahora preparados para la siguiente denici on.
Denici on 5.56. (medida de Lebesgue). Consideremos el conjunto R de los n umeros reales.
Sean T los conjuntos abiertos en la topologa Euclidiana de R. Sea A T con A =

n=1
I
n
y
{I
n
= (a
n
, b
n
)} intervalos abiertos. Denimos la premedida en los abiertos por
(A) :=

n=1
|I
n
|,
donde |I
n
| = b
n
a
n
y () = 0. Sea m

la medida externa inducida por . Denimos la medida

de Lebesgue m o smplemente m, como la restricci on de m

a los conjuntos m

-medibles de
R que llamaremos M
m
.
Finalizaremos esta secci on con el teorema de extensi on de Caratheodory. Necesitamos
primero denir la siguiente noci on.
Denici on 5.57. Consideremos un algebra A que contiene el vaco en un conjunto X. Decimos
que una funci on : A [0, ] es una medida positiva en el algebra A si
(i) (A) =

n=1
(A
n
) para A =

n=1
A
n
, con A, A
n
A.
(ii) () = 0.
Cuando existe una sucesi on de conjuntos A
n
en el algebra A tales que X = A
n
y (A
n
) < ,
decimos que la medida en el algebra A es -nita.
Lema 5.58. Sea A un algebra y una medida positiva denida en A. Consideremos la medida
externa

inducida por . Luego todo E A es

-medible.
Demostraci on. Si A P(X) es tal que

(A) = es trivial constatar que

(A) =

(A
E) +

(AE
c
). Supongamos entonces que

(A) < . Luego para cada > 0 existen A

i
A
tales que

i=1
(A
i
)

(A) +.
Pero por la aditividad de en A, para cada natural i tenemos que
(A
i
) = (A
i
E) +(A
i
E
c
).
108 CAP

ITULO 5. MEDIDA E INTEGRACI

ON
Luego

(A) +

i=1
(A
i
)

i=1
(A
i
E) +

i=1
(A
i
E
c
)

(A E) +

(A E
c
).
Como es arbitrario conclumos que E es

-medible.
Podemos ahora resumir lo que hemos demostrado en esta secci on y en la anterior.
Teorema 5.59 (Extensi on de Caratheodory). Sea A un algebra que contiene el vaco y
una medida en A. Sea

la medida externa inducida por . Luego la restrici on de

a
los conjuntos

-medibles es una medida positiva que es una extensi on de y los conjuntos

medibles M

forman una - algebra completa respecto a . Adem as (A) M

y si es
-nita luego es fuertemente -nita y es la unica extensi on de en A a (A).
Ejercicio. Consideremos X = R. Denimos la colecci on A como los conjuntes A X tales
que
A =
n

k=1
[a
k
, b
k
), |a
k
| < , < b
k

o
A = (, b
0
)

k=1
[a
k
, b
k
)

Pruebe que A es un algebra. Adem as, si denimos sobre A tal que si A A

(A) =
n

k=1
(b
k
a
k
).
Por el teorema de extensi on de Caratheodory esta medida en el algebra tiene una extensi on
unica a una medida denida en los conjuntos Lebesgue medibles que es una - algebra que
contiene a los borelianos. Esta es una construcci on alternativa de la medida de Lebesgue.
Para algunas construcciones de medidas positivas, es m as f acil comenzar por clases de
conjuntos m as sencillas que un algebra.
Denici on 5.60. Una colecci on C de conjuntos es una semi- algebra si
(i) A, B C entonces A B C.
(ii) A C, entonces A
c
=
n
i=1
A
i
, A
i
C.
Lema 5.61. Sea C una semi- algebra. Luego la colecci on de conjuntos formados por el vaco y
las uniones nitas disjuntas en C, es un algebra.
Demostraci on. Denamos la colecci on de conjuntos de X,
A := C {C : C =
n
i=1
A
i
, A
i
C} {}
probaremos que A es un algebra.
(i) Como C A, luego A es cerrado bajo intersecciones nitas.