Notas de Real

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

2.1. 2.2. 2.3. 2.4. 2.5. 2.6. 2.7. 2.8. 2.9. lgebras y -lgebras de conjuntos . . Medidas sobre un lgebra de conjuntos Funciones Medibles . . . . . . . . . . . Funciones Simples . . . . . . . . . . . Teorema de Egorov . . . . . . . . . . . Convergencia en medida . . . . . . . . Integral de Funciones Simples . . . . . Integral de funciones no negativas . . . Funciones Integrables . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
35
35 36 38 41 42 45 48 48 52
3. Construccin de medidas
3.1. 3.2. 3.3. 3.4.
Medidas Exteriores . . . . . . . . . . Medidas exteriores mtricas . . . . . Las medidas de Lebesgue-Stieltjes . El teorema de Extensin de Medidas
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
56
56 60 62 66
Notas de Anlisis Real - c 2007-2009 Pablo L. De Npoli
4. Espacios
Lp (E, )
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.1. Funciones equivalentes . . . . . . . . . . . . . . . . . . . 4.2. Norma p ( 1 < p < ) . . . . . . . . . . . . . . . . . . . 4.3. Norma Innito . . . . . . . . . . . . . . . . . . . . . . . 4.4. Espacios Lp (o Lp (E, )) (1 p ) . . . . . . . . . . 4.5. Exponente Conjugado de p. Desigualdad de Hlder . . . 4.6. Desigualdad de Minkowski . . . . . . . . . . . . . . . . . 4.7. Desigualdad integral de Minkowki . . . . . . . . . . . . 4.8. Completitud de Lp (Teorema de Riesz-Fischer) . . . . . 4.9. Inclusiones entre los espacios Lp . . . . . . . . . . . . . 4.10. Clases de funciones densas en Lp . . . . . . . . . . . . . 4.11. El espacio L2 - Espacios de Hilbert . . . . . . . . . . . . 4.12. Teorema de la Perpendicular . . . . . . . . . . . . . . . 4.13. Funcionales Lineales Continuas en un espacio de Hilbert
71
71 71 72 74 76 78 80 81 83 84 87 91 93
5. Diferenciacion (en
5.1. 5.2. 5.3. 5.4. 5.5. 5.6. 5.7. 5.8.
El Lema Simple de Vitali . . . . . . . . . . . Funcin Maximal de Hardy - Littlewood . . . Teorema de diferenciacin de Lebesgue . . . . Cubrimientos de Vitali: Lema de Vitali . . . . Derivada de funciones montonas: . . . . . . Funcionnes de variacin acotada (de variacin Funciones absolutamente continuas . . . . . . Descomposicin de Lebesgue . . . . . . . . .
RN )
. . . . . . . . . . . . . . . . . . . . nita) . . . . . . . .
. . . . . . . .
. . . . . . . .
. . . . . . . .
. . . . . . . .
. . . . . . . .
. . . . . . . .
. . . . . . . .
95 97 100 102 106 111 113 117
95
6. Las Medidas complejas y el Teorema de Radon-Nikodym

6.1. 6.2. 6.3. 6.4. Medidas complejas . . . . . . . . . . . . . . . . . Absoluta continuidad. Medidas Singulares . . . . Teorema de Lebesgue - Radon - Nikodym . . . . La descomposicin polar de una medida compleja . . . . . . . . . . . . . . . . . . . . . . . .
. . . .
. . . .
. . . .
118
118 124 126 129
7. Convolucin y Aproximaciones de la Identidad

7.1. 7.2. 7.3. 7.4. 7.5. 7.6. Denicion y propiedades elementales Desigualdad de Young . . . . . . . . El soporte y la convolucion . . . . . Convolucion con funciones suaves . . Aproximaciones de la identidad . . . Ejemplos (en N = 1) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
131
131 133 134 135 137 141
A. Notaciones
144
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 denir, que llamaremos la clase de los conjuntos medibles), un nmero m(A) (su medida de Lebesgue) que generalizar las nociones intuitivas de longitud (en N = 1), rea (en N = 2) y volumen (N = 3). Realizaremos esta construccin en varias etapas, extendiendo la nocin de medida a clases cada vez ms generales de conjuntos, comenzando por los intervalos.
Nota sobre la bibliografa: La presentacin que he elegido sigue esencialmente
mis notas del curso del profesor N. Fava, con quien yo curs la materia, por lo que una referencia recomendada es el libro de N. Fava y F. Z [4]. El principal mrito de esta construccin, en contraste con el de otras presentaciones ms abstractas de la teora, es el de tener un claro signicado geomtrico, por lo que creo que es ms fcil de comprender para los estudiantes. El clsico libro de Wheeden y Zygmund [12] presenta una construccin similar, quizs algo ms directa (aunque omite algunos detalles).
1.1. Intervalos en la recta:

Denicin 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
mayscula para la dimensin del espacio.
(a, b) = {x R : a < x < b}
siendo a, b nmeros reales con a b. En cualquier caso la medida de un intervalo I se dene por: m(I ) = b a
Propiedades de los intervalos de la recta

1. El conjunto vaco es un intervalo: = (a, a) 2. La interseccin de dos intervalos es un intervalo2 . 3. La diferencia de dos intervalos I1 y I2 se puede escribir como unin de dos intervalos J1 y J2 disjuntos:
I1 I2 = J1 J2 con J1 J2 =
4. La nica manera de escribir un intervalo como unin de k intervalos disjuntos consiste en elegir k puntos interiores de subdivisin (esto es: una particin del intervalo). 5.
Consecuencia: (Aditividad de la medida) Si un intervalo se escribe como

unin nita de intervalos disjuntos
I = I1 I2 . . . Ik
entonces
m(I ) = m(I1 ) + m(I2 ) + . . . + m(Ik )
1.2. Intervalos en RN
Denicin 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.
Observacin: La representacin de un intervalo como producto cartesiano de

intervalos lineales es nica (salvo para el intervalo vaco).
Propiedad 1.2.2 La interseccin de dos intervalos de

R .
N
RN es un intervalo de
2 Para
intervalo.
que esto sea cierto sin excepciones es necesario considerar al conjunto vaco como un
cartesiano de N intervalos lineales:
Demostracin: Sean I, J intervalos de RN
entonces se escriben como producto
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

Denicin 1.3.1 Un conjunto elemental es un conjunto que puede representarse como unin de un nmero nito de intervalos disjuntos:
n
A=
i=1
Ii
donde los Ii son intervalos disjuntos de RN .
Propiedad 1.3.2 Si A y B son conjuntos elementales, tambin lo es A B . Demostracin: Sean A, B conjuntos elementales
n
A=
i=1
Ii
donde los Ik son intervalos disjuntos de RN

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

n m
AB =
i=1 j =1
(Ii Jj )
y los conjuntos Ii Jj son intervalos disjuntos A B es un conjunto elemental.
Corolario 1.3.3 La interseccin de cualquier familia nita de conjuntos elementales es un conjunto elemental.
Propiedad 1.3.4 Si A y B son conjuntos elementales disjuntos entonces A B

es elemental. (Es una consecuencia obvia de la denicin.)
elemental de R
Propiedad 1.3.5 Si
M
A es un conjunto elemental de RN y B es un conjunto entonces A B es un conjunto elemental de RN +M .

n
Demostracin: Sean:
A=
Ii
i=1
donde los Ik son intervalos disjuntos de RN

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

n m
AB =
i=1 j =1
(Ii Jj )
Adems la unin 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 .
Demostracin:
Hacemos induccin en la dimensin 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 , J = J1 J
donde
I = I2 I3 . . . IN J = J2 J3 . . . JN
son intervalos en R
N 1
. Tenemos que:
I J = [(I1 J1 ) I ] [(I1 J1 ) (I J )]
donde
[(I1 J1 ) I ] [(I1 J1 ) (I J )] =
Por la hiptesis inductiva, I J es un conjunto elemental de RN 1 , y I1 J1 es un intervalo de R, entonces (I1 J1 ) (I J ) es elemental (por la propiedad 1.3.5). Por otra parte I1 J1 es unin de dos intervalos de la recta. Por la propiead 1.3.5, (I1 J1 ) I es elemental I J es elemental (por la propiedad 1.3.4).
mental.
Propiedad 1.3.7 Si A y B son conjuntos elementales, entonces A B es elen
Demostracin: Sean
A=
Ii
i=1
donde los Ii son intervalos disjuntos de RN , y

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

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

m
Ii B =
j =1
(Ii Jj )
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).
mental.
Propiedad 1.3.8 Si A y B son conjuntos elementales, entonces A B es ele-
1.3.7 A B es elemental. En consecuencia, A B es elemental (por la propiedad 1.3.4).
Demostracin: A B = A (B A) siendo la unin disjunta. Por la propiedad
Resumen: Si A y B son conjuntos elementales entonces tambin lo son A B, A B y A B Observacin 1.3.9 La diferencia simtrica de conjuntos elementales es elemental:
AB = (A B ) (B A)
Si concideramos la clase E de los conjuntos elementales con como suma y como producto (E , , ) es un anillo (en el sentido del lgebra). 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 = .
Observacin 1.3.10 Un conjunto elemental es acotado (es unin nita de con-
juntos acotados). Por lo tanto el complemento de un conjunto elemental no puede ser elemental (sino el espacio RN , que es unin del conjunto y su complemento, sera acotado).
1.4. Medida de intervalos en RN

Denicin 1.4.1 Si I = I1 I2 . . . IN es un intervalo en RN (siendo los
Ii intervalos en R) denimos 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

n n
I se escribe como unin nita de intervalos disjuntos Ii , la medida de I es la suma de las medidas de los Ii : I=
i=1
Ii (Ii disjuntos) m(I ) =

i=1
m(Ii )
Demostracin: Hacemos induccin en n (el nmero de partes en que se parte
el intervalo). Supongamos primero n = 2 Cuando un intervalo de RN se descompone como unin de dos intervalos disjuntos es porque se parte uno de los lados. Supongamos que I = J1 J2 . . . JN y que: I1 = H L (siendo H ,L intervalos disjuntos) de modo que I = I1 I2 donde:
I1 = H J2 . . . Jn
y
I2 = L J2 . . . Jn
Tenemos que:
m(I ) = m(J1 ) m(J2 ) m(Jn ) = (m(H ) + m(L)) m(J2 ) m(J3 ) m(JN ) = = m(H )m(J2 )m(J3 ) m(JN )+m(L)m(J2 ) m(J3 ) m(JN ) = m(I1 )+m(I2 )
Esto prueba el teorema en este caso. Observemos que si I y J son intervalos disjuntos de RN , al proyectar sobre alguno de los ejes tenemos que obtener intervalos disjuntos: Si
I = I1 I2 . . . IN J = J1 J2 . . . JN
entonces: I J = (I1 J1 ) (I2 J2 ) . . . (IN JN ). Si para todo i fuera Ii Ji = , entonces I J = . Supongamos por ejemplo que Ik Jk = , entonces existe un hiperplano de ecuacin 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 y S tales que Ik S y Jk S . Si H RN es un intervalo, notaremos
H =H S ,
H =H S
entonces H y H son intervalos disjuntos, y se tine que H S y H S .[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 descomposicin en n intervalos disjuntos:
n
I=
i=1
Ii (Ii disjuntos)
Podemos claramente suponer que Ii = para todo i, sin perdida de generalidad. Como I1 I2 = existe un hiperplano de ecuacin xj = c que deja a I1 e I2 en semiespacios complementarios S y S : Tenemos que:
n n
I =I S =
(Ii S ) =
i=1 i=1
Ii
donde la union es disjunta, y como I1 S , deducimos que I1 = I1 e I2 = pues I2 S . Anlogamente,

n n
I =I S =
i=1
(Ii S ) =
i=1
Ii
donde la unin es disjunta, e I = I2 , I = . Tenemos pues:
I = I1 I3 I4 . . . In I = I2 I3 I4 In
que son dos descomposiciones en n 1 intervalos disjuntos, y por lo tanto por la hipotesis inductiva:
m(I ) = m(I1 ) + m(I3 ) + m(I4 ) + . . . + m(In ) m(I ) = m(I2 ) + m(I3 ) + m(I4 ) + . . . + m(In )
Tenemos que I = I I consecuencia: con I I
= , luego m(I ) = m(I ) + m(I ), en
m(I ) = m(I1 )+ m(I3 )+ m(I4 )+ . . . + m(IN )+ m(I2 )+ m(I3 )+ m(I4 )+ . . . + m(In )
= m(I1 ) + m(I2 ) + (m(I3 ) + m(I3 )) + (m(I4 ) + m(I4 )) + . . . + (m(IN ) + m(In ))
10
= m(I1 ) + m(I2 ) + . . . + m(In )

como queramos demostrar. La aditividad es la propiedad clave de la medida que intentaremos mantener al extender la medida a clases ms generales de conjuntos.
1.5. Medida de Conjuntos Elementales

A = i=1 Ii es un conjunto elemental (donde los Ii son intervalos disjuntos de RN ) denimos su medida elemental m(A) (tambin notada a veces |A|) por:
n n
Denicin 1.5.1 Si
m(A) =
i=1
m(Ii )
Hay que comprobar que la denicin es correcta: Supongamos que

m
A=
j =1
Jj
es otra descomposcin de A como unin de intervalos disjuntos. Entonces, en virtud de la propiedad distributiva,
Ii = Ii
Jj =
(Ii Jj )
i=1
j =1
Esta es una unin disjunta de intervalos. Por lo tanto, por la aditividad de la medida de intervalos,
n n m
m(Ii ) =
i=1 i=1 j =1
m(Ii Jj ).
Analogamente,
n m m n
Jj =
i=1
(Ii Jj )
i=1
m(Ji ) =
i=1 k=1
m(Ii Jj )
Por lo tanto:
m(Ii ) =
i=1 j =1
m(Jj )
En consecuencia, las dos descomposiciones dan el mismo valor para m(A).
Corolario 1.5.2 (aditividad) Si A1 , A2 , . . . , An son conjuntos elementales disjuntos y A =

n k=1
Ak entonces: m(A) =
n k=1
m(Ak ).
11
Demostracin: Cada Ak
ser unin de nk intervalos disjuntos Iki :

nk nk
Ak =
i=1
Iki m(Ak ) =
i=1 nk
m(Iki )
Tenemos:
A=
k=1 i=1
Iki (unin disjunta)
luego
nk
m(A) =
k=1 i=1
m(Iki ) =
k=1
m(Ak )
Corolario 1.5.3 Si A y B son conjuntos elementales, y A B entonces:

m(B A) = m(B ) m(A)
m(A) m(B ) (La medida elemental es creciente)
Demostracin: 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 )(unin disjunta)
Luego,
m(A) = m(A B ) + m(A B )

Anlogamente,
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)
12
Pero
A B = (A B ) (B A) (A B ) (union disjunta)
luego
m(A B ) = m(A B ) + m(B A) + m(A B )

De (1.1) y (1.2) deducimos que:
(1.2)
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 induccin en k deducimos que:
m(A1 A2 . . . Ak ) m(A1 ) + m(A2 ) + . . . + m(Ak )
intervalo cerrado F I tal que m(F ) > m(I ) , y un intervalo abierto G I tal que m(G) < m(J ) + .
Observacin 1.5.6 Sea I RN un intervalo. Entonces, dado > 0 existen un

A es un conjunto elemental y > 0, entonces existen un conjunto elemental cerrado F A y un conjunto elemental abierto G A tales que: m(G) < m(A) +
Lema 1.5.7 Si
y
m(F ) > m(A)
Demostracin: Sea A =
(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:
n i=1 Ii
m(Fi ) m(Ii ) m(Gi ) m(Ii ) +

Denimos entonces, los conjuntos F y G por:
n
n n
F =
i=1
Fi ,
G=
i=1
Gi
Desde luego, F A G. F es cerrado por ser unin nita de cerrados y G es abierto por ser unin nita de abiertos.
13
Por otra parte, los Fi son disjuntos por serlo los Ii (los Gi no tienen porqu serlo), en consecuencia F es elemental, y
n n
m(F ) =
i=1
m(Fi )
i=1
= m(Ii ) n
m(Ii ) = m(A)
i=1
Notemos tambin que G es elemental por ser unin nita de elementales, y que:
n n
m(G)
i=1
m(Gi )
i=1
m(Ii ) +
= n
m(Ii ) + = m(A) +
i=1
Esto prueba el lema.
una sucesin innita de conjuntos elementales y sea A un conjunto elemental tal que
Teorema 1.5.8 (-subaditividad de la medida elemental) Sea A1 , A2 , . . . , Ak , . . .

A
k=1
Ak
Entonces:
m(A)
m(Ak )
k=1
Demostracin: Si la serie es divergente no hay nada que probar. Suponemos

pues:
m(Ak ) <
k=1
Dado > 0, existe F A elemental cerrado tal que:
m(F ) > m(A)

y para cada k N, existe un Gk Ak elemental abierto tal que:
m(Gk ) m(Ak ) +
Entonces,
2k
F A
k=1
Ak
k=1
Gk
F es un conjunto cerrado y acotado (est incluido en A, que es elemental) y por lo tanto compacto, y los Gk forman un cubrimiento por abiertos, luego existe un subcubrimiento nito, es decir: existe un n > 0 tal que:
n
F
k=1
Gk
14
En consecuencia,
n n
m(F ) m
k=1
Gk
k=1
m(Gk )
k=1
m(Ak ) +
2k
=
k=1
m(Ak ) +
Resulta entonces que:
m(A) m(F )
k=1
m(Ak ) +
o sea que:
m(A)
k=1
m(Ak ) +
Como > 0 es arbitrario, obtenemos el teorema.
Corolario 1.5.9 (-aditividad de la medida elemental) Si un conjunto elemental A se descompone como la unin numerable de conjuntos elementales disjuntos Ak :
A=
k=1
Ak
entonces:
m(A) =
m(Ak )
k=1
Demostracin: Por el teorema anterior, como

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

n n
Ak A m
k=1 k=1
Ak
m(A)
y como la unin es disjunta:

n n n
m
k=1
Ak
=
k=1
m(Ak )
k=1
m(Ak ) m(A)
Cuando n tiende a innito resulta:
m(Ak ) m(A)
k=1
(1.4)
(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.
15
1.6. Conjuntos -elementales

Denicin 1.6.1 Un conjunto -elemental es el que puede representarse como una unin numerable de conjuntos elementales disjuntos:
U=
i=1
Ai
Ai donde los Ai son elementales (no necesariamente disjuntos) U es elemental. En efecto denamos una nueva sucesin Bi poniendo: =
i=1 n1
Observacin 1.6.2 Si U
B1 = A1 , B2 = A2 A1 , B3 = A3 A1 A2 , y en general Bn = An
k=1
Ak
entonces:
U=
Ai =
i=1 k=1
Bk
donde los Bk son elementales pero ahora la unin es disjunta. En consecuencia, U es -elemental.
Proposicin 1.6.3 Si U
es -elemental.
k=1
Uk donde cada Uk es -elemental entonces U
(La unin numerable de numerables, es numerable)
Proposicin 1.6.4 Si U y V son -elementales, entonces U V es -elemental. Demostracin: Sean

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

U V =
i=1 j =1
(Ai Bj )
Esta es una unin numerable de conjuntos elementales (por la propiedad 1.3.2), en consecuencia, U V es -elemental.
Observacin:
En cambio la interseccin numerable de conjuntos elementales puede no ser -elemental. Contraejemplo: el ternario de Cantor.
16
1.7. Medida de conjuntos -elementales

Ai (Ai elementales disjuntos) denimos su medida m(U ) (a veces notada tambin |U |) por: U =
i=1
Denicin 1.7.1 Si
m(U ) =
i=1
m(Ai )
Esta serie no siempre converge (La medida de un -elemental puede valer +).
Hay que probar que esta denicin es correcta: Si
U=
j =1
Bj
es otra descomposicin de U como unin numerable de elementales disjuntos tenemos como antes:

Ai =
(Ai Bj )
j =1 i=1
m(Ai ) =
i=1 j =1
m(Ai Bj )
Bj =
( Ai B j )
i=1 j =1
m(Bj ) =
j =1 i=1
m(Ai Bj )
Dado que una serie doble de trminos no negativos puede sumarse en cualquier orden sin que cambie el valor de sus suma, siendo m(Ai Bj ) 0; resulta que:

m(Ai ) =
i=1 j =1
m(Bj )
Por lo que ambas descomposiciones dan el mismo valor para m(U ).
Teorema 1.7.2 Cualquier conjunto abierto en RN es -elemental. Demostracin: 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
k=1
Uk
siendo U ,Uk conjuntos -elementales, entonces
m(U )
k=1
m(Uk )
En particular, si U V entonces, m(U ) m(V ).
17
Demostracin: Podemos suponer, sin prdida de generalidad, que
m(Uk ) < +
k=1
Sean
U=
k=1
Ak
(Ak elementales disjuntos)
Uk =
j =1
Bkj
(Para cada k : Bkj elementales disjuntos)

n
entonces
Ak
k=1 n k=1
Ak
k=1 j =1
Bkj
Notemos que k=1 Ak es un conjunto elemental que est incluido en la unin de la sucesin innita de elementales Bkj . Por el teorema 1.5.8, deducimos que:
n
m
k=1
Ak
k=1 j =1
m(Bkj ) =
k=1
m(Uk )
O sea
m(Ak )
k=1 k=1
m(Uk )
Haciendo que n resulta que:

m(Ak )
k=1 k=1
m(Uk )
(La serie del primer miembro converge por formar sus sumas parciales una sucesin creciente y acotada). Pero, por denicin, esto es:
m(U )
k=1
m(Uk )
1.8. Medida exterior de Lebesgue

Denicin 1.8.1 Dado un conjunto E RN , denimos su medida exterior
me (E ) = nf {m(U ) : U E, U elemental }
(de Lebesgue) notada me (E ) como el nmo de las medidas de los -elementales que incluyen a E :
18
Observacin: Cualquier conjunto E RN tiene una medida exterior. Otra Observacin: Si me (E ) es nita y > 0, existe un U -elemental tal
que:
m(U ) < me (E ) +
(Por la denicin de nmo)
Proposicin 1.8.2 (Propiedades de la medida Exterior) La medida exterior de Lebesgue tiene las siguientes propiedades: i) 0 me (E ) +. ii) me () = 0. iii) Si E1 E2 , entonces me (E1 ) me (E2 ). iv) La medida exterior es -subaditiva:

me
k=1
Ek
k=1
me (Ek )
v) Si U es -elemental m(U ) = me (U ) (Para un conjunto -elemental la medida y la medida exterior coinciden)
Demostracin:
i) Es evidente por denicin, ii) tambin 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 armacin iv): Sea
E=
k=1
Ek
Si algn Ek tuviera medida exterior + no hay nada que probar. Supondremos pues que me (Ek ) < + k . Entonces dado > 0 existir para cada k un -elemental Uk Ek tal que:
m(Uk ) < me (Ek ) +
2k
19
Denimos:
U=
k=1
Uk
Entonces U es -elemental y U E . Por otra parte, me (E ) m(U ) (por denicin), entonces:

me (E )
k=1
m(Uk )
k=1
me (Ek ) + k 2
=
k=1
me (Ek ) +
y como es arbitrario:
me (E )
k=1
me (Ek )
Finalmente, demostremos la armacin v): Como U es un conjunto -elemental que incluye a U , me (U ) m(U ) (1.5) Por otra parte, si V es un -elemental con V U , entonces m(U ) m(V ). Pero esto vale para cualquier -elemental que incluya a U luego:
m(U ) nf {m(V ) : V U, V elemental } = me (U )

