Notas de Real

Notas de Analisis Real
(en construccion- version 0.3.4.4)

c
2007-2009
Pablo L. De Napoli
28 de septiembre de 2013
Indice general
1. Teora de la medida en RN
1.1. Intervalos en la recta: . . . . . . . . . . . . . . .
1.2. Intervalos en RN . . . . . . . . . . . . . . . . . .
1.3. Conjuntos Elementales . . . . . . . . . . . . . . .
1.4. Medida de intervalos en RN . . . . . . . . . . . .
1.5. Medida de Conjuntos Elementales . . . . . . . .
1.6. Conjuntos -elementales . . . . . . . . . . . . . .
1.7. Medida de conjuntos -elementales . . . . . . . .
1.8. Medida exterior de Lebesgue . . . . . . . . . . .
1.9. Conjuntos Medibles (Lebesgue) . . . . . . . . . .
1.10. Propiedades de la medida de Conjuntos Medibles
1.11. Caracterizaciones de los conjuntos medibles . . .
1.12. Propiedades de continuidad de la medida . . . .
1.13. Otras propiedades de la medida de Lebesgue . .
1.14. El conjunto de las diferencias de un medible . . .
1.15. Existencia de conjuntos no medibles . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
3
3
4
5
8
10
15
16
17
19
25
27
30
31
32
33
2. Funciones Medibles e Integral en espacios abstractos
2.1. Algebras
y -
algebras de conjuntos . . . . . . . . . . . .
2.2. Medidas sobre un
algebra de conjuntos . . . . . . . . . .
2.3. Funciones Medibles . . . . . . . . . . . . . . . . . . . . .
2.4. Funciones Simples . . . . . . . . . . . . . . . . . . . . .
2.5. Teorema de Egorov . . . . . . . . . . . . . . . . . . . . .
2.6. Convergencia en medida . . . . . . . . . . . . . . . . . .
2.7. Integral de Funciones Simples . . . . . . . . . . . . . . .
2.8. Integral de funciones no negativas . . . . . . . . . . . . .
2.9. Funciones Integrables . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
35
35
36
38
41
42
45
48
48
52
3. Construcci
on de medidas
3.1. Medidas Exteriores . . . . . . . . . .
3.2. Medidas exteriores metricas . . . . .
3.3. Las medidas de Lebesgue-Stieltjes .
3.4. El teorema de Extension de Medidas
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
56
56
60
62
66
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
c
Notas de An
alisis Real - 2007-2009
Pablo L. De Napoli
4. Espacios Lp (E, )
4.1. Funciones equivalentes . . . . . . . . . . . . . . . . . . .
4.2. Norma p ( 1 < p < ) . . . . . . . . . . . . . . . . . . .
4.3. Norma Infinito . . . . . . . . . . . . . . . . . . . . . . .
4.4. Espacios Lp (o Lp (E, )) (1 p ) . . . . . . . . . .
4.5. Exponente Conjugado de p. Desigualdad de Holder . . .
4.6. Desigualdad de Minkowski . . . . . . . . . . . . . . . . .
4.7. Desigualdad integral de Minkowki . . . . . . . . . . . .
4.8. Completitud de Lp (Teorema de Riesz-Fischer) . . . . .
4.9. Inclusiones entre los espacios Lp . . . . . . . . . . . . .
4.10. Clases de funciones densas en Lp . . . . . . . . . . . . .
4.11. El espacio L2 - Espacios de Hilbert . . . . . . . . . . . .
4.12. Teorema de la Perpendicular . . . . . . . . . . . . . . .
4.13. Funcionales Lineales Continuas en un espacio de Hilbert
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
71
71
71
72
74
76
78
80
81
83
84
87
91
93
5. Diferenciacion (en RN )
5.1. El Lema Simple de Vitali . . . . . . . . . . .
5.2. Funci
on Maximal de Hardy - Littlewood . . .
5.3. Teorema de diferenciacion de Lebesgue . . . .
5.4. Cubrimientos de Vitali: Lema de Vitali . . . .
5.5. Derivada de funciones monotonas: . . . . . .
5.6. Funcionnes de variacion acotada (de variacion
5.7. Funciones absolutamente continuas . . . . . .
5.8. Descomposici
on de Lebesgue . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
95
95
98
101
103
106
111
114
117
Medidas complejas y el Teorema de Radon-Nikodym

Medidas complejas . . . . . . . . . . . . . . . . . . . . . . .
Absoluta continuidad. Medidas Singulares . . . . . . . . . .
Teorema de Lebesgue - Radon - Nikodym . . . . . . . . . .
La descomposici
on polar de una medida compleja . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
119
119
125
127
130
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
132
132
134
136
137
139
142
6. Las
6.1.
6.2.
6.3.
6.4.
. . . .
. . . .
. . . .
. . . .
. . . .
finita)
. . . .
. . . .
7. Convoluci
on y Aproximaciones de la Identidad
7.1. Definicion y propiedades elementales . . . . . . .
7.2. Desigualdad de Young . . . . . . . . . . . . . . .
7.3. El soporte y la convolucion . . . . . . . . . . . .
7.4. Convolucion con funciones suaves . . . . . . . . .
7.5. Aproximaciones de la identidad . . . . . . . . . .
7.6. Ejemplos (en N = 1) . . . . . . . . . . . . . . . .
A. Notaciones
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
145
Captulo 1
Teora de la medida en RN
En este captulo, desarrollaremos la teora de la medida de Lebesgue en el
espacio eucldeo N -dimensional1
RN = {x = (x1 , x2 , . . . , xN ) : xi R para i = 1, 2, . . . , N }
Nuestro objetivo es asignarle a cada conjunto E RN (de una cierta clase
que vamos a definir, que llamaremos la clase de los conjuntos medibles), un
n
umero m(A) (su medida de Lebesgue) que generalizara las nociones intuitivas
de longitud (en N = 1),
area (en N = 2) y volumen (N = 3).
Realizaremos esta construccion en varias etapas, extendiendo la nocion de
medida a clases cada vez mas generales de conjuntos, comenzando por los intervalos.
Nota sobre la bibliografa: La presentaci
on que he elegido sigue esencialmente
mis notas del curso del profesor N. Fava, con quien yo curse la materia, por lo que
una referencia recomendada es el libro de N. Fava y F. Z
o [4]. El principal merito
de esta construcci
on, en contraste con el de otras presentaciones m
as abstractas de la
teora, es el de tener un claro significado geometrico, por lo que creo que es m
as f
acil de
comprender para los estudiantes. El cl
asico libro de Wheeden y Zygmund [12] presenta
una construcci
on similar, quiz
as algo m
as directa (aunque omite algunos detalles).
1.1.
Intervalos en la recta:
Definici
on 1.1.1 Los intervalos de la recta real son los conjuntos de los cuatro
tipos siguientes:
[a, b] = {x R : a x b}
(a, b] = {x R : a < x b}
[a, b) = {x R : a x < b}
1 Reservaremos
en lo sucesivo la letra N may

uscula para la dimensi
on del espacio.
c
Notas de An
Pablo L. De Napoli
(a, b) = {x R : a < x < b}

siendo a, b n
umeros reales con a b. En cualquier caso la medida de un intervalo
I se define por: m(I) = b a
Propiedades de los intervalos de la recta

