Documentos de Académico
Documentos de Profesional
Documentos de Cultura
3)
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
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
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
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
. . . .
. . . .
. . . .
118
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
131
131 133 134 135 137 141
A. Notaciones
144
Captulo 1
Teora de la medida en
RN
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).
siendo a, b nmeros reales con a b. En cualquier caso la medida de un intervalo I se dene por: m(I ) = b a
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.
I = I1 I2 . . . Ik
entonces
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.
RN es un intervalo de
2 Para
intervalo.
que esto sea cierto sin excepciones es necesario considerar al conjunto vaco como un
I = I1 I2 . . . IN J = J1 J2 . . . JN
entonces:
A=
i=1
Ii
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
B=
j =1
Jj
AB =
i=1 j =1
(Ii Jj )
Corolario 1.3.3 La interseccin de cualquier familia nita de conjuntos elementales es un conjunto elemental.
elemental de R
Propiedad 1.3.5 Si
M
Demostracin: Sean:
A=
Ii
i=1
B=
j =1
Jj
AB =
i=1 j =1
(Ii Jj )
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.
Demostracin: Sean
A=
Ii
i=1
B=
j =1
Jj
AB =
i=1
(Ii B )
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.
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 = .
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).
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
m(Ii )
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
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
I =I S =
i=1
(Ii S ) =
i=1
Ii
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
10
Denicin 1.5.1 Si
m(A) =
i=1
m(Ii )
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 )
Ak entonces: m(A) =
n k=1
m(Ak ).
11
Demostracin: Cada Ak
Ak =
i=1
Iki m(Ak ) =
i=1 nk
m(Iki )
Tenemos:
A=
k=1 i=1
luego
nk
m(A) =
k=1 i=1
m(Iki ) =
k=1
m(Ak )
(1.1)
12
Pero
A B = (A B ) (B A) (A B ) (union disjunta)
luego
(1.2)
intervalo cerrado F I tal que m(F ) > m(I ) , y un intervalo abierto G I tal que m(G) < m(J ) + .
Lema 1.5.7 Si
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
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
una sucesin innita de conjuntos elementales y sea A un conjunto elemental tal que
Ak
Entonces:
m(A)
m(Ak )
k=1
m(Ak ) <
k=1
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 ) +
m(A) m(F )
k=1
m(Ak ) +
o sea que:
m(A)
k=1
m(Ak ) +
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
A
k=1
Ak m(A)
k=1
m(Ak )
(1.3)
Ak A m
k=1 k=1
Ak
m(A)
m
k=1
Ak
=
k=1
m(Ak )
k=1
m(Ak ) m(A)
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
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
Ai ,
V =
j =1
Bj
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
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 )
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.
U
k=1
Uk
m(U )
k=1
m(Uk )
17
m(Uk ) < +
k=1
Sean
U=
k=1
Ak
Uk =
j =1
Bkj
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 )
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 )
(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 )
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:
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:
2k
19
Denimos:
U=
k=1
Uk
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:
(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
M = {E RN : E es medible Lebesgue }
= E . Entonces me (U E ) =
20
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
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
U E
(Uk Ek )
k=1
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.
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
(Es decir que Para un conjunto medible, su medida es por denicin, su medida exterior.)
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
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
i0
A=
i=1
Ii
V =
i=i0 +1
Ii
me (A E ) me (U E ) <
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
23
F = {E RN : me (E ) < +}
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:
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
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:
24
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.
E c = RN E (RN es medible)
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
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 )
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
E=
k=1
Ek m(E ) =
k=1
m(Ek )
E=
k=1
Ek m(E ) =
k=1
m(Ek )
m(E )
k=1
m(Ek )
Ek E m
k=1 k=1
Ek
m(E )
Por lo tanto,
m(Ek ) m(E )
k=1
m(Ek ) m(E )
k=1
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
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
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,
G=
k=1
Gk
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
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
(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
m(G)
i=1
m(Ji )
i=1
m(Ii ) +
= 2i
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
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 )
m(E ) =
n=1
m(En En1 )
m(En En1 ) = l m
n=1 k
k+
m(En En1 )
n=1
= l m
k+
E1 E2 E3 . . . En En+1 . . . E=
nN
En
31
tenemos que:
m(En0 E ) = l m m(En0 En )
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 = .
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 )
E RN es medible, en-
su medida exterior, la primer propiedad se deduce inmediatamente del teorema 1.11.7. La segunda parte la dejamos como ejercicio.
32
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 ) 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)).
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 =
),
33
Demostracin: En el conjunto E
x
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
34
Este absurdo provino de suponer que V era medible. En consecuencia V no puede ser medible.
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
mi (V ) = sup{m(F ) : F V, F
cerrado
},
Captulo 2
Funciones Medibles e Integral en espacios abstractos
Nota: En el curso vimos primero los conceptos de funcin medible e integral en
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
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
An A
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 .
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
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).
A
n=0
An (A)
n=1
(An )
bra A poniendo:
B k = Ak
i=1
Ai
A
k=1
Bk =
k=1
Ak
38
(Bk ) (Ak )
y se tiene que:
A=
k=1
(A Bk )
(A) =
k=1
(A Bk )
k=1
(Bk )
k=1
(Ak )
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
Ejemplo:
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
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:
> 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
es medible.
{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
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
(, 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).
Corolario 2.3.8 Si
( f )1 (B ) = f 1 (1 (B ) M
Como esto vale para todo B boreliano, concluimos que f es medible.
que toma un nmero nito de valores {c1 , c2 , . . . , cn }. Podemos representarla entonces como: n
ci IEi
(2.1)
:R
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
42
n (x) =
i=1
siendo
En,i =
x:
Fn = { x : f ( x ) n }
Es decir que:
n (x) =
i1 2n
si si
i1 2n
i 2n
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
1 nk j
1 j
Rn
2 En
clase, este teorema lo vimos para el caso de un conjunto medible con medida nita en
Rn ,
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 ...
Ej =
k=1
j Ek
tendremos que:
k+
j l m (Ek ) = (E j )
2j
E =
j =1
j Ek 0 (j )
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)
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
(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
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
, E ,
ii)
iii)
son los
elementos de
45
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 | > } = 0
Como
{f = g } =
nN
|f g | >
1 n
({f = g })
n=1
|f g | >
1 n
=0
cuando n, m +.
46
Demostracin:
Como (fn ) es de Cauchy en medida para cada k N existe otro entero nk tal que:
N = l m sup Ek =
i=1 k=i
Ek
k=i
(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,
fn1 (x) + (fn2 (x) fn1 (x) + . . . + (fnk+1 (x) fnk (x)) + . . .
cuyas sumas parciales forman la sucesin
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:
Ek
si i i0
pues si x N y |fnk+1 fnk (x)| < 2k para todo k i, se deduce de lo anterior que
2k =
1 2i1
< si i i0
En consecuencia:
(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)| > }) |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 .
fn (x) converge en medida a f (x), existe una subsecin fnk (x) que converge a f (x) en casi todo punto.
48
f d =
i=1
ci (Ai )
Proposicin 2.7.1
f d +
g d
f d
g d
|f | d
: [0, +] una funcin medible no negativa. Denimos la integral de f de la siguiente manera: d : 0 f, simple
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
: [0, +] es una
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
(A) =
n=1
(An )
=
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
Ei A =
nN
(Ei An )
(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
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+
fn (x) d
f (x) d
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
() = l m (An )
n+
5 Tambin
51
es decir,
n+
l m
(x) d =
An
(x) d
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
(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+
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
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
[1 f (x) + 2 g (x)] d = 1
f (x) d + 2
g (x) d
n+
fn (x) d
52
Demostracin: Llamemos
f (x) = l m inf fn (x) = sup
n+ k N nk
nf fn (x)
gk (x) = nf fn (x)
nk
f (x) d =
k+
l m gk (x) d = l m
k+
gk (x) d
(2.4)
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
f (x)d l m inf
n+
fn (x) d
f = f+ f
como diferencia de dos funciones medibles no negativas, siendo
(2.5)
f + ( x) =
y
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
f + (x) d +
f (x) d
|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
(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
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+
En consecuencia,
l m sup
n+
Entonces,
fn (x) d
f (x) d
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.
k=1
Ek
k=1
(Ek )
Teorema 3.1.2
se cumple que:
(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:
57
M ( es medible)
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 )
(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
(S Ek ) =
k=1
S
k=1
Ek
(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
(S Ek ) =
k=1
S
k=1
Ek
Lema 3.1.9
M es una -lgebra.
Demostracin: Basta probar que es cerrada bajo uniones numerables disjunk 1 i=1
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 )
S
k=1
Ek
S
k=1
Ek
Tenemos,
S
k=1
Ek
S
k=1
Ek
(S Ek ) +
k=1
S
k=1
Ek
(S )
(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
60
k=1
Demostracin:
Ek domde los
(E )
k=1
(Ek )
(Ek ) =
k=1 k=1
Ek
(E )
(Ek ) (E )
k=1
Denicin 3.2.1 Sea (X, d) un espacio mtrico y sea una medida exterior
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.
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
1 n
C=
n N
Cn
(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
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 )
(C ) (C2n ) +
k=n
(D2k ) +
k=n
(D2k1 )
(D2k ),
k=n k=n
(D2k1 )
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 ) <
(C ) l m (Cn )
n+
62
(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
| | =
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 :
nf F (E ) =
n=1
F ((cn , dn ]) = nf
n=1
F (dn ) F (cn )
1 En
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
[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
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
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.
Observacin: Sea J = (c, d] un intervalo semiabierto, J I . Entonces, dado > 0 existen intervalos semiabiertos K, L tales que
K J L
y
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:
Jn
entonce
F (J )
F (Jn )
n=1
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
K
n=1
L n
y en particular,
n0
K
n=1
Ln
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 ) +
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 )
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
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:
(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
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
() = 0 (pues A).
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 )
(S A) + (S Ac )
k=1
(Ak )
(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
(E )
k=1
( Ak )
69
(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:
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.
es -nita.
70
Si suponemos que es -nita y (Ak ) es una sucesin disjunta de conjuntos de A tales que
X=
k=1
teneomos que:
(E ) =
k=1
(E Ak ) =
k=1
(E Ak ) = (E )
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, )
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
72
= 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).
F denimos su
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:
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
= l m
|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
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) = +
|f |q d
E A
|f |q d
A
cq d = cq (A)
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
l m nf f
74
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.
= || f
=
E
| f |p d
1/p
=
E
||p |f |p d
1/p
= ||
E
|f |p d
= || f
| 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
+ 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
C Es decir:
f +g
+ g
| f + g |p 2p (| f |p + | g |p )
| 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 |
Observacion:
1 1 + =1 p p
Esta es una forma ms simtrica de expresar la relacin entre py 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
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
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
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:
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 |
| f g | d
E E
|f |
d = g
| f | d = f
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
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
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
| 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
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
Entonces
|f (x, y )| dy
Y X
dx
X Y
|f (x, y )|p dx
dy
|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
I (x)p1 |f (x, y )| dx
X X
|I (x)|p dx
X
|f (x, y )|p dx
I (x)
p p
=
Y X
p/p p Y X
|f (x, y )|p dx
dy
I (x)
1 Enunciamos
Y X
|f (x, y )|p dx
Rn
dy
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
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 .
| f |p d
A
| f |p d
A
p d = p (A)
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
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 :
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
E k+
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
}
Z=
n=1 m=1
Zn,m
| 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 .
(E )(qp)/pq
Demostracin:
| f |p d =
E E
| f | 1 d
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
84
Demostracin: Si
f fn
es nita. Si f n f en Lq ,
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
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
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) =
(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
0 | g |p 1 g
|G F | < p
g |G F | <
Sea ahora
N
=
i=1
ci Ei
86
||p =
i=1
|ci |p .Ei
luego
N
||p =
Rn i=1
Para cada i elijo una g continua tal que antes probado). Sea:
N
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 =
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 = .
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
| f, g | f
(Desigualdad de Cauchy-Schwarz).
f + g, h = f, g + g, h
argumento))
f, h = f, g (Linealidad en el primer
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
Demostracin:
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
0 f
Por lo tanto
| f, g |2
2
| f, g |2 f
89
ii)
f +g f +
iii)
f 0y
f =0f =0
Demostracin:
f
2
= f, f = f, f =| |2
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 +
f +g
+2 | f, g | +
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.
fn , gn g y n
(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 |
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
entonces
fn
fn f
91
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)
f g
= f
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
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
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.
Demostracin:
P (t) = h (f0 + tg )
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
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
| (h) | C
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
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 (g ) h, g = 0
Como g, g = g
2
= 1 se tiene (h) = (g ) h, g
(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
Captulo 5
Diferenciacion (en
RN )
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:
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
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:
m(Bk ) C (N ) me (E )
k=1
Si la serie diverge no hay nada que probar. Supongamos pues que converge. Luego:
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 =
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:
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 )
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 )
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)
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
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
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
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
(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 =
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
{M f (x) = +} =
k=1
{M f (x) > k }
luego
C (N ) f k
de f si:
l m
1 |B |
f (y ) dy = f (x)
B
l m
1 |B
|f (y ) f (x)| dy = 0
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
Lf (x) = l m sup
r (B )0
1 f (y ) f (x)| dy m(B )
101
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:
|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
= C (N ) tal que: C f
1
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,
{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,
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
Tenemos que:
me ({Lf > })
1 C
f k
0 cuando k
{Lf = 0}
concluimos que me ({Lf = 0}) = 0, es decir que Lf (x) = 0 en casi todo punto. Esto prueba el teorema.
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
103
2.
|Bk | < +
k=1
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 )
me
E
k=1
Bk
E1 = E
k=1
Bk
y la coleccin
N1
C1 =
BC:B
k=1
Bk
104
( Si x E1 d(x,
N1 k=1
Bk ) > 0 pues
N1 k=1
N1 k=1
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
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
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
Bk G |
k=1 k=1
Bk | |G| < +
105
y como
m
k=1
Bk
=
k=1
m(Bk )
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 )
me
y
E
k=1
Bk
=0
m(Bk ) < +
k=1
m(Bk ) <
k=N +1
Denamos entonces:
A=
k=1
Bk ,
V =
k=N +1
Bk
k=1
Bk )
me (E ) me (E A) + me (V ) + me (Z ) = me (E A) +
En consecuncia,
me (E A) me (E )
Esto prueba el corolario.
106
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
D+ f (x) = l m inf
h0
D f (x) = l m sup
h0
f (x + h) f (x) h f (x + h) f (x) h
D f (x) = l m inf
h0
D f (x) = l m sup
h0
D f (x) = l m inf
h0
D+ f (x) D f (x),
Entonces:
107
por lo que ha de valer la igualdad. Sean u, v nmeros racionales con u > v > 0, y concideremos los conjuntos
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
F = E
k=1
o Ik
|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
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.
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 )
u (t 2) <
k=1 Ji Ik
f (Ji )
J i I k
f (Ji ) f (Ik )
u (t 2)
k=1
f (Ik ) <
k=1
v |Ik | = v
k=1
pues
N
Ik G
k=1
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:
f (x) = l m
Como
h0
f (x + h) f (x) h
f (x) = l m
se deduce que f (x) es medible.
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 ( )
l m
f (x + h) f (x) dx = f ( ) f () h
f (x)dx f ( ) f ()
Luego f (x) es integrable y en particular es nita en casi todo punto. Con esto queda probado el teorema.
111
S (f, ) =
i=1
|f (xi ) f (xi1 )|
|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
112
(5.3)
Entonces tomando supremo sobre todas las particiones de [a, b] tenemos que:
b c Va (f ) Va (f ) + Vcb (f )
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 )
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
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])
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)
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
114
siempre que
m(A) =
i=1
m(Ii ) =
i=1
(bi ai ) <
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
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
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:
f (b) f (a) =
a
f (t) dt
(x) = f (x)
a
f (t) dt
(5.4)
Esta funcin es absolutamente continua, por ser diferencia de dos funciones absolutamente continuas, y
: [a, b] R es absolutamente continua, y (t) = 0 en casi todo punto de [a, b], entonces es constante en [a, b].
116
(a, b)
k=1
Ik =
i=1
Ji
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
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.
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 )
(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.
L1 (X ), entonces
f (x) d(x) (E M)
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 )|
E=
n=1
En
(E M)
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
||(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
2n
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
||(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 =
121
(Am ) =
n=1
(Am En )
y por lo tanto:
|(Am )| =
n=1
|(Am En )|
|(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
|(En Am )| ||(En )
m=1
|(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
o S
1 2S .
A=
n:(En )0
En En
n:(En )<0
B=
S+ =
n:(En )0
|(En )| ||(A)
S =
n:(En )<0
|(En )| ||(B )
1 2 S,
tendremos
|(A)|
y
t 1 S= 2 2 t |(X )| 2
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
123
Como ||(A1 ) = +, repitiendo este proceso, podemos conseguir una particin A1 = A2 B2 de A1 en dos conjuntos medibles disjuntos tales que:
(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:
|(E )| (E ) E E
entonces ||(E ) (E ).
: 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 .
= ||(X )
Ejemplo: Si f
f d
Lema 6.2.3
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 .
0A 0A
Lema 6.2.5
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
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
(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
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
|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.
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 )
(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
|f | d
X X
|f | d
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
| (f )|
X
|f | d
X
|f | d =
X
|f | 1 d (X )1/2
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)
(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)
S = {x X : g (x) = 1}
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
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].
h d|| E M
1 J.
Von Neuman, On rings of operators. Ill, Annals of Mathematics, vol. 41 (1940) pp.
130
ii)
pecto a ||. En consecuencia, por el teorema de Radon-Nikodym existe una nica h L1 (||) tal que
h d
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 )
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
f d =
X X
f hd||
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 (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
{(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
Teorema 7.1.4 Si
N
I=
R2N
f (x t)g (t) dx dt
I=
RN RN
f (x t)g (t)dt dx =
RN RN
f (x t)g (t)dt dx
=
RN
(f g )(x) dx
I=
RN RN
f (x t)g (t dx dt =
RN
g (t)
RN
f (x t) dx dt =
=
RN
g (t)
RN
f (x)dx dt =
RN
g (t) dt
RN
f (x) dx
(f g )dx =
RN RN
f (t) dt
RN
g (t)dt
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
133
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 g )(x)
RN
f (t)p g (x t) dt
RN
g (x t) dt
= (f p g )1/p
1/q 1
[(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
f g
como queramos probar.
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:
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
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 )
Teorema 7.3.5 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.
x RN tales que todas las derivadas parciales hasta el orden m incluido existen
136
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
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.
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:
K (x)dx
|K (x)| dx 0 cuando 0
138
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
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
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
|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
Demostracin: Sea f
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 = :
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
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
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
y dt y 2 + (x t)2
Observacim: Como
y x2 +y 2
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
K (x) dx = 1.
K (x) =
11
sen (x/)
x/
F (x, w) =
sen (x )
1 sen2 (x x2
w0
l m
f (x t)
R
1 sen2 (x ) dx = f (x) x2
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
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)
u(x, t) =
resuelve el problema:
1 2t
f (x y )ey
R
/(2t)
dy
2 W t u(x, 0)
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)
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