Como probamos las dos desigualdades (1.5) y (1.6), vale la igualdad.
(1.6)
Observacin 1.8.3 La medida exterior no es aditiva en general: puede demostrarse que existen S y T con S T = tales que: me (S T ) < me (S ) + me (T )
Un resultado positivo es el siguiente:
Ejercicio 1.8.4 Si
S y T son tales que d(S, T ) > 0, entonces: me (S T ) = me (S ) + me (T ) (ejercicio 2 de la prctica 1)
1.9. Conjuntos Medibles (Lebesgue)

Denicin 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.
me () = 0 <
Demostracin: Si E es -elemental, tomamos U
= E . Entonces me (U E ) =
20
Denicin 1.9.3 Diremos que un conjunto

dida nula si me (E ) = 0
E RN tiene medida cero o me-
Observacin: Todo conjunto numerable tiene medida nula. El ternario de Cantor es un ejemplo de conjunto de medida nula que tiene la potencia del continuo. Observacin 1.9.4 Si E RN tiene medida nula, entonces es medible. Demostracin: 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 sucesin nita o innita de conjuntos medibles entonces
Ek M
k=1
(La unin numerable de conjuntos medibles es medible).
Demostracin: Sea
E=
Ek
k=1
Dado > 0, para cada k podemos encontrar un -elemental Uk Ek tal que me (Uk Ek ) < 2 k . Consideremos entonces, el conjunto:
U=
k=1
Uk
Es un conjunto -elemental y U E . Adems:
U E
(Uk Ek )
k=1
(Si x U y x E est en alguno de los Uk y en ninguno de los Ek ). En consecuencia:

me (U E ) me
(Uk Ek )
k=1
k=1
me (Uk Ek )
k=1
= 2k
(Utilizamos que la medida exterior es creciente y -subaditiva) Como es arbitrario, esto prueba que U E es medible.
dible.
Propiedad 1.9.6 Si E1 y E2 son conjuntos medibles entonces E1 E2 es me-
21
Sean E = E1 E2 y > 0. Como E1 es medible, existe un . contuto -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 est en U1 y en U2 pero o no est en E1 o no est en U2 ). En consecuencia,
Demostracin:
me (U E ) me (U1 E1 ) + me (U2 E2 ) =
Como es arbitrario, esto prueba que E es medible.
+ = 2 2
Denicin 1.9.7 Si E M (es medible) denimos su medida de Lebesgue

m(E ) por: m(E ) = me (E )
(Es decir que Para un conjunto medible, su medida es por denicin, su medida exterior.)
Denicin 1.9.8 Diremos que E RN es nitamente medible si es medible

y m(E ) < +.
El siguiente lema da una caracterizacin til de los conjuntos nitamente medibles:
Lema 1.9.9
conjunto
elemental
E es nitamente medible si y slo si, para todo > 0 existe un A tal que me (AE ) <
Demostracin: ) : Supongamos E
nitamente medible. Entonces, dado > 0, existe U -elemental tal que U E y me (U E ) < . Como U es -elemental
se puede escribir como una unin disjunta de intervalos
Ik : U =
i=1
Ii
Tenemos que:
U E (U E ) m(U ) = me (U ) me (E ) + me (U E )
Tanto me (E ) como me (U E ) son nitas, entonces m(U ) < +, y
m(U ) =
i=1
m(Ii )
Como m(U ) < + esta serie converge, por lo tanto es posible elegir un i0 tal que:
m(Ii ) <
i=i0 +1
22
Hecho esto llamemos:
i0
A=
i=1
Ii
V =
i=i0 +1
Ii
entonces A E U E , pues A U , entonces
me (A E ) me (U E ) <
y E A U A = V , V es -elemental, y por otra parte,
m(V ) =
i=i0 +1
m(Ii ) <
2 2
luego:
me (E A) m(V ) <
Por ltimo:
AE = (A E ) (E A)
En consecuencia,
me (AE ) me (A E ) + me (E A)
+ = 2 2
) Supongamos que para todo > 0 existe un conjunto elemental A tal que: me (AE ) <
Dado > 0 sea A tal que me (AE ) < . Etnonces, por la denicin 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. Adems como E U ,
me (E ) m(U ) m(A) + m(A) m(A) + 2 < +

ya que la medida de un conjunto elemental es siempre nita. Esto prueba el lema.
23
El lema anterior admite una interpretacin interesante. Consideramos la clase
F = {E RN : me (E ) < +}
Si M es la clase de los medibles y Mf la de los nitamente medibles:
Mf = M F
y si E es la clase de los elementales E F . Vamos a convertir a F en un espacio seudo-mtrico. Para ello, si S, T F , denimos la distancia de S a T por:
d(S, T ) = me (S T )
Notamos que se verican las propiedades de la distancia:
d(S, T ) = d(T, S ) d(S, T ) d(S, Z ) + d(Z, T )
Demostracin:
S T (S Z ) (Z T )
En consecuencia,
me (S T ) me (S Z ) + me (Z T )
d(S, S ) = 0
pero dos conjuntos pueden estar a distancia cero sin ser iguales Con este concepto de distancia el lema se puede enunciar de otra manera:
E es nitamente medible si y slo si, para todo > 0 existe A elemental tal que d(A, E ) < . En otras palabras: Mf = E (Los nitamente medibles son la clausura de los elementales)
Lema 1.9.10
Teorema 1.9.11 Si E y F son medibles cualesquiera, entonces E F es medible.
Demostracin: 1) Supongamos primero que E y F son nitamente medibles entonces por el lema existe una sucesin Ak de conjuntos elementales tal que Ak E cuando k (Ak tiende a E en la pseudo-distancia d) y existe una sucesin 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 )
24
Por lo tanto Ak Bk E F . Como Ak Bk es elemental, por el lema E F es nitamente medible.
Observacin: Incidentalmente hemos probado que la diferencia de conjuntos considerada como una funcin de F F en F es una funcin 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 =
k=1
Qk
En consecuencia,

EF =
k=1
[(E F ) Qk ] =
k=1
[(E Qk ) (F Qk )]
E es medible, Qk es nitamente medible, por lo tanto E Qk es medible y como: m(E Qk ) m(Qk ) es nitamente medible.
Analogamente F Qk es nitamente medible. Por lo antes demostrado (E Qk ) (F Qk ) es nitamente medible, por lo tanto E F es unin 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 interseccin numerable de conjuntos medibles es medible.

entonces:
Demostracin: Sean Ek (k = 1, 2, . . .) conjuntos medibles y sea E =
k=1
Ek
Ec =
k=1 c Ek
c Ek k=1 c Ek es
por la ley de De Morgan. Cada es medible, en consecuencia medible, y por lo tanto E es medible.
Resumen: La clase M de los conjuntos medibles (Lebesgue) forma una -lgebra, es decir es cerrada bajo uniones e intersecciones numerables y complemento.
25
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 tambin que en el espacio F de los conjuntos de medida exterior nita introdujimos la distancia d(A, B ) = me (AB )
Proposicin 1.10.1 Supongamos que Ak , A F y que Ak A en la seudodistancia d, entonces: me (Ak ) me (A) (en otras palabras la medida exterior como funcin de F en R es una funcin continua) Proposicin 1.10.2 Si E1 y E2 son conjuntos medibles entonces:
m(E1 E2 ) + m(E1 E2 ) = m(E1 ) + m(E2 )
Demostracin: Si fuera m(E1 ) = + o m(E2 ) = + entonces m(E1 E2 ) =

+. Podemos pues suponer que E1 y E2 son nitamente 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 consecuncia: m(Ak Bk ) m(E1 E2 ) Como ya se prob anteriormente, tenemos que
m(Ak Bk ) + m(Ak Bk ) = m(Ak ) + m(Bk )

y al hacer que k , se obtiene el teorema.
Observacin: Incidentalmente se ha probado que la unin y la interseccin 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 )
26
Corolario 1.10.3 (Por induccin) Si

disjuntos entonces si
n
E1 , E2 , . . . , En son conjuntos medibles

n
E=
k=1
Ek m(E ) =
k=1
m(Ek )
Proposicin 1.10.4 (-aditividad de la medida de Lebesgue) Sea (Ek ) una

familia numerable de conjuntos medibles disjuntos y

E=
k=1
Ek m(E ) =
k=1
m(Ek )
Este es el resultado fundamental de la teora de Lebesgue.
Demostracin: Tenemos que
m(E )
k=1
m(Ek )
por la -subaditividad de la medida exterior. Como, por otra parte:

n n
Ek E m
k=1 k=1
Ek
m(E )
Por lo tanto,
m(Ek ) m(E )
k=1
Al hacer que n , se obtine que:
m(Ek ) m(E )
k=1
que es la otra desigualdad.
Ejercicio: Probar que la proposicin 1.10.4 contina siendo ciera si los conjuntos (Ek )kN son casi disjuntos en el sentido de que m(Ei Ej ) = 0 si i = 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. Porqu es necesario este convenio? )
27
1.11. Caracterizaciones de los conjuntos medibles

Denicin 1.11.1 Diremos que Denicin 1.11.2 Diremos que
A RN es un conjunto de clase G si es interseccin numerable de abiertos: A = k=1 Gk donde los Gk son abiertos. B RN es un conjunto de clase F si es unin numerable de cerrados: B = k=1 Fk donde los Fk son cerrados.
Observacin 1.11.3 El complemento de un F es un G y recprocamente. Ejercicio: (de Clculo Avanzado)

1. Probar que todo cerrado es de clase G . 2. Probar que Q no es un G .
Observacin 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 armaciones:
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
a) b) : Dado > 0, existe U -elemental tal que U E y me (U E ) < . Como U es -elemental ser
Demostracin:
U=
i=1
Ii
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 ) + 2 i. Denimos entonces el conjunto:
G=
i=1
Ji
Como los Ji son abiertos, G es abierto; y se tiene que G U E . Adems,
G E = (G U ) (U E )
28
GU =
i=1
Ji
i=1
Ii
(Ji Ii )
i=1
Por lo tanto,

m(G U )
i=1
m(Ji Ii ) =
k=1
(m(Ji ) m(Ii ))
k=1
= 2k
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 . Denimos entonces:
G=
k=1
Gk
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

unin de medibles.
Ejercicio 1.11.6 (otra caracterizacin de los conjuntos medibles) C. Carathodory prob que un conjunto E RN es medible si y slo si para cualquier conjunto A RN (medible o no) se cumple que:
me (A) = me (A E ) + me (A E c )
(ejercicio de la prctica 1). Toda la teora puede basarse en esta denicin alternativa de conjunto medible (ver por ejemplo el libro de P. Halmos [6]).
En el teorema anterior probamos que en la denicin de conjunto medible es posible cambiar los -elementales por los abiertos. Vamos a probar que lo mismo puede hacerse al denir la medida exterior:
29
Teorema 1.11.7
me (E ) = nf {m(G) : G abierto, G E }
Demostracin: 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 denicin de la medida exterior existe un -elemental U E tal que m(U ) < me (E ) + . El conjunto U se escribir en la forma:
U=
i=1
Ii
donde los Ii son intervalos disjuntos. Para cada i N consideramos un intervalo abieto Ji tal que:
m(Ji ) m(Ii ) +
y denimos
2i
G=
i=1
Ji
Entonces G U E y G es abierto por ser unin de abiertos. Adems:

m(G)
i=1
m(Ji )
i=1
m(Ii ) +
= 2i
m(Ii ) + = m(U ) + < me (E ) + 2

i=1
Ahora por denicin (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.
30
1.12. Propiedades de continuidad de la medida

Teorema 1.12.1 Sean
bles y
E=
n N
(En )nN es una sucesin creciente de conjuntos medi-
E1 E2 E3 . . . En En+1 . . . En
Entonces
m(E ) = l m m(En )
n+
Notamos que si algn En0 tuviera medida innita, entonces tambin sera m(En ) = + para n = n0 y m(E ) = + pues En0 En E para n n0 , y la medida es creciente. En consecuencia, el teorema se verica trivialmente en este caso. Podemos suponer pues que todos los En tienen medida nita. Pongamos E0 = . Notamos que entonces:
Demostracin:
E=
nN
(En En1 )
donde la unin es ahora disjunta. En consecuencia por la -aditividad de la medida de Lebesgue,
m(E ) =
n=1
m(En En1 )
Pero como En1 En ,
m(En En1 ) = m(En ) m(En1 )

En consecuncia tenemos (serie telescpica):
k
m(En En1 ) = l m
n=1 k
k+
m(En En1 )
n=1
= l m
k+
[m(En ) m(En1 )] = l m m(Ek )

n=1 k+
pues m(E0 ) = m() = 0.
Teorema 1.12.2 Sean

dibles y
(En )nN es una sucesin decreciente de conjuntos me-
E1 E2 E3 . . . En En+1 . . . E=
nN
En
31
Entonces si m(En0 ) < + para algn n0 ,

m(E ) = l m m(En )
n+
Demostracin: Tomando complemento con respecto a En

En0 E =
n N
tenemos que:
(En0 En ) (ley de De Morgan)
Utilizando el teorema 1.12.1 tenemos entonces que:
m(En0 E ) = l m m(En0 En )
n+
Como En En0 , y E En0 , todos tienen medida nita y se tiene que
m(En0 E ) = m(En0 ) m(E ),

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

n+
n+
l m m(En )
Concluimos que:
m(E ) = l m m(En )
n+
Observacin: Esta ltima propiedad no es vlida si los En tienen todos medida innita. Contraejemplo: En = [n, +) en R, E = .
1.13. Otras propiedades de la medida de Lebesgue

Teorema 1.13.1 (Invariancia por traslaciones) Si E RN es medible, entonces E + x es medible y m(E + x) = m(E ) ces E es medible y m(E ) = m(E )
Teorema 1.13.2 (efecto de una dilatacin) Si E RN es medible, entonTeorema 1.13.3 (efecto de una transformacin lineal) Si E RN es medible y T : RN RN es una transformacin lineal, entonces T (E ) es medible y m(T (E )) = det(T ) m(E )
Teorema 1.13.4 (regularidad de la medida) Si

tonces y
E RN es medible, en-
m(E ) = nf {m(G) : G E, G abierto } m(E ) = sup{m(K ) : K E, K compacto }
Demostracin: 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.
32
1.14. El conjunto de las diferencias de un medible

Denicin 1.14.1 Sea E R un conjunto medible, denimos su conjunto de
diferencias por
D(E ) = {x y : x, y E }
Teorema 1.14.2 Si m(E ) > 0, existe un > 0 tal que (, ) D(E ).

un cerrado F E con 0 < m(F ) < +, y como D (F ) D (E ), bastar probar el teorema para F . 1 }, Como suponemos F cerrado, si llammamos Un = {x E : d(x, E ) < n tendremos que
Demostracin: Notamos que en virtud de la regularidad de la medida, existir
F =
nN
Un
y en consecuencia,
m(F ) = l m m(Un )
n+ 3 por lo que podremos elegir n0 tal que m(Un0 ) < 2 m(F ). 1 Tomamos entonces < n . Armamos que si |x| < , entonces F (F + x) = 0 : 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 eleccin 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 contradiccin, pues como F Un0 , debe ser |F | |Un0 |. Esta contradiccin provino de suponer que F y F + x eran disjuntos, en consecuencia existir 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)).
Demostracin: Claramente E es innito no numerable (pues sino m(E ) = 0).

3 Notemos
que esta prueba utiliza el axioma de elccin (que se requiere para probar que
Por el teorema 1.14.2, dedeucimos que c = # ((, )) D (E ) #(E ) #(E ) = #(E ), por ser #(E ) un cardinal innito3 .
para todo cardinal innito
2 =
),
pero no la hiptesis del continuo (si aceptramos dicha
hiptesis, la conclusin sera trivial.)
33
1.15. Existencia de conjuntos no medibles

Teorema 1.15.1 (Vitali) Existen conjuntos no medibles (Lebesgue). Ms an:
cualquier conjunto medible E R con medida positiva contiene un conjunto no medible.
Demostracin: En el conjunto E
x
denimos una relacin de equivalencia:
y xy Q
Consideramos esta relacin restringida al conjunto E . Esto determina una particin del conjunto E en clases de equivalencia4 . Utilizando el axioma de eleccin, 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 numeracin del conjunto de los nmeros racionales: Q = (qk )kN (lo cual es posible dado que Q es numerable), y consideramos los conjuntos trasladados de V por nmeros racionales :
Vk = V + qk
Notamos que:
E
k N
Vk
Pues si x E , entonces x v para algn v V , dado que V contiene un elemento en cada clase de equivalencia. Luego x v Q, es decir x v = qk para algn k y por consiguiente x Vk . Si V fuera medible, cada Vk sera medible y m(Vk ) = m(V ) (por la invariancia por traslaciones de la medida de Lebesgue). Por lo tanto, por la subatividad:

m(E )
k=1
m(Vk )
k=1
m(V )
(1.7)
Si m(V ) = 0, resultara que m(E ) = 0 contra la hiptesis. Queda pues analizar qu sucede si m(V ) > 0. Por otra parte si fuera m(V ) > 0, D (V ) debera contener un intervalo de la forma (, ) para algn > 0, en virtud del teorema 1.14.2. Pero por la denicin de V , tenemos que
D(V ) Q = {0}
Esto es una contradiccin, dado que por la densidad de los racionales en el intervalo (, ) hay innitos nmeros racionales.
4 En el lenguaje del lgebra consideramos el grupo cociente R/Q 5 Ponemos la plabra construido entre comillas pues precisamente
no constructiva. esta demostracin que
emplea de modo esencial el axioma de eleccin es un ejemplo paradigmtico de demostracin
34
Este absurdo provino de suponer que V era medible. En consecuencia V no puede ser medible.
Observacin 1.15.2 El mismo argumento muestra que cualquier subconjunto

medible del conjunto de Vitali mide cero6 .
Nota sobre esta demostracin: La construccin de conjuntos no medibles depende de manera esencial del axioma de elcccin. El matemtico Robert Solovay consigui construir un modelo de la teora de conjuntos (de Zermelo-Fraenkel) en el que no vale el axioma de eleccin para familias arbitrarias de conjuntos, pero en el que todo conjunto es medible. (R. Solovay, A model of set-theory in which every set of reals is Lebesgue measurable. Annals of Mathematics. Second Series 92: 1-56. (1970). (Se trata de una prueba de consistencia relativa: si la teora de Zermelo- Fraenkel tiene un modelo, es posible construir otro modelo en que todo conjunto sea medible Lebesgue).
Nota sobre la bibliografa: Existen diversas presentaciones de la teora de la me-
dida en la Bibliografa. Adems de la construccin geomtrica que hemos seguido (ver los libros de Fava y Z [4], y Wheeden y Zygmund [12]), existen otros procedimientos ms abstractos que permiten construir la medida (y la integral) de Lebesgue. Por ejemplo, podemos mencionar la del clsico libro de Halmos [6] (que se apoya en la denicin de Carathodory de los conjuntos medibles, que permite formular un teorema de extensin de medida en el contexto de las lgebras y
-lgebras
de conjun-
tos), o la de Rudin [11] (que introduce primero la medida en un espacio abstracto, y desarrolla a partir de all toda la teora de la integracin, para despus recin 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 ltimas presentaciones son ciertamente interesantes para profundizar en el estudio del tema, pero creo que son demasiado abstractas para una primera aproximacin. Finalmente, cabe mencionar la presentacin 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 aproximacin por funciones continuas de soporte compacto, que son integrables en el sentido de Riemann, para despus introducir la medida de Lebesgue a partir de ella. El libro de Billingsley [1] contiene una interesante presentacin de la teora, motivada desde la teora de probabilidades.
6 Esto
dice que la medida interior, denida como
mi (V ) = sup{m(F ) : F V, F
cerrado
},
del conjunto de vitali es nula.
Captulo 2
Funciones Medibles e Integral en espacios abstractos
Nota: En el curso vimos primero los conceptos de funcin medible e integral en
RN , y despus su generalizacin al contexto de espacios de medida abstractos. En estas

notas, desarrollamos estos conceptos directamente en el marco de un espacio abstracto. Ver los libros de Fava y Z [4], o de Wheeden y Zygmund [12] para una exposicin ms n geomtrica de la integral en de R (a partir de la denicin como medida del conjunto bajo el grco de una funcin, para funciones no negativas, como hicimos en clase).
2.1. lgebras y -lgebras de conjuntos

Sea un conjunto al que llamaremos el espacio. Sus elementos sern llamados puntos del espacio. En lo sucesivo concideraremos solamente conjuntos que sean subconjuntos de .
Denicin 2.1.1 Una coleccin de conjuntos A P ()[P (): partes de ) se

llama un lgebra de conjuntos si: 1. A 2. Si A A, entonces Ac = A A 3. Si A, B A, entonces A B A.
Corolarios:
1. A ( = c ) 2. Si A, B A, entonces A B A (pues por la ley de De Morgan, A B = (Ac B c )c ) 3. Si A, B A, entonces A B A [A B = A B c ].
35
36
Ejemplo: Los conjuntos elementales de RN Denicin 2.1.2 Un lgebra de conjuntos
forman un lgebra.
A que es cerrada bajo uniones numerables se llama una -algebra. Es decir un lgebra A es una -lgebra si para cualquier sucesin innita (An ) de conjuntos de A, n=1 An A
Corolario 2.1.3 Una -lgebra es cerrada bajo intersecciones numerables. O

sea si (An ) es una sucesin innita de conjuntos de A, entonces
n=1
An A
es numerable. A es una -lgebra.
Ejemplo 1: Los conjuntos medibles Lebesgue forman una -lgebra. Ejemplo 2: {, } es una -lgebra. P () es una -lgebra. Ejemplo 3: Sea A la coleccin de los A tales que A es numerable o Ac
Observacion: La interseccin de una familia arbitraria de lgebras (lgebras) de subconjuntos de es un lgebra ( -lgebra). En particular dada una coleccin C P () podemos considerar la interseccin de todas las lgebras ( -algebras) que contienen aC (Hay por lo menos una: P ())). El lgebra ( -lgebra) as obtenida se llama el lgebra ( - lgebra) generada por C . Denicin 2.1.4 La -lgebra de Borel en RN es la -lgebra generada por los
abiertos. Sus elementos se denominan conjuntos borelianos.
Ejemplo: Los conjuntos cerrados son conjuntos borelianos. Tambin lo son los conjuntos de clase F y de clase G . El lgebra ( -lgebra) generada por C est caracterizada por ser la ms pequea lgebra ( -lgebra) que contiene a C .
2.2. Medidas sobre un lgebra de conjuntos

Denicin 2.2.1 Sea A una lgebra de conjuntos. Una funcin : A [0, ] se llama una medida (positiva) si:
1. () = 0 2. es -aditiva, es decir: para cualquier sucesin A1 , A2 , . . . , An , . . . de conjuntos disjuntos de A cuya unin n=0 An pertenezca a A se cumple que:

n=1
An
=
n=1
(An )
Ejemplo 1: Sea A la -lgebra 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) = #(A) (cantidad de elementos de A) siA es nito + si A es innito
37
se llama medida de contar. Es trivialmente una medida.
Ejemplo 3: Sea = N, A = P (N) y (an )nN una sucesin de nmeros reales no negativos. Pongamos
(A) =
n A
an
Es fcil ver que es una medida. Recprocamente toda medida sobre N es de esta forma.
Corolario 2.2.2 Una medida es nitamente aditiva. Demostracin: Supongamos que A1 , A2 , . . . , An es una sucesin de conjunn tos disjuntos de A cuya unin A = k=1 Ak pertenezca a A entonces ponga mos Ak = para k > ny resulta: A = k=0 Ak (A) = k=1 (Ak ) = n ( A ) pues ( A ) = ( ) = 0 para n > k. k k k=1 Corolario 2.2.3 Una medida positiva es creciente Demostracin: 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 lgebra A tales que