1. El conjunto vaco es un intervalo: = (a, a)
2. La intersecci
on de dos intervalos es un intervalo2 .
3. La diferencia de dos intervalos I1 y I2 se puede escribir como union de dos
intervalos J1 y J2 disjuntos:
I1 I2 = J1 J2 con J1 J2 =
4. La u
nica manera de escribir un intervalo como union de k intervalos disjuntos consiste en elegir k puntos interiores de subdivision (esto es: una
partici
on del intervalo).
5. Consecuencia: (Aditividad de la medida) Si un intervalo se escribe como
uni
on finita de intervalos disjuntos
I = I1 I2 . . . Ik
entonces
m(I) = m(I1 ) + m(I2 ) + . . . + m(Ik )
1.2.
Intervalos en RN
Definici
on 1.2.1 Un intervalo en RN es el producto cartesiano de N intervalos
lineales:
I = I1 I2 . . . IN = {x RN : xj Ij (1 j N )}
donde los Ij son intervalos de R. Si todos los Ij son cerrados, I es un intervalo
cerrado. Si todos los Ij son abiertos, I es un intervalo abierto.
Observaci
on: La representacion de un intervalo como producto cartesiano de
intervalos lineales es u
nica (salvo para el intervalo vaco).
Propiedad 1.2.2 La intersecci
on de dos intervalos de RN es un intervalo de
N
R .
2 Para que esto sea cierto sin excepciones es necesario considerar al conjunto vac
o como
un intervalo.
c
Notas de An
Pablo L. De Napoli
Demostraci
on: Sean I, J intervalos de RN entonces se escriben como producto
cartesiano de N intervalos lineales:
I = I1 I2 . . . IN
J = J1 J2 . . . JN
entonces:
I J = (I1 J1 ) (I2 J2 ) . . . (IN JN )
Como I1 J1 , I2 J2 , . . . , IN JN son intervalos de la recta, I J es un
intervalo en RN .
1.3.
Conjuntos Elementales
Definici
on 1.3.1 Un conjunto elemental es un conjunto que puede representarse como uni
on de un n
umero finito de intervalos disjuntos:
A=
n
[
Ii
i=1
donde los Ii son intervalos disjuntos de RN .

Propiedad 1.3.2 Si A y B son conjuntos elementales, tambien lo es A B.
Demostraci
on: Sean A, B conjuntos elementales
A=
n
[
Ii
i=1
donde los Ik son intervalos disjuntos de RN

B=
m
[
Jj
j=1
donde los Ji son intervalos disjuntos de RN . Entonces:

AB =
n [
m
[
(Ii Jj )
i=1 j=1
y los conjuntos Ii Jj son intervalos disjuntos AB es un conjunto elemental.

Corolario 1.3.3 La intersecci
on de cualquier familia finita de conjuntos elementales es un conjunto elemental.
Propiedad 1.3.4 Si A y B son conjuntos elementales disjuntos entonces AB
es elemental. (Es una consecuencia obvia de la definici
on.)
c
Notas de An
Pablo L. De Napoli
Propiedad 1.3.5 Si A es un conjunto elemental de RN y B es un conjunto

elemental de RM entonces A B es un conjunto elemental de RN +M .
Demostraci
on: Sean:
A=
n
[
Ii
i=1
donde los Ik son intervalos disjuntos de RN

B=
m
[
Jj
j=1
donde los Ji son intervalos disjuntos de RM . Entonces:

AB =
n [
m
[
(Ii Jj )
i=1 j=1
Adem
as la uni
on es disjunta, y Ii Jj es un intervalo de RN +M A B es un
conjunto elemental de RN +M .

Propiedad 1.3.6 Si I y J son intervalos de RN , entonces I J es un conjunto
elemental de RN .
Demostraci
on: Hacemos induccion en la dimension N . Para N = 1 (en la
recta) vale. Si N > 1 y suponemos que vale en RN 1 , sean:
I = I1 I2 . . . IN
J = J1 J2 . . . JN
donde Ii , Ji son intervalos de R. Podemos escribir esto como
I = I1 I 0 , J = J1 J 0
donde
I 0 = I2 I3 . . . IN
J 0 = J2 J3 . . . JN
son intervalos en RN 1 . Tenemos que:
I J = [(I1 J1 ) I 0 ] [(I1 J1 ) (I 0 J 0 )]
donde
[(I1 J1 ) I 0 ] [(I1 J1 ) (I 0 J 0 )] =
Por la hip
otesis inductiva, I 0 J 0 es un conjunto elemental de RN 1 , y
I1 J1 es un intervalo de R, entonces (I1 J1 ) (I 0 J 0 ) es elemental (por la
propiedad 1.3.5). Por otra parte I1 J1 es union de dos intervalos de la recta.
Por la propiead 1.3.5, (I1 J1 ) I 0 es elemental I J es elemental (por la
propiedad 1.3.4).
c
Notas de An
Pablo L. De Napoli
Propiedad 1.3.7 Si A y B son conjuntos elementales, entonces A B es elemental.

Demostraci
on: Sean
A=
n
[
Ii
i=1
donde los Ii son intervalos disjuntos de RN , y

B=
m
[
Jj
j=1
donde los Jj son intervalos disjuntos de RN . Entonces:

AB =
n
[
(Ii B)
i=1
siendo la uni
on disjunta, y por la ley de De Morgan, tenemos que:
Ii B =
m
\
(Ii Jj )
j=1
Cada Ii Jj es elemental (por la propiedad 1.3.7), por lo tanto Ii B es

elemental para cada i (por la propiead 1.3.2), y en consecuencia, A B es
as mismo elemental (por la propiedad 1.3.4).

Propiedad 1.3.8 Si A y B son conjuntos elementales, entonces A B es elemental.
Demostraci
on: A B = A (B A) siendo la union disjunta. Por la propiedad
1.3.7 A B es elemental. En consecuencia, A B es elemental (por la propiedad
1.3.4).

Resumen: Si A y B son conjuntos elementales entonces tambien lo son
A B, A B y A B
Observaci
on 1.3.9 La diferencia simetrica de conjuntos elementales es elemental:
AB = (A B) (B A)
Si consideramos la clase E de los conjuntos elementales con como suma y
como producto (E, , ) es un anillo (en el sentido del
algebra). Se dice que los
conjuntos elementales forman un anillo de conjuntos. El conjunto vaco es el
cero de este anillo. El inverso aditivo de A es A ya que AA = .
Observaci
on 1.3.10 Un conjunto elemental es acotado (es uni
on finita de conjuntos acotados). Por lo tanto el complemento de un conjunto elemental no
puede ser elemental (sino el espacio RN , que es uni
on del conjunto y su complemento, sera acotado).
c
Notas de An
Pablo L. De Napoli
1.4.
Medida de intervalos en RN
Definici
on 1.4.1 Si I = I1 I2 . . . IN es un intervalo en RN (siendo los
Ii intervalos en R) definimos la medida (o volumen) de I por:
m(I) = m(I1 ) m(I2 ) m(IN )
Observamos que m() = 0.
Teorema 1.4.2 (Aditividad de la medida de intervalos) Si un intervalo
I se escribe como uni
on finita de intervalos disjuntos Ii , la medida de I es la
suma de las medidas de los Ii :
I=
n
[
Ii (Ii disjuntos) m(I) =
i=1
n
X
m(Ii )
i=1
Demostraci
on: Hacemos induccion en n (el n
umero de partes en que se parte
el intervalo). Supongamos primero n = 2
Cuando un intervalo de RN se descompone como union de dos intervalos disjuntos es porque se parte uno de los lados.
Supongamos que I = J1 J2 . . . JN y que: I1 = H L (siendo H,L
intervalos disjuntos) de modo que I = I1 I2 donde:
I1 = H J2 . . . Jn
y
I2 = L J2 . . . Jn
Tenemos que:
m(I) = m(J1 ) m(J2 ) m(Jn ) = (m(H) + m(L)) m(J2 ) m(J3 ) m(JN ) =
= m(H)m(J2 )m(J3 ) m(JN )+m(L)m(J2 ) m(J3 ) m(JN ) = m(I1 )+m(I2 )
Esto prueba el teorema en este caso.
Observemos que si I y J son intervalos disjuntos de RN , al proyectar sobre
alguno de los ejes tenemos que obtener intervalos disjuntos: Si
I = I1 I2 . . . IN
J = J1 J2 . . . JN
entonces: I J = (I1 J1 ) (I2 J2 ) . . . (IN JN ). Si para todo i fuera
Ii Ji 6= , entonces I J 6= . Supongamos por ejemplo que Ik Jk = , entonces
existe un hiperplano de ecuacion xk = c que deja a I y J en semiespacios
complementarios:
xk c, xk > c
xk < c, xk c
c
Notas de An
Pablo L. De Napoli
o sea existen semiespacios complementarios S 0 y S 00 tales que Ik S 0 y Jk S 00 .

Si H RN es un intervalo, notaremos
H 0 = H S0,
H 00 = H S 00
entonces H 0 y H 00 son intervalos disjuntos, y se tine que H 0 S y H 00 S 00 .[B

Utilizando estas ideas, vamos a demostrar el teorema: Supongamos n > 2, y que
el teorema vale para descomposiciones en n 1 intervalos. Consideramos ahora,
una descomposici
on en n intervalos disjuntos:
I=
n
[
Ii (Ii disjuntos)
i=1
Podemos claramente suponer que Ii 6= para todo i, sin perdida de generalidad.

Como I1 I2 = existe un hiperplano de ecuacion xj = c que deja a I1 e I2 en
semiespacios complementarios S 0 y S 00 :
Tenemos que:
n
n
[
[
I 0 = I S0 =
(Ii S 0 ) =
Ii0
i=1
i=1
0
donde la union es disjunta, y como I1 S , deducimos que I10 = I1 e I200 =

pues I2 S 00 .
An
alogamente,
n
n
[
[
I 00 = I S 00 =
(Ii S 00 ) =
Ii00
i=1
i=1
donde la uni
on es disjunta, e I 0 = I2 , I 00 = .
Tenemos pues:
I 0 = I10 I30 I40 . . . In0
I 00 = I200 I300 I400 In00
que son dos descomposiciones en n 1 intervalos disjuntos, y por lo tanto
por la hipotesis inductiva:
m(I 0 ) = m(I1 ) + m(I30 ) + m(I40 ) + . . . + m(In0 )
m(I 00 ) = m(I2 ) + m(I300 ) + m(I400 ) + . . . + m(In00 )
Tenemos que I = I 0 I 00 con I 0 I 00 = , luego m(I) = m(I 0 ) + m(I 00 ), en
consecuencia:
0
m(I) = m(I1 )+m(I30 )+m(I40 )+. . .+m(IN
)+m(I2 )+m(I300 )+m(I400 )+. . .+m(In00 )
0
= m(I1 ) + m(I2 ) + (m(I30 ) + m(I300 )) + (m(I40 ) + m(I400 )) + . . . + (m(IN
) + m(In00 ))
c
Notas de An
Pablo L. De Napoli
10
= m(I1 ) + m(I2 ) + . . . + m(In )

como queramos demostrar.
La aditividad es la propiedad clave de la medida que intentaremos mantener al

extender la medida a clases mas generales de conjuntos.
1.5.
Medida de Conjuntos Elementales
Sn
Definici
on 1.5.1 Si A = i=1 Ii es un conjunto elemental (donde los Ii son
intervalos disjuntos de RN ) definimos su medida elemental m(A) (tambien notada a veces |A|) por:
n
X
m(A) =
m(Ii )
i=1
Hay que comprobar que la definicion es correcta: Supongamos que

A=
m
[
Jj
j=1
es otra descomposci
on de A como union de intervalos disjuntos. Entonces, en
virtud de la propiedad distributiva,
m
m
[
[
Ii = Ii
Jj =
(Ii Jj )
j=1
i=1
Esta es una uni

on disjunta de intervalos. Por lo tanto, por la aditividad de la
medida de intervalos,
n
X
m(Ii ) =
m
n X
X
m(Ii Jj ).
i=1 j=1
i=1
Analogamente,
Jj =
n
[
(Ii Jj )
i=1
Por lo tanto:
m
X
m(Ji ) =
i=1
n
X
i=1
m(Ii ) =
m X
n
X
m(Ii Jj )
i=1 k=1
m
X
m(Jj )
j=1
En consecuencia, las dos descomposiciones dan el mismo valor para m(A).

Corolario 1.5.2
, . . . , An son conjuntos elementales disSn (aditividad) Si A1 , A2P
n
juntos y A = k=1 Ak entonces: m(A) = k=1 m(Ak ).
c
Notas de An
Pablo L. De Napoli
11
Demostraci
on: Cada Ak sera union de nk intervalos disjuntos Iki :
Ak =
nk
[
Iki m(Ak ) =
i=1
Tenemos:
A=
nk
n [
[
nk
X
m(Iki )
i=1
Iki (union disjunta)
k=1 i=1
luego
m(A) =
nk
n X
X
k=1 i=1
m(Iki ) =
n
X
m(Ak )
k=1

Corolario 1.5.3 Si A y B son conjuntos elementales, y A B entonces:
m(B A) = m(B) m(A)
y
m(A) m(B) (La medida elemental es creciente)
Demostraci
on: Tenemos que:
B = A (B A) (union disjunta)
Luego,
m(B) = m(A) + m(B A) m(B A) = m(B) m(A)
Como
m(B A) 0 m(A) m(B)

Corolario 1.5.4 Si A y B son conjuntos elementales
m(A B) + m(A B) = m(A) + m(B)
Demostraci
on: Tenemos que:
A = (A B) (A B)(union disjunta)
Luego,
m(A) = m(A B) + m(A B)
An
alogamente,
m(B) = m(B A) + m(A B)
Sumando estas relaciones:
m(A) + m(B) = m(A B) + m(B A) + 2m(A B)
(1.1)
c
Notas de An
Pablo L. De Napoli
12
Pero
A B = (A B) (B A) (A B) (union disjunta)
luego
m(A B) = m(A B) + m(B A) + m(A B)
(1.2)
De (1.1) y (1.2) deducimos que:

m(A) + m(B) = m(A B) + m(A B)

Corolario 1.5.5 (subaditividad)
m(A B) m(A) + m(B)
(ya que m(A B) 0 ). Por induccion en k deducimos que:
m(A1 A2 . . . Ak ) m(A1 ) + m(A2 ) + . . . + m(Ak )
Observaci
on 1.5.6 Sea I RN un intervalo. Entonces, dado > 0 existen un
intervalo cerrado F I tal que m(F ) > m(I) , y un intervalo abierto G I
tal que m(G) < m(J) + .
Lema 1.5.7 Si A es un conjunto elemental y > 0, entonces existen un conjunto elemental cerrado F A y un conjunto elemental abierto G A tales
que:
m(G) < m(A) +
y
m(F ) > m(A)
Sn
Demostraci
on: Sea A = i=1 Ii (donde los Ii son intervalos disjuntos de RN .
Dado > 0, para cada i con 1 i n, existen un intervalo cerrado Fi Ii y
un intervalo abierto Gi Ii tales que:
m(Fi ) m(Ii )
m(Gi ) m(Ii ) +
Definimos entonces, los conjuntos F y G por:

F =
n
[
i=1
Fi ,
G=
n
[
Gi
i=1
Desde luego, F A G. F es cerrado por ser union finita de cerrados y G es

abierto por ser uni
on de abiertos.
c
Notas de An
Pablo L. De Napoli
13
Por otra parte, los Fi son disjuntos por serlo los Ii (los Gi no tienen porque serlo), en consecuencia F es elemental, y
m(F ) =
n
X
m(Fi )
i=1
n
X
i=1
X
=
m(Ii ) = m(A)
m(Ii )
n
i=1
Notemos tambien que G es elemental por ser union finita de elementales, y que:
m(G)
n
X
m(Gi )
i=1
n
X
m(Ii ) +
i=1
X
=
m(Ii ) + = m(A) +
n
i=1
Esto prueba el lema.
Teorema 1.5.8 (-subaditividad de la medida elemental) Sea A1 , A2 , . . . , Ak , . . .

una sucesi
on infinita de conjuntos elementales y sea A un conjunto elemental
tal que
[
A
Ak
k=1
Entonces:
m(A)
m(Ak )
k=1
Demostraci
on: Si la serie es divergente no hay nada que probar. Suponemos
pues:
X
m(Ak ) <
k=1
Dado > 0, existe F A elemental cerrado tal que:

m(F ) > m(A)
y para cada k N, existe un Gk Ak elemental abierto tal que:
m(Gk ) m(Ak ) +
Entonces,
F A
Ak
k=1
2k
Gk
k=1
F es un conjunto cerrado y acotado (esta incluido en A, que es elemental) y por

lo tanto compacto, y los Gk forman un cubrimiento por abiertos, luego existe
un subcubrimiento finito, es decir: existe un n > 0 tal que:
F
n
[
k=1
Gk
c
Notas de An
Pablo L. De Napoli
14
En consecuencia,
m(F ) m
n
[
Gk
k=1
n
X
m(Gk )
k=1

X
m(Ak ) +
X
=
m(Ak ) +
2k
k=1
k=1
Resulta entonces que:

m(A) m(F )
m(Ak ) +
k=1
o sea que:
m(A)
m(Ak ) +
k=1
Como > 0 es arbitrario, obtenemos el teorema.
Corolario 1.5.9 (-aditividad de la medida elemental) Si un conjunto elemental A se descompone como la uni
on numerable de conjuntos elementales
disjuntos Ak :
[
Ak
A=
k=1
entonces:
m(A) =
m(Ak )
k=1
Demostraci
on: Por el teorema anterior, como
Ak m(A)
k=1
m(Ak )
(1.3)
k=1
Por otra parte tenemos que

n
[
Ak A m
k=1
n
[
!
Ak
m(A)
k=1
y como la uni
on es disjunta:
!
n
n
n
[
X
X
m
Ak =
m(Ak )
m(Ak ) m(A)
k=1
k=1
k=1
Cuando n tiende a infinito resulta:
m(Ak ) m(A)
(1.4)
k=1
(Notemos que la serie converge pues sus sumas parciales forman una sucesion
creciente y acotada). De (1.3) y (1.4) se obtiene el teorema.
c
Notas de An
Pablo L. De Napoli
1.6.
15
Conjuntos -elementales
Definici
on 1.6.1 Un conjunto -elemental es el que puede representarse como una uni
on numerable de conjuntos elementales disjuntos:
U=
Ai
i=1
S
Observaci
on 1.6.2 Si U = i=1 Ai donde los Ai son elementales (no necesariamente disjuntos) U es -elemental. En efecto definamos una nueva
sucesi
on Bi poniendo:
B1 = A1 , B2 = A2 A1 , B3 = A3 A1 A2 , y en general Bn = An
n1
[
Ak
k=1
entonces:
U=
Ai =
i=1
Bk
k=1
donde los Bk son elementales pero ahora la uni

on es disjunta. En consecuencia,
U es -elemental.
S
Proposici
on 1.6.3 Si U = k=1 Uk donde cada Uk es -elemental entonces U
es -elemental.
(La uni
on numerable de numerables, es numerable)
Proposici
on 1.6.4 Si U y V son -elementales, entonces U V es -elemental.
Demostraci
on: Sean
U=
Ai ,
V =
i=1
Bj
j=1
donde los Ai , Bj son elementales. Entonces,

U V =
(Ai Bj )
i=1 j=1
Esta es una uni

on numerable de conjuntos elementales (por la propiedad 1.3.2),
en consecuencia, U V es -elemental.

Observaci
on: En cambio la interseccion numerable de conjuntos elementales
puede no ser -elemental. Contraejemplo: el ternario de Cantor.
c
Notas de An
Pablo L. De Napoli
1.7.
16
Medida de conjuntos -elementales
S
Definici
on 1.7.1 Si U = i=1 Ai (Ai elementales disjuntos) definimos su
medida m(U ) (a veces notada tambien |U |) por:
m(U ) =
m(Ai )
i=1
Esta serie no siempre converge (La medida de un -elemental puede valer +).
Hay que probar que esta definicion es correcta: Si
U=
Bj
j=1
es otra descomposici
on de U como union numerable de elementales disjuntos
tenemos como antes:
Ai =
Bj =
(Ai Bj )
j=1
i=1
(Ai Bj )
i=1
m(Ai ) =
m(Ai Bj )
i=1 j=1
m(Bj ) =
j=1
m(Ai Bj )
j=1 i=1
Dado que una serie doble de terminos no negativos puede sumarse en cualquier
orden sin que cambie el valor de sus suma, siendo m(Ai Bj ) 0; resulta que:
m(Ai ) =
i=1
m(Bj )
j=1
Por lo que ambas descomposiciones dan el mismo valor para m(U ).

Teorema 1.7.2 Cualquier conjunto abierto en RN es -elemental.
Demostraci
on: Sea G un abierto. Para cada punto x de G existe un cubo abierto Qx contenido en G que lo contiene ( hay una bola centrada en x contenida en
G, y dicha bola contiene un cubo). Los cubos Qx forman un cubrimiento abierto
de G, y como RN es un espacio separable podemos extraerle un subcubrimento
numerable.

Teorema 1.7.3 (-subaditividad para -elementales) Si
U
Uk
k=1
siendo U ,Uk conjuntos -elementales, entonces

m(U )
m(Uk )
k=1
En particular, si U V entonces, m(U ) m(V ).
c
Notas de An
Pablo L. De Napoli
17
Demostraci
on: Podemos suponer, sin perdida de generalidad, que
m(Uk ) < +
k=1
Sean
U=
Ak
(Ak elementales disjuntos)
k=1
Uk =
Bkj
(Para cada k : Bkj elementales disjuntos)
j=1
entonces
n
[
Ak
k=1
Ak
Bkj
k=1 j=1
k=1
Sn
Notemos que k=1 Ak es un conjunto elemental que esta incluido en la union
de la sucesi
on infinita de elementales Bkj . Por el teorema 1.5.8, deducimos que:
!
n
X
[
X
X
m
Ak
m(Bkj ) =
m(Uk )
k=1 j=1
k=1
O sea
n
X
m(Ak )
k=1
k=1
m(Uk )
k=1
Haciendo que n resulta que:
m(Ak )
k=1
m(Uk )
k=1
(La serie del primer miembro converge por formar sus sumas parciales una
sucesi
on creciente y acotada). Pero, por definicion, esto es:
m(U )
m(Uk )
k=1
1.8.
Medida exterior de Lebesgue
Definici
on 1.8.1 Dado un conjunto E RN , definimos su medida exterior
(de Lebesgue) notada me (E) como el nfimo de las medidas de los -elementales
que incluyen a E:
me (E) = nf{m(U ) : U E, U elemental }
c
Notas de An
Pablo L. De Napoli
18
Observaci
on: Cualquier conjunto E RN tiene una medida exterior.
Otra Observaci
on: Si me (E) es finita y > 0, existe un U -elemental tal
que:
m(U ) < me (E) +
(Por la definici
on de nfimo)
Proposici
on 1.8.2 (Propiedades de la medida Exterior) La medida exterior de Lebesgue tiene las siguientes propiedades:
i) 0 me (E) +.
ii) me () = 0.
iii) Si E1 E2 , entonces me (E1 ) me (E2 ).
iv) La medida exterior es -subaditiva:
!
[
X
me
Ek
me (Ek )
k=1
k=1
v) Si U es -elemental m(U ) = me (U )
(Para un conjunto -elemental la medida y la medida exterior coinciden)
Demostraci
on:
i) Es evidente por definicion, ii) tambien ya que el conjunto vaco es elemental.
Para demostrar iii) observemos que, si U es un -elemental y U E2 ,
entonces U E1 me (E1 ) m(U ). Pero esto vale para cualquier -elemental
U que incluya a E2 , luego:
me (E1 ) nf{m(U ) : U E2 , U elemental } = me (E2 )
Esto prueba iii).
Demostremos ahora la afirmacion iv): Sea
E=
Ek
k=1
Si alg
un Ek tuviera medida exterior + no hay nada que probar. Supondremos
pues que me (Ek ) < + k. Entonces dado > 0 existira para cada k un
-elemental Uk Ek tal que:
m(Uk ) < me (Ek ) +
2k
c
Notas de An
Pablo L. De Napoli
Definimos:
U=
19
Uk
k=1
Entonces U es -elemental y U E. Por otra parte, me (E) m(U ) (por

definici
on), entonces:
me (E)
m(Uk )
k=1

X
k=1
X
me (Ek ) +
me (Ek ) + k =
2
y como es arbitrario:
me (E)
k=1
me (Ek )
k=1
Finalmente, demostremos la afirmacion v): Como U es un conjunto -elemental

que incluye a U ,
me (U ) m(U )
(1.5)
Por otra parte, si V es un -elemental con V U , entonces m(U ) m(V ).
Pero esto vale para cualquier -elemental que incluya a U luego:
m(U ) nf{m(V ) : V U, V elemental } = me (U )
Como probamos las dos desigualdades (1.5) y (1.6), vale la igualdad.
(1.6)
Observaci
on 1.8.3 La medida exterior no es aditiva en general: puede demostrarse que existen S y T con S T = tales que: me (S T ) < me (S) + me (T )
Un resultado positivo es el siguiente:
Ejercicio 1.8.4 Si S y T son tales que d(S, T ) > 0, entonces: me (S T ) =
me (S) + me (T ) (ejercicio 2 de la pr
actica 1)
1.9.
Conjuntos Medibles (Lebesgue)
Definici
on 1.9.1 Diremos que un conjunto E RN es medible (en el sentido
de Lebesgue) si para cada > 0 existe un conjunto -elemental U tal que U E
y me (U E) < .
Notacion:
M = {E RN : E es medible Lebesgue }
Propiedad 1.9.2 Todo conjunto -elemental es medible. En particular todo
conjunto abierto es medible.
Demostraci
on: Si E es -elemental, tomamos U = E. Entonces me (U E) =
me () = 0 <
c
Notas de An
Pablo L. De Napoli
20
Definici
on 1.9.3 Diremos que un conjunto E RN tiene medida cero o medida nula si me (E) = 0
Observaci
on: Todo conjunto numerable tiene medida nula. El ternario de
Cantor es un ejemplo de conjunto de medida nula que tiene la potencia del
continuo.
Observaci
on 1.9.4 Si E RN tiene medida nula, entonces es medible.
Demostraci
on: Como me (E) = 0, dado > 0 existe un U -elemental tal que
U E, y m(U ) < . Como U E U me (U E) me (U ) < Como es
arbitrario, concluimos que E es medible.

Propiedad 1.9.5 Si Ek M(k = 1, 2, . . . es una sucesi
on finita o infinita de
conjuntos medibles entonces
[
Ek M
k=1
(La uni
on numerable de conjuntos medibles es medible).
Demostraci
on: Sea
E=
Ek
k=1
Dado > 0, para cada k podemos encontrar un -elemental Uk Ek tal

que me (Uk Ek ) < 2k . Consideremos entonces, el conjunto:
U=
Uk
k=1
Es un conjunto -elemental y U E. Ademas:

U E
(Uk Ek )
k=1
(Si x U y x 6 E est
a en alguno de los Uk y en ninguno de los Ek ). En
consecuencia:
!
[
X
X
me (U E) me
=
(Uk Ek )
me (Uk Ek )
2k
k=1
k=1
k=1
(Utilizamos que la medida exterior es creciente y -subaditiva)

Como es arbitrario, esto prueba que E es medible.
Propiedad 1.9.6 Si E1 y E2 son conjuntos medibles entonces E1 E2 es medible.
c
Notas de An
Pablo L. De Napoli
21
Demostraci
on: Sean E = E1 E2 y > 0. Como E1 es medible, existe un
conjunto -elemental U1 tal que U1 E1 y me (U1 E1 ) < 2 .
Del mismo modo, como E2 es medible existe otro conjunto conjunto elemental U2 tal que U2 E2 y me (U2 E2 ) < 2 .
Consideremos el conjunto: U = U1 U2 . Entonces, U E y U E
(U1 E1 ) (U2 E2 ) (Pues si x U E entonces esta en U1 y en U2 pero o no
est
a en E1 o no est
a en U2 ). En consecuencia,
me (U E) me (U1 E1 ) + me (U2 E2 ) =

+ =
2 2
Como es arbitrario, esto prueba que E es medible.
Definici
on 1.9.7 Si E M (es medible) definimos su medida de Lebesgue
m(E) por:
m(E) = me (E)
(Es decir que Para un conjunto medible, su medida es por definici
on, su medida
exterior.)
Definici
on 1.9.8 Diremos que E RN es finitamente medible si es medible
y m(E) < +.
El siguiente lema da una caracterizacion u
til de los conjuntos finitamente medibles:
Lema 1.9.9 E es finitamente medible si y s
olo si, para todo > 0 existe un
conjunto elemental A tal que me (AE) <
Demostraci
on: ) : Supongamos E finitamente medible. Entonces, dado >
0, existe U -elemental tal que U E y me (U E) < . Como U es -elemental
se puede escribir como una union disjunta de intervalos
Ik : U =
Ii
i=1
Tenemos que:
U E (U E) m(U ) = me (U ) me (E) + me (U E)
Tanto me (E) como me (U E) son finitas, entonces m(U ) < +, y
m(U ) =
m(Ii )
i=1
Como m(U ) < + esta serie converge, por lo tanto es posible elegir un i0 tal
que:
m(Ii ) <
2
i=i +1
0
c
Notas de An
Pablo L. De Napoli
Hecho esto llamemos:

A=
i0
[
22
Ii
i=1
y
V =
Ii
i=i0 +1
entonces A E U E, pues A U , entonces

me (A E) me (U E) <
y E A U A = V , V es -elemental, y por otra parte,
m(Ii ) <
me (E A) m(V ) <
m(V ) =
i=i0 +1
luego:
Por u
ltimo:
AE = (A E) (E A)
En consecuencia,
me (AE) me (A E) + me (E A)

+ =
2 2
) Supongamos que para todo > 0 existe un conjunto elemental A tal que:
me (AE) <
Dado > 0 sea A tal que me (AE) < . Entonces, por la definicion de la medida
exterior, existe V AE, -elemental tal que m(V ) < me (AE) + < 2
Sea U = A V , entonces A es elemental y V es -elemental, en consecuencia,
U es -elemental
U E (U A) (A E)
U A V y A E AE V , luego U E V . En consecuencia,
me (U E) me (V ) < 2
Como es arbitrario, esto prueba que E es medible. Ademas como E U ,
me (E) m(U ) m(A) + m(A) m(A) + 2 < +
ya que la medida de un conjunto elemental es siempre finita. Esto prueba el
lema.
c
Notas de An
Pablo L. De Napoli
23
El lema anterior admite una interpretacion interesante. Consideramos la clase

F = {E RN : me (E) < +}
Si M es la clase de los medibles y Mf la de los finitamente medibles:
Mf = M F
y si E es la clase de los elementales E F.
Vamos a convertir a F en un espacio seudo-metrico. Para ello, si S, T F,
definimos la distancia de S a T por:
d(S, T ) = me (ST )
Notamos que se verifican las propiedades de la distancia:
d(S, T ) = d(T, S)
d(S, T ) d(S, Z) + d(Z, T )
Demostraci
on:
ST (SZ) (ZT )
En consecuencia,
me (ST ) me (SZ) + me (ZT )

d(S, S) = 0
pero dos conjuntos pueden estar a distancia cero sin ser iguales Con este concepto de distancia el lema se puede enunciar de otra manera:
Lema 1.9.10 E es finitamente medible si y s
olo si, para todo > 0 existe A
elemental tal que d(A, E) < . En otras palabras: Mf = E (Los finitamente
medibles son la clausura de los elementales)
Teorema 1.9.11 Si E y F son medibles cualesquiera, entonces E F es medible.
Demostraci
on: 1) Supongamos primero que E y F son finitamente medibles
entonces por el lema existe una sucesion Ak de conjuntos elementales tal que
Ak E cuando k (Ak tiende a E en la pseudo-distancia d) y existe una
sucesi
on Bk de conjuntos elementales tal que Bk F cuando k ,
(Ak Bk )(E F ) (Ak E) (Bk F )
me ((Ak Bk )(E F )) me (Ak E) + me (Bk F )
o sea:
d(Ak Bk , E F ) d(Ak , E) + d(Bk , F )
c
Notas de An
Pablo L. De Napoli
24
Por lo tanto Ak Bk E F . Como Ak Bk es elemental, por el lema E F

es finitamente medible.
Observaci
on: Incidentalmente hemos probado que la diferencia de conjuntos considerada como una funcion de F F en F es una funcion continua.
En el caso general en que E y F son medibles que pueden tener medida +
procedemos as: sea Qk = {x RN : |xi | k(i = 1, 2, . . . , n)} el cubo cerrado
centrado en el origen de lado 2k entonces:
RN =
Qk
k=1
En consecuencia,
EF =
[(E F ) Qk ] =
k=1
[(E Qk ) (F Qk )]
k=1
E es medible, Qk es finitamente medible, por lo tanto E Qk es medible y como:

m(E Qk ) m(Qk ) es finitamente medible.
Analogamente F Qk es finitamente medible.
Por lo antes demostrado (E Qk ) (F Qk ) es finitamente medible, por lo
tanto E F es uni
on numerable de medibles, y en consecuencia, es medible.
Esto prueba el teorema.

Corolario 1.9.12 El complemento de un conjunto medible es medible.
Dem: E c = RN E (RN es medible)
Corolario 1.9.13 La intersecci
on numerable de conjuntos medibles es medible.
T
Demostraci
on: Sean Ek (k = 1, 2, . . .) conjuntos medibles y sea E = k=1 Ek
entonces:
[
Ec =
Ekc
k=1
Ekc
por la ley de De Morgan. Cada

es medible, en consecuencia
medible, y por lo tanto E es medible.
k=1
Ekc es
Resumen: La clase M de los conjuntos medibles (Lebesgue) forma una

-
algebra, es decir es cerrada bajo uniones e intersecciones numerables y complemento.
c
Notas de An
Pablo L. De Napoli
1.10.
25
Propiedades de la medida de Conjuntos

Medibles
Recordamos que para un conjunto medible su medida no es otra cosa que su

medida exterior. Recordamos tambien que en el espacio F de los conjuntos de
medida exterior finita introdujimos la distancia d(A, B) = me (AB)
Proposici
on 1.10.1 Supongamos que Ak , A F y que Ak A en la seudodistancia d, entonces: me (Ak ) me (A) (en otras palabras la medida exterior
como funci
on de F en R es una funci
on continua)
Proposici
on 1.10.2 Si E1 y E2 son conjuntos medibles entonces:
m(E1 E2 ) + m(E1 E2 ) = m(E1 ) + m(E2 )
Demostraci
on: Si fuera m(E1 ) = + o m(E2 ) = + entonces m(E1 E2 ) =
+. Podemos pues suponer que E1 y E2 son finitamente medibles. En tal
caso existen sucesiones Ak , Bk de conjuntos elementales tales que Ak E1 y
Bk E2 . de modo que m(Ak ) m(A) y m(Bk ) m(B). Entonces, tenemos
que:
(Ak Bk )(E1 E2 ) (Ak E1 ) (Bk E2 )
En consecuencia,
me (Ak Bk )(E1 E2 )) me (Ak E1 ) + me (Bk E2 )
y por lo tanto
d(Ak Bk , E1 E2 ) d(Ak , E1 ) + d(Bk , E2 )
Luego Ak Bk E1 E2 , en consecuencia m(Ak Bk ) m(E1 E2 )
(Ak Bk es elemental , E1 E2 es medible)
Analogamente tenemos que:
(Ak Bk )(E1 E2 ) (Ak E1 ) (Bk E2 )
entonces
d(Ak Bk , E1 E2 ) d(Ak E1 ) + d(Bk E2 )
luego Ak Bk E1 E2 , en consecuencia: m(Ak Bk ) m(E1 E2 ) Como
ya se prob
o anteriormente, tenemos que
m(Ak Bk ) + m(Ak Bk ) = m(Ak ) + m(Bk )
y al hacer que k , se obtiene el teorema.
Observaci
on: Incidentalmente se ha probado que la union y la interseccion de
conjuntos (como funciones de F F en F son funciones continuas.
Caso particular: Si E1 E2 = , entonces
m(E1 E2 ) = m(E1 ) + m(E2 )
c
Notas de An
Pablo L. De Napoli
26
Corolario 1.10.3 (Por inducci

on) Si E1 , E2 , . . . , En son conjuntos medibles
disjuntos entonces si
E=
n
[
Ek m(E) =
k=1
n
X
m(Ek )
k=1
Proposici
on 1.10.4 (-aditividad de la medida de Lebesgue) Sea (Ek ) una
familia numerable de conjuntos medibles disjuntos y
E=
Ek m(E) =
k=1
m(Ek )
k=1
Este es el resultado fundamental de la teora de Lebesgue.

Demostraci
on: Tenemos que
m(E)
m(Ek )
k=1
por la -subaditividad de la medida exterior. Como, por otra parte:

!
n
n
[
[
Ek E m
Ek m(E)
k=1
k=1
Por lo tanto,
n
X
m(Ek ) m(E)
k=1
Al hacer que n , se obtiene que:
m(Ek ) m(E)
k=1
que es la otra desigualdad.
Ejercicio: Probar que la proposicion 1.10.4 contin

ua siendo ciera si los conjuntos (Ek )kN son casi disjuntos en el sentido de que m(Ei Ej ) = 0 si
i 6= j.
Otro ejercicio: Probar que si E1 RN y E2 RM son medibles, entonces
E1 E2 es medible en RN +M , y se tiene que:
m(E1 E2 ) = m(E1 ) m(E2 )
(donde hacemos el convenio de que 0 (+) = (+) 0 = 0. Porque es
necesario este convenio? )
c
Notas de An
Pablo L. De Napoli
1.11.
27
Caracterizaciones de los conjuntos medibles
Definici
on 1.11.1 Diremos que A RTN es un conjunto de clase G si es
intersecci
on numerable de abiertos: A = k=1 Gk donde los Gk son abiertos.
Definici
on 1.11.2 Diremos que BS RN es un conjunto de clase F si es
uni
on numerable de cerrados: B = k=1 Fk donde los Fk son cerrados.
Observaci
on 1.11.3 El complemento de un F es un G y recprocamente.
Ejercicio: (de C
alculo Avanzado)
1. Probar que todo cerrado es de clase G .
2. Probar que Q no es un G .
Observaci
on 1.11.4 Como todo abierto es medible todo cerrado es medible
(ya que la clase de los medibles es cerrada por complemento), en consecuencia
todo conjunto de clase F o de clase G es medible (ya que la clase de los
medibles es cerrada por uniones e intersecciones numerables)
Teorema 1.11.5 Para E RN son equivalentes las siguientes afirmaciones:
a) E es medible
b) Para todo > 0 existe un abierto G tal que E G y me (G E) <
c) Existen G, N RN tales que G es G , N tiene medida cero y E = G N
d) Existen F, N1 RN tales que F es F , N1 tiene medida cero y E = F N1
Demostraci
on:
a) b) : Dado > 0, existe U -elemental tal que U E y me (U E) < .
Como U es -elemental ser
a
[
U=
Ii
i=1
donde los Ik son intervalos disjuntos. Para cada intervalo Ii podemos tomar un
intervalo abierto Ji tal que: Ii Ji y m(Ji ) m(Ii ) + 2i .
Definimos entonces el conjunto:
G=
Ji
i=1
Como los Ji son abiertos, G es abierto; y se tiene que G U E. Ademas,

G E = (G U ) (U E)
c
Notas de An
Pablo L. De Napoli
GU =
!
Ji
i=1
!
Ii
i=1
28
(Ji Ii )
i=1
Por lo tanto,
m(G U )
m(Ji Ii ) =
i=1
(m(Ji ) m(Ii ))
k=1
=
2k
k=1
En consecuencia,
m(G E) m(G U ) + m(U E) + = 2
Como es arbitario, esto prueba a) b).
b) c): En b) eligimos = 1/k resulta que existe (para cada k N) un
abierto Gk tal que Gk E y me (Gk E) < 1/k. Definimos entonces:
G=
Gk
k=1
Resulta entonces que G es de clase G y G E.

Sea N = G E. Como G Gk G E Gk E, luego:
me (N ) = me (G E) me (Gk E) 1/k
Como k N es arbitrario debe ser me (N ) = 0. Claramente E = G N
c) a): Si G es G y N de medida nula son medibles y si E = G N E
es medible por ser diferencia de medibles.
a) d): Si E es medible E c = RN E es medible. Como ya probamos que
a) c) deducimos que existen G de clase G y N de medida nula tales que
E c = G N . Sea F = Gc = RN G entonces F es de clase F (complemento
de un G ). Como G E c F E. Tenemos E = F N1
N1 = E F = E (RN G) = E G = N m(N1 ) = 0
d) a): Si E = F N donde F es F y N de medida nula, es medible por ser
uni
on de medibles.

Ejercicio 1.11.6 (otra caracterizaci
on de los conjuntos medibles) C. Caratheodory prob
o que un conjunto E RN es medible si y s
olo si para cualquier
conjunto A RN (medible o no) se cumple que:
me (A) = me (A E) + me (A E c )
(ejercicio de la pr
actica 1). Toda la teora puede basarse en esta definici
on
alternativa de conjunto medible (ver por ejemplo el libro de P. Halmos [6]).
En el teorema anterior probamos que en la definicion de conjunto medible
es posible cambiar los -elementales por los abiertos. Vamos a probar que lo
mismo puede hacerse al definir la medida exterior:
c
Notas de An
Pablo L. De Napoli
29
Teorema 1.11.7
me (E) = nf{m(G) : G abierto, G E}
Demostraci
on: Notaremos
(E) = nf{m(G) : G abierto, G E}
Todo abierto es -elemental, entonces
{m(G) : G abierto, G E} {m(U ) : U E, U elemental }
En consecuencia,
nf{m(G) : G abierto, G E} nf{m(U ) : U E, U elemental }
o sea,
(E) me (E)
Ahota queremos probar que: (E) me (E). Si me (E) = + no hay nada que
probar. Supondremos pues que me (E) < +. Dado > 0 por la definicion de
la medida exterior existe un -elemental U E tal que m(U ) < me (E) + . El
conjunto U se escribir
a en la forma:
U=
Ii
i=1
donde los Ii son intervalos disjuntos. Para cada i N consideramos un intervalo

abierto Ji tal que:
m(Ji ) m(Ii ) + i
2
y definimos
[
G=
Ji
i=1
Entonces G U E y G es abierto por ser union de abiertos. Ademas:

m(G)
X
i=1
m(Ji )
X
i=1
m(Ii ) +
=
m(Ii ) + = m(U ) + < me (E) + 2
i
2
i=1
Ahora por definici

on (E) m(G), luego: (E) < me (E) + 2 y como es
arbitrario resulta: (E) me (E) Por lo tanto, (E) = me (E) como queramos
probar.
c
Notas de An
Pablo L. De Napoli
1.12.
30
Propiedades de continuidad de la medida
Teorema 1.12.1 Sean (En )nN es una sucesi

on creciente de conjuntos medibles
E1 E2 E3 . . . En En+1 . . .
y
E=
En
nN
Entonces
m(E) = lm m(En )
n+
Demostraci
on: Notamos que si alg
un En0 tuviera medida infinita, entonces
tambien sera m(En ) = + para n 6= n0 y m(E) = + pues En0 En E
para n n0 , y la medida es creciente. En consecuencia, el teorema se verifica
trivialmente en este caso.
Podemos suponer pues que todos los En tienen medida finita. Pongamos
E0 = . Notamos que entonces:
[
E=
(En En1 )
nN
donde la uni
on es ahora disjunta. En consecuencia por la -aditividad de la
medida de Lebesgue,
X
m(E) =
m(En En1 )
n=1
Pero como En1 En ,

m(En En1 ) = m(En ) m(En1 )
En consecuncia tenemos (serie telescopica):
m(En En1 ) = lm
k+
n=1
k
X
= lm
k+
k
X
m(En En1 )
n=1
[m(En ) m(En1 )] = lm m(Ek )

k+
n=1
pues m(E0 ) = m() = 0.
Teorema 1.12.2 Sean (En )nN es una sucesi

on decreciente de conjuntos medibles
E1 E2 E3 . . . En En+1 . . .
y
E=
\
nN
En
c
Notas de An
Pablo L. De Napoli
31
Entonces si m(En0 ) < + para alg

un n0 ,
m(E) = lm m(En )
n+
Demostraci
on: Tomando complemento con respecto a En0 tenemos que:
\
(En0 En ) (ley de De Morgan)
E n0 E =
nN
Utilizando el teorema 1.12.1 tenemos entonces que:

m(En0 E) = lm m(En0 En )
n+
Como En En0 , y E En0 , todos tienen medida finita y se tiene que

m(En0 E) = m(En0 ) m(E),
m(En0 En ) = m(En0 ) m(En )
Por lo tanto:

m(En0 ) m(E) = lm m(En0 ) m(En ) = m(En0 )
n+

lm m(En )
n+
Concluimos que:
m(E) = lm m(En )
n+

Observaci
on: Esta u
ltima propiedad no es valida si los En tienen todos
medida infinita. Contraejemplo: En = [n, +) en R, E = .
1.13.
Otras propiedades de la medida de Lebesgue
Teorema 1.13.1 (Invariancia por traslaciones) Si E RN es medible,

entonces E + x es medible y m(E + x) = m(E)
Teorema 1.13.2 (efecto de una dilataci
on) Si E RN es medible, entonces E es medible y m(E) = m(E)
Teorema 1.13.3 (efecto de una transformaci
on lineal) Si E RN es meN
N
dible y T : R R es una transformaci
on lineal, entonces T (E) es medible y
m(T (E)) = det(T ) m(E)
Teorema 1.13.4 (regularidad de la medida) Si E RN es medible, entonces
m(E) = nf{m(G) : G E, G abierto }
y
m(E) = sup{m(K) : K E, K compacto }
Demostraci
on: Como la medida de un conjunto medible no es otra cosa que
su medida exterior, la primer propiedad se deduce inmediatamente del teorema
1.11.7. La segunda parte la dejamos como ejercicio.
c
Notas de An
Pablo L. De Napoli
1.14.
32
El conjunto de las diferencias de un medible
Definici
on 1.14.1 Sea E R un conjunto medible, definimos su conjunto de
diferencias por
D(E) = {x y : x, y E}
Teorema 1.14.2 Si m(E) > 0, existe un > 0 tal que (, ) D(E).

Demostraci
on: Notamos que en virtud de la regularidad de la medida, existir
a un cerrado F E con 0 < m(F ) < +, y como D(F ) D(E), bastar
a probar el teorema para F .
Como suponemos F cerrado, si llamamos Un = {x E : d(x, E) < n1 },
tendremos que
\
F =
Un
nN
y en consecuencia,
m(F ) = lm m(Un )
n+
por lo que podremos elegir n0 tal que m(Un0 ) < 23 m(F ).

Tomamos entonces < n10 . Afirmamos que si |x| < , entonces F (F + x) 6=
: si suponemos que no, tendremos que:
m(Un0 [F (F + x)]) m(Un0 F ) + m(Un0 (F + x))
pues
Un0 [F (F + x)] = (Un0 F ) (Un0 (F + x))
pero por la elecci
on de , F + x Un0 , en consecuencia obtenemos que:
m(Un0 [F (F + x)]) m(Un0 ) m(F ) + m(Un0 ) m(F + x)
= 2m(Un0 ) 2m(F ) < m(F )
por la invariancia por traslaciones de la medida de Lebesgue.
Esto es una contradicci
on, pues como F Un0 , debe ser |F | |Un0 |. Esta
contradicci
on provino de suponer que F y F + x eran disjuntos, en consecuencia
existir
a y F tal que x + y F , y por lo tanto x = (y + x) y D(F ) D(E).

Corolario 1.14.3 Si E R es medible y m(E) > 0, entonces E tiene la
potencia del continuo (esto es tiene cardinal c = #(R)).
Demostraci
on: Claramente E es infinito no numerable (pues sino m(E) = 0).
Por el teorema 1.14.2, deducimos que c = # ((, )) D(E) #(E) #(E) =
#(E), por ser #(E) un cardinal infinito3 .

3 Notemos que esta prueba utiliza el axioma de elecci
on (que se requiere para probar que
2 = para todo cardinal infinito ), pero no la hip
otesis del continuo (si acept
aramos dicha
hip
otesis, la conclusi
on sera trivial.)
c
Notas de An
Pablo L. De Napoli
1.15.
33
Existencia de conjuntos no medibles
Teorema 1.15.1 (Vitali) Existen conjuntos no medibles (Lebesgue). M

as a
un:
cualquier conjunto medible E R con medida positiva contiene un conjunto no
medible.
Demostraci
on: En el conjunto E definimos una relacion de equivalencia:
x'y xy Q
Consideramos esta relaci
on restringida al conjunto E. Esto determina una partici
on del conjunto E en clases de equivalencia4 .
Utilizando el axioma de elecci
on, formamos un conjunto V eligiendo un
elemento en cada clase de equivalencia de E. El conjunto as construido recibe
el nombre de conjunto de Vitali5 . Vamos a probar que V no es medible.
Fijamos una numeraci
on del conjunto de los n
umeros racionales: Q = (qk )kN
(lo cual es posible dado que Q es numerable), y consideramos los conjuntos
trasladados de V por n
umeros racionales :
Vk = V + qk
Notamos que:
E
Vk
kN
Pues si x E, entonces x ' v para alg

un v V , dado que V contiene un
elemento en cada clase de equivalencia. Luego x v Q, es decir x v = qk
para alg
un k y por consiguiente x Vk .
Si V fuera medible, cada Vk sera medible y m(Vk ) = m(V ) (por la invariancia por traslaciones de la medida de Lebesgue). Por lo tanto, por la subatividad:
m(E)
X
k=1
m(Vk )
m(V )
(1.7)
k=1
Si m(V ) = 0, resultara que m(E) = 0 contra la hipotesis. Queda pues

analizar que sucede si m(V ) > 0.
Por otra parte si fuera m(V ) > 0, D(V ) debera contener un intervalo de la
forma (, ) para alg
un > 0, en virtud del teorema 1.14.2.
Pero por la definici
on de V , tenemos que
D(V ) Q = {0}
Esto es una contradicci
on, dado que por la densidad de los racionales en el
intervalo (, ) hay infinitos n
umeros racionales.
4 En
el lenguaje del
algebra consideramos el grupo cociente R/Q
la plabra construido entre comillas pues precisamente esta demostraci
on que
emplea de modo esencial el axioma de elecci
on es un ejemplo paradigm
atico de demostraci
on
no constructiva.
5 Ponemos
c
Notas de An
Pablo L. De Napoli
34
Este absurdo provino de suponer que V era medible. En consecuencia V no

puede ser medible.

Observaci
on 1.15.2 El mismo argumento muestra que cualquier subconjunto
medible del conjunto de Vitali mide cero6 .
Nota sobre esta demostraci
on: La construcci
on de conjuntos no medibles depende
de manera esencial del axioma de eleccci
on. El matem
atico Robert Solovay consigui
o construir un modelo de la teora de conjuntos (de Zermelo-Fraenkel) en el que no
vale el axioma de elecci
on para familias arbitrarias de conjuntos, pero en el que todo
conjunto es medible. (R. Solovay, A model of set-theory in which every set of reals
is Lebesgue measurable. Annals of Mathematics. Second Series 92: 1-56. (1970). (Se
trata de una prueba de consistencia relativa: si la teora de Zermelo- Fraenkel tiene un
modelo, es posible construir otro modelo en que todo conjunto sea medible Lebesgue).
Nota sobre la bibliografa: Existen diversas presentaciones de la teora de la medida en la Bibliografa. Adem
as de la construcci
on geometrica que hemos seguido (ver
los libros de Fava y Z
o [4], y Wheeden y Zygmund [12]), existen otros procedimientos
m
as abstractos que permiten construir la medida (y la integral) de Lebesgue.
Por ejemplo, podemos mencionar la del cl
asico libro de Halmos [6] (que se apoya en la definici
on de Caratheodory de los conjuntos medibles, que permite formular
un teorema de extensi
on de medida en el contexto de las
algebras y -
algebras de
conjuntos), o la de Rudin [11] (que introduce primero la medida en un espacio abstracto, y desarrolla a partir de all toda la teora de la integraci
on, para despues recien
obtener la medida de Lebesgue; a partir de un teorema de F. Riesz que representa
las funcionales lineales continuas sobre el espacio de funciones continuas con soporte
compacto, como integrales con respecto a una medida). Estas u
ltimas presentaciones
son ciertamente interesantes para profundizar en el estudio del tema, pero creo que
son demasiado abstractas para una primera aproximaci
on.
Finalmente, cabe mencionar la presentaci
on de F. Riesz-Sz. Nagy [10], en la que se
recorre el camino inverso del que seguimos nosotros: construye primero la integral de
Lebegue utilizando una aproximaci
on por funciones continuas de soporte compacto,
que son integrables en el sentido de Riemann, para despues introducir la medida de
Lebesgue a partir de ella.
El libro de Billingsley [1] contiene una interesante presentaci
on de la teora, motivada desde la teora de probabilidades.
6 Esto dice que la medida interior, definida como m (V ) = sup{m(F ) : F V, F cerrado },

i
del conjunto de vitali es nula.
Captulo 2
Funciones Medibles e
Integral en espacios
abstractos
Nota: En el curso vimos primero los conceptos de funci
on medible e integral en
RN , y despues su generalizaci
on al contexto de espacios de medida abstractos. En estas
notas, desarrollamos estos conceptos directamente en el marco de un espacio abstracto.
Ver los libros de Fava y Z
o [4], o de Wheeden y Zygmund [12] para una exposici
on m
as
geometrica de la integral en Rn (a partir de la definici
on como medida del conjunto
bajo el gr
afico de una funci
on, para funciones no negativas, como hicimos en clase).
2.1.
Algebras
y -
algebras de conjuntos
Sea un conjunto al que llamaremos el espacio. Sus elementos seran llamados

puntos del espacio. En lo sucesivo consideraremos solamente conjuntos que sean
subconjuntos de .
Definici
on 2.1.1 Una colecci
on de conjuntos A P()[P(): partes de ) se
llama un a
lgebra de conjuntos si:
1. A
2. Si A A, entonces Ac = A A
3. Si A, B A, entonces A B A.
Corolarios:
1. A ( = c )
2. Si A, B A, entonces A B A (pues por la ley de De Morgan, A B =
(Ac B c )c )
35
c
Notas de An
Pablo L. De Napoli
36
3. Si A, B A, entonces A B A [A B = A B c ].
Ejemplo: Los conjuntos elementales de RN forman un algebra.
Definici
on 2.1.2 Un
algebra de conjuntos A que es cerrada bajo uniones numerables se llama una -algebra. Es decir un
algebra ASes una -
algebra si
para cualquier sucesi

on infinita (An ) de conjuntos de A, n=1 An A
Corolario 2.1.3 Una -
algebra es cerrada bajo intersecciones numerables.
O
T
sea si (An ) es una sucesi
on infinita de conjuntos de A, entonces n=1 An A
Ejemplo 1: Los conjuntos medibles Lebesgue forman una -algebra.
Ejemplo 2: {, } es una -algebra. P() es una -algebra.
Ejemplo 3: Sea A la coleccion de los A tales que A es numerable o Ac
es numerable. A es una -
algebra.
Observacion: La interseccion de una familia arbitraria de algebras (-algebras) de subconjuntos de es un algebra ( -algebra). En particular dada una
colecci
on C P() podemos considerar la interseccion de todas las algebras
(-algebras) que contienen a C (Hay por lo menos una: P()). El algebra (algebra) as obtenida se llama el algebra (- algebra) generada por C.
Definici
on 2.1.4 La -
algebra de Borel en RN es la -
algebra generada por los
abiertos. Sus elementos se denominan conjuntos borelianos.
Ejemplo: Los conjuntos cerrados son conjuntos borelianos. Tambien lo son
los conjuntos de clase F y de clase G .
El
algebra (-
algebra) generada por C esta caracterizada por ser la mas
peque
na
algebra (-
algebra) que contiene a C.
2.2.
Medidas sobre un
algebra de conjuntos
Definici
on 2.2.1 Sea A una
algebra de conjuntos. Una funci
on : A [0, ]
se llama una medida (positiva) si:
1. () = 0
2. es -aditiva, es decir: para cualquier
on A1 , A2 , . . . , An , . . . de conS sucesi
juntos disjuntos de A cuya uni
on n=0 An pertenezca a A se cumple que:
!
[
X
An =
(An )
n=1
n=1
Ejemplo 1: Sea A la -algebra de los conjuntos medibles Lebesgue y la

medida de Lebesgue. Entonces las condiciones 1) y 2) se cumplen.
c
Notas de An
Pablo L. De Napoli
37
Ejemplo 2: Sea un conjunto cualquiera, A = P(), y

#(A) (cantidad de elementos de A) siA es finito
(A) =
+ si A es infinito
se llama medida de contar. Es trivialmente una medida.
Ejemplo 3: Sea = N, A = P(N) y (an )nN una sucesion de n
umeros
reales no negativos. Pongamos
X
(A) =
an
nA
Es f
acil ver que es una medida. Recprocamente toda medida sobre N es de
esta forma.
Corolario 2.2.2 Una medida es finitamente aditiva.
Demostraci
on: Supongamos que AS
on de conjun1 , A2 , . . . , An es una sucesi
n
Ak pertenezca a A entonces
pongatos disjuntos de A cuya union A = k=1S
P
mos
A
=
para
k
>
ny
resulta:
A
=
A
(A)
=
(A
k
k
k) =
k=0
k=1
Pn
(A
)pues
(A
)
=
()
=
0
para
n
>k.

k
k
k=1
Corolario 2.2.3 Una medida positiva es creciente
Demostraci
on: Si A B(A, B A, entonces
B = A (B A) (B) = (A) + (B A) (A)
(Notar que B A A).
Corolario 2.2.4 Una medida positiva es -subaditiva: Si AyA1 , A2 , . . . An , . . .

son conjuntos del
algebra A tales que
A
An (A)
n=0
(An )
n=1
Demostraci
on: Podemos formar una nueva sucesion Bk de conjuntos del algebra A poniendo:
B 1 = A1
B2 = A2 A1
B 3 = A3 A1 A2
y en general:
B k = Ak
k1
[
i=1
Ai
c
Notas de An
Pablo L. De Napoli
38
Los conjuntos Bk est

an en A, son disjuntos y se tiene que:
A
Bk =
k=1
Ak
k=1
Por otra parte, para todo k, Bk Ak , entonces:

(Bk ) (Ak )
y se tiene que:
A=
(A Bk )
k=1
donde la uni
on es disjunta. Luego:
(A) =
X
k=1
(A Bk )
X
k=1
(Bk )
(Ak )
k=1
2.3.
Funciones Medibles
Consideramos un conjunto y una -algebra M de subconjuntos de .

Al par (, M) lo llamamos espacio medible. A los cojuntos de M los llamaremos conjuntos medibles (representara la clase de aquellos conjuntos a los que
asignaremos medida).
Posteriormente definiremos la integral de una funcion con respecto a una
medida. Las funciones que vamos a integrar deberan satisfacer una condicion
tecnica, a saber que podamos medir ciertos conjuntos asociados a la funcion.
on.
Definici
on 2.3.1 Sea (, M) un espacio medible y sea f : R una funci
Diremos que f es una funci
on medible (respecto a la -
algebra M) si para
todo R el conjunto {f > } = { : f () > } es medible, es decir
pertenece a M.
Ejemplo: El ejemplo clasico es = RN , M= conjuntos medibles en el
sentido de Lebesgue. En este caso, las funciones respecto a la -algebra M
reciben el nombre de funciones medibles en el sentido de Lebesgue.
La noci
on de funci
on medible puede formularse de varias maneras equivalentes. (En lo sucesivo, usaremos las notaciones abreviadas {f < } = { :
f () < }, etcetera).
Lema 2.3.2 Sea f : R una funci
on. Son equivalentes:
i) f es medible.
c
Notas de An
Pablo L. De Napoli
39
ii) Para todo R, {f } es medible.

iii) Para todo R, {f < } es medible.
iv) Para todo R, {f } es medible.
Demostraci
on: i) ii):
{f } =
{f > 1/n}
nN
Como f es medible, cada uno de los conjuntos {f > 1/n} pertenece a M, y

como M es una -
algebra, es cerrada por intersecciones numerables. Concluimos
que {f } M.
ii) iii): Notamos que {f < } = {f }, y como M es cerrada por
complementos, {f < } M.
iii) iv) : Escribimos
\
{f } =
{f < + 1/n}
nN
y utilizamos que M es cerrada por intersecciones numerables.

iv) i) : Notamos que {f > } = {f }, y utilizamos que M es
cerrada por complementos.

Proposici
on 2.3.3 Sean f, g : R funciones medibles. Entonces:
{f < g} = { : f () < g()} es medible.
Demostraci
on: Notamos que
[
[
{f < g} =
{f < q < g} =
({f < q} {q < g})
qQ
qQ
y usamos que M es una -

algebra y que Q es numerable.

El hecho de que la -
algebra M sea cerrada por operaciones conjuntsticas numerables, tendr
a como consecuencia que la clase de funciones medibles
ser
a cerrada por las operaciones algebraicas, y por las operaciones de tomar
supremo o lmites. M
as precisamente tenemos las siguientes propiedades:
Lema 2.3.4 Sean f, g : R funciones medibles Entonces:
i) f + k y kf son medibles para todo k R.
ii) f + g y f g son medibles.
iii) f 2 es medible.
iv) f g es medible,
v) Si g 6= 0, f /g es medible.
c
Notas de An
Pablo L. De Napoli
40
Demostraci
on: i): {f +k > } = {f > k} Si k > 0: {kf > } = {f > /k}
mientras que si k < 0: {kf > } = {f < /k}
ii): {f + g > } = {f > g} y g es medible
por i)
iii): Si 0, {f 2 > } = {f > } {f < } (sino {f 2 > } = ).
iv): Se deja como ejercicio (por iii) basta ver que 1/g es medible)

