Notas de Real PDF

Notas de Analisis Real
(en construccion- version 0.3.4.5)
2007-2009
c Pablo L. De Napoli
7 de junio de 2015
Indice general
1. Teora de la medida en RN 3
1.1. Intervalos en la recta: . . . . . . . . . . . . . . . . . . . . . . . . 3
1.2. Intervalos en RN . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.3. Conjuntos Elementales . . . . . . . . . . . . . . . . . . . . . . . . 5
1.4. Medida de intervalos en RN . . . . . . . . . . . . . . . . . . . . . 8
1.5. Medida de Conjuntos Elementales . . . . . . . . . . . . . . . . . 10
1.6. Conjuntos -elementales . . . . . . . . . . . . . . . . . . . . . . . 15
1.7. Medida de conjuntos -elementales . . . . . . . . . . . . . . . . . 16
1.8. Medida exterior de Lebesgue . . . . . . . . . . . . . . . . . . . . 17
1.9. Conjuntos Medibles (Lebesgue) . . . . . . . . . . . . . . . . . . . 19
1.10. Propiedades de la medida de Conjuntos Medibles . . . . . . . . . 25
1.11. Caracterizaciones de los conjuntos medibles . . . . . . . . . . . . 27
1.12. Propiedades de continuidad de la medida . . . . . . . . . . . . . 30
1.13. Otras propiedades de la medida de Lebesgue . . . . . . . . . . . 31
1.14. El conjunto de las diferencias de un medible . . . . . . . . . . . . 32
1.15. Existencia de conjuntos no medibles . . . . . . . . . . . . . . . . 33
2. Funciones Medibles e Integral en espacios abstractos 35

2.1. Algebras y -algebras de conjuntos . . . . . . . . . . . . . . . . . 35
2.2. Medidas sobre un algebra de conjuntos . . . . . . . . . . . . . . . 36
2.3. Funciones Medibles . . . . . . . . . . . . . . . . . . . . . . . . . . 38
2.4. Funciones Simples . . . . . . . . . . . . . . . . . . . . . . . . . . 41
2.5. Teorema de Egorov . . . . . . . . . . . . . . . . . . . . . . . . . . 42
2.6. Convergencia en medida . . . . . . . . . . . . . . . . . . . . . . . 45
2.7. Integral de Funciones Simples . . . . . . . . . . . . . . . . . . . . 48
2.8. Integral de funciones no negativas . . . . . . . . . . . . . . . . . . 48
2.9. Funciones Integrables . . . . . . . . . . . . . . . . . . . . . . . . . 52
3. Construccion de medidas 56
3.1. Medidas Exteriores . . . . . . . . . . . . . . . . . . . . . . . . . . 56
3.2. Medidas exteriores metricas . . . . . . . . . . . . . . . . . . . . . 60
3.3. Las medidas de Lebesgue-Stieltjes . . . . . . . . . . . . . . . . . 62
3.4. El teorema de Extension de Medidas . . . . . . . . . . . . . . . . 66
1
Notas de Analisis Real - 2007-2015
c Pablo L. De Napoli 2
4. Espacios Lp (E, ) 71
4.1. Funciones equivalentes . . . . . . . . . . . . . . . . . . . . . . . . 71
4.2. Norma p ( 1 < p < ) . . . . . . . . . . . . . . . . . . . . . . . . 71
4.3. Norma Infinito . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72
4.4. Espacios Lp (o Lp (E, )) (1 p ) . . . . . . . . . . . . . . . 74
4.5. Exponente Conjugado de p. Desigualdad de Holder . . . . . . . . 76
4.6. Desigualdad de Minkowski . . . . . . . . . . . . . . . . . . . . . . 78
4.7. Desigualdad integral de Minkowki . . . . . . . . . . . . . . . . . 80
4.8. Completitud de Lp (Teorema de Riesz-Fischer) . . . . . . . . . . 81
4.9. Inclusiones entre los espacios Lp . . . . . . . . . . . . . . . . . . 83
4.10. Clases de funciones densas en Lp . . . . . . . . . . . . . . . . . . 84
4.11. El espacio L2 - Espacios de Hilbert . . . . . . . . . . . . . . . . . 87
4.12. Teorema de la Perpendicular . . . . . . . . . . . . . . . . . . . . 91
4.13. Funcionales Lineales Continuas en un espacio de Hilbert . . . . . 93
5. Diferenciacion (en RN ) 95
5.1. El Lema Simple de Vitali . . . . . . . . . . . . . . . . . . . . . . 95
5.2. Funcion Maximal de Hardy - Littlewood . . . . . . . . . . . . . . 98
5.3. Teorema de diferenciacion de Lebesgue . . . . . . . . . . . . . . . 101
5.4. Cubrimientos de Vitali: Lema de Vitali . . . . . . . . . . . . . . . 103
5.5. Derivada de funciones monotonas: . . . . . . . . . . . . . . . . . 106
5.6. Funcionnes de variacion acotada (de variacion finita) . . . . . . . 111
5.7. Funciones absolutamente continuas . . . . . . . . . . . . . . . . . 114
5.8. Descomposicion de Lebesgue . . . . . . . . . . . . . . . . . . . . 117
6. Las Medidas complejas y el Teorema de Radon-Nikodym 119

6.1. Medidas complejas . . . . . . . . . . . . . . . . . . . . . . . . . . 119
6.2. Absoluta continuidad. Medidas Singulares . . . . . . . . . . . . . 125
6.3. Teorema de Lebesgue - Radon - Nikodym . . . . . . . . . . . . . 127
6.4. La descomposicion polar de una medida compleja . . . . . . . . . 130
7. Convolucion y Aproximaciones de la Identidad 132

7.1. Definicion y propiedades elementales . . . . . . . . . . . . . . . . 132
7.2. Desigualdad de Young . . . . . . . . . . . . . . . . . . . . . . . . 134
7.3. El soporte y la convolucion . . . . . . . . . . . . . . . . . . . . . 136
7.4. Convolucion con funciones suaves . . . . . . . . . . . . . . . . . . 137
7.5. Aproximaciones de la identidad . . . . . . . . . . . . . . . . . . . 139
7.6. Ejemplos (en N = 1) . . . . . . . . . . . . . . . . . . . . . . . . . 142
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
numero 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 in-
tervalos.
Nota sobre la bibliografa: La presentacion 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. Zo [4]. El principal merito
de esta construccion, en contraste con el de otras presentaciones mas abstractas de la
teora, es el de tener un claro significado geometrico, por lo que creo que es mas facil de
comprender para los estudiantes. El clasico libro de Wheeden y Zygmund [12] presenta
una construccion similar, quizas algo mas directa (aunque omite algunos detalles).
1.1. Intervalos en la recta:

Definicion 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 mayuscula para la dimension del espacio.
3
(a, b) = {x R : a < x < b}

siendo a, b numeros 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 interseccion 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 unica manera de escribir un intervalo como union de k intervalos dis-

juntos consiste en elegir k puntos interiores de subdivision (esto es: una
particion del intervalo).
5. Consecuencia: (Aditividad de la medida) Si un intervalo se escribe como

union finita de intervalos disjuntos
I = I1 I2 . . . Ik
entonces
m(I) = m(I1 ) + m(I2 ) + . . . + m(Ik )
1.2. Intervalos en RN
Definicion 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.
Observacion: La representacion de un intervalo como producto cartesiano de

intervalos lineales es unica (salvo para el intervalo vaco).
Propiedad 1.2.2 La interseccion de dos intervalos de RN es un intervalo de

RN .
2 Para que esto sea cierto sin excepciones es necesario considerar al conjunto vaco como
un intervalo.
Demostracion: 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