A
n=0
An (A)
n=1
(An )
bra A poniendo:
Demostracin: Podemos formar una nueva sucesin Bk de conjuntos del lgeB 1 = A1 B2 = A2 A1 B 3 = A3 A1 A2

y en general:
k 1
B k = Ak
i=1
Ai
Los conjuntos Bk estn en A, son disjuntos y se tiene que:

A
k=1
Bk =
k=1
Ak
38
Por otra parte, para todo k , Bk Ak , entonces:
(Bk ) (Ak )
y se tiene que:
A=
k=1
(A Bk )
donde la unin es disjunta. Luego:

(A) =
k=1
(A Bk )
k=1
(Bk )
k=1
(Ak )
2.3. Funciones Medibles

Consideramos un conjunto y una -lgebra M de subconjuntos de . Al par (, M) lo llamamos espacio medible. A los cojuntos de M los llamaremos conjuntos medibles (representar la clase de aquellos conjuntos a los que asignaremos medida). Posteriormente deniremos la integral de una funcin con respecto a una medida. Las funciones que vamos a integrar debern satisfacer una condicin tcnica, a saber que podamos medir ciertos conjuntos asociados a la funcin.
Denicin 2.3.1 Sea (, M) un espacio medible y sea f : R una funcin. Diremos que f es una funcin medible (respecto a la -lgebra M) si para
todo R el conjunto {f > } = { : f ( ) > } es medible, es decir pertenece a M.

El ejemplo clsico es = RN , M= conjuntos medibles en el sentido de Lebesgue. En este caso, las funciones respecto a la -lgebra M reciben el nombre de funciones medibles en el sentido de Lebesgue. La nocin de funcin medible puede formularse de varias maneras equivalentes. (En lo sucesivo, usaremos las notaciones abreviadas {f < } = { : f ( ) < }, etctera).
Ejemplo:
Lema 2.3.2 Sea f

i) f es medible.
: R una funcin. Son equivalentes:
ii) Para todo R, {f } es medible. iii) Para todo R, {f < } es medible. iv) Para todo R, {f } es medible.
39
Demostracin: i) ii):
{f } = {f > 1/n}
n N
Como f es medible, cada uno de los conjuntos {f > 1/n} pertenece a M, y como M es una -lgebra, 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}
n N
y utilizamos que M es cerrada por intersecciones numerables. iv ) i) : Notamos que {f > } = {f }, y utilizamos que M es cerrada por complementos.
Proposicin 2.3.3 Sean f, g : R funciones medibles. Entonces: {f < g } = { : f ( ) < g ( )} es medible. Demostracin: Notamos que
{f < g } = {f < q < g } =
q Q
({f < q } {q < g })

q Q
y usamos que M es una -lgebra y que Q es numerable. El hecho de que la -lgebra M sea cerrada por operaciones conjuntsticas numerables, tendr como consecuencia que la clase de funciones medibles ser cerrada por las operaciones algebraicas, y por las operaciones de tomar supremo o lmites. Ms 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 = 0, f /g es medible.
Demostracin: i): {f + k > } = {f
> k } Si k > 0: {kf > } = {f > /k } mientras que si k < 0: {kf > } = {f < alpha/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)
40
Observacin: El lema se puede adaptar al caso en que f o g toman los valores . f + g est bien denida, salvo cuando es de la forma (+) + () o () + . Para denir f g , hay que utilizar las convenciones 0 () =
() 0 = 0
Lema 2.3.5 Sea (fn )nN una sucesin de funciones medibles. Entonces
sup fn (x)
n N nN
nf fn (x)
l m inf fn (x)
nN
l m sup fn (x)
n N
son medibles. En particular si fn converge, entonces:

f (x) = l m fn (x)
n+
es medible.
Demostracin: Notamos que

{sup fn (x) > } =
n N
{fn > }
n N
Por lo que si cada fn es medible, {fn > } M n N , y en consecuencia como M es una -lgebra, {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) < }
n N
{fn < }
n N
Para probar que l m sup fn es medible, notamos que
l m sup fn = nf sup fn
k kn
Pero para cada k , supkn fn es medible por lo que ya probamos, y en consecuencia l m sup fn es medible. De modo anlogo, de que
l m inf fn = sup nf fn
k kn
Se deduce que l m nf fn es medible. Finalmente notamos que si la sucesin (fn ) converge, entonces l mn+ fn (x) = l m inf fn (x) = l m sup fn (x), por lo que la funcin lmite de las fn es medible.
Denicin 2.3.6 Sea : R R una funcin. Diremos que es medible Borel si es medible con respecto a la -lgebra de Borel B(R), generada por los intervalos. Es decir si para todo intervalo (a, b], su pre-imagen por , 1 ((a, b]) es un conjunto boreliano de la recta.
41
Lema 2.3.7 Sean
(, M) un espacio medible y f : R una funcin. Entonces f es medible si y slo si f 1 (B ) M para todo B B(R).
Demostracin: Notamos que:

A = {B R : f 1 (B ) M}
es una -lgebra. Si f es medible, entonces A contiene a los intervalos. Por lo tanto contiene a toda la -lgebra de Borel (que es la menor -lgebra 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.
Demostracin: 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

Denicin 2.4.1 Llamamos funcin simple a una funcin medible f
f=
i=1
que toma un nmero nito de valores {c1 , c2 , . . . , cn }. Podemos representarla entonces como: n
ci IEi
(2.1)
:R
donde Ei = { : f ( ) = ci }, y Ai es la funcin caracterstica1

Ei ( ) = 1 0
si si
Ei Ei
El siguiente lema de aproximacin por funciones simples, ser de gran utilidad para la teora de la integral:
Lema 2.4.2 Si f : [0, +] es una funcin medible no negativa, entonces existe una sucesin n (x) de funciones simples no negativas tales que
n+
l m n (x) = f (x) x
1 En
la teora de probabilidades se denomina indicador, ya que el trmino funcin caracte-
rsitica tiene en dicho contexto otro signicado.
42
Demostracin: Para cada n N , denimos:

n2n
n (x) =
i=1
i1 En,i (x) + nFn 2n i1 i f (x) < n 2n 2
siendo
En,i =
x:
Fn = { x : f ( x ) n }
Es decir que:
n (x) =
i1 2n
si si
f (x) < f (x) n
i1 2n
i 2n
Se prueba que n (x) tiene las propiedades del enunciado.
2.5. Teorema de Egorov

Denicin 2.5.1 Sea
(E, M, ) un espacio de medida, y fn , f : E R funciones medibles. Diremos que fn (x) converge a f (x) en casi todo punto x E (con respecto a ) si ({x E : fn (x) f (x)} = 0
Teorema 2.5.2 (Egorov) Sea (E, M, ) un espacio de medida tal que (E ) <
+ .
Supongamos que tenemos una sucesin de funciones medibles (fn )nN : E R que converge en casi todo punto de E (con respecto a ) hacia una funcin medible f (x). Entonces, dado > 0, existe una subsucesin (fnk ) de (fn ) y un subconjunto medible E E tal que fn converge unrmomente a f en E , y (E E ) < .
es la medida de Lebesgue, las hiptesis se vericarn siempre que m(E ) < + y fn (x) tienda en casi todo punto a un lmite nito2
Observacin En el caso en que E es un subconjunto medible de Rn , y = m
Demostracin: Dados j, k N denimos los conjuntos

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

j Ek = nk
x E : |fn (x) f (x)| <
1 j
Rn
2 En
clase, este teorema lo vimos para el caso de un conjunto medible con medida nita en
Rn ,
pero es claro que su demostracin no utiliza ninguna propiedad especial de
43
y las fn y f son funciones medibles. Observamos que cuanto mayor es k menos restrictiva es la condicin que j dene Ek , es decir que la sucesin
j 1 2 Ek Ek . . . Ek ...
es creciente. Por consiguiente, si llamamos
Ej =
k=1
j Ek
tendremos que:
k+
j l m (Ek ) = (E j )
En consecuencia, para cada j podemos elegir un k0 = k0 (j ) de manera que

j (E j Ek )< 0
2j
Echa esta eleccin, pongamos
E =
j =1
j Ek 0 (j )
para todo j N, por consiguiente existe un k0 = k0 (j ) tal que si j k0 (j ) se tiene que
Es claro que E E es medible. Notamos que si x E , entonces x Ek0 (j )
|fn (x) f (x)| <
1 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 =
j =1
j (E Ek ) 0 (j )
(2.2)
Pero y se tiene que
j j E Ek (E E j ) (E j Ek 0 (j ) 0 (j )
(2.3)
E E j {x E : fn (x) f (x)}
pues si x E pero x E j , para todo k existir un j k tal que |fn (x) f (x)| > 1 j j . Por consiguiente, (E E ) = 0 (por la hiptesis que que fn converge a f en casi todo punto de E . Entonces por (2.3) tenemos que:
j j j (E Ek ) (E E j ) + (E j Ek ) = 0 + (E j Ek )< 0 (j ) 0 (j ) 0 (j )
2j
44
y utilizando (2.2) y la -subaditividad de la medida, deducimos que:

j )< (E Ek 0 (j ) j =1 j =1
(E E )
= 2j
como queramos ver. En muchas situaciones, necesitamos considerar un espacio que es a la vez un espacio mtrico (o topolgico 3 ) y un espacio de medida. La siguiente denicin establece una condicin de compatibilidad entre ambas estructuras:
Denicin 2.5.3 Sea E un espacio mtrico (o topolgico). Una medida denida en una -lgebra 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 -lgebra B(E ) denota la -lgebra de subconjutnos de E generada por los abiertos ( -lgebra de Borel). Esta condicin implica que las funciones f : E R continuas (o semicontinuas), resultan medibles (respecto a la -lgebra 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 Lebegue 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.
E E tal que
Demostracin: Por el teorema 2.5.2 (cambiando por /2) podemos encontrar

(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 mtricos son una generalizacin de los espacios topolgicos, donde no est necesariamente denida una mtrica, sino una topologa: esto es una coleccin
de partes de
con las siguientes propiedades: i)
, E ,
ii)
es cerrada por intersecciones nitas.
iii)
es cerrada por uniones arbitrarias. Entonces por denicin los abiertos de
son los
elementos de
45
2.6. Convergencia en medida

Denicin 2.6.1 Sea (X, M, ) un espacio de medida (fn )nN
{|f fn | > } 0 cuando n + : X R una sucesin de funciones medibles nitas en casi todo punto. Se dice que (fn ) converge en medida a la funcin medible X si para todo > 0, tenemos que
Notacin:
fn f
Observacin: En la teora de probabilidades esta nocin se denomina convergencia en probabilidad. Observacin: Si (fn ) converge en medida a f , cualquier subsucesin de (fn ) tambin converge en medida a f .
Veamos algunas propiedades de la convergencia en medida:
Proposicin 2.6.2 (Unicidad del lmite) Si fn f y fn g , entonces
f = g en casi todo punto con respecto a .
Demostracin: Por la desigualdad triangular,

|f g | |f fn | + |fn g |
Entonces
{|f g | > } {|f fn | > /2} + {|fn g | > /2}

Deducimos que para todo > 0,
{|f g | > } = 0
Como
{f = g } =
nN
|f g | >
1 n
Por la -subaditividad de , deducimos que:
({f = g })
n=1
|f g | >
1 n
=0
Denicin 2.6.3 Una sucesin de funciones medibles (fn ) : X R nitas 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 +.
46
Teorema 2.6.4 (Riesz) Si (fn ) es de Cauchy en medida, entonces existe una

subsucesin (fnk ) que converge hacia una funcin nita en casi todo punto de X . Adem a la sucesin entera converge en medida a la misma funcin lmite.
Demostracin:
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 sucesin (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 = l m sup Ek =
i=1 k=i
Ek
k=i
Para cada i, N est contenido en el conjunto

Ek , de donde se deduce que: 1 2i1
(N )
k=i
(Ek )
k=i
2k =
por lo tanto deducimos que (N ) = 0. Si x N , existe un entero i tal que x 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 sucesin
fn1 (x), fn2 (x), . . . , fnk (x), . . .

es absolutamente convergente si x N . Podemos denir entonces una funcin
f (x) = l m sup fnk (x) si x N

k+
y fnk (x) converge a f (x) si x N . Si completamos la denicin de f poniendo
f (x) = l m sup fn (x) x X

n+
Entonces f es medible, y fnk (x) converge a f (x) en casi todo punto4

4 Si estuviramos trabajando con la -lgebra y la medida de Lebesgue podramos completar
la denicin de
denindola en los puntos de
de cualquier manera, y obtendramos una
funcin 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 denicin como el lmite superior de las
fn (x).
47
A continuacin probaremos que la subsucesin fnk que hemos construido converge en medida a f . Notamos que tambin tenemos que si x N ,
f (x) = fnk (x) + (fnk+1 (x) fnk (x)) + (fnk+2 (x) fnk+1 (x)) + . . .
en consecuencia:
f (x) fnk (x) = (fnk+1 (x) fnk (x)) + (fnk+2 (x) fnk+1 (x)) + . . .
Dado > 0 elegimos i0 tal que
1 2i0 1
< . Entonces:
{|f (x) fni (x)| } N

k=i
Ek
si i i0
pues si x N y |fnk+1 fnk (x)| < 2k para todo k i, se deduce de lo anterior que
|f (x) fni (x)|

k=i
2k =
1 2i1
< si i i0
En consecuencia:
({|f (x) fni (x)| > })

k=i
(Ek )
k=i
1 1 = i1 < si i i0 k 2 2
Esto prueba que la subsucesin (fnk ) que hemos construido converge en medida a f . Finalmente demostraremos que toda la sucesin (fn ) converge en medida a f , para elllo volveremos a utilizar la hiptesis de que (fn ) es de Cauchy en medida. Como consecuencia de la desigualdad triangular, tenemos que:
{|f (x) fn (x)(x)| > }

y en consecuencia:
|f (x) fnk (x)(x)| >
|fnk (x) fn (x)(x)| > 2 2
({|f (x) fn (x)(x)| > }) |f (x) fnk (x)(x)| > + |fnk (x) fn (x)(x)| > 2 2 El primer trmino es menor que 2 eligiendo k k0 () pues fnk converge en medida a f , y el segundo trmino tambin es menor 2 si k, nk n1 () [notamos que nk k ] pues (fn ) es de Cauchy en medida. En conseguncia si k m ax(n0 , n1 ), {|f (x) fn (x)(x)| > } <
Esto demuestra que fn converge en medida a f .
Corolario 2.6.5 Si la sucesin
fn (x) converge en medida a f (x), existe una subsecin fnk (x) que converge a f (x) en casi todo punto.
48
2.7. Integral de Funciones Simples

Consideramos ahora un espacio de medida (, M, ) es decir un espacio medible, donde adems est denida una medida ( -aditiva) : M [0, +]. Si f : R es una funcin simple, representada por (2.1) denimos su integral de la siguiente manera:
f d =
i=1
ci (Ai )
La integral de las funciones simples, tiene las siguientes propiedades:
Proposicin 2.7.1
1. linealidad: Si f y g son funciones simples:

(f + g ) d =

f d +
g d
Si f es una funcin simple, y k una constante:

(kf ) d = k

f d
2. Monotona: si f y g son funciones simples y f g , entonces:

f d

g d
3. Si f es una funcin simple, entonces

f d

|f | d
2.8. Integral de funciones no negativas

Denicin 2.8.1 Sea (, M, ) un espacio de medida, y f
f d = sup

: [0, +] una funcin medible no negativa. Denimos la integral de f de la siguiente manera: d : 0 f, simple
Una consecuencia inmediata de la denicin es la siguiente:
Proposicin 2.8.2 Si f, g : [0, +] son funciones simples no negativas tales que f g , entonces
f (x) d

g (x) d
49
Denicin 2.8.3 Si A M es un conjunto medible, y f

f d =

funcin medible no negativa, denimos la integral de f sobre E como:

f A d
: [0, +] es una
Lema 2.8.4 Sea
una funcin simple no negativa. Entonces la funcin = : M [0, +] denida por: (A) =
A
es una medida
Demostracin:
Supongamos que un conjunto medible A se representa como una unin disjunta numerable de una sucesin (An )nN de conjuntos medibles:
A=
nN
An
Queremos probar que:
(A) =
n=1
(An )
Como es una funcin simple, podremos representarla en la forma

N
=
i=1
ci Ei
siendo Ei conjuntos medibles disjuntos. Notamos que (x)An (x) es una funcin simple, que toma el valor ci en el conjunto An Ei , es decir que su representacin cannica es:
N
(x)An (x) =
i=1
ci Ei An (x)
En consecuencia,
N
(An ) =
i=1
ci (Ei An )
Y por lo tanto
N
(An ) =
n=1 n=1 i=1
ci (Ei An )
Como en esta suma doble los trminos (Ei An ) son no negativos, da lo mismo efectuar la suma en cualquier orden. En consecuencia,
N N
(An ) =
n=1 i=1 n=1
ci (Ei An ) =
i=1
ci
n=1
(Ei An )
50
Ahora notamos que:
Ei A =
nN
(Ei An )
siendo esta unin disjunta. En consecuencia, como es una medida,
(Ei A) =
n=1
(Ei An )
y concluimos que:
N
(An ) =
n=1 i=1
ci (Ei A) =
(x) A (x) d =
A
(x) d
Teorema 2.8.5 (Teorema de la Convergencia Montona )

medibles no negativas. Entonces,
n+
Sea fn (x) : [0, +] una sucesin creciente (o sea: fn (x) fn+1 (x)) de funciones
l m f (x) d = l m fn (x) dmu
n+
Demostracin: Sea
f (x) = l m fn (x)
n+
Por la monotona de la integral es claro que:
fn (x) d

f (x) d
Y por lo tanto que:
n+
l m
fn (x) d

f (x) d
Por otra parte, sea una funcin simple tal que f . Dado (0, 1), consideramos los conjuntos (medibles)
An = {x : fn (x) x}
Entonces la sucesin (An )nN es montona creciente (o sea An An+1 ) y
=
n N
An
Adems la funcin denida en el lema anterior, es una medida, por lo tanto:
() = l m (An )
n+
5 Tambin
conocido como teorema de Beppo Levi.
51
es decir,
n+
l m
(x) d =
An
(x) d
Por otra parte, para cada n N ,
An
(x) d
An
fn (x) d
fn (x) d
De modo que,
(x) d = l m
n+
(x)d l m
An
n+
fn (x) d
Haciendo tender a 1 deducimos que:
(x) d l m fn (x) d
n+
y por lo tanto como esto vale para toda funcin simple con 0 f , por la denicin de integral, deducimos que:
f (x) d l m fn (x) d
n+
Proposicin 2.8.6 (Linealidad de la integral) Si
f, g : [0, +] son funciones medibles no negativas y 1 , 2 0 son nmeros reales no negativos, entonces: [1 f (x) + 2 g (x)] d = 1

f (x) d + 2
g (x) d
Demostracin: Utilizamos el lema de aproximacin por funciones simples: sa-
bemos que existen una sucesin creciente (fn (x)) de funciones simples que converge a f (x), y una sucesin creciente (gn (x)) de funciones simples que converge a g (x). Entonces por la linealidad de la integral de funciones simples,
[1 fn (x) + 2 gn (x)] d = 1

fn (x) d + 2
gn (x) d
Y el teorema de convergencia montona implica entonces que:
[1 f (x) + 2 g (x)] d = 1

f (x) d + 2
g (x) d
Teorema 2.8.7 (Lema de Fatou) Sea
funciones medibles no negativas. Entonces:

n+
fn : M [0, +] una sucesin de
l m inf fn (x) d l m inf
n+
fn (x) d
52
Demostracin: Llamemos
f (x) = l m inf fn (x) = sup
n+ k N nk
nf fn (x)
y consideremos la sucesin creciente de funciones no negativas:
gk (x) = nf fn (x)
nk
Entonces por el teorema de convergencia montona:
f (x) d =
k+
l m gk (x) d = l m
k+
gk (x) d
(2.4)
Por otra parte si n k , tenemos que
gk (x) d

fn (x) d
y en consecuentcia:
gk (x) d l m inf
n+
fn (x) d
Y por lo tanto:
k+
l m
gk (x) d l m inf
n+
fn (x) d
En consecuencia utilizando (2.4), deducimos que:
f (x)d l m inf
n+
fn (x) d
2.9. Funciones Integrables

Si f : R es una funcin medible, hacemos la descomposicin:
f = f+ f
como diferencia de dos funciones medibles no negativas, siendo
(2.5)
f + ( x) =
y
f (x) si f (x) 0 0 si f (x) < 0 0 si f (x) 0 f (x) si f (x) < 0 |f | = f + + f
f ( x) =
Notamos que:
53
Denicin 2.9.1 Diremos que una funcin medible f : R es integrable si son nitas las integrables
f + (x) d
f (x) d
En ese caso, denimos la integral de f con respecto a en el espacio por:

f (x) d =

f + (x) d +
f (x) d
Observacin: De la denicin de funcin integrable, deducimos que f es integrable si y slo si
|f (x)|d < +
Adems:
f (x)d

|f (x)| d
Proposicin 2.9.2 (Linealidad de la integral) Si f, g : R son funciones integrables y 1 , 2 son nmeros reales, entonces 1 f + 2 g es integrable, y se tiene que:
[1 f (x) + 2 g (x)] d = 1

f (x) d + 2
g (x) d
Demostracin: Primero probaremos que es posible sacar escalares de la integral: En efecto si > 0, tenemos que:
(f )+ = f + (f ) = f
Entonces es claro por la denicin y la linealidad de la integral para funciones no negativas, que si f es integrable, f tambin lo es y se verica que:
f d =

(f )+ d
(f ) d = f d
f + d
f d
Si < 0, notamos que:
(f )+ = ()f
54
(f ) = ()f +
y de nuevo, vemos usando la denicin y la linealidad de la integral para funciones no negativas, que si f es integrable, f tambin lo es y se verica que:
f d =

(f )+ d
(f ) d = f + d
f d + =
f d
(El caso = 0 es trivial porque la integral de la funcin nula d 0). Ahora probaremos que la integral distribuye la suma: Para ello notamos que (2.5) proporciona una escritura de f como diferencia de dos funciones no negativas. Pero que si tenemos otra escritura de f como diferencia de dos funciones medibles no negativas:
f = f1 f2
Entonces de f f = f1 f2 , deducimos f + + f2 = f1 + f , entonces por la linealidad de la integral para funciones no negativas:
+
f + d +

f2 d =
f1 d +
f d
En consecuencia,
f d =

f1 d
f2 d
Vale decir que si en lugar de (2.5), utilizramos cualquier otra descomposicin de f como diferencia de funciones medibles no negativas obtendramos el mismo valor de la integral. Hecha esta observacin, notamos que
f + g = f + f + g + g = (f + + g + ) (f + g )
y que esta ltima expresin proporciona una escritura de f + g como diferencia de funciones no negativas. En consecuencia, por la observacin anterior, y la linealidad de la integral para funciones no negativas:
(f + g ) d =

(f + + g + ) d
(f + g ) d = g d =
f + d +

g + d
f d g d
f d +
55
Teorema 2.9.3 (De convergencia mayorada, de Lebesgue) Sea fn (x) : R una sucesin de funciones integrables, que converge puntualmente a una funcin f (x) f (x) = l m fn (x)
n+
y tal que existe una funcin integrable g de modo que |fn (x)| g (en casi todo punto con respecto a la medida ). Entonces
n+
l m
|fn (x) f (x)| d = 0
En particular,
n+
l m
fn (x) d =

f (x) d
nida por:
Demostracin: Sea hn (x) la sucesin de funciones medibles no negativas, dehn (x) = 2g (x) |fn (x) f (x)|
Entonces, por el lema de Fatou,
g (x) d =
l m hn (x) d l m inf
n+
fn (x) d
g (x) d l m sup
n+
|fn (x) f (x)| d
En consecuencia,
l m sup
n+
|fn (x) f (x)| d = 0
Entonces,
fn (x) d

f (x) d
|fn (x) f (x)| d 0 cuando n
Captulo 3
Construccin de medidas
3.1. Medidas Exteriores
En este captulo, queremos describir un general procedimiento para construir medidas. Recordamos que para cosntruir la -lgbera y la medida de Lebesgue en RN , partimos de la nocin de medida exterior. Ahora generalizaremos esta construccin a espacios abstractos.
Denicin 3.1.1 Una medida exterior es una funcin 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 sucesin Ek X se cumple:

k=1
Ek
k=1
(Ek )
Constantin Carathodory prob que en RN vale la siguiente propiedad:
Teorema 3.1.2
se cumple que:
E RN es medible Lebesgue si y slo si para todo conjunto S 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 ) Basndose en esto propuso tomar esta propiedad como denicin en el caso de la medida abstracta:
Denicin 3.1.3 Diremos que un conjunto
E X es -medible (o simplemente medible) si para cualquier conjunto S X se cumple: (S E ) + (S E c ) = (S )

56
57
Equivalentemente: E es medible si y slo si para todo A E y todo B E c , se tiene que:

(A B ) = (A) + (B )
Observacin 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 ) < +.
Notacin: M = M Corolario 3.1.5
es la clase de los conjuntos -medibles.
M ( es medible)
Observacin 3.1.6 Si E es medible, tambin lo es su complemento. (Esto est

claro ya que E y E c intervienen simtricamente en la denicin) lo tanto M es un lgebra de conjuntos)
Proposicin 3.1.7 La interseccin de dos conjuntos medibles es medible (por Demostracin: Sean EyF
que: medibles. Queremos ver E F es medible. Tenemos
(E F )c = (E F c ) (E c F ) (E c F c ) (S E F ) + (S (E F )c ) (S E F ) + (S E F c ) + (S E c F ) + (S E c F c )
luego, para cualquier S X tenemos:
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 E es medible, (S E ) + (S E c ) = (S ), luego tenemos:
(S (E F )) + (S (E F )c ) (S )
y como sto vale para todo S X , concluimos que E F es medible.
58
Lema 3.1.8 Si E1 , E2 , . . . , En son conjuntos medibles disjuntos, entonces para

cualquier conjunto S X se tiene:
n n
(S Ek ) =
k=1
S
k=1
Ek
Demostracin: Se prueba por induccin sobre n. Si n = 1 es trivial. Si n > 1 y

lo suponemos vlido para n 1 conjuntos medibles disjuntos vamos a probar que tambin vale para n. Separando el trmino con k = n, y utilizando la hiptesis inductiva, tenemos que:
n n1
(S Ek ) ==
k=1
S
k=1
Ek
+ (S En )
Sea E el conjunto:
E=
k=1
Ek
entonces: E En = En y
n1 c E En = k=1
Ek
(ya que los Ek son disjuntos), luego:

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

n n
(S Ek ) =
k=1
S
k=1
Ek
como arma el lema.
Lema 3.1.9
M es una -lgebra.
Demostracin: Basta probar que es cerrada bajo uniones numerables disjunk 1 i=1
tas: Sea (Ek ) una sucesin conjuntos de M y pongamos: B1 = E1 Bk = Ek
Ei entonces los Bk M (pues ya sabemos M es un lgebra), son disjuntos y tenemos que

Ek =
k=1 k=1
Bk
Como toda unin numerable de medibles, se puede reescribir como una unin numerable disjunta de medibles bastar entonces probar que M es cerrada bajo uniones numerables disjuntas.
59
Sea pues (Ek ) una sucesin de conjuntos de M disjuntos. Vamos a pro bar que k=1 Ek tambin pertenece a M . En virtud del lema anterior, para cualquier S X :
n n c
(S Ek ) +
k=1 n
S
k=1 n
Ek
c
=
n k=1
S
k=1
Ek
S
k=1
Ek
= (S )
ya que Ek es medible (M es un lgebra). Como por otra parte:

c n c
S
k=1
Ek
S
k=1
Ek
Tenemos,
S
k=1
Ek
S
k=1
Ek
Luego obtenemos que:

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

c
(S Ek ) +
k=1
S
k=1
Ek
(S )
Tenemos que:
c
S
k=1
Ek
S
k=1 c
Ek
k=1
(S Ek ) +
k=1
Ek
(S )
por la -subaditividad de , luego como vale para todo S X resulta que k=1 Ek es medible.
Lema 3.1.10
restringida a M es una medida.
60
k=1
Demostracin:
Slo falta ver que es -aditiva. Sea E = Ek son disjuntos. Entonces:
Ek domde los
(E )
k=1
(Ek )
pues es -subaditiva. Por otra parte, para todo n N se tiene:

n n
(Ek ) =
k=1 k=1
Ek
(E )
Haciendo que n obtenemos:
(Ek ) (E )
k=1
Como probamos las dos desigualdades opuestas, vale la igualdad.
3.2. Medidas exteriores mtricas

denida en X . Decimos que es una medida exterior mtrica, o que satisface la condicin de Carathodory, si
(A B ) = (A) + (B )
Denicin 3.2.1 Sea (X, d) un espacio mtrico y sea una medida exterior
siempre que d(A, B ) > 0.
Teorema 3.2.2 Si es una medida exterior mtrica en (X, d), entonces cualquier conjunto boreliano de X es medible. Es decir:
B (X ) M
Adems denimos la -lgebra de Borel de X como la -lgebra generada por los conjuntos abiertos.
Demostracin: Dado que M
es una -lgebra, es suciente 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
Cn =
x C : d(x, C )
1 n
61
de modo que los conjuntos Cn forman una sucesin creciente, d(Cn , F )
1 n
C=
n N
Cn
En virtud de la condicin de Carathodory, tenemos que:
(E ) (B C ) (B Cn ) = (B ) + (Cn )
Luego, bastar probar que: (Cn ) (C ), o dado que Cn es creciente, que
(C ) l m (Cn )
n+
Llamemos Dn = Cn+1 Cn . Armamos 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 1 1 , y como y Cn , d(y, F ) n , entonces como d(y, F ) Cn+1 , d(x, F ) n+1
d(x, F ) + d(x, y ) resulta que: d(x, y )

n
Entonces, utilizando la condicin de Caratheodory extendda inductivamente, tenemos que:

n
1 n
1 n+1
>0
(C2n+1 )
y que:
k=1 n
D2k
=
k=1 n
(D2k )
(C2n )
k=1
D2k1
=
k=1
(D2k1 )
Mientras que por la -subaditividad, tenemos que:

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

(D2k ),
k=n k=n
(D2k1 )
diverge, entonces se sigue de las dos primeras ecuaciones que

n+
l m (Cn ) = +
y la desigualdad buscada se verica trivialmente. Si esto no ocurre, dado > 0, podremos elegir n0 > 0 tal que si n n0 , se tenga que:

(D2k ) < ,
k=n k=n
(D2k1 ) <
En consecuencia, como armamos.
(C ) l m (Cn )
n+
62
3.3. Las medidas de Lebesgue-Stieltjes

Consideramos un intervalo de la recta I = (a, b], y F : [a, b] R una funcin creciente. Stieltjes tuvo la idea de asociarle a F una nocin 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 nocin generalizada de medida de un intervalo, es creciente y nitamente aditiva. Stieltjes utiliz esta nocin, para generalizar la integral de Riemann de esta manera: Si I es una funcin, queremos denir la integral
b
(x) dF (x) (R S )
a
(3.1)
Para ello, tomamos una particin : a = x0 < x1 < . . . xn1 < xn = b de I y elegimos puntos intermedios2 i (xi , xi+1 ]. Consideramos las sumas de Riemann-Stieltjes
n1 n1
S (f, ) =
i=0
(i )F ((xi , xi+1 ]) =
i=0
(i )(F (xi+1 ) F (xi ))
Si cuando la norma de la particin
| | =
0in1
m ax |xi+1 xi |
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 intencin es generalizar esta nocin de integral. Para ello nos preguntamos si existe alguna medida F , que corresponda la nocin generalizada de medida F de un intervalo. Para ello, imitando lo que hicimos antes con la medida de Lebesgue, comenzamos deniendo una medida exterior asociada a F :
Denicin 3.3.1 Dado E I , no vaco, denimos:

nf F (E ) =
n=1
F ((cn , dn ]) = nf
n=1
F (dn ) F (cn )
1 En
esta seccin consideraremos siempre intervalos semiabiertos. Esto es importante, pues
resultar 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 intervalo
(c, d]
y el
2 En realidad, estamos 3 O ms generalmente,
[c, d]
por ejemplo, pueden tener medidas diferentes. trabajando con particiones con puntos marcados. de variacin acotada
63
donde la suma se toma sobre todos los posibles cubrimientos de E , por una familia de intervalos semiabiertos:
(cn , dn ]
n=1
Ponemos F () = 0.
Teorema 3.3.2
demostrar que si
F es una medida exterior mtrica.

Para comprobar que F es una medida exterior, hemos de
Demostracin:
E
n=1
En
entonces:
F (E )
n=1
F (En )
(3.2)
Podemos suponer que F (En ) < +. Entonces, para cada n podemos considerar un cubrimiento
En
k=1
In,k
por intervalos semiabiertos In,k tales que
F (In,k ) F (En ) +
k=1
2n
Entonces:
E
n=1 k=1
In,k
y en consecuencia

F (E )
n=1 k=1
F (In,k
n=1
F (En ) +
2n
=
n=1
F (En ) +
Como es arbitrario, se obtiene (3.2). Finalmente, queda comprobar que si d(E1 , E2 ) > 0, entonces F (E1 E2 ) = ( E ) ( E ) . Si E = E E , ya sabemos que Lambda F (E1 ) + 2 1 2 F (E1 ) + F F F (E2 . Queda pues demostrar que
F (E ) F (E1 ) + F (E2 )
(3.3)
y para ello podemos suponer que F (E ) < +. Consideremos entonces un cubrimiento de E por intervalos semiabiertos:
E
n=
In
64
tal que
F (In ) < F (E ) +
n=1
(3.4)
Sea = d(E1 , E2 ) > 0. Subdividiendo si es necesario los intervalos In , podemos suponer que |In | < (por la subaditividad nita de F , esta subdivisin no afectar la relacin (3.4). Entonces ningn intervalo puede cortar simultneamente 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:

F (In ) +
n:In E1 n : I n E2
F (In )+ < F (E ) +
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 mtrica, en virtud del teorema 3.2.2 todo subconjunto boreliano del intervalo I es F -medible. a los borelianos, vemos que es una medida Si llamamos F a la restriccin de F denida sobre la -lgebra de Borel que siempre es nita. Recprocamente, es posible probar que toda medida de Borel (esto es denida en la -lgebra de Borel) nita en un intervalo I = (a, b] de la recta, es de la forma F , donde F (x) = ((a, x]) es su funcin de distribucin4 . Nos queda comprobar que F exitende a F . Para que ello sea cierto, necesitaremos hacer una hiptesis 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 .
Observacin: 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
65
(simplemente basta tomar L = (c, d + 1 ] donde 1 es el que corresponde a por la continuidad de F a la derecha en el punto d; y K = (c + 2 , d] donde 2 es el que corresponde a por la continuidad a la derecha de F en el punto c). En base a esta observacin, podemos demostrar la -subaditividad de F en la clase de los intervalos:
Lema 3.3.4 Si un intervalo semiabierto J
I , est contenido en la unin de una familia numerable Jn I de subintervalor abiertos de I , J

n=1
Jn
entonce
F (J )
F (Jn )
n=1
to K tal que K J, que
Demostracin: En virtud del lema, podemos encontrar un intervalo semiabierF (K ) > F (J ) e intervalos semiabiertos Ln tales F (Ln ) < F (Jn ) +
Jn L n,
Entonces
2n
K
n=1
L n
y por compacidad de K , existir un n0 tal que

n0
K
n=1
L n
y en particular,
n0
K
n=1
Ln
Entonces, como F es nitamente subaditiva:
F (K )
n=1
F (Ln )
En consecuencia,

F (J ) < F (K )
n=1
F (Ln )
n=1
F (Jn ) +
2n
=
n=1
F (Jn ) +
Como es arbitrario, se obtiene el teorema.
66
Una vez demostrado este lema, estamos en condiciones de demostrar el teorema 3.3.3. Para ello, observamos que si (Jn )nN es un cubrimiento de J por intervalos semiabiertos tenemos en virtud del lema,
F (J )
n=1
F (Jn )
y al tomar nmo 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 est indexado por N), con lo que
F (J ) F (J )
En consecuencia, se verica (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
b
(x) dF (x)
a
3.4. El teorema de Extensin de Medidas

Presentaremos en esta seccin una construccin que generaliza la que hicimos antes de las medidas de Lebesgue-Stieltjes, a un contexto ms abstracto.
Denicin 3.4.1 Supongamos que
es una medida denida sobre un lgebra de conjuntos A P (X ). Queremos denir una medida exterior asociada a . Para ello, dado un conjunto E X denimos:
(E ) = nf
k=1
(Ak ) donde E
k=1
Ak y los Ak A
donde para formar el nmo se concideran 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 lgebra A coincide con .
es creciente: Supongamos que A B . Si B k=1 Bk . donde los Bk A, entonces A k=1 Bk , luego por denicin de (A) tenemos que:
Demostracin: Probemos que
(A)
k=1
(Bk )
67
pero esto vale para cualquier cubrimiento de B por miembros del lgebra A luego por denicin de (B ) tenemos que: (A) (B ). Probemos que es subaditiva: Dada una sucesin (Ek )kN X queremos ver que:

k=1
Ek
k=1
(Ek )
Si para algn Ek se tiene (Ek ) = + no hay nada que probar. Podemos pues suponer (Ek ) es nita para todo k . Dado entonces > 0 para cada k (por denicin de (Ek )) podemos encontar conjuntos Akj A tales que:
Ek
k=1
Akj
(Akj ) < (Ek ) +

j =1
2k
Entonces si E =
k=1
Ek tenemos que:

E
k=1 j =1
Akj
Es decir: tenemos un cubrimiento de E por una cantidad numerable de conjuntos del lgebra A, entonces por denicin de (E ) tenemos que:

(E )
k=1 j =1
(Akj )
k=1
(Ek ) +
2k
=
k=1
(Ek ) +
Como era arbitrario, haciendo que 0 se obtiene la desigualdad buscada. Finalmente, probemos que extiende a : Si A A y A A), entonces
k=1
Ak (Ak
(A)
k=1
(Ak )
por ser -subaditiva. Como esto vale para cualquier cubrimiento de A por miembros de A, de la denicin de (A) resulta que (A) (A) Por otra parte, un cubtimiento particular de A por miembros de A es
A = A ... ...
entonces
(A) (A)
68
Corolario 3.4.3 Lema 3.4.4
() = 0 (pues A).
A M . Es decir: todo conjunto del lgebra A es -medible.
Si por analoga con RN , llamamos conjuntos elementales a los del lgebra, este enunciado dice que todo conjunto elemental es medible. Sea S k=1 Ak , entonces SA k=1 Ak A (Como A es cerrada por intersecciones Ak A A) Anlogamente S Ac k=1 Ak Ac (donde Ak Ac A) por lo tanto:

Demostracin:
(S A) + (S Ac )
k=1
(Ak A) +
k=1
(Ak Ac )
pero es una medida sobre A, luego:
(Ak A) + (Ak Ac ) = (Ak )

por lo que obtenemos:
(S A) + (S Ac )
k=1
(Ak )
pero como esto vale para cualquier cubrimiento de S resulta:
(S A) + (S Ac ) (S )
Luego, A es medible.
En resumen: hemos partido y hemos construido la medida con en A. As hemos probado extender a una medida sobre una
de la medida denida sobre un lgebra A denida sobre la -lgebra M que coincide que toda medida sobre un lgebra se puede -lgebra que la contiene.
En particular si (A) es la -lgebra generada por A tenemos (A) M . As pues, cualquier medida sobre un lgebra se puede extender a una medida sobre la -lgebra generada (La ventaja es que esta -lgebra no depende de la medida). Nos preguntamos: En qu condiciones podemos asegurar que la extensin sea nica ? Sea una medida sobre (A) que coincide con en A (para todo A A, (A) = (A)). puede ser = en (A) ? Sea E (A). Si E
k=1
Ak donde los Ak A entonces:
(E )
k=1
( Ak )
69
por ser -subaditiva. O sea,
(E )
k=1
(Ak )
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 nitas resulta:
(A E ) (A E ) (A E c ) (A E c )
Luego (A E ) y (A E c ) son nitas, y adems 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 hiptesis de que y coinciden en A (dem si fuera (A E c ) < (A E c ) ) (Nota: este razonamiento no es vlido si intervienen valores innitos: por ejemplo:
1 < +, + +; pero 1 + (+) = (+) + (+) = +)
Denicin 3.4.5 La medida

sucesin (Ak ) A tal que
: A [0, +] se llama -nita si existe una
X=
k=1
Ak
con (Ak ) < + Es decir: es -nita si el espacio se descompone como la unin numerable de conjuntos de medida nita. Observacin: se puede suponer que los Ak son disjuntos.
Ejemplo: La medida de Lebesgue en RN
es -nita.
70
Si suponemos que es -nita y (Ak ) es una sucesin disjunta de conjuntos de A tales que
X=
k=1
Ak con (Ak ) < +
teneomos que:

(E ) =
k=1
(E Ak ) =
k=1
(E Ak ) = (E )
pues es una medida en (A)). Como Ak E A, entonces
(Ak E ) (Ak ) = (Ak )

y resulta que: Anlogamente:
(Ak E ) < + (Ak E c ) < +
Entonces, podemos aplicar el razonamiento anterior y concluir que: y coinciden en (A) (en realidad en M ) En denitiva, hemos probado el siguiente teorema de extensin de medidas:
Teorema 3.4.6 (Carathodory-Hahn) Toda medida sobre un lgebra de conjuntos se puede extender a una medida sobre la -lgebra generada. Si la medida es -nita dicha extensin es nica.
Captulo 4
Espacios
Lp(E, )
4.1. Funciones equivalentes

Sea (E, M, ) un espacio de medida. Estamos interesados en la clase F de las funciones medibles medibles f : E C. En el conjunto F introducimos la siguiente relacin 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) = g (x))) = 0.. Facilmente se comprueba que es efectivamente una relacin de equivalencia. Es importante el hecho de que esta relacin de equivalencia es compatible con las operaciones algebraicas con funciones:
Proposicin 4.1.1 Si f1
1. f1 + f2 2. f1 f2 3. f1
anlogas):
f2 y g1
g2 y C, entonces:
g1 + g2 g1 .g2 f2
Demostracin: Probaremos por ejemplo la primera armacin (Las otras son

{f1 + f2 = g1 + g2 } {f1 = g1 } {f2 = g2 }
Como los conjuntos del segundo miembro tienen medida nula por hiptesis, lo mismo ocurre con el del primero. Por comodidad identicaremos (concideraremos 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 < )

Denicin 4.2.1 Sea 1 p < un nmero real. Dada una funcin f F , denimos la norma p de f (sobre el espacio E ) con respecto a la medida , o
71
72
ms brevemente la norma p de f por:

1/p
= f |Lp (E,) =
E
|f |p d
Observacin: puede ocurrir que f p = + (cuando la integral valga +) Observemos que si f g entonces f p = g p (Ya que dos funciones iguales en casi todo punto tienen la misma integral).
4.3. Norma Innito

Denicin 4.3.1 Dada una funcin f
f
F denimos su
norma innito por:
= nf {C R : |f (x)| C en casi todo punto x de E respecto de }
Este nmo siempre existe como un elemento de la recta real extendida R, pudiendo valer eventualmente + (Notar que C = + es una de las posibles constantes). Si f = + podemos escribir:
{x E : |f (x)| > f
=
n=1
x E : |f (x)| > f
1 n
De la denicin de f se sigue que los conjuntos del segundo miembro tienen medida nula. Por lo tanto el del primero tambin es decir:
| f | f
en casi todo punto de E . Pero esto signica que f es en realidad un elemento del conjunto sobre el que tomamos nmo, es decir es el mnimo de dicho conjunto:
= m n{C : |f (x)| C en casi todo punto x de E respecto de }
La norma innito de f est caracterizada pues, por las siguientes propiedades: 1. |f | f
en casi todo punto de E respecto de
2. Es la mnima constante con esta propiedad. Nuevamente si f
g , entonces
Notacin: Una constante C tal que f | 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 explicacin del por qu del nombre norma innito:
73
Teorema 4.3.2 Si
| f |p d < + para algn p > 0, entonces f
= l m

|f |q d =
E E
|f |qp |f |p d f
q p E
| f |p d
pues |f | f en casi todo punto de E con respecto a . Elevando ambos miembros a la potencia 1/q :
1/q
1p/q E
|f |p d
Hacemos ahora que p , y resulta:

q
l m f
(4.1)
Si f = 0 entonces f = 0 (en casi todo punto), trivial. Podemos suponer pues que f = 0.
= 0 y el teorema es
Ahora elegimos una constante c con 0 < c < f arbitraria, y consideramos el conjnto A = {x E : |f (x)| > c). Armamos que 0 < (A) < +. Que (A) > 0 est claro por la denicin de la norma innito. Si fuera (A) = + se tendra:
|f |p d
E A
|f |p d
A
cp d = cp (A) = +
lo que contradice la hiptesis. Anlogamente tenemos que:
|f |q d
E A
|f |q d
A
cq d = cq (A)
Elevando ambos miembros a la potencia 1/q :
f
y ahora hacemos que q :
c (A)1/q
l m nf f
pero como esto vale para cualquier constante c con 0 < c < f
q
resulta que: (4.2)
l m nf f
De las desigualdades (4.1) y (4.2) se sigue el teorema.
74
4.4. Espacios Lp (o Lp(E, )) (1 p )

Llamamos Lp a la clase de las funciones con norma p nita.
Lp = {f F : f
Es decir que:
p<
+}
f Lp si y slo si
E
| f |p d <
Observacion: Lp est en realidad formado por las clases de equivalencia respecto a la relacin , pero como convenimos en conciderar iguales a las funciones que estn en la misma clase podemos pensar Lp como una clase de funciones.
Lema 4.4.1 Si 1 p , entonces

f
p
= || f
Demostracin: Probaremos primero el lema para 1 p < :

1/p
=
E
| f |p d
1/p
=
E
||p |f |p d
1/p
= ||
E
|f |p d
= || f
Probemos ahora el lema cuando p = . Tenemos:
| f | = || |f | || f
en casi todo punto de E [], por lo tanto
|| f
Por lo que || f es una constante que mayora a | f | en casi todo punto y f es, por denicin, la mnima de tales constantes.
Lema 4.4.2
f +g
+ g
75

|f + g | |f | + |g | f
+ g
en casi todo punto de E respecto de . Notemos que C = f + g es entonces una constante tal que |f + g | | C en casi todo punto de E con respecot a , y por denicin,
f +g
es la mnima de tales constantes, en consecunecia: f + g
C Es decir:
f +g
+ g
Teorema 4.4.3 Si f, g Lp (1 p ) y C entonces f + g Lp y f Demostracin:

| f + g |p (| f | + | g |p ) (2 m ax(| f |, | g |)) 2p (m ax(| f |p , | g |p )
Por lo tanto,
p p
Lp . En otras palabras, Lp es un espacio vectorial sobre los nmeros complejos.
| f + g |p 2p (| f |p + | g |p )
Integrando miembro a miembro resulta:
| f + g |p d 2p
E E
| f |p d +
E
| g |p d
Luego si las integrales del segundo miembro son nitas, tambin 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 f p es nita (1 p ) entonces f p tambin lo es, o sea si f Lp entonces f Lp
Ejemplos:
1. El caso ms frecuente es el siguiente: Consideramos E Rn un conjunto medible en el sentido de Lebesgue, y tomamos como la medida de Lebesgue (restringida a los subconjuntos medibles de E , que formarn la -lgebra 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
(A) =
A
w(x) dx
76
siendo w (x) una funcin medible no negativa (una funcin de peso) y A E medible. Se obtiene un espacio Lp pesado cuya norma es
1/p
Lp (E,w(x)dx)
=
E
|f (x)|p w(x) dx
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 sucesines (an )nN C con la norma
1/p p
(an )
=
n=1
|an |
4.5. Exponente Conjugado de p. Desigualdad de Hlder

Denicin 4.5.1 Para 1 p denimos el exponente conjugado de p notado p , de la siguiente manera:
Si 1 < p < entonces p = Si p = 1 entonces p = Si p = entonces p = 1
p p1
Observacion:
1 1 + =1 p p
Esta es una forma ms simtrica de expresar la relacin entre py p'.
Lema 4.5.2 (Desigualdad de Young) Si 1 < p < , a 0 y b 0 entonces:

ab bp ap + p p
donde p es el exponente conjugado de p.
Demostracin: Para a, b 0, denamos

Q(a, b) = ap bp + ab p p
queremos ver que Q(a, b) 0. Notamos que Q tiene la siguiente propiedad de homogeneidad: si ponemos
a = 1/p a,
b = 1/p b
77
con > 0, tenemos que
Q( a, b) = Q(a, b)
Notamos entonces que siempre podemos elegir de modo que b = 1 a menos que b = 0 (tomando = bp ), y que, en tal caso, Q(a, b) 0 si y slo si Q( a, b) 0 . En consecuencia, bastar probar la desigualdad en los siguientes casos espaciales: cuando b = 1 y cuando b = 0. Si b = 1,
Q(a, 1) =
1 ap + a = F (a) p p
que es una funcin de una variable. Calculando su derivada:
F (a) = ap1 1
vemos que slo se anula en a = 1, y que es negativa en 0 < a < 1 y positiva si a > 1. En consecuencia F (a) alcanza su mnimo en a = 1, y
Q(a, 1) = F (a) F (1) =

Si b = 0, tenemos
1 1 + 1=0 p p
Q(a, 0) =
ap 0 p
por lo que la desigualdad queda demostrada. Podemos demostrar ahora la desigualdad de Hlder, que es una de las ms importantes del anlisis:
Teorema 4.5.3 (Desigualdad de Hlder) Si

nente conjugado:
1/p
1 p y p es su expo1/p
|f g | d
E E
|f |p d
E
|f |p d
Es decir:
|f g | d f
E p
Demostracin: Si p = 1 p
= . Por denicin de g
se tiene:
| f g || f |
en casi todo punto de E respecto de . Por lo tanto:
| f g | d
E E
|f |
d = g
| f | d = f
Esto prueba el teorema en este caso. Anlogamente si p = (p = 1)
78
Podemos suponer pues suponer que 1 < p < . Si f p = 0 o g p = 0 entonces f o g son nulas en casi todo punto de E respecto de , y por lo tanto |f.g| d = 0 ,y la desigualdad se cumple trivialmente. E Podemos pues suponer que f p > 0 y g p > 0. Cuando f p = o g p = es de nuevo trivial. Supongamos pues 0 < f p < y que 0 g p < En el lema 2 pongamos:
a= b=
Tendremos:
f ( x) f p g (x) g p
|f (x)||g (x)| |f (x)|p |g (x)|p p + f p g p p f p p g p p
Integrando resulta:
E
|f (x)g (x)| d f p g p
|f (x)|p d + p f p p
|g (x)|p d p g
p p
1 1 + =1 p p f
p
De donde resulta la desigualdad de Hlder, multiplicando por
4.6. Desigualdad de Minkowski

Teorema 4.6.1 (Desigualdad de Minkowski)
f +g
p
Demostracin: La desigualdad es inmediata en los siguientes casos:

f
p=
p=
y tambin cuando f + g p = 0. Si p = 1 es muy fcil: 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 < , f p < , g p < , es decir que f, g Lp . Entonces, por el teorema 4.4.3, tendremos que f + g Lp , y 0 < f + g p < .
| f + g |p d =
E E
| f + g | | f + g |p1 d
79
Luego:
| f + g |p d
E E
| f | | f + g |p1 d +
E
| g | | f + g |p1 d
Usando la desigualdad de Hlder obtenemos:

1/p 1/p
| f +g |p d f
E
| f + g |p d
| f + g |p d
O sea:
1/p
| f + g |p d ( f
E
p) E
| f + g |p d
Llamemos =
| f + g |p d. Entonces tenemos: ( f
p
p)
1/p
Por lo tanto, O sea: Esto es:
11/p ( f 1/p ( f f +g
p p
+ g +
p)
+
p
p)
Este teorema es importante porque nos permite hacer de Lp un espacio normado. Nos queda vericar dos propiedades de la norma, a saber: 1.
f
Esto fue probado (Lema 4.4.1) 2.
p =|
|.
p=
0 si y slo si f = 0
Si f p = 0, entonces f es nula en casi todo punto de E [] (Se usa que si la integral de una funcin no negativa es 0, dicha funcin es nula en casi todo punto). Segn el convenio adoptado para la igualdad, concideramos que f = 0. As pues, tenemos que Lp es un espacio normado.
80
4.7. Desigualdad integral de Minkowki

El siguiente teorema constituye una versin integral de la desigualdad de Minkowski (teorema 4.6.1). Su prueba es anloga.
Entonces
Teorema 4.7.1 Sean X Rn , Y

1:
p
Rm y f : X Y R una funcin medible.

1/p 1/p
|f (x, y )| dy
Y X
dx
X Y
|f (x, y )|p dx
dy
Demostracin: Consideramos la funcin denida por

I ( x) =
Y
|f (x, y )| dy
Por el teorema de Fubini-Tonelli, I (x) est bien denida para casi todo x, y es medible. Calculemos
I (x)
p p
=
X
I (x)p dx =
X
I (x)p1 I (x) dx =
X
I (x)p1
Y
|f (x, y )| dy
dx
Por el teorema de Fubini-Tonelli, podemos intercambiar el orden de las integrales y escribir esta expresin como
I (x)p1 |f (x, y )| dx
Y X
dy
Utilizando entonces la desigualdad de Hlder en la integral interior, tenemos que:

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

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

1/p
I (x)
1 Enunciamos
Y X
|f (x, y )|p dx
Rn
dy
y demostramos este resultado en
(con la medida de Lebesgue), pues este
es el contexto en el que expusimos (en clase, por ahora no est incluido en estas notas) el teorema de Fubini-Tonelli. Pero el mismo es vlido en espacios de medida abstractos (siempre que las medidas involucradas sean
-nitas
(pues el teorema de Fubini-Tonelli tambin es
vlido en este contexto ms general).
81
siempre que I (x) p sea nita y no se anule. Si I (x) p = 0 (lo que ocurre si y slo si I (x) = 0 en asi todo punto), la desigualdad es trivial. Si I (x) p = + se requiere utilizar algn argumento de aproximacin. Por ejemplo, I (x) p ser ciertamente nita si si f est soportada en un un conjunto de medida nita y es acotada. Entonces aproximamos f por una sucesin 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 prdida de generalidad suponer que f 0. La desigualdad es vlida para las fk por el argumento anterior, y el teorema de convergencia montona implica entonces que es vlida para f .
4.8. Completitud de Lp (Teorema de Riesz-Fischer)

Lema 4.8.1 (Desigualdad de Tchebyschev) Sean f
({x E : |f (x)| }) 1 f p Lp y > 0 entonces:
p p
Demostracin: Sea A = {x E : |f (x)| } entonces:

f
p p= E
| f |p d
A
| f |p d
A
p d = p (A)
Dividiendo por p se obtiene el lema.
completo, es decir un espacio de Banach.
Teorema 4.8.2 (Riesz-Fischer)
Lp (1 p ) es un espacio normado
Debemos mostrar que toda sucesin de Cauchy en Lp converge. Sea (fn ) una sucesin de Cauchy en Lp . Nuestra primera armacin 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 innito. Por el lema 4.8.1 aplicado a fn fm tenemos:
Demostracin: Caso 1 p
({x E :| fn (x) fm (x)| })
1 p
fn fm
p p
Como (fn ) es de Cauchy en Lp dado > 0 podemos elegir n0 tal que si n, m n0 , entonces fn fm p < 1/p . Luego si n n0 :
({x E : | | fn (x) fm (x)| })
1 p = p
Como es arbitrario, y tambin, hemos probado que (fn ) es de Cauchy en medida. Por lo tanto sabemos que tiene una subsucesin (fnk ) que converge en
82
casi todo punto de E (con respecto a ) a una funcin medible f nita en casi todo punto. Pongamos
f (x) = l m fnk (x)

n
Queremos ver f Lp y que fn f en Lp . Por el lema de Fatou,
E k+
l m inf | fnk fn |p d l m inf
k+
| fnk fn |p d
E
Ahora cuando k tiende a innito fnk tiende a f , luego | fnk fn |p tiende a | f fn |p (El lmite inferior es en realidad el lmite), y se obtiene:
| f fn |p d l m inf
E k E
| fnk fn |p d = l m
fnk fn
p p
Pero como (fn ) es de Cauchy en Lp y nk k tenemos dado > 0 existe n0 tal que fnk fn < 1/p si n, k n0 , en consecuncia:
k+
l m
fnk fn
p p
(Ya que si todos los nmeros de una sucesin se conservan a partir de un cierto momento menores o iguales que , el limite inferior es menor o igual que ). Luego resulta:
| f fn |p d si n n0
E
Lo que signica que f converge a f en Lp . Adems f Lp ya que para n n0 , f fn Lp y como fn Lp f Lp . Sea (fn ) una sucesin de Cauchy en L . Esto signica que cuando n, m . Para n, m N llamenos:
Caso p = :
fn fm
}
Zn,m = {x E :| fn (x) fm (x) |> fn fm
Entonces (Zn,m ) = 0 por dencin de la norma innito. Sea

Z=
n=1 m=1
Zn,m
Entonces (Z ) = 0. Si x Z , entonces x Zn,m para ningn n, m, entonces:
| fn (x) fm (x) | fn fm
Como fn fm 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 funcin f .
83
Para que f est denida en todo E pongamos f (x) = l m supn fn (x) Entonces f es medible. Dado > 0, podemos elegir n0 tal que si n n0 , fn fm < . Entonces si x E Z ,
| fn (x) fm (x) | fn fm
Haciendo que m resulta:
<
fn f si x E Z y n n0
Esto signica que es una cota superior escencial de fn f por lo que:
fn f
Esto en particular prueba que f fn L f L , y como es arbitrario resulta que fn f 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
f
p
(E )(qp)/pq
Demostracin:
| f |p d =
E E
| f | 1 d
Sea r = q/p, calculemos su exponente conjugado r y usamos la desigualdad de Hlder:
r =
y resulta:
q q/p = (q/p) 1 qp
p/q
(q p)/q
| f |p d
E E
| f |q ; d
1 d
Es decir que:
p/q
| f |p d
E E
| f |q d
(E )(qp)/q
Al elevar a la potencia 1/p, resulta la desigualdad del teorema.
Corolario 4.9.2 Si (E ) < y 1 p q < entonces Lq Lp y si fn f

en Lq entonces fn f en Lp .
84
Demostracin: Si
f fn
es nita entonces 0 , entonces f fn p 0. q
es nita. Si f n f en Lq ,
Nota: Cuando 0 < p < 1 podemos denir

Lp =
p
f F :
E
| f |p d < +
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 denir la distancia d(f, g ) entre dos funciones f y g de Lp por d(f, g ) =
E
| f g |p d
Lp resulta un espacio mtrico 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 estn en Lp ) 2. Las funciones continuas (que estn en Lp ) 3. Las funciones continuas de soporte compacto. donde Soporte(f ) = {f = 0}.
Demostracin: Sea f
p
Lp (Rn ). Supongamos adems f : Rn R y f 0. Por hiptesis f < . Sabemos que existe una sucesin de funciones simples no negativas k que tiende a f en forma creciente: 1 2 . . . k . . .
y
f (x) = l m k (x)
k
Tenemos:
p k f p k f
p k
f p k Lp
0 (f k )p f p por el teorema de la convergencia mayorada

k
l m
(f k )p = 0 l m f k
k
=0
Luego dado > 0, podemos elegir k tal que f k p < 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.
85
f=
= 1/2
f + |f |
1/2.( f
+ |f | p ) = f
luego f + Lp . Analogamente f Lp . Dado > 0 podemos elegir (por lo ya probado) funciones simples + y tales que f + + p < /2 y f p < /2
f (+ )
= (f + f ) (+ )
f + +
p+
Finalmente si f : Rn C escribimos f = Re(f ) + i Im(f ) y aplicamos un argumento anlogo. Esto prueba que las funciones simples (que estn en Lp ) son densas en Lp . Para probar que las funciones continuas son densas en Lp , basta probar que una funcin simple se puede aproximar en Lp por funciones continuas. Primero lo probaremos para funciones caractersticas de conjuntos nitamente medibles. Sea E Rn medible con |E | < +, vamos a probar que dado > 0 existe una funcin continua g tal que E g p < Como E es medible existen un conjunto abierto G y un cerrado F tales que:
F E G, |G F | p
Denimos entonces la funcin
g (x) =
d(x, F ) d(x, F ) + d(x, Gc )
(Gc es el complemento de G) Si d(x, F ) = 0 x F ( F es cerrado) Si d(x, Gc ) = 0 x Gc (Gc es cerrado) x G Como si x F x G se deduce que el denominador no se anula y como la distancia a una conjunto es una funcin continua g es continua Notemos que 0 g 1 y g (x) = 1 si x F , g (x) = 0 si x Gc ,
E g
p p
=
Rn
|E g |p =
GF
|E g |p
(pues el integrando vale 0 en Gc y en F . Como 0 g 1 , deducimos
0 | g |p 1 g
|G F | < p
Elevando ambos miembros a la potencia 1/p :
g |G F | <
Sea ahora
N
=
i=1
ci Ei
86
una funcin simple en Lp . Tenmos :

N
||p =
i=1
|ci |p .Ei
luego
N
||p =
Rn i=1
|ci |p .|Ei | + |Ei | < + para todo i. Ei g

p
Para cada i elijo una g continua tal que antes probado). Sea:
N
< (se puede por lo
g=
i=1
ci .gi
Entonces g es continua y
N N N
=
i=1
ci (Ei gi )
N
i=1
|ci | Ei gi
i=1
|ci |
Como es arbitrario , y i=1 |ci | es una constante que slo 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 funcin continua g Lp se puede aproximar en Lp por funciones continuas de soporte compacto. Denamos la funcin
k =
c d(x, B2 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 funcin 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.
|g g k |p 0 cuando k
Rn
o sea g k g en Lp
Observacin: Cuando p = , sigue siendo cierto que las funciones simples acotadas son densas en L (RN ), sin embargo las funciones continuas acotadas
87
no son densas en L (RN ) (de hecho, son un subespacio cerrado, pues el lmite uniforme de funciones continuas acotadas tambin lo es).
+, pero no lo es si p = .
Ejercicio: Probar que Lp (RN ) es un espacio mtrico separable si 1 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:
Denicin 4.11.1 Si f, g L2 (E, ) entonces denimos el producto escalar o producto interno de f por g mediante:
f, g =
E
f g d
donde g signica la funcin conjugada de g (Para cada x, g (x) = g (x), donde la barra indica el complejo conjugado)
Si en la desigualdad de Hlder tomamos p = 2 p = 2 y resulta:
1/2 1/2
|f g | d
E E
| f | d
E
|g (x)|d
luego si f, g estn en L2 entonces f g es integrable ( f, g est bien denido), y
| f, g | f
(Desigualdad de Cauchy-Schwarz).
Propiedades del producto interno

H1) H2) H3)
f + g, h = f, g + g, h
argumento))
f, h = f, g (Linealidad en el primer
f, g = g, f f, f 0 y f, f = 0 f = 0 (Recordamos f = 0 signica f (x) = 0 en casi todo punto)

Un espacio vectorial H sobre los nmeros complejos en el que est denido un producto interno (o escalar) que satisface las propiedades H 1)H 2) y H 3) se llama un espacio con producto interno (o escalar) o espacio preHilbertiano. En cualquier espacio con producto interno valen:
1.
f, 0 = 0, f = 0 para todo f
88
2.
f, .g = f, g
3.
| f, g |2 = f, g g, f
En cualquier espacio con producto interno H se dene:
f =
< f, f >
Se verca por 3) que f 0 para todo f Hy que f = 0 si y slo si f = 0.Esto hace de Hun espacio normado, y en particular un espacio mtrico ( deniendo la distancia por d(f, g ) = f g ) Si el espacio H es un espacio mtrico 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.
Proposicin 4.11.2 (Desigualdad de Cauchy-Schwarz) En cualquier espacio con producto interno se tiene:
| f, g | f g
( Para L2 es un caso particular de la desigualdad de Hlder)
Demostracin:
Si g = 0 entonces f, g = 0, y la desigualdad es trivial. Supongamos pues g = 0
0 f +g
= f + g, f + .g = f, f + g + g, f + .g =
= f, f + f, g + g, f + g, g
Pongamos;
=
de modo que:
f, g g 2 g, f g 2 f, g g, f g 2 g
2
=
Resulta:
0 f
y como f, g g, f =| f, g |2 , resulta multiplicando por
0 f
Por lo tanto
| f, g |2
2
| f, g |2 f
y tomando raz cuadrada obtenemos lo que queremos.
89
Proposicin 4.11.3 En cualquier espacio con producto interno valen:

i)
f =| | f g
ii)
f +g f +
iii)
f 0y
f =0f =0
Demostracin:
f
2
= f, f = f, f =| |2
Tomando raz cuadrada obtenemos i)
f +g
Notemos que
= f + g, f + g = f, f + f, g + g, f + g, g
f, g + g, f = f, g + f, g = 2 Re f, g
(donde Re signica: parte real)
f +g
= f
+2Re f, g +
Utilizamos ahora la desigualdad Re(z ) | z | para obtener:
f +g
+2 | f, g | +
Y por la desigualdad de Cauchy-Schwarz:
0 f
+2
=( f
g )2
Tomando raz cuadrada obtenemos ii) iii) es simplemente otra forma de escribir la condicin 3) de la denicin. Esta proposicin prueba que un espacio con producto interno es un espacio normado.
Proposicin 4.11.4 (Teorema de continuidad) Si f

entonces:
fn , gn g y n
i) fn + gn f + g ii) n fn f iii) fn , gn f, g iv)

fn f
(Esto es: en un espacio con producto interno la suma,el producto por escalares y el producto interno son continuos)
90
Demostracin: i):
(fn + gn ) (f + g )
Cuando n tenemos que luego: o sea:
fn f 0 y
gn g
fn f
gn g 0 por hiptesis,
(fn + gn ) (f + g ) 0 fn + gn f + g
ii):
n fn f = n (fn f ) + (n ) f n fn f = (n ) (fn f ) + (fn f ) + (n ).f
Por lo tanto,
n fn f | n |
Cuando n ,
fn f
+||
fn f
+ | n |
fn f 0 y | n | 0 por hiptesis, luego n fn f 0
Es decir: n fn f .
iii):
| fn , gn f, g |=| fn , gn g + fn f, g | | fn , gn f, g |=| fn f, gn g + f, gn g + fn f, g |
| fn , gn f, g || fn f, gn g | + | f, gn g | + | fn f, g |
Usando la desigualdad de Cauchy-Schwarz,
| fn , gn f, g | fn f
gn g
gn g
fn f
cuando n fn f 0 y gn g 0, luego | fn , gn f, g | 0 Esto signica que fn , gn f, g .
iv): Aaplicamos iii) con gn = fn

luego
entonces
fn
fn f
91
4.12. Teorema de la Perpendicular

Denicin 4.12.1 Sea H un espacio con producto interno. Diremos que dos vectores f, g H son ortogonales y escribiremos f g si f, g = 0. Sea
S H , denimos S por: S = {v H : v, s = 0 para todo s S }
Observacin 4.12.2 S es un subespacio vectorial cerrado de H . Demostracin: 0 S pues 0, s = 0 para todo s S .

Si f, g S entonces para cualquier s S tenemos
f + g, s = f, s + g, s = 0
luego f + g S Si f S y C, entonces para todo s S :
f, s = f, s = 0
luego f S Finalmente, si fn es una sucesin de vectores de S y fn f tenemos para s S , fn , s = 0 y por la proposicin 4.11.4 f, s = 0 luego f S .
Proposicin 4.12.3 (Identidad del paralelogramo) En un espacio con producto interno se tiene:
f +g
2
f g
= 2.
+2.
(4.3)
geomtricamente: La suma de los cuadrados de las diagonales de un palalelogramo es la suma de los cuadrados de sus lados.
Demostracin: Es inmediata:
f +g f +g
2 2 2
= f + g, f + g
2
= f, f + f, g + g, f + g, g = f + 2 Re f, g + g 2 Re f, g + g
2
f +g
(4.4)
Si cambiamos g por g , se obtiene que
f g
= f
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 = 2 la norma no proviene de un producto escalar ( Tomar por ejemplo f = funcin 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 est contenido en C , es decir si (1 )x + y C , para todo [0, 1].
92
Teorema 4.12.4 Sea C H un conjunto convexo cerrado, y h H . Entonces

existe un vector f0 C , que realiza la distancia de h a C , es decir tal que
f0 h| = d(h, C ) = nf { h f : f C }
Demostracin: Sea d = d(h, C ). En virtud de la denicin de nmo, existe una sucesin (fn ) de puntos de F tales que h fn d. (Una tal sucesin se llama una sucesin minimizante). Escribiremos
h fn | = d + n donde n 0
Vamos a probar que (fn ) es una sucesin de Cauchy: Por la identidad del f h f h paralelogramo (4.3) con f = n2 y g = m2 tenemos que:
fn + fm h 2
fn fm 2
fn +fm 2
=2
fn h 2
+2
fm h 2
Pero como C es convexo,
C , en consecuencia:
2
fn + fm h 2
Por lo tanto,
1 fn fm 4
1 fn h 2
1 fm h 2
d2 =
1 1 (d + n )2 + (d + m )2 d2 2 2
Cuando n, m , se deduce que fn fm 0, es decir que (fn ) es de Cauchy. Entonces, como H es completo, (fn ) converger a algn vector f0 H . Y como C es cerrado, y fn C para todo n, f0 C . Y por la continuidad de la norma, fn h = 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 sla perpendicular a F ) 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 funcin de la variable real t,
Demostracin:
P (t) = h (f0 + tg )
Desarrollndola de acuerdo a (4.4), vemos que P (t) es un polinomio cuadrtico: P (t) = h f0 2 + 2t Re h f0 , g + t2 g 2
93
Observamos que f0 + tg F , por ser F un subespacio. Luego, P (t) d = P (0). Es decir P (t) tiene en t = 0 un mnimo. Luego P (0) = 0, es decir: Re h f0 , g = 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: Re h f0 , ig = 0 g F o sea: En consecuencia: Re(i) h f0 , g = 0 g F Im h f0 , g = 0 g F
y teniendo en cuenta (4.5),
h f0 , g = 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 f, f = 0, luego f = 0. Es decir F F = {0}. Por lgebra lineal, sabemos que entonces H = F F
4.13. Funcionales Lineales Continuas en un espacio de Hilbert