Observaci
on: El lema se puede adaptar al caso en que f o g toman los
valores . f + g est
a bien definida, salvo cuando es de la forma (+) + ()
o () + . Para definir f g, hay que utilizar las convenciones 0 () =
() 0 = 0
Lema 2.3.5 Sea (fn )nN una sucesi
on de funciones medibles. Entonces
sup fn (x)
nN
lm inf fn (x)
nN
nf fn (x)
nN
lm sup fn (x)
nN
son medibles.
En particular si fn converge, entonces:
f (x) = lm fn (x)
n+
es medible.
Demostraci
on: Notamos que
{sup fn (x) > } =
nN
{fn > }
nN
Por lo que si cada fn es medible, {fn > } M n N , y en consecuencia como M es una -

algebra, {supnN fn (x) > } M. Esto prueba que supn fn (x)
es medible.
Del mismo modo, se prueba que nf n fn (x) es medible, ya que:
[
{ nf fn (x) < } =
{fn < }
nN
nN
Para probar que lm sup fn es medible, notamos que

lm sup fn = nf sup fn
k kn
Pero para cada k, supkn fn es medible por lo que ya probamos, y en consecuencia lm sup fn es medible. De modo analogo, de que
lm inf fn = sup nf fn
k
kn
Se deduce que lmnf fn es medible. Finalmente notamos que si la sucesion (fn )

converge, entonces lmn+ fn (x) = lm inf fn (x) = lm sup fn (x), por lo que
la funci
on lmite de las fn es medible.
c
Notas de An
Pablo L. De Napoli
41
Definici
on 2.3.6 Sea : R R una funci
on. Diremos que es medible Borel
si es medible con respecto a la -
algebra de Borel B(R), generada por los intervalos. Es decir si para todo intervalo (a, b], su pre-imagen por , 1 ((a, b]) es
un conjunto boreliano de la recta.
Lema 2.3.7 Sean (, M) un espacio medible y f : R una funci
on. Entonces f es medible si y s
olo si f 1 (B) M para todo B B(R).
Demostraci
on: Notamos que:
A = {B R : f 1 (B) M}
es una -
algebra. Si f es medible, entonces A contiene a los intervalos. Por
lo tanto contiene a toda la -algebra de Borel (que es la menor -algebra que
contiene a los intervalos).

Corolario 2.3.8 Si (, P ) es un espacio medible, f : R es medible y
: R R es medible Borel, entonces f : R es medible.
Demostraci
on: Sea B un boreliano de la recta, entonces 1 (B) es boreliano,
y en consecuencia como f es medible:
( f )1 (B) = f 1 (1 (B) M
Como esto vale para todo B boreliano, concluimos que f es medible.
2.4.
Funciones Simples
Definici
on 2.4.1 Llamamos funcion simple a una funci
on medible f : R
que toma un n
umero finito de valores {c1 , c2 , . . . , cn }. Podemos representarla
entonces como:
n
X
f=
ci Ei
(2.1)
i=1
donde Ei = { : f () = ci }, y Ei es la funci
on caracterstica1

1 si Ei
Ei () =
0 si 6 Ei
El siguiente lema de aproximacion por funciones simples, sera de gran utilidad para la teora de la integral:
Lema 2.4.2 Si f : [0, +] es una funci
on medible no negativa, entonces
existe una sucesi
on n (x) de funciones simples no negativas tales que
lm n (x) = f (x) x
n+
1 En la teor
a de probabilidades se denomina indicador, ya que el t
ermino funci
on caractersitica tiene en dicho contexto otro significado.
c
Notas de An
Pablo L. De Napoli
42
Demostraci
on: Para cada n N , definimos:
n
n (x) =
n2
X
i1
i=1
siendo

En,i =
2n
En,i (x) + nFn
i
i1
x : n f (x) < n
2
2
Fn = {x : f (x) n}
Es decir que:

n (x) =
i1
2n
si
si
i1
2n
f (x) <
f (x) n
i
2n
Se prueba que n (x) tiene las propiedades del enunciado.
2.5.
Teorema de Egorov
Definici
on 2.5.1 Sea (E, M, ) un espacio de medida, y fn , f : E R funciones medibles. Diremos que fn (x) converge a f (x) en casi todo punto x E
(con respecto a ) si
({x E : fn (x) 6 f (x)} = 0
Teorema 2.5.2 (Egorov) Sea (E, M, ) un espacio de medida tal que (E) <
+.
Supongamos que tenemos una sucesi
on de funciones medibles (fn )nN : E
R que converge en casi todo punto de E (con respecto a ) hacia una funci
on
medible f (x).
Entonces, dado > 0, existe una subsucesi
on (fnk ) de (fn ) y un subconjunto
medible E E tal que fn converge uniformemente a f en E , y (E E ) < .
Observaci
on En el caso en que E es un subconjunto medible de Rn , y = m
es la medida de Lebesgue, las hipotesis se verificaran siempre que m(E) < +
y fn (x) tienda en casi todo punto a un lmite finito2
Demostraci
on: Dados j, k N definimos los conjuntos

1
j
Ek = x E : |fn (x) f (x)| < n k
j
Claramente cada Ekj es medible pues:

\
1
Ekj =
x E : |fn (x) f (x)| <
j
nk
2 En clase, este teorema lo vimos para el caso de un conjunto medible con medida finita en
Rn , pero es claro que su demostraci
on no utiliza ninguna propiedad especial de Rn
c
Notas de An
Pablo L. De Napoli
43
y las fn y f son funciones medibles.

Observamos que cuanto mayor es k menos restrictiva es la condicion que
define Ekj , es decir que la sucesion
Ek1 Ek2 . . . Ekj . . .
es creciente. Por consiguiente, si llamamos
Ej =
Ekj
k=1
tendremos que:
lm (Ekj ) = (E j )
k+
En consecuencia, para cada j podemos elegir un k0 = k0 (j) de manera que

(E j Ekj 0 ) <
2j
Hecha esta elecci

on, pongamos
E =
Ekj 0 (j)
j=1
Es claro que E E es medible. Notamos que si x E , entonces x Ekj 0 (j)

para todo j N, por consiguiente existe un k0 = k0 (j) tal que si j k0 (j) se
tiene que
1
|fn (x) f (x)| <
j
Como j es arbitrario, esto prueba que fn (x) converge uniformemente a para
x E .
Nos queda estimar (E E ). Ahora bien, por la ley de De Morgan:
E E =
(E Ekj 0 (j) )
(2.2)
j=1
Pero
E Ekj 0 (j) (E E j ) (E j Ekj 0 (j)
(2.3)
y se tiene que
E E j {x E : fn (x) 6 f (x)}
pues si x E pero x 6 E j , para todo k existira un j k tal que |fn (x)f (x)| >
1
j
otesis que que fn converge a f
j . Por consiguiente, (E E ) = 0 (por la hip
en casi todo punto de E.
Entonces por (2.3) tenemos que:
(E Ekj 0 (j) ) (E E j ) + (E j Ekj 0 (j) ) = 0 + (E j Ekj 0 (j) ) <
2j
c
Notas de An
Pablo L. De Napoli
44
y utilizando (2.2) y la -subaditividad de la medida, deducimos que:

(E E )
(E Ekj 0 (j) ) <
j=1
=
2j
j=1
como queramos ver.

En muchas situaciones, necesitamos considerar un espacio que es a la vez un
espacio metrico (o topol
ogico 3 ) y un espacio de medida. La siguiente definicion
establece una condici
on de compatibilidad entre ambas estructuras:
Definici
on 2.5.3 Sea E un espacio metrico (o topol
ogico). Una medida definida en una -
algebra M P(E) se dice regular si se cumplen las siguientes
condiciones:
1. Los abiertos del espacio E pertenecen a M, por consiguiente:
B(E) M
donde -
algebra B(E) denota la -
algebra de subconjuntos de E generada
por los abiertos (-
algebra de Borel).
Esta condici
on implica que las funciones f : E R continuas (o semicontinuas), resultan medibles (respecto a la -
algebra M).
2. Se cumple que
(B) = sup{K B : K es compacto} = nf{U B : U es abierto} B M
Por ejemplo, la medida de Lebesgue en Rn es una medida regular.
Corolario 2.5.4 Si la medida es regular, en el teorema de Egorov (teorema
2.5.2), E puede tomarse compacto.
Demostraci
on: Por el teorema 2.5.2 (cambiando por /2) podemos encontrar
E E tal que
(E E ) <
2
y fn (x) f (x) uniformemente para x E .
Pero entonces, por la regularidad de podemos encontrar un compacto
K E tal que (E K ) < 2 .
Entonces, fn (x) converge uniformemente a f (x) en K , y se tiene
(E K ) (E E ) + (E K ) <
Esto prueba que en el enunciado, podemos suponer que E es compacto, cuando
es regular (sustituyendo a E por K ).

3 Los espacios topol
ogicos son una generalizaci
on de los espacios m
etricos, donde no est
a necesariamente definida una m
etrica, sino una topologa: esto es una colecci
on de partes de E
con las siguientes propiedades: i) , E , ii) es cerrada por intersecciones finitas. iii)
es cerrada por uniones arbitrarias. Entonces por definici
on los abiertos de E son los elementos
de .
c
Notas de An
Pablo L. De Napoli
2.6.
45
Convergencia en medida
Definici
on 2.6.1 Sea (X, M, ) un espacio de medida (fn )nN : X R una
sucesi
on de funciones medibles finitas en casi todo punto. Se dice que (fn ) converge en medida a la funci
on medible X si para todo > 0, tenemos que
{|f fn | > } 0 cuando n +
Notaci
on:
fn f
Observaci
on: En la teora de probabilidades esta nocion se denomina convergencia en probabilidad.
Observaci
on: Si (fn ) converge en medida a f , cualquier subsucesion de (fn )
tambien converge en medida a f .
Veamos algunas propiedades de la convergencia en medida:
Proposici
on 2.6.2 (Unicidad del lmite) Si fn f y fn g, entonces
f = g en casi todo punto con respecto a .
Demostraci
on: Por la desigualdad triangular,
|f g| |f fn | + |fn g|
Entonces
{|f g| > } {|f fn | > /2} + {|fn g| > /2}
Deducimos que para todo > 0,
{|f g| > } = 0
Como
{f 6= g} =
[
nN
1
|f g| >
n
Por la -subaditividad de , deducimos que:

X
1
|f g| >
=0
({f 6= g})
n
n=1

Definici
on 2.6.3 Una sucesi
on de funciones medibles (fn ) : X R finitas en
casi todo punto, se dice de Cauchy en medida o fundamental en medida si para
cada > 0,
({x X : |fn (x) fm (x)| }) 0
cuando n, m +.
c
Notas de An
Pablo L. De Napoli
46
Teorema 2.6.4 (Riesz) Si (fn ) es de Cauchy en medida, entonces existe una

subsucesi
on (fnk ) que converge hacia una funci
on finita en casi todo punto de
X. Adem
as la sucesi
on entera converge en medida a la misma funci
on lmite.
Demostraci
on: Como (fn ) es de Cauchy en medida para cada k N existe
otro entero nk tal que:
({x X : |fn (x) fm (x)| 2k }) < 2k si n, m nk
Obviamente podemos suponer que n1 < n2 < . . . < nk < . . ., con lo que queda
determinada la sucesi
on (fnk )kN . Y si llamamos Ek al conjunto
Ek = {x X : |fnk+1 (x) fnk (x)| 2k },
tendremos que (Ek ) < 2k . Consideramos entonces el conjunto:
N = lm sup Ek =
Ek
i=1 k=i
Para cada i, N est

a contenido en el conjunto
(N )
(Ek )
k=i
k=i
Ek , de donde se deduce que:
2k =
k=i
1
2i1
por S
lo tanto deducimos que (N ) = 0. Si x 6 N , existe un entero i tal que
x 6 k=i Ek , y por lo tanto si k i,

|fnk+1 (x) fnk (x)| < 2k
Esto implica que la serie
fn1 (x) + (fn2 (x) fn1 (x) + . . . + (fnk+1 (x) fnk (x)) + . . .
cuyas sumas parciales forman la sucesion
fn1 (x), fn2 (x), . . . , fnk (x), . . .
es absolutamente convergente si x 6 N . Podemos definir entonces una funcion
f (x) = lm sup fnk (x) si x 6 N
k+
y fnk (x) converge a f (x) si x 6 N .

Si completamos la definicion de f poniendo
f (x) = lm sup fn (x) x X
n+
Entonces f es medible, y fnk (x) converge a f (x) en casi todo punto4

4 Si estuvi
eramos trabajando con la -
algebra y la medida de Lebesgue podramos completar
la definici
on de f defini
endola en los puntos de N de cualquier manera, y obtendramos una
funci
on medible. Pero esto no es cierto si se trabaja con una medida no completa (para la que
que no valga que un subconjunto de un conjunto de medida nula es medible). Por eso optamos
por completar su definici
on como el lmite superior de las fn (x).
c
Notas de An
Pablo L. De Napoli
47
A continuaci
on probaremos que la subsucesion fnk que hemos construido
converge en medida a f . Notamos que tambien tenemos que si x 6 N ,
f (x) = fnk (x) + (fnk+1 (x) fnk (x)) + (fnk+2 (x) fnk+1 (x)) + . . .
en consecuencia:
f (x) fnk (x) = (fnk+1 (x) fnk (x)) + (fnk+2 (x) fnk+1 (x)) + . . .
Dado > 0 elegimos i0 tal que
1
2i0 1
< . Entonces:
!
[
{|f (x) fni (x)| } N
Ek si i i0
k=i
pues si x 6 N y |fnk+1 fnk (x)| < 2k para todo k i, se deduce de lo

anterior que
X
1
|f (x) fni (x)|
2k = i1 < si i i0
2
k=i
En consecuencia:
({|f (x) fni (x)| > })
(Ek )
k=i
X
1
1
= i1 < si i i0
k
2
2
k=i
Esto prueba que la subsucesion (fnk ) que hemos construido converge en

medida a f .
Finalmente demostraremos que toda la sucesion (fn ) converge en medida
a f , para ello volveremos a utilizar la hipotesis de que (fn ) es de Cauchy en
medida. Como consecuencia de la desigualdad triangular, tenemos que:

{|f (x) fn (x)| > }
|f (x) fnk (x)| >

|fnk (x) fn (x)| >

2
y en consecuencia:
({|f (x) fn (x)| > })

+
|fnk (x) fn (x)| >
|f (x) fnk (x)| >

2
2
El primer termino es menor que 2 eligiendo k k0 () pues fnk converge

en medida a f , y el segundo termino tambien es menor 2 si k, nk n1 ()
[notamos que nk k] pues (fn ) es de Cauchy en medida. En conseguncia si
k m
ax(n0 , n1 ),

{|f (x) fn (x)(x)| > } <

Esto demuestra que fn converge en medida a f .
Corolario 2.6.5 Si la sucesi

on fn (x) converge en medida a f (x), existe una
subseci
on fnk (x) que converge a f (x) en casi todo punto.
c
Notas de An
Pablo L. De Napoli
2.7.
48
Integral de Funciones Simples
Consideramos ahora un espacio de medida (, M, ) es decir un espacio

medible, donde adem
as est
a definida una medida (-aditiva) : M [0, +].
Si f : R es una funcion simple, representada por (2.1) definimos su
integral de la siguiente manera:
Z
f d =
n
X
ci (Ei )
i=1
La integral de las funciones simples, tiene las siguientes propiedades:

Proposici
on 2.7.1
1. linealidad: Si f y g son funciones simples:

Z
Z
Z
(f + g) d =
f d +
g d
Si f es una funci
on simple, y k una constante:
Z
Z
(kf ) d = k
f d
2. Monotona: si f y g son funciones simples y f g, entonces:

Z
Z
f d
g d
3. Si f es una funci
on simple, entonces
Z
Z

f d
|f | d

2.8.
Integral de funciones no negativas
Definici
on 2.8.1 Sea (, M, ) un espacio de medida, y f : [0, +] una
funci
on medible no negativa. Definimos la integral de f de la siguiente manera:
Z

Z
f d = sup
d : 0 f, simple
Una consecuencia inmediata de la definicion es la siguiente:

Proposici
on 2.8.2 Si f, g : [0, +] son funciones medibles no negativas
tales que f g, entonces
Z
Z
f (x) d
g(x) d
c
Notas de An
Pablo L. De Napoli
49
Definici
on 2.8.3 Si A M es un conjunto medible, y f : [0, +] es una
funci
on medible no negativa, definimos la integral de f sobre A como:
Z
Z
f d =
f A d
A
Lema 2.8.4 Sea una funci

on simple no negativa. Entonces la funci
on =
: M [0, +] definida por:
Z
(A) =
d
A
es una medida
Demostraci
on: Supongamos que un conjunto medible A se representa como
una uni
on disjunta numerable de una sucesion (An )nN de conjuntos medibles:
[
A=
An
nN
Queremos probar que:

(A) =
(An )
n=1
Como es una funci

on simple, podremos representarla en la forma
=
N
X
ci Ei
i=1
siendo Ei conjuntos medibles disjuntos.

Notamos que (x)An (x) es una funcion simple, que toma el valor ci en el
conjunto An Ei , es decir que su representacion canonica es:
(x)An (x) =
N
X
ci Ei An (x)
i=1
En consecuencia,
(An ) =
N
X
ci (Ei An )
i=1
Y por lo tanto
(An ) =
n=1
X
N
X
ci (Ei An )
n=1 i=1
Como en esta suma doble los terminos (Ei An ) son no negativos, da lo mismo
efectuar la suma en cualquier orden. En consecuencia,
X
n=1
(An ) =
N X
X
i=1 n=1
ci (Ei An ) =
N
X
i=1
ci
X
n=1
(Ei An )
c
Notas de An
Pablo L. De Napoli
50
Ahora notamos que:

[
Ei A =
(Ei An )
nN
siendo esta uni

on disjunta. En consecuencia, como es una medida,
(Ei A) =
(Ei An )
n=1
y concluimos que:
(An ) =
N
X
n=1
Z
ci (Ei A) =
Z
(x) A (x) d =
i=1
(x) d
A

Teorema 2.8.5 (Teorema de la Convergencia Mon
otona ) 5 Sea fn (x) :
[0, +] una sucesi
on creciente (o sea: fn (x) fn+1 (x)) de funciones
medibles no negativas. Entonces,
Z
Z
lm f (x) d = lm
fn (x) dmu
n+
n+
Demostraci
on: Sea
f (x) = lm fn (x)
n+
Por la monotona de la integral es claro que:

Z
Z
fn (x) d
f (x) d
Y por lo tanto que:

Z
fn (x) d
lm
n+
f (x) d
Por otra parte, sea una funcion simple tal que f . Dado (0, 1),
consideramos los conjuntos (medibles)
An = {x : fn (x) x}
Entonces la sucesi
on (An )nN es monotona creciente (o sea An An+1 ) y
[
=
An
nN
Adem
as la funci
on definida en el lema anterior, es una medida, por lo tanto:
() = lm (An )
n+
5 Tambi
en
conocido como teorema de Beppo Levi.
c
Notas de An
Pablo L. De Napoli
51
es decir,
Z
lm
n+
Z
(x) d =
An
Por otra parte, para cada n N ,

Z
Z
(x) d
An
(x) d
Z
fn (x) d
fn (x) d
An
De modo que,
Z
Z
(x) d = lm
n+
Z
(x)d lm
n+
An
fn (x) d
Haciendo tender a 1 deducimos que:

Z
(x) d lm fn (x) d
n+
y por lo tanto como esto vale para toda funcion simple con 0 f , por la
definici
on de integral, deducimos que:
Z
f (x) d lm fn (x) d
n+

Proposici
on 2.8.6 (Linealidad de la integral) Si f, g : [0, +] son
funciones medibles no negativas y 1 , 2 0 son n
umeros reales no negativos,
entonces:
Z
Z
Z
[1 f (x) + 2 g(x)] d = 1
f (x) d + 2
g(x) d
Demostraci
on: Utilizamos el lema de aproximacion por funciones simples: sabemos que existen una sucesion creciente (fn (x)) de funciones simples que converge a f (x), y una sucesi
on creciente (gn (x)) de funciones simples que converge
a g(x). Entonces por la linealidad de la integral de funciones simples,
Z
Z
Z
[1 fn (x) + 2 gn (x)] d = 1
fn (x) d + 2
gn (x) d
Y el teorema de convergencia monotona implica entonces que:

Z
Z
Z
[1 f (x) + 2 g(x)] d = 1
f (x) d + 2
g(x) d

Teorema 2.8.7 (Lema de Fatou) Sea fn : M [0, +] una sucesi
on de
funciones medibles no negativas. Entonces:
Z
Z
lm inf fn (x) d lm inf
fn (x) d
n+
n+
c
Notas de An
Pablo L. De Napoli
52
Demostraci
on: Llamemos

f (x) = lm inf fn (x) = sup
n+

nf fn (x)
nk
kN
y consideremos la sucesi
on creciente de funciones no negativas:
gk (x) = nf fn (x)
nk
Entonces por el teorema de convergencia monotona:

Z
Z
Z
f (x) d =
lm gk (x) d = lm
gk (x) d
k+
k+
(2.4)
Por otra parte si n k, tenemos que

Z
Z
gk (x) d
fn (x) d
y en consecuentcia:
Z
Z
gk (x) d lm inf
n+
fn (x) d
Y por lo tanto:
Z
k+
Z
gk (x) d lm inf
lm
n+
fn (x) d
En consecuencia utilizando (2.4), deducimos que:

Z
Z
f (x)d lm inf
fn (x) d
n+
2.9.
Funciones Integrables
Si f : R es una funcion medible, hacemos la descomposicion:

f = f+ f
(2.5)
como diferencia de dos funciones medibles no negativas, siendo

f (x) si f (x) 0
f + (x) =
0 si f (x) < 0
y
f (x) =
0 si
f (x) si
Notamos que:
|f | = f + + f
f (x) 0
f (x) < 0
c
Notas de An
Pablo L. De Napoli
53
Definici
on 2.9.1 Diremos que una funci
on medible f : R es integrable si
son finitas las integrables
Z
f + (x) d
y
Z
f (x) d
En ese caso, definimos la integral de f con respecto a en el espacio por:

Z
Z
Z
+
f (x) d =
f (x) d +
f (x) d
Observaci
on: De la definicion de funcion integrable, deducimos que f es
integrable si y s
olo si
Z
|f (x)|d < +
Adem
as:
Z
Z

f (x)d
|f (x)| d

Proposici
on 2.9.2 (Linealidad de la integral) Si f, g : R son funciones integrables y 1 , 2 son n
umeros reales, entonces 1 f + 2 g es integrable, y
se tiene que:
Z
Z
Z
[1 f (x) + 2 g(x)] d = 1
f (x) d + 2
g(x) d
Demostraci
on: Primero probaremos que es posible sacar escalares de la integral: En efecto si > 0, tenemos que:
(f )+ = f +
(f ) = f
Entonces es claro por la definicion y la linealidad de la integral para funciones
no negativas, que si f es integrable, f tambien lo es y se verifica que:
Z
Z
Z
f d = (f )+ d (f ) d =
Z
=
f + d
f d
Z
=
f d
Si < 0, notamos que:

(f )+ = ()f
c
Notas de An
Pablo L. De Napoli
54
(f ) = ()f +
y de nuevo, vemos usando la definicion y la linealidad de la integral para funciones no negativas, que si f es integrable, f tambien lo es y se verifica que:
Z
Z
Z
f d = (f )+ d (f ) d =
Z
=
f d +
f + d
Z
=
f d
(El caso = 0 es trivial porque la integral de la funcion nula da 0).

Ahora probaremos que la integral distribuye la suma: Para ello notamos que
(2.5) proporciona una escritura de f como diferencia de dos funciones no negativas. Pero que si tenemos otra escritura de f como diferencia de dos funciones
medibles no negativas:
f = f1 f2
Entonces de f f = f1 f2 , deducimos f + + f2 = f1 + f , entonces por

la linealidad de la integral para funciones no negativas:
Z
Z
Z
Z
f + d +
f2 d =
f1 d +
f d
+
En consecuencia,
Z
Z
f1 d
f d =
f2 d
Vale decir que si en lugar de (2.5), utilizaramos cualquier otra descomposicion

de f como diferencia de funciones medibles no negativas obtendramos el mismo
valor de la integral.
Hecha esta observaci
on, notamos que
f + g = f + f + g + g = (f + + g + ) (f + g )
y que esta u
ltima expresi
on proporciona una escritura de f + g como diferencia
de funciones no negativas. En consecuencia, por la observacion anterior, y la
linealidad de la integral para funciones no negativas:
Z
Z
Z
(f + g) d = (f + + g + ) d (f + g ) d =
Z
Z
Z
Z
f + d +
g + d
f d
g d =
Z
Z
=
f d +
g d
c
Notas de An
Pablo L. De Napoli
55
Teorema 2.9.3 (De convergencia mayorada, de Lebesgue) Sea fn (x) :

R una sucesi
on de funciones integrables, que converge puntualmente a una funci
on f (x)
f (x) = lm fn (x)
n+
y tal que existe una funci

on integrable g de modo que |fn (x)| g (en casi todo
punto con respecto a la medida ). Entonces
Z
lm
|fn (x) f (x)| d = 0
n+
En particular,
Z
lm
fn (x) d =
n+
f (x) d
Demostraci
on: Sea hn (x) la sucesion de funciones medibles no negativas, definida por:
hn (x) = 2g(x) |fn (x) f (x)|
Entonces, por el lema de Fatou,
Z
Z
Z
2
g(x) d =
lm hn (x) d lm inf
fn (x) d
n+
Z
g(x) d lm sup
Z
n+
|fn (x) f (x)| d
En consecuencia,
Z
|fn (x) f (x)| d = 0
lm sup
n+
Entonces,
Z
Z
Z

fn (x) d
|fn (x) f (x)| d 0 cuando n
f
(x)
d

Captulo 3
Construcci
on de medidas
3.1.
Medidas Exteriores
En este captulo, queremos describir un general procedimiento para construir

medidas. Recordamos que para cosntruir la -algbera y la medida de Lebesgue
en RN , partimos de la noci
on de medida exterior. Ahora generalizaremos esta
construcci
on a espacios abstractos.
Definici
on 3.1.1 Una medida exterior es una funci
on de P(X) (el conjunto
de partes de X) en [0, ] con las siguientes propiedades:
1. () = 0
2. es creciente: si A B, entonces (A) (B)
3. es -subaditiva: para cualquier sucesi
on Ek X se cumple:
!
[
X
Ek
(Ek )
k=1
k=1
Constantin Caratheodory probo que en RN vale la siguiente propiedad:

Teorema 3.1.2 E RN es medible Lebesgue si y s
olo si para todo conjunto S
se cumple que:
me (S E) + me (S E c ) = me (S)
(me (S) es la medida exterior de Lebesgue de S, E c es el complemento de E)
Bas
andose en esto propuso tomar esta propiedad como definicion en el caso de
la medida abstracta:
Definici
on 3.1.3 Diremos que un conjunto E X es -medible (o simplemente medible) si para cualquier conjunto S X se cumple:
(S E) + (S E c ) = (S)
56
c
Notas de An
Pablo L. De Napoli
57
Equivalentemente: E es medible si y s
olo si para todo A E y todo B E c , se
tiene que:
(A B) = (A) + (B)
Observaci
on 3.1.4 Como S = SE SE c tenemos:
(S) (S E) + (S E c )
luego para ver que E es medible basta ver que:
(S E) + (S E c ) (S)
(para todo S X) Esto basta verlo cuando (S) < +.
Notaci
on: M = M es la clase de los conjuntos -medibles.
Corolario 3.1.5 M ( es medible)
Observaci
on 3.1.6 Si E es medible, tambien lo es su complemento. (Esto
est
a claro ya que E y E c intervienen simetricamente en la definici
on)
Proposici
on 3.1.7 La intersecci
on de dos conjuntos medibles es medible (por
lo tanto M es un
algebra de conjuntos)
Demostraci
on: Sean EyF medibles. Queremos ver E F es medible. Tenemos
que:
(E F )c = (E F c ) (E c F ) (E c F c )
luego, para cualquier S X tenemos:
(S E F ) + (S (E F )c )
(S E F ) + (S E F c )
+ (S E c F ) + (S E c F c )
por ser sub-aditiva. Pero como F es medible:
(S E F ) + (S E F c ) = (S E)
Similarmente:
(S E c F ) + (S E c F c ) = (SE c )
Luego,
(S (E F )) + (S (E F )c ) (S E) + (S E c )
Pero como Ees medible, (S E) + (S E c ) = (S), luego tenemos:
(S (E F )) + (S (E F )c ) (S)
y como esto vale para todo S X, concluimos que E F es medible.
c
Notas de An
Pablo L. De Napoli
58
Lema 3.1.8 Si E1 , E2 , . . . , En son conjuntos medibles disjuntos, entonces para

cualquier conjunto S X se tiene:
!!
n
n
X
[
(S Ek ) = S
Ek
k=1
k=1
Demostraci
on: Se prueba por induccion sobre n. Si n = 1 es trivial. Si n > 1 y
lo suponemos v
alido para n1 conjuntos medibles disjuntos vamos a probar que
tambien vale para n. Separando el termino con k = n, y utilizando la hipotesis
inductiva, tenemos que:
!!
n
n1
X
[
(S Ek ) == S
Ek
+ (S En )
k=1
k=1
Sea E el conjunto:
E=
n
[
Ek
k=1
entonces: E En = En y
E Enc =
n1
[
Ek
k=1
(ya que los Ek son disjuntos), luego:

n
X
(S Ek ) = (S E En ) + (S E Enc ) = (S E)
k=1
por ser En medible, o sea:

n
X
(S Ek ) =
k=1
n
[
!!
Ek
k=1
como afirma el lema.
Lema 3.1.9 M es una -

algebra.
Demostraci
on: Basta probar que es cerrada bajo uniones numerables disjuntas:
Sea (Ek ) una sucesi
on conjuntos de M y pongamos: B1 = E1 Bk = Ek
Sk1
E
entonces
los
B
algebra), son
i
k M (pues ya sabemos M es un
i=1
disjuntos y tenemos que
[
[
Ek =
Bk
k=1
k=1
Como toda uni

on numerable de medibles, se puede reescribir como una union
numerable disjunta de medibles bastara entonces probar que M es cerrada bajo
uniones numerables disjuntas.
c
Notas de An
Pablo L. De Napoli
59
Sea pues
S (Ek ) una sucesion de conjuntos de M disjuntos. Vamos a probar que k=1 Ek tambien pertenece a M . En virtud del lema anterior, para
cualquier S X:
!c !
n
n
X
[
(S Ek ) + S
Ek
k=1
k=1
!!
n
[
Ek
!c !
n
[
k=1
= (S)
Ek
k=1
Sn
ya que k=1 Ek es medible (M es un algebra).

Como por otra parte:
!c
!c
n
[
[
S
Ek
S
Ek
k=1
Tenemos,
k=1
!c !
Ek
!c !
n
[
k=1
Ek
k=1
Luego obtenemos que:

n
X
(S Ek ) +
k=1
!c !
(S)
Ek
k=1
Cuando n resulta la desigualdad:
(S Ek ) +
k=1
!c !
(S)
Ek
k=1
Tenemos que:
!!
Ek
k=1
X
k=1
(S Ek ) +
!c !
Ek
k=1
!c !
Ek
(S)
k=1
por
S la -subaditividad de , luego como vale para todo S X resulta que
E
es
medible.

k=1 k
Lema 3.1.10 restringida a M es una medida.
c
Notas de An
Pablo L. De Napoli
Demostraci
on: S
olo falta ver que es -aditiva. Sea E =
Ek son disjuntos. Entonces:
(E)
60
S
k=1
Ek domde los
(Ek )
k=1
pues es -subaditiva. Por otra parte, para todo n N se tiene:

!
n
n
X
[
(Ek ) =
Ek (E)
k=1
k=1
Haciendo que n obtenemos:
(Ek ) (E)
k=1
Como probamos las dos desigualdades opuestas, vale la igualdad.
3.2.
Medidas exteriores m
etricas
Definici
on 3.2.1 Sea (X, d) un espacio metrico y sea una medida exterior
definida en X. Decimos que es una medida exterior metrica, o que satisface
la condici
on de Caratheodory, si
(A B) = (A) + (B)
siempre que d(A, B) > 0.
Teorema 3.2.2 Si es una medida exterior metrica en (X, d), entonces cualquier conjunto boreliano de X es medible. Es decir:
B(X) M
Adem
as definimos la -
algebra de Borel de X como la -
algebra generada por
los conjuntos abiertos.
Demostraci
on: Dado que M es una -algebra, es suficiente probar que todo
cerrado de X es medible.
Sea pues F X un conjunto cerrado, y E X arbitrario. Hemos de probar
que:
(E F ) + (E F c ) (E)
Para ello, llamamos B = E F y C = E F c , e introduzcamos los conjuntos

1
Cn = x C : d(x, C)
n
c
Notas de An
Pablo L. De Napoli
de modo que los conjuntos Cn forman una sucesion creciente, d(Cn , F )

[
Cn
C=
61
1
n
nN
En virtud de la condici
on de Caratheodory, tenemos que:
(E) (B C) (B Cn ) = (B) + (Cn )
Luego, bastar
a probar que: (Cn ) (C), o dado que Cn es creciente, que
(C) lm (Cn )
n+
Llamemos Dn = Cn+1 Cn . Afirmamos que d(Dn+1 , Cn ) > 0, si ambos son

no vacos.
Para verlo, supogamos que x Dn+1 y que y Cn , entonces como x 6
1
Cn+1 , d(x, F ) n+1
, y como y Cn , d(y, F ) n1 , entonces como d(y, F )
1
>0
d(x, F ) + d(x, y) resulta que: d(x, y) n1 n+1
Entonces, utilizando la condicion de Caratheodory extendda inductivamente,
tenemos que:
!
n
n
X
[
(D2k )
(C2n+1 )
D2k =
k=1
k=1
y que:
(C2n )
n
[
!
D2k1
k=1
n
X
(D2k1 )
k=1
Mientras que por la -subaditividad, tenemos que:

(C) (C2n ) +
(D2k ) +
(D2k1 )
k=n
k=n
Si alguna de las series
(D2k ),
k=n
(D2k1 )
k=n
diverge, entonces se sigue de las dos primeras ecuaciones que

lm (Cn ) = +
n+
y la desigualdad buscada se verifica trivialmente.

Si esto no ocurre, dado > 0, podremos elegir n0 > 0 tal que si n n0 , se
tenga que:
X
k=n
(D2k ) < ,
(D2k1 ) <
k=n
En consecuencia,
(C) lm (Cn )
n+
como afirmamos.
c
Notas de An
Pablo L. De Napoli
3.3.
62
Las medidas de Lebesgue-Stieltjes
Consideramos un intervalo de la recta I = (a, b], y F : [a, b] R una

funci
on creciente. Stieltjes tuvo la idea de asociarle a F una nocion generalizada
de medida de un intervalo de la siguiente manera: a cada subintervalo (c, d] I
semiabierto1 , le asignamos la longitud generalizada
F (c, d] = F (d) F (c)
Notamos que esta noci
on generalizada de medida de un intervalo, es creciente y
finitamente aditiva.
Stieltjes utiliz
o esta noci
on, para generalizar la integral de Riemann de esta
manera: Si I es una funcion, queremos definir la integral
Z b
(x) dF (x) (R S)
(3.1)
a
Para ello, tomamos una particion : a = x0 < x1 < . . . xn1 < xn = b

de I y elegimos puntos intermedios2 i (xi , xi+1 ]. Consideramos las sumas de
Riemann-Stieltjes
S (f, ) =
n1
X
(i )F ((xi , xi+1 ]) =
i=0
n1
X
(i )(F (xi+1 ) F (xi ))
i=0
Si cuando la norma de la particion

|| =
max |xi+1 xi |
0in1
tiende a cero, las sumas S (f, ) convergen a un lmite I (independientemente

de como hayamos elegido los puntos intermedios), decimos que la integral (3.1)
existe, y que su valor es I. Se puede probar que la integral (3.1) existe si es
continua y F es creciente3 .
Nuestra intenci
on es generalizar esta nocion de integral. Para ello nos preguntamos si existe alguna medida F , que corresponda la nocion generalizada
de medida F de un intervalo. Para ello, imitando lo que hicimos antes con la
medida de Lebesgue, comenzamos definiendo una medida exterior asociada a
F :
Definici
on 3.3.1 Dado E I, no vaco, definimos:
F (E) = nf
X
n=1
F ((cn , dn ]) = nf
F (dn ) F (cn )
n=1
1 En esta secci
on consideraremos siempre intervalos semiabiertos. Esto es importante, pues
resultar
a que, a diferencia de lo que suceda con la medida de Lebesgue, para la medida de
Lebesgue-Stieltjes los puntos pueden tener medida positiva; con lo que el intervalo (c, d] y el
intervalo [c, d] por ejemplo, pueden tener medidas diferentes.
2 En realidad, estamos trabajando con particiones con puntos marcados.
3 O m
as generalmente, de variaci
on acotada
c
Notas de An
Pablo L. De Napoli
63
donde la suma se toma sobre todos los posibles cubrimientos de E, por una
familia de intervalos semiabiertos:
E
(cn , dn ]
n=1
Ponemos F () = 0.
Teorema 3.3.2 F es una medida exterior metrica.
Demostraci
on: Para comprobar que F es una medida exterior, hemos de
demostrar que si
[
E
En
n=1
entonces:
F (E)
F (En )
(3.2)
n=1
Podemos suponer que F (En ) < +. Entonces, para cada n podemos considerar un cubrimiento
[
En
In,k
k=1
por intervalos semiabiertos In,k tales que
F (In,k ) F (En ) +
k=1
Entonces:
E
[
[
2n
In,k
n=1 k=1
y en consecuencia
F (E)
X
n=1 k=1
F (In,k

X
F (En ) +
n=1
X
=
F (En ) +
2n
n=1
Como es arbitrario, se obtiene (3.2).

Finalmente, queda comprobar que si d(E1 , E2 ) > 0, entonces F (E1 E2 ) =
F (E1 ) + F (E2 ). Si E = E1 E2 , ya sabemos que LambdaF (E) F (E1 ) +

F (E2 . Queda pues demostrar que
F (E) F (E1 ) + F (E2 )
(3.3)
y para ello podemos suponer que F (E) < +. Consideremos entonces un

cubrimiento de E por intervalos semiabiertos:
E
[
n=
In
c
Notas de An
Pablo L. De Napoli
tal que
F (In ) < F (E) +
64
(3.4)
n=1
Sea = d(E1 , E2 ) > 0. Subdividiendo si es necesario los intervalos In , podemos

suponer que |In | < (por la subaditividad finita de F , esta subdivision no afectar
a la relaci
on (3.4). Entonces ning
un intervalo puede cortar simultaneamente
a E1 y E2 , y podemos separar la suma anterior, en los intervalos que cortan a
E1 y los que cortan a E2 (los que no cortan a ninguno podemos descartarlos:
X
n:In E1
F (In ) +
F (In )+ < F (E) +
n:In E2
pero los intervalos In que cortan a E1 , cubren a E1 y los que cortan a E2 cubren
a E2 (pues todos juntos cubran a E). Luego, resulta
F (E1 ) + F (E2 ) < F (E) +
y siendo arbitrario, obtenemos (3.3).

Dado que hemos demostrado que F es una medida exterior metrica, en virtud del teorema 3.2.2 todo subconjunto boreliano del intervalo I es F -medible.
Si llamamos F a la restriccion de F a los borelianos, vemos que es una medida
definida sobre la -
algebra de Borel que siempre es finita.
Recprocamente, es posible probar que toda medida de Borel (esto es definida
en la -
algebra de Borel) finita en un intervalo I = (a, b] de la recta, es de la
forma F , donde F (x) = ((a, x]) es su funcion de distribucion4 .
Nos queda comprobar que F exitende a F . Para que ello sea cierto, necesitaremos hacer una hip
otesis adicional: que F sea continua por la derecha.
Teorema 3.3.3 Si F es creciente y continua por la derecha, se tiene que
F (J) = F (J)
(3.5)
para cualquier intervalo semiabierto J I.

Observaci
on: Sea J = (c, d] un intervalo semiabierto, J I. Entonces,
dado > 0 existen intervalos semiabiertos K, L tales que
K J L
y
F (L) < F (L) +
F (K) > F (L)
4 En el mismo sentido en que este concepto se emplea en la teor
a de probabilidades. Incluso
se puede generalizar al caso I = (, +] = R
c
Notas de An
Pablo L. De Napoli
65
(simplemente basta tomar L = (c, d + 1 ] donde 1 es el que corresponde a por

la continuidad de F a la derecha en el punto d; y K = (c + 2 , d] donde 2 es el
que corresponde a por la continuidad a la derecha de F en el punto c).
En base a esta observaci
on, podemos demostrar la -subaditividad de F en
la clase de los intervalos:
Lema 3.3.4 Si un intervalo semiabierto J I, est
a contenido en la uni
on de
una familia numerable Jn I de subintervalor abiertos de I,
Jn
n=1
entonce
F (J)
F (Jn )
n=1
Demostraci
on: En virtud del lema, podemos encontrar un intervalo semiabierto K tal que K J, F (K) > F (J) e intervalos semiabiertos Ln tales
que
Jn Ln , F (Ln ) < F (Jn ) + n

2
Entonces
[
K
Ln
n=1
y por compacidad de K, existira un n0 tal que

n0
[
Ln
n=1
y en particular,
n0
[
Ln
n=1
Entonces, como F es finitamente subaditiva:
F (K)
F (Ln )
n=1
En consecuencia,
F (J) < F (K)
X
n=1
F (Ln )

X
n=1
Como es arbitrario, se obtiene el teorema.
F (Jn ) +
X
=
F (Jn ) +
2n
n=1
c
Notas de An
Pablo L. De Napoli
66
Una vez demostrado este lema, estamos en condiciones de demostrar el teorema 3.3.3. Para ello, observamos que si (Jn )nN es un cubrimiento de J por
intervalos semiabiertos tenemos en virtud del lema,
F (J)
F (Jn )
n=1
y al tomar nfimo sobre todos los posibles cubrimientos de J obtenemos que:

F (J) F (J)
Por otro lado, J es en s mismo un cubrimiento de J (podemos tomar J1 = J,
y Jn = (a, a] = para n 2, si queremos que este indexado por N), con lo que
F (J) F (J)
En consecuencia, se verifica (3.5).
Ejercicio: Probar que si : (a, b] R es continua entonces la integral
de Riemann-Stieltjes (3.1) coincide con la integral respecto de la medida de
Lebesgue-Stieltjes
Z b
(x) dF (x)
a
3.4.
El teorema de Extensi
on de Medidas
Presentaremos en esta seccion una construccion que generaliza la que hicimos

antes de las medidas de Lebesgue-Stieltjes, a un contexto mas abstracto.
Definici
on 3.4.1 Supongamos que es una medida definida sobre un
algebra
de conjuntos A P(X). Queremos definir una medida exterior asociada a
. Para ello, dado un conjunto E X definimos:
(
)
X
[
(E) = nf
(Ak ) donde E
Ak y los Ak A
k=1
k=1
donde para formar el nfimo se consideran todas las formas de cubrir E por una
cantidad numerable de conjuntos de E. l
Lema 3.4.2 es efectivamente una medida exterior, y si A A entonces
(A) = (A) ,es decir restringida a los conjuntos del
algebra A coincide
con .
Demostraci
n: Probemos que es creciente: Supongamos
que A B.
S
So
Si B k=1 Bk . donde los Bk A, entonces A k=1 Bk , luego por
definici
on de (A) tenemos que:
(A)
X
k=1
(Bk )
c
Notas de An
Pablo L. De Napoli
67
pero esto vale para cualquier cubrimiento de B por miembros del algebra A
luego por definici
on de (B) tenemos que: (A) (B).
Probemos que es subaditiva:
Dada una sucesi
on (Ek )kN X queremos ver que:
!
[
X
Ek
(Ek )
k=1
k=1
Si para alg
un Ek se tiene (Ek ) = + no hay nada que probar. Podemos
pues suponer (Ek ) es finita para todo k. Dado entonces > 0 para cada k
(por definici
on de (Ek )) podemos encontar conjuntos Akj A tales que:
Ek
Akj
k=1
(Akj ) < (Ek ) +
j=1
Entonces si E =
k=1
2k
Ek tenemos que:
E
Akj
k=1 j=1
Es decir: tenemos un cubrimiento de E por una cantidad numerable de conjuntos

del
algebra A, entonces por definicion de (E) tenemos que:
(E)
X
X
k=1 j=1
(Akj )

X
(Ek ) +
k=1
X
(Ek ) +
=
2k
k=1
Como era arbitrario, haciendo que 0 se obtiene la desigualdad buscada.

S
Finalmente, probemos que extiende a : Si A A y A k=1 Ak (Ak
A), entonces
X
(A)
(Ak )
k=1
por ser -subaditiva. Como esto vale para cualquier cubrimiento de A por
miembros de A, de la definicion de (A) resulta que (A) (A)
Por otra parte, un cubtimiento particular de A por miembros de A es
A = A ... ...
entonces
(A) (A)
c
Notas de An
Pablo L. De Napoli
68
Corolario 3.4.3 () = 0 (pues A).

Lema 3.4.4 A M . Es decir: todo conjunto del
algebra A es -medible.
Si por analoga con RN , llamamos conjuntos elementales a los del algebra,
este enunciado dice que todo conjunto elemental es medible.
S
S
Demostraci
on: Sea S k=1 Ak , entonces SA k=1 Ak A (Como A es
cerrada por intersecciones AS
k A A)
An
alogamente S Ac k=1 Ak Ac (donde Ak Ac A) por lo tanto:
(S A) + (S Ac )
(Ak A) +
k=1
(Ak Ac )
k=1
pero es una medida sobre A, luego:

(Ak A) + (Ak Ac ) = (Ak )
por lo que obtenemos:
(S A) + (S Ac )
(Ak )
k=1
pero como esto vale para cualquier cubrimiento de S resulta:

(S A) + (S Ac ) (S)
Luego, A es medible.
En resumen: hemos partido de la medida definida sobre un algebra A

y hemos construido la medida definida sobre la -algebra M que coincide
con en A. As hemos probado que toda medida sobre un algebra se puede
extender a una medida sobre una -algebra que la contiene.
En particular si (A) es la -algebra generada por A tenemos (A) M .
As pues, cualquier medida sobre un algebra se puede extender a una medida
sobre la -
algebra generada (La ventaja es que esta -algebra no depende de la
medida).
Nos preguntamos: En que condiciones podemos asegurar que la extension
sea u
nica ?
Sea una medida sobre (A) que coincide con en A (para todo A A,
(A) = (A)). puede ser 6= en (A) ?
S
Sea E (A). Si E k=1 Ak donde los Ak A entonces:
(E)
X
k=1
(Ak )
c
Notas de An
Pablo L. De Napoli
69
por ser -subaditiva. O sea,

(E)
(Ak )
k=1
Como esto vale para cualquier cubrimiento de E por miembros de A, concluimos

que (E) (E)
Sean E (A) , A A, (A) < +
(A) = (A E) + (A E c ) (A E) + (A E c ) = (A)
ya que A es medible. Pero como A A, (A) = (A), luego (A) (A)
Si suponemos que (A E) y (A E c ) son finitas resulta:
(A E) (A E)
(A E c ) (A E c )
Luego (A E) y (A E c ) son finitas, y ademas en realidad:
(A E) = (A E)
(A E c ) = (A E c )
porque si por ejemplo fuera (A E) < (A E) entonces:
(A) = (A E) + (A E c )
< (A E) + (A E c ) = (A) = (A)
contra la hip
otesis de que y coinciden en A (dem si fuera (A E c ) <
(A E c ) )
(Nota: este razonamiento no es valido si intervienen valores infinitos: por
ejemplo:
1 < +, + +; pero 1 + (+) = (+) + (+) = +)
Definici
on 3.4.5 La medida : A [0, +] se llama -finita si existe una
sucesi
on (Ak ) A tal que
[
X=
Ak
k=1
con (Ak ) < + Es decir: es -finita si el espacio se descompone como la

uni
on numerable de conjuntos de medida finita. Observaci
on: se puede suponer
que los Ak son disjuntos.
Ejemplo: La medida de Lebesgue en RN es -finita.
c
Notas de An
Pablo L. De Napoli
70
Si suponemos que es -finita y (Ak ) es una sucesion disjunta de conjuntos

de A tales que
[
X=
Ak con (Ak ) < +
k=1
teneomos que:
(E) =
(E Ak ) =
k=1
(E Ak ) = (E)
k=1
pues es una medida en (A)).

Como Ak E A, entonces
(Ak E) (Ak ) = (Ak )
y resulta que:
(Ak E) < +
An
alogamente:
(Ak E c ) < +
Entonces, podemos aplicar el razonamiento anterior y concluir que: y coinciden en (A) (en realidad en M )
En definitiva, hemos probado el siguiente teorema de extension de medidas:
Teorema 3.4.6 (Carath
eodory-Hahn) Toda medida sobre un
algebra de conjuntos se puede extender a una medida sobre la -
algebra generada. Si la medida
es -finita dicha extensi
on es u
nica.
Captulo 4
Espacios Lp(E, )
4.1.
Funciones equivalentes
Sea (E, M, ) un espacio de medida. Estamos interesados en la clase F de

las funciones medibles medibles f : E C. En el conjunto F introducimos
la siguiente relaci
on de equivalencia: f ' g si f (x) = g(x) en casi todo punto
de E con respecto a la medida . Es decir si ((E E : f (x) 6= g(x))) = 0..
Facilmente se comprueba que ' es efectivamente una relacion de equivalencia.
Es importante el hecho de que esta relacion de equivalencia es compatible con
las operaciones algebraicas con funciones:
Proposici
on 4.1.1 Si f1 ' f2 y g1 ' g2 y C, entonces:
1. f1 + f2 ' g1 + g2
2. f1 f2 ' g1 .g2
3. f1 ' f2
Demostraci
on: Probaremos por ejemplo la primera afirmacion (Las otras son
an
alogas):
{f1 + f2 6= g1 + g2 } {f1 6= g1 } {f2 6= g2 }
Como los conjuntos del segundo miembro tienen medida nula por hipotesis,
lo mismo ocurre con el del primero.

Por comodidad identificaremos (consideraremos iguales) a las funciones que
son iguales en casi todo punto, y escribiremos f = g en lugar de f ' g.
4.2.
Norma p ( 1 < p < )
Definici
on 4.2.1 Sea 1 p < un n
umero real. Dada una funci
on f F,
definimos la norma p de f (sobre el espacio E) con respecto a la medida , o
71
c
Notas de An
Pablo L. De Napoli
72
m
as brevemente la norma p de f por:
Z
kf kp = kf |Lp (E,) =
1/p
|f | d
E
Observaci
on: puede ocurrir que kf kp = + (cuando la integral valga +)
Observemos que si f ' g entonces kf kp = kgkp (Ya que dos funciones iguales
en casi todo punto tienen la misma integral).
4.3.
Norma Infinito
Definici
on 4.3.1 Dada una funci
on f F definimos su norma infinito por:
kf k = nf{C R : |f (x)| C en casi todo punto x de E respecto de }
Este nfimo siempre existe como un elemento de la recta real extendida R,
pudiendo valer eventualmente + (Notar que C = + es una de las posibles
constantes). Si kf k 6= + podemos escribir:
{x E : |f (x)| > kf k } =

[
n=1
1
x E : |f (x)| > kf k ) +
n
De la definici
on de kf k se sigue que los conjuntos del segundo miembro tienen
medida nula. Por lo tanto el del primero tambien es decir:
| f | kf k
en casi todo punto de E. Pero esto significa que kf k es en realidad un elemento del conjunto sobre el que tomamos nfimo, es decir es el mnimo de dicho
conjunto:
kf k = mn{C : |f (x)| C en casi todo punto x de E respecto de }
La norma infinito de f est
a caracterizada pues, por las siguientes propiedades:
1. |f | kf k en casi todo punto de E respecto de
2. Es la mnima constante con esta propiedad.
Nuevamente si f ' g, entonces k f k =k g k .
Notaci
on: Una constante C tal que kf | C en casi todo punto se llama una
cota superior esencial de |f |. Las funciones de L se llaman esencialmente
acotadas.
El siguiente teorema da una explicacion del por que del nombre norma
infinito:
c
Notas de An
Pablo L. De Napoli
Teorema 4.3.2 Si
R
E
73
| f |p d < + para alg

un p > 0, entonces
kf k = lm kf kq
q
Demostraci
on: Tenemos que:
Z
Z
Z
q
qp
p
qp
|f | d =
|f |
|f | d kf k
| f |p d
E
pues |f | kf k en casi todo punto de E con respecto a . Elevando ambos

miembros a la potencia 1/q:
kf kq kf k1p/q
1/q
|f |p d
Z
E
Hacemos ahora que p , y resulta:

lm kf kq kf k
(4.1)
Si kf k = 0 entonces f = 0 (en casi todo punto), kf kq = 0 y el teorema es

trivial. Podemos suponer pues que kf k 6= 0.
Ahora elegimos una constante c con 0 < c < kf k arbitraria, y consideramos
el conjnto A = {x E : |f (x)| > c). Afirmamos que 0 < (A) < +. Que
(A) > 0 est
a claro por la definicion de la norma infinito. Si fuera (A) = +
se tendra:
Z
Z
Z
|f |p d
|f |p d
cp d = cp (A) = +
E
lo que contradice la hip

otesis. Analogamente tenemos que:
Z
Z
Z
q
q
|f | d
|f | d
cq d = cq (A)
E
Elevando ambos miembros a la potencia 1/q:

kf kq c (A)1/q
y ahora hacemos que q :
lm nf kf kq c
pero como esto vale para cualquier constante c con 0 < c < kf k resulta que:
lm nf kf kq kf k
De las desigualdades (4.1) y (4.2) se sigue el teorema.
(4.2)
c
Notas de An
Pablo L. De Napoli
4.4.
74
Espacios Lp (o Lp (E, )) (1 p )
Llamamos Lp a la clase de las funciones con norma p finita.

Lp = {f F :k f kp < +}
Es decir que:
f Lp si y solo si
| f |p d <
Observacion: Lp est
a en realidad formado por las clases de equivalencia respecto a la relaci
on ', pero como convenimos en considerar iguales a las funciones
que est
an en la misma clase podemos pensar Lp como una clase de funciones.
Lema 4.4.1 Si 1 p , entonces
k f kp = || kf kp
Demostraci
on: Probaremos primero el lema para 1 p < :
Z
k f kp =
| f |p d
1/p
Z
1/p
|| |f | d
=
E
Z
= ||
1/p
|f | d
= || kf kp
p
Probemos ahora el lema cuando p = . Tenemos:

| f | = || |f | || kf k
en casi todo punto de E[], por lo tanto
k f k || kf k
Por lo que || k f k es una constante que mayora a | f | en casi todo
punto y k f k es, por definicion, la mnima de tales constantes.

Lema 4.4.2
kf + gk kf k + kgk
c
Notas de An
Pablo L. De Napoli
75
Demostraci
on: Tenemos que:
|f + g| |f | + |g| kf k + kgk
en casi todo punto de E respecto de . Notemos que C = kf k + kgk es
entonces una constante tal que |f + g| | C en casi todo punto de E con
respecot a , y por definici
on,
kf + gk
es la mnima de tales constantes, en consecunecia: kf + gk C Es decir:
kf + gk kf k + kgk

Teorema 4.4.3 Si f, g Lp (1 p ) y C entonces f + g Lp y f
Lp . En otras palabras, Lp es un espacio vectorial sobre los n
umeros complejos.
Demostraci
on:
p
| f + g |p (| f | + | g |p ) (2 max(| f |, | g |)) 2p (max(| f |p , | g |p )

Por lo tanto,
| f + g |p 2p (| f |p + | g |p )
Integrando miembro a miembro resulta:
Z

Z
Z
p
p
p
p
| f + g | d 2
| f | d +
| g | d
E
Luego si las integrales del segundo miembro son finitas, tambien lo es la del
primero. Luego si f, g Lp con 1 p < , entonces f + g Lp .
Que lo mismo vale para p = se deduce inmediatamente del 4.4.2.
Finalmente por el lema 4.4.1, si k f kp es finita (1 p ) entonces k f kp
tambien lo es, o sea si f Lp entonces f Lp

Ejemplos:
1. El caso m
as frecuente es el siguiente: Consideramos E Rn un conjunto medible en el sentido de Lebesgue, y tomamos como la medida de
Lebesgue (restringida a los subconjuntos medibles de E, que formaran la
-
algebra M).
Por ej si f (x) = x y E = [0, 1] tendremos que f Lp ([0, 1]) si p + 1 >
0; mientras que si tomamamos E = [1, +], f Lp ([1, +]) cuando
p + 1 < 0.
2. Otro ejemplo de utilidad es tomar E como un conjunto medible Lebesgue
en Rn y
Z
(A) =
w(x) dx
A
c
Notas de An
Pablo L. De Napoli
76
siendo w(x) una funcion medible no negativa (una funcion de peso) y

A E medible. Se obtiene un espacio Lp pesado cuya norma es
Z
kf kLp (E,w(x)dx) =
1/p
|f (x)| w(x) dx
p
3. Finalmente, otro ejemplo importante es el siguiente: tomamos E = N y

como la medida de contar. El espacio Lp (E, ) se suele designar por `p .
Consisten en las sucesiones (an )nN C con la norma
!1/p
k(an )kp =
|an |
n=1
4.5.
Exponente Conjugado de p. Desigualdad de

H
older
Definici
on 4.5.1 Para 1 p definimos el exponente conjugado de p
notado p0 , de la siguiente manera:
Si 1 < p < entonces p0 =
p
p1
Si p = 1 entonces p0 =
Si p = entonces p0 = 1
Observacion:
1
1
+
=1
p p0
Esta es una forma m
as simetrica de expresar la relacion entre py p.
Lema 4.5.2 (Desigualdad de Young) Si 1 < p < , a 0 y b 0 entonces:
0
ap
bp
ab
+ 0
p
p
donde p0 es el exponente conjugado de p.
Demostraci
on: Para a, b 0, definamos
0
Q(a, b) =
bp
ap
+ 0 ab
p
p
queremos ver que Q(a, b) 0. Notamos que Q tiene la siguiente propiedad de

homogeneidad: si ponemos
a
= 1/p a,
b = 1/p0 b
c
Notas de An
Pablo L. De Napoli
77
con > 0, tenemos que

Q(
a, b) = Q(a, b)
Notamos entonces que siempre podemos elegir de modo que b = 1 a menos que
0
b = 0 (tomando = bp ), y que, en tal caso, Q(a, b) 0 si y solo si Q(
a, b) 0.
En consecuencia, bastar
a probar la desigualdad en los siguientes casos espaciales: cuando b = 1 y cuando b = 0.
Si b = 1,
1
ap
+ 0 a = F (a)
Q(a, 1) =
p
p
que es una funci
on de una variable. Calculando su derivada:
F 0 (a) = ap1 1
vemos que s
olo se anula en a = 1, y que es negativa en 0 < a < 1 y positiva si
a > 1. En consecuencia F (a) alcanza su mnimo en a = 1, y
Q(a, 1) = F (a) F (1) =
Si b = 0, tenemos
Q(a, 0) =
1
1
+ 0 1=0
p p
ap
0
p
por lo que la desigualdad queda demostrada.

Podemos demostrar ahora la desigualdad de Holder, que es una de las mas
importantes del an
alisis:
Teorema 4.5.3 (Desigualdad de H
older) Si 1 p y p0 es su exponente conjugado:
Z
Z
|f g| d
E
1/p Z
1/p0
0
|f |p d
|f |p d
Es decir:
Z
|f g| d kf kp kgkp0
E
Demostraci
on: Si p = 1 p0 = . Por definicion de k g k se tiene:
| f g || f | k g k
en casi todo punto de E respecto de . Por lo tanto:
Z
Z
| f g | d
Z
| f | k g k d =k g k
| f | d =k f k1 k g k
E
Esto prueba el teorema en este caso. Analogamente si p = (p0 = 1)
c
Notas de An
Pablo L. De Napoli
78
Podemos suponer pues suponer que 1 < p < . Si k f kp = 0 o k g kp0 = 0

entonces
f o g son nulas en casi todo punto de E respecto de , y por lo tanto
R
|f.g|
d
= 0 ,y la desigualdad se cumple trivialmente.
E
Podemos pues suponer que k f kp > 0 y k g kp0 > 0. Cuando k f kp = o
k g kp0 = es de nuevo trivial.
Supongamos pues 0 <k f kp < y que 0 k g kp0 <
En el lema 2 pongamos:
f (x)
a=
k f kp
b=
Tendremos:
g(x)
k g k p0
0
|f (x)|p
|g(x)|p
|f (x)||g(x)|
0
p +
kf kp kgkp0
pkf kp
p0 kgkpp0
Integrando resulta:
R
R
R
0
|f (x)g(x)| d
|f (x)|p d
|g(x)|p d
1
1
E
x
= + 0 =1
E
+
0
kf kp kgkp0
pkf kpp
p p
p0 kgkpp0
De donde resulta la desigualdad de Holder, multiplicando por k f kp k g kp0

Vale un resultado m
as general, que se prueba por induccion en la cantidad
k de factores:
Corolario 4.5.4 (Desigualdad generalizada de H
older) Si 1 pi
para i = 1, 2, ldots, k y
k
X
1
=1
p
i=1 i
entonces
k
Y
Z
|f1 (x)f2 (x) . . . fk (x)| d
E
4.6.
kfi kpi
i=1
Desigualdad de Minkowski
Teorema 4.6.1 (Desigualdad de Minkowski)

k f + g kp k f kp + k g kp
Demostraci
on: La desigualdad es inmediata en los siguientes casos:
k f kp = o k g kp =
c
Notas de An
Pablo L. De Napoli
79
y tambien cuando k f + g kp = 0.
Si p = 1 es muy f
acil: Como | f + g || f | + | g | integrando obtenemos lo
que queremos.
Si p = ya fue probada (lema 4.4.2).
Eliminando todos estos casos particulares, tendremos 1 < p < , k f kp <
, k g kp < , es decir que f, g Lp . Entonces, por el teorema 4.4.3, tendremos
que f + g Lp , y 0 < k f + g kp < .
Z
Z
| f + g |p d =
| f + g | | f + g |p1 d
E
Luego:
Z
|f +g |
p1
|f ||f +g |
| g | | f + g |p1 d
d +
Usando la desigualdad de H
older obtenemos:
1/p0
1/p0
Z
Z
Z
p
p
p
| f + g | d
| f + g | d
| f +g | d k f kp
+ k g kp
E
O sea:
Z
|f +g |
Z
d (k f kp + k g kp )
Llamemos =
|f +g |
1/p0
d
R
E
| f + g |p d. Entonces tenemos:
0
(k f kp + k g kp ) 1/p
Por lo tanto,
11/p (k f kp + k g kp )
O sea:
1/p (k f kp + k g kp )
Esto es:
k f + g kp k f kp + k g kp

Este teorema es importante porque nos permite hacer de Lp un espacio normado.
Nos queda verificar dos propiedades de la norma, a saber:
1.
k f kp =| | . k f kp
Esto fue probado (Lema 4.4.1)
2. k f kp = 0 si y s
olo si f = 0
Si k f kp = 0, entonces f es nula en casi todo punto de E[] (Se usa que si
la integral de una funci
on no negativa es 0, dicha funcion es nula en casi todo
punto). Seg
un el convenio adoptado para la igualdad, consideramos que f = 0.
As pues, tenemos que Lp es un espacio normado.
c
Notas de An
Pablo L. De Napoli
4.7.
80
Desigualdad integral de Minkowki
El siguiente teorema constituye una version integral de la desigualdad de

Minkowski (teorema 4.6.1). Su prueba es analoga.
on medible.
Teorema 4.7.1 Sean X Rn , Y Rm y f : X Y R una funci
Entonces 1 :
p
1/p Z Z
1/p
Z Z

p
|f (x, y)| dy dx
|f (x, y)| dx
dy

X
Demostraci
on: Consideramos la funcion definida por
Z
I(x) =
|f (x, y)| dy
Y
Por el teorema de Fubini-Tonelli, I(x) esta bien definida para casi todo x, y es
medible. Calculemos
Z

Z
Z
Z
kI(x)kpp =
I(x)p dx =
I(x)p1 I(x) dx =
I(x)p1
|f (x, y)| dy dx
X
Por el teorema de Fubini-Tonelli, podemos intercambiar el orden de las integrales

y escribir esta expresi
on como

Z Z
I(x)p1 |f (x, y)| dx dy
Y
Utilizando entonces la desigualdad de Holder en la integral interior, tenemos

que:
Z
p1
I(x)
Z
|f (x, y)| dx
1/p0 Z
1/p
p
|I(x)| dx
|f (x, y)| dx
p
Integrando en y, deducimos que:

kI(x)kpp
Z Z
=
I(x)
Y
p1

|f (x, y)| dx dy
0
kI(x)kp/p
p
Z Z
Y
1/p
|f (x, y)| dx
dy
p
de donde deducimos la desigualdad buscada pues p/p0 = p 1:

Z Z
kI(x)kp
Y
1/p
|f (x, y)| dx
dy
p
1 Enunciamos y demostramos este resultado en Rn (con la medida de Lebesgue), pues este

es el contexto en el que expusimos (en clase, por ahora no est
a incluido en estas notas) el
teorema de Fubini-Tonelli. Pero el mismo es v
alido en espacios de medida abstractos (siempre
que las medidas involucradas sean -finitas (pues el teorema de Fubini-Tonelli tambi
en es
v
alido en este contexto m
as general).
c
Notas de An
Pablo L. De Napoli
81
siempre que kI(x)kp sea finita y no se anule.

Si kI(x)kp = 0 (lo que ocurre si y solo si I(x) = 0 en asi todo punto), la
desigualdad es trivial.
Si kI(x)kp = + se requiere utilizar alg
un argumento de aproximacion. Por
ejemplo, kI(x)kp ser
a ciertamente finita si si f esta soportada en un un conjunto
de medida finita y es acotada.
Entonces aproximamos f por una sucesion de la forma fk (x) = f (x)Bk (x)
donde Bk = {(x, y) X Y : |x| k, |y| k, |f (x, y)| k}, y podemos sin
perdida de generalidad suponer que f 0. La desigualdad es valida para las
fk por el argumento anterior, y el teorema de convergencia monotona implica
entonces que es v
alida para f .
4.8.
Completitud de Lp (Teorema de Riesz-Fischer)
Lema 4.8.1 (Desigualdad de Tchebyschev) Sean f Lp y > 0 entonces:

1
({x E : |f (x)| }) p kf kpp
Demostraci
on: Sea A = {x E : |f (x)| } entonces:
Z
Z
Z
k f kpp =
| f |p d
| f |p d
p d = p (A)
E
Dividiendo por p se obtiene el lema.
Teorema 4.8.2 (Riesz-Fischer) Lp (1 p ) es un espacio normado

completo, es decir un espacio de Banach.
Demostraci
on: Caso 1 p
Debemos mostrar que toda sucesion de Cauchy en Lp converge.
Sea (fn ) una sucesi
on de Cauchy en Lp . Nuestra primera afirmacion es que
(fn ) es de Cauchy en medida:
Sea > 0 tenemos que probar ({x E : |fn (x)fm (x)| | )) tiende a cero
cuando nym tienden a infinito. Por el lema 4.8.1 aplicado a fn fm tenemos:
({x E :| fn (x) fm (x)| })
1
k fn fm kpp
p
Como (fn ) es de Cauchy en Lp dado > 0 podemos elegir n0 tal que si n, m

n0 , entonces k fn fm kp < 1/p . Luego si n n0 :
({x E : | | fn (x) fm (x)| })
1
p =
p
Como es arbitrario, y tambien, hemos probado que (fn ) es de Cauchy en

medida. Por lo tanto sabemos que tiene una subsucesion (fnk ) que converge en
c
Notas de An
Pablo L. De Napoli
82
casi todo punto de E (con respecto a ) a una funcion medible f finita en casi
todo punto.
Pongamos
f (x) = lm fnk (x)
n
Queremos ver f Lp y que fn f en Lp . Por el lema de Fatou,

Z
Z
lm inf | fnk fn |p d lm inf
| fnk fn |p d
E k+
k+
Ahora cuando k tiende a infinito fnk tiende a f , luego | fnk fn |p tiende a

| f fn |p (El lmite inferior es en realidad el lmite), y se obtiene:
Z
Z
p
| f fn | d lm inf
| fnk fn |p d = lm k fnk fn kpp
k
Pero como (fn ) es de Cauchy en Lp y nk k tenemos dado > 0 existe n0 tal

que k fnk fn k< 1/p si n, k n0 , en consecuncia:
lm k fnk fn kpp
k+
(Ya que si todos los n

umeros de una sucesion se conservan a partir de un cierto
momento menores o iguales que , el limite inferior es menor o igual que ).
Luego resulta:
Z
| f fn |p d si n n0
Lo que significa que f converge a f en Lp . Ademas f Lp ya que para n n0 ,

f fn Lp y como fn Lp f Lp .
Caso p = :
Sea (fn ) una sucesi
on de Cauchy en L . Esto significa que k fn fm k 0
cuando n, m . Para n, m N llamenos:
Zn,m = {x E :| fn (x) fm (x) |>k fn fm k }
Entonces (Zn,m ) = 0 por defincion de la norma infinito. Sea
Z=
Zn,m
n=1 m=1
Entonces (Z) = 0. Si x 6 Z, entonces x 6 Zn,m para ning

un n, m, entonces:
| fn (x) fm (x) |k fn fm k
Como fn fm k 0 cuando n, m resulta que (fn ) es uniformemente de
Cauchy en E Z, y por lo tanto converge uniformemente en E Z hacia una
funci
on f .
c
Notas de An
Pablo L. De Napoli
83
Para que f este definida en todo E pongamos f (x) = lm supn fn (x)

Entonces f es medible. Dado > 0, podemos elegir n0 tal que si n n0 ,
k fn fm k < . Entonces si x E Z,
| fn (x) fm (x) | k fn fm k <
Haciendo que m resulta:
k fn f k si x E Z y n n0
Esto significa que es una cota superior escencial de fn f por lo que:
k fn f k
Esto en particular prueba que f fn L f L , y como es arbitrario
resulta que k fn f k 0 cuando n , o sea que (fn ) converge a f en L .
4.9.
Inclusiones entre los espacios Lp
Teorema 4.9.1 Si (E) < y 1 p q < entonces vale la desigualdad

k f kp (E)(qp)/pq k f kq
Demostraci
on:
| f |p d =
Z
| f | 1 d
Sea r = q/p, calculemos su exponente conjugado r0 y usamos la desigualdad de

H
older:
q
q/p
=
r0 =
(q/p) 1
qp
y resulta:
Z
| f |p d
p/q Z
(qp)/q
| f |q ; d
1 d
Z
Es decir que:
Z
|f |
E
Z
d
p/q
| f | d
(E)(qp)/q
q
Al elevar a la potencia 1/p, resulta la desigualdad del teorema.
Corolario 4.9.2 Si (E) < y 1 p q < entonces Lq Lp y si fn f

en Lq entonces fn f en Lp .
c
Notas de An
Pablo L. De Napoli
84
Demostraci
on: Si k f kq es finita entonces k f kp es finita. Si f n f en Lq ,
k f fn kq 0, entonces k f fn kp 0.

Nota: Cuando 0 < p < 1 podemos definir

Z
Lp = f F :
| f |p d < +
E
p
L sigue siendo un espacio vectorial, pero no es un espacio normado con la

norma p (La desigualdad de Minkowski es falsa). No obstante, podemos definir
la distancia d(f, g) entre dos funciones f y g de Lp por
Z
d(f, g) =
| f g |p d
E
Lp resulta un espacio metrico completo.
4.10.
Clases de funciones densas en Lp
Teorema 4.10.1 Las siguientes clases de funciones son densas en Lp (Rn ) ( si

1p<)
1. Las funciones simples (que est
an en Lp )
2. Las funciones continuas (que est
an en Lp )
3. Las funciones continuas de soporte compacto. donde Soporte(f ) = {f 6= 0}.
Demostraci
on: RSea f Lp (Rn ). Supongamos ademas f : Rn R y f 0.
Por hip
otesis f p < . Sabemos que existe una sucesion de funciones simples no negativas k que tiende a f en forma creciente:
1 2 . . . k . . .
y
f (x) = lm k (x)
k
Tenemos:
k f
pk
pk
f p k Lp
0 (f k )p f p por el teorema de la convergencia mayorada

Z
lm (f k )p = 0 lm kf k kp = 0
k
Luego dado > 0, podemos elegir k tal que kf k kp <

Si f Lp es cualquiera con valores reales f = f + f , |f | = f + + f
donde f + = 1/2(f + |f |) y f = 1/2(|f | f ) permite descomponer a f como
diferencia de dos funciones positivas.
c
Notas de An
Pablo L. De Napoli
85
kf = kp = 1/2 k f + |f | kp 1/2.(kf kp + k|f |kp ) =k f kp

luego f + Lp . Analogamente f Lp .
Dado > 0 podemos elegir (por lo ya probado) funciones simples + y
tales que kf + + kp < /2 y kf kp < /2
kf (+ )kp = k(f + f ) (+ )kp kf + + kp + kf k
Finalmente si f : Rn C escribimos f = Re(f ) + i Im(f ) y aplicamos un
argumento an
alogo. Esto prueba que las funciones simples (que estan en Lp )
son densas en Lp .
Para probar que las funciones continuas son densas en Lp , basta probar que
una funci
on simple se puede aproximar en Lp por funciones continuas.
Primero lo probaremos para funciones caractersticas de conjuntos finitamente medibles. Sea E Rn medible con |E| < +, vamos a probar que dado
> 0 existe una funci
on continua g tal que kE gkp <
Como E es medible existen un conjunto abierto G y un cerrado F tales que:
F E G, |G F | p
Definimos entonces la funcion
g(x) =
d(x, F )
d(x, F ) + d(x, Gc )
(Gc es el complemento de G)
Si d(x, F ) = 0 x F ( F es cerrado)
Si d(x, Gc ) = 0 x Gc (Gc es cerrado) x 6 G
Como si x F x G se deduce que el denominador no se anula y como
la distancia a una conjunto es una funcion continua g es continua
Notemos que 0 g 1 y g(x) = 1 si x F , g(x) = 0 si x Gc ,
Z
Z
p
p
kE gkp =
|E g| =
|E g|p
Rn
GF
(pues el integrando vale 0 en Gc y en F .

Como 0 g 1 , deducimos
0 | g|p 1 k gkp |G F | < p
Elevando ambos miembros a la potencia 1/p :
k g k |G F | <
Sea ahora
=
N
X
i=1
c i Ei
c
Notas de An
Pablo L. De Napoli
86
una funci
on simple en Lp . Tenmos :
||p =
N
X
|ci |p .Ei
i=1
luego
Z
||p =
Rn
N
X
|ci |p .|Ei | + |Ei | < + para todo i.
i=1
Para cada i elijo una g continua tal que kEi gkp < (se puede por lo
antes probado). Sea:
g=
N
X
ci .gi
i=1
Entonces g es continua y
k gkp = k
N
X
ci (Ei gi )kp
i=1
N
X
|ci | kEi gi kp
i=1
N
X
|ci |
i=1
PN
Como es arbitrario , y i=1 |ci | es una constante que solo depende de ,
esto prueba que las funciones simples se pueden aproximar en Lp por funciones
continuas.
Finalmente para probar que las funciones continuas de soporte compacto son
densas en Lp , probaremos que una funcion continua g Lp se puede aproximar
en Lp por funciones continuas de soporte compacto.
Definamos la funci
on
k =
c
d(x, B2k
)
c
d(x, B2k ) + d(x, Bk )
donde Bk = B(0, k) y B = B(0, 2k)

Notamos k es continua vale 1 en Bk y 0 fuera de B2k g k es una
funci
on continua de soporte compacto.
|g g k |p = |g (1 k )|p |g|p
Cuando k , g k g por el teorema de la convergencia mayorada.
Z
|g g k |p 0 cuando k
Rn
o sea g k g en Lp
Observaci
on: Cuando p = , sigue siendo cierto que las funciones simples
acotadas son densas en L (RN ), sin embargo las funciones continuas acotadas
c
Notas de An
Pablo L. De Napoli
87
no son densas en L (RN ) (de hecho, son un subespacio cerrado, pues el lmite
uniforme de funciones continuas acotadas tambien lo es).
Ejercicio: Probar que Lp (RN ) es un espacio metrico separable si 1 p <
+, pero no lo es si p = .
4.11.
El espacio L2 - Espacios de Hilbert
Entre los espacios Lp se destaca de modo especial el L2 ya que su norma

proviene de un producto escalar:
Definici
on 4.11.1 Si f, g L2 (E, ) entonces definimos el producto escalar o
producto interno de f por g mediante:
Z
hf, gi =
f g d
E
on conjugada de g (Para cada x, g(x) = g(x), donde

donde g significa la funci
la barra indica el complejo conjugado)
Si en la desigualdad de H
older tomamos p = 2 p0 = 2 y resulta:
Z
Z
|f g| d
E
1/2 Z
1/2
| f | d
|g(x)|d
= k f k2 k g k2
luego si f, g est
an en L2 entonces f g es integrable (hf, gi esta bien definido), y
|hf, gi| k f k2 . k g k2
(Desigualdad de Cauchy-Schwarz).
Propiedades del producto interno

H1) hf + g, hi = hf, gi + hg, hi h f, hi = hf, gi (Linealidad en el primer
argumento))
H2) hf, gi = hg, f i
H3) hf, f i 0 y hf, f i = 0 f = 0 (Recordamos f = 0 significa f (x) = 0 en
casi todo punto)
Un espacio vectorial H sobre los n
umeros complejos en el que esta definido
un producto interno (o escalar) que satisface las propiedades H1)H2) y
H3) se llama un espacio con producto interno (o escalar) o espacio preHilbertiano.
En cualquier espacio con producto interno valen:
1.
hf, 0i = h0, f i = 0 para todo f
c
Notas de An
Pablo L. De Napoli
88
2.
hf, .gi = hf, gi
3.
|hf, gi|2 = hf, gi hg, f i
En cualquier espacio con producto interno H se define:
k f k=
< f, f >
Se verfica por 3) que k f k 0 para todo f Hy que k f k= 0 si y solo

si f = 0.Esto hace de Hun espacio normado, y en particular un espacio
metrico ( definiendo la distancia por d(f, g) =k f g k)
Si el espacio H es un espacio metrico completo, diremos que es un espacio
de Hilbert. Por ejemplo, L2 es un espacio de Hilbert. En lugar de estudiar el
espacio L2 , vamos a estudiar un espacio de Hilbert H cualquiera.
Proposici
on 4.11.2 (Desigualdad de Cauchy-Schwarz) En cualquier espacio con producto interno se tiene:
| hf, gi |k f k k g k
( Para L2 es un caso particular de la desigualdad de Holder)
Demostraci
on: Si g = 0 entonces hf, gi = 0, y la desigualdad es trivial. Supongamos pues g 6= 0
0 k f + g k2 = hf + g, f + .gi = hf, f + gi + hg, f + .gi =
= hf, f i + hf, gi + hg, f i + hg, gi
Pongamos;
=
hf, gi
k g k2
hg, f i
k g k2
de modo que:
Resulta:
0 k f k2
hf, gi hg, f i
k g k2
y como hf, gi hg, f i =| hf, gi |2 , resulta multiplicando por k g k2 :

0 k f k2 k g k2 | hf, gi |2
Por lo tanto
| hf, gi |2 k f k2 . k g k2
y tomando raz cuadrada obtenemos lo que queremos.
c
Notas de An
Pablo L. De Napoli
89
Proposici
on 4.11.3 En cualquier espacio con producto interno valen:
i)
k f k=| | k f k
ii)
k f + g kk f k + k g k
iii)
k f k 0 y k f k= 0 f = 0
Demostraci
on:
k f k2 = h f, f i = hf, f i =| |2 k f k2
Tomando raz cuadrada obtenemos i)
k f + g k2 = hf + g, f + gi = hf, f i + hf, gi + hg, f i + hg, gi
Notemos que
hf, gi + hg, f i = hf, gi + hf, gi = 2 Rehf, gi
(donde Re significa: parte real)
k f + g k2 =k f k2 +2Rehf, gi+ k g k2
Utilizamos ahora la desigualdad Re(z) | z | para obtener:
k f + g k2 k f k2 +2 | hf, gi | + k g k2
Y por la desigualdad de Cauchy-Schwarz:
0 k f k2 +2 k f k k g k + k g k2 = (k f k + k g k)2
Tomando raz cuadrada obtenemos ii)
iii) es simplemente otra forma de escribir la condicion 3) de la definicion.
Esta proposici
on prueba que un espacio con producto interno es un espacio
normado.
Proposici
on 4.11.4 (Teorema de continuidad) Si f fn , gn g y n
entonces:
i) fn + gn f + g
ii) n fn f
iii) hfn , gn i hf, gi
iv) k fn kk f k
(Esto es: en un espacio con producto interno la suma,el producto por escalares
y el producto interno son continuos)
c
Notas de An
Pablo L. De Napoli
90
Demostraci
on: i):
k (fn + gn ) (f + g) k k fn f k + k gn g k
Cuando n tenemos que k fn f k 0 y k gn g k 0 por hipotesis,
luego:
k (fn + gn ) (f + g) k 0
o sea:
fn + gn f + g
ii):
k n fn f k=k n (fn f ) + (n ) f k
k n fn f k=k (n ) (fn f ) + (fn f ) + (n ).f k
Por lo tanto,
k n fn f k| n | k fn f k + | | k fn f k + | n | k f k
Cuando n , k fn f k 0 y | n | 0 por hipotesis, luego
k n fn f k 0
Es decir: n fn f .
iii):
| hfn , gn i hf, gi |=| hfn , gn gi + hfn f, gi |
| hfn , gn i hf, gi |=| hfn f, gn gi + hf, gn gi + hfn f, gi |
| hfn , gn i hf, gi || hfn f, gn gi | + | hf, gn gi | + | hfn f, gi |

Usando la desigualdad de Cauchy-Schwarz,
| hfn , gn i hf, gi |k fn f k k gn g k + k f k k gn g k + k fn f k k g k
cuando n k fn f k 0 y k gn g k 0, luego | hfn , gn i hf, gi | 0
Esto significa que hfn , gn i hf, gi.
iv): Aaplicamos iii) con gn = fn entonces
k fn k2 k f k2
luego
k fn kk f k
c
Notas de An
Pablo L. De Napoli
4.12.
91
Teorema de la Perpendicular
Definici
on 4.12.1 Sea H un espacio con producto interno. Diremos que dos
vectores f, g H son ortogonales y escribiremos f g si hf, gi = 0. Sea
S H, definimos S por:
S = {v H : hv, si = 0 para todo s S}
Observaci
on 4.12.2 S es un subespacio vectorial cerrado de H.
Demostraci
on: 0 S pues h0, si = 0 para todo s S.
Si f, g S entonces para cualquier s S tenemos
hf + g, si = hf, si + hg, si = 0
luego f + g S
Si f S y C, entonces para todo s S:
h f, si = hf, si = 0
luego f S
Finalmente, si fn es una sucesion de vectores de S y fn f tenemos para
s S, hfn , si = 0 y por la proposicion 4.11.4 hf, si = 0 luego f S .

Proposici
on 4.12.3 (Identidad del paralelogramo) En un espacio con producto interno se tiene:
k f + g k2 + k f g k2 = 2. k f k2 +2. k g k2
(4.3)
geometricamente: La suma de los cuadrados de las diagonales de un palalelogramo es la suma de los cuadrados de sus lados.
Demostraci
on: Es inmediata:
k f + g k2 = hf + g, f + gi
k f + g k2 = hf, f i + hf, gi + hg, f i + hg, gi
k f + g k2 = kf k2 + 2 Rehf, gi + kgk2
(4.4)
Si cambiamos g por g, se obtiene que

k f g k2 = kf k2 2 Rehf, gi + kgk2
Y sumando estas relaciones se obtiene la identidad del enunciado.
Notas: 1) se puede probar que si en un espacio normado vale la identidad del

paralelogramo la norma proviene de un producto escalar.
2) Se puede usar para probar que en los Lp (Rn ) con p 6= 2 la norma no proviene de un producto escalar ( Tomar por ejemplo f = funcion caracterstica del
intervalor [0, 1/2] y g la del intervalo [1/2,1] )
Recordamos que un subconjunto C de un espacio vectorial es convexo si
dados x, y C, el segmento que los une esta contenido en C, es decir si (1
)x + y C, para todo [0, 1].
c
Notas de An
Pablo L. De Napoli
92
Teorema 4.12.4 Sea C H un conjunto convexo cerrado, y h H. Entonces

existe un vector f0 C, que realiza la distancia de h a C, es decir tal que
kf0 h| = d(h, C) = nf{k h f k: f C}
Demostraci
on: Sea d = d(h, C). En virtud de la definicion de nfimo, existe
una sucesi
on (fn ) de puntos de F tales que k h fn k d. (Una tal sucesion se
llama una sucesi
on minimizante). Escribiremos
kh fn | = d + n donde n 0
Vamos a probar que (fn ) es una sucesion de Cauchy: Por la identidad del
paralelogramo (4.3) con f = fn2h y g = fm2h tenemos que:

2

fn fm 2
fn h 2
fm h 2

fn + fm

h +
= 2 2 + 2 2

2
2
Pero como C es convexo,
fn +fm
2
C, en consecuencia:
2

fn + fm
d

h

2
Por lo tanto,
1
1
1
1
1
2
2
2
kfn fm k kfn hk + kfm hk d2 = (d + n )2 + (d + m )2 d2
4
2
2
2
2
Cuando n, m , se deduce que kfn fm k 0, es decir que (fn ) es de
Cauchy. Entonces, como H es completo, (fn ) convergera a alg
un vector f0 H.
Y como C es cerrado, y fn C para todo n, f0 C. Y por la continuidad de
la norma, kfn hk = d.

Teorema 4.12.5 (de la perpendicular) Sea H un espacio de Hilbert. Sea F
un subespacio vectorial cerrado de H entonces H = F F
(Geometricamente: por un punto exterior al subespacio F pasa una sola perpendicular a F )
Demostraci
on: Sea h H. Notamos que un subespacio es en particular un
conjunto convexo. Luego por el teorema anterior, existe un vector f0 F que
realiza la distancia d = d(h, F ).
Vamos a probar que h f F . Para ello, tomemos cualquier g F , y
consideremos la funci
on de la variable real t,
P (t) = kh (f0 + tg)k2
Desarroll
andola de acuerdo a (4.4), vemos que P (t) es un polinomio cuadratico:
P (t) = kh f0 k2 + 2t Rehh f0 , gi + t2 kgk2
c
Notas de An
Pablo L. De Napoli
93
Observamos que f0 + tg F , por ser F un subespacio. Luego, P (t) d =

P (0). Es decir P (t) tiene en t = 0 un mnimo. Luego P 0 (0) = 0, es decir:
Rehh f0 , gi = 0 g F
(4.5)
En el caso de un espacio de Hilbert real, esto prueba que h f F . En el

caso complejo, notamos que si g F , ig F por ser F un subespacio luego:
Rehh f0 , igi = 0 g F
o sea:
Re(i)hh f0 , gi = 0 g F
En consecuencia:
Imhh f0 , gi = 0 g F
y teniendo en cuenta (4.5),
hh f0 , gi = 0 g F
Es decir que h f0 F .
En consecuencia, hemos podido escribir a cualquier vector h H en la forma
h = f0 + (h f0 ), donde f0 F y h f0 F . Es decir que: H = F + F .
Si f F F , entonces hf, f i = 0, luego f = 0. Es decir F F = {0}.
Por
algebra lineal, sabemos que entonces H = F F
4.13.
Funcionales Lineales Continuas en un espacio de Hilbert
Definici
on 4.13.1 Una funcional lineal en el espacio de Hilbert H una funci
on
: H C que satisface
(1 h1 + h2 ) = 1 (h1 ) + 2 (h2 )
Recordamos que si es continua, entonces existe una constante C tal que
| (h) | C k h k
La mnima constante C posible se llama la norma de y se nota k k
Ejemplo: Sea f H fijo. Entonces definamos
f (h) = hh, f i para todo h H
. Entonces f es una funcional lineal continua, ya que por la desigualdad de
Cauchy-Schwarz tenemos que:
|f (h)| kf k khk
Adem
as se tiene kf k kf k. Pero eligiendo h =
kf k = kf k
f
kf k ,
vemos que en realidad:
c
Notas de An
Pablo L. De Napoli
94
Teorema 4.13.2 (Teorema de representacion de Riesz) Si : H C

es una funcional lineal continuaen un espacio de Hilbert H entonces existe un
u
nico vector f H tal que para todo h H(h) = hh, f i. Es decir: = f ,
para alg
un f H.
Demostraci
on: Probaremos primero la existencia de f . Sea
N = N u() = {h H : (h) = 0} = 1 ({0})
Como eslineal y continua, N es un subespacio vectorial cerrado. Entonces,
H = N N .
Si N = {0}, entonces N = H Tomamos f = 0, y listo ( es identicamente
nula).
Si N 6= {0}, sea g N con k g k= 1. (Si j N y j =
6 0 tomamos
g = j/ k j k )
Sea h H cualquiera, veamos que (h) g (g) h N :
((h) g (g) h) = (h) (g) (g) (h) = 0
Como g N , tendremos:
h(h) g (g) h, gi = 0
h(h) g, gi h(g).h, gi = 0
O sea:
(h) hg, gi h(g) h, gi = 0
2
Como hg, gi =k g k = 1 se tiene

(h) = h(g) h, gi
Podemos escribirlo como
(h) = hh, (g) gi
Llamemos f = (g) g entonces f es el vector buscado.
Veamos que f es u
nico. Si para todo h H fuera:
hh, f1 i = hh, f2 i
sera:
hh, f1 f2 i = 0
En particular:
hf1 f2 , f1 f2 i = k f1 f2 k2 = 0
Por lo tanto, f1 f2 = 0 f1 = f2 . Esto termina la demostracion.
Captulo 5
Diferenciacion (en RN )
El prop
osito de este captulo es probar resultados que generalizan el teorema
fundamental del c
alculo para la integral de Lebesgue. Se trata sin duda de los
resultados m
as bellos y profundos que veremos en el curso. Antes de llegar a
ellos, necesitaremos desarrollar algunas herramientas.
5.1.
El Lema Simple de Vitali
Comenzaremos nuestro trabajo, probando un lema de cubrimiento.

Si B = B(x0 , r) = {x RN : kxk r} es una bola cerrada en RN tenemos
que:
m(B) = N rN
donde N = m(B(0, 1)) es una constante que depende de la dimension.
Notaremos r(B) al radio de la bola B.
Lema 5.1.1 (Lema Simple de Vitali) Sea C una colecci
on de bolas cerrados
que cubre un conjunto E RN . Si sup{r(B) : B C} < +, existe una
sucesi
on disjunta (finita o no) de bolas de la colecci
on C:
B1 , B2 , . . . , Bk , . . .
tal que:
m((Bk ) C(N ) me (E)
k=1
donde C(N ) es una constante que depende s

olo de la dimensi
on, que puede
tomarse como C(N ) = (3 + )N para cualquier > 0.
Demostraci
on: Fijemos 0 < < 1, y sea > 0 tal que
95
1
1
=1+
c
Notas de An
Pablo L. De Napoli
96
Sea s1 = sup{r(B) : B C}, que es finito por hipotesis. Como con 0 <
< 1, podemos elegir una bola B1 C tal que:
r(B1 ) > s1 (1 )
Puede ocurrir que B1 intersecte a cualquier bola de C entonces el proceso de
selecci
on se detiene all.
Si no es este el caso consideramos:
s2 = sup{r(B) : B C, B B1 = }
Podemos elegir una bola B2 C tal que:
r(B2 ) > s2 (1 ), B1 B2 =
Puede ocurrir que cualquier bola de la coleecion intersecte a B1 o a B2 . Si
este es el caso, el proceso termina aqu Si no, continuamos el proceso.
En general: Supongamos que ya elegimos B1 , B2 , . . . , Bk1 disjuntas. Si no
existe B C que no corte a B1 , B2 , . . . , Bk1 no podemos proseguir.
Si existe, sea:
sk = sup{r(B) : B C, B (B1 B2 . . . Bk1 ) = }
Elegimos Bk C, tal que
r(Bk ) > sk (1 ), Bk (B1 B2 . . . Bk1 ) =
Este proceso puede terminar en un n
umero finito de pasos u obtenerse una
sucesi
on Bk infinita.
Supongamos primero que se obtiene una sucesion infinita. Esta claro que,
por construcci
on, las bolas Bk resultan disjuntas.
Queremos probar que:
m(Bk ) C(N ) me (E)
k=1
Si la serie diverge no hay nada que probar. Supongamos pues que converge.
Luego:
m(Bk ) 0 cuando k r(Bk ) 0 cuando k
Vamos a probar que toda bola de C corta a alguna bola de la sucesion Bk .
Supongamos que existe una bola B C que no corta a ninguna bola Bk
k B Bk =
Para cada k tendremos: sk r(B) , pues B pertenece a la coleccion de bolas
{B : B C, B (B1 B2 . . . Bk1 ) = }
c
Notas de An
Pablo L. De Napoli
97
Deducimos que: r(Bk ) > sk (1 ) r(B)/2

Como r(B)(1) es un n
umero positivo fijo esto es absurdo, ya que r(Bk )
0 cuando k . Esta contradiccion provino de suponer que exista una bola
B en C que no corta a ninguna de las Bk .
Luego toda bola de C corta a alguna Bk . Lo mismo vale si el proceso de
selecci
on se detiene tras un n
umero finito de pasos.
Sea B C cualquiera. Consideremos el mnimo ndice k tal que B Bk 6=
B (B1 B2 . . . Bk1 ) = sk r(B)
(Si fuera k = 1 igualmente sera s1 (B))
(r(B) es un elemento de la coleccion de n
umeros cuyo supremo es sk ))
Por otra parte, por construccion, tenemos que:
r(Bk ) > sk (1 ) r(B)(1 )
O sea para cualquier bola B C existe una bola Bk de las que hemos elegido,
1
r(Bk ) = (1 + )r(Bk )
tal que B Bk 6= y r(B) < 1
Sea Bk la bola cncentrico con Bk cuyo lado es r(Bk )(3+), entonces: B Bk

En efecto, si B = B(x, r) y z B, sea y B Bk ,
d(z, xk ) d(z, x) + d(x, y) + d(y, xk ) 2r(B) + r(Bk )) < (3 + )r(Bk )
Las Bk no son necesariamente disjuntas. m(Bk ) = (3 + )n m(Bk )
E
Bk
k=1
Bk
k=1
Por lo tanto:
me (E)
m(Bk ) =
k=1
(3 + )N m(Bk )
k=1
(3 + )N me (E)
m(Bk )
k=1
Esto es lo que queramos probar.
Observaci
on 5.1.2 El lema vale aunque r(B) no este acotado si pedimos me (E) <
+ , en efecto si r(B) no es acotado podemos elegir una sola bola B1 tal que:
m(B1 ) (3 + )N me (E)
Observaci
on 5.1.3 El lema simple de Vitali vale tambien si reemplazamos las
bolas por cubos, que son las bolas para la distancia
d (x, y) = sup |xi yi |
1in
c
Notas de An
Pablo L. De Napoli
5.2.
98
Funci
on Maximal de Hardy - Littlewood
En esta secci
on, introduciremos un operador que resultara de fundamental
importancia para probar el teorema de diferenciacion de Lebesgue. Cabe mencionar que este operador tiene muchas otras aplicaciones, ya que permite acotar
a muchos operadores que aparecen en el analisis armonico.
Definici
on 5.2.1 Sea f L1 (Rn ). Definimos la funci
on maximal de HardyLittlewood por:
Z
1
|f (y)|dy
M f (x) = sup
B3x m(B) B
donde el supremo se toma sobre todos las bolas cerrados B que contienen al
punto x. M es un operador (el operador maximal de Hardy - Littlewood)
Observaci
on 5.2.2 En la definici
on de M f (x) se pude reemplazar las bolas
cerradas por bolas abiertas.
Demostraci
on: Notemos M f (x) a una funcion definida como M f (x) pero
usando bolas abiertas en vez de bolas cerradas.
T
Sea B una bola cerrada que contiene a x la escribimos como B = k=1 Bk
donde las Bk forman una sucesioRn decreciente de
R bolas abiertos.
Tenemos: m(Bk ) m(B) y Bk |f (y)|dy B |f (y)|dy (se justifica usando
R
R
1
1
|f |dy m(B)
|f |dy
el teorma de Lebesgue para f Bk ). Luego: m(B
Bk
B
k)
Ahora para cada k es:
Z
1
|f |dy M f (x)
m(Bk ) Bk
por lo tanto:
1
m(B)
|f |dy M f (x)
y como vale para cualquier bola cerrada B sera:

M f (x) M f (x)
Analogamente podemos escribir una bola abierta como union de una sucesion
creciente de bolas ceradas y obtener: M f (x) M f (x) luego M f (x) = M f (x)

Observaci
on 5.2.3 M f (x) es continua inferiormente : el conjunto
{x Rn : M f (x) > }
es abierto para todo R .
c
Notas de An
Pablo L. De Napoli
99
Demostraci
on: Supongamos M f (x) > ,entonces existe una bola abierta B
tal que:
Z
1
|f (y)|dy >
m(B) B
Sea > 0 tal que B(x, ) = {x0 Rn :k x x0 k< } B
( que existe por ser la bola B abierto)
R
1
|f (y)|dy >
Si y B(x, ) M f (y) m(B)
B
ya que B es una bola que contiene al punto y. As pues , hemos probado que
dado x {M f (x) > } existe una bola B(x, ) contenida en dicho conjunto
{M f (x) > } es abierto.

Corolario 5.2.4 M f (x) es una funci
on medible.
Proposici
on 5.2.5 (Desigualdad Maximal de Hardy - Littlewood) Si f
L1 (Rn ) y > 0
C(N )kf k1
m ({M f > })
(5.1)
donde C(N ) es una constante que depende s

olo de la dimensi
on (de hecho se
puede tomar C(N ) = 3N ).
Demostraci
on: Siendo > 0 pongamos E = {x : M fR(x) > }. Si x E
1
entonces existe una bola cerrada B tal que x B y m(B)
|f (y)|dy >
R B
1
Sea C la colecci
on de las bolas B que cumplen m(B) B |f (y)|dy > . Cada
punto de E est
a
en
una bola B. por lo tanto C cubre el conjunto E.
R
Si B C , B |f (y)|dy > m(B) m(B) < kfk1
Luego, las bolas de C tienen radios acotados. Luego por el lema simple de
Vitali existe una sucesi
on disjunta
B1 , B2 , . . . , Bk , . . .
de bolas de la colecci
on C tales que:
m(Bk ) C(N )1 me (E)
k=1
Por lo tanto,
me (E) C(N )
X
k=1
donde A =
Z
Z
X
C(N )
1
m(Bk ) C(N )
|f (y)|dy =
|f (y)|dy
B
A
k=1
Bk Em consecuencia:
me (E)
C(N )kf k1
como queramos probar.

Resumamos las propiedades del operador maximal:
c
Notas de An
Pablo L. De Napoli
100
1. Es sublineal
M (f + g) M (f ) + M (g)
2. Es positivamente homogeneo: Si c R es una constante, M (c f ) =
|c| M (f )
3.
kM f k kf k
Dem Sea C = kf k |f (y)| C en casi todo punto.
1
m(B)
Z
|f (y)|dy
B
1
m(B)
Z
Cdy = C
B
luego M f (x) C
4. Se verifica la desigualda maximal: Existe una constante C(N ) > 0 tal que
si > 0 ,
C(N )kf k1
m ({M f > })
Corolario 5.2.6 Si f L1 (RN ) , M f (x) es finita en casi todo punto

Demostraci
on:
{M f (x) = +} =
{M f (x) > k}
k=1
luego
m({M f (x) = +}) m({M f (x) > k})
C(N )kf k1
k
Cuando k resulta que:

m({M f (x) = +}) 0 m({M f (x) = +}) = 0
Luego M f (x) es finita en casi todo punto.
Observaci
on 5.2.7 Tambien se considera a veces la maximal centrada
Z
1
Mc f (x) = sup
|f (y)|dy
r>0 m(B(x, r)) B(x,r)
o se puede reemplazar las bolas por cubos
1
Q3x m(Q)
Z
|f (y)|dy
ff (x) = sup
M
En RN , todas estas variantes de la funci

on maximal resultan equivalentes en el
sentido de que existen constantes c1 (N ), c2 (N ) > 0 tales que
ff (x) c2 (N )M f (x)
c1 (N )M f (x) M
(an
alogamente para Mc )
c
Notas de An
Pablo L. De Napoli
5.3.
101
Teorema de diferenciaci
on de Lebesgue
Sean f L1 (RN ), x RN , B una bola cerrada que contiene a x

Definici
on 5.3.1 Diremos que x es un punto de diferenciaci
on de la integral
de f si:
Z
1
f (y) dy = f (x)
lm
r(B)0 |B| B
(lmite cuando r(B) 0 )
Definici
on 5.3.2 Diremos que x es un punto de Lebesgue de f si
Z
1
|f (y) f (x)| dy = 0
lm
r(B)0 |B B
Observaci
on 5.3.3 Todo punto de Lebesgue es un punto de diferenciaci
on,
pues

Z
Z
1

1

f (y)dy f (x)
|f (y) f (x)| dy
m(B)
m(B) B
B
Teorema 5.3.4 (Teorema de diferenciaci
on de Lebesgue) Casi todo punto es un punto de lebesgue, o sea en casi todo punto x vale: (si f L1 )
Z
1
lm
|f (y) f (x)|dy = 0
r(B))0 |B|
B
Para demostrar este teorema, introducimos un operador L definido por:

Lf (x) = lm sup
r(B)0
1
f (y) f (x)| dy
m(B)
Una definici
on m
as precisa: se elige un > 0 y se forma
Z
1
L f (x) = sup
|f (y) f (x)| dy
r(B)< m(B) B
donde el supremo se toma sobre todas las bolas cerradas B que contienen a x
tales que r(B) < , entonces
Lf (x) = lm L f (x)
0
Queremos probar Lf (x) = 0 en casi todo punto (es equivalente al teorema)

Las propiedades de Lf (x) son parecidas a las de M f (x)
En primer lugar, observemos que:
L(f + g) L(f ) + L(g)
Lema 5.3.5 Si f es continua (e integrable) entonces Lf (x) = 0 en todo punto.
c
Notas de An
Pablo L. De Napoli
102
Demostraci
on: Si f es continua en x sera |f (y) f (x)| < si |x y| <
Si (B) = 2r(B) < y y B |x y| < (x B) |f (y) f (x)| < .
Luego
Z
1
1
|f (y) f (x)| dy
m(B) =
m(B) B
m(B)
Como esto vale para cualquier bola B 3 x tal que (B) < sera Lf (x) , y
como vale para todo ser
a Lf (x) = 0

Lema 5.3.6 Existe una constante C 0 = C 0 (N ) tal que:
m({Lf (x) > })
C0
k f k1
Demostraci
on:
Z
Z
Z
1
1
1
|f (y) f (x)| dy
|f (y)| dy +
|f (x)| dy
m(B) B
m(B) B
m(B) B
En consecuencia,
1
m(B)
Z
|f (y) f (x)| dy M f (x) + |f (x)|
B
y por lo tanto,
Lf (x) M f (x) + |f (x)|
Luego,
{Lf (x) > } {M f (x) > /2} {|f (x)| > /2}
y por lo tanto,
m({Lf (x) > }) |M f (x) > /2| + |{|f (x)| > /2|
Concluimos que,
me ({Lf (x) > })
2
2C + 2
2C
k f k1 + k f k1 =
k f k1
(Usamos la desigualdad maximal, C es la constante de Hardy-Littlewood 5n ).

Ahora podemos probar el teorema 5.3.4:
Demostraci
on: Sea f L1 . Como las funciones continuas son densas en L1 ,
existe una sucesi
on k de funciones continuas (e integrables) tales que k f
k k1 0
Tenemos que:
L(f ) = L((f k ) + k ) L(f k ) + L(k ) = L(f k )
pues L(k ) = 0 (k es continua). Por lo tanto: En consecuencia,
me ({Lf > }) me ({L(f k ) > })
c
Notas de An
Pablo L. De Napoli
103
(por inclusi
on). Por lo tanto,
me ({Lf > })
1
k f k k1 0 cuando k
C0
Por lo tanoto para todo > 0, |{Lf > }| = 0 y como
{Lf 6= 0}
{Lf > 1/k}
k=1
concluimos que me ({Lf 6= 0}) = 0, es decir que Lf (x) = 0 en casi todo punto.
5.4.
Cubrimientos de Vitali: Lema de Vitali
En esta secci
on, probaremos un lema de cubrimiento mas refinado.
Definici
on 5.4.1 Diremos que una colecci
on C de bolas cerradas cubre al conjunto E Rn en el sentido de Vitali si para todo x E y para todo > 0
existe una bola B C tal que x B y r(B) <
Observacion: Una bola tiene radio no nulo, por lo tanto debe haber infinitas
bolasque contengan a x.
Lema 5.4.2 (Lema de Vitali) Si 0 < me (E) < + y C cubre a E en el
sentido de Vitali entonces podemos extraer de C una sucesi
on de bolas disjuntas
B1 , B2 , . . . , Bk , . . . tales que
1.
me
!
Bk
=0
k=1
(Las bolas Bk cubren E salvo un conjunto de medida nula)

2.
|Bk | < +
k=1
(La serie de las medidas de las Bk converge)

Observacion: Si me (E) = + vale 1) pero no 2). Si me (E) = 0 es trivial.
Demostraci
on: Sea C(N ) la constante del lema simple de Vitali y fijemos
con 0 < < C(N ). Sabemos que existe un abierto G tal que G E y
m(G) me (E)(1 + ).
Podemos suprimir de C las bolas que no estan contenidas en G y seguir teniendo
un cubrimiento de Vitali. Supongamos pues que si B C B G.
c
Notas de An
Pablo L. De Napoli
104
Por el lema simple de Vitali, existe una sucesion B1 , B2 , B3 , . . . de bolas disjuntas

de C tales que:
m(Bk ) C(N )me (E) > me (E)
k=1
Existe entonces un N1 tal que

N1
X
m(Bk ) > me (E)
k=1
entonces,
me
N1
[
!
Bk
k=1
N1
[
Bk
= m(G)m
N1
[
!
Bk
k=1
k=1
= m(G)
N1
X
m(Bk )
k=1
ya que las Bk son disjuntas y estan incluidas en G. En consecuencia,

!
N1
[
me E
Bk < (1+)me (E)me (E) = (1++)me (E) < (1/2)me (E)
k=1
(siempre que elijamos < /2)

Concideramos el conjunto:
E1 = E
N1
[
Bk
k=1
y la colecci
on
(
C1 =
BC:B
N1
[
!
Bk
)
=
k=1
Entonces C1 cubre aSE1 en el sentido de S

Vitali
N1
N1
( Si x E1 d(x, k=1
Bk ) > 0pues k=1
Bk es un conjunto cerrado luego
SN1
existe un r > 0 tal que B(x, r)
k=1 Bk = , y como C es un cubrimiento
de Vitali, hay bolas de C contenidas en B(x, r) de diametro tan peque
no como
se quiera)
De C1 podemos pues, extraer una sucesion BN1 +1 , BN1 +2 , ..., BN2 (renombrandolos) tal que:
!
N2
[
me E1
Bk < (1 /2)me (E1 ) (1 /2)2 me (E)
k=N1 +1
Entonces,
me
N2
[
k=1
!
Bk
(1 /2)2 me (E)
c
Notas de An
Pablo L. De Napoli
Ahora consideramos:
N2
[
E2 = E
105
Bk
k=1
(
C2 =
N2
[
BC:B
Bk
)
=
k=1
Repitiendo el procedimiento, elegimos BN2 +1 , BN2 +2 , . . . , BN3 disjuntas entre s (y con las anteriores) tales que:
!
N3
[
me E2
Bk < (1 /2)me (E2 ) (1 /2)3 me (E)
k=N2 +1
entonces
me
N3
[
!
(1 /2)3 me (E)
Bk
k=1
Este proceso puede continuarse al infinito, obteniendo una sucesion Bk tal que
!
[
me E
Bk = 0
k=1
pues
me
!
Bk
me
Ni
[
!
(1/2)i me (E) 0 cuando i
Bk
k=1
k=1
Por u
ltimo como
Bk G m
k=1
!
Bk
m(G) < +
k=1
y como
m
[
k=1
!
Bk
m(Bk )
k=1
ya que las Bk son disjuntas, concluimos que
m(Bk ) m(G) < +
k=1
Esto prueba el lema.
c
Notas de An
Pablo L. De Napoli
106
Corolario 5.4.3 Si 0 < me (E) < + y la colecci

on de bolas C cubre E en el
sentido de Vitali, entonces podemos extraer de C una sucesi
on finita disjunta
B1 , B2 , . . . , Bn tal que:
!!
n
[
me E
Bk
> me (E)
k=1
Demostraci
on: Por el lema de Vitali, podemos extraer una sucesion B1 , B2 , . . . , Ek , . . .
tal que:
!
[
me E
Bk = 0
k=1
m(Bk ) < +
k=1
Dado > 0, existe un n

umero natural N tal que
m(Bk ) <
k=N +1
Definamos entonces:
N
[
A=
k=1
Bk ,
V =
Bk
k=N +1
entonces E A V Z, donde m(Z) = 0 ( Z = E

Entonces E (E A) V Z. Por lo tanto,
k=1
Bk )
me (E) me (E A) + me (V ) + me (Z) = me (E A) +
En consecuncia,
me (E A) me (E)
Esto prueba el corolario.
5.5.
Derivada de funciones mon

otonas:
Teorema 5.5.1 (Lebesgue-Vitali) Si f : [a, b] R es mon

otona creciente
entonces f 0 (x) existe (y es finita) en casi todo punto de [a, b]. Adem
as f 0 (x) es
integrable en [a, b]y vale:
Z
a
f 0 (x) f (b) f (a)
c
Notas de An
Pablo L. De Napoli
107
Lebesgue prob
o este teorema con la hipotesis de que f sea continua. Vitali
suprimi
o la hip
otesis de que f (x) sea continua.
Para demostrar el teorema introducimos las derivadas de Dini:
D+ f (x) = lm sup
h0+
D+ f (x) = lm inf
h0
D f (x) = lm sup
h0
D f (x) = lm inf
h0
f (x + h) f (x)
h
(Derivada superior por la derecha)
f (x + h) f (x)
h
(Derivada inferior por la derecha)
f (x + h) f (x)
h
(Derivada superior por la izquierda)
f (x + h) f (x)
h
(Derivada inferior por la izquierda)
Entonces f 0 (x) existe (en un punto x) si y solo si

D+ f (x) = D+ f (x) = D f (x) = D f (x)
y adem
as el valor com
un es finito.
Para trabajar siempre con valores de h positivos observemos que:
D f (x) = lm sup
h0
f (x) f (x h)
h
f (x) f (x h)
h
Vamos a probar que en casi todo punto:
D f (x) = lm inf
h0
D+ f (x) D f (x),
D f (x) D+ f (x)
(5.2)
Entonces:
D+ f (x) D f (x) D f (x) D+ f (x) D+ f (x)
por lo que ha de valer la igualdad.
Sean u, v n
umeros racionales con u > v > 0, y consideremos los conjuntos

E = Eu,v = x [a, b]/D+ f (x) > u > v > D f (x)
Como
{D+ f (x) > D f (x)} =
Eu,v
donde u, v Q y u > v > 0 si probamos que |Eu,v | = 0 para todo u, v, entonces

D+ f (x) D f (x) en casi todo punto.
c
Notas de An
Pablo L. De Napoli
108
Con el fin de ver que |E| = 0 (dados u, v fijos) razonamos as:

Sea t = |E|e y sea > 0, entonces existe un abierto G tal que G E y
|G| < t + . (Notemos que |E|e < pues E [a, b] )
Sea x E, entonces
D f (x) = lm inf
h0+
f (x) f (x h)
<v
h
Por lo tanto, hay valores de h > 0 tan peque

nos como se quiera tales que:
f (x) f (x h)
<v
h
Como G es abierto, podemos ademas elegir h de modo que I = [x h, x] G.
Pongamos f (I) = f (x) f (x h) (el incremento de f en el intervalo I),
entonces:
f (I) < v |I| (pues |I| = h)
Hay intervalos tan peque
nos como quiera que cumplen que:
1. I G
2. f (I) < v |I|
La colecci
on de los intervalos que cumplen estas dos condiciones cubre a E
en el sentido de Vitali. Podemos entonces extraer una coleccion finita disjunta
I1 , I2 , . . . , IN tal que:
1. Ik G para todo k
2. f (Ik ) < v |Ik |
3. Si
F =E
N
[
!
Ik
k=1
entonces
|F |e > t (t = |E|e )
Observemos que si ponemos:
F =E
N
[
!
Iko
k=1
(donde Iko significa el interior de Ik ) seguiremos teniendo que:

|F | > t
pues si bien F F , me (F F ) = 0, y
me (F ) me (F ) + me (F F ) = me (F )
c
Notas de An
Pablo L. De Napoli
109
Si x F entonces x Ik0 para alg

un k. Como x E sera:
lm
h0+
f (x + h) f (x)
>u
h
Entonces, hay valores tan peque

nos de h como quiera tales que:
f (x + h) f (x)
>u
h
Pongamos J = [x, x + h] entonces: f (J) > u|J|.
Consideramos ahora la coleccion de todos los intervalos cerrados J tales que
J Ik para alg
un k y f (J) > u |J|. Por lo anterior, cubren a F en el sentido
de Vitali.
Podemos entonces, extraer de ellos una sucesion finita disjunta J1 , J2 , . . . , JM
tal que
1. Cada Ji Ik para alg
un k
2.
f (Jk ) > u.|Jk |
3. Si llamamos
H=F
M
[
Ji
i=1
entonces:
|H|e > |F |e
Deducimos que:
|H|e > t 2
luego:
t 2 < |H|e
M
X
|Ji |
i=1
en consecuencia,
u (t 2) <
M
X
u |Ji | <
i=1
M
X
(Ji )
i=1
Como cada Ji est

a incluido en alg
un Ik resulta:
u (t 2) <
N X
X
f (Ji )
k=1 Ji Ik
Como f es mon
otona creciente y los Ji son disjuntos:
Luego:
u (t 2)
N
X
k=1
f (Ik ) <
N
X
k=1
v|Ik | = v
N
X
k=1
Ji Ik
f (Ji ) f (Ik )
|Ik | v |G| < v (t + )
c
Notas de An
Pablo L. De Napoli
110
pues
N
[
Ik G
k=1
y como los intervalos Ik son disjuntos:

N

N
[ X

=
I
|Ik | |G|

k

k=1
k=1
Luego
u (t 2) v (t + )
y al hacer 0 resulta:
utvt
Si fuera t = |E|e > 0, entonces u v, lo cual es absurdo. Por lo que
concluimos que |E|e = 0.
Con esto probamos que en casi todo punto: D+ f (x) D f (x)
Para probar que D f (x) D+ f (x) se puede usar un argumento analogo o
aplicar lo anterior a g(x) = f (x) (g es monotona creciente).
Hemos probado pues, que en casi todo punto:
D+ f (x) = D+ f (x) = D f (x) = D f (x)
Llamemos f 0 (x) al valor com
un (posiblemente infinito)
f (x + h) f (x)
h0
h
f 0 (x) = lm
Como
f 0 (x) = lm
f (x + 1/n) f (x)
1/n
se deduce que f 0 (x) es medible.

Vamos a probar que f 0 (x) es integrable en [a, b]:
Como f mon
otona, los puntos de discontinuidad de f son a lo sumo numerables,
y por lo tanto los puntos de continuidad de f son densos en [a, b]
Sean , [a, b] con < puntos de continuidad
Por el lema de Fatou
Z
f (x) dx lm inf
h0
f (x + h) f (x)
1
dx =
h
h
(Z
f (x + h) f (x)
dx
h
Pero:
Z
1
=
h
(Z
Z
f (x + h)dx
+h
)
f (x)dx
)
f (x)dx
f (x)dx
+h
c
Notas de An
Pablo L. De Napoli
1
=
h
(Z
+h
+h
f (x)dx
111
f (x)dx
Cuando h 0,
+h
1
h
1
h
f (x)dx f ()
y
+h
f (x)dx f ()
por ser y puntos de continuidad (teorema fundamental del calculo), luego

Z
f (x + h) f (x)
lm
dx = f () f ()
h0
h
el lmite inferior es en realidad el lmite)
Luego:
Z
f 0 (x)dx f () f ()
y haciendo a, b resulta (por el teorema de Beppo Levi ya que f 0 (x)

0) que:
Z
f 0 (x) dx f (b ) f (a+ ) f (b) f (a)
Luego f 0 (x) es integrable y en particular es finita en casi todo punto. Con

esto queda probado el teorema.
5.6.
Funcionnes de variaci
on acotada (de variaci
on finita)
Definici
on 5.6.1 Sea f : [a, b] R. Para cada partici
on de [a, b]
: a = x0 < x1 < x2 < . . . < xn = b
consideramos la suma
S(f, ) =
n
X
|f (xi ) f (xi1 )|
i=1
Definimos la variaci
on de f en [a, b] por
Vab (f )
= sup
n
X
|f (xi ) f (xi1 )|
i=1
donde el supremo se toma sobre todas las particiones de [a, b]. Claramente
0 Vab (f ). Las funciones f que verifican Vab (f ) < + se llaman funciones de
variaci
on acotada (Camile Jordan)
c
Notas de An
Pablo L. De Napoli
112
Propiedades
Proposici
on 5.6.2 (Aditividad de la variaci
on respecto al intervalo) Si
a < c < b entonces Vab (f ) = Vac (f ) + Vcb (f )
Demostraci
on: Consideramos una particion arbitraria
: a = x0 < x1 < x2 < . . . < xn = b
de [a, b]. Consideremos la particion 0 la particion que consiste en agregar a
el punto c como punto de subdivision.
Supongamos que xi < c < xi+1 , entonces
0 : a = x0 < x1 << xi < c < xi+1 < . . . < x2 < . . . < xn = b
Entonces: S(f, ) S(f, 0 ) ya que:
|f (xi+1 ) f (xi )| |f (xi+1 ) f (c)| + |f (c) f (xi )|
Podemos descomponer 0 como 1 2 donde
1 : a = x0 < x1 < . . . < xi < c
que es una partici
on de [a, c] y
2 : c < xi+1 < . . . < x2 < . . . < xn = b
es una partici
on de [c, b]
Entonces, por la definici
on de variacion temos que:
S(f, ) S(f, 0 ) = S(f, 1 ) + S(f, 2 ) Vca (f ) + Vcb (f )
(5.3)
Entonces tomando supremo sobre todas las particiones de [a, b] tenemos

que:
Vab (f ) Vac (f ) + Vcb (f )
Para probar la desigualdad opuesta, consideramos una particion
1 : a = x0 < x1 < x2 < . . . < xn = c de [a, c]
y otra partici
on
2 : c = xn < xn+1 < xn+2 < ... < xm = b de [c, b]
Entonces,
= 1 2 : a = x0 < x1 < x2 < . . . < xm = b
es una partici
on de [a, b] y tenenos:
Vab S(f, ) = S(f, 1 ) + S(f, 2 )
c
Notas de An
Pablo L. De Napoli
113
Tomando supremo sobre todas las particiones 1 de [a, c] tenemos

Vab (f ) Vac (f ) + S(f, 2 )
que vale para cualquier particion 2 de [c, b]. Luego, tomando supremo sobre
todas las posibles 2 tenemos que:
Vab (f ) Vac (f ) + Vcb (f )
Por lo que vale la igualdad.
Teorema 5.6.3 (Descomposici

on de Jordan) Una funci
on f : [a, b] R
es de variaci
on acotada en [a, b] si y s
olo si se puede escribir como diferencia
de funciones mon
otonas crecientes.
Demostraci
on:
2) Concideramos una funci
on f de variacion acotada. Se deduce de lo anterior
que si ponemos v(x) = Vax (f ) es una funcion monotona creciente.
Consideramos u(x) = v(x) f (x) (de modo que f = v u ). Vamos a probar
que u(x) es mon
otona creciente: si a x < y b
u(y) u(x) = v(y) v(x) [f (y) f (x)] Vxy (f ) |f (y) f (x)| 0
(x, y s
olos son una partici
on de [x, y] y S(f, ) = |f (y) f (x)|) luego |f (y)
f (x)| Vxy (f ) )
Entonces tenemos que si f es de variacion acotada, entonces podemos escribirla como f = v u con u, v monotonas crecientes.
Para probar el recproco, notemos que si f es monotona creciente entoces
Vab (f )f (b) f (a)
Como Vab (f + g) Vab (f ) + Vab (g) y Vab ( f ) = || Vab (f ) se deduce que la
suma de funciones de variaci
on acotada, y el producto por un n
umero real de una
funci
on de variaci
on acotada son de variacion acotad (es decir que las funciones
de variaci
on acotada forman un espacio vectorial real] Luego si f = u v con
u,v mon
otonas crecientes, entonces f es de variacion acotada.

Propiedades:
Las funciones f de variaci
on acotada en [a, b] tienen las siguientes propiedades
(que se deducen de las correspondientes propiedades de las funciones monotonas)
1. En cada punto existen los lmites laterales f (x+)yf (x)
2. Los puntos de discontinuidad son a lo sumo numerables.
3. Son derivables en casi todo punto y f 0 L1 ([a, b])
Observaci
on: Las funciones f de variacion acotada en [a, b] forman un espacio
normado V A[a, b] definiendo:
k f k= |f (a)| + Vab (f )
que es un espacio de Banach (En general Vab (f ) = 0 solo implica que f es
constante, el termino |f (a)| hace que si k f k= 0 entoces f = 0)
c
Notas de An
Pablo L. De Napoli
5.7.
114
Funciones absolutamente continuas
Sea f L1 (a, b) y consideremos una funcion integral indefinida de f , es

decir F : [a, b] R, dada por:
Z a
F (x) = C +
f (t)dt
b
siendo C una constante.

Si consideramos en el intervalo [a, b] una famila finita cualquiera de subintervalos disjuntos Ii = (ai , bi ) (1 i n) entonces:
Z
n
n Z bi
X
X
|F (bi ) F (ai )|
|f (t)|dt =
|f (t)|
i=1
i=1
donde
A=
ai
n
[
Ii
i=1
pues los intervalor Ii eran disjuntos.

En consecuencia, por la absoluta continuidad de la integral:
n
X
|F (xi+1 ) F (xi )| <
i=1
siempre que
m(A) =
n
X
m(Ii ) =
i=1
n
X
(bi ai ) <
i=1
As pues, hemos demostrado que la integral indefinida de una funcion f

L1 (a, b) es absolutamente continua en el sentido de la definicion siguiente:
Definici
on 5.7.1 Diremos que una funci
on f : [a, b] R es absolutamente
continua en [a, b] si para cada > 0, existe un > 0 tal que para cualquier
familia finita de intervalos disjuntos Ii = (ai , bi ) [a, b] se tiene que si
n
X
(bi ai ) <
i=1
entonces
n
X
|f (bi ) f (ai )| <
i=1
Observaci
on 5.7.2 Toda funci
on absolutamente continua en [a, b] es uniformenete continua en [a, b].
Para verlo, basta considerar el caso de una familia formada por un solo
intervalo.
Las funciones absolutamente continuas forman un espacio vectorial.
c
Notas de An
Pablo L. De Napoli
115
Proposici
on 5.7.3 Si f : [a, b] R es absolutamente continua en [a, b], es de
variaci
on acotada en [a, b].
Demostraci
on: En la definicion de funcion absolutamente continua, tomamos
= 1. Entonces consigo un > 0, tal que para cualquier familia Ii = (ai , bi ) de
subintervalos disjuntos de [a, b], tenemos que si
n
X
(bi ai ) <
i=1
Entonces
n
X
|f (bi ) f (ai )| < 1
i=1
En particular si x < y con |x y| < son dos puntos cualquiera de [a, b],
y elegimos los intervalos Ii para que formen una particion de [x, y], tendremos
teniendo en cuenta la defincion de variacion que:
Vxy (f ) 1
Ahora consideramos una particion a = x0 < x1 < . . . < xn = b de [a, b] con
|xi+1 xi | < . Entonces, por la aditividad de la variacion respecto al intervalo:
Vab (f ) =
n1
X
Vxxii+1 (f ) < +
i=0

Deducimos que si f es absolutamente continua en [a, b], su derivada f 0 existe
en casi todo punto de [a, b] y es integrable.
Queremos probar el siguiente teorema:
Teorema 5.7.4 (Vitali) Si f es absolutamente continua en [a, b], entonces se
verifica la regla de Barrow
Z b
f (b) f (a) =
f 0 (t) dt
a
Para ello consideramos la funcion : [a, b] R dada por:

Z x
(x) = f (x)
f 0 (t) dt
(5.4)
Esta funci
on es absolutamente continua, por ser diferencia de dos funciones
absolutamente continuas, y
0 (x) = f 0 (t) f 0 (t) = 0
en casi todo punto de [a, b]. El siguiente lema implica que es constante:
c
Notas de An
Pablo L. De Napoli
116
Lema 5.7.5 (Vitali) Si : [a, b] R es absolutamente continua, y 0 (t) = 0

en casi todo punto de [a, b], entonces es constante en [a, b].
Demostraci
on: Sea
E = {x (a, b) : 0 (x) existe y 0 (x) = 0}
Entonces, m([a, b] E) = 0, luego E es medible y m(E) = b a.
Sea > 0 y sea > 0 el n
umero que corresponde a por la asoluta continuidad de .
Consideremos un punto x E. Entonces:
(x + h) (x)
0 cuando |h| 0
h
luego si |h| es peque
no:
|(x + h) (x)| < |h|
o llamando I = [x, x + h],
|(I)| < m(I)
Los intervalos que tienen esta propiedad cubren a E en el sentido de Vitali.
Por el lema de Vitali, podemos entonces elgir una sucesion finita Ik (1 k n)
de intervalos cerrados disjuntos de esta familia de modo que:
n
X
m(Ik ) m (E (nk=1 Ik )) > m(E) = b a
k=1
Entonces, podemos escribir

(a, b)
n
[
m
[
Ik =
Ji
i=1
k=1
siendo los Ji intervalos abiertos disjuntos, y por lo tanto

m
X
m(Ji ) <
i=1
(Se trata de la medida de un conjunto elemental)

Vamos a probar que (a) = (b) (Del mismo modo se probara que (x) =
(y) para x, y [a, b] cualquiera, basta restringirse a un subintervalo). Tenemmos:

n
m
X

X

|(b) (a)| =
(Ik ) +
(Jk )

i=1
k=1
n
X
k=1
|(Ik )| +
m
X
i=1
|(Jk )|
c
Notas de An
Pablo L. De Napoli
n
X
117
m(Ik ) +
k=1
pues los Ik est

an en la familia, y las medidas de los Jk (que son disjuntos) suman
menos que .
En consecuencia, tenemos que:
|(b) (a)| (b a + 1)
y como > 0 era arbitrario, debemos tener que (a) = (b), como queramos
demostrar.

Una vez probado este lema, podemos concluir la prueba del teorema 5.7.4:en
efecto la funci
on definida por (5.4) es constante, en virtud del lema. Especializ
andola en x = b y despues en x = a, obtenemos el teorema.
5.8.
Descomposici
on de Lebesgue
Sea f : [a, b] R una funcion de variacion acotada. Sabemos que entonces

f 0 (x) existe para casi todo x [a, b] y f 0 L1 [a, b]. Podemos entonces considerar
la funci
on g
Z
x
f 0 (t) dt
g(x) =
a
Entonces g es absolutamente continua en [a, b], y en virtud del teorema de

diferenciaci
on de Lebesgue, g 0 (x) = f 0 (x) en casi todo x (a, b).
Entonces, si llamamos h(x) = f (x) g(x), tenemos que h0 (x) = 0 en casi
todo punto de (a, b). Una funcion tal que h0 (x) = 0 en casi todo punto se llama
una funci
on singular.
Ejemplo: La funci
on de Cantor-Lebesgue es un ejemplo de una funcion
singular no constante.
De modo que hemos podido expresar a cualquier funcion de variacion acotada
en la forma f (x) = g(x) + h(x) donde g es absolutamente continua, y g es
singular.
Teorema 5.8.1 (Descomposici
on de Lebesgue) Si f : [a, b] R es de una
funci
on de variaci
on acotada, entonces se la puede descomponer en la forma
f = g + h, donde g es absolutament continua en [a, b], y h es singular en [a, b].
Se deduce del lema 5.7.5 que dicha descomposicion es u
nica salvo constantes
es otra desscomposicion de f como suma
en el siguiente sentido:. si f = g + h
entonces
de una funci
on absolutamente continua g y una funcion singular h
g g = h h es una funci
on que es a la vez absolutamente continua y singular,
y por lo tanto debe ser constante.
Nota sobre la bibliografa: Seguimos esencialmente la exposici
on en los libros
de Fava y Z
o [4], y Wheeden y Zygmund [12]. Para profundizar en la teora de diferenciaci
on para integrales en Rn puede consultarse el libro de Miguel de Guzm
an [3].
c
Notas de An
Pablo L. De Napoli
118
Una prueba alternativa del teorema 5.5.1, puede encontrarse en los libros de RieszNagy [10] y Kolmogorov-Fomn [7]. La misma tenica puede usarse para probar en R
la desigualdad maximal (5.1).
Captulo 6
Las Medidas complejas y el

Teorema de
Radon-Nikodym
6.1.
Medidas complejas
Definici
on 6.1.1 Sea (X, M) un espacio medible (esto es X es un conjunto
al que llamaremos espacio y M P(X) una -
algebra, a cuyos elementos
llamaremos conjuntos medibles). Una funci
on : M C se denomina una
medida compleja si
1. () = 0
2. es -aditiva: esto significa que si (An )nN M es una sucesi
on de
subconjuntos medibles disjuntos entonces
[
X
An =
(An )
n=1
Notemos que esto implica que la serie
(An )
n=1
debe ser absolutamente convergente, pues la serie debe sumar lo mismo en

cualquier orden que consideremos los conjuntos (An ).
Si : M R, se dice que es una medida signada (o a veces, una carga).
Notemos que no le estamos permitiendo a tomar valores infinitos.
119
c
Notas de An
Pablo L. De Napoli
120
Ejemplo: Si (X, M, ) es un espacio de medida, y f L1 (X), entonces

Z
f (E) =
f (x) d(x) (E M)
E
es una medida compleja.

Definici
on 6.1.2 Si : M C es una medida compleja, definimos la variaci
on de , notada por || : M [0, +], como la funci
on dada por:
||(E) = sup
|(En )|
n=1
donde el supremo se toma sobre todas las particiones

E=
En
(E M)
n=1
de E en una cantidad numerable de conjuntos medibles disjuntos.

La noci
on de variaci
on de una medida es la analoga para medidas a la nocion
de variaci
on de una funci
on real en un intervalo (que introdujimos al hablar de
funciones de variaci
on acotada).
Ejercicio: En la definicion de la variacion, resulta equivalente tomar particiones finitas o numerables.
Observaci
on: || es creciente, o sea si E F , se tiene que ||(E) ||(F ).
Para demostrar esta observacion, basta observar que si (En )nN es una partici
on de E, entonces agrgando a dicha particion el conjunto F E, obtenemos
una partici
on de F , en consecuencia:
|(En )| + |(E F )| ||(F )
n=1
y tomando supremo, obtenemos que

||(E) + |(E F )| |(F )|
Lo que en particular dice que ||(E) ||(F ).
Teorema 6.1.3 || es una medida no negativa, y finita.
Demostraci
on: Es claro que ||() = 0. Hemos de probar pues que || es aditiva. Es decir, que si un conjunto E se escribe como una union numerable de
conjuntos medibles disjuntos:
E=
[
n=1
En
(En , E M)
c
Notas de An
Pablo L. De Napoli
se tiene que
||(E) =
121
||(En )
n=1
Probaremos primero que
||(En ) ||(E)
(6.1)
n=1
Notamos que podemos suponer que ||(E) < +; y entonces, como || es

creciente, ||(En ) < + para todo n N.
Tomemos pues, para cada n, una particion de En , en conjuntos En,m medibles disjuntos:
[
En =
En,m
mN
de modo que
|(En,m )| > ||(En )
m=1
2n
Reuniendo todas estas particiones, obtenemos una particion de E,

E=
En,m
n=1 m=1
luego,
|(En,m )| ||(E)
n=1 m=1
En consecuencia,

X
||(En )
n=1
es decir que:

||(E)
2n
||(En ) ||(E)
n=1
y como es arbitrario, obtenemos (6.1).

Ahora probaremos que:
||(E)
||(En )
(6.2)
n=1
Nuevamente, podemos suponer que ||(En ) < + para todo n. Consideremos

una partici
on (Am ) cualquiera de E en conjuntos medibles disjuntos. Entonces
Am =
(Am En )
n=1
(union disjunta)
c
Notas de An
Pablo L. De Napoli
122
y como es una medida compleja, tenemos que:

(Am ) =
(Am En )
n=1
y por lo tanto:
|(Am )| =
|(Am En )|
n=1
Sumando en m tenemos que:
|(Am )| =
m=1
|(Am En )|
m=1 n=1
X
|(Am En )|
n=1 m=1
(El intercambio en el orden de las sumas esta justificado, pues los terminos son
no negativos)
Pero
[
En =
(En Am )
m=1
es una partici
on de En , y en consecuencia:
|(En Am )| ||(En )
m=1
Sustituyendo deducimos que:
|(Am )|
||(En )
n=1
m=1
Como esta desigualdad vale para cualquier particion (Am )mN de E, tomando supremo obtenemos (6.2).
Nos queda demostrar que || es finita, para lo cual bastara probar que
||(X) < +. Supongamos incialmente que es una medida signada (esto
es, toma valores reales). Razonando por el absurdo, estableceremos primero el
hecho siguiente:
Afirmaci
on auxiliar: Si ||(X) = +, entonces existe una descomposicion
de X en dos conjutnos medibles disjuntos A y B tales que ||(A) > 1 y |(B)| >
1, y ||(A) = +
En efecto, si ||(X) = +, dado t > 0, existira una particion (En ) de X tal
que
X
S=
|(En )| > t
n=1
c
Notas de An
Pablo L. De Napoli
123
En esta suma, separamos los terminos de acuerdo al signo de (En ), definiendo

entonces las sumas:
X
S+ =
(En )
n:(En )0
S =
(En )
n:(En )<0
de modo que S = S + + S . Debe ser S + 12 S o S 12 S .

Definamos los conjuntos
[
A=
En
n:(En )0
B=
En
n:(En )<0
Entonces, por la definici

on de la variacion,
X
S+ =
|(En )| ||(A)
n:(En )0
y
S =
|(En )| ||(B)
n:(En )<0
Pero, entonces si suponemos que S + 12 S, tendremos

|(A)|
t
1
S=
2
2
y
t
|(X)|
2
Como |(X)| es finito, eligiendo t suficientemente grande, conseguiremos que
|(A)| > 1 y que |(B)| > 1.
Si no sucede que S + 21 S, necesariamente se tiene que S 21 S, e intercambiando los roles de los conjuntos A y B obtenemos la misma conclusion.
Finalmente, observemos que como ||(X) ||(A)+||(B), debe ser ||(A) =
+ o |(B)| = +. En el primer caso, hemos conseguido demostrar nuestra
afirmaci
on. En el segundo, es suficiente intercambiar los nombres de A y B.
|(B)| = |(X) (A)| |(A)| |(X)|
Demostrada que fue nuestra afirmacion auxiliar, procedemos del siguiente

modo: continuado el razonamiento por el absurdo, si ||(X) = +, podemos
conseguir por la dicha afirmacion una particion X = A1 B1 de X en dos
conjuntos disjuntos A1 = A y B1 = B tales que
|(A1 )| > 1, |(B1 )| > 1, ||(A1 ) = +
c
Notas de An
Pablo L. De Napoli
124
Como ||(A1 ) = +, repitiendo este proceso, podemos conseguir una partici

on A1 = A2 B2 de A1 en dos conjuntos medibles disjuntos tales que:
|(A2 )| > 1, |(B2 )| > 1, ||(A2 ) = +
En general, podemos repetir infinitas veces en forma inductiva. Dados An y
Bn , podemos conseguir, en virtud de nuestra afirmacion auxiliar, una particion
An = An+1 Bn+1 de modo que se verifique que:
|(An+1 )| > 1, |(Bn+1 )| > 1, ||(An+1 ) = +
Pero notemos que los conjuntos (Bn )nN forman, por construccion, una sucesi
on disjunta. Entonces, la serie:
(Bn )
n=1
debe ser absolutamente convergente. Esto esta en contradiccion con el hecho de

|(Bn )| > 1, para todo n N.
Esta contradicci
on provino de suponer que ||(X) = +. En consecuencia,
debe ser ||(X) < +.
Finalmente, nos queda considerar el caso en que puede tomar valores complejos. Pero en este caso, podemos escribirla como = 1 + i2 , siendo 1 , 2
medidas signadas, y claramente:
||(X) |1 |(X) + |2 |(X) < +

Observaci
on: La variacion de verifica que:
|(E)| ||(E) E E
y es la menor medida con esta propiedad: Si es otra medida no negativa tal
que
|(E)| (E) E E
entonces ||(E) (E).
Corolario 6.1.4 (Descomposici
on de Hahn) Si : M R es una medida
signada, es posible escribirla en la forma = + , donde + , : M R
son medidas positivas y finitas.
Demostraci
on: Es suficiente tomar:
+ =
1
(|| + )
2
1
(|| )
2
c
Notas de An
Pablo L. De Napoli
125

Ejemplo: La descomposicion de Hahn es la analoga para medidas, a la
descomposici
on de Jordan de una funcion de variacion acotada como diferencia
de dos funciones crecientes. De hecho, si F es una funcion de variacion acotada,
F es la medida de Lebesgue-Stieltjes asociada, y
F = F1 F2
es su descomposici
on de Jordan, entonces
F = F1 F2
siendo F1 y F2 las medidas de Lebesgue-Stieltjes correspondientes a F1 y a
F2 , es la descomposici
on de Hahn de F .
Ejercicio: Si (X, M) es un espacio medible, entonces el conjunto
M(X) = { : M C : es una medida compleja }
es un espacio de Banach con la norma definida por la variacion total de :
kk = ||(X)
6.2.
Absoluta continuidad. Medidas Singulares
Definici
on 6.2.1 Sean (X, M) un espacio medible, una medida no negativa
sobre M que puede valer + y : M C una medida compleja
Diremos que es absolutamente continua con respecto a (y lo simbolizaremos ) para cualquier conjunto E : (E) = 0 (E) = 0
Ejemplo: Si f L1 (), : M C dada por:
Z
(E) =
f d
E
es una medida compleja absolutamente continua con respecto a .

Definici
on 6.2.2 Diremos que esta concentrada en un conjunto A ( y lo
simbolzaremos A) si
(E) = (E A)
para cualquier conjunto medible E.
Lema 6.2.3
1. est
a concentrada en A si y s
olo si (E) = 0 para todo
E M tal que E A =
2. Si A y A B, entonces B.
c
Notas de An
Pablo L. De Napoli
126
3. Si A y B, entonces A B
Demostraci
on: Prueba de i): La implicacion ) es trivial. Para probar la
implicaci
on ) notemos que
(E) = (E A) + (E Ac )
pero (E Ac ) = 0 pues E Ac A = , luego (E) = (E A).
Prueba de ii): (E) = (E A) por ser A, pero (E A) = (E A B)
pues E A = E A B y ((E B) A) = (E B) pues A, luego
(E) = (E B) B.
Prueba de iii): Como A ((E B) A) = (E B) Pero (E B) =
(E) pues B luego (E (A B)) = (E). Esto prueba que A B
Definici
on 6.2.4 Diremos que es singular con respecto a si est
a concentrada en un conjunto de medida nula, o sea si para todo E M, (E) =
(E A) donde (A) = 0. Escribimos .
Ejemplo: Consideramos en R la medida dada por

1 si 0 A
(A) =
0 si 0 6 A
entonces {0}, y por lo tanto es singular respecto a la medida de Lebesgue
m: m.
Lema 6.2.5
1. Si 1 , 2 son absolutamente continuas respecto a , entonces
c1 1 + c2 2 es absolutamente continua respecto a .
2. An
alogamente, si 1 , 2 son singulares respecto a , entonces c1 1 +c2 2
es singular respecto a .
(Es decir que las medidas absolutamente continuas y las singulares forman
subespacios del espacio de las medidas complejas)
Si es absolutamente continua y singular respecto de entonces (E) = 0 para
cualquier E
Demostraci
on: Prueba de i): Para probar la primera afirmacion, supongamos
1 , 2 y sea E tal que (E) = 0, entonces c1 1 (E) + c2 2 (E) = 0.
Prueba de ii): Supongamos que 1 , 2 . Entonces, 1 A1 donde
(A1 ) = 0 y 2 A2 donde mu(A2 ) = 0.
Vamos a probar que c1 1 + c2 2 esta concentrada en A1 A2 . Como
A1 A1 A2 , entonces 1 A1 A2 y analogamente 2 A1 A2
c1 1 (E) + c2 2 (E) = c1 1 (E (A1 A2 )) + c2 2 (E (A1 A2 ))
Como
(A1 A2 ) (A1 ) (A2 ) = 0
Esto prueba c1 1 + c2 .2 .
Prueba de iii): Como ,(E) = (E A) con (A) = 0, pero E A A,
luego (E A) = 0. Entonces (E A) = 0 (E) = 0.
c
Notas de An
Pablo L. De Napoli
127
Definici
on 6.2.6 La medida se dice -finita siSel espacio X se puede descom
poner como una uni
on numerable disjunta X = k=1 Xk de conjuntos medibles
Xk donde (Xk ) < +
Vamos a probar que (en un espacio de medida -finita) una medida se
puede descomponer como suma de una medida absolutamente continua y una
medida singular. Por iii) dicha descomposicion es u
nica (el espacio vectorial de
las medidas es la suma directa del subespacio de las absolutamente continuas y
el de las singulares). Esto se llama la descomposicion de Lebesgue
Lema 6.2.7 Sea (X, M, ) un espacio de medida finita ((X) < +), F un
subconjunto cerrado del plano complejo C y g L1 () tal que si (E) > 0
entonces:
Z
1
g(x) d F
(E) E
entonces g(x) F para casi todo x respecto de .
Demostraci
on: C F es un conjunto abierto del plano complejo. En consecuencia, se puede escribir como una union numerable de discos cerrados Dn
(usando el hecho de que C es un espaciometrico separable):
C F =
[
n=1
Dn g
(C S) =
g 1 (Dn )
n=1

Si probamos que (g 1 (Dn )) = 0 resultara que g 1 (C F ) = 0 como
queremos probar. Supongamos que para alg
un n fuera (E) = 0 conR E =
1
g 1 (Dn ). Sea Dn = {z C :| z a | r}. Si probamos que s = (E)
gd
E
(que por hip
otesis pertenece a S) pertenece tambien a Dn esto es absurdo pues
Dn F = .

Z
Z
Z
1
1

1

|s a| =
g d a
(g a) d
|g a| d
(E) E
(E) E
(E) E
Si x E entonces g(x) Dn | g(x) a | r, luego
Z
1
|s a|
r d = r s Dn
(E) E
Este es un absurdo que proviene de suponer que (E) > 0. Luego concluimos
que (E) = 0.
6.3.
Teorema de Lebesgue - Radon - Nikodym
Teorema 6.3.1 Sea (X, M, ) un espacio de medida -finita. Si es una compleja sobre M entonces existe un u
nico par de medidas (positivas) a y s tales
que
c
Notas de An
Pablo L. De Napoli
128
1. a es absolutamente continua con respecto a , s es singular con respecto

a , y = a + s (Descomposici
on de Lebesgue)
R
2. Existe una nica funci
on h L1 () tal que a (E) = E h d para todo
E M (
unica salvo por igualdad en casi todo punto con respecto a )
Demostraci
on: Efectuaremos la prueba en el caso especial en que tanto como
son medidas no negativas y finitas.
Definamos una nueva medida poniendo
(E) = (E) + (E)(E M)
Si f 0 entonces:
Z
Z
f d =
Z
f d +
f d
(6.3)
(Lo probamos primero para funciones simples y usamos el teorema de la convergencia mon
otona). Tenemos en particular
Z
Z
Z
|f | d =
|f | d +
|f | d
X
En consecuencia:
Z
|f | d
|f | d
por lo tanto L1 () L1 (), y

Z
Z
|f | d
|f | d
luego L1 () L1 (). de modo que

L1 () = L1 () L1 ()
y (6.3) vale si f L1 ().
Observaci
on: Como (X) < + L2 () L1 ().
Definamos una funcional lineal : L2 () C poniendo
Z
(f ) =
f d
X
Si f L2 () f L1 () f L1 () es una funcional lineal y continua

Z
Z
Z
|(f )|
|f | d
|f | d =
|f | 1 d (X)1/2 k f k2,
X
X
0
(Por la desigualdad de H
older con p = p = 1/2) donde
Z
k f k2, =
X
1/2
|f | d
2
c
Notas de An
Pablo L. De Napoli
129
Como L2 () es un espacio de Hilbert (f ) = hf, gi donde g L2 () es fija

para toda f L2 () por el teorema de representacion de Riesz. Esto significa
que:
Z
Z
f d =
f g d f L2 ()
(6.4)
X
Suponiendo que (E) > 0, elegimos f = E . Como (X) < + f L2 ()

Z
Z
1
(E)
=
g d 1
(E) =
g d 0
(E)
(E) E
E
((E)/(E) es real y no negativo pues , lo son, (E)/(E) 1 pues (E)
(E) )
Aplicando el lema 6.2.7 a F = [0, 1] = {x R : 0 x 1} (que es un
conjunto cerrado de C) tenemos que g(x) F para casi todo x (respecto de
). Como cambiar una funcion en un conjunto de medida nula no cambia su
integral podemos suponer g(x) [0, 1] para todo x.
Como = + , (6.4) significa que:
Z
Z
Z
f d =
f g d +
f.g d
X
En consecuencia,
Z
Z
f (1 g) d =
f gd f L2 ()
(6.5)
Resulta pues natural, partir X en los conjuntos:

A = {x X : 0 g(x) < 1},
S = {x X : g(x) = 1}
pues en S el factor 1 g de la formula precedente se anula. Consideramos

entonces las medidas
a (E) = (E A),
s (E) = (E S)
de modo que tenemos la descomposicion

= a + s
Es claro que s S. Vamos a probar (S) = 0 de modo que s
Para verlo, en (6.5) elegimos f = S , entonces obtenemos
Z
Z
0=
S (1 g) d =
S g d = (S) pues en S g = 1 y 1 g = 0
X
Por otra parte si en (6.5), elegimos f = (1 + g + g 2 + . . . + g n ) E (que es

una funci
on acotada, y por lo tanto pertenece a L2 (), obtenemos:
Z
Z
n+1
1g
d =
g (1 + g + g 2 + . . . + g n ) d
E
c
Notas de An
Pablo L. De Napoli
130
En S el integrando de la primera integral vale 0

Z
Z
n+1
1g
d =
g (1 + g + g 2 + . . . + g n ) d
EA
E
n+1
Hagamos que que n , 1 g

tiende a 1 en forma creciente (en A, 0
g < 1), y g (1 + g + g 2 + . . . + g n ) tiende en forma creciente hacia
h = 1 + g + g2 + . . . + gn + . . .
(Serie geometrica convergente). Del teorema de convergencia monotona resulta
entonces que:
Z
Z
1 d =
h d
EA
Es decir:
Z
a (E) =
h d
E
R
donde como A hd = (A) (X) que es finita se deduce que h es integrable
respecto de , y si (E) = 0 a (E) = 0 (Es decir que a es absoltamente
continua.) luego:
Z
(E) =
h d + s (E)
E

Ejercicio: Extender el teorema al caso en que es una medida compleja
cualquiera, y es -finita.
Nota: Esta demostraci
on, basada en el teorema de representacion de Riesz,
se debe a John Von Neuman1 y esta expuesta por ejemplo en [11]. Existen otras
demostraciones alternativas. [12] da una demostracion (en alg
un sentido mas
constructiva) basada en la descomposicion de Hahn de una medida signada.
Otra demostraci
on interesante (que tambien da una idea de como se obtiene la
funci
on h) puede encontrarse en el artculo [13].
6.4.
La descomposici
on polar de una medida compleja
Teorema 6.4.1 Sea (X.M) un espacio medible. Si : M C es una medida

compleja, entonces existe una u
nica h L1 (||) tal que:
i)
Z
h d|| E M
(E) =
E
1 J. Von Neuman, On rings of operators. Ill, Annals of Mathematics, vol. 41 (1940) pp.
94-161, lemma 3.2.3 (pag. 127).
c
Notas de An
Pablo L. De Napoli
131
ii)
|h(x)| = 1 para casi todo x X con respecto a ||
Demostraci
on: Como |(E)| ||(E), es absolutamente continua con respecto a ||. En consecuencia, por el teorema de Radon-Nikodym existe una
u
nica h L1 (||) tal que
Z
(E) =
h d
E
Si E M, ||(E) > 0 tenemos que:

Z
(E)
1

1

hd| =
||(E)
||(E)
E
Aplicando el lema 6.2.7 con F = {z C : |z| = 1}, deducimos que h(x) F

(es decir |h(x)| 1) para casi todo x con respecto a ||.
Vamos a probar que |h(x)| = 1 para casi todo x.
Sea 0 r < 1 y pongamos A = {x X : |h(x)| r}. Si E A,
Z
Z
Z

h d||
|h|
d||
r d|| r||(E)

E
Consideremos ahora una particion

A=
Ak (Ak M disjuntos)
k=1
entonces
|(Ai )|
k=1
n
X
r||(Ai ) = r||(A)
k=1
pues || es una medida. Tomando supremo, obtenemos por la defincion de

|lambda| que
|(A)| r|(A)|
y como 0 < r < 1, esto implica que: |(A) = 0.
Finalmente notamos que:

[
1
{x X : |h(x)| < 1} =
x X : h(x) 1
n
nN
en consecuencia ||({x X : |h(x)| < 1}) = 0. Deducimos que |h(x)| = 1 en

casi todo punto.

Obseraci
on: La descomposicion polar de una medida compleja se puede
utilizar para definir la integral
Z
f d
X
si f L1 (||) mediante la f
ormula:
Z
Z
f d =
f hd||
X
(donde la h es la del teorema anterior).
Captulo 7
Convoluci
on y
Aproximaciones de la
Identidad
7.1.
Definicion y propiedades elementales
Definici
on 7.1.1 Sean f, g : RN R funciones medibles. Su convoluci
on f g :
n
R R se define por:
Z
(f g)(x) =
f (x t)g(t) dt
RN
Observaci
on 7.1.2 f g = g f , o sea:
Z
Z
f (x t)g(t) dt =
RN
f (t)g(x t) dt
RN
Prueba: Hacemos el cambio de variable u = x t t = x u (Notamos

que el valor absoluto del m
odulo del jacobiano del cambio de coordenadas es 1)
Lema 7.1.3 Si es medible en RN , entonces F (x, t) = f (x t) es medible en
RN RN = R2N
Demostraci
on: Sea F1 (x, t) = f (x). Como f es medible, se sigue que F1 (x, t)
es medible en R2N :
{(x, t) : F1 (x, t) > a} = {(x, t) : f (x) > a} =
= {x : f (x) > a} RN es medible pues {x : f (x) > a} es medible
Para (, ) en R2N consideramos la transformacion x = , y = + .
Es una transformaci
on lineal no singular, entonces es Lipschitz y por lo tanto
aplica conjuntos medibles en conjuntos medibles.
132
c
Notas de An
Pablo L. De Napoli
133
Se sigue que la funci

on F2 (, ) = F1 ( , + ) es as mismo medible.
Como F2 (, ) = f ( ) esto prueba el lema.

Teorema 7.1.4 Si f, g L1 (RN ), entonces (f g)(x) existe para casi todo
x RN . Adem
as f g L1 y kf gk1 kf k1 kgk1 .
Demostraci
on: Supongamos primero que f yg son no negativas entonces f (x
t)g(t) es medible en R2N ya que por el lema anterior es el producto de dos
funciones medibles, entoonces la integral
Z Z
I=
f (x t)g(t) dx dt
R2N
est
a bien definida, y aplicando el teorema de Fubini-Tonelli, encontramos que:

Z Z
Z Z
I=
f (x t)g(t)dt dx =
f (x t)g(t)dt dx
RN
RN
RN
RN
Z
(f g)(x) dx
=
RN
y por otro lado:

Z Z
I=
RN

Z
f (x t)g(t dx dt =
RN
Z

f (x t) dx dt =
g(t)
RN
RN
Gracias a la invariancia por traslaciones de la integral, podemos cambiar x t

por x:
Z

Z
Z

Z
=
g(t)
f (x)dx dt =
g(t) dt
f (x) dx
RN
RN
RN
RN
Por lo tanto obtenemos que si f y g son medibles y no negativas

Z
Z

Z
(f g)dx =
f (t) dt
g(t)dt
RN
RN
RN
Esto prueba el teorema si f, g 0

Observaci
on: En probabilidades por ejemplo esto dice que si f yg son densidades de probabilidad f g tambien. (Da la densidad de la suma de dos
variables aleatorias independientes)
Para el caso general basta observar que:
Z
| (f g)(x) |
|f (x t)| |g(t)| dt = |f | |g|
RN
Por lo tanto
Z
Z
|f g| dx
RN
Z
(|f | |g|) dx =
RN
Z
|f | dx
RN

|g| dx
= kf k1 kgk1
RN

1
Observaci
on: El teorema anterior significa que es un producto en L con
el cual L1 es un
algebra de Banach.
c
Notas de An
Pablo L. De Napoli
7.2.
134
Desigualdad de Young
Teorema 7.2.1 Sea 1 p , f Lp (RN ) y g L1 (RN ), entonces f g

Lp (RN ) y
k f g kp k f kp . k g k1
Demostraci
on: Como antes usando que |f g| |f | |g| podemos suponer que
f, g 0. Para p = 1 el resultado ya fue probado.
Para p = notamos que
Z
Z
(f g)(x) =
f (t)g(x t)dt kf k
g(x t)dt = kf k kgk1
RN
RN
Por lo tanto:
kf gk kf k kgk1
Supongamos pues que 1 < p < . Aplicando entonces la desigualdad integral
de Minkowski (Teorema 4.7.1), obtenemos que
Z
p 1/p
Z
f (x t)g(t) dt dx
dx
Z
kf gkp =
Rn
Rn
Z
Z
Rn
Rn
|f (x t)|p dx
|g(t)|
Z
1/p
|g(t)|
Rn
Rn
Rn
Z
Z
dt =
|f (x t)|p |g(t)|p dx
|f (x)|p dx
1/p
dt
Rn
Z
|g(t)| kf kp dt = kf kp
|g(t)|dtkf kp kgk1
Rn
Rn

Una prueba alternativa: Tambien es posible probar este teorema sin acudir a la desigualdad integral de Minkowski. Sea q el exponente conjugado de p,
de modo que p1 + 1q = 1, entonces:
Z
(f g)(x) =
f (t)g(x t)1/p g(x t)1/q dt
f (t)g(x t) dt =
RN
RN
Por la desigualdad de H
older tenemos que:
Z
(f g)(x)
1/p Z
f (t) g(x t) dt
p
RN
RN
1/q
1/q
g(x t) dt
= (f p g)1/p k g k1
Elevando ambos miembros a la potencia p e integrando el resultado:

Z

Z
p/q
[(f g)(x)]p dx
(f p g)dx k g k1
RN
Pero
RN
Z
(f g) dx =
RN
Z
f dx
RN
RN

g dx
1/p
dt
c
Notas de An
Pablo L. De Napoli
135
Por lo tanto:
kf gkpp =
p/q
RN
(f g)(x)dx kf kpp kgk1 kgk1
= kf kpp kgkp1
Tomando raz p-esima resulta:

kf gkp kf kp kgk1
como queramos probar.
Observaci
on 7.2.2 Una convoluci
on f f K con K fijo define una transformaci
on T (f ) = f K se llama un operador de convoluci
on con n
ucleo K. El
teorema anterior muestra que si K es integrable este operador aplica Lp en Lp .
Vale un teorema m
as general:
Teorema 7.2.3 (Young) Si p, q satisfacen 1 p, q y 1/p + 1/q 1 y
r se define por 1/r = 1/p + 1/q 1 entonces si f Lp (RN ) y g Lq (RN )
entonces f g Lr (RN ) y se tiene:
kf gkr kf kp kgkq
Demostraci
on: Podemos suponer f, g 0. Cuando p, q, r > 0, escribimos
Z
(f g)(x) =
f (t)p/r g(x t)q/r f (t)p(1/p1/r) g(x t)q(1/q1/r) dt
Rn
Aplicamos entonces la desigualdad generalizada de Holder con tres exponentes

r, p1 y p2 donde 1/p1 = 1/p 1/r y 1/p2 = 1/q 1/r. Obtenemos que:
Z
1/r
1
kgkq/p2
(f g)(x)
f (x)p g(x t)q dt
kf kp/p
p
Rn
(En el u
ltimo factor hemos utilizado la invariancia por traslaciones de la medida
de Lebesgue). Elevando a la r e integrando, deducimos que

Z Z
1
kgkqr/p2
kf gkrr
f (x)p g(x t)q dt dx kf kpr/p
p
Rn
Rn
Usando el teorema de Fubini-Tonelli y la invariancia por traslaciones, tenemos

que

Z Z
p
q
f (x) g(x t) dt dx = kf kpp kgkqq
Rn
Rn
Consecuentemente sustituyendo,
1 +p
2 +q
kf gkrr kf |pr/p
kgkqr/p
p
q
o sea
kf gkr kf |pp/p1 +p/r kgkqp/p2 +q/r
Teniendo en cuenta la elecci
on de los exponentes p1 y p2 , se obtiene la desigualdad del enunciado.

1 Siguiendo
la idea en el ejercicio 2 del captulo 9 de [12]
c
Notas de An
Pablo L. De Napoli
136
Observaci
on 7.2.4 La constante
optima en la desigualdad de Young
kf gkr C(p, q, r)kf kp kgkq
no es 1. Ha sido calculada por W. Beckner en [15]. Una prueba m
as elemental
fue dada por F. Barthe [14].
7.3.
El soporte y la convolucion
Definici
on 7.3.1 El soporte de f : RN R se define por:
Sop(f ) = {x RN : f (x) 6= 0}
(siempre es cerrado)
Corolario 7.3.2 Si x 6 Sop(f ), existe un entorno de x donde f se anula.
Observaci
on 7.3.3 Con esta definici
on no vale que si f = g en casi todo
punto Sop(f ) = Sop(g) (Brezis [2] lo define entonces por la condici
on de que
x 6 Sop(f ) existe un abierto U tal que x U y f = 0 en casi todo punto de
U
Proposici
on 7.3.4 Si f y g tienen soporte compacto, entonces f g tiene soporte compacto. Adem
as:
Sop(f g) Sop(f ) + Sop(g)
Demostraci
on:
Z
(f g)(x) =
Z
f (t)g(x t)dt =
RN
f (x)g(x t)dt
Sop(f )
pues si t 6 Sop(f) f (t) = 0

An
alogamente si x t Sop(g) t x Sop(g),luego g(x t) = 0 si
t 6 x sop(g). Se deduce que:
Z
(f g)(x) =
f (x)g(x t) dt
Sop(f )(xSop(g)))
Si (f g)(x) 6= 0 Sop(f ) (x Sop(g)) 6= y Sop(f ) (x sop(g)).
Pero como y x Sop(g) y = x w con w Sop(g). As pues x = y + w
con y Sop(f ) , w Sop(g)
As vimos que {(f g) 6= 0} sop(f )+sop(g), pero la suma de dos compactos
es compacto (no vale para cerrados) por lo tanto
Sop(f g) sop(f ) + sop(g)
c
Notas de An
Pablo L. De Napoli
137
Teorema 7.3.5 Si f L1 (RN ) y K es acotada y uniformemente continua en

RN , entonces f K es acotada y uniformemente continua.
Demostraci
on: Veamos que f K es uniformemente continua. Si f = 0f K = 0
y no hay nada que probar. Supongamos pues f 6= 0
Dado > 0, por ser K uniformente continua encontramos un > 0 tal que
si |x y| < |f (x) f (y)| < kfk1 entonces:
Z

Z

f (t)K(x t) dt
|f K(x) f K(y)| =
f (t)K(y t) dt
N
N
R
Z
|f (t)| |K(x t) K(y t)| dt
RN
| f (t) | dt =
RN
ya que |(x t) (y t)| = |x y| < . Esto muestra que f K es uniformemente

continua. Ya sabemos que
kf Kk kf k1 kKk
por lo que f K resulta acotada.
7.4.
Convolucion con funciones suaves
Definici
on 7.4.1 Para m N, denotamos C m la clase de funciones f (x) con
N
x R tales que todas las derivadas parciales hasta el orden m incluido existen
y son continua.
El subconjunto de funciones de clase C m con soporte compacto se denota
m
C0
Similarmente C es el conjunto de funciones indefinidamente diferenciables
y C0 el sub-conjunto de las de soporte compacto.
Si = (1 , 2 , . . . , N es un multi-ndice con los i N0 podemos considerar la derivada parcial:
(D f )(x) =
|| f
N
. . . x
N
2
1
x
1 x2
siendo || = 1 + 2 + . . . + N .
Teorema 7.4.2 Si 1 p , f Lp (RN ) y K C0m , entonces f K C0m
y se tiene que :
D (f K)(x) = (f D K)(x)
siempre que || = 1 + 2 + . . . + n m.
Demostraci
on: Primero probamos que si K es continua con soporte compacto,
entonces f K es continua:
Z

Z

|(f K)(x+h)(f K)(x)| =
f (t)K(x + h t) dt
f (t)K(x t) dt =
RN
RN
c
Notas de An
Pablo L. De Napoli
138

f (t) [K(x + h t) K(x t)] dt
Z

=
RN
Llamamos u = x t t = x u

Z

f (x u) [K(u + h) K(u)] dt
=
N
R
Z
1/p Z
|f (x u)|p du
RN
|K(u + h) K(u)|q
1/q
RN
= kf kp kK(u + h) K(u)kq
Afirmamos que esta u
ltima expresion tiede a cero cuando |h| 0.
En efecto, como K es continua y tiene soporte compacto, entonces es uniformemente continua en RN , por lo tanto, dado > 0 existe un > 0 tal que
para todo u RN , si |h| < entonces |K(u + h) K(u)| < . Podemos ademas
asumir que < 1.
En consecuencia si ]h| < ,
Z
Z
Z
q
q
|K(u + h) K(u)| du = |K(u + h) K(u)| du q du = q m(I)
RN
en donde I = {x RN : d(x, Sop(K) 1} (que es un compacto, y por lo tanto

tiene medida finita).
Sea K C0m (m 1) fijada i con 1 i m, y sea ei el i-esimo vector de la
base can
onica entonces:

Z
(f K)(x + h ei ) (f K)(x)
(K(x t + h ei ) K(x t)
=
f (t)
dt
h
h
RN

Z
K
(x t + h ) dt
=
f (t)
xi
RN
por el teorema del valor medio, para alg
un h = ei dependiendo de x y t,
donde est
a entre 0 y h.
K
K
Por lo tanto, cuando |h| 0, x
(x t + h ) converge a x
(x t) unifori
i
K
memente en t. Como xi tiene soporte compacto, se deduce del teorema de la
convergencia uniforme que la u
ltima integral converge a
Z
K
f (t)
(x t) dt
xi
N
R

K
Por lo tanto, (fxK)
(x)
existe
y
es
igual
a
f
xi (x) que es continua por

i
lo antes demostrado.
Esto prueba el teorema si m = 1. La prueba para m cualquiera es inmediata
por inducci
on (aplicando el caso m = 1).
Se sigue que f K C si f Lp (1 p +) y K C0
Adem
as f K tiene soporte compacto por la proposicion 7.3.4.
c
Notas de An
Pablo L. De Napoli
7.5.
139
Aproximaciones de la identidad
Definici
on 7.5.1 Dada una funci
on K : RN R y > 0 notamos
x
K (x) = N K
Por ejemplo si K = funci

on caracterstica de la bola B = {x RN :k x k< 1}
tenemos que:
n
si |x| <
K (x) =
0 si si |x| >
o sea K = n B (0) donde B (0) = {x RN : |x| < }. Vemos que a medida
que achicamos , K es una funcion con un pico mas elevado y un soporte
m
as chico. Para cualquier K positiva ocurre lo mismo: en general K tiene las
siguientes propiedades b
asicas:
Lema 7.5.2 Si K L1 (RN ) y > 0 entonces
i)
Z
Z
K (x)dx =
RN
K(x)dx
RN
ii) Para cada > 0 fijo,

Z
|K (x)| dx 0 cuando 0
|x|>
Demostraci
on: Para probar i) basta hacer el cambio de variable y = x/
Z
Z
Z
x
dx =
K(y) dy
K (x) dx =
N K
RN
RN
RN
(es un cambio lineal de coordenadas)
Para probar ii) fijemos un > 0 y hagamos el mismo cambio de variable:
Z
Z
x

|K (x)| dx =
N K
dx =
|x|>
|x|>
Z
|K(y)| dx
=
|y|>/
Pero / + cuando 0 como K L1 (RN ) la u

ltima integral tiende a
cero a medida que 0.
Notemos que
si K 0 la primera propiedad significa que el area bajo los graficos de K y K
es la misma , mientras que la segunda significa que que para peque
no el area
bajo el gr
afico de K est
a concentrada en una region sobre un peque
no entorno
del origen.
c
Notas de An
Pablo L. De Napoli
140
Para cualquier K L1 (RN ) podemos esperar que si en la formula

Z
(f K )(x) =
f (x t)K (t)dt
RN
hacemos que 0 van a pesar los valores de f (x t) para t peque

no. De
hecho, vamos a probar que (f K )(x) f (x) en varios sentidos (por ejemplo
puntualmente) cuando 0 con adecuadas hipotesis sobre f y K
Una familia {K : > 0} de n
ucleos para la cual f K f en alg
un sentido
se llama una aproximaci
on de la identidad.
R
Teorema 7.5.3 Sea f = f K donde K L1 (RN ) y RN K(x)dx = 1. Si
f Lp (RN ) con 1 p < entonces k f f kp 0 cuando 0, es decir
que f converge a f en Lp
Demostraci
on: Por la parte i) del lema anterior tenemos:
Z
Z
f (x) = f (x)
K (t) dt =
f (x) K (t)dt
RN
RN
Por lo tanto
Z

|f (x) f (x)|
RN

[f (x t) f (x)] K (t)dt
|f (x t) f (x)| |K (t)| dt =
RN
|f (x t) f (x)| |K (t)|1/p |K (t)|1/q dt
=
RN
donde q es tal que p1 + 1q = 1, (1/q = 0 si p = 1)

Aplicando la desigualdad de Holder con exponentes pyq, obtenemos que:
1/p Z
|f (x t) f (x)| |K (t)| dt
Z
|f (x) f (x)|
RN
1/q
|K (t)| dt
RN
1/q
Z
|K (t)|dt
=
RN
Elevamos ambos miembros a la p e integramos:

Z
|f (x) f (x)|p dx
RN
Z
RN
(Z
|f (x t) f (x)| |K (t)| dt
p
RN
)p/q
|K (t)| dt
RN
=k K
p/q
k1
Z
RN
Z
RN

|f (x t) f (x)| |K (t)| dt dx
p
dx
c
Notas de An
Pablo L. De Napoli
141
Cambiando el orden de integracion en la u

ltima integral (lo que esta justificado
por el teorema Fubini-Tonelli, pues el integrando es no negativo) obtenemos:

Z Z
p/q
k f f kpp k K k1
|f (x t) f (x)|p |K (t)| dx dt
RN
=k K
Llamando (t) =
p/q
k1
RN
Z
|K (t)|
RN
|f (x t) f (x)| dx dt
RN
|f (x t) f (x)|p dx = kf (x t) f (x)kpp tenemos

Z
p/q
kf f kpp = kKk1
|K (t)|(t) dt
RN
RN
Para > 0 escribimos

Z
|K (t)| (t)dt = A, + B,
I =
RN
con
Z
|K (t)| (t) dt
A, =
|t|<
y
Z
|K (t)| (t) dt
B, =
|t|
Dado > 0, podemos elegir > 0 tan peque

no que (t) < si |t| < , ya que
(t) 0 cuando |t| 0 pues f Lp .
Z
A,
|K (t)| dt k K k1
|t|<
para todo > 0. Por otra parte, por la desigualdad de Minkowki es una
funci
on acotada, de hecho:
(t)1/p =
Z
1/p
|f (x t) f (x)|p dx
RN
Z
1/p Z
|f (x t)|p dx
RN
1/p
|f (x)|p dx
= 2 kf kp
RN
de modo que kk 2kf kp )p = C.

Z
Z
B, =
|K (t)| (t) dt C
|t|
|K (t)| dt 0
|t|
cuando 0. Por lo tanto, I 0 cuando 0 y esto prueba el teorema.

Corolario 7.5.4 Para 1 p < , C0 (RN ) es denso en Lp (RN ).
c
Notas de An
Pablo L. De Napoli
142
Demostraci
on: Sea f Lp , (1 p < ). Dado > 0, escribamos f = g + h
donde g tiene soporte compacto y khkp <R
Elijamos un n
ucleo K C0 tal que RN K(x) dx = 1 y sea g = g K ,
entonces g C0 (RN ) y kg g kp 0 cuando 0 por los resultados

anteriores.
Elijamos tal que kg g kp < entonces
kf g kp khkp + kg g kp < 2
Esto prueba el corolario.

El siguiente resultado es un sustituto del teorema anterior para p = :
R
Teorema 7.5.5 Sea f = f K donde f L (RN ), K L1 (RN ) y RN K(x)dx =
1, entonces f f en cada punto de continuidad de f cuando 0
Demostraci
on:
Z

|f (x) f (x)| =
Z
f (x t)K (t) dt
RN
RN

f (x)K (t) dt
|f (x t) f (x)| |K (t) | | dt
RN
Si f es continua en x, dado > 0, existe > 0 tal que si |t| < entonces
|f (x t) f (x)| < . Y obtenemos:
Z
|f (x) f (x)|
|f (x t) f (x)| |K (t)| dt
|t|
Z
|K (t)| dt
+
|t|<
Z
2kf k
|K (t)| dt + kKk1
|t|
R
Como |t| |K (t)| dt 0 cuando varepsilon 0 para un fijo, se sigue que
|f (x) f (x)| 0 cuando 0

donde f L1 (RN ), K L1 (RN ) L (RN ),
RTeorema 7.5.6 Sea f = f K N
K(x)dx = 1 y K(x) = o(|x| ) entonces f f puntualmente cuando
RN
0, en cada punto de continuidad de f .
7.6.
Ejemplos (en N = 1)
1. N
ucleo de Poisson:
1
1
K(x) = P (x) =
1 + x2
R
Entonces P L1 (R) L (R) , R P (x)dx = 1 , P es positivo y P (x) =
o(|x|1 ) cuando |x| , de hecho P (x) = O(|x|2 ).
c
Notas de An
Pablo L. De Napoli
P (x) =
143
1
1
1
=
;
1 + (x/)2
2 + x2
P se llama n
ucleo de Poisson, y la convolucion
Z
1
f (x) =
dt
f (t) 2
RN
+ (x t)2
integral de Poisson de f . Poniendo = y, f (x, y) = fy (x) obtenemos una
funci
on definida en el semiplano superior
H = {(x, y) R2 : x, y Ry > 0}
Z
1
y
f (x, y) =
dt
f (t) 2
R
y + (x t)2
Observaci
om: Como
y
x2 +y 2
es armonica f resulta armonica en H.
Adem
as se tiene que si f L1 (RN ), f (x, y) f (y) cuando y 0 en cada
punto de continuidad de f , luego para f continua e integrable resuelve el
problema de Dirichlet:

u = 0
en H
u(x, 0) = f (x) en H
2. N
ucleo de Frejer: Para x R pongamos:
K(x) =
1 n sen x o2
Nuevamente K L1 (R) L (R), K es positivo y

K (x) =
11
sen (x/)
x/
R
R
K(x) dx = 1.
2
Poniendo = 1/ tenemos el n
ucleo de Frejer:
1
F (x, w) =
sen (x)
x
2
=
1 sen2 (x
x2
Si f L1 (R) obtenemos que:

Z
1 sen2 (x)
lm
f (x t)
dx = f (x)
w0 R
x2
en cada punto de continuidad de f .
c
Notas de An
Pablo L. De Napoli
144
3. N
ucleo de Gauss-Weirstrass: Tomamos la funcion
2
1
K(x) = ex /2
2
(distribuci
on normal de probabilidad)
K (x) =
2
2
1
ex /(2 )
2
(para la teora de probabilidades

es la distribucion normal de media 0 y
variancia 2 )). Poniendo = t se obtiene
W (x, t) =
1 x2 /(2t)
e
2t
Se verifica que W satisface la ecuacion del calor

2
W
2W
=
t
x2
Dada f L1 (R) se tiene que

Z
2
1
lm
f (x y)ey /(2t) dy = f (x)
y0
2t R
en cada punto de continuidad de f . Por consiguiente
Z
2
1
u(x, t) =
f (x y)ey /(2t) dy
2t R
resuelve el problema:

2 W
=
t
u(x, 0) =
2W
x2
para t > 0
f (x)
cuando f es continua e integrable.

Si fortalecemos las hip
otesis sobre K podemos obtener convergencia en casi todo punto. Por ejemplo tenemos el siguiente resultado: (cuyas hipotesis se
satisfacen en todos los ejemplos anteriores)
Teorema 7.6.1 Supongamos que f L1 (RN ), K esR acotado K(x) = O(|
x |n ) cuando |x| , para alg
un > 0 y que RN K(x) dx = 1, entonces f = f K f en cada punto de Lebesgue de f (y en particular en casi
todo punto)
Ap
endice A
Notaciones
RN
E
F
M
Mf
m(A), |A|
me (A), |A|e
D(E)
RA
f d
Espacio eucldeo N -dimensional

La clase de los conjuntos elementales
La clase de los conjuntos que tienen medida exterior finita
La clase de los conjuntos medibles Lebesgue
La clase de los conjuntos finitamentes medibles
Medida de Lebesgue de A
Medida exterior de Lebesgue de A
conjunto de diferencias de E (definicion 1.14.1)
funci
on caracterstica del conjunto A
integral de la funcion f sobre el espacio con respecto a la medida
145
Bibliografa
[1] Patrick Billingsley. Probability and Measure. John Willey & Sons. (1979)
[2] H. Brezis. An
alisis Funcional: Teora y Aplicaciones. Alianza Editorial,
(1984).
[3] Miguel de Guzm
an, Differentiation of integrals in Rn . Springer Lecture
Notes in Mathematics, no. 481.(1975)
[4] Norbeto Fava, Felipe Zo. Medida e integral de Lebesgue. Buenos Aires :
Red Olmpica, 1996.
[5] Pedro J. Fern
andez. Medida e Integraao. IMPA. Projecto Euclides, (2007).
[6] Paul Halmos, Measure Theory. D. Van Nostrand. New York. (1950).
[7] A.N. Kolmogorov, S.V. Fomn. Elementos de la teora de funciones y del
an
alisis funcional. Editorial MIR, Mosc
u, (1975).
[8] I. P. Natanson. Theory of Functions of a Real Variable. Frederic Ungar
Publishing Co. New York, (1964)
[9] Julio Rey Pastor, Pedro Pi Calleja y Cesar A. Trejo. Analisis Matematico,
(volumen 3, captulo XXIV). Kapelusz, Buenos Aires (1959).
[10] Fridgies Riesz, B. Sz. Nagy. Functional Analysis. (1955) Frederic Ungar
Publishing.
[11] Walter Rudin. Real and Complex Analysis. Mc-Graw.
[12] Richard Wheeden, Antoni Zygmund. Measure and Integral. Marcel Dekker
Inc. 1977.
[13] Barcenas, Di
omedes . The Fundamental Theorem of Calculus for Lebesgue
Integral. Divulgaciones Matematicas Vol. 8 No. 1 (2000), pag. 75-85.
[14] F. Barthe, Optimal Youngs inequality and its converse: a simple proof.
Geom. Funct. Anal. 8 (2), 234242 (1998). http://arxiv.org/abs/math/
9704210
[15] William Beckner Inequalities in Fourier Analysis. Annals of Mathematics
Second Series, Vol. 102, No. 1 (1975), pag 159182.
146

Notas de Real

Transféré par

Informations du document

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Notas de Real

Transféré par

Droits d'auteur :

Formats disponibles

Notas de Analisis Real

(en construccion- version 0.3.4.4)

2. Funciones Medibles e Integral en espacios abstractos

Medidas complejas y el Teorema de Radon-Nikodym

en lo sucesivo la letra N may

(a, b) = {x R : a < x < b}

Propiedades de los intervalos de la recta

donde los Ii son intervalos disjuntos de RN .

donde los Ik son intervalos disjuntos de RN

donde los Ji son intervalos disjuntos de RN . Entonces:

y los conjuntos Ii Jj son intervalos disjuntos AB es un conjunto elemental.

Propiedad 1.3.5 Si A es un conjunto elemental de RN y B es un conjunto

donde los Ik son intervalos disjuntos de RN

donde los Ji son intervalos disjuntos de RM . Entonces:

Propiedad 1.3.7 Si A y B son conjuntos elementales, entonces A B es elemental.

donde los Ii son intervalos disjuntos de RN , y

donde los Jj son intervalos disjuntos de RN . Entonces:

Cada Ii Jj es elemental (por la propiedad 1.3.7), por lo tanto Ii B es

Ii (Ii disjuntos) m(I) =

o sea existen semiespacios complementarios S 0 y S 00 tales que Ik S 0 y Jk S 00 .

entonces H 0 y H 00 son intervalos disjuntos, y se tine que H 0 S y H 00 S 00 .[B

Podemos claramente suponer que Ii 6= para todo i, sin perdida de generalidad.

donde la union es disjunta, y como I1 S , deducimos que I10 = I1 e I200 =

= m(I1 ) + m(I2 ) + . . . + m(In )

La aditividad es la propiedad clave de la medida que intentaremos mantener al

Medida de Conjuntos Elementales

Hay que comprobar que la definicion es correcta: Supongamos que

Esta es una uni

En consecuencia, las dos descomposiciones dan el mismo valor para m(A).

Iki (union disjunta)

De (1.1) y (1.2) deducimos que:

Definimos entonces, los conjuntos F y G por:

Desde luego, F A G. F es cerrado por ser union finita de cerrados y G es

Esto prueba el lema.

Teorema 1.5.8 (-subaditividad de la medida elemental) Sea A1 , A2 , . . . , Ak , . . .

Dado > 0, existe F A elemental cerrado tal que:

F es un conjunto cerrado y acotado (esta incluido en A, que es elemental) y por

Resulta entonces que:

Como > 0 es arbitrario, obtenemos el teorema.

Por otra parte tenemos que

Cuando n tiende a infinito resulta:

donde los Bk son elementales pero ahora la uni

donde los Ai , Bj son elementales. Entonces,

Esta es una uni

Medida de conjuntos -elementales

Por lo que ambas descomposiciones dan el mismo valor para m(U ).

siendo U ,Uk conjuntos -elementales, entonces

En particular, si U V entonces, m(U ) m(V ).

(Ak elementales disjuntos)

(Para cada k : Bkj elementales disjuntos)

Haciendo que n resulta que:

Medida exterior de Lebesgue

Entonces U es -elemental y U E. Por otra parte, me (E) m(U ) (por

Finalmente, demostremos la afirmacion v): Como U es un conjunto -elemental

Conjuntos Medibles (Lebesgue)

Dado > 0, para cada k podemos encontrar un -elemental Uk Ek tal

Es un conjunto -elemental y U E. Ademas:

(Utilizamos que la medida exterior es creciente y -subaditiva)

Propiedad 1.9.6 Si E1 y E2 son conjuntos medibles entonces E1 E2 es medible.

Como es arbitrario, esto prueba que E es medible.

Hecho esto llamemos:

entonces A E U E, pues A U , entonces

y E A U A = V , V es -elemental, y por otra parte,

El lema anterior admite una interpretacion interesante. Consideramos la clase