Pagina 1

Captulo 1
INTRODUCCI

ON
1. Motivacion.
La siguiente es una lista (incompleta) de algunas clases de funciones
en orden creciente de complejidad:
(a) Polinomios con coecientes racionales.
(b) Polinomios con coecientes reales.
(c) Funciones analticas.
(d) Funciones diferenciables.
(e) Funciones continuas.
(f ) Funciones integrables.
En el siguiente Ejercicio 22 se le pide al lector vericar que existen
funciones innitamente derivables que no son analticas. Mostraremos
mas adelante que existen funciones continuas que no tienen derivada
en ning un punto de su dominio de denicion. Esto muestra que las
funciones continuas son ya bastante complicadas.
Un paradigma es un metodo de solucion de un problema que re-
sulta tan eciente, que en el futuro trataremos de aplicar el metodo
siempre que sea posible. Cuales son los paradigmas favoritos del lec-
tor? Proponemos al lector identicar el mayor n umero de paradigmas
en este curso. He aqu un primer ejemplo.
Paradigma 1. Un paradigma importante en analisis es el metodo de
usar objetos simples para aproximar objetos complicados.
En el Captulo 2 mostraremos que los polinomios con coecientes
reales aproximan bien a las funciones continuas. La ventaja es que
P agina 2
los polinomios son mucho mas faciles de manejar que las funciones
continuas.
Ejercicio 2. Identicar casos en donde se aplica el Paradigma 1 a lo
largo de este curso.
Enunciamos a continuacion otro importante paradigma.
Paradigma 3. Siempre que sea posible justicarlo, nos gustara in-
tercambiar el orden en que se toman dos procesos de paso al lmite.
En lo que resta de esta seccion explicaremos con mas detalle lo que
signica intercambiar el orden en que se toman dos procesos de paso al
lmite. En la seccion 2 de este captulo, ponemos el Paradigma 3 en
prespectiva historica, en el contexto del desarrollo de la teora inicial
de las series de Fourier. Algunos de los resultados mas importantes de
este curso, son teoremas que nos permiten justicar el intercambio de
dos lmites.
Denicion 4. Sea
_
f
n
_
=
_
f
n
: n N
_
una sucesion de funciones
denidas en un conjunto E. Supongamos que para cada x E, la
sucesion de n umeros
_
f
n
(x)
_
converge al lmite f(x). Decimos en-
tonces que
_
f
n
_
converge puntualmente a f en E.
Si
_
f
n
_
es una sucesion que converge puntualmente en un conjunto
E y ademas cada f
n
es una funcion continua, se cumplira entonces
que la funcion lmite f tambien es continua? Si este es el caso, entonces
lim
xa
f(x) = f(a)
y por lo tanto, tendramos que
lim
xa
lim
n
f
n
(x) = lim
n
lim
xa
f
n
(x).
Pagina 3
As pues, estamos interesados en justicar un intercambio en el orden
en que se toman los lmites. Este intercambio en el orden de los lmites
es un proceso delicado y en algunas ocaciones no es posible justicarlo.
Ejemplo 5. Para cada par m, n N, sea
A(m, n) =
m
m+n
.
Entonces, para cada n jo,
lim
m
A(m, n) = 1, y por lo tanto lim
n
lim
m
A(m, n) = 1.
Por otro lado, tenemos que
lim
m
lim
n
A(m, n) = 0.
El siguiente ejemplo muestra que tomar lmite y tomar derivada,
son procesos que en general no conmutan. Puesto que la derivada
se dene mediante un paso al lmite, entonces en realidad estamos
considerando el caso de un intercambio en el orden en que se toman
dos lmites.
Ejemplo 6. Para cada x R, sean
f
n
(x) =
sennx

n
y f(x) = lim
n
f
n
(x) = 0.
Entonces f

(x) = 0 para cada x R. Por otro lado

f

n
(x) =

ncos nx.
Vemos entonces que
_
f

n
} no converge puntualmente a f

, ya que por
ejemplo,
f

n
(0) =

n + cuando n ,
P agina 4
mientras que f

(0) = 0.
En el Ejemplo 8 que sigue, mostraremos que tomar lmite e integral
son procesos que en general no conmutan. La integral tambien es un
proceso lmite. Sera necesario un resultado auxiliar.
Lema 7. Sea > 0 y sea R > 1. Pruebe que
lim
t
t

R
t
= 0.
Demostracion. Sea y = e
t
. Debemos probar entonces que
lim
y
_
log y
_

R
log y
= 0.
Ahora bien,
R
log y
= e
log Rlog y
= y

en donde = log R > 0.

Puesto que f(x) = x

es una funcion continua, entonces es suciente

si
lim
y
log y
y
/
= 0.
Puesto que x = y
/
siempre que y , entonces basta si
lim
x
log x
x
= 0.
Pero esto ultimo se cumple, ya que
1
x
log x =
1
x
x
_
1
dt
t
=
1
x
_

x
_
1
+
x
_

x
_
dt
t

2

x
0
Pagina 5
siempre que x .
Ejemplo 8. Para cada x [0, 1], sea
f
n
(x) = nx(1 x
2
)
n
.
Si 0 x 1, entonces lim
n
f
n
(x) = 0. Por otro lado, tenemos que
1
_
0
x(1 x
2
)
n
dx =
1
2
1
_
0
(1 x)
n
dx =
1
2
1
_
0
x
n
dx =
1
2

1
n + 1
.
Por lo tanto,
lim
n
1
_
0
f
n
(x) dx =
1
2
= 0 =
1
_
0
lim
n
f
n
(x) dx.
Vemos pues que intercambiar el orden en que se toman las distintas
operaciones del analisis, es un proceso delicado. En general es deseable
poder justicar tales intercambios. El concepto de convergencia uni-
forme y la integral de Lebesgue nos permiten entender mejor cuando
es posible los intercambios en el orden en que se toman los distintos
procesos de lmite.
2. Series de Fourier.
Con el objeto de estudiar la conduccion de calor en una varilla metalica
delgada de longitud 1, denotemos mediante u(x, t) la temperatura en
el punto x [0, 1] al tiempo t > 0. Esta funcion debe satisfacer las
siguientes tres condiciones:
(9)
u
t
= c
2

2
u
x
2
, u(0, t) = u(1, t) = 0, u(x, 0) = f(x),
P agina 6
en donde f : [0, 1] R es la distribucion de temperatura inicial y c R
es una constante apropiada que tomaremos igual a 1. Suponiendo
que existe una solucion de la forma u(x, t) = V (x)W(t), entonces la
ecuacion diferencial en (9) se transforma en
W

(t)
W(t)
=
V

(x)
V (x)
.
El lado derecho de esta ecuacion es independiente de t, mientras que el
lado izquierdo es independiente de x. Por lo tanto, ambos lados deben
ser iguales a una constante . As hemos obtenido el siguiente par de
ecuaciones:
(10) W

= W y V

= V.
La primera ecuacion tiene solucion W(t) = e
t
. Las condiciones
u(0, t) = u(1, t) = 0 tienen ahora la forma V (0) = V (1) = 0. La
segunda ecuacion en (10) tiene como solucion V (x) = senx en donde
=
2
. Por lo tanto = n en donde n N.
Para cada n N, sean
W
n
(t) = e
n
2

2
t
y V
n
(x) = sennx.
Para cualesquiera constantes
_
a
n
_
, la serie innita
(11) u(x, t) =

n=1
a
n
V
n
(x) W
n
(t)
es una solucion formal del problema
u
t
=

2
u
x
2
sujeto a u(0, t) = u(1, t) = 0.
Pagina 7
Si la condicion u(x, 0) = f(x) en el problema original (9) se satisface,
entonces, poniendo t = 0 en (11), vemos que
(12) f(x) =

n=1
a
n
sen(nx).
Por lo tanto, es deseable saber cuando una funcion f : [0, 1] R tiene
una expresion de la forma (12).
En su estudio sobre la conduccion de calor en solidos, J. Fourier
armo que cualquier funcion f : [0, 1] R se puede representar por su
serie de Fourier:
f(x) =

nZ
a
n
e
2inx
en donde a
n
=
1

0
f(x) e
2inx
dx.
Siguiendo una sugerencia de J.L. Lagrange, podemos obtener la ex-
presion anterior para los coecientes a
n
al multiplicar por e
2inx
en
la expresion anterior para f(x), integrar de 0 a 1, intercambiar suma e
integral, y nalmente usar la ortogonalidad de la exponencial compleja.
En 1826, N.H. Abel cuestiono la validez del intercambio de suma
innita e integral en el anterior programa propuesto por Lagrange. En
el Captulo 5 demostraremos que la armacion de Fourier es falsa, al
menos para la clase de funciones continuas. Es decir, probaremos que
existen funciones continuas, cuya serie de Fourier es divergente en al
menos un punto.
P agina 8
3. Ejercicios.
Ejercicio 13. Sea S un conjunto de n umeros reales. Escribimos
b = supS (el supremo de S)
siempre que se satisfagan las siguientes condiciones.
(a) Para cada x S, se cumple x b.
(b) Si a < b, entonces existe x S tal que a < x.
Suponga que todo conjunto acotado superiormente tiene un supremo.
Pruebe que todo polinomio de grado impar tiene al menos una raz
real.
Ejercicio 14. Sea A =
_
a
n
_
una sucesion acotada de n umeros reales.
Demuestre que existe una subsucesion convergente de A.
Ejercicio 15. Pruebe que una sucesion de n umeros reales converge si
y solo si es de Cauchy.
Ejercicio 16. El lmite superior limsup
n
a
n
, de una sucesion
_
a
n
_
es
el mayor de todos los puntos de acumulacion de
_
a
n
_
. Demuestre que
limsup
n
a
n
= lim
n
_
sup
kn
a
k
_
.
El lmite inferior se dene de manera similar. Enuncie y demuestre la
proposicion correspondiente al lmite inferior.
Ejercicio 17. Sea
_
a
n
_
una sucesion de n umeros reales y sea

n
:=
a
1
+ +a
n
n
.
Pagina 9
Entonces liminf
n
a
n
liminf
n

n
limsup
n

n
limsup
n
a
n
.
Ejercicio 18. Para que valores de R se cumple que la siguiente
serie es convergente?

n=1
_
1
n
sen
1
n
_

.
Ejercicio 19. Demuestre que la serie

n=2
log n
n

converge para todo > 1 y diverge si 0 < 1.

Ejercicio 20. Suponga que la serie

a
n
z
n
tiene un radio de conver-
gencia r > 0. Sea A > 1/r. Entonces existe C > 0 tal que para toda
n se cumple que |a
n
| C A
n
.
Ejercicio 21. Si a
n
0 y

n=1
a
n
< , entonces

n=1
1
n
_
a
n
_1
2
< .
Ejercicio 22. Sea f : R R la funcion denida mediante
f(x) =
_
e
1/x
2
si x > 0,
0 si x 0.
Pruebe que f es innitamente diferenciable y que f
(n)
(0) = 0 para
cada n N.
Ejercicio 23. Si f : [0, 1] R es una funcion continua, entonces f
es uniformemente continua, es decir, para cada > 0, existe > 0
P agina 10
tal que para todo x, y [0, 1], la condicion |x y| < , implica que
|f(x) f(y)| < .
Ejercicio 24. Sea f(x) una funcion continua en [a, b]. Pruebe que
f(x) es acotada.
Ejercicio 25. Sea f : (0, 1) R. Entonces f es continua si y solo si
para cada n umero los conjuntos
_
x : f(x) >
_
y
_
x : f(x) <
_
son abiertos.
Ejercicio 26. Sea f : [0, 1] R una funcion diferenciable. Suponga
que
|f(x)| +|f

(x)| = 0 para 0 x 1.
Pruebe que f solo puede tener un n umero nito de ceros.
Ejercicio 27. Suponga que f(x) es una funcion continua y no negativa
denida en [0, 1] y tal que
_
1
0
f(x) dx = 0. Demuestre que f(x) = 0
para toda x [0, 1].
Ejercicio 28. Sea f : [0, ) R una funcion no negativa tal que
_

0
f(x) dx < . Suponga que |f

(x)| 1. Pruebe que f(x) 0

cuando x .
Ejercicio 29. Sea f : [0, ) R una funcion uniformemente continua
con la propiedad de que lim
b

b
0
f(x) dx existe y es nito. Pruebe que
lim
x
f(x) = 0.
Ejercicio 30. Sea f(x) una funcion continua en [a, b]. Sea M el
maximo de f(x). Pruebe que
M = lim
n
_
b
_
a

f(x)

n
dx
_1
n
.
Pagina 11
Ejercicio 31. Pruebe que para cada |x| 1/2, se cumple que
x x
2
log(1 +x) x.
Suponga que a
n
> 1, para cada n N y que la serie

a
n
converge
absolutamente. Pruebe que el lmite
lim
M
M

n=1
(1 +a
n
)
existe y es distinto de cero.
Ejercicio 32. Sea
_
a
n
_
una sucesion de n umeros reales que converge
a cero. Pruebe que existe una sucesion
_

n
_
con
n
= 1 y tal que la
serie

n
a
n
es convergente.
P agina 12
Captulo 2
CONVERGENCIA UNIFORME
1. Propiedades Basicas.
En esta seccion denimos primero el concepto de sucesion de funciones
uniformemente convergente. Despues veremos como la convergencia
uniforme permite intercambiar distintos procesos de lmite.
Denicion 1. Sea
_
f
n
_
una sucesion de funciones denidas en un
conjunto E. Se dice que
_
f
n
_
converge uniformemente a f, si para
cada > 0 existe N, tal que n > N implica que para cada x E, se
cumple |f(x) f
n
(x)| < .
Teorema 2. Sea f
n
: [0, 1] R una sucesion de funciones continuas
que converge uniformemente a f. Entonces f es continua en [0, 1].
Demostracion. Sea x [0, 1]. Sea > 0. Notese que
|f(x) f(y)| |f(x) f
n
(x)|
. .
(I)
+|f
n
(x) f
n
(y)|
. .
(II)
+|f
n
(y) f(y)|
. .
(III)
.
Puesto que
_
f
n
_
converge uniformemente, entonces existe n tal que
|f(u) f
n
(u)| /3 para cada u [0, 1]. Por lo tanto, los terminos
(I) y (III) son cada uno menores que /3. Puesto que f
n
es continua
en x, entonces existe > 0 tal que |x y| < implica que el termino
(II) tambien es menor que /3.
Teorema 3. Sea
_
f
n
_
una sucesion de funciones integrables que con-
vergen uniformemente a la funcion integrable f en [0, 1]. Entonces,
1
_
0
f(x) dx = lim
n
1
_
0
f
n
(x) dx.
Pagina 13
Demostracion. Es claro que

1
_
0
f(x) dx
1
_
0
f
n
(x) dx

1
_
0
|f(x) f
n
(x)| dx <
si n es sucientemente grande.
Teorema 4. Sea
_
f
n
_
una sucesion de funciones. Suponga que
(a) Cada f
n
es diferenciable en (0, 1).
(b) Cada f

n
es continua.
(c) Existe a (0, 1) tal que
_
f
n
(a)
_
es convergente.
(d) La sucesion
_
f

n
_
converge uniformemente en cada subintervalo
cerrado de (0, 1).
Bajo estas condiciones,
_
f
n
_
converge uniformemente en cada subin-
terbalo cerrado a un lmite f. La funcion lmite f, es diferenciable
en (0, 1). La sucesion
_
f

n
_
, converge uniformemente a f

en cada
subintervalo cerrado contenido en (0, 1).
Demostracion. Para cada x (0, 1), sea
g(x) = lim
n
f

n
(x).
Sea b = lim
n
f
n
(a). Entonces,
x
_
a
g(t)dt = lim
n
x
_
a
f

n
(t)dt = lim
n
_
f
n
(x)f
n
(a)
_
= lim
n
f
n
(x)b.
Por lo tanto, f(x) = lim
n
f
n
(x) existe y ademas,
f(x) = b +
x
_
a
g(t) dt.
P agina 14
Tomando derivadas, obtenemos que
f

(x) = g(x) = lim

n
f

n
(x).
La convergencia f

n
f

es uniforme en subintervalos cerrados de

(0, 1) debido a la hipotesis (d) del teorema. Para vericar que f
n
f
uniformemente en [c, d] (0, 1), suponga que a, x [c, d]. Entonces,

f
n
(x) f(x)

x
_
a
f

n
(t) dt +f
n
(a)
x
_
a
f

(t) dt f(a)

d
_
c

n
(t) f

(t)

dt +

f
n
(a) f(a)

.
Aplicaremos ahora los resultados basicos sobre la convergencia
uniforme para construir un ejemplo de funcion continua pero no
diferenciable.
Ejemplo 5. Para cada x R, sea (x) la distancia de x al conjunto
de los enteros, de modo que (x) = min
_
|xn| : n Z
_
. Notese que
(x) es una funcion periodica y que
(x) =
_
x si 0 x 1/2,
1 x si 1/2 x 1.
Por lo tanto 0 (x) 1/2 para cada x R. Para cada n N
_
0
_
,
sea
f
n
(x) =
1
2
n

_
2
n
x
_
.
Denimos ahora la funcion g : [0, 1] R, mediante
g(x) =

n=0
f
n
(x).
Pagina 15
Puesto que 0 f
n
(x) 1/2
n+1
, entonces la serie que dene a g(x) con-
verge uniformemente. Puesto que cada f
n
(x) es una funcion continua,
entonces g(x) tambien es continua.
Si k n y j
_
0, 1, . . . , 2
n
_
, entonces
f
k
_
j
2
n
_
=
1
2
k