Denicin 4.13.1 Una funcional lineal en el espacio de Hilbert H una funcin
: 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
h H jo. Entonces denamos f (h) = h, f para todo h H
La mnima constante C posible se llama la norma de y se nota
Ejemplo: Sea f
. Entonces f es una funcional lineal continua, ya que por la desigualdad de Cauchy-Schwarz tenemos que:
|f (h)| f h
Adems se tiene f
f . Pero eligiendo h = f = f
f f
, vemos que en realidad:
94
Teorema 4.13.2 (Teorema de representacion de Riesz) Si : H C es una funcional lineal continuaen un espacio de Hilbert H entonces existe un nico vector f H tal que para todo h H (h) = h, f . Es decir: = f , para algn f H. Demostracin: 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 = {0}, sea g N con g = 1. (Si j N y j = 0 tomamos g = j/ j ) 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) g (g ) h, g = 0 (h) g, g (g ).h, g = 0

O sea:
(h) g, g (g ) h, g = 0
Como g, g = g
2
= 1 se tiene (h) = (g ) h, g
Podemos escribirlo como
(h) = h, (g ) g
Llamemos f = (g ) g entonces f es el vector buscado. Veamos que f es nico. Si para todo h H fuera:
h, f1 = h, f2
sera:
h, f1 f2 = 0
En particular:
f1 f2 , f1 f2 =
f1 f2
=0
Por lo tanto, f1 f2 = 0 f1 = f2 . Esto termina la demostracin.
Captulo 5
Diferenciacion (en
RN )
5.1. El Lema Simple de Vitali

Si B = B (x0 , r ) = {x Rn : x 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 dimensin. Notaremos r (B ) al radio de la bola B .
Lema 5.1.1 (Lema Simple de Vitali) Sea C una coleccin de bolas cerrados
que cubre un conjunto E RN . Si sup{r(B ) : B C} < +, existe una sucesin disjunta (nita o no) de bolas de la coleccin C :
B1 , B2 , . . . , Bk , . . .
tal que:
m((Bk ) C (N )me (E )
k=1
donde C (N ) es una constante que depende slo de la dimensin, que puede tomarse como C (N ) = (3 + )N para cualquier > 0.
Sea s1 = sup{r (B ) : B C}, que es nito por hiptesis. Como con 0 < < 1, podemos elegir una bola B1 C tal que:
Demostracin: Fijemos 0 < < 1, y sea > 0 tal que
1 1
=1+
r(B1 ) > s1 (1 )
Puede ocurrir que B1 intersecte a cualquier bola de C entonces el proceso de seleccin se detiene all. Si no es este el caso consideramos:
s2 = sup{r(B ) : B C , B B1 = }
95
96
Podemos elegir una bola B2 C tal que:
r(B2 ) > s2 (1 ), B1 B2 =
Puede ocurrir que cualquier bola de la coleecin 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 nmero nito de pasos u obtenerse una sucesin Bk innita. Supongamos primero que se obtiene una sucesin innita. Est claro que, por construccin, las bolas Bk resultan disjuntas. Queremos probar que:
m(Bk ) C (N ) me (E )
k=1
Si la serie diverge no hay nada que probar. Supongamos pues que converge. Luego:
m(Bk ) 0 cuando k r(Bk ) 0 cuando k

Vamos a probar que toda bola de C corta a alguna bola de la sucesin 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 coleccin de bolas
{B : B C , B (B1 B2 . . . Bk1 ) = }
Deducimos que: r (Bk ) > sk (1 ) r (B )/2 Como r (B )(1 ) es un nmero positivo jo esto es absurdo, ya que r (Bk ) 0 cuando k . Esta contradiccin 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 seleccin se detiene tras un nmero nito de pasos. Sea B C cualquiera. Consideremos el mnimo ndice k tal que B Bk =
B (B1 B2 . . . Bk1 ) = sk r(B )
97
(Si fuera k = 1 igualmente sera s1 (B )) (r (B ) es un elemento de la coleccin de nmeros cuyo supremo es sk )) Por otra parte, por construccin, 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 = y r (B ) < 1 r (Bk ) = (1 + )r (Bk ) Sea Bk la bola cncntrico 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 ) Bk k=1
E
k=1
Bk
Por lo tanto:
m(Bk )= k=1 k=1
me (E )
(3 + )N m(Bk )
(3 + )N me (E )
k=1
m(Bk )
Esto es lo que queramos probar.
Observacin 5.1.2 El lema vale aunque r(B ) no est 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 )
5.2. Funcin Maximal de Hardy - Littlewood

Denicin 5.2.1 Sea
Littlewood por:
f L1 (Rn ). Denimos la funcin maximal de Hardy1 m ( B) x
M f (x) = sup
B
|f (y )|dy
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)
Observacin 5.2.2 En la denicin de

cerradas por bolas abiertas.
M f (x) se pude reemplazar las bolas
98
Demostracin:
Notemos M f (x) a una funcin denida como M f (x) pero usando bolas abiertas en vez de bolas cerradas. Sea B una bola cerrada que contiene a x la escribimos como B = k=1 Bk donde las Bk forman una sucesin decreciente de bolas abiertos. Tenemos: m(Bk ) m(B ) y B |f (y )|dy B |f (y )|dy (se justica usando
k
el teorma de Lebesgue para f Bk ). Luego: Ahora para cada k es:
1 m(Bk )
Bk
|f |dy
1 m(B )
|f |dy
1 m(Bk )
por lo tanto:
|f |dy M f (x)
Bk
1 m(B )
|f |dy M f (x)
B
y como vale para cualquier bola cerrada B ser:
M f (x) M f (x)
Analogamente podemos escribir una bola abierta como unin de una sucesin creciente de bolas ceradas y obtener: M f (x) M f (x) luego M f (x) = M f (x)
Observacin 5.2.3
M f (x) es continua inferiormente : el conjunto {x Rn : M f (x) > }
es abierto para todo R .
Demostracin: Supongamos M f (x) > ,entonces existe una bola abierta B

tal que:
1 m(B )
|f (y )|dy >
B n
Sea > 0 tal que B (x, ) = {x R : x x < } B ( que existe por ser la bola B abierto) 1 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
L1 (Rn ) y > 0
M f (x) es una funcin medible.
Proposicin 5.2.5 (Desigualdad Maximal de Hardy - Littlewood) Si f

m ({M f > }) C (N ) f
1
(5.1)
donde C (N ) es una constante que depende slo de la dimensin (de hecho se puede tomar C (N ) = 3N ).
99
Demostracin:
Siendo > 0 pongamos E = {x : M f (x) > }. Si x E 1 entonces existe una bola cerrada B tal que x B y m( B ) B |f (y )|dy >
1 Sea C la coleccin de las bolas B que cumplen m( B ) B |f (y )|dy > . Cada punto de E est en una bola B . por lo tanto C cubre el conjunto E . f Si B C , B |f (y )|dy > m(B ) m(B ) < 1 Luego, las bolas de C tienen radios acotados. Luego por el lema simple de Vitali existe una sucesin disjunta
B1 , B2 , . . . , Bk , . . .
de bolas de la coleccin C tales que:
m(Bk ) C (N )1 me (E )
k=1
Por lo tanto,

me (E ) C (N )
k=1
m(Bk ) C (N )
k=1
|f (y )|dy =
B
C (N )
|f (y )|dy
A
donde A =
Bk Em consecuencia: me (E ) C (N ) f
1
como queramos probar. Resumamos las propiedades del operador maximal: 1. Es sublineal
M (f + g ) M (f ) + M (g )
2. Es positivamente homogneo: Si c R es una constante, M (c f ) =
|c| M (f )
3.
Mf
Dem Sea C =
|f (y )| C en casi todo punto. |f (y )|dy

B
1 m(B )
luego M f (x) C
1 m(B )
Cdy = C
B
4. Se verica la desigualda maximal: Existe una constante C (N ) > 0 tal que si > 0 ,
m ({M f > })
C (N ) f
100
Corolario 5.2.6 Si f Demostracin:
L1 (RN ) , M f (x) es nita en casi todo punto
{M f (x) = +} =
k=1
{M f (x) > k }
luego
m({M f (x) = +}) m({M f (x) > k })

Cuando k resulta que:
C (N ) f k
m({M f (x) = +}) 0 m({M f (x) = +}) = 0

Luego M f (x) es nita en casi todo punto.
5.3. Teorema de diferenciacin de Lebesgue

Sean f L1 (RN ), x RN , B una bola cerrada que contiene a x
de f si:
Denicin 5.3.1 Diremos que x es un punto de diferenciacin de la integral

r (B )0
l m
1 |B |
f (y ) dy = f (x)
B
(lmite cuando r(B ) 0 )
Denicin 5.3.2 Diremos que x es un punto de Lebesgue de f si

r (B )0
l m
1 |B
|f (y ) f (x)| dy = 0
B
Observacin 5.3.3 Todo punto de Lebesgue es un punto de diferenciacin,

pues
1 m(B ) f (y )dy f (x)
B
1 m(B )
|f (y ) f (x)| dy
B
Teorema 5.3.4 (Teorema de diferenciacin de Lebesgue) Casi todo punto es un punto de lebesgue, o sea en casi todo punto x vale: (si f L1 )
r (B ))0
l m
1 |B |
|f (y ) f (x)|dy = 0
B
Para demostrar este teorema, introducimos un operador L denido por:
Lf (x) = l m sup
r (B )0
1 f (y ) f (x)| dy m(B )
101
Una denicin ms precisa: se elige un > 0 y se forma
L f (x) = sup
1 m ( B) r (B )<
|f (y ) f (x)| dy
B
donde el supremo se toma sobre todas las bolas cerradas B que contienen a x tales que r (B ) < , entonces
Lf (x) = l m 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. Demostracin: Si f

1 m(B )
es continua en x ser |f (y ) f (x)| < si |x y | < Si (B ) = 2r (B ) < y y B |x y | < (x B ) |f (y ) f (x)| < . Luego
|f (y ) f (x)| dy
B
1 m(B ) = m(B )
Como esto vale para cualquier bola B como vale para todo ser Lf (x) = 0
x tal que (B ) < ser Lf (x) , y
Lema 5.3.6 Existe una constante C
= C (N ) tal que: C f
1
m({Lf (x) > })
Demostracin:
1 m(B ) |f (y ) f (x)| dy
B
1 m(B )
|f (y )| dy +
B
1 m(B )
|f (x)| dy
B
En consecuencia,
1 m(B )
y por lo tanto,
|f (y ) f (x)| dy M f (x) + |f (x)|

B
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|
102
Concluimos que,
me ({Lf (x) > })
2C
1=
2C + 2
(Usamos la desigualdad maximal, C es la constante de Hardy-Littlewood 5n ). Ahora podemos probar el teorema 5.3.4: Demostracin: Sea f L1 . Como las funciones continuas son densas en L1 , existe una sucesin k de funciones continuas (e integrables) tales que f
0 L(f ) = L((f k ) + k ) L(f k ) + L(k ) = L(f k )
Tenemos que:
pues L(k ) = 0 (k es continua). Por lo tanto: En consecuencia,
me ({Lf > }) me ({L(f k ) > })

(por inclusin). Por lo tanto,
me ({Lf > })
1 C
f k
0 cuando k
Por lo tanoto para todo > 0, |{Lf > }| = 0 y como
{Lf = 0}
{Lf > 1/k }

k=1
concluimos que me ({Lf = 0}) = 0, es decir que Lf (x) = 0 en casi todo punto. Esto prueba el teorema.
5.4. Cubrimientos de Vitali: Lema de Vitali

Denicin 5.4.1 Diremos que una coleccin C de bolas cerradas cubre al conjunto E Rn en el sentido de Vitali si para todo x E y para todo > 0
existe una bola B C tal que x B y r(B ) <
Observacion: Una bola tiene radio no nulo, por lo tanto debe haber innitas 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 sucesin de bolas disjuntas B1 , B2 , . . . , Bk , . . . tales que
1.
me E
k=1
Bk
=0
(Las bolas Bk cubren E salvo un conjunto de medida nula)
103
2.
|Bk | < +
k=1
(La serie de las medidas de las Bk converge)
Observacion: Si me (E ) = + vale 1) pero no 2). Si me (E ) = 0 es trivial. Demostracin:

Sea C (N ) la constante del lema simple de Vitali y jemos 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 estn 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 sucesin B1 , B2 , B3 , . . . de bolas disjuntas de C tales que:
m(Bk ) C (N )me (E ) > me (E )

k=1
Existe entonces un N1 tal que

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

N1
me
E
k=1
Bk
< (1+)me (E )me (E ) = (1++ )me (E ) < (1/2)me (E )
(siempre que elijamos < /2) Concideramos el conjunto:

N1
E1 = E
k=1
Bk
y la coleccin
N1
C1 =
BC:B
k=1
Bk
Entonces C1 cubre a E1 en el sentido de Vitali
104
( Si x E1 d(x,
N1 k=1
Bk ) > 0 pues
N1 k=1
N1 k=1
Bk es un conjunto cerrado luego
existe un r > 0 tal que B (x, r )
Bk = , y como C es un cubrimiento
de Vitali, hay bolas de C contenidas en B (x, r ) de dimetro tan pequeo como se quiera) De C1 podemos pues, extraer una sucesin BN1 +1 , BN1 +2 , ..., BN2 (renombrndolos) tal que:
N2
me
Entonces,
E1
k=N1 +1
Bk
< (1 /2)me (E1 ) (1 /2)2 me (E )
N2
me
Ahora concideramos:
E
k=1
Bk
(1 /2)2 me (E )
N2
E2 = E
k=1
Bk
N2
C2 =
BC:B
k=1
Bk
Repitiendo el procedimiento, elegimos BN2 +1 , BN2 +2 , . . . , BN3 disjuntas entre s (y con las anteriores) tales que:
N3
me
entonces
E2
k=N2 +1
Bk
< (1 /2)me (E2 ) (1 /2)3 me (E )
N3
me
E
k=1
Bk
e
(1 /2)3 me (E )
Este proceso puede continuarse al innito, obteniendo una sucesin Bk tal que
me
pues
E
k=1
Bk
=0
Ni
me
E
k=1
Bk
me
E
k=1
Bk
(1/2)i me (E ) 0 cuando i
Por ltimo como

Bk G |
k=1 k=1
Bk | |G| < +
105
y como
m
k=1
Bk
=
k=1
m(Bk )
ya que las Bk son disjuntas, concluimos que
m(Bk ) |G| < +

k=1
Esto prueba el lema.
Corolario 5.4.3 Si 0 < me (E ) < + y la coleccin de bolas C cubre E en el sentido de Vitali, entonces podemos extraer de C una sucesin nita disjunta
B1 , B2 , . . . , Bn tal que:
n
me
E
k=1
Bk
> me (E )
Demostracin: Por el lema de Vitali, podemos extraer una sucesin B1 , B2 , . . . , Ek , . . .

tal que:
me
y
E
k=1
Bk
=0
m(Bk ) < +
k=1
Dado > 0, existe un nmero natural N tal que
m(Bk ) <
k=N +1
Denamos entonces:
A=
k=1
Bk ,
V =
k=N +1
Bk
k=1
entonces E A V Z , donde m(Z ) = 0 ( Z = E Entonces E (E A) V Z . Por lo tanto,
Bk )
me (E ) me (E A) + me (V ) + me (Z ) = me (E A) +
En consecuncia,
me (E A) me (E )
Esto prueba el corolario.
106
5.5. Derivada de funciones montonas:

Teorema 5.5.1 (Lebesgue-Vitali) Si f : [a, b] R es montona creciente entonces f (x) existe (y es nita) en casi todo punto de [a, b]. Adems f (x) es integrable en [a, b]y vale:
b
f (x) f (b) f (a)

a
Lebesgue prob este teorema con la hiptesis de que f sea continua. Vitali suprimi la hiptesis de que f (x) sea continua. Para demostrar el teorema introducimos las derivadas de Dini:
D+ f (x) = l m sup
h0+
f (x + h) f (x) h f (x + h) f (x) h
(Derivada superior por la derecha)
D+ f (x) = l m inf
h0
(Derivada inferior por la derecha)
D f (x) = l m sup
h0
f (x + h) f (x) h f (x + h) f (x) h
(Derivada superior por la izquierda)
D f (x) = l m inf
h0
(Derivada inferior por la izquierda)
Entonces f (x) existe (en un punto x) si y slo si
D+ f (x) = D+ f (x) = D f (x) = D f (x)

y adems el valor comn es nito. Para trabajar siempre con valores de h positivos observemos que:
D f (x) = l m sup
h0
f (x) f (x h) h f (x) f (x h) h D f (x) D+ f (x)

(5.2)
D f (x) = l m inf
h0
Vamos a probar que en casi todo punto:
D+ f (x) D f (x),
Entonces:
D+ f (x) D f (x) D f (x) D+ f (x) D+ f (x)
107
por lo que ha de valer la igualdad. Sean u, v nmeros racionales con u > v > 0, y concideremos 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 n de ver que |E | = 0 (dados u, v jos) razonamos as: Sea t = |E |e y sea > 0, entonces existe un abierto G tal que G E y |G| < t + . (Notemos que |E |e < pues E [a, b] ) Sea x E , entonces
D f (x) = l m inf
h0+
f (x) f (x h) <v h
Por lo tanto, hay valores de h > 0 tan pequeos como se quiera tales que:
f (x) f (x h) <v h
Como G es abierto, podemos adems 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 pequeos como quiera que cumplen que: 1. I G 2. f (I ) < v |I | La coleccin de los intervalos que cumplen estas dos condiciones cubre a E en el sentido de Vitali. Podemos entonces extraer una coleccin nita disjunta I1 , I2 , . . . , IN tal que: 1. Ik G para todo k 2. f (Ik ) < v |Ik | 3. Si
N
F =E
k=1
Ik
entonces
|F |e > t (t = |E |e )
108
Observemos que si ponemos:

N
F = E
k=1
o Ik
o (donde Ik signica 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 )
0 Si x F entonces x Ik para algn k . Como x E ser:
h0+
l m
f (x + h) f (x) >u h
Entonces, hay valores tan pequeos 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 coleccin de todos los intervalos cerrados J tales que J Ik para algn k y f (J ) > u |J |. Por lo anterior, cubren a F en el sentido de Vitali. Podemos entonces, extraer de ellos una sucesin nita disjunta J1 , J2 , . . . , JM tal que 1. Cada Ji Ik para algn k 2.
f (Jk ) > u.|Jk |

3. Si llamamos
M
H = F
i=1
Ji
entonces:
|H |e > |F |e
Deducimos que:
|H |e > t 2
luego:
M
t 2 < |H |e
i=1
|Ji |
109
en consecuencia,
M M
u (t 2) <
i=1
u | Ji | <
i=1
(Ji )
Como cada Ji est incluido en algn Ik resulta:

N
u (t 2) <
k=1 Ji Ik
f (Ji )
J i I k
Como f es montona creciente y los Ji son disjuntos: Luego:

N N N
f (Ji ) f (Ik )
u (t 2)
k=1
f (Ik ) <
k=1
v |Ik | = v
k=1
|Ik | v |G| < v (t + )
pues
N
Ik G
k=1
y como los intervalos Ik son disjuntos:

N N
Ik =
k=1 k=1
|Ik | |G|
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 anlogo o aplicar lo anterior a g (x) = f (x) (g es montona creciente). Hemos probado pues, que en casi todo punto:
D+ f (x) = D+ f (x) = D f (x) = D f (x)

Llamemos f (x) al valor comn (posiblemente innito)
f (x) = l m
Como
h0
f (x + h) f (x) h
f (x) = l m
se deduce que f (x) es medible.
f (x + 1/n) f (x) 1/n
110
Vamos a probar que f (x) es integrable en [a, b]: Como f montona, 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) dx l m inf
h0
f (x + h) f (x) dx h
Pero:

f (x + h) f (x) 1 dx = h h 1 h
+h
f (x + h)dx

f (x)dx
f (x)dx
+h +h
f (x)dx
+h
=
Cuando h 0,
1 h
f (x)dx

f (x)dx
1 h
y
+h
f (x)dx f ()
+h
1 h
f (x)dx f ( )
por ser y puntos de continuidad (teorema fundamental del clculo), luego

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

b
f (x) dx f (b ) f (a+ ) f (b) f (a)

a
Luego f (x) es integrable y en particular es nita en casi todo punto. Con esto queda probado el teorema.
111
5.6. Funcionnes de variacin acotada (de variacin nita)

Denicin 5.6.1 Sea f
concideramos la suma
n
: [a, b] R. Para cada particin de [a, b]
: a = x0 < x1 < x2 < . . . < xn = b
S (f, ) =
i=1
|f (xi ) f (xi1 )|
Denimos la variacin de f en [a, b] por

n b Va (f ) = sup i=1
|f (xi ) f (xi1 )|
donde el supremo se toma sobre todas las particiones de [a, b]. Claramente b b (f ) < + se llaman funciones de (f ). Las funciones f que verican Va 0 Va variacin acotada (Camile Jordan)
Propiedades
Proposicin 5.6.2 (Aditividad de la variacin respecto al intervalo) Si

b c a < c < b entonces Va (f ) = Va (f ) + Vcb (f )
Demostracin: Consideramos una particin arbitraria

: a = x0 < x1 < x2 < . . . < xn = b
de [a, b]. Consideremos la particin la particin que consiste en agregar a el punto c como punto de subdivisin. Supongamos que xi < c < xi+1 , entonces
: a = x0 < x1 << xi < c < xi+1 < . . . < x2 < . . . < xn = b

Entonces: S (f, ) S (f, ) ya que:
|f (xi+1 ) f (xi )| |f (xi+1 ) f (c)| + |f (c) f (xi )|

Podemos descomponer como 1 2 donde
1 : a = x0 < x1 < . . . < xi < c

que es una particin de [a, c] y
2 : c < xi+1 < . . . < x2 < . . . < xn = b

es una particin de [c, b]
112
Entonces, por la denicin de variacin temos que:
S (f, ) S (f, ) = S (f, 1 ) + S (f, 2 ) Vca (f ) + Vcb (f )
(5.3)
Entonces tomando supremo sobre todas las particiones de [a, b] tenemos que:
b c Va (f ) Va (f ) + Vcb (f )
Para probar la desigualdad opuestaconcideramos una particin
1 : a = x0 < x1 < x2 < . . . < xn = c de [a, c]

y otra particin
2 : c = xn < xn+1 < xn+2 < ... < xm = b de [c, b]

Entonces,
= 1 2 : a = x0 < x1 < x2 < . . . < xm = b

es una particin de [a, b] y tenenos:
b Va S (f, ) = S (f, 1 ) + S (f, 2 )
Tomando supremo sobre todas las particiones 1 de [a, c] tenemos

b c Va (f ) Va (f ) + S (f, 2 )
que vale para cualquier particin 2 de [c, b]. Luego, tomando supremo sobre todas las posibles 2 tenemos que:
b c Va (f ) Va (f ) + Vcb (f )
Por lo que vale la igualdad.
Teorema 5.6.3 (Descomposicin de Jordan) Una funcin Demostracin:
es de variacin acotada en [a, b] si y slo si se puede escribir como diferencia de funciones montonas crecientes.
2) Concideramos una funcin
f : [a, b] R
f de variacin acotada. Se deduce de lo anterior x (f ) es una funcin montona creciente. que si ponemos v (x) = Va Consideramos u(x) = v (x) f (x) (de modo que f = v u ). Vamos a probar que u(x) es montona creciente: si a x < y b
y u(y ) u(x) = v (y ) v (x) [f (y ) f (x)] Vx (f ) |f (y ) f (x)| 0
(x, y slos son una particin de [x, y ] y S (f, ) = |f (y ) f (x)|) luego |f (y ) y f (x)| Vx (f ) ) Entonces tenemos que si f es de variacin acotada, entonces podemos escribirla como f = v u con u, v montonas crecientes.
113
Para probar el recproco, notemos que si f es montona creciente entoces