Definicion 1.3.1 Un conjunto elemental es un conjunto que puede repre-
sentarse como union de un numero finito de intervalos disjuntos:
n
[
A= 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.
Demostracion: Sean A, B conjuntos elementales

n
[
A= Ii
i=1
donde los Ik son intervalos disjuntos de RN

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

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

Corolario 1.3.3 La interseccion de cualquier familia finita de conjuntos ele-

mentales 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 definicion.)
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 .
Demostracion: Sean:
n
[
A= Ii
i=1
donde los Ik son intervalos disjuntos de RN

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

n [
[ m
AB = (Ii Jj )
i=1 j=1
Ademas la union 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 .
Demostracion: 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 hipotesis 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).
Propiedad 1.3.7 Si A y B son conjuntos elementales, entonces A B es ele-

mental.
Demostracion: Sean
n
[
A= Ii
i=1
donde los Ii son intervalos disjuntos de RN , y

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

n
[
AB = (Ii B)
i=1
siendo la union disjunta, y por la ley de De Morgan, tenemos que:

m
\
Ii B = (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 ele-

mental.
Demostracion: 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
Observacion 1.3.9 La diferencia simetrica de conjuntos elementales es ele-

mental:
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 = .
Observacion 1.3.10 Un conjunto elemental es acotado (es union finita de con-

juntos acotados). Por lo tanto el complemento de un conjunto elemental no
puede ser elemental (sino el espacio RN , que es union del conjunto y su com-
plemento, sera acotado).
1.4. Medida de intervalos en RN

Definicion 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 union finita de intervalos disjuntos Ii , la medida de I es la
suma de las medidas de los Ii :
n
[ n
X
I= Ii (Ii disjuntos) m(I) = m(Ii )
i=1 i=1
Demostracion: Hacemos induccion en n (el numero de partes en que se parte

el intervalo). Supongamos primero n = 2
Cuando un intervalo de RN se descompone como union de dos intervalos dis-
juntos 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
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 descomposicion en n intervalos disjuntos:
n
[
I= 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
donde la union es disjunta, y como I1 S , deducimos que I10 = I1 e I200 =

0
pues I2 S 00 .
Analogamente,
n
[ n
[
I 00 = I S 00 = (Ii S 00 ) = Ii00
i=1 i=1
donde la union 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:
m(I) = m(I1 )+m(I30 )+m(I40 )+. . .+m(IN

0
)+m(I2 )+m(I300 )+m(I400 )+. . .+m(In00 )
= m(I1 ) + m(I2 ) + (m(I30 ) + m(I300 )) + (m(I40 ) + m(I400 )) + . . . + (m(IN

0
) + m(In00 ))
= 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
Definicion 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 no-
tada a veces |A|) por:
X n
m(A) = m(Ii )
i=1
Hay que comprobar que la definicion es correcta: Supongamos que

m
[
A= Jj
j=1
es otra descomposcion 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 union disjunta de intervalos. Por lo tanto, por la aditividad de la

medida de intervalos,
n
X n X
X m
m(Ii ) = m(Ii Jj ).
i=1 i=1 j=1
Analogamente,
n
[ m
X m X
X n
Jj = (Ii Jj ) m(Ji ) = m(Ii Jj )
i=1 i=1 i=1 k=1
Por lo tanto:
n
X m
X
m(Ii ) = m(Jj )
i=1 j=1
En consecuencia, las dos descomposiciones dan el mismo valor para m(A).
Corolario 1.5.2
Sn (aditividad) Si A1 , A2P
, . . . , An son conjuntos elementales dis-
n
juntos y A = k=1 Ak entonces: m(A) = k=1 m(Ak ).
Demostracion: Cada Ak sera union de nk intervalos disjuntos Iki :

nk
[ nk
X
Ak = Iki m(Ak ) = m(Iki )
i=1 i=1
Tenemos:
nk
n [
[
A= Iki (union disjunta)
k=1 i=1
luego
X nk
n X n
X
m(A) = m(Iki ) = m(Ak )
k=1 i=1 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)
Demostracion: 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)
A = (A B) (A B)(union disjunta)
Luego,
m(A) = m(A B) + m(A B)
Analogamente,
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)

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 )
Observacion 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 con-

junto elemental cerrado F A y un conjunto elemental abierto G A tales
que:
m(G) < m(A) +
y
m(F ) > m(A)
Sn
Demostracion: 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 )
n

m(Gi ) m(Ii ) +
n
Definimos entonces, los conjuntos F y G por:
n
[ n
[
F = Fi , G= Gi
i=1 i=1
Desde luego, F A G. F es cerrado por ser union finita de cerrados y G es

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

una sucesion infinita de conjuntos elementales y sea A un conjunto elemental
tal que
[
A Ak
k=1
Entonces:

X
m(A) m(Ak )
k=1
Demostracion: 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 ) +
2k
Entonces,

[
[
F A Ak Gk
k=1 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:
n
[
F Gk
k=1
En consecuencia,

n
! n
[ X X X
m(F ) m Gk m(Gk ) m(Ak ) + = m(Ak ) +
2k
k=1 k=1 k=1 k=1
Resulta entonces que:

X
m(A) m(F ) m(Ak ) +
k=1
o sea que:

X
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 ele-

mental A se descompone como la union numerable de conjuntos elementales
disjuntos Ak :

[
A= Ak
k=1
entonces:

X
m(A) = m(Ak )
k=1
Demostracion: Por el teorema anterior, como

[
X
A Ak m(A) m(Ak ) (1.3)
k=1 k=1
Por otra parte tenemos que

n n
!
[ [
Ak A m Ak m(A)
k=1 k=1
y como la union 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:

X
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.
1.6. Conjuntos -elementales

Definicion 1.6.1 Un conjunto -elemental es el que puede representarse co-
mo una union numerable de conjuntos elementales disjuntos:

[
U= Ai
i=1
S
Observacion 1.6.2 Si U = i=1 Ai donde los Ai son elementales (no ne-
cesariamente disjuntos) U es -elemental. En efecto definamos una nueva
sucesion Bi poniendo:
n1
[
B1 = A1 , B2 = A2 A1 , B3 = A3 A1 A2 , y en general Bn = An Ak
k=1
entonces:

[
[
U= Ai = Bk
i=1 k=1
donde los Bk son elementales pero ahora la union es disjunta. En consecuencia,

U es -elemental.
S
Proposicion 1.6.3 Si U = k=1 Uk donde cada Uk es -elemental entonces U
es -elemental.
(La union numerable de numerables, es numerable)
Proposicion 1.6.4 Si U y V son -elementales, entonces U V es -elemental.
Demostracion: Sean

[
[
U= Ai , V = Bj
i=1 j=1
donde los Ai , Bj son elementales. Entonces,

[
[
U V = (Ai Bj )
i=1 j=1
Esta es una union numerable de conjuntos elementales (por la propiedad 1.3.2),

en consecuencia, U V es -elemental.
Observacion: En cambio la interseccion numerable de conjuntos elementales
puede no ser -elemental. Contraejemplo: el ternario de Cantor.
1.7. Medida de conjuntos -elementales

S
Definicion 1.7.1 Si U = i=1 Ai (Ai elementales disjuntos) definimos su
medida m(U ) (a veces notada tambien |U |) por:

X
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 descomposicion de U como union numerable de elementales disjuntos

tenemos como antes:

[
X X
X
Ai = (Ai Bj ) m(Ai ) = m(Ai Bj )
j=1 i=1 i=1 j=1

[
X X
X
Bj = (Ai Bj ) m(Bj ) = m(Ai Bj )
i=1 j=1 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:

X
X
m(Ai ) = m(Bj )
i=1 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.
Demostracion: Sea G un abierto. Para cada punto x de G existe un cubo abier-
to 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

X
m(U ) m(Uk )
k=1
En particular, si U V entonces, m(U ) m(V ).

Demostracion: Podemos suponer, sin perdida de generalidad, que

X
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 Ak Bkj
k=1 k=1 k=1 j=1
Sn
Notemos que k=1 Ak es un conjunto elemental que esta incluido en la union
de la sucesion infinita de elementales Bkj . Por el teorema 1.5.8, deducimos que:
X
n
!
[ X X
m Ak m(Bkj ) = m(Uk )
k=1 k=1 j=1 k=1
O sea
n
X
X
m(Ak ) m(Uk )
k=1 k=1
Haciendo que n resulta que:

X
X
m(Ak ) m(Uk )
k=1 k=1
(La serie del primer miembro converge por formar sus sumas parciales una
sucesion creciente y acotada). Pero, por definicion, esto es:

X
m(U ) m(Uk )
k=1
1.8. Medida exterior de Lebesgue

Definicion 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 }

Observacion: Cualquier conjunto E RN tiene una medida exterior.

Otra Observacion: Si me (E) es finita y > 0, existe un U -elemental tal
que:
m(U ) < me (E) +
(Por la definicion de nfimo)
Proposicion 1.8.2 (Propiedades de la medida Exterior) La medida exte-

rior 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)
Demostracion:
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 algun 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
Definimos:

[
U= Uk
k=1
Entonces U es -elemental y U E. Por otra parte, me (E) m(U ) (por

definicion), entonces:

X X X
me (E) m(Uk ) me (Ek ) + k = me (Ek ) +
2
k=1 k=1 k=1
y como es arbitrario:

X
me (E) 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 ) (1.6)
Como probamos las dos desigualdades (1.5) y (1.6), vale la igualdad.
Observacion 1.8.3 La medida exterior no es aditiva en general: puede demos-

trarse 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 practica 1)
1.9. Conjuntos Medibles (Lebesgue)

Definicion 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.
Demostracion: Si E es -elemental, tomamos U = E. Entonces me (U E) =

me () = 0 <
Definicion 1.9.3 Diremos que un conjunto E RN tiene medida cero o me-

dida nula si me (E) = 0
Observacion: Todo conjunto numerable tiene medida nula. El ternario de

Cantor es un ejemplo de conjunto de medida nula que tiene la potencia del
continuo.
Observacion 1.9.4 Si E RN tiene medida nula, entonces es medible.
Demostracion: 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 sucesion finita o infinita de

conjuntos medibles entonces

[
Ek M
k=1
(La union numerable de conjuntos medibles es medible).
Demostracion: 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 esta 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 me-

dible.
Demostracion: 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
esta en E1 o no esta en U2 ). En consecuencia,

me (U E) me (U1 E1 ) + me (U2 E2 ) = + =
2 2
Como es arbitrario, esto prueba que E es medible.
Definicion 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 definicion, su medida
exterior.)
Definicion 1.9.8 Diremos que E RN es finitamente medible si es medible

y m(E) < +.
El siguiente lema da una caracterizacion util de los conjuntos finitamente me-

dibles:
Lema 1.9.9 E es finitamente medible si y solo si, para todo > 0 existe un
conjunto elemental A tal que me (AE) <
Demostracion: ) : 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

X
m(U ) = m(Ii )
i=1
Como m(U ) < + esta serie converge, por lo tanto es posible elegir un i0 tal
que:

X
m(Ii ) <
i=i +1
2
0
Hecho esto llamemos:

i0
[
A= Ii
i=1
y

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

me (A E) me (U E) <
2
y E A U A = V , V es -elemental, y por otra parte,

X
m(V ) = m(Ii ) <
i=i0 +1
2
luego:

me (E A) m(V ) <
2
Por ultimo:
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.
El lema anterior admite una interpretacion interesante. Consideramos la cla-

se
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 )

Demostracion:
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 con-
cepto de distancia el lema se puede enunciar de otra manera:
Lema 1.9.10 E es finitamente medible si y solo 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 me-

dible.
Demostracion: 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
sucesion 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 )
Por lo tanto Ak Bk E F . Como Ak Bk es elemental, por el lema E F

es finitamente medible.
Observacion: Incidentalmente hemos probado que la diferencia de conjun-
tos 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 ] = [(E Qk ) (F Qk )]
k=1 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 union 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 interseccion numerable de conjuntos medibles es medible.

T
Demostracion: Sean Ek (k = 1, 2, . . .) conjuntos medibles y sea E = k=1 Ek
entonces:

[
Ec = Ekc
k=1
S
por la ley de De Morgan. Cada Ekc
es medible, en consecuencia k=1 Ekc es
medible, y por lo tanto E es medible.
Resumen: La clase M de los conjuntos medibles (Lebesgue) forma una
-algebra, es decir es cerrada bajo uniones e intersecciones numerables y com-
plemento.
1.10. 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)
Proposicion 1.10.1 Supongamos que Ak , A F y que Ak A en la seudo-
distancia d, entonces: me (Ak ) me (A) (en otras palabras la medida exterior
como funcion de F en R es una funcion continua)
Proposicion 1.10.2 Si E1 y E2 son conjuntos medibles entonces:
m(E1 E2 ) + m(E1 E2 ) = m(E1 ) + m(E2 )
Demostracion: 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 probo anteriormente, tenemos que
m(Ak Bk ) + m(Ak Bk ) = m(Ak ) + m(Bk )
y al hacer que k , se obtiene el teorema.
Observacion: 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 )
Corolario 1.10.3 (Por induccion) Si E1 , E2 , . . . , En son conjuntos medibles

disjuntos entonces si
n
[ n
X
E= Ek m(E) = m(Ek )
k=1 k=1
Proposicion 1.10.4 (-aditividad de la medida de Lebesgue) Sea (Ek ) una

familia numerable de conjuntos medibles disjuntos y

[
X
E= Ek m(E) = m(Ek )
k=1 k=1
Este es el resultado fundamental de la teora de Lebesgue.

Demostracion: Tenemos que

X
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:

X
m(Ek ) m(E)
k=1
que es la otra desigualdad.

Ejercicio: Probar que la proposicion 1.10.4 continua siendo ciera si los con-
juntos (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? )
1.11. Caracterizaciones de los conjuntos medi-

bles
Definicion 1.11.1 Diremos que A RTN es un conjunto de clase G si es

interseccion numerable de abiertos: A = k=1 Gk donde los Gk son abiertos.
Definicion 1.11.2 Diremos que BS RN es un conjunto de clase F si es

union numerable de cerrados: B = k=1 Fk donde los Fk son cerrados.
Observacion 1.11.3 El complemento de un F es un G y recprocamente.
Ejercicio: (de Calculo Avanzado)

1. Probar que todo cerrado es de clase G .
2. Probar que Q no es un G .
Observacion 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
Demostracion:
a) b) : Dado > 0, existe U -elemental tal que U E y me (U E) < .
Como U es -elemental sera

[
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)

! !
[ [ [
GU = Ji Ii (Ji Ii )
i=1 i=1 i=1
Por lo tanto,

X X X
m(G U ) m(Ji Ii ) = (m(Ji ) m(Ii )) =
i=1
2k
k=1 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
union de medibles.
Ejercicio 1.11.6 (otra caracterizacion de los conjuntos medibles) C. Ca-

ratheodory probo que un conjunto E RN es medible si y solo si para cualquier
conjunto A RN (medible o no) se cumple que:
me (A) = me (A E) + me (A E c )
(ejercicio de la practica 1). Toda la teora puede basarse en esta definicion

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:
Teorema 1.11.7
me (E) = nf{m(G) : G abierto, G E}
Demostracion: 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 escribira 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:

X X X
m(G) m(Ji ) m(Ii ) + i
= m(Ii ) + = m(U ) + < me (E) + 2
i=1 i=1
2 i=1
Ahora por definicion (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.
1.12. Propiedades de continuidad de la medida

Teorema 1.12.1 Sean (En )nN es una sucesion creciente de conjuntos medi-
bles
E1 E2 E3 . . . En En+1 . . .
y [
E= En
nN
Entonces
m(E) = lm m(En )
n+
Demostracion: Notamos que si algun 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 union 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):

X k
X
m(En En1 ) = lm m(En En1 )
k+
n=1 n=1
k
X
= lm [m(En ) m(En1 )] = lm m(Ek )
k+ k+
n=1
pues m(E0 ) = m() = 0.
Teorema 1.12.2 Sean (En )nN es una sucesion decreciente de conjuntos me-
dibles
E1 E2 E3 . . . En En+1 . . .
y \
E= En
nN
Entonces si m(En0 ) < + para algun n0 ,

m(E) = lm m(En )
n+
Demostracion: Tomando complemento con respecto a En0 tenemos que:

\
E n0 E = (En0 En ) (ley de De Morgan)
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 ) lm m(En )
n+ n+
Concluimos que:
m(E) = lm m(En )
n+

Observacion: Esta ultima 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 Lebes-

gue
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 dilatacion) Si E RN es medible, enton-
ces E es medible y m(E) = m(E)
Teorema 1.13.3 (efecto de una transformacion lineal) Si E RN es me-
dible y T : RN RN es una transformacion 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, en-
tonces
m(E) = nf{m(G) : G E, G abierto }
y
m(E) = sup{m(K) : K E, K compacto }
Demostracion: 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.
1.14. El conjunto de las diferencias de un medi-

ble
Definicion 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 (Teorema de Steinhaus) Si m(E) > 0, existe un > 0 tal

que (, ) D(E).
Demostracion: Notamos que en virtud de la regularidad de la medida, exis-
tira un cerrado F E con 0 < m(F ) < +, y como D(F ) D(E), bas-
tara 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 eleccion 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 contradiccion, pues como F Un0 , debe ser |F | |Un0 |. Esta
contradiccion provino de suponer que F y F + x eran disjuntos, en consecuencia
existira 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)).
Demostracion: 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 eleccion (que se requiere para probar que
2 = para todo cardinal infinito ), pero no la hipotesis del continuo (si aceptaramos dicha
hipotesis, la conclusion sera trivial.)
1.15. Existencia de conjuntos no medibles

Teorema 1.15.1 (Vitali) Existen conjuntos no medibles (Lebesgue). Mas aun:
cualquier conjunto medible E R con medida positiva contiene un conjunto no
medible.
Demostracion: En el conjunto E definimos una relacion de equivalencia:
x'y xy Q
Consideramos esta relacion restringida al conjunto E. Esto determina una par-

ticion del conjunto E en clases de equivalencia4 .
Utilizando el axioma de eleccion, 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 numeracion del conjunto de los numeros racionales: Q = (qk )kN
(lo cual es posible dado que Q es numerable), y consideramos los conjuntos
trasladados de V por numeros racionales :
Vk = V + qk
Notamos que: [
E Vk
kN
Pues si x E, entonces x ' v para algun v V , dado que V contiene un

elemento en cada clase de equivalencia. Luego x v Q, es decir x v = qk
para algun k y por consiguiente x Vk .
Si V fuera medible, cada Vk sera medible y m(Vk ) = m(V ) (por la in-
variancia por traslaciones de la medida de Lebesgue). Por lo tanto, por la -
subatividad:

X
X
m(E) m(Vk ) m(V ) (1.7)
k=1 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 algun > 0, en virtud del teorema 1.14.2.
Pero por la definicion de V , tenemos que
D(V ) Q = {0}
Esto es una contradiccion, dado que por la densidad de los racionales en el

intervalo (, ) hay infinitos numeros racionales.
4 En el lenguaje del algebra consideramos el grupo cociente R/Q
5 Ponemos la plabra construido entre comillas pues precisamente esta demostracion que
emplea de modo esencial el axioma de eleccion es un ejemplo paradigmatico de demostracion
no constructiva.
Este absurdo provino de suponer que V era medible. En consecuencia V no

puede ser medible.
Observacion 1.15.2 El mismo argumento muestra que cualquier subconjunto

medible del conjunto de Vitali mide cero6 .
Nota sobre esta demostracion: La construccion de conjuntos no medibles depende

de manera esencial del axioma de elecccion. El matematico Robert Solovay consi-
guio construir un modelo de la teora de conjuntos (de Zermelo-Fraenkel) en el que no
vale el axioma de eleccion 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).
El teorema 1.14.1 fue demostrado por H. Steinhaus en el artculo Sur les distances
des points dans les ensembles de mesure positive, Fundamenta Mathematicae vol 1,
numero 1, pag. 93104.(1920).
Nota sobre la bibliografa: Existen diversas presentaciones de la teora de la me-

dida en la Bibliografa. Ademas de la construccion geometrica que hemos seguido (ver
los libros de Fava y Zo [4], y Wheeden y Zygmund [12]), existen otros procedimientos
mas abstractos que permiten construir la medida (y la integral) de Lebesgue.
Por ejemplo, podemos mencionar la del clasico libro de Halmos [6] (que se apo-
ya en la definicion de Caratheodory de los conjuntos medibles, que permite formular
un teorema de extension 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 abs-
tracto, y desarrolla a partir de all toda la teora de la integracion, 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 ultimas presentaciones
son ciertamente interesantes para profundizar en el estudio del tema, pero creo que
son demasiado abstractas para una primera aproximacion.
Finalmente, cabe mencionar la presentacion 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 aproximacion 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 presentacion de la teora, moti-
vada 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 funcion medible e integral en

RN , y despues su generalizacion 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 Zo [4], o de Wheeden y Zygmund [12] para una exposicion mas
geometrica de la integral en Rn (a partir de la definicion como medida del conjunto
bajo el grafico de una funcion, 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 .
Definicion 2.1.1 Una coleccion de conjuntos A P()[P(): partes de ) se

llama un algebra 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
3. Si A, B A, entonces A B A [A B = A B c ].
Ejemplo: Los conjuntos elementales de RN forman un algebra.
Definicion 2.1.2 Un algebra de conjuntos A que es cerrada bajo uniones nu-

merables se llama una -algebra. Es decir un algebra ASes una -algebra si

para cualquier sucesion infinita (An ) de conjuntos de A, n=1 An A
Corolario 2.1.3 Una -algebra es cerrada bajo intersecciones numerables.

T O
sea si (An ) es una sucesion 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 (-alge-
bras) de subconjuntos de es un algebra ( -algebra). En particular dada una
coleccion 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.
Definicion 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
pequena algebra (-algebra) que contiene a C.
2.2. Medidas sobre un algebra de conjuntos

Definicion 2.2.1 Sea A una algebra de conjuntos. Una funcion : A [0, ]
se llama una medida (positiva) si:
1. () = 0
2. es -aditiva, es decir: para cualquier
S sucesion A1 , A2 , . . . , An , . . . de con-
juntos disjuntos de A cuya union 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.
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 numeros
reales no negativos. Pongamos
X
(A) = an
nA
Es facil ver que es una medida. Recprocamente toda medida sobre N es de

esta forma.
Corolario 2.2.2 Una medida es finitamente aditiva.
Demostracion: Supongamos que AS 1 , A2 , . . . , An es una sucesion de conjun-

n
tos disjuntos de A cuya union A = k=1S Ak pertenezca a A entonces ponga-
P
mos
Pn A k = para k > ny resulta: A = k=0 A k (A) = k=1 (A k) =
k=1 (A k )pues (A k ) = () = 0 para n >k.
Corolario 2.2.3 Una medida positiva es creciente
Demostracion: 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

[
X
A An (A) (An )
n=0 n=1
Demostracion: Podemos formar una nueva sucesion Bk de conjuntos del alge-

bra A poniendo:
B 1 = A1
B2 = A2 A1
B 3 = A3 A1 A2
y en general:
k1
[
B k = Ak Ai
i=1
Los conjuntos Bk estan en A, son disjuntos y se tiene que:

[
[
A Bk = Ak
k=1 k=1
Por otra parte, para todo k, Bk Ak , entonces:
(Bk ) (Ak )
y se tiene que:

[
A= (A Bk )
k=1
donde la union es disjunta. Luego:

X
X
X
(A) = (A Bk ) (Bk ) (Ak )
k=1 k=1 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 llamare-
mos 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.
Definicion 2.3.1 Sea (, M) un espacio medible y sea f : R una funcion.

Diremos que f es una funcion 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 nocion de funcion medible puede formularse de varias maneras equiva-
lentes. (En lo sucesivo, usaremos las notaciones abreviadas {f < } = { :
f () < }, etcetera).
Lema 2.3.2 Sea f : R una funcion. Son equivalentes:

i) f es medible.
ii) Para todo R, {f } es medible.

iii) Para todo R, {f < } es medible.
iv) Para todo R, {f } es medible.
Demostracion: 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.
Proposicion 2.3.3 Sean f, g : R funciones medibles. Entonces:

{f < g} = { : f () < g()} es medible.
Demostracion: 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 conjuntsti-
cas numerables, tendra como consecuencia que la clase de funciones medibles
sera cerrada por las operaciones algebraicas, y por las operaciones de tomar
supremo o lmites. Mas 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.
Demostracion: 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)
Observacion: El lema se puede adaptar al caso en que f o g toman los
valores . f + g esta 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 sucesion de funciones medibles. Entonces
sup fn (x) nf fn (x)

nN nN
lm inf fn (x) lm sup fn (x)

nN nN
son medibles.
En particular si fn converge, entonces:
f (x) = lm fn (x)
n+
es medible.
Demostracion: Notamos que

[
{sup fn (x) > } = {fn > }
nN
nN
Por lo que si cada fn es medible, {fn > } M n N , y en consecuencia co-

mo 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 conse-

cuencia 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 funcion lmite de las fn es medible.
Definicion 2.3.6 Sea : R R una funcion. Diremos que es medible Borel

si es medible con respecto a la -algebra de Borel B(R), generada por los inter-
valos. 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 funcion. En-
tonces f es medible si y solo si f 1 (B) M para todo B B(R).
Demostracion: 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.
Demostracion: 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

Definicion 2.4.1 Llamamos funcion simple a una funcion medible f : R
que toma un numero finito de valores {c1 , c2 , . . . , cn }. Podemos representarla
entonces como:
Xn
f= ci Ei (2.1)
i=1
donde Ei = { : f () = ci }, y Ei es la funcion caracterstica1

1 si Ei
Ei () =
0 si 6 Ei
El siguiente lema de aproximacion por funciones simples, sera de gran utili-
dad para la teora de la integral:
Lema 2.4.2 Si f : [0, +] es una funcion medible no negativa, entonces
existe una sucesion n (x) de funciones simples no negativas tales que
lm n (x) = f (x) x
n+
1 En la teora de probabilidades se denomina indicador, ya que el termino funcion carac-
tersitica tiene en dicho contexto otro significado.

Demostracion: Para cada n N , definimos:

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

2n si 2n f (x) < 2n
n (x) =
n si f (x) n
Se prueba facilmente que n (x) tiene las propiedades del enunciado.
2.5. Teorema de Egorov

Definicion 2.5.1 Sea (E, M, ) un espacio de medida, y fn , f : E R fun-
ciones 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 sucesion de funciones medibles (fn )nN : E
R que converge en casi todo punto de E (con respecto a ) hacia una funcion
medible f (x).
Entonces, dado > 0, existe una subsucesion (fnk ) de (fn ) y un subconjunto
medible E E tal que fn converge uniformemente a f en E , y (E E ) < .
Observacion 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
Demostracion: Dados j, k N definimos los conjuntos

j 1
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 demostracion no utiliza ninguna propiedad especial de Rn

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 eleccion, 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
j . Por consiguiente, (E E ) = 0 (por la hipotesis que que fn converge a f
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
y utilizando (2.2) y la -subaditividad de la medida, deducimos que:

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

En muchas situaciones, necesitamos considerar un espacio que es a la vez un
espacio metrico (o topologico 3 ) y un espacio de medida. La siguiente definicion
establece una condicion de compatibilidad entre ambas estructuras:
Definicion 2.5.3 Sea E un espacio metrico (o topologico). Una medida de-
finida 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 condicion implica que las funciones f : E R continuas (o semi-

continuas), 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.
Demostracion: 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 topologicos son una generalizacion de los espacios metricos, donde no esta ne-
cesariamente definida una metrica, sino una topologa: esto es una coleccion de partes de E
con las siguientes propiedades: i) , E , ii) es cerrada por intersecciones finitas. iii)
es cerrada por uniones arbitrarias. Entonces por definicion los abiertos de E son los elementos
de .
2.6. Convergencia en medida

Definicion 2.6.1 Sea (X, M, ) un espacio de medida (fn )nN : X R una
sucesion de funciones medibles finitas en casi todo punto. Se dice que (fn ) con-
verge en medida a la funcion medible X si para todo > 0, tenemos que
{|f fn | > } 0 cuando n +
Notacion:

fn f
Observacion: En la teora de probabilidades esta nocion se denomina con-

vergencia en probabilidad.
Observacion: 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:

Proposicion 2.6.2 (Unicidad del lmite) Si fn f y fn g, entonces
f = g en casi todo punto con respecto a .
Demostracion: 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
[ 1

{f 6= g} = |f g| >
n
nN
Por la -subaditividad de , deducimos que:

X 1
({f 6= g}) |f g| > =0
n=1
n
Definicion 2.6.3 Una sucesion 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 +.
Teorema 2.6.4 (Riesz) Si (fn ) es de Cauchy en medida, entonces existe una

subsucesion (fnk ) que converge hacia una funcion finita en casi todo punto de
X. Ademas la sucesion entera converge en medida a la misma funcion lmite.
Demostracion: 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 sucesion (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
S
Para cada i, N esta contenido en el conjunto k=i Ek , de donde se deduce que:

X X 1
(N ) (Ek ) 2k =
2i1
k=i k=i
lo tanto deducimos que (N ) = 0. Si x 6 N , existe un entero i tal que

por S

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 estuvieramos trabajando con la -algebra y la medida de Lebesgue podramos completar
la definicion de f definiendola en los puntos de N de cualquier manera, y obtendramos una

funcion 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 definicion como el lmite superior de las fn (x).
A continuacion 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)) + . . .
1
Dado > 0 elegimos i0 tal que < . Entonces:
2i0 1

!
[
{|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:

X X 1 1
({|f (x) fni (x)| > }) (Ek ) k
= i1 < si i i0
2 2
k=i 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 2
y en consecuencia:
({|f (x) fn (x)| > })

|f (x) fnk (x)| > + |fnk (x) fn (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 max(n0 , n1 ),
{|f (x) fn (x)(x)| > } <

Esto demuestra que fn converge en medida a f .
Corolario 2.6.5 Si la sucesion fn (x) converge en medida a f (x), existe una
subsecion fnk (x) que converge a f (x) en casi todo punto.
2.7. Integral de Funciones Simples

Consideramos ahora un espacio de medida (, M, ) es decir un espacio
medible, donde ademas esta 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 n
X
f d = ci (Ei )
i=1
La integral de las funciones simples, tiene las siguientes propiedades:
Proposicion 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 funcion 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 funcion simple, entonces

Z Z

f d |f | d

2.8. Integral de funciones no negativas

Definicion 2.8.1 Sea (, M, ) un espacio de medida, y f : [0, +] una
funcion 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:
Proposicion 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

Definicion 2.8.3 Si A M es un conjunto medible, y f : [0, +] es una

funcion 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 funcion simple no negativa. Entonces la funcion =

: M [0, +] definida por:
Z
(A) = d
A
es una medida
Demostracion: Supongamos que un conjunto medible A se representa como

una union disjunta numerable de una sucesion (An )nN de conjuntos medibles:
[
A= An
nN
Queremos probar que:

X
(A) = (An )
n=1
Como es una funcion 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:
N
X
(x)An (x) = ci Ei An (x)
i=1
En consecuencia,
N
X
(An ) = ci (Ei An )
i=1
Y por lo tanto

X X
X N
(An ) = ci (Ei An )
n=1 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 X
N X N
X
X
(An ) = ci (Ei An ) = ci (Ei An )
n=1 i=1 n=1 i=1 n=1
Ahora notamos que: [

Ei A = (Ei An )
nN
siendo esta union disjunta. En consecuencia, como es una medida,

X
(Ei A) = (Ei An )
n=1
y concluimos que:

X N
X Z Z
(An ) = ci (Ei A) = (x) A (x) d = (x) d
n=1 i=1 A
Teorema 2.8.5 (Teorema de la Convergencia Monotona ) 5 Sea fn (x) :

[0, +] una sucesion 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+
Demostracion: 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 Z
lm fn (x) d f (x) d
n+
Por otra parte, sea una funcion simple tal que f . Dado (0, 1),
consideramos los conjuntos (medibles)
An = {x : fn (x) x}
Entonces la sucesion (An )nN es monotona creciente (o sea An An+1 ) y

[
= An
nN
Ademas la funcion definida en el lema anterior, es una medida, por lo tanto:
() = lm (An )
n+
5 Tambien conocido como teorema de Beppo Levi.

es decir, Z Z
lm (x) d = (x) d
n+ An
Por otra parte, para cada n N ,
Z Z Z
(x) d fn (x) d fn (x) d
An An
De modo que,
Z Z Z
(x) d = lm (x)d lm fn (x) d
n+ An n+
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
definicion de integral, deducimos que:
Z
f (x) d lm fn (x) d
n+

Proposicion 2.8.6 (Linealidad de la integral) Si f, g : [0, +] son
funciones medibles no negativas y 1 , 2 0 son numeros reales no negativos,
entonces:
Z Z Z
[1 f (x) + 2 g(x)] d = 1 f (x) d + 2 g(x) d

Demostracion: Utilizamos el lema de aproximacion por funciones simples: sa-

bemos que existen una sucesion creciente (fn (x)) de funciones simples que con-
verge a f (x), y una sucesion 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 sucesion de
funciones medibles no negativas. Entonces:
Z Z
lm inf fn (x) d lm inf fn (x) d
n+ n+
Demostracion: Llamemos

f (x) = lm inf fn (x) = sup nf fn (x)
n+ kN nk
y consideremos la sucesion 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 (2.4)
k+ k+
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 fn (x) d
n+
Y por lo tanto: Z Z
lm gk (x) d lm inf fn (x) d
k+ n+
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
0 si f (x) 0
f (x) =
f (x) si f (x) < 0
Notamos que:
|f | = f + + f
Definicion 2.9.1 Diremos que una funcion 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

Observacion: De la definicion de funcion integrable, deducimos que f es

integrable si y solo si Z
|f (x)|d < +

Ademas: Z Z

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

Proposicion 2.9.2 (Linealidad de la integral) Si f, g : R son funcio-

nes integrables y 1 , 2 son numeros 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

Demostracion: Primero probaremos que es posible sacar escalares de la inte-

gral: 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 Z
= f + d f d

Z
= f d

Si < 0, notamos que:
(f )+ = ()f
(f ) = ()f +
y de nuevo, vemos usando la definicion y la linealidad de la integral para fun-
ciones 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 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 nega-
tivas. 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 Z
f d = f1 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 observacion, notamos que
f + g = f + f + g + g = (f + + g + ) (f + g )
y que esta ultima expresion 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

Teorema 2.9.3 (De convergencia mayorada, de Lebesgue) Sea fn (x) :

R una sucesion de funciones integrables, que converge puntualmente a una fun-
cion f (x)
f (x) = lm fn (x)
n+
y tal que existe una funcion 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 Z
lm fn (x) d = f (x) d
n+
Demostracion: Sea hn (x) la sucesion de funciones medibles no negativas, de-

finida 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 Z
2 g(x) d lm sup |fn (x) f (x)| d
n+
En consecuencia, Z
lm sup |fn (x) f (x)| d = 0
n+
Entonces,
Z Z Z

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

Captulo 3
Construccion 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 nocion de medida exterior. Ahora generalizaremos esta
construccion a espacios abstractos.
Definicion 3.1.1 Una medida exterior es una funcion 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 sucesion 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 solo 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)

Basandose en esto propuso tomar esta propiedad como definicion en el caso de
la medida abstracta:
Definicion 3.1.3 Diremos que un conjunto E X es -medible (o simple-

mente medible) si para cualquier conjunto S X se cumple:
(S E) + (S E c ) = (S)
56
Equivalentemente: E es medible si y solo si para todo A E y todo B E c , se

tiene que:
(A B) = (A) + (B)
Observacion 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) < +.
Notacion: M = M es la clase de los conjuntos -medibles.

Corolario 3.1.5 M ( es medible)
Observacion 3.1.6 Si E es medible, tambien lo es su complemento. (Esto
esta claro ya que E y E c intervienen simetricamente en la definicion)
Proposicion 3.1.7 La interseccion de dos conjuntos medibles es medible (por
lo tanto M es un algebra de conjuntos)
Demostracion: 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.
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
Demostracion: Se prueba por induccion sobre n. Si n = 1 es trivial. Si n > 1 y

lo suponemos valido 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:
n
[
E= Ek
k=1
entonces: E En = En y
n1
[
E Enc = 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 n
!!
X [

(S Ek ) = S Ek
k=1 k=1
como afirma el lema.
Lema 3.1.9 M es una -algebra.
Demostracion: Basta probar que es cerrada bajo uniones numerables disjun-

tas:
Sea (Ek ) una sucesion conjuntos de M y pongamos: B1 = E1 Bk = Ek
Sk1
i=1 Ei entonces los Bk M (pues ya sabemos M es un algebra), son
disjuntos y tenemos que

[ [
Ek = Bk
k=1 k=1
Como toda union numerable de medibles, se puede reescribir como una union
numerable disjunta de medibles bastara entonces probar que M es cerrada bajo
uniones numerables disjuntas.
S (Ek ) una sucesion de conjuntos de M disjuntos. Vamos a pro-

Sea pues
bar que k=1 Ek tambien pertenece a M . En virtud del lema anterior, para
cualquier S X:
n n
!c !
X [

(S Ek ) + S Ek
k=1 k=1
n
!! n
!c !
[ [

= S Ek + S Ek = (S)
k=1 k=1
Sn
ya que k=1 Ek es medible (M es un algebra).
Como por otra parte:

!c n
!c
[ [
S Ek S Ek
k=1 k=1
Tenemos, !c ! !c !

[ n
[

S Ek S Ek
k=1 k=1
Luego obtenemos que:

n
!c !
X [

(S Ek ) + S Ek (S)
k=1 k=1
Cuando n resulta la desigualdad:

!c !
X [

(S Ek ) + S Ek (S)
k=1 k=1
Tenemos que:

!!
!c !
[ [

S Ek + S Ek
k=1 k=1

!c !
X [
(S Ek ) + Ek (S)
k=1 k=1

S la -subaditividad de , luego como vale para todo S X resulta que
por
E
k=1 k es medible.
Lema 3.1.10 restringida a M es una medida.

S
Demostracion: Solo falta ver que es -aditiva. Sea E = k=1 Ek domde los
Ek son disjuntos. Entonces:

X

(E) (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:

X
(Ek ) (E)
k=1
Como probamos las dos desigualdades opuestas, vale la igualdad.
3.2. Medidas exteriores metricas

Definicion 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 condicion 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 cual-
quier conjunto boreliano de X es medible. Es decir:
B(X) M
Ademas definimos la -algebra de Borel de X como la -algebra generada por

los conjuntos abiertos.
Demostracion: 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
1
de modo que los conjuntos Cn forman una sucesion creciente, d(Cn , F ) n y
[
C= Cn
nN
En virtud de la condicion de Caratheodory, tenemos que:

(E) (B C) (B Cn ) = (B) + (Cn )
Luego, bastara 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 )
d(x, F ) + d(x, y) resulta que: d(x, y) n1 n+1
1
>0
Entonces, utilizando la condicion de Caratheodory extendda inductivamente,
tenemos que: !
n
[ Xn

(C2n+1 ) D2k = (D2k )
k=1 k=1
y que: !
n
[ n
X

(C2n ) D2k1 = (D2k1 )
k=1 k=1
Mientras que por la -subaditividad, tenemos que:

X
X
(C) (C2n ) + (D2k ) + (D2k1 )
k=n k=n
Si alguna de las series

X
X
(D2k ), (D2k1 )
k=n 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
X
(D2k ) < , (D2k1 ) <
k=n k=n
En consecuencia,
(C) lm (Cn )
n+
como afirmamos.

3.3. Las medidas de Lebesgue-Stieltjes

Consideramos un intervalo de la recta I = (a, b], y F : [a, b] R una
funcion 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 nocion generalizada de medida de un intervalo, es creciente y
finitamente aditiva.
Stieltjes utilizo esta nocion, 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
n1
X n1
X
S (f, ) = (i )F ((xi , xi+1 ]) = (i )(F (xi+1 ) F (xi ))
i=0 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 intencion es generalizar esta nocion de integral. Para ello nos pre-
guntamos 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 :
Definicion 3.3.1 Dado E I, no vaco, definimos:

X
X
F (E) = nf F ((cn , dn ]) = nf F (dn ) F (cn )
n=1 n=1
1 En esta seccion consideraremos siempre intervalos semiabiertos. Esto es importante, pues
resultara 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 mas generalmente, de variacion acotada
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.
Demostracion: Para comprobar que F es una medida exterior, hemos de
demostrar que si
[
E En
n=1
entonces:

X
F (E) F (En ) (3.2)
n=1
Podemos suponer que F (En ) < +. Entonces, para cada n podemos conside-
rar un cubrimiento
[
En In,k
k=1
por intervalos semiabiertos In,k tales que

X
F (In,k ) F (En ) +
2n
k=1
Entonces:
[
[
E In,k
n=1 k=1
y en consecuencia

X
X X X
F (E) F (In,k F (En ) + = F (En ) +
n=1 k=1 n=1
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 In
n=
tal que

X
F (In ) < F (E) + (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 afec-
tara la relacion (3.4). Entonces ningun 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
X
F (In ) + F (In )+ < F (E) +
n:In E1 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 vir-
tud 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, nece-
sitaremos hacer una hipotesis 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.
Observacion: 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 teora de probabilidades. Incluso
se puede generalizar al caso I = (, +] = R

(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 observacion, podemos demostrar la -subaditividad de F en
la clase de los intervalos:
Lema 3.3.4 Si un intervalo semiabierto J I, esta contenido en la union de

una familia numerable Jn I de subintervalor abiertos de I,

[
J Jn
n=1
entonce

X
F (J) F (Jn )
n=1
Demostracion: En virtud del lema, podemos encontrar un intervalo semiabier-

to 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
[
K Ln
n=1
y en particular,
n0
[
K Ln
n=1
Entonces, como F es finitamente subaditiva:

X
F (K) F (Ln )
n=1
En consecuencia,

X X X
F (J) < F (K) F (Ln ) F (Jn ) + = F (Jn ) +
n=1 n=1
2n n=1
Como es arbitrario, se obtiene el teorema.

Una vez demostrado este lema, estamos en condiciones de demostrar el teo-

rema 3.3.3. Para ello, observamos que si (Jn )nN es un cubrimiento de J por
intervalos semiabiertos tenemos en virtud del lema,

X
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 Extension 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.
Definicion 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 .

Demostracion:S Probemos que es creciente: Supongamos
S que A B.
Si B k=1 Bk . donde los Bk A, entonces A k=1 Bk , luego por
definicion de (A) tenemos que:

X
(A) (Bk )
k=1
pero esto vale para cualquier cubrimiento de B por miembros del algebra A
luego por definicion de (B) tenemos que: (A) (B).
Probemos que es subaditiva:
Dada una sucesion (Ek )kN X queremos ver que:

!
[ X

Ek (Ek )
k=1 k=1
Si para algun 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 definicion de (Ek )) podemos encontar conjuntos Akj A tales que:

[
Ek Akj
k=1
y

X
(Akj ) < (Ek ) +
j=1
2k
S
Entonces si E = k=1 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:
X

X X X
(E) (Akj ) (Ek ) + = (Ek ) +
2k
k=1 j=1 k=1 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)

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
Demostracion: Sea S k=1 Ak , entonces SA k=1 Ak A (Como A es
cerrada por intersecciones AS k A A)

Analogamente S Ac k=1 Ak Ac (donde Ak Ac A) por lo tanto:

X
X
(S A) + (S Ac ) (Ak A) + (Ak Ac )
k=1 k=1
pero es una medida sobre A, luego:
(Ak A) + (Ak Ac ) = (Ak )
por lo que obtenemos:

X
(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 unica ?
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:

X
(E) (Ak )
k=1
por ser -subaditiva. O sea,

X
(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 hipotesis 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 + (+) = (+) + (+) = +)
Definicion 3.4.5 La medida : A [0, +] se llama -finita si existe una

sucesion (Ak ) A tal que

[
X= Ak
k=1
con (Ak ) < + Es decir: es -finita si el espacio se descompone como la

union numerable de conjuntos de medida finita. Observacion: se puede suponer
que los Ak son disjuntos.
Ejemplo: La medida de Lebesgue en RN es -finita.

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:

X
X
(E) = (E Ak ) = (E Ak ) = (E)
k=1 k=1
pues es una medida en (A)).

Como Ak E A, entonces
(Ak E) (Ak ) = (Ak )
y resulta que:
(Ak E) < +
Analogamente:
(Ak E c ) < +
Entonces, podemos aplicar el razonamiento anterior y concluir que: y coin-
ciden en (A) (en realidad en M )
En definitiva, hemos probado el siguiente teorema de extension de medidas:
Teorema 3.4.6 (Caratheodory-Hahn) Toda medida sobre un algebra de con-

juntos se puede extender a una medida sobre la -algebra generada. Si la medida
es -finita dicha extension es unica.
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 relacion 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:
Proposicion 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
Demostracion: Probaremos por ejemplo la primera afirmacion (Las otras son

analogas):
{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 < )

Definicion 4.2.1 Sea 1 p < un numero real. Dada una funcion f F,
definimos la norma p de f (sobre el espacio E) con respecto a la medida , o
71
mas brevemente la norma p de f por:

Z 1/p
p
kf kp = kf |Lp (E,) = |f | d
E
Observacion: 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

Definicion 4.3.1 Dada una funcion 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:

[ 1
{x E : |f (x)| > kf k } = x E : |f (x)| > kf k ) +
n=1
n
De la definicion 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 ele-

mento 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 esta 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 .
Notacion: 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:
| f |p d < + para algun p > 0, entonces

R
Teorema 4.3.2 Si E
kf k = lm kf kq
q

Z Z Z
q qp p qp
|f | d = |f | |f | d kf k | f |p d
E E E
pues |f | kf k en casi todo punto de E con respecto a . Elevando ambos

miembros a la potencia 1/q:
Z 1/q
kf kq kf k1p/q
|f |p d
E
Hacemos ahora que p , y resulta:
lm kf kq kf k (4.1)
q
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 esta 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 A A
lo que contradice la hipotesis. Analogamente tenemos que:

Z Z Z
q q
|f | d |f | d cq d = cq (A)
E A A
Elevando ambos miembros a la potencia 1/q:
kf kq c (A)1/q
y ahora hacemos que q :
lm nf kf kq c
q
pero como esto vale para cualquier constante c con 0 < c < kf k resulta que:
lm nf kf kq kf k (4.2)
q
De las desigualdades (4.1) y (4.2) se sigue el teorema.

4.4. 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: Z
f Lp si y solo si | f |p d <
E
Observacion: Lp esta en realidad formado por las clases de equivalencia respec-
to a la relacion ', pero como convenimos en considerar iguales a las funciones
que estan 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
Demostracion: Probaremos primero el lema para 1 p < :

Z 1/p
k f kp = | f |p d
E
Z 1/p
p p
= || |f | d
E
Z 1/p
p
= || |f | d = || kf kp
E
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
|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 definicion,
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 numeros complejos.
Demostracion:
p 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 E 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 mas frecuente es el siguiente: Consideramos E Rn un conjun-

to 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
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 1/p
p
kf kLp (E,w(x)dx) = |f (x)| w(x) dx
E
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
X
p
k(an )kp = |an |
n=1
4.5. Exponente Conjugado de p. Desigualdad de

Holder
Definicion 4.5.1 Para 1 p definimos el exponente conjugado de p
notado p0 , de la siguiente manera:
p
Si 1 < p < entonces p0 = p1
Si p = 1 entonces p0 =
Si p = entonces p0 = 1
Observacion:
1 1
+ =1
p p0
Esta es una forma mas simetrica de expresar la relacion entre py p.
Lema 4.5.2 (Desigualdad de Young) Si 1 < p < , a 0 y b 0 enton-

ces: 0
ap bp
ab + 0
p p
donde p0 es el exponente conjugado de p.
Demostracion: Para a, b 0, definamos

0
ap bp
Q(a, b) = + 0 ab
p p
queremos ver que Q(a, b) 0. Notamos que Q tiene la siguiente propiedad de

homogeneidad: si ponemos
0
a = 1/p a, b = 1/p b
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, bastara probar la desigualdad en los siguientes casos espa-
ciales: cuando b = 1 y cuando b = 0.
Si b = 1,
ap 1
Q(a, 1) = + 0 a = F (a)
p p
que es una funcion de una variable. Calculando su derivada:
F 0 (a) = ap1 1
vemos que solo 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
1 1
Q(a, 1) = F (a) F (1) = + 0 1=0
p p
Si b = 0, tenemos
ap
Q(a, 0) = 0
p
por lo que la desigualdad queda demostrada.
Podemos demostrar ahora la desigualdad de Holder, que es una de las mas
importantes del analisis:
Teorema 4.5.3 (Desigualdad de Holder) Si 1 p y p0 es su expo-

nente conjugado:
Z Z 1/p Z 1/p0
0
|f g| d |f |p d |f |p d
E E E
Es decir: Z
|f g| d kf kp kgkp0
E
Demostracion: 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 Z
| f g | d | f | k g k d =k g k | f | d =k f k1 k g k
E E E
Esto prueba el teorema en este caso. Analogamente si p = (p0 = 1)

Podemos suponer pues suponer que 1 < p < . Si k f kp = 0 o k g kp0 = 0

entonces
R f o g son nulas en casi todo punto de E respecto de , y por lo tanto
E
|f.g| d = 0 ,y la desigualdad se cumple trivialmente.
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
g(x)
b=
k g k p0
Tendremos: 0
|f (x)||g(x)| |f (x)|p |g(x)|p
p + 0
kf kp kgkp0 pkf kp p0 kgkpp0
Integrando resulta:
0
|f (x)|p d |g(x)|p d
R R R
E
|f (x)g(x)| d 1 1
E + x
= + 0 =1
pkf kpp
0
kf kp kgkp0 p0 kgkpp0 p p
De donde resulta la desigualdad de Holder, multiplicando por k f kp k g kp0

Vale un resultado mas general, que se prueba por induccion en la cantidad
k de factores:
Corolario 4.5.4 (Desigualdad generalizada de Holder) Si 1 pi

para i = 1, 2, ldots, k y
k
X 1
=1
p
i=1 i
entonces
Z k
Y
|f1 (x)f2 (x) . . . fk (x)| d kfi kpi
E i=1
4.6. Desigualdad de Minkowski

Teorema 4.6.1 (Desigualdad de Minkowski)
k f + g kp k f kp + k g kp
Demostracion: La desigualdad es inmediata en los siguientes casos:
k f kp = o k g kp =
y tambien cuando k f + g kp = 0.
Si p = 1 es muy facil: 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 E
Luego:
Z Z Z
p p1
|f +g | d |f ||f +g | d + | g | | f + g |p1 d
E E E
Usando la desigualdad de Holder obtenemos:

Z Z 1/p0 Z 1/p0
p p p
| f +g | d k f kp | f + g | d + k g kp | f + g | d
E E E
O sea:
Z Z 1/p0
p p
|f +g | d (k f kp + k g kp ) |f +g | d
E E
| f + g |p d. Entonces tenemos:
R
Llamemos = E
0
(k f kp + k g kp ) 1/p
Por lo tanto, 0
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 solo 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 funcion no negativa es 0, dicha funcion es nula en casi todo
punto). Segun el convenio adoptado para la igualdad, consideramos que f = 0.
As pues, tenemos que Lp es un espacio normado.
4.7. Desigualdad integral de Minkowki

El siguiente teorema constituye una version integral de la desigualdad de
Minkowski (teorema 4.6.1). Su prueba es analoga.
Teorema 4.7.1 Sean X Rn , Y Rm y f : X Y R una funcion medible.

Entonces 1 :
Z Z p 1/p Z Z 1/p
p

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

Y X X Y
Demostracion: 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 X X Y
Por el teorema de Fubini-Tonelli, podemos intercambiar el orden de las integrales

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

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

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

Z Z 1/p
p
kI(x)kp |f (x, y)| dx dy
Y X
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 esta incluido en estas notas) el
teorema de Fubini-Tonelli. Pero el mismo es valido en espacios de medida abstractos (siempre
que las medidas involucradas sean -finitas (pues el teorema de Fubini-Tonelli tambien es
valido en este contexto mas general).
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 algun argumento de aproximacion. Por
ejemplo, kI(x)kp sera 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 valida para f .
4.8. Completitud de Lp (Teorema de Riesz-Fischer)

Lema 4.8.1 (Desigualdad de Tchebyschev) Sean f Lp y > 0 enton-
ces:
1
({x E : |f (x)| }) p kf kpp

Demostracion: Sea A = {x E : |f (x)| } entonces:

Z Z Z
k f kpp = | f |p d | f |p d p d = p (A)
E A A
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.
Demostracion: Caso 1 p
Debemos mostrar que toda sucesion de Cauchy en Lp converge.
Sea (fn ) una sucesion 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:
1
({x E :| fn (x) fm (x)| }) 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 :
1
({x E : | | fn (x) fm (x)| }) 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
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+ E
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
E k E 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 numeros 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
E
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 sucesion 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 ningun 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
funcion f .
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
Demostracion: Z Z
| f |p d = | f | 1 d
E E
Sea r = q/p, calculemos su exponente conjugado r0 y usamos la desigualdad de

Holder:
q/p q
r0 = =
(q/p) 1 qp
y resulta:
Z Z p/q Z (qp)/q
| f |p d | f |q ; d 1 d
E E E
Es decir que:
Z Z p/q
p q
|f | d | f | d (E)(qp)/q
E E
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 .
Demostracion: 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 estan en Lp )

2. Las funciones continuas (que estan en Lp )
3. Las funciones continuas de soporte compacto. donde Soporte(f ) = {f 6= 0}.
Demostracion: RSea f Lp (Rn ). Supongamos ademas f : Rn R y f 0.

Por hipotesis f p < . Sabemos que existe una sucesion de funciones sim-
ples no negativas k que tiende a f en forma creciente:
1 2 . . . k . . .
y
f (x) = lm k (x)
k
Tenemos: Z Z
k f pk p
f 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 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.
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 analogo. 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 funcion simple se puede aproximar en Lp por funciones continuas.
Primero lo probaremos para funciones caractersticas de conjuntos finita-
mente medibles. Sea E Rn medible con |E| < +, vamos a probar que dado
> 0 existe una funcion 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

d(x, F )
g(x) =
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
= c i Ei
i=1
una funcion simple en Lp . Tenmos :

N
X
||p = |ci |p .Ei
i=1
luego
Z N
X
||p = |ci |p .|Ei | + |Ei | < + para todo i.
Rn i=1
Para cada i elijo una g continua tal que kEi gkp < (se puede por lo
antes probado). Sea:
N
X
g= ci .gi
i=1
Entonces g es continua y
N
X N
X N
X
k gkp = k ci (Ei gi )kp |ci | kEi gi kp |ci |
i=1 i=1 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 funcion
c
d(x, B2k )
k = 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
funcion 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
Observacion: Cuando p = , sigue siendo cierto que las funciones simples
acotadas son densas en L (RN ), sin embargo las funciones continuas acotadas
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:
Definicion 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
donde g significa la funcion conjugada de g (Para cada x, g(x) = g(x), donde

la barra indica el complejo conjugado)
Si en la desigualdad de Holder tomamos p = 2 p0 = 2 y resulta:

Z Z 1/2 Z 1/2
|f g| d | f | d |g(x)|d = k f k2 k g k2
E E E
luego si f, g estan 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 numeros 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 pre-
Hilbertiano.
En cualquier espacio con producto interno valen:
1.
hf, 0i = h0, f i = 0 para todo f
2.
hf, .gi = hf, gi
3.
|hf, gi|2 = hf, gi hg, f i
En cualquier espacio con producto interno H se define:

p
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.
Proposicion 4.11.2 (Desigualdad de Cauchy-Schwarz) En cualquier es-

pacio con producto interno se tiene:
| hf, gi |k f k k g k
( Para L2 es un caso particular de la desigualdad de Holder)

Demostracion: Si g = 0 entonces hf, gi = 0, y la desigualdad es trivial. Su-
pongamos 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
de modo que:
hg, f i
=
k g k2
Resulta:
hf, gi hg, f i
0 k f k2
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.
Proposicion 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
Demostracion:
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 proposicion prueba que un espacio con producto interno es un espacio
normado.
Proposicion 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)
Demostracion: 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

4.12. Teorema de la Perpendicular

Definicion 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}
Observacion 4.12.2 S es un subespacio vectorial cerrado de H.
Demostracion: 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 .
Proposicion 4.12.3 (Identidad del paralelogramo) En un espacio con pro-
ducto 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 palalelo-
gramo es la suma de los cuadrados de sus lados.
Demostracion: 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 provie-
ne 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].
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}
Demostracion: Sea d = d(h, C). En virtud de la definicion de nfimo, existe

una sucesion (fn ) de puntos de F tales que k h fn k d. (Una tal sucesion se
llama una sucesion 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
fn +fm
Pero como C es convexo, 2 C, en consecuencia:
2
fn + fm
h d
2
Por lo tanto,
1 2 1 2 1 2 1 1
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 algun 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 per-

pendicular a F )
Demostracion: 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 funcion de la variable real t,
P (t) = kh (f0 + tg)k2
Desarrollandola de acuerdo a (4.4), vemos que P (t) es un polinomio cuadrati-

co:
P (t) = kh f0 k2 + 2t Rehh f0 , gi + t2 kgk2
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 es-

pacio de Hilbert
Definicion 4.13.1 Una funcional lineal en el espacio de Hilbert H una funcion
: 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
f
Ademas se tiene kf k kf k. Pero eligiendo h = kf k , vemos que en realidad:
kf k = kf k
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
unico vector f H tal que para todo h H(h) = hh, f i. Es decir: = f ,
para algun f H.
Demostracion: 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 unico. 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 proposito de este captulo es probar resultados que generalizan el teorema

fundamental del calculo para la integral de Lebesgue. Se trata sin duda de los
resultados mas 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 coleccion de bolas cerrados
que cubre un conjunto E RN . Si sup{r(B) : B C} < +, existe una
sucesion disjunta (finita o no) de bolas de la coleccion C:
B1 , B2 , . . . , Bk , . . .
tal que:

X
m((Bk ) C(N ) me (E)
k=1
donde C(N ) es una constante que depende solo de la dimension, que puede
tomarse como C(N ) = (3 + )N para cualquier > 0.
1
Demostracion: Fijemos 0 < < 1, y sea > 0 tal que 1 =1+
95
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

seleccion 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 numero finito de pasos u obtenerse una

sucesion Bk infinita.
Supongamos primero que se obtiene una sucesion infinita. Esta claro que,
por construccion, las bolas Bk resultan disjuntas.
Queremos probar que:

X
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 ) = }
Deducimos que: r(Bk ) > sk (1 ) r(B)/2

Como r(B)(1) es un numero 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
seleccion se detiene tras un numero 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 numeros 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
tal que B Bk 6= y r(B) < 1 r(Bk ) = (1 + )r(Bk )
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 Bk
k=1 k=1
Por lo tanto:

X
X
me (E) m(Bk ) = (3 + )N m(Bk )
k=1 k=1

X
(3 + )N me (E) m(Bk )
k=1
Esto es lo que queramos probar.
Observacion 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)
Observacion 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
5.2. Funcion Maximal de Hardy - Littlewood

En esta seccion, introduciremos un operador que resultara de fundamental
importancia para probar el teorema de diferenciacion de Lebesgue. Cabe men-
cionar que este operador tiene muchas otras aplicaciones, ya que permite acotar
a muchos operadores que aparecen en el analisis armonico.
Definicion 5.2.1 Sea f L1 (Rn ). Definimos la funcion maximal de Hardy-

Littlewood por:
Z
1
M f (x) = sup |f (y)|dy
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)
Observacion 5.2.2 En la definicion de M f (x) se pude reemplazar las bolas

cerradas por bolas abiertas.
Demostracion: 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 sucesion
R decreciente deR bolas abiertos.
Tenemos: m(Bk ) m(B) y Bk |f (y)|dy B |f (y)|dy (se justifica usando
1 1
R R
el teorma de Lebesgue para f Bk ). Luego: m(B k) Bk
|f |dy m(B) B
|f |dy
Ahora para cada k es:
Z
1
|f |dy M f (x)
m(Bk ) Bk
por lo tanto: Z
1
|f |dy M f (x)
m(B) B
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)

Observacion 5.2.3 M f (x) es continua inferiormente : el conjunto
{x Rn : M f (x) > }
es abierto para todo R .
Demostracion: 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)
1
R
Si y B(x, ) M f (y) m(B) B
|f (y)|dy >
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 funcion medible.
Proposicion 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 solo de la dimension (de hecho se
puede tomar C(N ) = 3N ).
Demostracion: 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 >
1
R B
Sea C la coleccion de las bolas B que cumplen m(B) B |f (y)|dy > . Cada
R en una bola B. por lo tanto C cubre
punto de E esta
kf k1
el conjunto E.
Si B C , B |f (y)|dy > m(B) m(B) <
Luego, las bolas de C tienen radios acotados. Luego por el lema simple de
Vitali existe una sucesion disjunta
B1 , B2 , . . . , Bk , . . .
de bolas de la coleccion C tales que:

X
m(Bk ) C(N )1 me (E)
k=1
Por lo tanto,
Z Z
X X 1 C(N )
me (E) C(N ) m(Bk ) C(N ) |f (y)|dy = |f (y)|dy
B A
k=1 k=1
S
donde A = Bk Em consecuencia:
C(N )kf k1
me (E)

como queramos probar.
Resumamos las propiedades del operador maximal:
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.
Z Z
1 1
|f (y)|dy Cdy = C
m(B) B m(B) 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
Demostracion:

\
{M f (x) = +} = {M f (x) > k}
k=1
luego
C(N )kf k1
m({M f (x) = +}) m({M f (x) > k})
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.
Observacion 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

Z
1
M
ff (x) = sup |f (y)|dy
Q3x m(Q) Q
En RN , todas estas variantes de la funcion maximal resultan equivalentes en el

sentido de que existen constantes c1 (N ), c2 (N ) > 0 tales que
c1 (N )M f (x) M
ff (x) c2 (N )M f (x)
(analogamente para Mc )
5.3. Teorema de diferenciacion de Lebesgue

Sean f L1 (RN ), x RN , B una bola cerrada que contiene a x
Definicion 5.3.1 Diremos que x es un punto de diferenciacion de la integral

de f si: Z
1
lm f (y) dy = f (x)
r(B)0 |B| B
(lmite cuando r(B) 0 )
Definicion 5.3.2 Diremos que x es un punto de Lebesgue de f si

Z
1
lm |f (y) f (x)| dy = 0
r(B)0 |B B
Observacion 5.3.3 Todo punto de Lebesgue es un punto de diferenciacion,

pues Z Z
1 1

m(B) f (y)dy f (x)
|f (y) f (x)| dy
B m(B) B
Teorema 5.3.4 (Teorema de diferenciacion de Lebesgue) Casi todo pun-

to 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:

1
Lf (x) = lm sup f (y) f (x)| dy
r(B)0 m(B)
Una definicion mas 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.

Demostracion: 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 sera Lf (x) = 0

Lema 5.3.6 Existe una constante C 0 = C 0 (N ) tal que:

C0
m({Lf (x) > }) k f k1

Demostracion:
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,
Z
1
|f (y) f (x)| dy M f (x) + |f (x)|
m(B) 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,
2C 2 2C + 2
me ({Lf (x) > }) 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:
Demostracion: Sea f L1 . Como las funciones continuas son densas en L1 ,
existe una sucesion 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 ) > })

(por inclusion). Por lo tanto,

1
me ({Lf > }) 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 seccion, probaremos un lema de cubrimiento mas refinado.
Definicion 5.4.1 Diremos que una coleccion C de bolas cerradas cubre al con-
junto 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 sucesion de bolas disjuntas
B1 , B2 , . . . , Bk , . . . tales que
1.

!
[
me E Bk =0
k=1
(Las bolas Bk cubren E salvo un conjunto de medida nula)

2.

X
|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.
Demostracion: 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.
Por el lema simple de Vitali, existe una sucesion B1 , B2 , B3 , . . . de bolas disjuntas

de C tales que:

X
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,
N1
! N1
! N1
! N1
[ [ [ X
me E Bk G Bk = m(G)m Bk = m(G) m(Bk )
k=1 k=1 k=1 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:
N1
[
E1 = E Bk
k=1
y la coleccion ( ! )
N1
[
C1 = BC:B 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 pequeno como
se quiera)
De C1 podemos pues, extraer una sucesion BN1 +1 , BN1 +2 , ..., BN2 (renombrando-
los) tal que:
N2
!
[
me E1 Bk < (1 /2)me (E1 ) (1 /2)2 me (E)
k=N1 +1
Entonces, !
N2
[
me E Bk (1 /2)2 me (E)
k=1
Ahora consideramos:
N2
[
E2 = E Bk
k=1
( N2
! )
[
C2 = BC:B Bk =
k=1
Repitiendo el procedimiento, elegimos BN2 +1 , BN2 +2 , . . . , BN3 disjuntas en-

tre s (y con las anteriores) tales que:
N3
!
[
me E2 Bk < (1 /2)me (E2 ) (1 /2)3 me (E)
k=N2 +1
entonces
N3
!
[
me E Bk (1 /2)3 me (E)
k=1 e
Este proceso puede continuarse al infinito, obteniendo una sucesion Bk tal que

!
[
me E Bk = 0
k=1
pues

! Ni
!
[ [
me E Bk me E Bk (1/2)i me (E) 0 cuando i
k=1 k=1
Por ultimo como

!
[ [
Bk G m Bk m(G) < +
k=1 k=1
y como

!
[ X
m Bk = m(Bk )
k=1 k=1
ya que las Bk son disjuntas, concluimos que

X
m(Bk ) m(G) < +
k=1
Esto prueba el lema.

Corolario 5.4.3 Si 0 < me (E) < + y la coleccion de bolas C cubre E en el

sentido de Vitali, entonces podemos extraer de C una sucesion finita disjunta
B1 , B2 , . . . , Bn tal que:
n
!!
[
me E Bk > me (E)
k=1
Demostracion: Por el lema de Vitali, podemos extraer una sucesion B1 , B2 , . . . , Ek , . . .

tal que:

!
[
me E Bk = 0
k=1
y

X
m(Bk ) < +
k=1
Dado > 0, existe un numero natural N tal que

X
m(Bk ) <
k=N +1
Definamos entonces:
N
[
[
A= Bk , V = Bk
k=1 k=N +1
S
entonces E A V Z, donde m(Z) = 0 ( Z = E k=1 Bk )
Entonces E (E A) V Z. Por lo tanto,
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 monotonas:

Teorema 5.5.1 (Lebesgue-Vitali) Si f : [a, b] R es monotona creciente
entonces f 0 (x) existe (y es finita) en casi todo punto de [a, b]. Ademas f 0 (x) es
integrable en [a, b]y vale:
Z b
f 0 (x) f (b) f (a)
a
Lebesgue probo este teorema con la hipotesis de que f sea continua. Vitali
suprimio la hipotesis de que f (x) sea continua.
Para demostrar el teorema introducimos las derivadas de Dini:
f (x + h) f (x)
D+ f (x) = lm sup (Derivada superior por la derecha)
h0+ h
f (x + h) f (x)
D+ f (x) = lm inf (Derivada inferior por la derecha)
h0 h
f (x + h) f (x)
D f (x) = lm sup (Derivada superior por la izquierda)
h0 h
f (x + h) f (x)
D f (x) = lm inf (Derivada inferior por la izquierda)
h0 h
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 ademas el valor comun es finito.

Para trabajar siempre con valores de h positivos observemos que:
f (x) f (x h)
D f (x) = lm sup
h0 h
f (x) f (x h)
D f (x) = lm inf
h0 h
Vamos a probar que en casi todo punto:
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 numeros 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.
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
f (x) f (x h)
D f (x) = lm inf <v
h0+ h
Por lo tanto, hay valores de h > 0 tan pequenos 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 pequenos como quiera que cumplen que:
1. I G
2. f (I) < v |I|
La coleccion 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 !
N
[
F =E Ik ,
k=1
entonces
|F |e > t (t = |E|e )
Observemos que si ponemos:

N
!
\ [

F =E 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 )
Si x F entonces x Ik0 para algun k. Como x E sera:

f (x + h) f (x)
lm >u
h0+ h
Entonces, hay valores tan pequenos 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 algun 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 algun k
2.
f (Jk ) > u.|Jk |
3. Si llamamos !
M
[

H=F Ji
i=1
entonces:
|H|e > |F |e
Deducimos que:
|H|e > t 2
luego:
M
X
t 2 < |H|e |Ji |
i=1
en consecuencia,
M
X M
X
u (t 2) < u |Ji | < (Ji )
i=1 i=1
Como cada Ji esta incluido en algun Ik resulta:
N X
X
u (t 2) < f (Ji )
k=1 Ji Ik
P
Como f es monotona creciente y los Ji son disjuntos: Ji Ik f (Ji ) f (Ik )
Luego:
N
X N
X N
X
u (t 2) f (Ik ) < v|Ik | = v |Ik | v |G| < v (t + )
k=1 k=1 k=1
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 comun (posiblemente infinito)

f (x + h) f (x)
f 0 (x) = lm
h0 h
Como
f (x + 1/n) f (x)
f 0 (x) = lm
n 1/n
se deduce que f 0 (x) es medible.
Vamos a probar que f 0 (x) es integrable en [a, b]:
Como f monotona, 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

f (x + h) f (x)
Z Z
0
f (x) dx lm inf dx
h0 h
Pero:
(Z )

f (x + h) f (x)
Z Z
1
dx = f (x + h)dx f (x)dx
h h
(Z )
+h Z
1
= f (x)dx f (x)dx
h +h
(Z )
+h Z +h
1
= f (x)dx f (x)dx
h
Cuando h 0,
Z +h
1
f (x)dx f ()
h
y
Z +h
1
f (x)dx f ()
h
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 b
f 0 (x) dx f (b ) f (a+ ) f (b) f (a)
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 variacion acotada (de varia-

cion finita)
Definicion 5.6.1 Sea f : [a, b] R. Para cada particion de [a, b]
: a = x0 < x1 < x2 < . . . < xn = b
consideramos la suma
n
X
S(f, ) = |f (xi ) f (xi1 )|
i=1
Definimos la variacion de f en [a, b] por

n
X
Vab (f ) = sup |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
variacion acotada (Camile Jordan)
Propiedades
Proposicion 5.6.2 (Aditividad de la variacion respecto al intervalo) Si

a < c < b entonces Vab (f ) = Vac (f ) + Vcb (f )
Demostracion: 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 particion de [a, c] y
2 : c < xi+1 < . . . < x2 < . . . < xn = b
es una particion de [c, b]

Entonces, por la definicion 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 particion
2 : c = xn < xn+1 < xn+2 < ... < xm = b de [c, b]
Entonces,
= 1 2 : a = x0 < x1 < x2 < . . . < xm = b
es una particion de [a, b] y tenenos:
Vab S(f, ) = S(f, 1 ) + S(f, 2 )

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 (Descomposicion de Jordan) Una funcion f : [a, b] R
es de variacion acotada en [a, b] si y solo si se puede escribir como diferencia
de funciones monotonas crecientes.
Demostracion:
2) Concideramos una funcion 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 monotona 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 solos son una particion 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 escri-
birla 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 variacion acotada, y el producto por un numero real de una
funcion de variacion acotada son de variacion acotad (es decir que las funciones
de variacion acotada forman un espacio vectorial real] Luego si f = u v con
u,v monotonas crecientes, entonces f es de variacion acotada.
Propiedades:
Las funciones f de variacion 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])
Observacion: 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)
5.7. 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 subin-
tervalos disjuntos Ii = (ai , bi ) (1 i n) entonces:
Xn Xn Z bi Z
|F (bi ) F (ai )| |f (t)|dt = |f (t)|
i=1 i=1 ai A
donde
n
[
A= 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
n
X n
X
m(A) = m(Ii ) = (bi ai ) <
i=1 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:
Definicion 5.7.1 Diremos que una funcion 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
Observacion 5.7.2 Toda funcion absolutamente continua en [a, b] es unifor-

menete 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.
Proposicion 5.7.3 Si f : [a, b] R es absolutamente continua en [a, b], es de

variacion acotada en [a, b].
Demostracion: 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:
n1
X
Vab (f ) = 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)
a
Esta funcion 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:
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].
Demostracion: 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 numero que corresponde a por la asoluta conti-
nuidad de .
Consideremos un punto x E. Entonces:
(x + h) (x)
0 cuando |h| 0
h
luego si |h| es pequeno:
|(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

n
[ m
[
(a, b) Ik = Ji
k=1 i=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). Tenem-
mos:
n m

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

k=1 i=1
n
X m
X
|(Ik )| + |(Jk )|
k=1 i=1
n
X
m(Ik ) +
k=1
pues los Ik estan 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 funcion definida por (5.4) es constante, en virtud del lema. Especia-
lizandola en x = b y despues en x = a, obtenemos el teorema.
5.8. Descomposicion 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 funcion g Z x
g(x) = f 0 (t) dt
a
Entonces g es absolutamente continua en [a, b], y en virtud del teorema de

diferenciacion 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 funcion singular.
Ejemplo: La funcion 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 (Descomposicion de Lebesgue) Si f : [a, b] R es de una

funcion de variacion 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 unica salvo constantes
en el siguiente sentido:. si f = g + h es otra desscomposicion de f como suma
de una funcion absolutamente continua g y una funcion singular h entonces
g g = h h es una funcion que es a la vez absolutamente continua y singular,
y por lo tanto debe ser constante.
Nota sobre la bibliografa: Seguimos esencialmente la exposicion en los libros

de Fava y Zo [4], y Wheeden y Zygmund [12]. Para profundizar en la teora de dife-
renciacion para integrales en Rn puede consultarse el libro de Miguel de Guzman [3].
Una prueba alternativa del teorema 5.5.1, puede encontrarse en los libros de Riesz-
Nagy [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

Definicion 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 funcion : M C se denomina una
medida compleja si
1. () = 0
2. es -aditiva: esto significa que si (An )nN M es una sucesion de
subconjuntos medibles disjuntos entonces
[ X
An = (An )
n=1
Notemos que esto implica que la serie

X
(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
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.
Definicion 6.1.2 Si : M C es una medida compleja, definimos la varia-

cion de , notada por || : M [0, +], como la funcion dada por:

X
||(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 nocion de variacion de una medida es la analoga para medidas a la nocion

de variacion de una funcion real en un intervalo (que introdujimos al hablar de
funciones de variacion acotada).
Ejercicio: En la definicion de la variacion, resulta equivalente tomar parti-
ciones finitas o numerables.
Observacion: || es creciente, o sea si E F , se tiene que ||(E) ||(F ).
Para demostrar esta observacion, basta observar que si (En )nN es una par-
ticion de E, entonces agrgando a dicha particion el conjunto F E, obtenemos
una particion de F , en consecuencia:

X
|(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.
Demostracion: 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= En (En , E M)
n=1
se tiene que

X
||(E) = ||(En )
n=1
Probaremos primero que

X
||(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 medi-
bles disjuntos: [
En = En,m
mN
de modo que

X
|(En,m )| > ||(En )
m=1
2n
Reuniendo todas estas particiones, obtenemos una particion de E,
[
[
E= En,m
n=1 m=1
luego,
X
X
|(En,m )| ||(E)
n=1 m=1
En consecuencia,

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

X
||(En ) ||(E)
n=1
y como es arbitrario, obtenemos (6.1).
Ahora probaremos que:

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

una particion (Am ) cualquiera de E en conjuntos medibles disjuntos. Entonces

[
Am = (Am En ) (union disjunta)
n=1
y como es una medida compleja, tenemos que:

X
(Am ) = (Am En )
n=1
y por lo tanto:

X
|(Am )| = |(Am En )|
n=1
Sumando en m tenemos que:

X X
X
|(Am )| = |(Am En )|
m=1 m=1 n=1
X
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 particion de En , y en consecuencia:

X
|(En Am )| ||(En )
m=1
Sustituyendo deducimos que:

X
X
|(Am )| ||(En )
m=1 n=1
Como esta desigualdad vale para cualquier particion (Am )mN de E, toman-
do 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:
Afirmacion 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
En esta suma, separamos los terminos de acuerdo al signo de (En ), definiendo

entonces las sumas: X
S+ = (En )
n:(En )0
X
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 definicion de la variacion,

X
S+ = |(En )| ||(A)
n:(En )0
y X
S = |(En )| ||(B)
n:(En )<0
Pero, entonces si suponemos que S + 12 S, tendremos
1 t
|(A)| S=
2 2
y
t
|(B)| = |(X) (A)| |(A)| |(X)| |(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 inter-
cambiando 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
afirmacion. En el segundo, es suficiente intercambiar los nombres de A y B.
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 ) = +

Como ||(A1 ) = +, repitiendo este proceso, podemos conseguir una par-

ticion 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 su-
cesion disjunta. Entonces, la serie:

X
(Bn )
n=1
debe ser absolutamente convergente. Esto esta en contradiccion con el hecho de

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

Observacion: 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 (Descomposicion de Hahn) Si : M R es una medida

signada, es posible escribirla en la forma = + , donde + , : M R
son medidas positivas y finitas.
Demostracion: Es suficiente tomar:

1
+ = (|| + )
2
1
= (|| )
2

Ejemplo: La descomposicion de Hahn es la analoga para medidas, a la
descomposicion 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 descomposicion de Jordan, entonces
F = F1 F2
siendo F1 y F2 las medidas de Lebesgue-Stieltjes correspondientes a F1 y a

F2 , es la descomposicion 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

Definicion 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 simbo-
lizaremos ) 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 .
Definicion 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. esta concentrada en A si y solo si (E) = 0 para todo

E M tal que E A =
2. Si A y A B, entonces B.
3. Si A y B, entonces A B
Demostracion: Prueba de i): La implicacion ) es trivial. Para probar la
implicacion ) 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
Definicion 6.2.4 Diremos que es singular con respecto a si esta concen-
trada 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. Analogamente, 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
Demostracion: 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.
Definicion 6.2.6 La medida se dice -finita siSel espacio X se puede descom-

poner como una union 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 unica (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 .
Demostracion: C F es un conjunto abierto del plano complejo. En conse-

cuencia, se puede escribir como una union numerable de discos cerrados Dn
(usando el hecho de que C es un espaciometrico separable):

[
[
1
C F = Dn g (C S) = g 1 (Dn )
n=1 n=1
Si probamos que (g 1 (Dn )) = 0 resultara que g 1 (C F ) = 0 como

queremos probar. Supongamos que para algun n fuera (E) = 0 conR E =

g 1 (Dn ). Sea Dn = {z C :| z a | r}. Si probamos que s = (E) 1
E
gd
(que por hipotesis 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 com-
pleja sobre M entonces existe un unico par de medidas (positivas) a y s tales
que
1. a es absolutamente continua con respecto a , s es singular con respecto

a , y = a + s (Descomposicion de Lebesgue)
2. Existe una nica funcion h L1 () tal que a (E) = E h d para todo
R
E M (unica salvo por igualdad en casi todo punto con respecto a )
Demostracion: 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 Z
f d = f d + f d (6.3)
E E E
(Lo probamos primero para funciones simples y usamos el teorema de la con-

vergencia monotona). Tenemos en particular
Z Z Z
|f | d = |f | d + |f | d
X X X
En consecuencia: Z Z
|f | d |f | d
X X
por lo tanto L1 () L1 (), y

Z Z
|f | d |f | d
X X
luego L1 () L1 (). de modo que
L1 () = L1 () L1 ()
y (6.3) vale si f L1 ().

Observacion: 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 X
0
(Por la desigualdad de Holder con p = p = 1/2) donde
Z 1/2
2
k f k2, = |f | d
X
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 X
Suponiendo que (E) > 0, elegimos f = E . Como (X) < + f L2 ()

Z Z
(E) 1
(E) = g d 0 = g d 1
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 X X
En consecuencia,
Z Z
f (1 g) d = f gd f L2 () (6.5)
X X
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 X
Por otra parte si en (6.5), elegimos f = (1 + g + g 2 + . . . + g n ) E (que es

una funcion acotada, y por lo tanto pertenece a L2 (), obtenemos:
Z Z
n+1
1g d = g (1 + g + g 2 + . . . + g n ) d
E E
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 E
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 demostracion, 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 algun sentido mas
constructiva) basada en la descomposicion de Hahn de una medida signada.
Otra demostracion interesante (que tambien da una idea de como se obtiene la
funcion h) puede encontrarse en el artculo [13].
6.4. La descomposicion polar de una medida com-

pleja
Teorema 6.4.1 Sea (X.M) un espacio medible. Si : M C es una medida
compleja, entonces existe una unica h L1 (||) tal que:
i) Z
(E) = h d|| E M
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).

ii)
|h(x)| = 1 para casi todo x X con respecto a ||
Demostracion: Como |(E)| ||(E), es absolutamente continua con res-
pecto a ||. En consecuencia, por el teorema de Radon-Nikodym existe una
unica h L1 (||) tal que Z
(E) = h d
E
Si E M, ||(E) > 0 tenemos que:
Z
1 (E)
hd| =
1
||(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 E E
Consideremos ahora una particion

X
A= Ak (Ak M disjuntos)
k=1
entonces

X n
X
|(Ai )| r||(Ai ) = r||(A)
k=1 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.
Obseracion: La descomposicion polar de una medida compleja se puede
utilizar para definir la integral Z
f d
X
si f L1 (||) mediante la formula:
Z Z
f d = f hd||
X X
(donde la h es la del teorema anterior).
Captulo 7
Convolucion y
Aproximaciones de la
Identidad
7.1. Definicion y propiedades elementales

Definicion 7.1.1 Sean f, g : RN R funciones medibles. Su convolucion f g :
Rn R se define por:
Z
(f g)(x) = f (x t)g(t) dt
RN
Observacion 7.1.2 f g = g f , o sea:

Z Z
f (x t)g(t) dt = f (t)g(x t) dt
RN RN
Prueba: Hacemos el cambio de variable u = x t t = x u (Notamos

que el valor absoluto del modulo 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
Demostracion: 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 transformacion lineal no singular, entonces es Lipschitz y por lo tanto
aplica conjuntos medibles en conjuntos medibles.
132
Se sigue que la funcion 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 . Ademas f g L1 y kf gk1 kf k1 kgk1 .
Demostracion: Supongamos primero que f y g 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
esta 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 Z Z
I= f (x t)g(t dx dt = g(t) f (x t) dx dt =
RN RN 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

Observacion: En probabilidades por ejemplo esto dice que si f yg son den-
sidades 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 Z Z
|f g| dx (|f | |g|) dx = |f | dx |g| dx = kf k1 kgk1
RN RN RN RN

1
Observacion: El teorema anterior significa que es un producto en L con
el cual L1 es un algebra de Banach.
7.2. 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
Demostracion: 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 Z p 1/p Z Z 1/p
kf gkp = f (x t)g(t) dt dx dx |f (x t)|p |g(t)|p dx dt
Rn Rn Rn Rn
Z Z 1/p Z Z 1/p
= |g(t)| |f (x t)|p dx dt = |g(t)| |f (x)|p dx dt
Rn Rn Rn Rn
Z 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 acu-
dir a la desigualdad integral de Minkowski. Sea q el exponente conjugado de p,
de modo que p1 + 1q = 1, entonces:
Z Z
(f g)(x) = f (t)g(x t) dt = f (t)g(x t)1/p g(x t)1/q dt
RN RN
Por la desigualdad de Holder tenemos que:

Z 1/p Z 1/q
p 1/q
(f g)(x) f (t) g(x t) dt g(x t) dt = (f p g)1/p k g k1
RN RN
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 RN
Pero Z Z Z
p p
(f g) dx = f dx g dx
RN RN RN
Por lo tanto:
Z
p/q
kf gkpp = (f g)(x)dx kf kpp kgk1 kgk1 = kf kpp kgkp1
RN
Tomando raz p-esima resulta:

kf gkp kf kp kgk1
como queramos probar.
Observacion 7.2.2 Una convolucion f f K con K fijo define una trans-

formacion T (f ) = f K se llama un operador de convolucion con nucleo K. El
teorema anterior muestra que si K es integrable este operador aplica Lp en Lp .
Vale un teorema mas 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
1
Demostracion: 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
(f g)(x) f (x)p g(x t)q dt kf kp/p
p
1
kgkq/p2
Rn
(En el ultimo factor hemos utilizado la invariancia por traslaciones de la medida

de Lebesgue). Elevando a la r e integrando, deducimos que
Z Z
kf gkrr f (x)p g(x t)q dt dx kf kpr/p
p
1
kgkqr/p2
Rn Rn
Usando el teorema de Fubini-Tonelli y la invariancia por traslaciones, tenemos

que Z Z
f (x) g(x t) dt dx = kf kpp kgkqq
p q
Rn Rn
Consecuentemente sustituyendo,
kf gkrr kf |pr/p
p
1 +p
kgkqr/p
q
2 +q
o sea
kf gkr kf |pp/p1 +p/r kgkqp/p2 +q/r
Teniendo en cuenta la eleccion de los exponentes p1 y p2 , se obtiene la desigual-
dad del enunciado.
1 Siguiendo la idea en el ejercicio 2 del captulo 9 de [12]
Observacion 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 mas elemental

fue dada por F. Barthe [14].
7.3. El soporte y la convolucion

Definicion 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.
Observacion 7.3.3 Con esta definicion no vale que si f = g en casi todo

punto Sop(f ) = Sop(g) (Brezis [2] lo define entonces por la condicion de que
x 6 Sop(f ) existe un abierto U tal que x U y f = 0 en casi todo punto de
U
Proposicion 7.3.4 Si f y g tienen soporte compacto, entonces f g tiene so-

porte compacto. Ademas:
Sop(f g) Sop(f ) + Sop(g)
Demostracion:
Z Z
(f g)(x) = f (t)g(x t)dt = f (x)g(x t)dt
RN Sop(f )
pues si t 6 Sop(f) f (t) = 0
Analogamente 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)

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.
Demostracion: 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 K(x) f K(y)| = f (t)K(x t) dt f (t)K(y t) dt
N
R N R
Z Z
|f (t)| |K(x t) K(y t)| dt | f (t) | dt =
RN 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

Definicion 7.4.1 Para m N, denotamos C m la clase de funciones f (x) con
x RN 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 consi-

derar la derivada parcial:
|| f
(D f )(x) =
x 2
1 x2
1
. . . x
N
N
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.
Demostracion: 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
Z

= f (t) [K(x + h t) K(x t)] dt
RN
Llamamos u = x t t = x u
Z

= f (x u) [K(u + h) K(u)] dt
N R
Z 1/p Z 1/q
|f (x u)|p du |K(u + h) K(u)|q
RN RN
= kf kp kK(u + h) K(u)kq
Afirmamos que esta ultima expresion tiede a cero cuando |h| 0.
En efecto, como K es continua y tiene soporte compacto, entonces es uni-
formemente 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
|K(u + h) K(u)| du = |K(u + h) K(u)| du q du = q m(I)
q q
RN I I
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 canonica entonces:

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

Por lo tanto, (fxK)
i
(x) existe y es igual a f K
xi (x) que es continua por
lo antes demostrado.
Esto prueba el teorema si m = 1. La prueba para m cualquiera es inmediata
por induccion (aplicando el caso m = 1).
Se sigue que f K C si f Lp (1 p +) y K C0
Ademas f K tiene soporte compacto por la proposicion 7.3.4.
7.5. Aproximaciones de la identidad

Definicion 7.5.1 Dada una funcion K : RN R y > 0 notamos
x
K (x) = N K

Por ejemplo si K = funcion 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
mas chico. Para cualquier K positiva ocurre lo mismo: en general K tiene las
siguientes propiedades basicas:
Lema 7.5.2 Si K L1 (RN ) y > 0 entonces

i) Z Z
K (x)dx = K(x)dx
RN RN
ii) Para cada > 0 fijo,

Z
|K (x)| dx 0 cuando 0
|x|>
Demostracion: Para probar i) basta hacer el cambio de variable y = x/

Z Z x Z
K (x) dx = N K dx = K(y) dy
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 ultima 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 pequeno el area
bajo el grafico de K esta concentrada en una region sobre un pequeno entorno
del origen.
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 pequeno. 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 nucleos para la cual f K f en algun sentido
se llama una aproximacion de la identidad.
Teorema 7.5.3 Sea f = f K donde K L1 (RN ) y RN K(x)dx = 1. Si

R
f Lp (RN ) con 1 p < entonces k f f kp 0 cuando 0, es decir

que f converge a f en Lp
Demostracion: 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)| [f (x t) f (x)] K (t)dt
RN
Z
|f (x t) f (x)| |K (t)| dt =
RN
Z
= |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 p y q, obtenemos que:
Z 1/p Z 1/q
p
|f (x) f (x)| |f (x t) f (x)| |K (t)| dt |K (t)| dt
RN RN
Z 1/q
= |K (t)|dt
RN
Elevamos ambos miembros a la p e integramos:

Z
|f (x) f (x)|p dx
RN
)p/q
Z Z (Z RN
p
|f (x t) f (x)| |K (t)| dt |K (t)| dt dx
RN RN
Z Z
p/q p
=k K k1 |f (x t) f (x)| |K (t)| dt dx
RN RN
Cambiando el orden de integracion en la ultima 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 RN
Z Z
p/q p
=k K k1 |K (t)| |f (x t) f (x)| dx dt
RN RN
|f (x t) f (x)|p dx = kf (x t) f (x)kpp tenemos

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

Z
I = |K (t)| (t)dt = A, + B,
RN
con Z
A, = |K (t)| (t) dt
|t|<
y Z
B, = |K (t)| (t) dt
|t|
Dado > 0, podemos elegir > 0 tan pequeno 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
funcion acotada, de hecho:
Z 1/p
(t)1/p = |f (x t) f (x)|p dx
RN
Z 1/p Z 1/p
|f (x t)|p dx |f (x)|p dx = 2 kf kp
RN RN
de modo que kk 2kf kp )p = C.

Z Z
B, = |K (t)| (t) dt C |K (t)| dt 0
|t| |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 ).

Demostracion: Sea f Lp , (1 p < ). Dado > 0, escribamos f = g + h

donde g tiene soporte compacto y khkp <R
Elijamos un nucleo 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 = :
Teorema 7.5.5 Sea f = f K donde f L (RN ), K L1 (RN ) y RN K(x)dx =

R
1, entonces f f en cada punto de continuidad de f cuando 0
Demostracion:
Z Z

|f (x) f (x)| = f (x t)K (t) dt f (x)K (t) dt
RN RN
Z
|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
RTeorema 7.5.6 Sea f = f K Ndonde f L1 (RN ), K L1 (RN ) L (RN ),

RN
K(x)dx = 1 y K(x) = o(|x| ) entonces f f puntualmente cuando
0, en cada punto de continuidad de f .
7.6. Ejemplos (en N = 1)

1. Nucleo de Poisson:
1 1
K(x) = P (x) =
1 + x2
Entonces P L1 (R) L (R) , R P (x)dx = 1 , P es positivo y P (x) =
R
o(|x|1 ) cuando |x| , de hecho P (x) = O(|x|2 ).

1 1 1
P (x) = ; =
1 + (x/)2 2 + x2
P se llama nucleo de Poisson, y la convolucion

Z
1
f (x) = f (t) 2 dt
RN + (x t)2
integral de Poisson de f . Poniendo = y, f (x, y) = fy (x) obtenemos una

funcion definida en el semiplano superior
H = {(x, y) R2 : x, y Ry > 0}
Z
1 y
f (x, y) = f (t) 2 dt
R y + (x t)2
y
Observaciom: Como x2 +y 2 es armonica f resulta armonica en H.
Ademas 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. Nucleo de Frejer: Para x R pongamos:

1 n sen x o2
K(x) =
x
Nuevamente K L1 (R) L (R), K es positivo y
R
R
K(x) dx = 1.
2
11 sen (x/)
K (x) =
x/
Poniendo = 1/ tenemos el nucleo de Frejer:

2
1 sen2 (x

1 sen (x)
F (x, w) = =
x x2
Si f L1 (R) obtenemos que:
1 sen2 (x)
Z
lm f (x t) dx = f (x)
w0 R x2
en cada punto de continuidad de f .

3. Nucleo de Gauss-Weirstrass: Tomamos la funcion

1 2
K(x) = ex /2
2
(distribucion normal de probabilidad)
1 2 2
K (x) = ex /(2 )
2
(para la teora de probabilidades
es la distribucion normal de media 0 y
variancia 2 )). Poniendo = t se obtiene
1 x2 /(2t)
W (x, t) = e
2t
Se verifica que W satisface la ecuacion del calor
W 2W
2 =
t x2
Dada f L1 (R) se tiene que
Z
1 2
lm f (x y)ey /(2t) dy = f (x)
y0 2t R
en cada punto de continuidad de f . Por consiguiente
Z
1 2
u(x, t) = f (x y)ey /(2t) dy
2t R
resuelve el problema:
2W

2 W
t = x2 para t > 0
u(x, 0) = f (x)
cuando f es continua e integrable.
Si fortalecemos las hipotesis sobre K podemos obtener convergencia en ca-

si 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 algun > 0 y que RN K(x) dx = 1, en-
tonces f = f K f en cada punto de Lebesgue de f (y en particular en casi
todo punto)
Apendice A
Notaciones
RN Espacio eucldeo N -dimensional
E La clase de los conjuntos elementales
F La clase de los conjuntos que tienen medida exterior finita
M La clase de los conjuntos medibles Lebesgue
Mf La clase de los conjuntos finitamentes medibles
m(A), |A| Medida de Lebesgue de A
me (A), |A|e Medida exterior de Lebesgue de A
D(E) conjunto de diferencias de E (definicion 1.14.1)

RA funcion caracterstica del conjunto A

f d 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. Analisis Funcional: Teora y Aplicaciones. Alianza Editorial,
(1984).
[3] Miguel de Guzman, 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. Fernandez. 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
analisis funcional. Editorial MIR, Moscu, (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, Diomedes . 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 PDF

Cargado por

Información del documento

Descripción original:

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Notas de Real PDF

Cargado por

Copyright:

Formatos disponibles

Notas de Analisis Real

(en construccion- version 0.3.4.5)

2. Funciones Medibles e Integral en espacios abstractos 35

6. Las Medidas complejas y el Teorema de Radon-Nikodym 119

7. Convolucion y Aproximaciones de la Identidad 132

En este captulo, desarrollaremos la teora de la medida de Lebesgue en el

1.1. Intervalos en la recta:

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

Propiedades de los intervalos de la recta

2. La interseccion de dos intervalos es un intervalo2 .

4. La unica manera de escribir un intervalo como union de k intervalos dis-

5. Consecuencia: (Aditividad de la medida) Si un intervalo se escribe como

donde los Ij son intervalos de R. Si todos los Ij son cerrados, I es un intervalo

Observacion: La representacion de un intervalo como producto cartesiano de

Propiedad 1.2.2 La interseccion de dos intervalos de RN es un intervalo de

Demostracion: Sean I, J intervalos de RN entonces se escriben como producto

1.3. Conjuntos Elementales

donde los Ii son intervalos disjuntos de RN .

Propiedad 1.3.2 Si A y B son conjuntos elementales, tambien lo es A B.

Demostracion: Sean A, B conjuntos elementales

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.

Corolario 1.3.3 La interseccion de cualquier familia finita de conjuntos ele-

Propiedad 1.3.4 Si A y B son conjuntos elementales disjuntos entonces AB

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:

Ademas la union es disjunta, y Ii Jj es un intervalo de RN +M A B es un

Propiedad 1.3.6 Si I y J son intervalos de RN , entonces I J es un conjunto

Demostracion: Hacemos induccion en la dimension N . Para N = 1 (en la

Propiedad 1.3.7 Si A y B son conjuntos elementales, entonces A B es ele-

donde los Ii son intervalos disjuntos de RN , y

donde los Jj son intervalos disjuntos de RN . Entonces:

siendo la union disjunta, y por la ley de De Morgan, tenemos que:

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

Propiedad 1.3.8 Si A y B son conjuntos elementales, entonces A B es ele-

Demostracion: A B = A (B A) siendo la union disjunta. Por la propiedad

Observacion 1.3.9 La diferencia simetrica de conjuntos elementales es ele-

Observacion 1.3.10 Un conjunto elemental es acotado (es union finita de con-

1.4. Medida de intervalos en RN

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

Demostracion: Hacemos induccion en n (el numero de partes en que se parte

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 )

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 =

donde la union es disjunta, e I 0 = I2 , I 00 = .

I 00 = I200 I300 I400 In00

m(I 0 ) = m(I1 ) + m(I30 ) + m(I40 ) + . . . + m(In0 )

m(I 00 ) = m(I2 ) + m(I300 ) + m(I400 ) + . . . + m(In00 )

m(I) = m(I1 )+m(I30 )+m(I40 )+. . .+m(IN

= m(I1 ) + m(I2 ) + (m(I30 ) + m(I300 )) + (m(I40 ) + m(I400 )) + . . . + (m(IN

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

1.5. Medida de Conjuntos Elementales

Hay que comprobar que la definicion es correcta: Supongamos que

es otra descomposcion de A como union de intervalos disjuntos. Entonces, en

Esta es una union disjunta de intervalos. Por lo tanto, por la aditividad de la