_
j2
kn
_
= 0
ya que j2
kn
Z. Por lo tanto, si u = j/2
n
, entonces
g(u) = f
0
(u) +f
1
(u) + +f
n1
(u).
Ahora podemos probar que g no es diferenciable en ning un punto. Sea
x [0, 1] y sean u
n
= j/2
n
y v
n
= (j + 1)/2
n
, con n Z, n umeros
tales que u
n
x < v
n
. Es claro que
lim
n
u
n
= lim
n
v
n
= x.
Puesto que u
n
y v
n
son ambos de la forma u considerada mas arriba,
entonces
(6)
g(v
n
) g(u
n
)
v
n
u
n
=
n1

k=0
f
k
(v
n
) f
k
(u
n
)
v
n
u
n
.
Cada cociente
f
k
(v
n
) f
k
(u
n
)
v
n
u
n

_
1, 1
_
,
y por lo tanto (6) no converge cuando n . Esto ultimo prueba
que g

(x) no existe. En efecto, si g

(x) existe, entonces

g(v
n
) g(u
n
)
v
n
u
n
=
n
_
g(v
n
) g(x)
v
n
x
g

(x)
_
(7)
+ (1
n
)
_
g(u
n
) g(x)
u
n
x
g

(x)
_
+g

(x),
P agina 16
en donde,

n
=
v
n
x
v
n
u
n
.
Puesto que 0
n
1, entonces la existencia de g

(x) implica que

los primeros terminos en el lado derecho de (7) tienden a cero y por
lo tanto, el cociente diferencial en el lado izquierdo de (7) converge a
g

(x).
2. Sucesiones de Dirac.
En esta seccion vamos a denir primero las sucesiones de Dirac. Un
caso particular de sucesion de Dirac considerada por E. Landau nos
permitira probar el teorema de Wierestrass sobre la aproximacion uni-
forme de funciones continuas mediante polinomios algebraicos.
Consideremos primero un caso muy simple de sucesion de Dirac.
Ejercicio 8. Para cada n umero entero positivo n, dena

n
(x) :=
_
_
_
n
2
si |x| <
1
n
,
0 en otro caso.
Sea f : [1, 1] R una funcion acotada y continua en x = 0. Pruebe
que
f(0) = lim
n
+1
_
1
f(x)
n
(x) dx.
Solucion. Notese que
n
(x) 0 para cada x y que
+1
_
1

n
(x) dx = 1.
Ahora bien,

f(0)
+1
_
1
f(x)
n
(x) dx

+1/n
_
1/n
_
f(0) f(x)
_

n
(x) dx

Pagina 17

+1/n
_
1/n
|f(0) f(x)|
n
(x) dx sup
|x|1/n
|f(0) f(x)| 0
cuando n .
Ejercicio 9. Para x [0, 1] y n N, se cumple que (1x)
n
1nx.
Teorema 10. (K. Weierstrass). Sea f : [1/2, 1/2] R una
funcion continua. Sea > 0. Entonces existe un polinomio p(x) tal
que |f(x) p(x)| < para cada |x| 1/2.
Demostracion. Supondremos sin perder generalidad que f(x) es con-
tinua en todo R y se anula en |x| 1/2. Para cada n N, sea
(11) k
n
(x) =
_
c
n
(1 x
2
)
n
si |x| 1,
0 en otro caso,
en donde c
n
es tal que
(12)
+1
_
1
k
n
(x) dx = 1 para cada n.
Sea
p
n
(x) =
+1
_
1
f(x t)k
n
(t) dt =
+1
_
1
f(t)k
n
(x t) dt.
Es claro que p
n
es un polinomio de grado 2n. Puesto que se cumple
(12), entonces
|f(x) p
n
(x)|
+1
_
1
|f(x) f(x t)| k
n
(t) dt.
P agina 18
Sea > 0. Consideremos la ultima integral primero sobre el conjunto
|t| . Puesto que f es uniformemente continua, entonces
_
|t|
|f(x) f(x t)| k
n
(t) dt

2
+1
_
1
k
n
(t) dt =

2
siempre que sea sucientemente peque no.
Por otro lado,
1
c
n
=
+1
_
1
(1 x
2
)
n
dx = 2
1
_
0
(1 x
2
)
n
dx
2
1/

n
_
0
(1 x
2
)
n
dx 2
1/

n
_
0
(1 nx
2
) dx =
4
3

n
,
y por lo tanto c
n
<

n. Si M = sup
xR
|f(x)|, entonces
_
|t|
|f(x) f(x t)| k
n
(t) dt 2M
_
|t|
k
n
(t) dt
4M

n
1
_

(1 x
2
)
n
dx 4M

n(1
2
)
n
0
si n . Esto termina la prueba.
Denicion 13. Sean f y g dos funciones de variable real. La con-
volucion f g, es la funcion
(f g)(x) =
+
_

f(t)g(x t) dt
Pagina 19
denida para cada x R. Escribiremos f g(x) en lugar de (f g)(x).
Denicion 14. Una sucesion de Dirac en R es una sucesion de fun-
ciones k
n
: R R, que satisfacen las siguientes propiedades.
(a) k
n
(t) 0 para cada n N y t R.
(b) Si n N, entonces
_
+

k
n
(t) dt = 1.
(c) Para cada par , de n umeros positivos, existe N tal que
_
|t|
k
n
(t) dt < siempre que n N.
La sucesion
_

n
_
del Ejemplo 8 y la sucesion de funciones (12) son
ejemplos de sucesiones de Dirac. Para la demostracion del siguiente
teorema, se debe proceder como en el Ejemplo 8 y el Teorema 10.
Teorema 15. Sea f : R R una funcion continua y acotada. Sea
E R un intervalo compacto. Sea
_
k
n
_
una sucesion de Dirac. En-
tonces k
n
f converge uniformemente a f en E.
Los dos ejemplos que siguen muestran aplicaciones del concepto
de convolucion.
Ejemplo 16. (S.D. Poisson). Para cada 0 < r < 1 y cada R,
sea
P
r
() =
1
2

1 r
2
1 2r cos +r
2
.
Entonces
_
P
r
_
es una familia de Dirac para r 1

. Sea

2
u =

2
u
r
2
+
1
r
u
r
+
1
r
2

2
u

2
P agina 20
el operador de Laplace en coordenadas polares. Es facil ver que

2
P
r
() = 0. Sea f() una funcion decente y periodica de perodo
2. Tomando derivadas dentro de la integral, se obtiene

2
_
P
r
f
_
=
_

2
P
r
_
f = 0.
Por lo tanto, P
r
f() es una solucion a la ecuacion
2
u = 0 con
valores a la frontera f().
Ejemplo 17. (K. Weierstrass). Para cada t > 0 y cada x R, sea
K
t
(x) =
1
2

t
e
x
2
/4t
.
Entonces
_
K
t
_
es una familia de Dirac para t 0. Puesto que

2
u
x
2

u
t
= 0,
entonces K
t
f es una solucion al problema de difucion con valores
iniciales f(x).
En el siguiente ejercicio se bosqueja la demostracion original de
Weierstrass a su teorema de aproximacion.
Ejercicio 18. Sea f : R R una funcion continua que se anula en
|x| 1/2. Sea K
t
el n ucleo de Weierstrass denido en el Ejemplo 17.
Pruebe que K
t
f es una funcion analtica. Pruebe que los polinomios
de Taylor de K
t
f aproximan a f uniformemente.
En lo que resta de esta seccion, nos ocuparemos de las nociones
mas basicas del analisis de Fourier.
Pagina 21
Ejemplo 19. Para cada n N y cada x R, sea
F
n
(x) = 1 + 2
n1

j=1
_
1
j
n
_
cos(2jx).
Entonces,
F
n
(x) =
1
n
_
sennx
senx
_
2
.
En efecto, escribiendo A = 2x, obtenemos
nF
n
(x) =

|j|<n
_
n |j|
_
e
ijA
=
_
1+e
iA
+e
2iA
+ +e
(n1)iA
_

_
1+e
iA
+e
2iA
+ +e
(n1)iA
_
=
1 e
inA
1 e
iA

1 e
inA
1 e
iA
=

1 e
inA
1 e
iA

2
=

e
in
A
2
e
in
A
2
e
i
A
2
e
i
A
2

2
.
Ejercicio 20. Pruebe que la sucesion
_
F
n
_
es una sucesion de Dirac.
Teorema 21. (L. Fejer). Sea f : R R una funcion periodica de
perodo 1. Para cada j Z, sea
(22) c
j
=
1
_
0
f(x)e
2ijx
dx.
Suponga que f(x) es continua en x = a. Se cumple entonces que
f(a) = lim
n

|j|<n
_
1
|j|
n
_
c
j
e
2ijx
.
Ejercicio 23. Suponga que la serie convergente

a
n
tiene terminos
positivos y decrecientes. Pruebe que n a
n
0 cuando n .
P agina 22
Ejercicio 24. (E. Cesaro). Suponga que
_
a
n
_
es una sucesion de
n umeros reales tal que lim
n
a
n
= A. Pruebe que lim
n
1
n
n

j=1
a
j
= A.
Teorema 25. Sea f : R R una funcion periodica de perodo 1.
Para cada j Z, sea c
j
como en (22). Suponga que
lim
|j|
jc
j
= 0.
Entonces, para cada x R, se cumple que
f(x) =

jZ
c
j
e
2ijx
.
Demostracion. Puesto que jc
j
0 cuando |j| , entonces
1
N

|j|<N
|j|a
j
0 cuando N .
3. La Generalizacion de Stone.
En esta seccion vamos a considerar una generalizacion de gran alcance
al teorema de aproximacion de Wierstrass.
Denicion 26. Una familia A de funciones f : E R se llama un
algebra de funciones, si se cumplen las condiciones
(a) f +g A,
(b) f g A,
(c) cf A,
siempre que f, g A y c R.
Pagina 23
Ejemplo 27. El conjunto de todos los polinomios con coecientes
reales es un algebra.
Ejercicio 28. Suponga que f
n
f y que g
n
g uniformemente en el
intervalo semiabierto (0, 1]. Pruebe que no necesariamente se cumple
que f
n
g
n
f g uniformemente en E.
Denicion 29. Por la cerradura de A entenderemos el conjunto A

de todas las funciones f : E R, para las cuales existe

_
f
n
_
A, tal
que f
n
f uniformemente en E.
Observacion. Sea E un conjunto compacto. Si A es un algebra de
funciones continuas denidas en E, entonces A

tambien lo es. Notese