b Va (f )f (b) f (a) b b b b b (f ) + Va (g ) y Va ( f ) = || Va (f ) se deduce que la Como Va (f + g ) Va suma de funciones de variacin acotada, y el producto por un nmero real de una funcin de variacin acotada son de variacin acotad (es decir que las funciones de variacin acotada forman un espacio vectorial real] Luego si f = u v con u,v montonas crecientes, entonces f es de variacin acotada.
Propiedades:
Las funciones f de variacin acotada en [a, b] tienen las siguientes propiedades (que se deducen de las correspondientes propiedades de las funciones montonas) 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 L1 ([a, b])
Observacin: Las funciones f

normado V A[a, b] deniendo:
de variacin acotada en [a, b] forman un espacio
b f = |f (a)| + Va (f ) b que es un espacio de Banach (En general Va (f ) = 0 slo implica que f es constante, el trmino |f (a)| hace que si f = 0 entoces f = 0)
5.7. Funciones absolutamente continuas

Sea f L1 (a, b) y consideremos una funcin integral indenida de f , es decir F : [a, b] R, dada por:
a
F (x) = C +
b
f (t)dt
siendo C una constante. Si consideramos en el intervalo [a, b] una famila nita cualquiera de subintervalos disjuntos Ii = (ai , bi ) (1 i n) entonces:
n n bi
|F (bi ) F (ai )|
i=1 i=1 ai
|f (t)|dt =
A
|f (t)|
donde
A=
i=1
Ii
pues los intervalor Ii eran disjuntos.
114
En consecuencia, por la absoluta continuidad de la integral:

n
|F (xi+1 ) F (xi )| <

i=1
siempre que
m(A) =
i=1
m(Ii ) =
i=1
(bi ai ) <
As pues, hemos demostrado que la integral indenida de una funcin f
L1 (a, b) es absolutamente continua en el sentido de la denicin siguiente:
Denicin 5.7.1 Diremos que una funcin f : [a, b] R es absolutamente continua en [a, b] si para cada > 0, existe un > 0 tal que para cualquier
familia nita de intervalos disjuntos Ii = (ai , bi ) [a, b] se tiene que si
n
(bi ai ) <
i=1
entonces
|f (bi ) f (ai )| <

i=1
Observacin 5.7.2 Toda funcin absolutamente continua en [a, b] es uniformenete continua en [a, b].
Para verlo, basta considerar el caso de una familia formada por un solo intervalo. Las funciones absolutamente continuas forman un espacio vectorial.
Proposicin 5.7.3 Si f : [a, b] R es absolutamente continua en [a, b], es de variacin acotada en [a, b]. Demostracin: En la denicin de funcin 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
(bi ai ) <
i=1
Entonces
|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 particin de [x, y ], tendremos teniendo en cuenta la dencin de variacin que:
115
y Vx (f ) 1
Ahora consideramos una particin a = x0 < x1 < . . . < xn = b de [a, b] con |xi+1 xi | < . Entonces, por la aditividad de la variacin respecto al intervalo:
n1 b Va (f ) = i=0 xi+1 Vx (f ) < + i
Deducimos que si f es absolutamente continua en [a, b], su derivada f 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

verica la regla de Barrow
b
f (b) f (a) =
a
f (t) dt
Para ello consideramos la funcin : [a, b] R dada por:

x
(x) = f (x)
a
f (t) dt
(5.4)
Esta funcin es absolutamente continua, por ser diferencia de dos funciones absolutamente continuas, y
(x) = f (t) f (t) = 0

en casi todo punto de [a, b]. El siguiente lema implica que es constante:
Lema 5.7.5 (Vitali) Si Demostracin: Sea
: [a, b] R es absolutamente continua, y (t) = 0 en casi todo punto de [a, b], entonces es constante en [a, b].
E = {x (a, b) : (x) existe y (x) = 0}

Entonces, m([ab ] E ) = 0, luego E es medible y m(E ) = b a. Sea > 0 y sea > 0 el nmero que corresponde a por la asoluta continuidad de . Consideremos un punto x E . Entonces:
(x + h) (x) 0 cuando |h| 0 h

luego si |h| es pequeo:
|(x + h) (x)| < |h|
116
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 sucesin nita Ik (1 k n) de intervalos cerrados disjuntos de esta familia de modo que:
n
m(Ik ) m (E (n k=1 Ik )) > m(E ) = b a

k=1
Entonces, podemos escribir

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

m
m(Ji ) <
i=1
(Se trata de la medida de un conjunto elemental) Vamos a probar que (a) = (b) (Del mismo modo se probara que (x) = (y ) para x, y [a, b] cualquiera, basta restringirse a un subintervalo). Tenemmos:
n m
|(b) (a)| =
k=1 n
(Ik ) +
i=1 m
(Jk )
k=1
|(Ik )| +
i=1 n
|(Jk )|
k=1
m(Ik ) +
pues los Ik estn 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 funcin denida por (5.4) es constante, en virtud del lema. Especializndola en x = b y despus en x = a, obtenemos el teorema.
117
5.8. Descomposicin de Lebesgue

Sea f : [a, b] R una funcin de variacin acotada. Sabemos que entonces f (x) existe para casi todo x [a, b] y f L1 [a, b]. Podemos entonces considerar la funcin g
x
g (x) =
a
f (t) dt
Entonces g es absolutamente continua en [a, b], y en virtud del teorema de diferenciacin de Lebesgue, g (x) = f (x) en casi todo x (a, b). Entonces, si llamamos h(x) = f (x) g (x), tenemos que h (x) = 0 en casi todo punto de (a, b). Una funcin tal que h (x) = 0 en casi todo punto se llama una funcin singular. Ejemplo: La funcin de Cantor-Lebesgue es un ejemplo de una funcin singular no constante. De modo que hemos podido expresar a cualquier funcin de variacin acotada en la forma f (x) = g (x) + h(x) donde g es absolutamente continua, y g es singular.
Teorema 5.8.1 (Descomposicin de Lebesgue) Si
f : [a, b] R es de una funcin de variacin 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 descomposicin es nica salvo constantes es otra desscomposicin de f como suma en el siguiente sentido:. si f = g +h entonces de una funcin absolutamente continua g y una funcin singular h gg = h h es una funcin que es a la vez absolutamente continua y singular, y por lo tanto debe ser constante.
Nota sobre la bibliografa: Seguimos esencialmente la exposicin en los libros
de Fava y Z [4], y Wheeden y Zygmund [12]. Para profundizar en la teora de difen renciacin para integrales en R puede consultarse el libro de Miguel de Guzmn [3]. Una prueba alternativa del teorema 5.5.1, puede encontrarse en los libros de RieszNagy [10] y Kolmogorov-Fomn [7]. La misma tnica puede usarse para probar en la desigualdad maximal (5.1).
Captulo 6
Las Medidas complejas y el Teorema de Radon-Nikodym
6.1. Medidas complejas
Denicin 6.1.1 Sea (X, M) un espacio medible (esto es X es un conjunto al que llamaremos espacio y M P (X ) una -lgebra, a cuyos elementos llamaremos conjuntos medibles). Una funcin : M C se denomina una medida compleja si
1. () = 0 2. es -aditiva: esto signica que si (An )nN M es una sucesin de subconjuntos medibles disjuntos entonces
An =
n=1
(An )
Notemos que esto implica que la serie
(An )
n=1
debe ser absolutamente convergente, pues la serie debe sumar lo mismo en cualquier orden que consideremos los conjuntos (An ). Si : M R, se dice que es una medida signada (o a veces, una carga). Notemos que no le estamos permitiendo a tomar valores innitos.
Ejemplo: Si (X, M, ) es un espacio de medida, y f

f (E ) =
E
L1 (X ), entonces
f (x) d(x) (E M)
es una medida compleja. 118
119
Denicin 6.1.2 Si : M C es una medida compleja, denimos la variacin de , notada por || : M [0, +], como la funcin dada por:
||(E ) = sup
n=1
|(En )|
donde el supremo se toma sobre todas las particiones
E=
n=1
En
(E M)
de E en una cantidad numerable de conjuntos medibles disjuntos.

La nocin de variacin de una medida es la anloga para medidas a la nocin de variacin de una funcin real en un intervalo (que introdujimos al hablar de funciones de variacin acotada).
Ejercicio: En la denicin de la variacin, resulta equivalente tomar particiones nitas o numerables.

Para demostrar esta observacin, basta observar que si (En )nN es una particin de E , entonces agrgando a dicha particin el conjunto F E , obtenemos una particin de F , en consecuencia:
Observacin: || es creciente, o sea si E F , se tiene que ||(E ) ||(F ).
|(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 Demostracin:
|| es una medida no negativa, y nita.
Es claro que ||() = 0. Hemos de probar pues que || es aditiva. Es decir, que si un conjunto E se escribe como una unin numerable de conjuntos medibles disjuntos:
E=
n=1
En
(En , E M)
se tiene que
||(E ) =
n=1
||(En )
120
Probaremos primero que
||(En ) ||(E )
n=1
(6.1)
Notamos que podemos suponer que ||(E ) < +; y entonces, como || es creciente, ||(En ) < + para todo n N. Tomemos pues, para cada n, una particin de En , en conjuntos En,m medibles disjuntos:
En =
mN
En,m
de modo que
|(En,m )| > ||(En )

m=1
2n
Reuniendo todas estas particiones, obtenemos una particin de E ,

E=
n=1 m=1
En,m
luego,
|(En,m )| ||(E )
n=1 m=1
En consecuencia,
||(En )
n=1
2n
||(E )
es decir que:
||(En ) ||(E )
n=1
y como es arbitrario, obtenemos (6.1). Ahora probaremos que:
||(E )
n=1
||(En )
(6.2)
Nuevamente, podemos suponer que ||(En ) < + para todo n. Consideremos una particin (Am ) cualquiera de E en conjuntos medibles disjuntos. Entonces
Am =
(Am En ) (unin disjunta)

n=1
121
y como es una medida compleja, tenemos que:
(Am ) =
n=1
(Am En )
y por lo tanto:
|(Am )| =
n=1
|(Am En )|
Sumando en m tenemos que:

|(Am )| =
m=1 m=1 n=1
|(Am En )|
=
n=1 m=1
|(Am En )|
(El intercambio en el orden de las sumas est justicado, pues los trminos son no negativos) Pero
En =
(En Am )
m=1
es una particin de En , y en consecuencia:
|(En Am )| ||(En )
m=1
Sustituyendo deducimos que:

|(Am )|
m=1 n=1
||(En )
Como esta desigualdad vale para cualquier particin (Am )mN de E , tomando supremo obtenemos (6.2). Nos queda demostrar que || es ninta, para lo cual bastar probar que ||(X ) < +. Supongamos incialmente que es una medida signada (esto es, toma valores reales). Razonando por el absurdo, estableceremos primero el hecho siguiente: Armacin auxiliar: Si ||(X ) = +, entonces existe una descomposicin 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, existir una particin (En ) de X tal que
S=
n=1
|(En )| > t
122
En esta suma, separamos los trminos de acuerdo al signo de (En ), deniendo entonces las sumas:
S+ =
(En )
n:(En )0
S =
n:(En )<0
(En )
1 2S
de modo que S = S + + S . Debe ser S + Denamos los conjuntos
o S
1 2S .
A=
n:(En )0
En En
n:(En )<0
B=
Entonces, por la denicin de la variacin,
S+ =
n:(En )0
|(En )| ||(A)
S =
n:(En )<0
|(En )| ||(B )
1 2 S,
Pero, entonces si suponemos que S +
tendremos
|(A)|
y
t 1 S= 2 2 t |(X )| 2
|(B )| = |(X ) (A)| |(A)| |(X )|
Como |(X )| es nito, eligiendo t sucientemente grande, conseguiremos que |(A)| > 1 y que |(B )| > 1. 1 1 Si no sucede que S + 2 S , necesariamente se tiene que S 2 S , e intercambiando los roles de los conjuntos A y B obtenemos la misma conclusin. Finalmente, observemos que como ||(X ) ||(A)+||(B ), debe ser ||(A) = + o |(B )| = +. En el primer caso, hemos conseguido demostrar nuestra armacin. En el segundo, es suciente intercambiar los nombres de A y B . Demostrada que fue nuestra armacin auxiliar, procedemos del siguiente modo: continuado el razonamiento por el absurdo, si ||(X ) = +, podemos conseguir por la dicha armacin una particin X = A1 B1 de X en dos conjuntos disjuntos A1 = A y B1 = B tales que
|(A1 )| > 1, |(B1 )| > 1, ||(A1 ) = +
123
Como ||(A1 ) = +, repitiendo este proceso, podemos conseguir una particin A1 = A2 B2 de A1 en dos conjuntos medibles disjuntos tales que:
|(A2 )| > 1, |(B2 )| > 1, ||(A2 ) = +

En general, podemos repetir innitas veces en forma inductiva. Dados An y Bn , podemos conseguir, en virtud de nuestra armacin auxiliar, una particin An = An+1 Bn+1 de modo que se verique que:
|(An+1 )| > 1, |(Bn+1 )| > 1, ||(An+1 ) = +

Pero notemos que los conjuntos (Bn )nN forman, por construccin, una sucesin disjunta. Entonces, la serie:
(Bn )
n=1
debe ser absolutamente convergente. Esto est en contradiccin con el hecho de |(Bn )| > 1, para todo n N. Esta contradiccin provino de suponer que ||(X ) = +. En consecuencia, debe ser ||(X ) < +. Finalmente, nos queda considerar el caso en que puede tomar valores complejos. Pero en este caso, podemos escribirla como = 1 + i2 , siendo 1 , 2 medidas signadas, y claramente:
||(X ) |1 |(X ) + |2 |(X ) < +
Observacin: La variacin de verica 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 (Descomposicin de Hahn) Si Demostracin: Es suciente tomar:

+ = = 1 (|| + ) 2 1 (|| ) 2
: M R es una medida signada, es posible escribirla en la forma = + , donde + , : M R son medidas positivas y nitas.
124
Ejemplo: La descomposicin de Hahn es la anloga para medidas, a la descomposicin de Jordan de una funcin de variacin acotada como diferencia de dos funciones crecientes. De hecho, si F es una funcin de variacin acotada, F es la medida de Lebesgue-Stieltjes asociada, y
F = F1 F2
es su descomposicin de Jordan, entonces
F = F1 F2
siendo F1 y F2 las medidas de Lebesgue-Stieltjes correspondientes a F1 y a F2 , es la descomposicin 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 denida por la variacin total de :
= ||(X )
6.2. Absoluta continuidad. Medidas Singulares

Denicin 6.2.1 Sean (X, M) un espacio medible, una medida no negativa
sobre M que puede valer + y : M C una medida compleja Diremos que es absolutamente continua con respecto a (y lo simbolizaremos ) para cualquier conjunto E : (E ) = 0 (E ) = 0
Ejemplo: Si f
L1 (), : M C dada por: (E ) =

E
f d
es una medida compleja absolutamente continua con respecto a .
Denicin 6.2.2 Diremos que esta concentrada en un conjunto A ( y lo simbolzaremos A) si

(E ) = (E A)
para cualquier conjunto medible E .
Lema 6.2.3
1. est concentrada en A si y slo si (E ) = 0 para todo E M tal que E A =
2. Si A y A B , entonces B .
125
3. Si A y B , entonces A B
Demostracin: Prueba de i): La implicacin ) es trivial. Para probar la implicacin ) 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
Denicin 6.2.4 Diremos que es singular con respecto a si est concentrada en un conjunto de medida nula, o sea si para todo E M, (E ) = (E A) donde (A) = 0. Escribimos .
Ejemplo: Consideramos en R la medida dada por

( A) = 1 0
si si
0A 0A
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. Anlogamente, 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
, 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 est concentrada en A1 A2 . Como A1 A1 A2 , entonces 1 A1 A2 y anlogamente 2 A1 A2 1 c1 1 (E ) + c2 2 (E ) = c1 1 (E (A1 A2 )) + c2 2 (E (A1 A2 ))
Como
Demostracin: Prueba de i): Para probar la primera armacin, supongamos
(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.
126
Denicin 6.2.6 La medida se dice -nita si el espacio X se puede descomponer como una unin numerable disjunta X = Xk donde (Xk ) < +
k=1
Xk de conjuntos medibles
Vamos a probar que (en un espacio de medida -nita) una medida se puede descomponer como suma de una medida absolutamente continua y una medida singular. Por iii) dicha descomposicin es nica (el espacio vectorial de las medidas es la suma directa del subespacio de las absolutamente continuas y el de las singulares). Esto se llama la descomposicin de Lebesgue
Lema 6.2.7 Sea
(X, M, ) un espacio de medida nita ((X ) < +), F un subconjunto cerrado del plano complejo C y g L1 () tal que si (E ) > 0 entonces: 1 (E ) g (x) d S
E
entonces g (x) F para casi todo x respecto de .
Demostracin:
C F es un conjunto abierto del plano complejo. En consecuencia, se puede escribir como una unin numerable de discos cerrados Dn (usando el hecho de que C es un espaciomtrico separable):

C F =
n=1
Dn g
(C S ) =
n=1
g 1 (Dn )
Si probamos que (g 1 (Dn )) = 0 resultar que g 1 (C F ) = 0 como queremos probar. Supongamos que para algn n fuera (E ) = 0 con E = g 1 (Dn ). Sea Dn = {z C :| z a | r}. Si probamos que s = (1 E ) E gd (que por hiptesis pertenece a S ) pertenece tambin a Dn esto es absurdo pues Dn F = .
|s a| =
1 (E )
g d a
E
1 (E )
(g a) d
E
1 (E )
|g a| d
E
Si x E entonces g (x) Dn | g (x) a | r , luego
|s a|
1 (E )
r d = r s Dn
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 -nita. Si es una compleja sobre M entonces existe un nico par de medidas (positivas) a y s tales que
127
1. a es absolutamente continua con respecto a , s es singular con respecto a , y = a + s (Descomposicin de Lebesgue) 2. Existe una nica funcin h L1 () tal que (E ) = E h d para todo E M (nica salvo por igualdad en casi todo punto con respecto a )
Demostracin: Efectuaremos la prueba en el caso especial en que tanto como

son medidas no negativas y nitas. Denamos una nueva medida poniendo
(E ) = (E ) + (E )(E M)
Si f 0 entonces:
f d =
E E
f d +
E
f d
(6.3)
(Lo probamos primero para funciones simples y usamos el teorema de la convergencia montona). Tenemos en particular
|f | d =
X X
|f | d +
X
|f | d
En consecuencia:
|f | d
X X
|f | d
por lo tanto L1 () L1 (), y
|f | d
X X
|f | d
luego L1 () L1 (). de modo que
L1 () = L1 () L1 ()
y (6.3) vale si f L1 (). Observacin: Como (X ) < + L2 () L1 (). Denamos una funcional lineal : L2 () C poniendo
(f ) =
X
f d
Si f L2 () f L1 () f L1 () es una funcional lineal y continua
| (f )|
X
|f | d
X
|f | d =
X
|f | 1 d (X )1/2
2,
(Por la desigualdad de Hlder con p = p = 1/2) donde

1/2
2, = X
|f |2 d
128
Como L2 () es un espacio de Hilbert (f ) = f, g donde g L2 () es ja para toda f L2 () por el teorema de representacin de Riesz. Esto signica que:
f d =
X X
f g d g L2 ()
(6.4)
Suponiendo que (E ) > 0, elegimos f = E Como (X ) < + f L2 ()
(E ) =
E
g d 0
1 (E ) = (E ) (E )
g d 1
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) S para casi todo x (respecto de ). Como cambiar una funcin en un conjunto de medida nula no cambia su integral podemos suponer g (x) [0, 1] para todo x. Como = + , (6.4) signica que:
f d =
X X
f g d +
X
f.g d
En consecuencia,
f (1 g ) d =
X X
f gd f L2 ()
(6.5)
Resulta pues natural, partir X en los conjuntos:
A = {x X : 0 g (x) < 1},
S = {x X : g (x) = 1}
pues en S el factor 1 g de la frmula precedente se anula. Consideramos entonces las medidas
a (E ) = (E A),
de modo que tenemos la descomposicin
s (E ) = (E S )
= 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
0=
X
S (1 g ) d =
X
S g d = (S ) pues en S g = 1 y 1 g = 0
Por otra parte si en (6.5), elegimos f = (1 + g + g 2 + . . . + g n ) E (que es una funcin acotada, y por lo tanto pertenece a L2 (), obtenemos:
1 g n+1 d =
E E
g (1 + g + g 2 + . . . + g n ) d
129
En S el integrando de la primera integral vale 0
1 g n+1 d =
E A E
g (1 + g + g 2 + . . . + g n ) d
Hagamos que que n , 1 g n+1 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 geomtrica convergente). Del teorema de convergencia montona resulta entonces que:
1 d =
E A E
h d
Es decir:
a (E ) =
E
h d
donde como A hd = (A) (X ) que es nita se deduce que h es integrable respecto de , y si (E ) = 0 a (E ) = 0 (Es decir que a es absoltamente continua.) luego:
(E ) =
E
h d + s (E )
Ejercicio: Extender el teorema al caso en que es una medida compleja cualquiera, y es -nita. Nota: Esta demostracin, basada en el teorema de representacin de Riesz, se debe a John Von Neuman1 y est expuesta por ejemplo en [11]. Existen otras demostraciones alternativas. [12] da una demostracin (en algn sentido ms constructiva) basada en la descomposicin de Hahn de una medida signada. Otra demostracin interesante (que tambin da una idea de como se obtiene la funcin h) puede encontrarse en el artculo [13].
6.4. La descomposicin polar de una medida compleja

Teorema 6.4.1 Sea (X.M) un espacio medible. Si : M C es una medida compleja, entonces existe una nica h L1 (||) tal que:
i)
(E ) =
E
h d|| E M
1 J.
Von Neuman, On rings of operators. Ill, Annals of Mathematics, vol. 41 (1940) pp.
94-161, lemma 3.2.3 (pag. 127).
130
ii)
|h(x)| = 1 para casi todo x X con respecto a ||
Demostracin: Como |(E )| ||(E ), es absolutamente continua con res(E ) =

E
pecto a ||. En consecuencia, por el teorema de Radon-Nikodym existe una nica h L1 (||) tal que
h d
Si E M, ||(E ) > 0 tenemos que:
1 ||(E )
hd| =
E
(E ) 1 ||(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,
h d||
E E
|h| d||
E
r d|| r||(E )
Consideremos ahora una particin
A=
k=1
Ak (Ak M disjuntos)
n
entonces
|(Ai )|
k=1 k=1
r||(Ai ) = r||(A)
pues || es una medida. Tomando supremo, obtenemos por la dencin de |lambda| que
|(A)| r|(A)|
y como 0 < r < 1, esto implica que: |(A) = 0. Finalmente notamos que:
{x X : |h(x)| < 1} =
n N
x X : h(x) 1
1 n
en consecuencia ||({x X : |h(x)| < 1}) = 0. Deducimos que |h(x)| = 1 en casi todo punto.
Obseracin: La descomposicin polar de una medida compleja se puede utilizar para denir la integral
f d
X
si f L1 (||) mediante la frmula:
f d =
X X
f hd||
(donde la h es la del teorema anterior).
Captulo 7
Convolucin y Aproximaciones de la Identidad
7.1. Denicion y propiedades elementales
Denicin 7.1.1 Sean f, g : RN
Rn R se dene por: R funciones medibles. Su convolucin f g :
(f g )(x) =
RN
f (x t)g (t) dt
Observacin 7.1.2
f g = g f , o sea: f (x t)g (t) dt =

RN RN
f (t)g (x t) dt
Prueba: Hacemos el cambio de variable u = x t t = x u (Notamos que el valor absoluto del mdulo del jacobiano del cambio de coordenadas es 1) Lema 7.1.3 Si es medible en
R R
N N
=R
2N
RN , entonces F (x, t) = f (x t) es medible en

es medible, se sigue que F1 (x, t)
Demostracin: Sea F1 (x, t) = f (x). Como f

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 transformacin x = , y = + . Es una transformacin lineal no singular, entonces es Lipschitz y por lo tanto aplica conjuntos medibles en conjuntos medibles. 131
132
Se sigue que la funcin F2 (, ) = F1 ( , + ) es as mismo medible. Como F2 (, ) = f ( ) esto prueba el lema.
Teorema 7.1.4 Si
N
f, g L1 (RN ), entonces (f g )(x) existe para casi todo x R . Adems f g L1 y f g 1 f 1 g 1 .
Demostracin: Supongamos primero que f yg son no negativas entonces f (x

t)g (t) es medible en R2N ya que por el lema anterior es el producto de dos
funciones medibles, entoonces la integral
I=
R2N
f (x t)g (t) dx dt
est bien denida, y aplicando el teorema de Fubini-Tonelli, encontramos que:
I=
RN RN
f (x t)g (t)dt dx =
RN RN
f (x t)g (t)dt dx
=
RN
(f g )(x) dx
y por otro lado:
I=
RN RN
f (x t)g (t dx dt =
RN
g (t)
RN
f (x t) dx dt =
Gracias a la invariancia por traslaciones de la integral, podemos cambiar x t por x:
=
RN
g (t)
RN
f (x)dx dt =
RN
g (t) dt
RN
f (x) dx
Por lo tanto obtenemos que si f y g son medibles y no negativas
(f g )dx =
RN RN
f (t) dt
RN
g (t)dt
Esto prueba el teorema si f, g 0
Observacin: En probabilidades por ejemplo esto dice que si f yg son densidades de probabilidad f g tambin. (Da la densidad de la suma de dos variables aleatorias independientes)
Para el caso general basta observar que:
| (f g )(x) |
RN
|f (x t)| |g (t)| dt = |f | |g |
Por lo tanto
|f g | dx
RN RN
(|f | |g |) dx =
RN
|f | dx
RN
|g | dx
= f
Esto prueba el teorema. el cual L1 es un lgebra de Banach.
Observacin: El teorema anterior signica que es un producto en L1 con
133
7.2. Desigualdad de Young

Teorema 7.2.1 Sea 1 p , f
L (R ) y
p N
Lp (RN ) y g L1 (RN ), entonces f g f

p
f g
Demostracin: 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
(f g )(x) =
RN
f (t)g (x t)dt f
RN
g (x t)dt = f
Por lo tanto:
f g
Supongamos pues que 1 < p < . Aplicando entonces la desigualdad integral de Minkowski (Teorema 4.7.1), obtenemos que
p 1/p 1/p
f g
=
Rn Rn
f (x t)g (t) dt
1/p
dx
dx
Rn Rn
|f (x t)|p |g (t)|p dx
1/p
dt
=
Rn
|g (t)|
Rn
|f (x t)|p dx =
Rn
dt =
Rn
|g (t)|
Rn p
|f (x)|p dx g
1
dt
|g (t)| f
p dt
= f
p Rn
|g (t)|dt f
Una prueba alternativa: Tambin es posible probar este teorema sin acudir a la desigualdad integral de Minkowski. Sea q el exponente conjugado de p, 1 +1 de modo que p q = 1, entonces:
(f g )(x) =
RN
f (t)g (x t) dt =
RN
f (t)g (x t)1/p g (x t)1/q dt
Por la desigualdad de Hlder tenemos que:

1/p 1/q
(f g )(x)
RN
f (t)p g (x t) dt
RN
g (x t) dt
= (f p g )1/p
1/q 1
Elevando ambos miembros a la potencia p e integrando el resultado:
[(f g )(x)]p dx
RN RN
(f p g )dx
p/q 1
Pero
(f p g ) dx =
RN RN
f p dx
RN
g dx
134
Por lo tanto:
f g
p p
=
RN
(f g )(x)dx f
p p
p/q 1
= f
p p
p 1
Tomando raz p-sima resulta:
f g
como queramos probar.
Observacin 7.2.2 Una convolucin f
f K con K jo dene una transformacin T (f ) = f K se llama un operador de convolucin con ncleo K . El teorema anterior muestra que si K es integrable este operador aplica Lp en Lp
Vale un teorema ms general:
Teorema 7.2.3 (Young) Si
p, q satisfacen 1 p, q y 1/p + 1/q 1 y r se dene 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: f g
r
7.3. El soporte y la convolucion

Denicin 7.3.1 El soporte de f
(siempre es cerrado)
: RN R se dene por:
Sop(f ) = {x RN : f (x) = 0}
Corolario 7.3.2 Si x Sop(f ), existe un entorno de x donde f se anula. Observacin 7.3.3 Con esta denicin no vale que si f = g en casi todo punto Sop(f ) = Sop(g ) (Brzis [2] lo dene entonces por la condicin de que x Sop(f ) existe un abierto U tal que x U y f = 0 en casi todo punto de
U
Proposicin 7.3.4 Si f y g tienen soporte compacto, entonces f g tiene soporte compacto. Adems: Sop(f g ) Sop(f ) + Sop(g )
Demostracin:
(f g )(x) =
RN
f (t)g (x t)dt =
Sop(f )
f (x)g (x t)dt
135
pues si t Sop(f) f (t) = 0 Anlogamente si x t Sop(g ) t x Sop(g ),luego g (x t) = 0 si t x sop(g ). Se deduce que:
(f g )(x) =
Sop(f )(xSop(g)))
f (x)g (x t) dt
Si (f g )(x) = 0 Sop(f ) (x Sop(g )) = 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 ) = 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 )
R , entonces f K es acotada y uniformemente continua.

N
Teorema 7.3.5 Si f
L1 (RN ) y K es acotada y uniformemente continua en = 0f K = 0
Demostracin: Veamos que f K es uniformemente continua. Si f
y no hay nada que probar. Supongamos pues f = 0 Dado > 0, por ser K uniformente continua encontramos un > 0 tal que si |x y | < |f (x) f (y )| < f entonces:
1
|f K (x) f K (y )| =
RN
f (t)K (x t) dt
RN
f (t)K (y t) dt | f (t) | dt =
RN
|f (t)| |K (x t) K (y t)| dt
RN
ya que |(x t) (y t)| = |x y | < . Esto muestra que f K es uniformemente continua. Ya sabemos que
f K
por lo que f K resulta acotada.
7.4. Convolucion con funciones suaves

Denicin 7.4.1 Para m NN denotamos C m la clase de funciones f (x) con
y son continua. El subconjunto de funciones de clase C m con soporte compacto se denota
m C0
x RN tales que todas las derivadas parciales hasta el orden m incluido existen
Similarmente C es el conjunto de funciones indenidamente diferenciables y C0 el sub-conjunto de las de soporte compacto.
136
Si = (1 , 2 , . . . , N es un derar la derivada parcial:
multi-ndice con los i N0

|| f N 2 1 x 1 x2 . . . xN
podemos consi-
(D f )(x) =
siendo || = 1 + 2 + . . . + N .
Teorema 7.4.2 Si 1 p , f
y se tiene que :
m m Lp (RN ) y K C0 , entonces f K C0
D (f K )(x) = (f D K )(x)
siempre que || = 1 + 2 + . . . + n m.
Demostracin: Primero probamos que si K es continua con soporte compacto, entonces f K es continua:
|(f K )(x+h)(f K )(x)| =
RN
f (t)K (x + h t) dt
RN
f (t)K (x t) dt =
=
RN
f (t) [K (x + h t) K (x t)] dt
Llamamos u = x t t = x u
=
RN
f (x u) [K (u + h) K (u)] dt
1/p 1/q
RN
|f (x u)|p du
RN
|K (u + h) K (u)|q K (u + h) K (u)
q
= f
Armamos que esta ltima expresin tiede a cero cuando |h| 0. En efecto, como K es continua y tiene soporte compacto, entonces es uniformemente continua en RN , por lo tanto, dado > 0 existe un > 0 tal que para todo u RN , si |h| < entonces |K (u + h) K (u)| < . Podemos adems asumir que < 1. En consecuencia si ]h| < ,
|K (u + h) K (u)|q du =
RN I
|K (u + h) K (u)|q du
I
q du = q m(I )
en donde I = {x RN : d(x, Sop(K ) 1} (que es un compacto, y por lo tanto tiene medida nita). m Sea K C0 (m 1) jada i con 1 i m, y sea ei el i simo vector de la base cannica entonces:
(f K )(x + h ei ) (f K )(x) = h
f (t)
RN
(K (x t + h ei ) K (x t) h
dt
137
=
RN
f (t)
K (x t + h ) xi
dt
por el teorema del valor medio, para algn h = ei dependiendo de x y t, donde est entre 0 y h. K K (x t + h ) converge a x (x t) uniforPor lo tanto, cuando |h| 0, x
i i
K memente en t. Como x tiene soporte compacto, se deduce del teorema de la i convergencia uniforme que la ltima integral converge a
f (t)
RN
K (x t) dt xi f
K xi
Por lo tanto,
( f K ) xi (x)
existe y es igual a
(x) que es continua por
lo antes demostrado. Esto prueba el teorema si m = 1. La prueba para m cualquiera es inmediata por induccin (aplicando el caso m = 1). Se sigue que f K C si f Lp (1 p +) y K C0 Adems f K tiene soporte compacto por la proposicin 7.3.4.
7.5. Aproximaciones de la identidad

Denicin 7.5.1 Dada una funcin K : RN
K (x) = N K R y > 0 notamos x
Por ejemplo si K = funcin caracterstica de la bola B = {x RN : x < 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 funcin con un pico ms elevado y un soporte ms chico. Para cualquier K positiva ocurre lo mismo: en general K tiene las siguientes propiedades bsicas:
Lema 7.5.2 Si K L1 (RN ) y > 0 entonces

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

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

K (x) dx =
RN RN
N K
dx =
RN
K (y ) dy
(es un cambio lineal de coordenadas) Para probar ii) jemos un > 0 y hagamos el mismo cambio de variable:
|K (x)| dx =
|x|> |x|>
N K
dx =
=
|y |>/
|K (y )| dx
Pero / + cuando 0 como K L1 (RN ) la ltima integral tiende a cero a medida que 0. Notemos que si K 0 la primera propiedad signica que el area bajo los grcos de K y K es la misma , mientras que la segunda signica que que para pequeo el rea bajo el grco de K est concentrada en una regin sobre un pequeo entorno del origen. Para cualquier K L1 (RN ) podemos esperar que si en la frmula
(f K )(x) =
RN
f (x t)K (t)dt
hacemos que 0 van a pesar los valores de f (x t) para t pequeo. De hecho, vamos a probar que (f K )(x) f (x) en varios sentidos (por ejemplo puntualmente) cuando 0 con adecuadas hiptesis sobre f y K Una familia {K : > 0} de ncleos para la cual f K f en algn sentido se llama una aproximacin de la identidad.
f = f K donde K L1 (RN ) y RN K (x)dx = 1. Si f L (R ) con 1 p < entonces f f p 0 cuando 0, es decir que f converge a f en Lp
p N
Teorema 7.5.3 Sea
Demostracin: Por la parte i) del lema anterior tenemos:

f ( x) = f ( x)
RN
K (t) dt =
RN
f (x) K (t)dt
Por lo tanto
|f (x) f (x)|
RN
[f (x t) f (x)] K (t)dt
RN
|f (x t) f (x)| |K (t)| dt =
=
RN
|f (x t) f (x)| |K (t)|1/p |K (t)|1/q dt
139
1 donde q es tal que p +1 q = 1, (1/q = 0 si p = 1) Aplicando la desigualdad de Hlder con exponentes pyq , obtenemos que: 1/p 1/q
|f (x) f (x)|
RN
|f (x t) f (x)|p |K (t)| dt
RN 1/q
|K (t)| dt
=
RN
|K (t)|dt
Elevamos ambos miembros a la p e integramos:
|f (x) f (x)|p dx
RN RN p/q
RN RN
|f (x t) f (x)|p |K (t)| dt = K
p/q 1
|K (t)| dt dx
dx
|f (x t) f (x)|p |K (t)| dt
RN RN
Cambiando el orden de integracin en la ltima integral (lo que est justicado por el teorema Fubini-Tonelli, pues el integrando es no negativo) obtenemos:
f f
p p
K
p/q 1
p/q 1
|f (x t) f (x)|p |K (t)| dx
RN RN
dt
= K
Llamando (t) =
|K (t)|
RN RN
|f (x t) f (x)|p dx dt
p p
RN
|f (x t) f (x)|p dx = f (x t) f (x)
p p
tenemos
f f
Para > 0 escribimos
= K
p/q 1
|K (t)|(t) dt
RN
I =
RN
|K (t)| (t)dt = A, + B,
con
A, =
|t|<
|K (t)| (t) dt
B, =
|t|
|K (t)| (t) dt
Dado > 0, podemos elegir > 0 tan pequeo que (t) < si |t| < , ya que (t) 0 cuando |t| 0 pues f Lp .
A,
|t|<
|K (t)| dt
140
para todo > 0. Por otra parte, por la desigualdad de Minkowki es una funcin acotada, de hecho:
1/p
(t)1/p =
RN
|f (x t) f (x)|p dx
1/p 1/p
RN
|f (x t)|p dx
RN
|f (x)|p dx
=2 f
de modo que
2 f
p p)
= C. |K (t)| dt 0
|t|
B, =
|t|
|K (t)| (t) dt C
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 ).
Demostracin: Sea f
anteriores. Elijamos tal que g g
Lp , (1 p < ). Dado > 0, escribamos f = g + h donde g tiene soporte compacto y h p < Elijamos un ncleo K C0 tal que RN K (x) dx = 1 y sea g = g K , N entonces g C0 (R ) y g g p 0 cuando 0 por los resultados
p p
< entonces h
p
f g
+ g g
< 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 Demostracin:

|f (x) f (x)| =
RN
L (RN ), K L1 (RN ) y RN K (x)dx = 1, entonces f f en cada punto de continuidad de f cuando 0
f (x t)K (t) dt
RN
f (x)K (t) dt
RN
|f (x t) f (x)| |K (t) | | dt
Si f es continua en x, dado > 0, existe > 0 tal que si |t| < entonces |f (x t) f (x)| < . Y obtenemos:
|f (x) f (x)|
|t|
|f (x t) f (x)| |K (t)| dt
+
|t|<
|K (t)| dt
141
2 f
|t|
|K (t)| dt + K
Como |t| |K (t)| dt 0 cuando varepsilon 0 para un jo, se sigue que |f (x) f (x)| 0 cuando 0
Teorema 7.5.6 Sea f = f K donde f
L1 (RN ), K L1 (RN ) L (RN ), N K ( x ) dx = 1 y K ( x ) = o ( | x | ) entonces f f puntualmente cuando RN 0, en cada punto de continuidad de f .
7.6. Ejemplos (en N = 1)

1. Ncleo de Poisson:
K (x) = P (x) =
1 1 1 + x2
Entonces P L1 (R) L (R) , R P (x)dx = 1 , P es positivo y P (x) = o(|x|1 ) cuando |x| , de hecho P (x) = O(|x|2 ).
P (x) =
1 1 1 ; = 2 2 1 + (x/) + x2
P se llama ncleo de Poisson, y la convolucin f (x) = 1 f (t)

RN
dt 2 + (x t)2
integral de Poisson de f . Poniendo = y , f (x, y ) = fy (x) obtenemos una funcin denida en el semiplano superior
H = {(x, y ) R2 : x, y Ry > 0} f (x, y ) = 1 f (t)

R
y dt y 2 + (x t)2
Observacim: Como
y x2 +y 2
es armnica f resulta armnica en H .
Adems 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. Ncleo de Frejr: Para x R pongamos:
K ( x) =
sen x
142
Nuevamente K L1 (R) L (R), K es positivo y
K (x) dx = 1.
K (x) =
11
sen (x/)
x/
Poniendo = 1/ tenemos el ncleo de Frejr:
F (x, w) =
sen (x )
1 sen2 (x x2
Si f L1 (R) obtenemos que:
w0
l m
f (x t)
R
1 sen2 (x ) dx = f (x) x2
en cada punto de continuidad de f . 3. Ncleo de Gauss-Weirstrass: Tomamos la funcin

2 1 K ( x ) = e x / 2 2
(distribucin normal de probabilidad)
K (x) =
2 2 1 ex /(2 ) 2
(para la teora de probabilidades es la distribucin normal de media 0 y variancia 2 )). Poniendo = t se obtiene
W (x, t) =
1 x2 /(2t) e 2t
Se verica que W satisface la ecuacin del calor
2
Dada f L1 (R) se tiene que
y 0
W 2W = t x2
l m
1 2t
f (x y )ey
R
/(2t)
dy = f (x)
en cada punto de continuidad de f . Por consiguiente
u(x, t) =
resuelve el problema:
1 2t
f (x y )ey
R
/(2t)
dy
2 W t u(x, 0)
W = x2 para t > 0 = f (x)
cuando f es continua e integrable.
143
Si fortalecemos las hiptesis sobre K podemos obtener convergencia en casi todo punto. Por ejemplo tenemos el siguiente resultado: (cuyas hiptesis se satisfacen en todos los ejemplos anteriores)
Teorema 7.6.1 Supongamos que

n
f L1 (RN ), K es acotado K (x) = O(| x | ) cuando |x| , para algn > 0 y que RN K (x) dx = 1, entonces f = f K f en cada punto de Lebesgue de f (y en particular en casi
todo punto)
Apndice A
Notaciones
RN E F M Mf m(A), |A| me (A), |A|e D(E ) A f d
Espacio eucldeo N -dimensional La clase de los conjuntos elementales La clase de los conjuntos que tienen medida exterior nita La clase de los conjuntos medibles Lebesgue La clase de los conjuntos nitamentes medibles Medida de Lebesgue de A Medida exterior de Lebesgue de A conjunto de diferencias de E (denicin 1.14.1) funcin caracterstica del conjunto A integral de la funcin f sobre el espacio con respecto a la medida
144
Bibliografa
[1] Patrick Billingsley. Probability and Measure. John Willey & Sons. (1979) [2] H. Brzis. Anlisis Funcional: Teora y Aplicaciones. Alianza Editorial, (1984). [3] Miguel de Guzmn, Dierentiation of integrals in Rn . Springer Lecture Notes in Mathematics, no. 481.(1975) [4] Norbeto Fava, Felipe Z. Medida e integral de Lebesgue. Buenos Aires : Red Olmpica, 1996. [5] Pedro J. Fernndez. Medida e Integra a. 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 anlisis funcional. Editorial MIR, Mosc, (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 Csar A. Trejo. Anlisis Matemtico, (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, Dimedes . The Fundamental Theorem of Calculus for Lebesgue Integral. Divulgaciones Matemticas Vol. 8 No. 1 (2000), pag. 75-85.
145

Notas de Real

Загружено:

Сведения о документе

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Notas de Real

Загружено:

Авторское право:

Доступные форматы

Notas de Anlisis Real (en construccin- versin 0.3.4.

c 2007-2009 Pablo L. De Npoli 5 de marzo de 2010

2. Funciones Medibles e Integral en espacios abstractos

Notas de Anlisis Real - c 2007-2009 Pablo L. De Npoli

95 97 100 102 106 111 113 117

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

118 124 126 129

7. Convolucin y Aproximaciones de la Identidad

En este captulo, desarrollaremos la teora de la medida de Lebesgue en el espacio eucldeo N -dimensional1

1.1. Intervalos en la recta:

mayscula para la dimensin del espacio.

Notas de Anlisis Real - c 2007-2009 Pablo L. De Npoli

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

Propiedades de los intervalos de la recta

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

m(I ) = m(I1 ) + m(I2 ) + . . . + m(Ik )

Observacin: La representacin de un intervalo como producto cartesiano de

Propiedad 1.2.2 La interseccin de dos intervalos de

Notas de Anlisis Real - c 2007-2009 Pablo L. De Npoli

cartesiano de N intervalos lineales:

Demostracin: Sean I, J intervalos de RN

entonces se escriben como producto

I J = (I1 J1 ) (I2 J2 ) . . . (IN JN )

1.3. Conjuntos Elementales

donde los Ii son intervalos disjuntos de RN .

donde los Ik son intervalos disjuntos de RN

donde los Ji son intervalos disjuntos de RN . Entonces:

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

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

Notas de Anlisis Real - c 2007-2009 Pablo L. De Npoli

A es un conjunto elemental de RN y B es un conjunto entonces A B es un conjunto elemental de RN +M .

donde los Ik son intervalos disjuntos de RN

donde los Ji son intervalos disjuntos de RM . Entonces:

Adems la unin 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

Notas de Anlisis Real - c 2007-2009 Pablo L. De Npoli

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

donde los Ii son intervalos disjuntos de RN , y

donde los Jj son intervalos disjuntos de RN . Entonces:

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

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

1.3.7 A B es elemental. En consecuencia, A B es elemental (por la propiedad 1.3.4).

Demostracin: A B = A (B A) siendo la unin disjunta. Por la propiedad

Observacin 1.3.10 Un conjunto elemental es acotado (es unin nita de con-

Notas de Anlisis Real - c 2007-2009 Pablo L. De Npoli

1.4. Medida de intervalos en RN

Observamos que m() = 0.

Teorema 1.4.2 (Aditividad de la medida de intervalos) Si un intervalo

Ii (Ii disjuntos) m(I ) =

Demostracin: Hacemos induccin en n (el nmero de partes en que se parte

Notas de Anlisis Real - c 2007-2009 Pablo L. De Npoli

o sea existen semiespacios complementarios S y S tales que Ik S y Jk S . Si H RN es un intervalo, notaremos

donde la union es disjunta, y como I1 S , deducimos que I1 = I1 e I2 = pues I2 S . Anlogamente,

donde la unin es disjunta, e I = I2 , I = . Tenemos pues:

= , luego m(I ) = m(I ) + m(I ), en

m(I ) = m(I1 )+ m(I3 )+ m(I4 )+ . . . + m(IN )+ m(I2 )+ m(I3 )+ m(I4 )+ . . . + m(In )

= m(I1 ) + m(I2 ) + (m(I3 ) + m(I3 )) + (m(I4 ) + m(I4 )) + . . . + (m(IN ) + m(In ))

Notas de Anlisis Real - c 2007-2009 Pablo L. De Npoli

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

1.5. Medida de Conjuntos Elementales

Hay que comprobar que la denicin es correcta: Supongamos que

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

Corolario 1.5.2 (aditividad) Si A1 , A2 , . . . , An son conjuntos elementales disjuntos y A =

Notas de Anlisis Real - c 2007-2009 Pablo L. De Npoli

Observacin 1.3.10 Un conjunto elemental es acotado (es unin nita de con-

Hay que comprobar que la denicin es correcta: Supongamos que

Cuando n tiende a innito resulta:

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

Denicin 1.9.3 Diremos que un conjunto

Denicin 1.9.7 Si E M (es medible) denimos su medida de Lebesgue