ademas que (A

= A

.
Denicion 30. Mediante C(E) se denota el conjunto de todas las
funciones continuas con dominio E.
Ejemplo 31. El conjunto A de todos los polinomios con coecientes
reales, denidos en [0, 1], es una algebra, cuya cerradura es el conjunto
de todas las funciones continuas, esto es, A

= C[0, 1].
Denicion 32. Se dice que un algebra A separa puntos en E, si para
cada par x, y E tales que x = y, existe f A, tal que f(x) = f(y).
Denicion 33. Se dice que un algebra A no se anula en E, si para
cada x E, existe f A, tal que f(x) = 0.
El siguiente ejemplo, es un algebra de funciones que separa puntos
y no se anula.
P agina 24
Ejemplo 34. Sea E = [0, 1] [0, 1] y sea A el conjunto de todos los
polinomios en dos variables con coecientes reales, denidos en E.
Lema 35. Sea A un algebra que separa puntos y no se anula en E.
sean x, y dos elementos distintos de E. Sean a, b R. Entonces existe
f A tal que f(x) = a y f(y) = b.
Demostracion. Existen funciones g, h, k A tales que
g(x) = g(y), h(x) = 0 y k(y) = 0.
Sean
u = gk g(x)k y v = gh g(y)h.
Entonces u A, v A y ademas u(x) = v(y) = 0,
u(y) = k(y)
_
g(y) g(x)
_
= 0 y v(x) = h(x)
_
g(x) g(y)
_
= 0.
La funcion
f =
av
v(x)
+
bu
u(y)
A
tiene las propiedades indicadas.
Teorema 36. (M. Stone). Sea A un algebra de funciones reales,
continuas y denidas en un conjunto compacto E. Suponga que A
separa puntos y no se anula en A. Entonces la cerradura de A es igual
al conjunto de todas las funciones continuas en E, esto es, A

= C(E).
Demostracion. La prueba es en 4 partes.
Parte 1. f A

implica |f| A

. En efecto, sea a = sup

xE
|f(x)| y sea
> 0. Entonces existen n umeros reales c
1
, . . . , c
n
, tales que

j=1
c
j
y
j
|y|

<
Pagina 25
para cada y [a, a]. Puesto que A

es un algebra, entonces
g :=
n

j=1
c
j
f
j
A

.
Por lo tanto

g(x) |f(x)|

< para cada x E

implica que |f| (A

= A

.
Parte 2. Si f, g A

, entonces max(f, g) A

y min(f, g) A

. En
efecto,
max(f, g) =
f +g
2
+
|f g|
2
, y min(f, g) =
f +g
2

|f g|
2
.
Parte 3. Si f : E R es continua, x E y > 0, entonces existe
g
x
A

tal que g
x
(x) = f(x) y
g
x
(t) > f(t) para todo t E.
En efecto, para cada y E, existe h
y
A A

tal que
h
y
(t) = f(x) y h
y
(y) = f(y).
Puesto que h
y
es continua, entonces existe un conjunto abierto J
y
que
contiene a y, tal que
h
y
(t) > f(t) para todo t J
y
.
Puesto que E es compacto, entonces existen puntos y
1
, . . . , y
n
, tales
que
E J
y
1
J
y
n
.
P agina 26
Sea g
x
= max(h
y
1
, . . . , h
y
n
).
Parte 4. Si f : E R es una funcion continua y > 0, entonces
existe h A

tal que
|f(x) h(x)| < para todo x E.
En efecto, para cada x E, sea g
x
la funcion construida en la Parte
3. Puesto que g
x
es continua, entonces existe un conjunto abierto V
x
que contiene a x y tal que
g
x
(t) < f(t) + para todo t V
x
.
Existen puntos x
1
, . . . x
m
, tales que
E V
x
1
V
x
m
.
Sea h = min(g
x
1
, . . . , g
y
m
). Entonces h A

y ademas
f(t) < h(t) < f(t) + para todo x E.
4. Compacidad Sequencial en C(E).
Ahora estudiaremos la compacidad sequencial de conjuntos de fun-
ciones continuas.
Denicion 37. La sucesion
_
f
n
_
de funciones denidas en E es pun-
tualmente acotada, si existe : E R tal que
|f
n
(x)| < (x) para todo x E y n N.
Pagina 27
En el caso mas estricto de que exista M > 0 tal que
|f
n
(x)| < M para todo x E y n N,
decimos que
_
f
n
_
es uniformemente acotada.
Denicion 38. Una sucesion de funciones
_
f
n
_
es equicontinua, si se
cumple que para todo > 0 existe > 0 tal que |x y| < implica
|f
n
(x) f
n
(y)| < para todo n N.
Teorema 39. Sea
_
f
n
_
una sucesion de funciones puntualmente aco-
tada y denida en un conjunto numerable E. Entonces
_
f
n
_
tiene una
subsucesion
_
f
n
k
_
tal que
_
f
n
k
(x)
_
converge para cada x E.
Demostracion. Sea
_
x
j
: j N
_
la sucesion de elementos de E.
Puesto que
_
f
n
(x
1
)
_
esta acotada, entonces existe una subsucesion
_
f
1,k
: k N
_

_
f
n
_
tal que lim
k
f
1,k
(x
1
) existe.
Puesto que
_
f
n
(x
2
)
_
esta acotada, entonces existe una subsuce-
sion
_
f
2,k
: k N
_

_
f
1,k
_
tal que lim
k
f
2,k
(x
2
) existe.
Este proceso se puede repetir de manera indenida para obtener
el siguiente conjunto de sucesiones
S
1
: f
1,1
f
1,2
f
1,3

S
2
: f
2,1
f
2,2
f
2,3

S
3
: f
3,1
f
3,2
f
3,3

Entonces la sucesion diagonal
_
f
j,j
: j N
_
converge en cada x
j
E.
P agina 28
Ejercicio 40. Demuestre que todo espacio metrico compacto E con-
tiene un subconjunto denso y numerable.
Sugerencia. Para cada n N, existe una familia nita de vecindades
de radio 1/n que cubre a E.
Teorema 41. (Arzela-Ascoli). Sea E un conjunto compacto. Sea
_
f
n
_
una sucesion equicontinua y puntualmente acotada en E. En-
tonces
(a)
_
f
n
_
es uniformemente acotada en E.
(b)
_
f
n
_
contiene una subsucesion uniformemente convergente.
Demostracion. Para cada x E, sea
h(x) = sup
n
|f
n
(x)| < .
Puesto que E es compacto, entonces es suciente si probamos que
h: E R es continua. Sea > 0. Puesto que
_
f
n
_
es equicontinua,
entonces existe > 0 tal que |x y| < implica
|f
n
(x)| |f
n
(y)| |f
n
(x) f
n
(y)| < ,
o bien,
|f
n
(x)| < |f
n
(y)| +.
Tomando el supremo sobre n, se obtiene que
h(x) h(y) +.
Por simetra, tenemos que
h(y) h(x) +.
Pagina 29
Por lo tanto, |h(x) h(y)| siempre que |x y| < .
Para probar la segunada armacion del teorema, sea
_
x
j
_
E un
subconjunto denso y numerable de E. Entonces existe una subsucesion
_
g
n
_

_
f
n
_
que converge en cada punto de
_
x
j
_
.
Para probar que
_
g
n
_
converge en cada x E, sea > 0 tal que
|x y| < implica
|g
n
(x) g
n
(y)| <

3
para todo n N.
Sea x
j
tal que |x x
j
| < . Entonces |g
n
(x) g
m
(x)| no es mayor que
|g
n
(x) g
n
(x
j
)| +|g
n
(x
j
) g
m
(x
j
)| +|g
m
(x
j
) g
m
(x)| <
siempre que m, n N
j
, en donde N
j
es tan grande que
|g
n
(x
j
) g
m
(x
j
)|

3
.
Puesto que E es compacto, entonces un n umero nito de vecindades
_
x : |x x
j
|
_
cubren a E. Tomando el maximo de las N
j
, vemos
que la convergencia es uniforme.
Denicion 42. Sea E un conjunto compacto. Sea C(E) el cunjunto
de todas las funciones continuas denidas en E. Escribimos
||f|| = max
xE
|f(x)|.
Ejercicio 43. Sea I = [0, 1]. Sea k: I I R una funcion continua.
Dena T : C(I) C(I) mediante Tf(x) =
_
1
0
f(t) k(x, t) dt. Un
conjunto B C(I) es acotado, si existe M > 0 tal que ||f|| M para
P agina 30
cada f B. Muestre que T mapea conjutos acotados en conjuntos
equicontinuos.
5. Ejercicios.
Ejercicio 44. Para cada x [0, 1], sean
f
n
(x) = x
n
x
n+1
y g
n
(x) = x
n
x
2n
.
Decir si las sucesiones
_
f
n
_
y
_
g
n
_
convergen uniformemente en x
[0, 1].
Ejercicio 45. Sea
_
f
n
_
una sucesion de funciones continuas en un
c R. Suponga que f
n
f uniformemente en una vecindad de c.
Pruebe que f es continua en c.
Ejercicio 46. Demuestre que cada una de las series

n=1
x
n
(1 x),

n=1
(x)
n
(1 x)
convergen en [0, 1] pero solo una converge uniformemente.
Ejercicio 47. Sea f : R R una funcion uniformemente continua.
Para cada n N, sea
f
n
(x) = f
_
x +
1
n
_
.
Pruebe que f
n
converge uniformemente a f en R. Se cumple lo an-
terior si f es solo continua?
Pagina 31
Ejercicio 48. Sea
_
a
n
_
una sucesion de n umeros reales, tal que a
n

a R. Sea f
n
: R R una sucesion de funciones continuas que
convergen uniformemente a f. Pruebe que f
n
(a
n
) f(a).
Ejercicio 49. Pruebe que la serie

n=1
(1)
n
x
2
+n
n
2
es uniformemente convergente en [a, a] para cada a R. Pruebe
que para ning un valor de x, se cumple que la serie sea absolutamente
convergente.
Ejercicio 50. Pruebe que la serie

j=1
jx
2
j
3
+x
3
converge uniformemente en el intervalo [0, c] para cada c > 0. Pruebe
que la serie no converge uniformemente en [0, ).
Solucion. La convergencia uniforme se sigue de jx
2
_
(j
3
+x
3
) c
2
_
j
2
para cada x [0, c]. Si x = j entonces jx
2
_
(j
3
+ x
3
) = 1
_
2 y por lo
tanto la serie no puede ser uniformemente convergente en [0, ].
Ejercicio 51. Sea S R. Sea g
n
: S R una sucesion de funciones
tal que 0 g
n+1
(x) g
n
(x) para cada n N y cada x S. Suponga
que g
n
(x) 0 uniformemente en S. Pruebe que

n=1
(1)
n
g
n
(x)
converge uniformemente en S.
P agina 32
Ejercicio 52. Sea g : R R una funcion continua, tal que g(0) = 0.
Suponga que g

existe y esta acotada, es decir,

sup
_
|g

(x)| : x R
_
= M < .
Pruebe que la serie

n=1
1
n
g
_
x
n
_
converge para cada x R. Pruebe ademas, que la serie anterior dene
una funcion continua de x.
Ejercicio 53. Para cada n umero entero positivo n, dena

1
n
(x) :=
_
_
_
n
2
si 0 < x < 1/n,
n
2
si 1/n < x < 0,
0 en otro caso.
Sea f : [1, 1] Runa funcion con segunda derivada continua. Calcule
el siguiente lmite
lim
n
+1
_
1
f(x)
1
n
(x) dx.
Calcular el lmite anterior para el caso de que f(x) = |x|.
Ejercicio 54. Sea f : [0, ) R una funcion acotada. Demuestre
que
lim
0
+

_
0
e
t
f(t) dt = lim
t
f(t)
siempre que la integral en el lado derecho y el lmite en el lado izquierdo
existan.
Pagina 33
Ejercicio 55. Sea f una funcion continua en [0, 1]. Evaluar los lmites
lim
n
1
_
0
x
n
f(x) dx y lim
n
n
1
_
0
x
n
f(x) dx.
Ejercicio 56. Una funcion f(x) denida en el intervalo [a, b] se dice
que pertenece a la clase Lipschitz, Lip
M
(), con exponente y con-
stante M, si para cada a x < y b se cumple que
|f(x) f(y)| M |x y|

.
Se dice que f(x) Lip() siempre que f(x) Lip
M
() para alguna
constante M.
(a) Construya una funcion en [0, 1/2] que no pertenesca a la clase
Lip(1).
(b) Sea (0, 1) jo. Construya una funcion en [0, 1/2] que no
pertenesca a la clase Lip().
Ejercicio 57. Sea f(x) una funcion periodica de perodo 1. Sea

f
n
(x) =
1
n
+1/2
_
1/2
f(x t)
_
sennt
sent
_
2
dt.
Suponga que f pertenece a la clase Lip
M
() con (0, 1). Demuestre
que existe una constante absoluta C tal que
||f
f
n
||
C M
n

.
P agina 34
Solucion. Es facil vericar que
|f(x)
f
n
(x)|
1
n
+1/2
_
1/2
|f(x) f(x t)|
_
sennt
sent
_
2
dt

2M
n
1/2
_
0
t

_
sennt
sent
_
2
dt.
Sea 0 < <
1
2
. Estudiemos la integral
I
2
:=
1
n
1/2
_

_
sennt
sent
_
2
dt.
Puesto que 0 t
1
2
implica que
1
sent

1
2t
entonces tenemos
I
2

1
n
1/2
_

t
2
dt

1
n(1 )
.
Estudiemos ahora la integral
I
1
: =
1
n

_
0
t

_
sennt
sent
_
2
dt
=
1
n

_
0
t

_
n
2
+O(n
4
t
2
__
dt = n
+1
+O(n
3

+3
).
Por lo tanto, sera suciente si

1
n
= n
+1
.
Pagina 35
Esto ultimo ocurre cuando =
1
n
. Por lo tanto
|f(x)
f
n
(x)|
2M
n

_
1
1
+A
_
en donde A es una constante que no depende de , f(x) o de n.
Ejercicio 58. Si la funcion periodica f pertenece a la clase Lip
M
(1),
entonces
||f
f
n
||
C M log n
n
.
Ejercicio 59. Sea f una funcion continua y periodica de perodo 1.
Sea
f
n
como en el Problema 57. Pruebe que si ||f
f
n
|| = o(1/n),
entonces f es constante.
Solucion. Puesto que
f
n
(x) =

|j|<n
_
1
|j|
n
_
c
j
e
2ijx
, entonces

jc
j
n

1/2
_
1/2
_
f(x)
f
n
(x)
_
e
2ijx
dx

||f
f
n
||.
Por lo tanto, |j| > 0 implica que c
j
= 0.
Ejercicio 60. Sea k
n
una sucesion de Dirac en donde cada termino es
una funcion par. Sea f una funcion integrable que tiene una discon-
tinuidad de salto en 0. Pruebe que
lim
n
+
_

k
n
(x) f(x) dx =
f(0
+
) +f(0

)
2
.
P agina 36
Ejercicio 61. Sea f : [0, 1] R una funcion continua. Sea > 0.
Pruebe que existe un polinomio p(x) con coecientes racionales, tal
que |f(x) p(x)| para cada x [0, 1].
Ejercicio 62. Sea f : [0, 1] R una funcion continua. Suponga que
_
1
0
x
n
f(x) dx = 0 para n = 0, 1, 2, . . . Demuestre que f(x) = 0 para
todo x [0, 1].
Ejercicio 63. Sea g : [0, 1] R una funcion continua. Demuestre
que existe una sucesion de polinomios
_
p
n
_
tal que p
n
(x) g(x) para
cada x [0, 1] pero tal que
_
1
0
p
n
(x) dx cuando n .
Ejercicio 64. Sea f(x) una funcion continua denida en [0, 1]. De-
muestre que existe una sucesion de polinomios
_
p
n
_
tal que p
n
f de
manera uniforme y ademas p
1
(x) p
2
(x) , para cada x [0, 1].
Ejercicio 65. Sea f : [0, 1] R una funcion con derivada continua.
Pruebe que existen polinomios p
n
(x) tales que
lim
n
_
max
0x1

p
n
(x) f(x)

+ max
0x1

d
dx
p
n
(x)
d
dx
f(x)

_
= 0.
Ejercicio 66. Sea E un conjunto compacto. Sea
_
f
n
_
una sucesion
de funciones continuas. Suponga que
_
f
n
_
converge uniformemente en
E. Pruebe que
_
f
n
_
es equicontinua.
Solucion. Sea f
0
(x) = lim
n
f
n
(x). Puesto que E es compacto, en-
tonces cada f
j
, con j N
_
0
_
, es uniformemente continua. Para
j N
_
0
_
, sea
j
tal que |xy| <
j
implica que |f
j
(x)f
j
(y)| < /3.
Puesto que la convergencia es uniforme, entonces existe N tal que
j > N implica que
|f
j
(x) f
0
(x)| <

3
para cada x E.
Pagina 37
Sea = min
_

0
,
1
, . . . ,
N
_
. Supongamos que |x y| < . Si j > N
entonces
|f
n
(x) f
n
(y)| |f
n
(x) f
0
(x)|
. .
/3
+|f
0
(x) f
0
(y)|
. .
/3
+|f
0
(y) f
n
(y)|
. .
/3
Si j N entonces |x y| < implica |f
n
(x) f
n
(y)|

3
< .
Ejercicio 67. Sea E un espacio metrico compacto y sea
_
f
n
_
una
sucesion equicontinua en C(E). Si
_
f
n
_
converge puntualmente en-
tonces
_
f
n
_
es uniformemente convergente.
Ejercicio 68. Sea F una familia de funciones real valuadas,
denidas en [0, 1], tales que f(0) = 0 y tambien
_
1
0
f

(x)
2
dx 1.
Use el teorema de Arzela-Ascoli para probar que, toda sucesion en F
tiene una subsucesion que converge uniformemente.
Ejercicio 69. Sea
_
f
n
_
una sucesion equicontinua de funciones deni-
das en [0, 1]. Suponga que
lim
m,n
1
_
0

f
m
(x) f
n
(x)

2
dx = 0.
Demuestre que
_
f
n
_
converge uniformemente en [0, 1].
P agina 38
Captulo 3
CONJUNTOS Y FUNCIONES
MEDIBLES
1. La Integral de Riemann.
En esta seccion repasamos brevemente la denicion de integral de Rie-
mann. Sea f : [0, 1] R una funcion real. Sea
P =
_
0 = x
0
< x
1
< < x
n
= 1
_
una particion de [0, 1]. Para cada j = 1, . . . , n, sean
m
j
= inf
_
f(x) : x
j1
x x
j
_
,
M
j
= sup
_
f(x) : x
j1
x x
j
_
.
La norma de la particion P se dene mediante |P| = max
1jn
(x
j
x
j1
).
Sean
Lf = lim
|P|0
n

j=1
m
j
(x
j
x
j1
) y Uf = lim
|P|0
n

j=1
M
j
(x
j
x
j1
).
En caso de que Lf = Uf, entonces decimos que f es Riemann inte-
grable y escribimos
_
1
0
f(x) dx = Uf. En la denicion anterior hemos
considerado una particion en el eje horizontal del plano cartesiano.
Para denir la integral de Lebesgue se considerara una particion del
eje vertical del plano cartesiano.
Ejercicio 1. Sea f : [0, 1] R una funcion integrable que satisface
_
1
0
f(x) dx > 0. Pruebe que existe un intervalo [a, b] [0, 1] con la
propiedad de que f(x) > 0 para cada x [a, b].
Pagina 39
2. La Integral de Lebesgue.
Sea f : [0, 1] Runa funcion acotada: |f(x)| M para cada x [0, 1].
Sean
P =
_
M = y
0
< y
1
< < y
n
= M
_
y |P| = max
1jn
(y
j
y
j1
). Para 1 j n, sea
E
j
=
_
x [0, 1] : y
j1
< f(x) y
j
_
.
Para denir la integral de Lebesgue, se consideran las expresiones
Lf = lim
|P|0
n

j=1
y
j1
m(E
j
) y Uf = lim
|P|0
n

j=1
y
j
m(E
j
)
en donde m(E
j
) mide la longitud total del conjunto E
j
en donde
y
j1
< f(x) y
j
tiene lugar. En caso de que Lf = Uf, entonces se
dice que f es integrable en el sentido de Lebesgue.
La funcion f puede ser muy complicada. En este caso, E
j
tambien
sera muy complicado. El problema sera decidir para que conjuntos E
se puede denir su medida de longitud total m(E).
Para un conjunto E R, Lebesgue considero
m

(E) = inf
EO
m(O) y m

(E) = sup
KE
m(K)
en donde O denota un conjunto abierto y K uno compacto. Lebesgue
dijo que el conjunto E es medible, en caso de que m

(E) = m

(E) y
denio la medida de E mediante m(E) = m

(E).
En la denicion de m

(E) y m

(E) debe notarse que la asignacion

de m(O) y m(K) a los conjuntos O y K, no representa ninguna di-
cultad ya que los conjuntos abiertos O y R\ K se descomponen como
la union disjunta y numerable de intervalos abiertos.
P agina 40
3. Medida de Lebesgue.
Denicion 2. Sea I = (a, b) un intervalo abierto. Denimos m

(I) =
b a. Sea A un conjunto de n umeros reales. Denimos
m

(A) = inf
_

n=1
m

(I
n
) : A

_
n=1
I
n
_
en donde cada I
n
es un intervalo abierto.
Observacion. Si A B, entonces m

(A) m

(B).
Proposicion 3. Sea I R un intervalo. Entonces
m

(I) = supI inf I.

Demostracion. Esto es claro en el caso de que I es abierto. Sea
J R un intervalo acotado. Sean J
o
,

J el interior y la cerradura de
J. Entonces J
o
J

J, y por lo tanto
m

(J
o
) m

(J) m

(

J).
Sera suciente si probamos la proposicion para el caso de un intervalo
cerrado I = [a, b].
Notese primero que la contecion (a, b) [a, b] implica de inmediato
que m

[a, b] m

(a, b) = b a. Por otra parte,

[a, b]
_
a

2
, b +

2
_
y entonces
m

[a, b] m

_
a

2
, b +

2
_
= (b a) +.
Pagina 41
Por lo tanto, m

[a, b] = b a.
Ejercicio 4. Probar el caso a = o b = + en la proposicion
anterior.
Proposicion 5. Sea A =

n=1
A
n
la union numerable de los conjun-
tos A
n
R. Entonces
m

(A)

n=1
m

(A
n
).
Demostracion. Si existe n N tal que m

(A
n
) = , entonces
ya terminamos. Supongamos que cada m

(A
n
) es nito. Sea > 0.
Entonces existe una sucesion de intervalos abiertos
_
I
n,j
: n N, j N
_
tal que para cada n N se cumple que A
n

_
j=1
I
n,j
y tambien que

j=1
m

(I
n,j
) m

(A
n
) +

2
n
.
Puesto que A

_
n=1

_
j=1
I
n,j
entonces
m

(A)

n=1

j=1
m

(I
n,j
)

n=1
_
m

(A
n
) +

2
n
_

n=1
m

(A
n
) +.
Puesto que > 0 es arbitrario, entonces la proposicion se cumple.
P agina 42
Denicion 6. Para cada j N, sea O
j
un conjunto abierto y sea C
j
un conjunto cerrado. Suponga que
A =

j=1
O
j
y que B =

_
j=1
C
j
.
Decimos entonces que A pertenece a la clase G

y que B pertenece a
la clase F

.
Ejercicio 7. Sea A R un conjunto de n umeros reales. Sea >
0. Entonces existe un conjunto abierto O, tal que A O y ademas
m

(O) m

(A) +.
Ejercico 8. Sea A R un conjunto de n umeros reales. Entonces
existe G G

tal que A G y ademas m

(A) = m

(G).
Ejercicio 9. Sea A R un conjunto numerable. Pruebe m

(A) = 0.
Deduzca que el conjunto [0, 1] no es numerable.
Denicion 10. (Caratheodory). Un conjunto E es medible si para
cada conjunto A se cumple
m

(A) = m

(A E) +m

(A

E).
Observacion. Para todo conjunto A, se cumple que
m

(A) m

(A E) +m

(A

E).
Por lo tanto, un conjunto E es medible si y solo si
m

(A) m

(A E) +m

(A

E).
Pagina 43
Proposicion 11. Un conjunto E es medible si y solo si su comple-
mento

E es medible.
Lema 12. Si m

(E) = 0, entonces E es medible.

Demostracion. Puesto que A A

E, entonces
m

(A) m

(A

E) = m

(A E)
. .
igual a 0
+m

(A

E).
Lema 13. Si E
1
y E
2
son dos conjuntos medibles, entonces tambien
E
1
E
2
es medible.
Demostracion. Sea A un conjunto cualquiera. Puesto que E
2
es
medible, entonces
m

(A

E
1
) = m

(A

E
1
E
2
) +m

(A

E
1

E
2
).
Puesto que A(E
1
E
2
) = (AE
1
) (AE
2

E
1
), entonces tenemos
m

_
A (E
1
E
2
)
_
m

(A E
1
) +m

(A E
2

E
1
).
Por lo tanto
m

_
A (E
1
E
2
)
_
+m

(A

E
1

E
2
)
m

(A E
1
) +m

(A E
2

E
1
) +m

(A

E
1

E
2
) =
m

(A E
1
) +m

(A

E
1
) = m

(A)
ya que E
1
es medible. Puesto que (E
1
E
2
)

=

E
1


E
2
, entonces
tenemos que E
1
E
2
es medible.
P agina 44
Lema 14. Sea A R un conjunto cualquiera. Sean E
1
, . . . E
n
, con-
juntos medibles y disjuntos. Entonces
m

_
A
_
n
_
j=1
E
j
__
=
n

j=1
m

(A E
j
).
Demostracion. La prueba es por induccion sobre n. Supongamos
que el lema se cumple para n1 conjuntos E
j
. Puesto que los E
j
son
disjuntos por pares, entonces
A
_
n
_
j=1
E
j
_
E
n
= A E
n
.
Tambien se cumple que
A
_
n
_
j=1
E
j
_

E
n
= A
_
n1
_
j=1
E
j
_
.
Puesto que E
n
es medible, entonces
m

_
A
_
n
_
j=1
E
j
__
= m

(A E
n
) +m

_
A
_
n1
_
j=1
E
j
__
= m

(A E
n
) +
n1

j=1
m

(A E
j
).
Teorema 15. El complemento de un conjunto medible es medible.
La union numerable de conjuntos medibles es medible. Si un conjunto
tiene medida exterior igual a cero, entonces es medible.
Demostracion. Sea E la union numerable de conjuntos medibles.
Se puede suponer sin perder generalidad que E es la union numerable
disjunta de conjuntos medibles E
n
. Si
F
n
=
n
_
j=1
E
j
entonces

F
n


E.
Pagina 45
Por lo tanto
m

(A) = m

(A F
n
) +m

(A

F
n
) m

(A F
n
) +m

(A

E).
Entonces
m

(A)

j=1
m

(AE
j
) +m

(A

E) m

(AE) +m

(A

E).
Lema 16. El intervalo (a, ) es medible.
Demostracion. Sea A un conjunto cualquiera. Sean A
1
= A(a, )
y A
2
= A (, a]. Probaremos que m

(A
1
) +m

(A
2
) m

(A). Si
m

(A) = , entonces ya acabamos. Supongamos que m

(A) < .
Sea
_
I
n
_
una sucesion de intervalos abiertos tal que
A

_
j=1
I
j
y ademas

j=1
m

(I
j
) m

(A) +.
Sean I

j
= I
j
(a, ) y I

j
= I
j
(, a]. Entonces I

j
y I

j
son
intervalos tales que
m

(I
j
) = m

(I

j
) +m

(I

j
).
Puesto que A
1

_
j=1
I

j
, entonces
m

(A
1
) m

_

_
j=1
I

j
_

j=1
m

(I

j
).
P agina 46
Puesto que A
2

_
j=1
I

j
, entonces
m

(A
2
) m

_

_
j=1
I

j
_

j=1
m

(I

j
).
Por lo tanto
m

(A
1
) +m

(A
2
)

j=1
_
m

(I

j
) +m

(I

j
)
_
=

j=1
m

(I
j
) m

(A) +.
Teorema 17. Todo conjunto abierto es medible.
Demostracion. Solo basta observar que
(, b) =

_
j=1
_
, b
1
j
_
y (a, b) = (, b) (a, ).
Observacion. Todo conjunto cerrado es medible. Todo conjunto G

es medible. Todo conjunto F

es medible.
Teorema 18. Sea
_
E
j
_
una sucesion de conjuntos medibles. En-
tonces
m
_

_
j=1
E
j
_

j=1
m(E
j
).
Si los conjuntos E
j
son disjuntos por pares, entonces se da la igualdad.
Demostracion. Puesto que
m
_

_
j=1
E
j
_
m
_
n
_
j=1
E
j
_
=
n

j=1
m(E
j
),
Pagina 47
entonces
m
_

_
j=1
E
j
_

j=1
m(E
j
).
Ejercicio 19. Sean A B dos conjuntos medibles. Suponga que
m(B) < . Pruebe que m(A\ B) = m(A) m(B).
Proposicion 20. Sea
_
E
n
_
una sucesion decreciente de conjuntos
medibles: E
n+1
E
n
. Suponga que m(E
1
) < . Entonces
m
_

n=1
E
n
_
= lim
n
m(E
n
).
Demostracion. Sea E =

n=1
E
n
. Puesto que
E
1
\ E =

_
n=1
(E
n
\ E
n+1
)
y la sucesion
_
E
n
\ E
n+1
_
es disjunta, entonces
m(E
1
) m(E) = m(E
1
\ E) =

j=1
m(E
j
\ E
j+1
)
= lim
n
n

j=1
_
m(E
j
) m(E
j+1
)
_
= m(E
1
) lim
n
m(E
n
).
Teorema 21. Sea E R un conjunto. Los siguientes enunciados son
equivalentes.
(a) E es medible.
P agina 48
(b) Dado > 0, existe un abierto O E tal que m

(O \ E) < .
(c) Dado > 0, existe un cerrado F E tal que m

(E \ F) < .
(d) Existe G G

tal que E G y ademas m

(G\ E) = 0.
(e) Existe F F

tal que F E y ademas m

(E \ F) = 0.
En caso de que m

(E) < , los enunciados anteriores son equivalentes

al que sigue.
(f ) Dado > 0, existe una union nita U de intervalos abiertos tal
que m

(U E) < .
Demostracion. Supondremos siempre que m

(E) < . Para pro-

bar que (a) implica (b) sea > 0. Entonces existe O E tal que
m(O) m(E) +. Puesto que E es medible, entonces la denicion de
Caratheodory implica que m

(O \ E) = m

(O) m

(E) .
Para probar que (b) implica (d) se toman conjuntos abiertos
O
n
E tales que m(O
n
\ E) < 1/n y se toma G =

n=1
O
n
.
Para probar que (d) implica (a) notese que G \ E es medible y
tambien que E = G (G\ E)

.
Para probar que (a) implica (f ), sea O E un conjunto abierto
tal que
m(O) m(E) +

2
.
Escribamos O =

j=1
I
j
, en donde cada I
j
es un intervalo abierto.
Sea n tal que

j>n
m(I
j
) <

2
.
Mostraremos que si U = I
1
I
n
, entonces
m

(U E) m(E \ U) +m(U \ E) < .

Pagina 49
Si x U \ E, entonces x O \ E y por lo tanto m(U \ E) < /2. Si
x E \ U, entonces
x
_
j>n
I
j
y por lo tanto m(E \ U) <

2
.
4. Funciones Medibles.
Proposicion 22. Sea f : E R
_

_
una funcion con dominio
medible. Los siguientes enunciados son equivalentes.
(a) Para todo R, el conjunto
_
x : f(x) >
_
es medible.
(b) Para todo R, el conjunto
_
x : f(x)
_
es medible.
(c) Para todo R, el conjunto
_
x : f(x) <
_
es medible.
(d) Para todo R, el conjunto
_
x : f(x)
_
es medible.
Demostracion. Que (a) implica (b) se sigue de
_
x : f(x)
_
=

n=1
_
x : f(x) >
1
n
_
.
Que (b) implica (c) se sigue de
_
x : f(x) <
_
= E \
_
x : f(x)
_
.
Que (c) implica (d) se sigue de
_
x : f(x)
_
=

n=1
_
x : f(x) < +
1
n
_
.
P agina 50
Que (d) implica (a) se sigue de
_
x : f(x) >
_
= E \
_
x : f(x)
_
.
Denicion 23. Una funcion que es como en la Proposicion 22, se
llama funcion medible.
Ejercicio 24. Sea f : E R
_

_
una funcion medible y con
dominio medible. Pruebe que
_
x : f(x) =
_
es medible.
Ejercicio 25. Pruebe que toda funcion continua es medible.
Proposicion 26. Sean f y g dos funciones medibles con valores reales
y con dominio com un. Entonces f +g y fg son medibles.
Demostracion. Que f +g es medible se sigue de
_
x : f(x) +g(x) <
_
=
_
rQ
_
x : f(x) < r y g(x) < r
_
en donde la union es sobre el conjunto de los n umeros racionales.
Para probar que fg es medible, notese que f
2
es medible. En
efecto,
_
x : f
2
(x) >
_
=
_
x : f(x) >

_
x : f(x) <

_
siempre que 0, mientras que
_
x : f
2
(x) >
_
= dominio de f
siempre que < 0. Puesto que
fg =
1
2
_
(f +g)
2
f
2
g
2
_
,
Pagina 51
entonces tambien fg es medible.
Teorema 27. Sea
_
f
n
_
una sucesion de funciones medibles. Entonces
cada una de las siguientes funciones es medible:
sup
n
f
n
, limsup
n
f
n
, inf
n
f
n
, liminf
n
f
n
.
Demostracion. Que sup
n
f
n
es medible, se sigue de
_
x : sup
n
f
n
(x)
_
=

n=1
_
x : f
n
(x)
_
.
Que limsup
n
f
n
es medible, se sigue de
limsup
n
f
n
(x) = inf
n
_
sup
kn
f
k
(x)
_
.
Ejercicio 28. Sea
_
f
n
_
una sucesion de funciones medibles denidas
en [0, 1]. Pruebe que el conjunto de x tales que limf
n
(x) existe, es
medible.
Teorema 29. Sea f : [0, 1] R
_

_
una funcion medible que
toma los valores solo en un conjunto de medida cero. Sea > 0.
Entonces existen una funcion escalon g y una funcion continua h tales
que
m
_
x : |f(x) g(x)|
_
< y m
_
x : |f(x) h(x)|
_
< .
Demostracion. Sea E
n
=
_
x : |f(x)| > n
_
. Supongamos que
m(E
n
) /2 para cada n N. Puesto que E
n+1
E
n
, entonces
m
_

n=1
E
n
_
= lim
n
m(E
n
)

2
.
P agina 52
Puesto que esto contradice las hipotesis del teorema, entonces existe
N tal que
m
_
x : |f(x)| > N
_
<

2
.
Sea > 0. Sea F
n
=
_
x : n f(x) < (n + 1)
_
en donde |n| N/.
Para cada una de estas n, existe
U
n
=
k(n)
_
j=1
I
n,j
que es union de intervalos abiertos y tal que
m(F
n
U
n
) <

2
|n|
.
Si x [0, 1], entonces hacemos g(x) = n en caso de que exista un
unico n tal que x U
n
. En caso contrario, hacemos g(x) = 0. El
conjunto de x [0, 1] para las cuales |f(x) g(x)| tiene medida
menor o igual que
m
_
x : |f(x)| N
_
+

|n|N
m(F
n
U
n
) <

2
+ 4.
Tomando = 1/8 se obtiene el resultado.
Ejercicio 30. Sea E un conjunto de n umeros reales. La funcion
E
denida mediante

E
(x) =
_
1 si x E,
0 si x E,
se llama la funcion indicadora (o caracterstica) del conjunto E. Sea
_
E
n
_
una sucesion de conjuntos contenidos en un conjunto S. Se
dene E

como el conjunto de las x S para cuales x E

n
para una
innidad de ndices n. El conjunto E

consta de todas las x S para

Pagina 53
las cuales x E
n
para todo ndice sucientemente grande. Demuestre
que

= liminf
n

E
n
,
E
= limsup
n

E
n
.
Por esta razon, se escribe E

= limsup
n
E
n
y tambien E

= liminf
n
E
n
.
Ejercicio 31. Sea
_
E
n
_
una sucesion de subconjuntos de S. De-
muestre que
liminf
n
E
n
=

_
n=1
_

k=n
E
k
_
y limsup
n
E
n
=

n=1
_

_
k=n
E
k
_
.
Ejercicio 32. Sea
_
E
n
_
una sucesion de subconjuntos medibles de
[0, 1]. Suponga que

m(E
n
) < . Demuestre que el conjunto de
puntos que pertenecen a una innidad de elementos de
_
E
n
_
tiene
medida cero.
Solucion. Puesto que E

_
k=n
E
k
para cada n N, entonces
0 m(E

k=n
m(E
k
) 0 siempre que n .
Teorema 33. Sea E un conjunto medible con medida nita. Sea
_
f
n
_
una sucesion de funciones medibles denidas en E. Suponga que para
cada x E se cumple que f
n
(x) f(x). Entonces, para cada > 0
y > 0 existen un conjunto medible A E y un entero N tales que
m(A) < y ademas x E \ A y n N implican |f(x) f
n
(x)| < .
Demostracion. Sin perder generalidad supondremos que f(x) = 0
para cada x E. Sea E
n
=
_
x : |f
n
(x)|
_
. Si
F
n
=
_
k>n
E
k
, entonces

n=1
F
n
=
P agina 54
y ademas F
n+1
F
n
. Por lo tanto existe N tal que m(F
N
) < . Sea
A = F
N
. Si x E \ A y n > N, entonces |f
n
(x)| < .
Teorema 34. (Egorov). Sea
_
f
n
_
una sucesion de funciones me-
dibles que convergen a f casi en todas partes en el conjunto medible
E. Dado > 0 existe A E tal que m(A) < y
_
f
n
_
converge
uniformemente a f en E \ A.
Demostracion. Por el teorema anterior, existe una sucesion
_
A
n
_
tal
que m(A
n
) < /2
n
y tal que x E\A
n
implica que |f(x)f
j
(x)| < 1/n
para todo j > n. Sea
A =

_
n=1
A
n
.
Entonces m(A) < y
_
f
n
_
converge uniformemente a f en E \ A.
5. Ejemplos y Contraejemplos.
En el siguiente ejemplo, se construye un conjunto que no es medible
en el sentido de Lebesgue.
Ejemplo 35. Para cada par x, y [0, 1) se dene
x y =
_
x +y si x +y < 1,
x +y 1 si x +y 1.
Entonces : [0, 1) [0, 1) [0, 1) es una operacion asociativa y
conmutativa. Si E es un subconjunto de [0, 1) entonces escribimos
E y =
_
x y : x E
_
.
Si E [0, 1) y y [0, 1), entonces m(E y) = m(E).
Pagina 55
Si x, y [0, 1) son n umeros tales que x y es racional, entonces
escribimos x y. Esta relacion de equivalencia induce una particion
del conjunto [0, 1) en clases de equivalencia. Por el Axioma de Eleccion,
existe un conjunto P que contiene exactamente un representante de
cada una de las clases de equivalencia. Sea
_
r
j
_
una enumeracion
de todos los racionales en [0, 1). Suponga que r
0
= 0. Para cada
j N
_
0
_
, sea P
j
= P r
j
de manera que P
0
= P. Suponga
que x P
j
P
k
. Entonces existen p
j
, p
k
elementos de P, tales que
p
j
p
k
= r
k
r
j
. Puesto que r
k
r
j
es un n umero racional, entonces
p
j
p
k
. Puesto que P contiene solo un representante de cada clase,
entonces j = k. Por lo tanto j = k implica P
j
P
k
= . Por otro lado,
cada x [0, 1) pertenece a alguna clase de equivalencia y por lo tanto
es equivalente a alg un elemento de P. Pero si x diere de un elemento
de P por el racional r
j
, entonces x P
j
. Por lo tanto

_
j=1
P
j
= [0, 1).
Que P no es medible, se sigue ahora de
1 = m[0, 1) =

j=1
m(P
j
) =

j=1
m(P).
Nos ocuparemos ahora del as llamado conjunto de Cantor.
Ejemplo 36. Para cada x [0, 1], sea a
j
= a
j
(x)
_
0, 1, 2
_
tal que
x =

j=1
a
j
3
j
.
Esta expansion es unica a menos que x = t/3
k
para algunos enteros
t, k. Podemos suponer siempre que 3 no divide a t. En este caso x
P agina 56
tiene dos expansiones. En efecto, puesto que 3 no divide a t, entonces
t = 3q + en donde
_
1, 2
_
. Por lo tanto
x =
q
3
k1
+

3
k
=
q
3
k1
+
1
3
k
+

j>k
2
3
j
son dos expansiones distintas de x. Si x = t/3
k
y 3 no divide a t, en-
tonces, en una de las expansiones para x se tiene que a
k
= 1, mientras
que en la otra expansion, se tiene que a
k

_
0, 2
_
. Tomaremos siempre
la segunda expansion. En este caso
a
1
= 1 x
_
1
3
,
2
3
_
,
a
1
= 1, a
2
= 1 x
_
1
9
,
2
9
_

_
7
9
,
8
9
_
y as sucesivamente. El conjunto de Cantor C es el conjunto de todas
las x [0, 1] tales que, si
x =

j=1
a
j
3
j
es su expansion en base 3, entonces a
j
= 1 para cada j N. Por lo
tanto, C se obtiene de [0, 1], al remover el intervalo (1/3, 2/3), luego
remover los intervalos (1/9, 2/9), (7/9, 8/9) y as sucesivamente.
Denicion 37. Un conjunto A es totalmente disconexo, si los unicos
subconjuntos de A que son conexos son de la forma
_
x
_
para alg un
x A.
Proposicion 38. Sea C el conjunto de Cantor. Entonces se cumplen
los siguientes enunciados.
(a) C es totalmente disconexo.
Pagina 57
(b) C no tiene puntos aislados.
(c) m(C) = 0.
(d) Card(C) = Card(R).
Ejercicio 39. Si f : [0, 1] [0, 1] es monotona creciente, entonces f
tiene a lo mas un conjunto numerable de puntos de discontinuidad.
Ejercicio 40. Si f : [0, 1] [0, 1] es monotona creciente y sobreyectiva,
entonces f es continua.
Ejemplo 41. Sea x C. Entonces podemos escribir
x =

j=1
2b
j
3
j
en donde b
j

_
0, 1
_
.
La funcion de Cantor f : C [0, 1] esta denida mediante
f
_

j=1
2b
j
3
j
_
=

j=1
b
j
2
j
.
La funcion de Cantor es sobreyectiva y por lo tanto C es un conjunto
no numerable. Podemos ahora extender el dominio de denicion de f
de la siguiente manera. Si x [0, 1] \ C, sea
f(x) = sup
_
f(y) : y C, y x
_
.
Esta funcion f : [0, 1] [0, 1] es monotona creciente y sobreyectiva.
Por el Ejercicio 40, la funcion de Cantor es continua.
Ejercicio 42. Si C es el conjunto de Cantor, entonces C +C = [0, 2].
P agina 58
Solucion. Notese que C +C =
_
a +b : a C, b C
_
esta dado por

j=1
a
j
3
j
+

j=1
b
j
3
j
en donde tanto a
j
como b
j
ambos pertenecen a
_
0, 2
_
. Puesto que la
suma anterior se puede escribir como
2

j=1
(a
j
+b
j
)/2
3
j
,
entonces vemos que C +C = [0, 2].
Ejercicio 43. Si C es el conjunto de Cantor, pruebe que CC = [1, 1].
Ejercicio 44. (Steinhaus). Sea A R un conjunto cerrado tal que
m(A) > 0. Entonces existe > 0 tal que (, ) AA.
Solucion. Para cada n N sea
U
n
=
_
u R : a A tal que |u a| <
1
n
_
.
Entonces
_
U
n
_
es una sucesion decreciente de conjuntos abiertos. Sea
b A. Como A es cerrado, entonces existe n N tal que
_
b
1
n
, b +
1
n
_


A.
Por lo tanto b U
n
. Pero entonces
A

n=1
U
n
A, es decir A =

n=1
U
n
,
Pagina 59
ya que A U
n
para cada n N. Puesto que
lim
n
m(U
n
) = m(A) > 0
entonces existe n N tal que
2
3
m(U
n
) < m(A).
Sea = 1/n. Si |w| < entonces el conjunto A
w
=
_
a w : a A
_
esta contenido en U
n
. Puesto que m(A
w
) = m(A) entonces
m
_
U
n
\ (A A
w
)
_
= m
_
(U
n
\ A) (U
n
\ A
w
)
_
m(U
n
\ A) +m(U
n
\ A
w
)
= 2 m(U
n
) 2 m(A)
<
2
3
m(U
n
).
Por lo tanto, m(A A
w
) > 0 y en particular, A A
w
no es vaco. Por
lo tanto w = x y para algunos elementos x, y del conjunto A.
Ejercicio 45. Construir conjutos tipo Cantor de medida positiva.
Solucion. Sea 3 un n umero real. Del centro del intervalo [0, 1]
se remueve un subintervalo de longitud 1/. De cada uno de los dos
subintervalos restantes, se remueve un subintervalo de longitud 1/
2
.
Se continua este proceso de manera indenida. La medida del conjuto
que se ha removido es
1

j=0
_
2

_
j
=
1
2
.
P agina 60
Si > 3 entonces el conjunto de puntos que permanecen, tiene medida
igual a ( 3)/( 2) > 0.
Ejercicio 46. Muestre que la funcion
f(x) :=
_
_
_
x
2
sen
1
x
si x > 0,
0 si x 0,
es diferenciable para todo x R pero f

(x) es discontinua en x = 0.
Ejercicio 47. (V. Volterra). Pruebe que existe una funcion diferen-
ciable f : [0, 1] R cuya derivada f

(x) es acotada pero no integrable

en el sentido de Riemann.
Solucion. Sea K [0, 1] un conjunto tipo Cantor de medida positiva.
Sea
_
I
n
_
la sucesion de los intervalos abiertos que se removieron al
construir K. Si I
n
= (a, b) entonces se dene g
n
: (a, b) R mediante
g
n
(x) = (x a)
2
sen
1
x a
.
Existe
_
a,
a +b
2
_
tal que g

n
() = 0. Se dene ahora f
n
: (a, b) R
mediante
f
n
(x) =
_

_
g
n
(x) si a < x ,
g
n
() si x
a +b
2
,
g
n
(a +b x) si
a +b
2
x < b.
La funcion denida mediante
f(x) =
_
f
n
(x) si x I
n
,
0 si x K,
Pagina 61
es diferenciable para toda x [0, 1]. La funcion derivada f

(x) es
discontinua en todo punto de K. Ademas f

(x) es acotada. Como K

tiene medida positiva, entonces f

(x) no es una funcion integrable en

el sentido de Riemann.
6. Ejercicios.
Ejercicio 48. Sea m

(A) la medida exterior de Lebesgue del conjunto

A R. Pruebe que
m

(A) = inf
_
m(B) : B es medible, A B
_
.
Ejercicio 49. Sea > 0. Construir un un conjunto abierto A R
que sea denso en R y tal que m(A) < .
Ejercicio 50. Sea < . Sea E [0, 1] un conjunto medible.
Suponga que m(E) = . Demuestre que f(x) := m
_
[0, x] E
_
es una
funcion continua. Concluya que E contiene un subconjunto medible A
tal que m(A) = .
Ejercicio 51. Sea E un subconjunto medible de R tal que m(E) < .
Para cada x R sea f(x) = m
_
(E+x) E)
_
. Pruebe que f(x) es una
funcion continua en R y satisface
lim
x
f(x) = 0.
Ejercicio 52. Considere las siguiente sucesion monotona de conjuntos
medibles: A
1
A
2
[0, 1]. Demuestre que
m
_
_
n
A
n
_
= lim
n
m(A
n
).
P agina 62
Ejercicio 53. Sea E [0, 1] un conjunto medible tal que existe un
n umero positivo con la propiedad de que m(E I) > m(I) para
cada intervalo abierto I [0, 1]. Demuestre que m(E) = 1.
Ejercicio 54. Sea E R un conjunto con la siguiente propiedad.
Existe 0 < < 1 tal que para todo intervalo abierto (a, b), el conjunto
E(a, b) puede cubrirse con una coleccion contable de intervalos
_
I
j
_
tal que

m(I
j
) < (b a). Pruebe que m(E) = 0.
Ejercicio 55. Construir un conjunto cerrado de medida positiva que
no contenga ning un conjunto abierto.
Solucion. Sea
_
r
j
_
la sucesion de todos los n umeros racionales en
(0, 1). Sea I
j
(0, 1) un intervalo abierto, tal que r
j
I
j
y ademas
m(I
j
) 1/2
j+1
. Si
O =

_
j=1
I
j
, entonces m(O)

j=1
m(I
j
)
1
2
.
El conjunto F = [0, 1] \ O no contiene ning un intervalo abierto y es tal
que m(F) 1/2.
Ejercicio 56. Sea
_
f
n
_
una sucesion de funciones medibles, con
valores reales y denidas en [0, 1]. Demuestre que existe una sucesion
_
a
n
_
de n umeros reales, tales que
_
a
n
f
n
_
converge a cero casi en
todas partes.
Ejercicio 57. Sea
_
f
n
_
una sucesion de funciones medibles en R. Sea
_

n
_
una sucesion de n umeros positivos que converge a cero. Suponga
que

n=1
m
_
x R : |f
n
(x)|
n
_
< .
Pagina 63
Pruebe que f
n
(x) 0 para casi toda x R.
Ejercicio 58. Sea
_
f
n
_
una sucesion de funciones medibles en R. Sea
a > 0. Suponga que

n=1
m
_
x R : f
n
(x) > a
_
< .
Demuestre que limsup
n
f
n
(x) a para casi todo x R.
Ejercicio 59. Sea
_
f
n
_
C[0, 1] una sucesion de funciones conti-
nuas. Suponga que f
n
f casi en todas partes. Sea 0 a < 1.
Pruebe que existe un conjunto compacto K [0, 1] tal que m(K) > a
y f(x) es continua en K.
Sugerencia. Usar el Teorema de Egorov.
Ejercicio 60. Sea
_
f
n
_
una sucesion de funciones medibles denidas
en [0, 1]. Pruebe que el conjunto de x tales que limf
n
(x) existe, es
medible.
P agina 64
Captulo 4
INTEGRAL DE LEBESGUE
1. Funciones Medibles Acotadas.
Denicion 1. Sea E un conjunto de n umeros reales y sea
E
la
funcion indicadora de E. Una funcion simple es una funcion de la
forma
=
n

j=1
a
j

E
j
en donde a
j
R y cada E
j
es un conjunto medible. Si es una funcion
simple y
_
a
1
, . . . , a
n
_
es el conjunto de valores de , entonces
=
n

j=1
a
j

A
j
, A
j
=
_
x : (x) = a
j
_
es la representacion canonica de . En particular, los conjuntos A
j
son
disjuntos y no nulos.
Denicion 2. Sea una funcion simple que se anula en el comple-
mento de un conjunto de medida nita. Denimos la integral de
mediante
_
=
n

j=1
a
j
m(A
j
) en donde =
n

j=1
a
j

A
j
es la representacion canonica de . Si E es un conjunto medible,
entonces
_
E
=
_

E
.
Pagina 65
Ejercicio 3. Sea
=
n

j=1
a
j

E
j
en donde E
j
E
k
=
siempre que j = k. Supongamos que cada E
j
es un conjunto medible
de medida nita. Entonces
_
=
n

j=1
a
j
m(E
j
).
Ejercicio 4. Sean y dos funciones simples que se anulan en el
complemento de un conjunto de medida nita. Entonces
_
(a +b) = a
_
+b
_
para cada a, b R.
Si ademas , entonces
_

_
.
Denicion 5. Sea f : E R una funcion medible y acotada. Suponga
que m(E) < . La integral de Lebesgue de f sobre E se dene
mediante
_
E
f(x) dx = inf
_
E
(x) dx
en donde el nmo es sobre todas las funciones simples que dominan a
f, esto es, f .
En la Proposicion 8 que sigue, mostraremos que la integral de
Lebesgue que acabamos de denir esta bien denida. La prueba de la
siguiente proposicion queda a cargo del lector.
P agina 66
Proposicion 6. Si f y g son funciones medibles y acotadas, denidas
en un conjunto E de medida nita, entonces se cumplen las siguientes
propiedades.
(a) Para cada a, b R se cumple que
_
E
(af +bg) = a
_
E
f +b
_
E
g.
(b) Si f = g casi en todas partes, entonces
_
E
f =
_
E
g.
(c) Si f g casi en todas partes, entonces
_
E
f
_
E
g y

_
E
f

_
E
|f|.
(d) Si A f(x) B entonces Am(E)
_
E
f Bm(E).
(e) Si A y B son conjuntos medibles y disjuntos, entonces
_
AB
f =
_
A
f +
_
B
f.
Lema 7. Si g es medible y f = g salvo en un conjunto de medida
cero, entonces f es medible.
Demostracion. Notese que
_
x : f(x) <
_
=
_
_
x : f(x) = g(x)
_

_
x : g(x) <
_
_

_
_
x : f(x) = g(x)
_

_
x : f(x) <
_
_
.
En la siguiente proposicion, el nmo y el supremo se toman sobre
todas las funciones simples , , que satisfacen las desigualdades que
se indican.
Pagina 67
Proposicion 8. Sea f : E R una funcion acotada. Suponga que
m(E) < . Entonces
inf
f
_
E
(x) dx = sup
f
_
E
(x) dx
si y solo si f es medible.
Demostracion. Supongamos que f es medible y que |f(x)| M para
cada x E. Sea n N. Para cada k tal que n k n, considere
los siguientes conjuntos medibles
E
k
=
_
x E :
k 1
n
M < f(x)
k
n
M
_
.
Notese que
m(E) =

|k|n
m(E
k
).
Considere ahora las funciones simples

n
=

|k|n
M
n
k
E
k
y
n
=

|k|n
M
n
(k 1)
E
k
.
Entonces (x) f(x) (x). Es claro que
inf
f
_
E

_
E

n
=
M
n

|k|n
km(E
k
)
y tambien que
sup
f
_
E

_
E

n
=
M
n

|k|n
(k 1)m(E
k
).
P agina 68
Por lo tanto
0 inf
f
_
E
sup
f
_
E

M
n

|k|n
m(E
k
) =
M
n
m(E).
Haciendo que n , vemos que
inf
f
_
E
= sup
f
_
E
.
Supongamos ahora que esta ultima igualdad se cumple. Para cada
n N existen funciones simples
n
y
n
tales que

n
(x) f(x)
n
(x) y ademas
_

n

_

n
<
1
n
.
Las funciones

= inf
n

n
y

= sup
n

n
son ambas medibles y tales que

(x) f(x)

(x).
Sea A el conjunto de x E tales que

(x) <

(x). Probaremos que

m(A) = 0. Sea A
n
=
_
x E :

(x)

(x) > 1/n

_
. Entonces
0 =
_
E

_
A
n

1
n
m(A
n
).
Pero entonces
m(A) = m
_

_
n=1
A
n
_

n=1
m(A
n
) = 0.
Pagina 69
Por lo tanto f = sup
n

n
salvo posiblemente cada x A.
Puesto que cada funcion escalon es una funcion simple, entonces
se cumple la siguiente proposicion.
Proposicion 9. Sea f : [a, b] R una funcion acotada. Suponga que
f es integrable en el sentido de Riemann. Entonces f es medible y
ademas la integral de Lebesgue de f es igual a la integral de f en el
sentido de Riemann.
Ejercicio 10. Sean p, dos n umeros reales positivos. Sea E R.
Sea f : E R una funcion medible. Sea E

=
_
x : |f(x)|
_
.
Demuestre que
m(E

)
1

p
_
E

|f|
p
.
Para p = 2 se obtiene la desigualdad de Chebyshev:
m
_
x : |f(x)|
_

1

2
_
E
|f(x)|
2
dx.
Ejercicio 11. Sea f : E R tal que f(x) > 0 para cada x E.
Suponga que m(E) > 0. Pruebe que
_
E
f > 0.
Solucion. Supongamos que la integral se anula. Para cada n N sea
E
n
=
_
x E : f(x) > 1/n
_
. Entonces
0 =
_
E
f
_
E
n
f
1
n
m(E
n
).
Por lo tanto
m(E) = m
_

_
j=1
E
j
_

j=1
m(E
j
) = 0,
P agina 70
lo cual contradice que m(E) > 0.
Teorema 12. (de Convergencia Acotada). Sea
_
f
n
_
una sucesion
de funciones denidas en un conjunto E de medida nita. Suponga que
|f
n
(x)| M para cada x E y cada n N. Si para cada x E, se
cumple que f
n
(x) converge a f(x), entonces
_
E
f = lim
n
_
E
f
n
.
Demostracion. Sean y dos n umeros positivos. Existen un con-
junto A E y un entero N tales que m(A) < y n > N junto con
x E \ A implican que |f(x) f
n
(x)| < . Por lo tanto

_
E
f
_
E
f
n

_
A
|f f
n
| +
_
E\A
|f f
n
| 2M +m(E).
2. Funciones Medibles no Negativas.
Denicion 13. Sea f : E [0, ) una funcion no negativa denida
en un conjunto medible. La integral de f se dene mediante
_
E
f = sup
hf
_
E
h
en donde h es una funcion acotada y medible que se anula en el com-
plemento de un conjunto de medida nita: m
_
x : h(x) = 0
_
< .
Proposicion 14. Si f y g son funciones medibles no negativas, en-
tonces se cumplen los siguientes enunciados.
(a) Si c > 0, entonces
_
E
cf = c
_
E
f.
Pagina 71
(b)
_
E
(f +g) =
_
E
f +
_
E
g.
(c) Si f g casi en todas partes, entonces
_
E
f
_
E
g.
Teorema 15. (Lema de Fatou). Sea
_
f
n
_
una sucesion de funciones
no negativas tales que f
n
(x) f(x) para casi toda x E. Entonces
_
E
f liminf
n
_
E
f
n
.
Demostracion. Puesto que las integrales sobre conjuntos de medida
cero son nulas, entonces se puede suponer que f
n
f en cada x E.
Sea h una funcion acotada tal que h(x) f(x) para cada x E.
Supongamos que m(A) < en donde A =
_
x E : h(x) = 0
_
.
Sea h
n
(x) = min
_
h(x), f
n
(x)
_
. Entonces
_
h
n
_
es una sucesion de
funciones uniformemente acotada que se anula en el complemento de
A. Por el Teorema de Convergencia Acotada, tenemos que
_
E
h =
_
A
h = lim
n
_
A
h
n
liminf
n
_
E
f
n
.
Tomando el supremo sobre h, se obtiene
_
E
f liminf
n
_
E
f
n
.
Teorema 16. (de Convergencia Monotona). Sea
_
f
n
_
una suce-
sion no decreciente de funciones medibles. Sea f = limf
n
. Entonces
_
f = lim
n
_
f
n
.
Demostracion. Por el Lema de Fatou,
_
f liminf
n
_
f
n
.
P agina 72
Puesto que f
n
f para cada n N, entonces
_
f
n

_
f y por lo
tanto
limsup
n
_
f
n

_
f.
Corolario 17. Sea
_
u
n
_
una sucesion de funciones no negativas y
medibles. Si
f =

n=1
u
n
entonces
_
f =

n=1
_
u
n
.
Denicion 18. Una funcion f no negativa se dice que es integrable
sobre el conjunto E, si
_
E
f(x) dx < .
Proposicion 19. Sea f una funcion no negativa e integrable sobre E.
Para cada > 0 existe > 0 tal que si A E satisface m(A) < ,
entonces
_
A
f < .
Demostracion. Para cada n N, sea f
n
= min
_
f, n
_
. Entonces
lim
_
E
f
n
=
_
E
f. Por lo tanto, existe N tal que
_
E
(f f
N
) < /2.
Sea = /2N. Si A E es tal que m(A) < , entonces
_
A
f =
_
A
(f f
N
) +
_
A
f
N

_
E
(f f
N
)
. .
menor que /2
+Nm(A) < .
Pagina 73
3. Integral General de Lebesgue.
Sea f : R R
_

_
. Escribamos
f
+
(x) = max
_
f(x), 0
_
y f

(x) = max
_
f(x), 0
_
.
Entonces se cumple que
f = f
+
f

y |f| = f
+
+f

.
Denicion 20. Una funcion medible f : R R
_

_
se dice que
es integrable sobre E, si f
+
y f

son funciones integrables sobre E.

En este caso,
_
E
f =
_
E
f
+

_
E
f

.
Denicion 21. Sea 1 p < . Sea E un conjunto medible. Mediante
L
p
(E) se denota el conjunto de todas las funciones f : E R
_

_
tales que
_
E
|f|
p
< . Decimos que
_
f
n
_
converge a f en L
p
(E) si se
cumple que
_
|f f
n
|
p
0 siempre que n .
Proposicion 22. Sean f y g dos funciones integrables sobre E. En-
tonces se cumplen los siguientes enunciados.
(a) cf es integrable y
_
E
cf = c
_
E
f.
(b)
_
E
(f +g) =
_
E
f +
_
E
g.
(c) Si f g para casi toda x E, entonces
_
E
f
_
E
g.
(d) Si A y B son conjuntos medibles y disjuntos, entonces
_
AB
f =
_
A
f +
_
B
f.
P agina 74
Teorema 23. (de Convergencia Dominada). Sea g : E R una
funcion integrable. Sea
_
f
n
_
una sucesion de funciones medibles tales
que |f
n
| g en E. Suponga que f(x) = limf
n
(x) para casi toda
x E. Entonces
_
E
f = lim
n
_
E
f
n
.
Demostracion. Puesto que |f| g, entonces f es integrable. Puesto
que la funcion g f
n
es no negativa, entonces
_
E
g
_
E
f =
_
E
(g f) liminf
n
_
E
(g f
n
) =
_
E
g limsup
n
_
E
f
n
.
Por lo tanto limsup
_
E
f
n

_
E
f. Repitiendo el mismo argumento con
g +f
n
, se obtiene que
_
E
f liminf
_
E
f
n
.
Ejercicio 24. Sea > 0. Sea f una funcion integrable sobre E.
Pruebe que existen funciones g escalon y h continua tales que
_
E
|f g| < y
_
E
|f h| < .
4. Convergencia en Medida.
Denicion 25. Una sucesion
_
f
n
_
de funciones medibles, se dice que
converge a f en medida, si para cada > 0 existe N tal que n > N
implica
m
_
x : |f(x) f
n
(x)|
_
< .
Ejercicio 26. La sucesion
_
f
n
_
converge en medida a f si y solo si
para cada > 0
lim
n
m
_
x : |f(x) f
n
(x)|
_
= 0.
Pagina 75
Ejercicio 27. Sea
_
f
n
_
una sucesion de funciones integrables con
dominio [0, 1]. Suponga que
_
|f
n
| 0. Demuestre que la sucesion
_
f
n
_
converge a cero en medida.
Solucion. Sea > 0. Sea E
n
=
_
x : |f
n
(x)|
_
. Entonces
m(E
n
)
_
E
n
|f
n
(x)|

dx
1

_
|f
n
| 0 cuando n .
Proposicion 28. Sea
_
f
n
_
una sucesion de funciones medibles que
convergen en medida a f. Entonces existe una subsucesion
_
f
n(k)
_
que converge a f para casi toda x.
Demostracion. Dado j N, existe N
j
tal que n N
j
implica
m
_
x : |f(x) f
n
(x)|
1
2
j
_
<
1
2
j
.
Sea E
j
=
_
x : |f(x) f
N
j
(x)| 1/2
j
_
. Sea A =

k=1

_
j=k
E
j
.
Entonces f
N
j
(x) f(x) para cada x A. Notese ahora que
m(A) m
_

_
j=k
E
j
_

j=k
m(E
j
)
1
2
k+1
0
cuando k .
P agina 76
5. Lema de Riemann-Lebesgue.
El siguiente resultado se conoce como el Lema de Riemann-Lebesgue.
Teorema 29. Sea : [0, 1] R una funcion continua y periodica de
perodo 1. Suponga que
1
0
(t) dt = 0. Demuestre que para toda
funcion integrable f : [0, 1] R se cumple que
lim
n
1
_
0
f(t)(nt) dt = 0.
Demostracion. Supongamos primero que f es continua. Para toda
> 0 existe n N tal que para cada par x, y [0, 1] tal que |x y|
1/n, se cumple que |f(x)f(y)| < . Por lo tanto, para cada 1 j n
y cada t [j 1, j], se cumple que

f
_
t
n
_
f
_
j
n
_

< .
Sea K =
1

0
|(t)| dt. Para cada 1 j n tenemos
j

j1
f
_
j
n
_
(t)dt = 0
y por lo tanto, uniformemente en j,

j
_
j1
f
_
t
n
_
(t) dt

j
_
j1
|(t)|

f
_
t
n
_
f
_
j
n
_

dt < K.
Entonces,

1
_
0
f(t)(nt) dt

1
n
n

j=1

j
_
j1
f
_
t
n
_
(t) dt

< K.
Pagina 77
En el caso de que f es solamente integrable pero no necesariamente
continua, sea h una funcion continua tal que
_
|f h| < . Entonces

1
_
0
f(t)(nt) dt

max
0t1
|(t)|
1
_
0
|f(t) h(t)| dt +

1
_
0
h(t)(nt) dt

y la ultima integral tiene a cero cuando n .

Ejercicio 30. Sea A [0, 2] un conjunto medible. Pruebe que
lim
n
_
A
cos nx dx = 0.
Ejercicio 31. Suponga que
_
n
k
_
es una sucesion creciente de enteros
positivos y E es el conjunto de todas las x (, ) tales que la
sucesion
_
senn
k
x
_
es convergente. Demuestre que E es medible y
tiene medida de Lebesgue igual a cero.
Solucion. Para cada x (, ) sean
f
1
(x) = liminf
k
sen(n
k
x) y f
2
(x) = limsup
k
sen(n
k
x).
Entonces f
1
y f
2
son medibles. Por lo tanto, f
2
f
1
es medible. Por
lo tanto,
E =
_
x : f
2
f
1
= 0
_
es un conjunto medible. Para cada x E, sea f(x) = f
1
(x). Entonces,
_
E
f
2
= lim
k
1
2
_
E
_
1 cos 2n
k
x
_
dx =
1
2
m(E).
Por otro lado,
0
_
E
f
2
= lim
k
_
E
f(x)senn
k
x dx = 0
P agina 78
ya que f es medible y acotada y por lo tanto integrable.
6. Ejercicios.
Ejercicio 32. Construir un conjunto abierto E que sea denso en R y
tal que
_
R
x
2

E
(x) dx < .
Ejercicio 33. Sea f : R R una funcion integrable. Pruebe que
m
_
x : |f(x)| > n
_
= o
_
1
n
_
cuando n .
Solucion. Supondremos que f(x) 0 para cada x R. Para cada
n N sea E
n
=
_
x : f(x) > n
_
. Entonces
m(E
n
)
1
n
_
E
n
f.
Sea
f
n
(x) =
_
f(x) si f(x) n
0 si f(x) > n.
El Teorema de Convergencia Monotona implica que
_
E
n
f =
_
f
_
f
n
0
cuando n .
Ejercicio 34. Sea p > 0. Suponga que |f(x)|
p
es una funcion inte-
grable. Pruebe que
m
_
x : |f(x)| >
_
= o
_
1

p
_
, cuando .
Pagina 79
Demuestre que el recproco de esta armacion no se cumple.
Ejercicio 35. Sea f : [0, 1] R una funcion medible que toma valores
positivos. Suponga que para cada y > 0, se cumple
m
_
x : f(x) > y
_

1
y
2
.
Pruebe que f es integrable.
Ejercicio 36. Suponga que p > 0. Sea f : E R una funcion
integrable. Sea E

=
_
x : |f(x)| >
_
. Suponga que m(E

) =
O(1/
p
). Sea E R un conjunto de medida nita. Pruebe que
|f(x)|
q
es una funcion integrable para cada 0 q < p.
Ejercicio 37. Sea f(x) integrable. Sea
n
= m
_
x : |f(x)| > n
_
.
Demuestre que

n=1

n
< .
Solucion. Sin perder generalidad, supondremos que f 0. Para cada
> 0 sea A

=
_
x : f(x) >
_
de modo que
n
= m(A
n
). Si > 0
entonces
_
f m(A

). Con = 1 se deduce que

1
= m(A
1
) < .
Por otro lado,

n=1
n m
_
A
n
\ A
n+1
_

_
f < .
Puesto que los dos conjuntos A
n+1
A
n
tienen medida nita (
1
),
entonces m(A
n
\ A
n+1
) = m(A
n
) m(A
n+1
). Por lo tanto

n=1
n
_

n+1
_
= 1
_

2
_
+2
_

3
_
+3
_

4
_
+
Simplicando la ultima suma se obtiene el resultado.
P agina 80
Ejercicio 38. Sea f : [0, 1] R una funcion integrable. Demuestre
que f(x) = 0 para casi toda x [0, 1] suponiendo que
_
E
f = 0 para
cada
(a) conjunto E [0, 1] medible,
(b) conjunto E [0, 1] abierto.
Solucion de (a). Sea > 0. Supongamos que existe un subconjunto
E [0, 1] tal que mE > 0 y con la propiedad de que para cada x E
se cumple que f(x) . En este caso
_
E
f
_
E
= mE > 0.
Puesto que esto contradice la hipotesis del problema entonces dicho
conjunto E no existe. Concluimos entonces que cada uno de los con-
juntos E
n
=
_
x : f(x) > 1/n
_
tiene medida cero. Por lo tanto
m
_
x : f(x) > 0
_
= m
_

_
n=1
E
n
_

n=1
mE
n
= 0.
Por lo tanto f(x) 0 casi siempre. El mismo argumento con f en
lugar de f muestra que f(x) 0 casi siempre. Por lo tanto f(x) = 0
casi por doquier.
Ejercicio 39. Sea f : R R una funcion integrable. Sea > 0.
Pruebe que para casi todo x R
lim
n
f(nx)
n

= 0.
Solucion. Podemos suponer que f 0. Por lo tanto
_

n=1
f(nx)
n

dx =

n=1
1
n

_
f(nx) dx =
_
f(x) dx

n=1
1
n
1+
.
Pagina 81
Ejercicio 40. Sea f : R R una funcion medible, periodica de
perodo 1. Suponga que
_
1
0
|f| < . Pruebe que para casi todo x R
lim
n
f(nx)
n
2
= 0.
Ejercicio 41. Sea
_
f
n
_
L
1
(R). Suponga que existe f L
1
(R) con
la propiedad de que para cada n 1
+
_

|f
n
(t) f(t)| dt <
1
n
2
.
Demuestre que f
n
f casi en todas partes.
Ejercicio 42. Sea f : [0, 1] (0, ) una funcion integrable que toma
valores positivos. Sea (0, 1]. Pruebe que
inf
E
_
_
E
f
_
> 0
en donde el inmo se toma sobre todos los conjuntos medibles E para
los cuales m(E) .
Solucion. Supongamos que el nmo es igual a cero. Entonces existe
una sucesion
_
E
n
_
de subconjuntos de [0, 1] tales que m(E
n
) y
ademas
_
E
n
f <

2n
.
Sea A
n
=
_
x E
n
: f(x) < 1/n
_
. Sea B
n
= E
n
\ A
n
. Entonces

2n
>
_
E
n
f
_
B
n
f
1
n
m(B
n
),
P agina 82
y por lo tanto m(A
n
) = m(E
n
) m(B
n
) /2. Sera suciente si
A

= limsup
n
A
n
tiene medida positiva. En efecto, si x A

entonces
f(x) < 1/n para una innidad de valores de n N. Por lo tanto,
f(x) = 0 para cada x A

. Para mostrar que m(A

) > 0, notese que

por el Teorema de la Convergencia Acotada, se cumple que
m(A

) = lim
n
1
_
0
sup
kn

A
k
limsup
n
1
_
0

A
n


2
.
Ejercicio 43. Sea
_
f
n
_
L
2
una sucesion de funciones ortogonales, es
decir,
_
f
n
f
m
= 0 siempre que m = n. Sea
n
(x) = f
1
(x)+ +f
n
(x).
Pruebe que
si lim
n
1
n
2

jn
||f
j
||
2
2
= 0 entonces
n
(x) 0 en medida.
Ejercicio 44. Construya una sucesion de funciones que converge en
cada punto de un intervalo I, pero que diverge en L
2
(I).
Ejercicio 45. Construya una sucesion de funciones que diverge en
cada punto de un intervalo I, pero que converge en L
2
(I).
Ejercicio 46. Suponga que
_
f
n
_
es una sucesion de funciones que
convergen a f en L
p
. Sea q tal que (1/p) + (1/q) = 1. Sea g L
q
.
Pruebe que
lim
n
1
_
0
f
n
(x)g(x) dx =
1
_
0
f(x)g(x) dx.
Ejercicio 47. Sea p 1 y sea f L
p
(R). Para cada x R sea
F(x) =
x

0
f(t) dt.
Pagina 83
Pruebe que F(x +h) F(x) = o(|h|
1
1
p
) cuando h 0.
Ejercicio 48. Sea g : R R una funcion integrable no negativa. Sea
f : R R una funcion medible y acotada que satisface f(x) > 1 para
cada x R. Suponga que
_
R
f
n
g M
para cada n N. Demuestre que g(x) = 0 para casi toda x R.
Ejercicio 49. Sea f L
1
[0, 1]. Pruebe que
lim
h0
1
_
0

f(x +h) f(x)

dx = 0.
Ejercicio 50. Sea f : [0, 1] R una funcion continua tal que f(0) = 0
y f

(0) existe. Pruebe que

f(x)
x
3/2
L
1
[0, 1].
Ejercicio 51. Para que n umeros reales se cumple que la funcion
f

(t) = t

e
t
pertenece a L
p
(0, )?
Ejercicio 52. Sea f L
1
(R). Suponga que para cada conjunto
medible E, se cumple

_
E
f

m(E).
Pruebe que |f(x)| 1 para casi todo x R.
P agina 84
Ejercicio 53. Sean f y g dos funciones en L
1
(R) tales que f(x) 0 y
g(x) > 0 para casi todo x R. Pruebe que para cada positivo existe
tal que para todo conjunto medible A,
_
A
g < implica
_
A
f < .
Ejercicio 54. Sea g : [0, 1] R una funcion medible. Suponga que
_
gf = 0 para cada funcion continua f : [0, 1] R. Pruebe que
g(x) = 0 para casi toda x [0, 1].
Ejercicio 55. Suponga que f
n
(x) f(x) para casi toda x [0, 1].
Suponga que para cada > 0 existe > 0 tal que m(E) < implica
_
E
|f
n
| < , para cada n N. Pruebe que
_
1
0
|f f
n
| 0 cuando
n .
Ejercicio 56. Sea f : [0, 1] R una funcion medible. Pruebe que
existe una sucesion
_
p
n
_
de polinomios, tal que p
n
(x) f(x) para
casi todo x [0, 1].
Ejercicio 57. Suponga que f(x) tiene derivada continua en [1, 1].
Pruebe que
lim

+1
_
1
1 cos x
x
f(x) dx =
+1
_
1
f(x) f(x)
2x
dx.
Solucion. Sin perdida de generalidad, se puede suponer que f(x) es
impar. Entonces
+1
_
1
1 cos x
x
f(x) dx
+1
_
1
f(x)
x
dx =
+1
_
1
f(x)
x
cos x dx 0.
Pagina 85
En efecto, puesto que f

(x) es continua, entonces existe M > 0 tal que

|f(x)| Mx, para cada x [0, 1], y por lo tanto f(x)/x es integrable.
Ejercicio 58. Pruebe que

_
0
senx
x
dx =

2
.
Sugerencia. Puesto que
(59)
1
2
+ cos x + cos 2x + + cos nx =
sen(n + 1/2)x
2senx/2
entonces

2
=

_
0
sen
_
n +
1
2
_
x
dx
x
+

_
0
g(x) sen
_
n +
1
2
_
x dx
en donde g(x) =
1
2 senx/2

1
x
.
Ejercicio 60. Pruebe que

n=1
1
n
2
=

2
6
.
Sugerencia. Sea n = 2m + 1. Multiplique la ecuacion (59) en el
ejercicio anterior por x e integre sobre [0, ] para obtener

2
4

m

n=0
2
_
2n + 1
_
2
=

_
0
x
2senx/2
sen
_
m+
3
2
_
x dx.
P agina 86
Captulo 5
AN

ALISIS FUNCIONAL
1. Espacios Metricos.
Denicion 1. Una metrica (o distancia) en un conjunto S es una
funcion : S S R que satisface las siguientes condiciones.
(a) Para cada par x, y S se cumple que (x, y) 0.
(b) (x, y) = 0 si y solo si x = y.
(c) Para cada par x, y S se cumple que (x, y) = (y, x).
(d) Para cada x, y, z S se cumple que (x, z) (x, y) +(y, z).
Denicion 2. Sea E un espacio lineal real o complejo. Una norma en
E es una funcion || || : E [0, ) tal que se cumplen las siguientes
condiciones.
(a) ||x|| = 0 si y solo si x = 0.
(b) Para cada x E y a escalar, ||ax|| = |a| ||x||.
(c) Para cada par x, y E, se cumple ||x +y|| ||x|| +||y||.
Si || || es una norma denida en el espacio lineal E, entonces
(x, y) = ||x y|| es una metrica en E.
Ejemplo 3. En R
n
la siguiente es una norma
||x|| =
_
n

j=1
x
2
j
_1
2
en donde x = (x
1
, . . . , x
n
).
Pagina 87
Ejemplo 4. El espacio de todas las sucesiones se denota mediante .
Es claro que es un espacio lineal con la suma y el producto escalar
denidas coordenada a coordenada. Aunque no hay una norma util en
, la siguiente formula dene una metrica en :
(x, y) =

j=1
1
2
j

|x
j
y
j
|
1 +|x
j
y
j
|
en donde
_
_
_
x =
_
x
j
_

j=1
,
y =
_
y
j
_

j=1
.
Ejemplo 5. El espacio de todas las sucesiones acotadas, se denota
mediante

. La norma uniforme en

esta dada por

||x|| = sup
j
|x
j
|.
Ejemplo 6. Sea 1 p < . El espacio
p
consiste en el conjunto de
todas las sucesiones x =
_
x
j
_

j=1
tales que
||x||
p
:=
_

j=1
|x
j
|
p
_1
p
< .
En particual ||x||
p
es una norma en
p
.
Ejemplo 7. Sea S un espacio metrico. Mediante C(S) se denota el
espacio de todas las funciones continuas f : S R. Si suponemos
que S es compacto, entonces el espacio lineal C(S) admite la siguiente
norma uniforme
||f|| = sup
xS
|f(x)|.
Sea
_
f
n
_
C(S) con S compacto. Si
_
f
n
_
converge seg un la norma
uniforme a f, entonces f C(S).
P agina 88
Ejemplo 8. Sea 1 p < . Sea A R un conjunto medible de
n umeros reales. El espacio L
p
(A) que consiste en el conjunto de todas
las funciones medibles f tales que
||f||
p
:=
__
A
|f|
p
_1
p
<
es un espacio normado. Notemos que aqu no se distingue entre fun-
ciones que dieren solo en un conjunto de medida cero. En L
p
(A), se
cumple la siguiente desigualdad de Holder
_
A
|f g| ||f||
p
||g||
q
en donde
1
p
+
1
q
= 1,
y tambien la desigualdad de Minkowski ||f +g||
p
||f||
p
+||g||
p
.
Denicion 9. Una sucesion
_
x
n
_
en un espacio metrico (S, ) se dice
que es una sucesion de Cauchy, si para todo > 0, existe un n umero
N tal que (x
m
, x
n
) < siempre que m, n > N.
Ejercicio 10. Sea
_
x
n
_
una sucesion de Cauchy en el espacio metrico
(S, ). Demuestre las siguientes armaciones.
(a)
_
x
n
_
esta acotada, es decir, existen y S y M > 0 tales que
(x
n
, y) < M para cada n N.
(b) Si alguna subsucesion de
_
x
n
_
converge a x, entonces la sucesion
completa
_
x
n
_
tambien converge a x.
Denicion 11. Un espacio metrico (S, ) se dice que es completo, si
toda sucesion de Cauchy
_
x
n
_
S converge a un elemento de S.
Denicion 12. Un espacio normado completo, se llama espacio de
Banach.
Pagina 89
El espacio C(S) del Ejemplo 7 es un espacio de Banach. Sea
1 p < . Los espacios
p
son espacios completos y por lo tanto son
espacios de Banach. Mas adelante probaremos que los espacios L
p
(A)
tambien son espacios de Banach.
Para la demostracion del siguiente teorema, escribiremos B(x, r)
para denotar el conjunto de todas las y S tales que (y, x) < r.
Teorema 13. Sea (S, ) un espacio metrico completo y sea
_
F
n
_
una
sucesion de conjuntos cerrados de S tales que

_
n=1
F
n
= S.
Entonces existe F
n

_
F
n
_
cuyo interior es no vacio: int(F
n
) = .
Demostracion. Sin perder generalidad podemos suponer que
F
m

m1
_
n=1
F
n
para cada m N.
Si existe un m tal que

m
n=1
F
n
cubre a un conjunto abierto, no
vacio O, mientras que

m1
n=1
F
n
no cubre a O, entonces
O
_
m1
_
n=1
F
n
_

es no vacio, es abierto y esta contenido en F

m
. Por lo tanto, si
int(F
n
) = para cada n, entonces se deduce que
int
_
m
_
n=1
F
n
_
= para cada m N.
P agina 90
Probaremos que bajo esta situacion, es imposible que

n=1
F
n
= S.
Notese primero que si F es un subconjunto de S, entonces
x int(F) implica que > 0 tal que B(x, ) F.
En caso de que int(F) = , entonces para toda x S y > 0 se cumple
que B(x, )

F = y en particular

F = .
Sea x
1
un elemento cualquiera de

F
1
. Sea 0 <
1
< 1 tal que
B(x
1
,
1
)

F
1
.
Sea x
2
B
_
x
1
,

1
2
_
\ (F
1
F
2
) y sea 0 <
2
<
1
2
tal que
B(x
2
,
2
) B
_
x
1
,

1
2
_
\ (F
1
F
2
).
En general, si ya hemos obtenido los elementos x
1
, x
2
. . . , x
m1
S y
los n umeros rales positivos
1
,
2
, . . . ,
m1
, sea
x
m
B
_
x
m1
,

m1
2
_
\
_
m
_
n=1
F
n
_
y sea 0 <
m
<
1
m
tal que
B(x
m
,
m
) B
_
x
m1
,

m1
2
_
\
_
m
_
n=1
F
n
_
.
De esta manera hemos denido una sucesion
_
x
n
_
S y una sucesion
_

n
_
de n umeros reales. La sucesion
_
x
n
_
es de Cauchy, puesto que
si p, q > m, entonces x
p
, x
q
B(x
m
,
m
/2) y por lo tanto (x
p
, x
q
) <
1/m. Puesto que (S, ) es completo, entonces existe x S tal que
Pagina 91
limx
n
= x. Armamos que x no pertenece a

n=1
F
n
. Para cada m,
el conjunto
_
x
n
: n > m
_
esta contenido en el conjunto cerrado

B
_
x
m
,

m
2
_
=
_
y : (x
m
, y)

m
2
_
.
Por lo tanto x

B(x
m
,
m
/2). Puesto que

B
_
x
m
,

m
2
_
B(x
m
,
m
)
_
m
_
n=1
F
n
_

,
entonces x

_
n=1
F
n
.
Denicion 14. Un conjunto B tal que la cerradura

B =

BC
C (en donde C es cerrado)
tiene interior vacio (int(

B) = ), se dice que es denso en ninguna parte.
Denicion 15. Un conjunto C que es la union numerable de conjuntos
densos en ninguna parte,
C =

_
n=1
B
n
con int(

B
n
) = para toda n N,
se dice que es de la primera categora. Un conjunto D se dice que es
de la segunda categora, si no es de la primera categora.
Teorema 16. (Baire). Todo espacio metrico completo es de la se-
gunda categora.
P agina 92
Proposicion 17. Existen funciones f : [0, 1] R continuas y no
diferenciables en ning un x [0, 1].
Demostracion. Sea C[0, 1] el conjunto de todas las funciones con-
tinuas denidas en el intervalo [0, 1]. Este espacio esta dotado de la
norma uniforme
||f|| = sup
0x1
|f(x)|.
Para cada n N, sea D
n
el conjunto de todas las f C[0, 1] para las
cuales existe x [0, 11/n] tal que |f(u) f(x)| n(ux) para cada
u [x, 1]. Notese que si f C[0, 1] tiene derivada en alg un x [0, 1],
entonces f D
n
para alg un n sucientemente grande.
Para probar que cada D
n
es cerrado en C[0, 1], suponga que
_
f
k
_
es una sucesion de elementos de D
n
que converge a f C[0, 1]. Para
cada k N, sea x
k
[0, 1 1/n] que hace que f
k
D
n
. Puesto que
[0, 1 1/n] es compacto, entonces existe una subsucesion
_
x
k(j)
_
que
converge a x [0, 1 1/n]. Es facil ver que
lim
j
f
k(j)
(x
k(j)
) = f(x).
Entonces
|f(u) f(x)| = lim
j
|f
k(j)
(u) f
k(j)
(x
k(j)
)|
limsup
j
n|u x
k(j)
| = n|u x|
y por lo tanto f D
n
.
Probaremos ahora que int(D
n
) = . Sea f C[0, 1] y > 0.
Entonces f es uniformemente continua y por lo tanto existe > 0 tal
Pagina 93
que |f(u) f(v)| < /2 siempre que |u v| < . Sea M un entero
positivo tal que
1
2M
< min
_
,

2n
_
.
Para j = 0, 1, . . . , 2M, sea x
j
= j/2M. Dena g C[0, 1] como la
funcion lineal a trozos tal que
g(x
j
) =
_

_
f(x
j
)

2
si j es par,
f(x
j
) +

2
si j es impar.
(Localmente g es una funcion lineal en cada intervalo cerrado [x
j
, x
j+1
]
para j = 0, 1, . . . , 2M 1).
Armamos que g B(f, ). En efecto, sea x [0, 1]. Existen el
entero j y el n umero real 0 a 1 tales que x = ax
j
+ (1 a)x
j+1
de manera que
g(x) = ag(x
j
) + (1 a)g(x
j+1
).
Por lo tanto
|f(x) g(x)| a|f(x) g(x
j
)| + (1 a)|f(x) g(x
j+1
)| .
Para ver que g D
n
, notese que la pendiente de g en cada intervalo
[x
j
, x
j+1
] es

f(x
j+1
)

2
f(x
j
)

2

x
j+1
x
j
2M
_
|f(x
j+1
) f(x
j
)|
_
> n.
Esto prueba que D
n
no contiene ninguna vecindad de ning un punto
en C[0, 1], esto es, int(D
n
) = . El subconjunto B C[0, 1] de las
funciones que tienen derivada en alg un x [0, 1], esta contenido en la
P agina 94
union de los D
n
, es decir B

n=1
D
n
. Puesto que

n=1
D
n
es de la
primera categora, entonces B tambien es de la primera categora.
2. Espacios Normados.
Denicion 18. Sean E y F dos espacios normados bajo un mismo
campo de escalares. Un operador lineal T : E F es una transfor-
macion lineal entre estos dos espacios.
Teorema 19. Sea T : E F un operador lineal. Los siguientes
enunciados son equivalentes.
(a) T es continuo.
(b) T es continuo en un punto.
(c) T es continuo en 0.
(d) Existe M tal que para cada x E se cumple que ||Tx|| M||x||.
Demostracion. Es claro que (a) implica (b). Para probar que (b)
implica (c) supongamos que T es continua en x
0
E. Entonces
: ||x x
0
|| < ||Tx Tx
0
|| < .
Ahora bien, si ||x|| < , entonces
||Tx T0|| = ||Tx|| = ||T(x
0
x) Tx
0
|| <
pues ||(x
0
x) x
0
|| = ||x|| < . Por lo tanto T es continuo en 0.
Probaremos ahora que (c) implica (d). Puesto que T es continuo
en 0, entonces existe > 0 tal que ||Tx|| < 1 siempre que ||x|| < .
Sea M = 2/. Para toda x E se cumple que

x
2||x||

< y por lo tanto

T
_
x
2||x||
_

< 1.
Pagina 95
Se concluye ahora que ||Tx|| <
2

||x|| = M||x||.
Finalmente probaremos que (d) implica (a). Sean x, y E. En-
tonces
||Tx Ty|| = ||T(x y)|| M||x y|| <
siempre que ||x y|| < /M. Vemos entonces que de hecho, T es
uniformemente continua.
Denicion 20. Si T : E F es un operador lineal que cumple
la condicion (d) del teorema anterior, entonces se dice que T es un
operador acotado. En este caso escribimos
||T|| = inf
_
M : ||Tx|| M||x|| para cada x E
_
.
Teorema 21. Si T : E F es un operador lineal acotado, entonces
||T|| es igual a cada una de las siguientes expresiones:
||T||
1
= sup
_
||Tx|| : ||x|| = 1
_
,
||T||
2
= sup
_
||Tx|| : ||x|| 1
_
,
||T||
3
= sup
_
||Tx||
||x||
: ||x|| = 0
_
.
Demostracion. Es claro que ||T||
1
||T||
2
. Si ||x|| 1 y x = 0,
entonces
||Tx||
||Tx||
||x||
.
Tomando el supremo, se obtiene ||T||
2
||T||
3
.
P agina 96
Si x = 0, entonces
||Tx||
||x||
=

T
_
x
||x||
_

y ademas

x
||x||

= 1.
Por lo tanto ||T||
3
= ||T||
1
.
En resumen ||T||
1
||T||
2
||T||
3
= ||T||
1
.
Ahora bien, puesto que para todo x E se cumple la desigualdad
||Tx|| ||T||
3
||x||, entonces ||T|| ||T||
3
. Por otro lado, si M > ||T||,
entonces ||Tx||
_
||x|| < M siempre que x = 0 y por lo tanto ||T||
3
M.
Tomando el nmo sobre tales M obtenemos que ||T||
3
||T|| .
Denicion 22. Mediante L(E, F) se denota el conjunto de todos los
operadores lineales acotados T : E F. Este conjunto es un espacio
lineal con las siguientes operaciones:
(T
1
+T
2
)x = T
1
(x) +T
2
(x) y (aT)x = aT(x), a escalar.
Teorema 23. Si ||T|| es como en la Denicion 20, entonces ||T|| es
una norma en L(E, F).
Demostracion. Suponga que T
1
y T
2
son elementos de L(E, F). Para
cada x E, se cumple que
||(T
1
+T
2
)x|| = ||T
1
x+T
2
x|| ||T
1
x|| +||T
2
x|| ||x||
_
||T
1
|| +||T
2
||
_
.
Por lo tanto (T
1
+T
2
) L(E, F) y ademas ||T
1
+T
2
|| ||T
1
|| +||T
2
||.
Supongamos ahora que T L(E, F) y a es un escalar. Para cada
x E se cumple que
||aTx|| = |a| ||Tx|| |a| ||T|| ||x||.
Pagina 97
Por lo tanto aT L(E, F) y ademas ||aT|| |a| ||T||. Si a = 0,
entonces
||T|| =

1
a
aT

1
|a|
||aT||
de modo que |a| ||T|| = ||aT||.
Denicion 24. La topologa en L(E, F) derivada de la norma || || se
llama la topologa uniforme en el espacio de operadores. Ademas || ||
se llama la norma uniforme.
Denicion 25. La serie innita
(26)

j=1
x
j
con terminos x
j
E converge a x E si para cada > 0 existe K tal
que k > K implica

x
k

j=1
x
j

< .
Decimos que la serie (26) converge absolutamente si ademas se cumple
que

j=1
||x
j
|| < .
Teorema 27. Un espacio normado E es de Banach, si y solo si cada
serie absolutamente convergente en E, converge a un elemento x E.
Demostracion. Supongamos que

j=1
x
j
, con x
j
E,
P agina 98
converge absolutamente. Entonces las sumas parciales forman una
sucesion de Cauchy. En efecto, si K es tal que

j=K
||x
j
|| < ,
entonces p > q > K implica que

j=1
x
j

q

j=1
x
j

j=q+1
x
j

j=q+1
||x
j
|| < .
Puesto que E es completo, entonces existe x E, que es el lmite de
la serie innita.
Supongamos ahora que E es un espacio normado en el que toda
serie absolutamente convergente, converge en E. Sea
_
x
n
_
E una
sucesion de Cauchy. Formemos ahora la siguiente subsucesion
_
y
j
_
de
_
x
n
_
. Para cada j N, sea n(j) tal que n(j) > n(j 1) y si
p, q > n(j), entonces ||x
p
x
q
|| < 1/2
j
. Sea y
j
= x
n(j)
. La serie
(y
2
y
1
) + (y
3
y
2
) +
converge absolutamente pues
||y
j+1
y
j
|| <
1
2
j1
.
La enesima suma parcial de esta serie es igual a y
n+1
y
1
. Por lo tanto,
si esta serie converge a y, entonces
_
y
n
_
converge a y+y
1
. Como
_
x
n
_
es de Cauchy, entonces tambien
_
x
n
_
converge a y +y
1
.
Teorema 28. Sean E un espacio normado y F un espacio de Banach.
Entonces L(E, F) es un espacio de Banach.
Pagina 99
Demostracion. Suponga que la sucesion
_
T
j
_
L(E, F) es tal que

||T
j
|| < . Para cada x E tenemos

j=1
||T
j
x|| ||x||

j=1
||T
j
|| < .
Por lo tanto existe Tx F tal que

j=1
T
j
x = Tx.
Es claro que Tx es lineal. La funcion T es acotada, pues
||Tx|| ||x||

j=1
||T
j
||.
Para vericar que la serie

T
j
converge a T, sea ||x|| 1. Entonces

Tx
k

j=1
T
j
x

j=k+1
||T
j
|| <
siempre que k > K. Tomando el supremo sobre todas las ||x|| 1
vemos que

T
k

j=1
T
j

< siempre que k > K.

Teorema 29. (Riesz-Fisher). Sea 1 p < . Los espacios L
p
son
completos.
Demostracion. Probaremos que toda sucesion
_
f
n
_
L
p
absoluta-
mente convergente, converge a un elemento de L
p
. Supongamos pues
que

j=1
||f
n
|| =: M < .
P agina 100
Sea
g
n
(x) =
n

k=1
|f
k
(x)|.
Por la desigualdad de Minkowski, tenemos que
||g
n
||
n

k=1
||f
k
|| M.
Por lo tanto
_
|g
n
|
p
M
p
.
Para cada x, la sucesion
_
g
m
(x)
_
es no decreciente y por lo tanto,
converge a un n umero g(x) R
_

_
. La funcion g es medible y
puesto que g
n
0, entonces
_
g
p
M
p
por el Lema de Fatou. Por lo tanto g
p
es integrable y g es nita para
casi toda x.
Para cada x tal que g(x) es nito, la serie
s
n
(x) =
n

k=1
f
k
(x)
converge absolutamente a un n umero s(x). Sea s(x) = 0 para cada x
tal que g(x) = . Para cada n N se cumple que s
n
(x) g(x) y por
lo tanto s(x) g(x). Se deduce que s L
p
y tenemos
|s
n
(x) s(x)|
p
2
p
_
g(x)

p
.
Pagina 101
Puesto que 2
p
g
p
es integrable y |s
n
(x) s(x)|
p
converge a cero para
casi toda x, entonces
_
|s
n
s|
p
0
por el Teorema de Convergencia Dominada. Por lo tanto ||s
n
s|| 0
cuando n .
3. Extension de Funcionales.
Denicion 30. Un operador f de un espacio normado en el campo
de escalares, se llama una funcional en E. El conjunto de todas las
funcionales en E, se llama el espacio dual de E y se denota E

. El
espacio dual de un espacio normado es siempre un espacio de Banach.
Denicion 31. Sea E un espacio lineal real. Una forma sublineal es
una funcion p: E R tal que p(ax) = ap(x) siempre que a > 0 y tal
que para todo x, y E, se cumple
p(x +y) p(x) +p(y).
Ejemplo 32. Una norma en E es una forma sublineal. Las funcionales
lineales tambien son formas sublineales.
Teorema 33. (Hahn-Banach). Sea p una forma sublineal denida
en el espacio lineal real E. Sea f una funcional lineal denida en el
subespacio F E tal que f(x) p(x) para toda x F. Entonces
existe una funcional

f : E R
que satisface las siguientes propiedades.
(a)

f(x) = f(x) para cada x F.
P agina 102
(b)

f(x) p(x) para cada x E.
De este modo,

f es la extension de f a todo el espacio E. Esta
extension esta dominada por la forma sublineal p.
La demostracion del Teorema de Hahn-Banach depende del Lema
de Zorn, el cual es una de las formas equivalentes del Axioma de
Eleccion de la teora de los conjuntos.
Denicion 34. Sea A una coleccion de conjuntos. Una subcoleccion
B A se llama una cadena, si para cada A, B B se cumple que
A B o bien B A.
Un conjunto A A se llama maximal, si no existe B A, B = A
tal que A B.
Un conjunto A A se llama minimal, si no existe B A, B = A
tal que B A.
Lema 35. (de Zorn). Sea A una coleccion de conjuntos.
(a) Si para cada cadena B A el conjunto
_
BB
B
pertenece a A, entonces A contiene un elemento maximal.
(b) Si para cada cadena B A el conjunto

BB
B
pertenece a A, entonces A contiene un elemento minimal.
Pagina 103
Ejemplo 36. Sea A =
_
(0, r) : 0 < r < 1
_
. Sea B = A. Es claro que
B es una cadena. El conjunto
_
BB
B = (0, 1) A.
Tambien es cierto que A no contiene un elemento maximal.
Demostracion del Teorema 33. Usaremos el Lema de Zorn para
obtener una extension maximal de f. Si el dominio de esta extension
no es todo E, entonces todava se puede obtener una extension aun
mayor.
Sea A la coleccion de todos los subconjuntos de ER que son de
la forma
[G, g] =
_
_
x, g(x)
_
: x G
_
en donde G es un subespacio que contiene a F y g es una funcional
lineal en G que satisface la condicion (a) de teorema, as como la
desigualdad (b) para todo x G. El conjunto [G, g] se llama la graca
de g. Notese que [F, f] A de modo que A = .
Sea B una cadena en A. Sean [G

, g

] y [G

, g

] elementos de la
cadena B. Supongamos que [G

, g

] [G

, g

]. En este caso, para

cada x G

se cumple que
_
x, g

(x)
_
[G

, g

]. Esto implica que

G

es un subespacio de G

y que g

es una extension de g

.
Es facil ver que
G =
_
B
G

(la union es sobre todas las tales que [G

, g

] B) es un subespacio
de E. Podemos ahora denir la funcional
g : G R
P agina 104
mediante g(x) = g

(x) en donde es cualquier ndice tal que x G

.
Tambien es facil comprobar que
[G, g] =
_
B
[G

, g

]
(la union de todos los elementos de B). Puesto que [G, g] A, el Lema
de Zorn implica ahora que A contiene un elemento maximal [E
1
,

f].
Probaremos que E
1
= E. En caso contrario existe y E \ E
1
.
Para cada s > 0 y x E tenemos
2

f
_
x
s
_
2p
_
x
s
_
p
_
x
s
+y
_
+p
_
x
s
y
_
de modo que

f
_
x
s
_
p
_
x
s
y
_
p
_
x
s
+y
_

f
_
x
s
_
.
Sean
A = inf
_
p
_
x
s
+y
_

f
_
x
s
_
: s > 0
_
,
a = sup
_

f
_
x
s
_
p
_
x
s
y
_
: s > 0
_
.
Entonces a A. Sea c un n umero real cualquiera tal que a c A.
Dena la funcional f

en el espacio lineal E
2
que es el espacio generado
por E
1
y y, mediante
f

(x +ty) =

f(x) +ct.
Es claro que la funcional f

satisface la condicion (a) del teorema.

Para probar que f

satisface la desigualdad (b) suponga primero que

t > 0. Puesto que
c p
_
x
t
+y
_

f
_
x
t
_
Pagina 105
entonces
f

(x +ty) =

f(x) +ct p(x +ty).
Si t < 0, sea s = t. Puesto que
c

f
_
x
s
_
p
_
x
s
y
_
entonces
f

(x +ty) =

f(x) +ct =

f(x) cs p(x sy) = p(x +ty).
Puesto que f

satisface las condiciones (a) y (b) del teorema, entonces

se sigue que [E
2
, f

] contiene propiamente a [E
1
,

f ], contradiciendo as
que [E
1
,

f ] sea maximal.
El siguiente resultado es la version del Teorema de Hahn-Banach
para espacios normados.
Teorema 37. Sea F un subespacio de un espacio normado E. Sea
f una funcional lineal acotada denida en F. Entonces existe una
funcional lineal

f en E tal que ||

f|| = ||f|| y ademas

f(x) = f(x) para
cada x F.
Demostracion. Supongamos primero que E es un espacio normado
real. Sea M = ||f||. Entonces p(x) = M ||x|| es una forma sublineal
en E. Tambien es cierto que |f(x)| M ||x|| = p(x). Por lo tanto
existe una extension

f de f a todo E tal que |

f(x)| M ||x|| para

cada x E. Esto implica que ||

f|| = ||f||.
Supongamos ahora que E es un espacio normado complejo. Pode-
mos considerar a E como espacio real restringiendo la multiplicacion
por escalares al campo R. Si f es una funcional lineal en E, entonces
f(x) = f
1
(x) +if
2
(x)
P agina 106
en donde f
1
y f
2
son funcionales reales de E. Es facil ver que f
1
y f
2
son ambas funcionales reales en E cuando restringimos los escalares a
R. Puesto que
f
1
(ix) +if
2
(ix) = f(ix) = if(x) = if
1
(x) f
2
(x)
entonces f
1
(ix) = f
2
(x). Por lo tanto
f(x) = f
1
(x) if
1
(ix).
Supongamos que f es una funcional lineal compleja en el sub-
espacio F E tal que ||f|| = M. Si f
1
es la parte real de f en la
descomposicion anterior, entonces para cada x F tenemos
|f
1
(x)| = |e
_
f(x)
_
| |f(x)| M ||x||
y por lo tanto ||f
1
|| M. Sea

f
1
una extension de f
1
a E tal que
||

f
1
|| M. Dena

f(x) =

f
1
(x) i

f
1
(ix).
Si ||x|| 1, sea c un n umero complejo tal que c

f(x) = |

f(x)| y |c| = 1.
Puesto que

f(cx) es real, entonces
|

f(x)| =

f(cx) = f
1
(cx) M ||cx|| = M ||x||.
Esto prueba que |

f(x)| M ||x|| para todo x E. Puesto que ||f|| =

M como funcional en F, entonces tambien ||

f|| = M.
Corolario 38. Para cada x E, x = 0, existe una funcional lineal
continua f en E tal que ||f|| = 1 y ademas f(x) = ||x||.
Demostracion. Sea F =
_
ax : a escalar
_
el subespacio generado
por x E. Dena f
1
en F mediante f
1
(ax) = a||x||. Puesto que
Pagina 107
|f
1
(ax)| = |a| ||x|| = ||ax||, entonces ||f
1
|| = 1. Si f es una extension
de f
1
a todo E, entonces f(x) = f
1
(x) = ||x||.
Corolario 39. Suponga que F es un subespacio cerrado del espacio
normado E y que x E\ F. Entonces existe una funcional lineal f en
E tal que ||f|| = 1, f(y) = 0 para cada y F y ademas
f(x) = dist(x, F) = inf
yF
||x y||.
Demostracion. Dena f
1
en el espacio generado por x y F,
_
ax +y : a escalar, y F
_
,
mediante f
1
(ax+y) = ad con d = dist(x, F). Si ||ax+y|| 1 y a = 0,
entonces
d

x +
1
a
y

1
|a|
y por lo tanto |f
1
(ax + y)| = d|a| 1. Para ver que ||f
1
|| = 1, sea
> 0. Sea y F tal que ||x y|| < d + . Si u = (x y)/||x y||
entonces ||u|| = 1 y ademas
f
1
(u) =
d
||x y||

d
d +
.
Puesto que > 0 es arbitrario, entonces ||f
1
|| = 1. Por el Teorema de
Hahn-Banach la funcional f
1
se puede extender a todo E.
4. Acotacion Uniforme.
Usaremos el Teorema de Baire para probar el siguiente resultado cono-
cido como el Principio de Acotacion Uniforme.
P agina 108
Teorema 40. (Banach-Steinhaus). Sea
_
T
n
_
una sucesion de ope-
radores lineales continuos, de un espacio de Banach E a un espacio
normado F. Suponga que para toda x E se cumple que sup||T
n
x|| <
. Entonces sup||T
n
|| < .
Demostracion. Para cada par m, n de enteros positivos, sea C
m,n
el
conjunto de todas las x E tales que ||T
m
x|| n. Puesto que T
n
es
un operador continuo, entonces cada C
m,n
es cerrado. Por lo tanto
C
n
=

m=1
C
m,n
tambien es cerrado. Puesto que sup||T
n
x|| < para cada x E,
entonces
E =

_
n=1
C
n
.
Por el Teorema de Baire, alguno de estos C
k
tiene interior no vacio. Si
x
0
es un punto interior de C
k
, entonces existe > 0 tal que B(x
0
, ) =
_
x : ||xx
0
|| <
_
esta contenido en C
k
. Por lo tanto, si ||xx
0
|| <
entonces ||T
n
x|| < k para toda n. Si ||y|| < , entonces
||T
n
y|| = ||T
n
(y +x
0
) T
n
(x
0
)||
||T
n
(y +x
0
)|| +||T
n
(x
0
)|| k +||T
n
(x
0
)||.
Si ||y|| < 1, entonces para cada n
||T
n
y|| =
1

||T
n
y||
1

_
k +||T
n
x
0
||
_
y por lo tanto sup
n
||T
n
||
2k

.
Pagina 109
Usaremos el Principio de Acotacion Uniforme para probar que
existen funciones continuas cuya serie de Fourier diverge en al menos
un punto. Por lo tanto, el hecho de que una funcion sea continua no
es condicion suciente para que su serie de Fourier converga en todas
partes.
Ejemplo 41. Consideremos el espacio C[0, 1] de funciones continuas,
equipado con la norma uniforme
||f|| = sup
0x1
|f(x)|.
La enesima suma parcial de la serie de Fourier de f C[0, 1] esta dada
en x = 0, mediante la funcional
T
n
: C[0, 1] R con T
n
(f) =
1

0
f(t)D
n
(t) dt
en donde D
n
(t) es el n ucleo de Dirichlet
D
n
(t) =
sen(2n + 1)t
sent
.
Para cada f C[0, 1] tenemos que
|T
n
(f)| ||f||
1
_
0
|D
n
(t)| dt
y por lo tanto, la funcional lineal T
n
esta acotada:
||T
n
||
1
_
0
|D
n
(t)| dt.
P agina 110
Sea
g(x) =
_
+ 1 si D
n
(x) > 0,
1 si D
n
(x) 0.
Para cada > 0 existe g

C[0, 1] tal que ||g

|| = 1 y ademas g

(x) =
g(x) para toda x [0, 1] \ B en donde B [0, 1] es un conjunto de
medida menor que /2. Por lo tanto,
T
n
(g

) T
n
(g) =
1
_
0
|D
n
(t)| dt .
Se deduce entonces que ||D
n
|| =
1
_
0
|D
n
(t)| dt. Mostraremos ahora que
1
_
0
|D
n
(t)| dt cuando n .
Puesto que senu u cuando 0 u , entonces

_
0

sen(2n + 1)u
senu

du

_
0

sen(2n + 1)u
u

du
=
(2n+1)
_
0

senu
u

du =
2n

k=0
(k+1)
_
k

senu
u

du

2n

k=0
1
k + 1
(k+1)
_
k
|senu| du =
2

2n

k=0
1
k + 1

cuando n . Por lo tanto ||T
n
|| no esta acotada. Por el Principio
de Acotacion Uniforme, existe f C[0, 1] cuya serie de Fourier diverge
en x = 0.
Pagina 111
5. Ejercicios.
Ejercicio 42. Pruebe que en un espacio de Banach toda sucesion
_
x
n
_
que converge a cero, contiene una subsucesion
_
x
n
k
_
tal que la
serie

x
n
k
es convergente.
Ejercicio 43. Pruebe que el subespacio de todos los polinomios no
es cerrado en C[0, 1] bajo la norma del supremo, ni tampoco bajo la
norma inducida por el producto interno (f, g) =
_
1
0
f(t) g(t) dt.
Ejercicio 44. Pruebe que la norma del supremo || ||

y el producto
interno (f, g) =
_
1
0
f(t) g(t) dt denen topologas distintas en C[0, 1].
Sugerencia. Existe una sucesion de funciones
_
f
n
_
tal que ||f
n
||

=
1 para todo n pero (f
n
, f
n
) 0 cuando n .
Ejercicio 45. Sean E y F dos espacios normados. Sea
_
T
n
_

L(E, F) y sea
_
x
n
_
E. Suponga que T
n
T y que x
n
x. Pruebe
que T
n
x
n
Tx.
Ejercicio 46. Sea c
0
el subespacio de

que consiste de todas las

sucesiones
_
x
n
_
tales que x
n
0 cuando n . Pruebe que c
0
es
cerrado en

bajo la norma del supremo || ||

.
Ejercicio 47. Exhibir una sucesion divergente de elementos de
1
que
converge en
2
. Pruebe que
1

2
. Discutir la situacion con respecto
a
p
y
q
en donde p < q.
Ejercicio 48. Sea
_
r
n
_
una enumeracion de los racionales en [0, 1].
Para x [0, 1] sea
f(x) =

r
n
<x
1
2
n
.
P agina 112
Pruebe que f(x) es continua en cada x [0, 1] \ Q pero discontinua en
cada x [0, 1] Q.
Solucion. Sea x
0
[0, 1] \ Q y sea > 0. Sea N N tal que

n>N
1
2
n
<
y sea = min
_
|r
n
x
0
| : 1 n N
_
. Entonces > 0. Sea
|xx
0
| < . Entre x y x
0
no existe ning un racional de la lista r
1
, . . . , r
N
y por lo tanto
|f(x) f(x
0
)|

n>N
1
2
n
< .
Por lo tanto f es continua en x
0
.
Sea x
0
Q [0, 1]. Entonces x
0
= r
m
para alg un m N. Sea
0 < < 1
_
2
m
. Para todo > 0 existe N N tal que 1
_
2
N
< . Por
lo tanto x = x
0
+ 1
_
2
N
es tal que r
m
< x y tambien |x x
0
| < , sin
embargo
|f(x) f(x
0
)|
1
2
m
> .
Ejercicio 49. Es imposible construir una funcion f : [0, 1] R,
continua en cada racional y discontinua en cada irracional.
Ejercicio 50. Sea 0 < < 1. Considere la funcional lineal F denida
para cada x C[0, 1] mediante
F(x) = x().
Pruebe que F es continua bajo la norma del supremo, pero no bajo la
norma de L
2
(0, 1).
Pagina 113
Ejercicio 51. Considere el operador de Volterra V denido para cada
x L
2
(0, 1) mediante
(V x)(t) =
t

0
x() d, para t (0, 1).
Pruebe que V es acotado y que ||V || 1/

2.
Ejercicio 52. Calcular la norma de la funcional lineal
F(x) =
1

0
t x(t) dt, para x C[0, 1].
Encontrar x C[0, 1] tal que |F(x)| = ||F||.
Ejercicio 53. Sea

H
k
(0, 1) el conjunto de todas las funciones f tales
que para cada n k, la n-esima derivada de f existe y es tal que
f
(n)
L
2
(0, 1). En

H
k
(0, 1) se dene el producto interno
(f, g)
k
=
1
_
0
k

n=0
d
n
f
dt
n
d
n
g
dt
n
dt.
Exhibir una sucesion
_
f
n
_


H
1
(0, 1) tal que (f
n
, f
n
)
0
0 pero por
otro lado (f
n
, f
n
)
1
cuando n .
Ejercicio 54. Sea
g(x) =
_
1
_

x si 0 < x < 1,
0 en otro caso.
Pruebe que g L
1
(R) pero g L
2
(R).
Ejercicio 55. Sea f(x) = min
_
1, 1
_
|x|
_
. Pruebe que f L
2
(R) pero
f L
1
(R).
P agina 114
Ejercicio 56. Demuestre que L
2
(0, 1) L
1
(0, 1).
Sugerencia. Si x > 1 entonces x < x
2
.
Ejercicio 57. Sea E un espacio de Banach con respecto a cada una de
las normas || ||
1
y || ||
2
. Suponga que existe una constante C tal que
||x||
1
C||x||
2
para cada x E. Demuestre que existe una constante
K tal que ||x||
2
K||x||
1
para cada x E.
Ejercicio 58. Considere el espacio E = C[0, 1] con las dos normas
||x||
1
= sup
0t1
|x(t)| y ||x||
2
=
1

0
|x(t)| dt.
Demuestre que existe una constante C tal que ||x||
2
C||x||
1
pero no
existe K tal que ||x||
1
K||x||
2
.
Ejercicio 59. Considere la funcion. funcion f(x) = x
1
senx para
x = 0 y f(0) = 1. Decir, con demostracion, si f(x) es integrable en el
sentido de Lebesgue y en el sentido de Riemann.