Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Apuntes
Apuntes
Pedro Alegra
pedro.alegria@ehu.es
Departamento de Matematicas
Universidad del Pas Vasco
Bilbao - Espa
na
Apuntes elaborados especialmente para mis alumnos del curso de Maestra en Matematicas
de la Universidad Nacional de Asuncion (Paraguay), en agosto de 2007.
Indice general
1. Integral de Lebesgue en R
1.1. Motivacion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
10
11
12
23
27
28
28
32
1.4.3. El espacio
L1
de funciones integrables . . . . . . . . . . . . . . . . . .
40
41
41
42
47
49
51
53
55
55
58
1.7. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
59
73
3
INDICE GENERAL
73
76
77
82
83
87
2.7. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
91
3. Espacios Lp
97
97
99
123
Cronologa
1872 ... Construccion de Weierstrass de una funcion diferenciable en ning
un punto.
1881 ... Definicion de Jordan de las funciones de variacion acotada.
1883 ... Definicion de Cantor de medida de un conjunto acotado de Rn .
1890 ... Construccion de Peano de la curva que llena el espacio.
1898 ... Definicion de los conjuntos medibles Borel.
1902 ... Presentacion de la teora de la medida e integracion de Lebesgue.
1905 ... Construccion de Vitali de conjuntos no medibles.
Captulo 1
Integral de Lebesgue en R
Lo que el an
alisis te da con una mano te lo quita con la otra. Retrocedo con p
anico
frente a esta lamentable plaga de funciones continuas que no tienen derivada.
C. Hermite
1.1.
Motivaci
on
S=
n
X
k=1
1.1. Motivaci
on
1.1.1.
El nuevo concepto de integral que desarrollamos en este curso tratara de solventar las deficiencias que presentaba la integral de Riemann y que se hicieron patentes a partir de 1890.
Basicamente, deseamos que la integral de Lebesgue resuelva alguna de las limitaciones que
enumeramos a continuacion.
1. La clase de funciones integrables Riemann es relativamente peque
na. Solo alcanza las
funciones con una cantidad numerable de puntos de discontinuidad finita.
2. La integral de Riemann no tiene propiedades de lmite satisfactorias. Sin hipotesis
adicionales, no se puede pasar al lmite bajo el signo integral.
3. En muchos casos, la primitiva de una funcion integrable no es derivable. En muchos
otros, la derivada de una funcion no es integrable Riemann.
4. Los espacios Lp (p < ) no son completos bajo la integral de Riemann.
Ejemplo 1.
Si definimos la sucesion fn : [0, 1] R por
(
2n si 1/2n x 1/2n1
fn (x) =
0
en el resto,
Z
Z
fn (x) dx 6=
entonces 1 = lm
0
lm fn (x) dx = 0.
0
Ejemplo 2.
Si definimos la sucesion fn : [0, 1] R por
(
1 si x {r1 , . . . , rn }
fn (x) =
0 en el resto,
donde rn es el n-esimo n
umero racional en [0, 1], entonces fn son integrables Riemann (porque
tienen una cantidad finita de puntos de discontinuidad) pero lm fn (x), la funcion de Dirichlet,
no es integrable Riemann (es discontinua en todo [0, 1]).
Este ejemplo pone de manifiesto que los teoremas de la convergencia monotona y convergencia
dominada (ver seccion 1.4.2) no son ciertos para la integral de Riemann.
1.1.2.
Los Geometras del siglo XVII consideraban la integral de f (x) - el termino integral no se haba inventado a
un, pero esto no tiene ninguna importancia - como la
suma de una infinidad de indivisibles cada uno de ellos siendo la ordenada, positiva
o negativa, de f (x). Y bien, nosotros simplemente hemos agrupado los indivisibles de tama
no comparable; hemos hecho, como se dice en algebra, la reunion, la
reduccion de los terminos semejantes. Se puede decir que, con el metodo de Riemann, se intentaba sumar los indivisibles tomandolos en el orden suministrado
por la variacion de x, se proceda como lo hara un comerciante desorganizado que
contara monedas y billetes seg
un fueran cayendo estos en sus manos; en cambio
nosotros procedemos como el comerciante metodico que dice:
Tengo m(E1 ) monedas de 1 corona lo que hace 1 m(E1 ), tengo m(E2 ) monedas
de 2 coronas lo que hace 2m(E2 ), tengo m(E3 ) monedas de 5 coronas lo que hace
5 m(E3 ), etc. As tengo en total: S = 1 m(E1 ) + 2 m(E2 ) + 5 m(E3 ) + . . . .
Ambos procedimientos conduciran al comerciante, sin ninguna duda, al mismo
resultado ya que, por muy rico que sea, no hay mas que un n
umero finito de
billetes que contar; pero para nosotros que tenemos que sumar una infinidad de
indivisibles, la diferencia entre los dos metodos es capital.
Sobre el desarrollo de la nocion de integral
H. Lebesgue, conferencia en Copenhague 1926.
La integral de Riemann se define mediante particiones del dominio de la funcion y calculando
el valor de la funcion en los puntos de cada intervalo de la particion. Sin embargo, para definir
la integral de Lebesgue se realiza una particion de la imagen de la funcion y se mide el tama
no
del dominio para los cuales la imagen de la funcion esta comprendida entre dichos valores.
Para medir los conjuntos {x D(f ) : yj1 y yj } es necesario desarrollar la teora de la
medida.
A grandes rasgos, se pretende generalizar la nocion de longitud en R, area en R2 o volumen en R3 . Mas concretamente, buscamos una funcion no negativa m definida en todos los
subconjuntos de R, que pueda tomar el valor +. Intuitivamente se necesita que verifique:
i) m([a, b]) = b a (la medida de un intervalo es su longitud).
ii) m(A B) = m(A) + m(B), si A y B son disjuntos.
En realidad, los argumentos de lmite que se aplican en la teora hacen necesaria la
condicion
S
P
ii) m( iN Ai ) = iN m(Ai ), con Ai disjuntos dos a dos.
iii) m(A + h) = m(A) (la medida es invariante bajo traslaciones).
Un resultado importante de la teora es la existencia y unicidad de tal medida, que llamaremos
medida de Lebesgue, cuando nos referimos a una clase razonable de conjuntos, los llamados
conjuntos medibles. Esta clase de conjuntos contiene en particular a los abiertos y sera cerrada bajo uniones numerables, intersecciones y complementos. Ahora bien, la idea previa de
poder asignar una medida a todos los subconjuntos de R no es posible. Demostraremos que
existen conjuntos que no son medibles cuando pedimos las condiciones i) a iii) anteriores. Esta
situacion contraria a la intuicion esta relacionada con la famosa paradoja de Banach-Tarski:
se puede descomponer la bola unidad de R3 en cinco piezas, las cuales pueden recomponerse
mediante traslaciones y rotaciones para formar dos bolas unitarias disjuntas (lo que violara
nuestra idea de conservacion del volumen).
10
Lebesgue publicara sus trabajos, Emile Borel publico en 1898 el libro Lecons sur la theorie
des fonctions, donde investigaba sobre ciertos conjuntos del intervalo [0, 1]. Pretenda asignar medidas a subconjuntos mas generales que los subintervalos, especialmente a aquellos
engendrados mediante uniones numerables o paso al complementario de intervalos. De forma
paralela peda que estos subconjuntos cumplieran la propiedad de que la medida de la union
de cualquier familia finita o numerable de tales conjuntos disjuntos dos a dos es igual a la
suma de sus medidas; y por otra parte, todos los subintervalos tienen como medida su longitud. Como podemos observar, esta definicion de Borel es la definicion de premedida, nombre
que mas adelante asignara Lebesgue. Borel no probo la existencia y unicidad de dicha definicion. Afirma que el lema fundamental demostrado [...] nos asegura que estas definiciones
nunca seran contradictorias entre s, y anoto en el pie de pagina de ese mismo libro que He
omitido toda demostracion ya que la redaccion me parecio tener que ser larga y fastidiosa
[...]. Por otra parte, Borel no hace absolutamente ninguna referencia o insinuacion sobre una
posible conexion entre su concepto de medida y la teora de integracion. Aunque Borel no fue
capaz de probar dicho resultado, gracias a las aportaciones de Lebesgue el resultado de Borel
queda incluido en la construccion de la integral de Lebesgue. Mas adelante, a esos conjuntos
a los que se refera Borel, Lebesgue los llamo borelianos por deferencia a su amigo.
1.2.
Conceptos previos
Un conjunto A R es abierto si
x A, r > 0 : (x r, x + r) A.
Un conjunto F R es cerrado si su complementario F c es abierto.
Una propiedad elemental de estos conjuntos es la siguiente:
La union arbitraria y la interseccion finita de abiertos es abierto.
Un conjunto E R es acotado si existe r > 0 tal que E (r, r). Si ademas es cerrado,
entonces es compacto y cumple la propiedad de Heine-Borel:
S
Si E es compacto y E I A , con A abierto, entonces existe una familia finita {A1 , . . . , An }
tal que E A1 An .
Definici
on. Se dice que F F cuando F es union numerable de cerrados.
Analogamente, se dice que G G cuando G es interseccion numerable de abiertos.
Definici
on. Una coleccion A de conjuntos es un
algebra si
i) A.
ii) A, B A = A B A.
iii) A A = Ac A.
Un algebra A de conjuntos se dice que es una -
algebra cuando
S
iv) (Ai )iN A = iN Ai A.
Ejemplos. 1) P (R) es la mayor -algebra de R.
2) {, R} es la menor -algebra de R.
11
iN
Demostraci
on. Definimos
B1 = A1
Bn = An \ (A1 . . . An1 ) = An Ac1 . . . Acn1 .
Es evidente que Bn A y que Bn An para todo n. Por tanto,
Bi
Ai .
1.3.
12
1.3.1.
xA Ix .
In
nN
13
Demostraci
on. Caso 1. Dado el intervalo [a, b], para cualquier > 0, [a, b] (a , b + ).
Entonces m ([a, b]) b a + 2, de modo que m ([a, b]) b a.
Falta ver que m ([a, b]) b a lo cualP
equivale a probar que, si (In )nN es una sucesion de
intervalos que cubren a [a, b], entonces nN m(In ) b a.
Por la compacidad de [a, b], podemos aplicar el teorema de Heine-Borel. As pues, basta
N
X
probar que
m(In ) b a, donde {I1 , . . . , IN } es un cubrimiento finito de [a, b].
n=1
Podemos suponer que a I1 = (a1 , b1 ). Si b1 b, como b1 [a, b], debe existir I2 = (a2 , b2 )
tal que b1 I2 .
Siguiendo este proceso, obtenemos una familia (a1 , b1 ), . . . , (ak , bk ) contenida en (Ii )N
i=1 tal
que ai < bi1 < bi (i = 2, . . . , k).
Como el conjunto (Ii )N
i=1 cubre al intervalo [a, b], necesariamente b (ak , bk ). Entonces
N
X
n=1
m(In )
k
X
i=1
14
C0
C1
C2
1 2 1
9 9 3
2 7 8
3 9 9
Con este procedimiento, obtenemos una sucesion (Ck )k0 de conjuntos cerrados tales que
Ck+1 Ck (k 0).
T
Por definicion, el conjunto de Cantor es C = k0 Ck .
Sus propiedades mas importantes son las siguientes:
Es compacto.
Basta observar que es cerrado y esta contenido en [0, 1].
Es perfecto (todo punto de C es de acumulaci
on).
Cada Ck es union de 2k intervalos cerrados disjuntos cuyos extremos estan en C (pues
un extremo de cualquier intervalo de Ck es extremo de alg
un intervalo de Ck+1 . As pues,
si x C, para cualquier k N, x Ck . Por tanto x esta contenido en alguno de los
2k intervalos de longitud 3k . Basta elegir xk 6= x como uno de los extremos de dicho
intervalo para que |x xk | 3k .
Es denso en ninguna parte (int C = ).
Esto es consecuencia de que m (C) = 0 pues, si existe (a, b) C, entonces b a
m (C) = 0.
Es totalmente disconexo (x, y C, x < y, z (x, y) con z 6 C).
Se deduce de la propia construccion.
Es no numerable.
En primer lugar, establecemos la biyeccion entre el conjunto de sucesiones de ceros y
unos quitando aquellas sucesiones que tienen todos los terminos iguales
a partir
Pa uno
xk
de un cierto elemento, y el conjunto [0, 1), definida por (xk )kN 7 x = kN 2k (lo que
equivale a escribir x mediante su representacion binaria). A continuacion establecemos la
biyecci
a cada
on anterior le asigna el punto de C \ {1} mediante (xk )kN 7
P sucesi
Pon que
yk
2xk
y = kN 3k = kN 3k . De este modo 0, y1 y2 . . . es la representacion ternaria de y,
la cual corresponde a un punto de C si y solo si yk = 0 o yk = 2.
Tiene medida exterior cero.
Por construccion, C Ck , donde Ck es union disjunta de 2k intervalos cerrados, de
longitud 3k . Por tanto, m (C) (2/3)k , k, con lo que m (C) = 0.
Proposici
on 1.3.3. Si (An )nN es una sucesi
on de conjuntos en R, entonces
[
X
m (
An )
m (An ).
nN
nN
15
Demostraci
on. Si alg
un An tiene medida exterior infinita, la desigualdad es evidente.
Si m (An ) < ,
S para todo
P n, dado > 0, existe una sucesion (In,i )iN de intervalos abiertos
talSque An iN In,i y iN m(In,i ) < m (An ) + 2n . La sucesion doble (In,i )n,iN cubre
a nN An y
m (
An )
nN
XX
m(In,i ) <
nN iN
(m (An ) + 2n ) =
m (An ) + .
nN
nN
S
P
En definitiva, m ( nN An ) nN m (An ).
Corolario 1.3.4. Si A es numerable, m (A) = 0.
Demostraci
on. Basta escribir
A = {xk : k N}
(xk k , xk + k ), con
kN
As, m (A)
k < /2.
kN
m(xk k , xk + k ) < .
kN
m(In ) m (E) + .
nN
b) Por el apartado a), dado n TN, existe An un abierto tal que m (E) + 1/n m (An ),
con E An . Si llamamos G = nN An , entonces G G , E G y m (G) m (An )
m (E) + 1/n. Ademas m (E) m (G).
c) Si E A, m (E) m (A), de donde m (E) nf m (A).
Por otro lado, seg
un el apartado a), m (A) m (E) + . Entonces nf m (A) m (E).
Proposici
on 1.3.7. Si E = E1 E2 y d(E1 , E2 ) > 0, entonces m (E1 E2 ) = m (E1 ) +
m (E2 ).
Demostraci
on. Sea > 0 tal que d(E1 , E2 ) > > 0.
Dado > 0 arbitrario, sea (In )nN una sucesion de intervalos abiertos tal que E
P
nN m(In ) m (E) + .
nN In
16
Ademas elegimos la sucesion para que la longitud de cada intervalo sea menor que . De
este modo, cada intervalo solo puede cortar a uno de los conjuntos E1 o E2 . Simbolicamente,
podemos escribir
[
[
E1
Ij , E2
Ij ,
jJ1
jJ2
donde J1 J2 = . Entonces
m (E1 ) + m (E2 )
X
jJ1
m(Ij ) +
X
jJ2
m(Ij )
m(Ij ) m (E) + .
jN
entonces m (E) = m (E1 ) + m (E2 ). Hara falta que dichos conjuntos sean medibles.
Definici
on. Un conjunto E es medible si, para todo conjunto A,
m (A) = m (A E) + m (A E c ).
Lema 1.3.8. Si m (E) = 0, entonces E es medible. En particular, si F E y m (E) = 0,
entonces F es medible.
Demostraci
on. Dado un conjunto A, como A E E, entonces m (A E) m (E) = 0.
Por otra parte, como A E c A, entonces
m (A) m (A E c ) = m (A E c ) + m (A E).
La otra desigualdad es evidente.
De esta propiedad deducimos en particular que el conjunto de Cantor es medible.
Proposici
on 1.3.9. La familia M = {A : A es medible} es un
algebra de conjuntos.
Demostraci
on. Hay que demostrar, en primer lugar, que, si E1 y E2 son medibles, entonces
E1 E2 es medible.
Por una parte, m (A E1c ) = m (A E1c E2 ) + m (A (E1 E2 )c ).
Por otra parte, m (A (E1 E2 )) m (A E1 ) + m (A E2 E1c ). Por tanto,
m (A (E1 E2 )) + m (A (E1 E2 )c ) m (A E1 ) + m (A E1c ) = m (A).
Para que M sea un algebra de conjuntos, falta probar que, si A es medible, entonces Ac es
medible, pero esto es consecuencia de la propia definicion.
Veremos a continuacion que la familia M es ademas una -algebra.
17
i=1
Demostraci
on. (Por induccion) El caso n = 1 es evidente.
Si suponemos cierta la propiedad para n 1, teniendo en cuenta que
A(
n
[
E i ) En = A En y A (
i=1
n
[
n1
[
Ei ) Enc = A (
i=1
Ei ),
i=1
resulta
m
A(
n
[
n1
n
X
[
Ei ) =
m (A Ei ).
Ei ) = m (A En ) + m A (
i=1
i=1
i=1
Proposici
on 1.3.11. La familia M es una -
algebra de conjuntos.
Demostraci
on. Basta ver que, si E =
iN Ei ,
con Ei M, entonces E M.
n
X
m (A Ei ),
i=1
de modo que
m (A)
n
X
m (A Ei ) + m (A E c ).
i=1
m (A Ei ) + m (A E c ) m (A E) + m (A E c )
iN
18
Demostraci
on. Dado A, sean A1 = A (a, ) y A2 = A (, a].
Si m (A) = , es evidente que m (A1 ) + m (A2 ) m (A).
(A) < , dado > 0, existe una sucesi
Si mS
on de intervalos abiertos (In )nN tal que
P
A nN In y nN m(In ) m (A) + .
nN In,1 ,
tenemos:
m (A1 ) m (
In,1 )
y, como A2
nN In,2 ,
m (In,1 )
nN
nN
tenemos
m (A2 ) m (
In,2 )
nN
m (In,2 ).
nN
As pues,
m (A1 ) + m (A2 )
(m (In,1 ) + m (In,2 ))
nN
m(In ) m (A) + .
nN
nN
Si Ei Ej = , para i 6= j, entonces
m(
nN
En ) =
X
nN
m(En ).
19
Demostraci
on. La primera parte consiste precisamente en la subaditividad de la medida
exterior (proposicion 1.3.3).
Si (E1 , . . . , Ek ) es una familia finita de conjuntos medibles disjuntos, por el lema 1.3.10 con
A = R, resulta que
k
k
[
X
m(
En ) =
m(En ).
n=1
n=1
Por u
ltimo, si (Ei )iN es una sucesion infinita de conjuntos medibles disjuntos, entonces
n
[
[
Ei
Ei , de modo que
iN
i=1
m(
Ei ) m(
iN
n
[
Ei ) =
i=1
n
X
m(Ei ).
i=1
iN
Proposici
on 1.3.15. Si (Ei )iN es una sucesi
on de conjuntos medibles y Ek Ek+1 , para
todo k N, entonces
[
m( Ei ) = lm m(En ).
n
iN
Demostraci
on. Construimos los conjuntos F1 =SE1 , Fk S
= Ek \ Ek1 , k 2. As, (Fk )kN es
una sucesion de conjuntos medibles disjuntos y Fk = Ek . Por tanto,
m(
kN
Ek ) =
m(Fk ) = lm
kN
n
X
m(Fk ) = lm m(
n
k=1
n
[
Fk ) = lm m(En ).
k=1
Proposici
on 1.3.16. Si (En )nN es una sucesi
on infinita de conjuntos medibles, tal que
Ek+1 Ek , para todo k, y m(E1 ) es finita, entonces
\
m( Ei ) = lm m(En ).
iN
Demostraci
on. Llamamos E =
y Fi = Ei \ Ei+1 . Entonces
[
E1 \ E =
Fi ,
iN Ei
iN
iN
20
Ahora bien,
m(E1 ) = m(E) + m(E1 \ E) y m(Ei ) = m(Ei+1 ) + m(Ei \ Ei+1 ),
debido a que E E1 y Ei+1 Ei .
Teniendo en cuenta que m(Ei ) m(E1 ) < , resulta que
m(E1 \ E) = m(E1 ) m(E) y m(Ei \ Ei+1 ) = m(Ei ) m(Ei+1 ).
As pues,
m(E1 ) m(E) =
[m(Ei ) m(Ei+1 )] = lm
iN
n
X
[m(Ei ) m(Ei+1 )]
i=1
21
b) =
T d): Para cada n N, existe An abierto, con E An , tal que m (An \ E) < 1/n. Si
G = nN An , entonces G G , E G y
c) =
S e): Para cada n N, existe Fn cerrado, con E Fn , tal que m (E \ Fn ) < 1/n. Si
F = nN Fn , entonces F F , F E y
m (E \ F ) m (E \ Fn ) < 1/n, n N.
Por tanto, m (E \ F ) = 0.
e) = a): Como m (E \ F ) = 0, entonces E \ F es medible. Escribiendo E = (E \ F ) F ,
deducimos que E es medible.
S
a) = f): Sea (Ij )jN una sucesion de intervalos abiertos tal que E jN Ij y m (E)+/2
P
jN m(Ij ).
P
Como m (E) < , la serie es convergente y existe n0 N tal que
j=n0 +1 m(Ij ) < /2.
Sn0
Si llamamos U = j=1 Ij , entonces
m (U E) = m (U \ E) + m (E \ U ) m (
Ij \ E) + m (
jN
m(Ij ) m (E) +
jN
Ij )
j=n0 +1
m(Ij ) < .
j=n0 +1
Corolario 1.3.18. Todo conjunto medible con medida positiva contiene un conjunto cerrado
con medida positiva.
Demostraci
on. Si E es medible, dado > 0, existe F cerrado tal que F E y m (E \ F ) < .
Entonces
m(F ) = m(E) m(E \ F ) > m(E) .
Basta elegir < m(E)/2 para que m(F ) > 0.
Otras propiedades deseables de la medida se refieren a la invariancia, como indicamos a
continuacion.
22
Proposici
on 1.3.19. Sea E un conjunto medible. Entonces:
a) Para todo k R, el conjunto Ek = E + k = {x + k : x E} es medible y m(Ek ) = m(E).
b) Para todo > 0, el conjunto E = { x : x E} es medible y m(E) = m(E).
c) El conjunto E = {x : x E} es medible y m(E) = m(E).
Demostraci
on. Veamos el apartado a) (el resto es similar).
Dado A R, llamamos A0 = A k = {u R : u + k A}. Entonces
m (A Ek ) + m (A Ekc ) = m (A0 E) + m (A0 E c ) = m (A0 ) = m (A).
Para terminar la seccion, hagamos la construccion de un conjunto no medible, lo que demuestra que no puede extenderse la nocion de longitud a cualquier subconjunto de R si se
quiere que se cumpla la propiedad m (A B) = m (A) + m (B), con A y B disjuntos. Este
resultado fue probado por Vitali en el trabajo Sul problema della misura dei gruppi di punti
di una retta publicado en 1905.
En primer lugar, establecemos la siguiente relacion de equivalencia en [0, 1]:
x y cuando x y Q.
S
Esta relacion permite escribir [0, 1] = E , union disjunta de clases de equivalencia.
A continuacion, definimos N = {x : x E } (llamado conjunto de Vitali) eligiendo
exactamente un elemento de cada clase E (por el axioma de eleccion). Veamos que N no es
medible.
Si numeramos los racionales en [0, 1] como {rk : k N}, consideramos los conjuntos trasladados Nk = N + rk . Probaremos que estos conjuntos son disjuntos:
Si Nk Np 6= , existen rk , rp racionales distintos, y existen , tales que x + rk = x + rp ,
o bien x x = rp rk Q. Esto significa que x x , luego x = x pues N tiene un
solo elemento de cada clase. Por tanto, rp = rk , lo que es absurdo.
Tambien es facil probar que
[0, 1]
Nk [0, 2].
kN
kN
1.3.2.
23
Toda funci
on medible es casi continua
Una vez establecida la nocion de conjunto medible, vamos a utilizarla para definir las funciones
medibles. En primer lugar, estableceremos algunas propiedades equivalentes.
Proposici
on 1.3.20. Sea f : R R una funci
on cuyo dominio D es medible. Son equivalentes:
i) R : {x : f (x) > } es medible.
ii) R : {x : f (x) } es medible.
iii) R : {x : f (x) < } es medible.
iv) R : {x : f (x) } es medible.
Todas estas proposiciones implican
v) R : {x : f (x) = } es medible.
Demostraci
on. i) iv) porque {x : f (x) } = D \ {x : f (x) > }.
ii) iii) por la misma razon.
i) = ii) porque {x : f (x) } =
nN {x
nN {x
: f (x) + 1/n}.
Por u
ltimo, si R, {x : f (x) = } = {x : f (x) } {x : f (x) } de modo que, en este
caso, ii) y iv) implican v).
T
Ademas, {x : f (x) = } = nN {x : f (x) n} con lo que ii) implica v) si =
(analogamente con = ).
Observaci
on. En el caso de que la funcion solo tome valores reales, las propiedades anteriores son equivalentes a que la imagen inversa de cualquier abierto sea medible y a que la
imagen inversa de cualquier cerrado sea medible.
Definici
on. Una funci
on f : R R se dice que es medible Lebesgue cuando su dominio
es medible y verifica una cualquiera de las cuatro afirmaciones equivalentes de la proposicion
anterior.
La definicion involucra as a los conjuntos mas importantes relacionados con una funcion
como son las imagenes inversas de intervalos.
De la definicion se deduce que toda funcion continua es medible; toda funcion escalonada
es medible; la restriccion de una funcion medible a un subconjunto medible del dominio es
tambien medible.
Una caracterizacion interesante se demuestra en el siguiente resultado.
Proposici
on 1.3.21. Sea E R un conjunto medible y f : E R. Entonces f es medible
si y s
olo si f 1 (B) es medible, para todo B de Borel en R.
Demostraci
on. Si f es medible, definimos
A = {A R : f 1 (A) es medible}.
24
nN
} {x : f (x) < }
y, si < 0, entonces
{x : f 2 (x) > } = D.
En ambos casos, se deduce que f 2 es medible.
Como f g = 12 (f + g)2 (f 2 + g 2 ) , entonces f g es medible.
Teorema 1.3.23. Para cada n N, sea fn : D R medible. Entonces supnN fn , nf nN fn ,
lm sup fn y lm inf fn son medibles.
Demostraci
on. Si llamamos g(x) = supnN fn (x), entonces
[
{x : g(x) > } =
{x : fn (x) > },
nN
25
N
X
ai Ii (x).
i=1
N
X
ai Ei (x),
i=1
26
Veamos que las funciones medibles pueden aproximarse por funciones simples.
Proposici
on 1.3.26. Sea f : D R.
a) Existe una sucesi
on de funciones simples que converge puntualmente a f .
b) Si f es acotada, se puede elegir la sucesi
on para que converja uniformemente a f .
Demostraci
on. Supondremos que f 0 (en el caso general se descompone f como diferencia
de funciones no negativas a las que se aplica el razonamiento siguiente).
a) Para cada n N y cada i con 1 i n 2n , sea
i1
i
Eni = x D : n f (x) < n .
2
2
As, Eni Enj = , si 1 i, j n 2n , i 6= j, y
En =
n
n2
[
i=1
Definimos
n (x) =
n
n2
X
i=1
i1
Eni + n Enc , n 1,
2n
i(ba)
n ,
0 i n. Entonces, si x [ai1 , ai ),
27
P
Definimos gm (x) = ni=1 f (ai1 ) [ai1 ,ai ) (x), x [a, b), gm (b) = f (b). Entonces (gm ) es
una sucesion de funciones escalonadas que converge uniformemente a f .
A continuacion enunciamos el segundo principio de Littlewood, mediante el que aproximamos
cualquier funcion medible por funciones continuas.
Proposici
on 1.3.27. Sea f : [a, b] R una funci
on medible tal que {x : f (x) = } tiene
medida cero. Entonces, dado > 0, existe una funci
on escalonada g y una funci
on continua
h tales que |f g| < y |f h| < , excepto en un conjunto de medida menor que .
Si, adem
as, m f M , entonces podemos elegir g y h de modo que m g M y
m h M.
Esquema de la prueba.
Paso 1. Sea f : [a, b] R una funcion medible tal que {x : f (x) = } tiene medida cero.
Entonces, dado > 0, existe M R tal que |f | M excepto en un conjunto de medida
menor que /3.
Paso 2. SeaPf : [a, b] R una funcion medible. Dados > 0 y M R, existe una funcion
simple = ni=1 i Ai , con Ai = {x : (x) = i }, tal que |f (x) (x)| < excepto donde
|f (x)| M .
Si m f M , podemos elegir de modo que m M .
Paso 3. Dada una funcion simple en [a, b], existe una funcion escalonada g en [a, b] tal que
(x) = g(x), excepto en un conjunto de medida menor que /3 (usar la proposicion 1.3.17).
Si m M , podemos elegir g de modo que m g M .
Paso 4. Dada una funcion escalonada g en [a, b], existe una funcion continua h tal que
g(x) = h(x), excepto en un conjunto de medida menor que /3.
Si m g M , podemos elegir h de modo que m h M .
1.3.3.
Toda sucesi
on convergente de funciones medibles es casi uniformemente convergente
[
n=N
28
As, EN +1 ENTy, si x E, existe n0 tal que x 6 En0 (debido a que fn (x) f (x)). Esto
quiere decir que N N EN = , de donde lm m(EN ) = 0 (por la proposicion 1.3.16).
De este modo, dado > 0, existe N tal que m(EN ) < , o bien
m({x E : |fn (x) f (x)| , para alg
un n N }) < .
Si llamamos A a dicho conjunto EN , entonces m(A) < y
Ac = {x E : |fn (x) f (x)| < , n N }.
Por tanto, (fn ) converge uniformemente a f en Ac .
Observaciones. 1) El teorema no asegura que puede obtenerse laconvergencia
2
n x
todo el conjunto. Si consideramos, por ejemplo, la sucesion fn (x) = n2 x + 2n
0
entonces fn 0 en [0, 1] pero la convergencia no es uniforme en todo [0, 1].
uniforme en
si x [0, 1/n]
si x [1/n, 2/n]
en el resto,
1.4.
Integral de Lebesgue
Los conjuntos medibles y las funciones medibles seran los elementos basicos en la definicion
de la integral de Lebesgue. Dicha integral sera una generalizacion de la integral de Riemann,
manteniendo las propiedades basicas de linealidad pero aplicable a familias mas amplias de
funciones. En particular, su interpretacion como area de figuras planas tambien es valida en
los casos usuales.
Definiremos el concepto de integral de Lebesgue progresivamente para familias de funciones
cada vez mayores. En cada paso estableceremos las propiedades basicas, como la linealidad,
aditividad y monotona, las cuales deberan mantenerse en las sucesivas extensiones.
El primer paso sera establecer la integral de funciones simples, para luego extenderla a funciones medibles acotadas y medibles no negativas.
1.4.1.
Definici
on. Si es una funcion simple que se anula fuera de un conjunto de medida finita,
se define su integral de Lebesgue como
Z
Z
=
(x) dx =
n
X
i=1
ai m(Ai )
si =
n
X
29
ai Ai es la representacion canonica de .
i=1
Z
=
E .
n
X
i=1
n
X
ai m(Ei ).
i=1
Demostraci
on. Llamamos
Ea = {x : (x) = a} =
Ei .
ai =a
X
Entonces los conjuntos Ea son disjuntos y a m(Ea ) =
ai m(Ei ) por la aditividad de m.
ai =a
P
Ademas, = a a Ea , de donde
Z
X
X
=
a m(Ea ) =
ai m(Ei ).
Proposici
on 1.4.2. Sean , funciones simples que se anulan fuera de un conjunto de
medida finita. Entonces
Z
Z
Z
a) (a + b ) = a + b .
Z
Z
b) Si c.s., entonces
.
Z
Z
Z
c) Si A B = , entonces
=
+
.
AB
A
B
Z Z
d) || es tambien una funci
on simple y ||.
Demostraci
on. a) Sean {Ai } y {Bj } los conjuntos correspondientes a las representaciones
canonicas de y , y A0 y B0 los conjuntos donde sea anulan y , respectivamente.
Entonces los conjuntos Ek = Ai Bj forman una familia disjunta de conjuntos medibles y
podemos escribir
N
N
X
X
=
ak Ek , =
bk Ek
k=1
k=1
30
de modo que
a + b =
N
X
(a ak + b bk ) Ek .
k=1
Z
Por el lema anterior,
Z
(a + b) = a
Z
+b
AB
d) Si (x) =
N
X
N
X
|ak |Ek .
k=1
k=1
Por tanto,
Z N
Z
N
X
X
=
ak m(Ek )
|ak | m(Ek ) = ||.
k=1
k=1
Observaci
on. De este resultado deducimos que la restriccion establecida en el lema anterior
de que Ei Ej = no es necesaria.
El siguiente paso del proceso consiste en definir la integral para funciones acotadas. Para ello,
necesitaremos el siguiente resultado previo.
Proposici
on 1.4.3. Sea f : E R acotada con m(E) finita. Son equivalentes:
Z
Z
a) nf
= sup
, para todas las funciones simples , .
f
f E
b) f es medible.
Demostraci
on. Supongamos que |f (x)| M , x E y que f es medible. Los conjuntos
Ek = {x : kM/n f (x) > (k 1)M/n}, n k n
S
P
son medibles y disjuntos y nk=n Ek = E. Entonces m(E) = nk=n m(Ek ).
Si definimos las funciones simples
n (x) =
n (x) =
n
M X
k Ek (x)
n
M
n
k=n
n
X
(k 1) Ek (x)
k=n
31
nf
n =
E
sup
f
n =
E
Por tanto,
Z
Z
sup
0 nf
M
n
k=n
n
X
(k 1) m(Ek ).
k=n
n
M X
M
m(Ek ) =
m(E).
n
n
k=n
Z
= sup
Como n es arbitrario, nf
n
M X
k m(Ek )
n
Z
Z
Recprocamente, supongamos que nf
= sup
. Dado n N, existen n y n tales
f E
f
E
Z
Z
que n (x) f (x) n (x) y
n n < 1/n.
Entonces las funciones = nf n y = sup n son medibles y (x) f (x) (x).
Por otra parte, el conjunto = {x : (x) < (x)} es union de los conjuntos = {x :
(x) < (x) 1/}. Como {x : n (x) < n (x) 1/} y la medida de este u
ltimo
conjunto es menor que /n, entonces m( ) = 0.
En consecuencia, m() = 0, lo que significa que = excepto en un conjunto de medida
cero, y = f excepto en un conjunto de medida cero, con lo que f es tambien medible.
Definici
on. Si f : E R, con m(E) < , es medible y acotada, se define la integral de
Lebesgue de f sobre E como
Z
Z
f = nf
: es una funcion simple con f .
E
Proposici
on 1.4.4. Sea f : [a, b] R acotada. Si f es integrable Riemann en [a, b], entonces
Z b
Z
Z b
es medible y R
f=
f (donde indicamos por R
f a la integral de Riemann de f ).
a
[a,b]
Demostraci
on. Como toda funcion escalonada es simple,
Z
Z
f sup
R
a
Z
nf
[a,b]
R
[a,b]
f.
a
32
Z Z
g. En consecuencia, f
|f |.
f
iii) Si f g, c.s.,
E
E
E
E
Z
iv) Si f (x) , m(E)
f m(E).
E
Z
v) Si A y B son conjuntos medibles disjuntos de medida finita,
Z
Z
f=
AB
Z
f+
f.
B
Demostraci
on. i) Si es simple, a tambien. Entonces
Z
Z
Z
Z
f.
=a
a = a nf
a f = nf
- si a > 0,
f E
f E
E
E
Z
Z
Z
Z
Z
f.
=a
a = a sup
= a nf
a f = nf
- si a < 0,
E
E (f
g) 0.
R
E
1 = m(E).
1.4.2.
Teoremas de convergencia
33
Las cuestiones basicas son las siguientes: dada una sucesion (fn ) de funciones integrables
Lebesgue en [a, b], tal que fn converge puntualmente a f c.s. en [a, b], es f integrable Lebesgue
en [a, b]? En caso afirmativo, es cierto que el lmite de la integral es igual a la integral del
lmite? Veamos un par de ejemplos que responden negativamente a estas preguntas.
(
x1 si 1/n x 1
1) Si, para cada n N, fn (x) =
entonces fn converge puntualmente
0
en el resto,
(
x1 si 0 < x 1
a f (x) =
Sin embargo, fn es integrable Lebesgue en [0, 1], para todo n,
0
si x = 0.
pero f no lo es.
(
n si 0 < x < 1/n
2) Si gn (x) =
entonces gn converge puntualmente a f (x) = 0 en [0, 1].
0 en el resto,
Z 1
Z 1
En este caso, g es integrable Lebesgue en [0, 1], pero
g = 0 6= 1 = lm
gn .
n 0
f = lm
E
fn .
E
Demostraci
on. Como |fn (x)| M y f (x) = lm fn (x), entonces |f (x)| M .
Por el teorema de Egorov (proposicion 1.3.28), dado > 0, existen N N y A E medible,
E\A
Observaci
on. Veamos que la hipotesis m(E) < es esencial. Para ello, supongamos que
1
E = R y fn = [n,) . Entonces |fn (x)| 1 y fn 0 uniformemente. Sin embargo,
n
Z
Z
0=
f 6= lm fn = .
R
Corolario
1.4.7. Si f 0 es acotada y definida en un conjunto E de medida finita y
Z
f = 0, entonces f = 0 c.s.
Demostraci
on. Para cada k N, sea Ek = {x E : f (x) 1/k}. Entonces
Z
1
1
Ek (x) f (x) = m(Ek ) f.
k
k
[
Por hipotesis, m(Ek ) = 0 para todo k. Como {x : f (x) > 0} =
Ek , entonces f = 0 c.s.
kN
34
donde
Z h es una funcion medible acotada tal que m({x : h(x) 6= 0}) es finita. En el caso de
que
f < , diremos que f es integrable Lebesgue sobre E.
E
Ejemplos.
(
|x|
1) La funcion f (x) =
0
si |x| 1,
es integrable si y solo si 0 < 1.
si |x| > 1,
1
es integrable si y solo si > 1.
1 + |x|
Proposici
on 1.4.8. Si f, g son funciones medibles no negativas,
Z
Z
i)
cf =c
f , c > 0.
E
E
Z
Z
Z
ii)
(f + g) =
f+
g.
E
E
E
Z
Z
iii) Si f g c.s.,
f
g.
E
E
Z
Z
Z
iv) Si A y B son conjuntos medibles disjuntos de medida finita,
f=
f+
f.
AB
A
B
Z
Z
Z
v) Si g es integrable y 0 f g, entonces f es integrable y
(g f ) =
g
f.
2) La funcion g (x) =
Por otro lado, sea ` una funcion acotada y medible que se anula fuera de un conjunto de
medida finita y que es menor o igual que f + g. Definimos entonces h(x) = mn{f (x), `(x)},
k(x) = `(x)h(x). De este modo, h(x) f (x) y, como h+g = mn{f +g, `+g} mn{`, `+g},
entonces h + g `, de donde ` h g, es decir k(x) g(x). Ademas, h y k estan acotadas
(por la misma cota de `) y se anulan donde ` se anula.
Entonces
Z
`=
Z
k
h+
E
Z
f+
g,
E
de donde
35
f+
(f + g).
E
(g f ) +
g =
f. Como el lado
E
Z
entonces lm fn (x) = 0, pero
fn = 1 para todo n.
Demostraci
on. Podemos suponer que la convergencia es en todo punto, pues las integrales
sobre conjuntos de medida cero son nulas.
Sea h una funcion medible acotada tal que h f y h(x) = 0 cuando x 6 E 0 , con m(E 0 ) < .
Definimos hn (x) = mn{h(x), fn (x)}. Entonces hn es medible y acotada (con la misma cota
que h) y h(x) = 0, x 6 E 0 . Veamos que, ademas, hn (x) h(x), x E 0 :
Dado > 0, como h f , existe n0 N tal que h(x) < fn (x), n n0 . As,
h(x) = mn{h(x), h(x) } mn{h(x), fn (x)} = hn (x) h(x),
es decir |h(x) hn (x)| .
Por el teorema de la convergencia acotada 1.4.6,
Z
Z
Z
Z
h=
h = lm
hn lm inf
fn .
E
E0
E0
Z
f lm inf
fn .
E
36
Observaciones.
1. El lema de Fatou no es valido en el caso de funciones no positivas.
Z Por ejemplo, si
R
1
fn = [0,n] , entonces lm fn = 0 y fn = 1. Sin embargo,
lm inf fn = 0 >
Zn
lm inf
fn .
lm inf fn lm inf
fn .
37
Proposici
on 1.4.12.
Sea f 0 y (Ei )iN una sucesi
on de conjuntos medibles disjuntos dos
S
a dos. Si E = iN Ei , entonces
Z
XZ
f=
f.
E
iN
Ei
P
Demostraci
on. Llamamos ui = f Ei . Entonces f E = iN ui , de modo que basta aplicar
el corolario anterior.
(
|x|2 si x 6= 0
Ejemplo. Consideramos la funcion f (x) =
Veamos que f es integrable
0
si x = 0.
en cualquier conjunto {x : |x| }.
X
1
Ak (x).
Definimos Ak = {x : 2k < |x| 2k+1 } y g(x) =
ak (x), donde ak (x) = k
(2 )2
k=0
Z
Z
De esta manera, f g, de donde
f
g. Como el conjunto Ak se obtiene mediante
dilatacion de factor 2k del conjunto A = {x : 1 < |x| < 2}, entonces m(Ak ) = (2k )m(A).
Por el teorema de Levi,
Z
X
m(Ak )
2m(A)
g=
.
=
k
2
(2 )
k=0
Z
2m(A)
En consecuencia, f es integrable en {x : |x| } y
f
.
|x|
Proposici
on Z1.4.13. Sea f una funci
on no negativa integrable sobre E. Dado > 0, existe
f < , A E con m(A) < .
Demostraci
on. La proposicion es trivial si f es acotada. Sea pues fn (x) = mn{n, f (x)}.
As fn esZacotada yZ fn (x) f (x). Por el teorema de la convergencia monotona, existe N N
R
tal que
fN >
f /2 y E (f fN ) < /2. Elegimos < /2N , de modo que, si
E
Z
Corolario 1.4.14. La funci
on F (t) =
f es uniformemente convergente en R.
(,t]
[0,)
38
S
Demostraci
on. Como [0, ) =
on de intervalos es creciente, entonces
n=1 [0, n] y la sucesi
m([0, )) = lm m([0, n]). Basta aplicar la proposicion anterior para obtener
n
Z
f = lm
b [0,b]
[0,)
f.
f = lm R
0
El u
ltimo paso en la construccion de funciones integrables consiste en eliminar la restriccion
de ser no negativas.
Definici
on. Dada una funcion f , su parte positiva es la funcion f + (x) = max{f (x), 0}
y su parte negativa es la funcion f (x) = max{f (x), 0}. Se tiene que f = f + f y
|f | = f + + f . Es evidente que, si f es medible, tambien lo son f + y f .
Diremos que una funcion medible f es integrable sobre E si lo son f + y f . En este caso
definimos
Z
Z
Z
f=
f+
f .
E
Observaci
on. De la definicion se deduce que, si tenemos dos descomposiciones f = f1 f2 =
g1 g2 , donde f1 , f2 , g1 , g2 0 son integrables, entonces
Z
Z
Z
Z
f1
f2 =
g1
g2 .
E
Por otra parte, teniendo en cuenta el apartado vi) de la proposicion 1.4.8, dos funciones
integrables no negativas f y g solo toman el valor + en un conjunto de medida nula, de
modo que esta definida f g en casi todo punto.
Proposici
on 1.4.16. Sean f y g integrables sobre E. Entonces
Z
Z
i) c f es integrable sobre E y
cf =c
f.
E
E
Z
Z
Z
ii) f + g es integrable sobre E y
(f + g) =
f+
g.
E
E
E
Z
Z
iii) Si f g c.s.,
f
g.
E
Z
iv) Si A y B son conjuntos medibles disjuntos contenidos en E,
Z
f=
AB
Z
f+
f.
B
Demostraci
on. i) Es consecuencia de la definicion y de la proposicion 1.4.8.
ii) Si f y g son integrables, tambien lo son f + + g + y f + g . Como f + g = (f + + g + )
(f + g ), por la observacion previa tenemos:
Z
Z
Z
Z
Z
Z
Z
Z
Z
(f + g) = (f + + g + ) (f + g ) = f + + g + f g = f + g.
39
Demostraci
on. La funcion g fn es no negativa y, por el lema de Fatou,
Z
Z
(g f ) lm inf (g fn ).
E
Como |f | g, f es integrable y
Z
g
E
g lm sup
fn ,
E
Z
f lm sup
de donde
fn .
E
Z
f lm inf
fn .
E
Este resultado puede generalizarse debido a que la demostracion no necesita condiciones tan
fuertes. En concreto, el siguiente resultado tambien es valido.
Teorema 1.4.18. Sea (gn )nN una sucesi
on de funciones integrables que converge c.s. a una
funci
on integrable g.ZSea (fn )nZN una sucesi
onZde funciones
Z medibles tal que |fn | gn y fn
converge a f c.s. Si
g = lm
gn , entonces
f = lm
fn .
Demostraci
on. Supongamos, para simplificar la notacion, que fn (x) 0, para todo n. Entonces, como (g fn )+ g, por el teorema de la convergencia dominada,
Z
Z
lm (g fn )+ = (g f )+ .
Por otra parte, como gn fn 0,
Z
Z
Z
0 (g fn ) = (g gn + gn fn ) (g gn ) .
Z
Como ademas lm
(g gn ) = 0, resulta que
Z
lm
Z
(g fn ) =
Z
(g f )+ =
(g f ),
40
Observaci
on. El lema de Fatou tiene las hipotesis
Z mas debiles,Z fn acotadas inferiormente
f lm inf
f.
f = lm
fn .
El teorema de la convergencia monotona es un hbrido, necesita que fn esten acotadas inferiormente por cero y superiormente por la propia funcion lmite f . Si f es integrable, se trata
de un caso especial del teorema de la convergencia dominada. Sin embargo, junto con el lema
de Fatou, se puede aplicar sin necesidad de que f sea integrable.
1.4.3.
La construccion dada en las secciones anteriores nos permite concluir que la familia de funciones integrables en un conjunto medible E es un espacio vectorial. Por otra parte, si identificamos las funciones que son iguales en casi todo punto, obtenemos el espacio L1 (E) de las
clases de equivalencia de funciones integrables en E. Tambien es facil comprobar que se trata
de un espacio normado1 si definimos la norma
Z
kf k = kf k1 =
|f |.
E
Como una aplicacion directa de los teoremas de convergencia demostraremos que dicho espacio es completo, es decir que toda sucesion de Cauchy de funciones en L1 (E) es convergente.
Para ello, sea (fn )nN L1 (E) una sucesion de Cauchy. Entonces, dado cualquier k N,
existe nk tal que
kfnk+1 fnk k 2k .
Definimos ahora
f (x) = fn1 (x) +
k=1
k=1
X
X
|fn1 | +
|fnk+1 fnk | |fn1 | +
2k < ,
k=1
k=1
Un estudio m
as detallado de los espacios normados se realiza en el captulo 3.
41
1.4.4.
Convergencia en medida
|fn | 0. Queremos
La propiedad mas importante sera que la medida del conjunto {x : |fn (x)| > } tiende a
cero cuando 0.
Definici
on. Se dice que una sucesion (fn ) de funciones medibles converge a f en medida
si, dado > 0 existe N N tal que
m({x : |f (x) fn (x)| }) < , n N.
(
1
Ejemplo. Si n = k +
0k <
definimos fn (x) =
0
x [0, 1]. Entonces m({x : |fn (x)| > }) 2/n, con lo que fn
cualquier x [0, 1], la sucesion (fn ) toma el valor 1 para valores
n, con lo que no converge a cero puntualmente.
2 ,
2 ,
si x [k 2 , (k + 1)2 ]
,
en el resto
0 en medida pero, para
arbitrariamente grandes de
Proposici
on 1.4.19. Sea (fn )nN una sucesi
on de funciones medibles que converge en medida
a f . Entonces existe una subsucesi
on (fnk )kN que converge a f c.s.
Demostraci
on. Dado > 0, existe n N tal que
m({x : |fn (x) f (x)| 2 }) < 2 , n n .
Sea E = {x : |fn (x) f (x)|
2 }.
Entonces, si x 6
=k
E .
k=1 =k
Como m(A) m(
=k
E )
=k
Proposici
on 1.4.20. El lema de Fatou y los teoremas de convergencia mon
otona y convergencia dominada de Lebesgue son ciertos sustituyendo convergencia c.s. por convergencia en
medida.
1.5.
Derivaci
on e integraci
on de funciones medibles
42
1.5. Derivaci
on e integraci
on de funciones medibles
Bajo que condiciones existe la derivada de una funcion f (al menos c.s.) y cuando
b
1.5.1.
Diferenciaci
on de funciones mon
otonas
Definici
on. Decimos que una familia de intervalos I cubre a un conjunto E en el sentido
de Vitali cuando
> 0, x E, I I : x I, m(I) < .
Lema 1.5.1 (Vitali). Sea E un conjunto con m (E) < e I una familia de intervalos que
cubre a E en el sentido de Vitali. Entonces, dado > 0, existe {I1 , . . . , IN } I disjuntos dos
N
[
In ) = 0.
n=1
Demostraci
on. Basta probar el lema para el caso en que cada I I es cerrado (si no, se
puede sustituir cada intervalo por su clausura ya que el conjunto de puntos extremos de
{I1 , . . . , IN } tiene medida cero).
Sea A un conjunto abierto de medida finita tal que E A. Podemos suponer tambien que
cada I I esta contenido en A.
S
Sea I1 I arbitrario. Una vez elegidos I1 , . . . , In intervalos de I disjuntos, si E ni=1 Ii , el
teorema esta demostrado. Si no, llamamos
n
[
In = {I I : I
Ii = }
i=1
y kn = sup{m(I) : I In }.
S
Como ni=1 Ii es cerrado, In 6= , con lo que kn > 0. Ademas, como I A, kn m(A) < .
S
Mientras que no sea E ni=1 Ii , existe In+1 In tal que m(In+1 ) > kn /2.
43
Continuando este proceso, se define una sucesion (In )nN de intervalos disjuntos en I. Co
X
S
mo nN In A, entonces
m(In ) m(A) < . Existe entonces N N tal que
n=1
n=N +1
Llamamos F = E \
N
[
n=1
(n = 1, . . . , N ).
Si I Ii = , i n, entonces m(I) kn < 2m(In+1 ). Como lm m(In ) = 0 (por ser el termino
general de una serie convergente), debe existir n N tal que I In 6= . Sea n0 el menor
entero tal que I In 6= . Entonces n0 > N y m(I) kn0 1 2m(In0 ). Como x I, la
distancia de x al punto medio de In0 es menor o igual que m(I) + 21 m(In0 ) 52 m(In0 ), de
modo que x esta en el intervalo Jn0 que tiene el mismo punto medio que In0 y cinco veces su
longitud.
S
Con eso probamos que F
n=N +1 Jn , de donde
m (F )
m(Jn ) = 5
n=N +1
m(In ) < ,
n=N +1
Sn
i=1 Ii ,
n
X
m(Ii ) + .
i=1
Definici
on. Dada una funcion f , se definen sus derivadas (llamadas tambien n
umeros de
Dini) como
f (x + h) f (x)
h
h0+
f (x + h) f (x)
D+ f (x) = lm inf
+
h
h0
D+ f (x) = lm sup
f (x) f (x h)
,
h
h0+
f (x) f (x h)
, D f (x) = lm inf
.
+
h
h0
, D f (x) = lm sup
Es evidente que D+ f (x) D+ f (x) y D f (x) D f (x). Tambien es sencillo probar que al
menos una de las derivadas es infinita si f no es continua en x.
Si D+ f (x) = D+ f (x) = D f (x) = D f (x) 6= , decimos que f es diferenciable en x y
su valor com
un se denota por f 0 (x).
Demostraremos a continuacion un resultado que generaliza el probado por Lebesgue en 1904
de que toda funcion monotona es derivable. El resultado probado por Lebesgue necesitaba la
hipotesis adicional de que la funcion fuera continua.
44
1.5. Derivaci
on e integraci
on de funciones medibles
Teorema 1.5.2. Sea f : [a, b] R creciente. Entonces f es diferenciable en casi todo punto.
Su derivada f 0 es integrable y
Z
Demostraci
on. Veremos que los conjuntos donde dos de las derivadas son distintas tienen
medida cero. Consideraremos solo el caso en que D+ f (x) > D f (x) pues el resto de combinaciones se maneja de forma similar.
Sea E la union de los conjuntos
Eu,v = {x : D+ f (x) > u > v > D f (x)}, u, v Q.
Bastara probar que m (Eu,v ) = 0. Si llamamos s = m (Eu,v ), dado > 0, existe un abierto
A tal que Eu,v A y m(A) < s + .
Para cada x Eu,v , existe un intervalo [x h, x] A tal que f (x) f (x h) < v h.
Por el lema de Vitali, podemos encontrar una familia finita {I1 , . . . , IN } de tales intervalos
cuyos interiores cubren un subconjunto F de Eu,v cuya medida exterior es mayor que s .
Entonces
N
N
X
X
[f (xn ) f (xn hn )] < v
hn < v m(A) < v (s + ).
n=1
n=1
i=1
M
X
ki > u (s 2).
i=1
[f (xn ) f (xn hn )]
n=1
M
X
[f (yi + ki ) f (yi )]
i=1
45
a+1/n
f n
= lm inf n
b
f = lm inf f (b) n
a
a+1/n
#
f f (b) f (a).
Esto prueba que g es integrable y, por tanto, finita c.s. En definitiva, f es diferenciable c.s. y
g = f 0 c.s.
Observaciones.
1. Veamos con un ejemplo que la desigualdad no puede mejorarse en el caso de las funciones
continuas. Recordamos que el conjunto de Cantor C [0, 1] se define como interseccion
de cierta sucesion (Ck ), donde Ck es union de 2k intervalos cerrados.
si x = 0,
0
Definimos f1 (x) = 1/2 si 1/3 x 2/3, y lineal y continua en [0, 1]. De forma
1
si x = 1,
similar definimos,
0
si x = 0,
1
si x = 1,
y lineal y continua en [0, 1].
1
3
4
1
2
1
1 2 1
9 9 3
2 7 8 1
3 9 9
46
1.5. Derivaci
on e integraci
on de funciones medibles
Es facil probar que |fn+1 (x) fn (x)| 2n1 . Por tanto, dicha sucesion converge
uniformemente a una funcion continua y creciente, llamada funci
on de CantorLebesgue. Ademas, f (C) = [0, 1]. Como f es constante en cada intervalo del complementario del conjunto de Cantor y m(C) = 0, entonces f 0 (x) = 0 c.s. aunque
f (1) f (0) = 1.
Posteriormente veremos que la igualdad se alcanza en el caso de funciones absolutamente
continuas.
2. El resultado anterior tambien es valido si la funcion es decreciente. Durante mucho
tiempo se pensaba que la continuidad era condicion suficiente para la diferenciabilidad
en casi todo punto. Sin embargo, Karl Weierstrass encontro en 1872 un ejemplo, el cual
fue publicado por su alumno Emil du Bois-Reymond en 1875, de una funcion continua
en todo punto y diferenciable en ninguno. Dicha funcion esta definida por
f (x) =
n=0
X
{10n x}
Definimos la funcion f (x) =
, donde {t} representa la distancia de t al entero
10n
n=0
mas proximo.
0.5
0.4
0.3
0.2
0.1
0.5
{10n x}
1 1
n y la serie
10n es convergente, la serie que define f
10n
2 10
2
converge uniformemente en R (por el criterio de comparacion). Como todos los terminos
de la serie son funciones continuas, f es continua en R.
Como 0
1X
47
m1
X 10n hm m1
X
f (x + hm ) f (x) X {10n (x + hm )} {10n x}
=
=
=
1.
hm
10n hm
10n hm
n=0
n=0
n=0
1.5.2.
Funciones de variaci
on acotada
k
X
i=1
donde P = {t0 , t1 , . . . , tk } recorre el conjunto de particiones del intervalo [a, b]. Cuando L <
se dice que la curva es rectificable. Esta condicion es el punto de partida para definir las funciones de variacion acotada.
Definici
on. Sea f : [a, b] R y {x0 , x1 , . . . , xk } una particion de [a, b]. Definimos
p=
k
X
i=1
y t=n+p=
k
X
k
X
[f (xi ) f (xi1 )]
i=1
i=1
Llamamos P = sup p, N = sup n y T = sup t, sobre todas las particiones de [a, b]. Es evidente
que P T P + N.
Los n
umeros P = Pab , N = Nab y T = Tab reciben el nombre de variaci
on positiva, negativa
y total de f en [a, b], respectivamente. Si T < , decimos que f es de variaci
on acotada
en [a, b] y escribimos f VA[a, b].
De la definicion se deduce que la suma y el producto de funciones de variacion acotada es de
variacion acotada. Es facil verificar que toda funcion de variacion acotada es acotada (basta
elegir x [a, b] tal que f (x) > n y calcular la variacion de f con respecto a la particion
{a, x, b}) pero el recproco es falso, como se comprueba con el siguiente ejemplo:
La funcion f (x) = Q es acotada en [0, 1]. Para ver que no es de variacion acotada, para cada
n N, sea an un n
umero irracional en el intervalo (1/(n + 1), 1/n). Entonces, fijado N N,
N
X
n=1
|f (1/n) f (an )| =
N
X
n=1
1 = N,
48
1.5. Derivaci
on e integraci
on de funciones medibles
|f (xi ) f (xi1 )| =
i=1
k
X
i=1
2. Todas las funciones diferenciables con derivada acotada son de variacion acotada.
En efecto, si f es diferenciable en [a, b] y |f 0 (x)| M , por el teorema del valor medio,
|f (x) f (y)| M |x y|, de donde
k
X
|f (xi ) f (xi1 )|
i=1
(
x sen(x )
3. Sea f (x) =
0
k
X
i=1
si 0 < x 1,
si x = 0.
Es evidente que la suma de dos funciones crecientes es creciente y, por tanto, derivable en casi
todo punto. Sin embargo, la resta de dos funciones crecientes no necesariamente es creciente.
Veremos a continuacion (despues de un lema previo) que las funciones de variacion acotada
se caracterizan precisamente por ser resta de dos funciones crecientes.
Lema 1.5.3. Si f es de variaci
on acotada en [a, b], entonces Tab = Pab + Nab y f (b) f (a) =
b
b
Pa Na .
Demostraci
on. En cualquier particion de [a, b], p = n + f (b) f (a) N + f (b) f (a).
Tomando supremos, P N + f (b) f (a). Como N T < , entonces P N f (b) f (a).
Analogamente se prueba que N P f (a) f (b), por tanto P N = f (b) f (a).
Por u
ltimo, como T p + n = p + p (f (b) f (a)) = 2p + N P , entonces T 2P + N P =
P + N.
Como T P + N , deducimos que T = P + N .
Teorema 1.5.4. f VA[a, b] f es diferencia de dos funciones reales crecientes.
Demostraci
on. Sea f VA[a, b] y llamamos g(x) = Pax , h(x) = Nax . Entonces g y h son
funciones crecientes con valores reales pues
0 Pax Tax Tab < y 0 Nax Tax Tab < .
49
1.5.3.
Derivaci
on de una integral
Z
variaci
on acotada en [a, b].
Demostraci
on. La continuidad es consecuencia de la proposicion 1.4.13.
Para ver que es de variacion acotada, sea {x0 , x1 , . . . , xk } una particion de [a, b]. Entonces
Z b
k
k Z xi
k Z xi
X
X
X
|F (xi ) F (xi1 )| =
f (t) dt
|f (t)| dt =
|f (t)| dt.
xi1
xi1
a
i=1
Por tanto,
i=1
Tab (F )
i=1
|f (t)| dt < .
a
en [a, b].
Demostraci
on. Supongamos que f (x) > 0 en un conjunto E de medida positiva. Por la
proposicion 1.3.17, existe F E cerrado con m(F ) > 0.
Z b
Z b
Z
Z
Si llamamos A = (a, b) \ F , entonces, o bien
f 6= 0 o bien 0 =
f=
f+
f , con lo
a
a
F
A
Z
Z
que
f =
f 6= 0.
A
50
1.5. Derivaci
on e integraci
on de funciones medibles
Como A es union disjunta de una familia numerable {(an , bn )}nN de intervalos abiertos,
Z bn
Z
X Z bn
f . Por tanto, para alg
un n,
f 6= 0 con lo que
por la proposicion 1.4.8,
f =
nN an
an
f 6= 0.
f 6= 0 o
a
an
bn
Demostraci
on. Por el lema 1.5.6, F VA[a, b] de modo que existe F 0 (x) en casi todo x [a, b].
Sea |f | K.
Z x+1/n
Si llamamos fn (x) = n F (x + 1/n) F (x) , entonces fn (x) = n
f (t) dt, de donde
x
|fn | K.
Como fn (x) F 0 (x) c.s., por el teorema de la convergencia acotada 1.4.6, tenemos
Z c
Z c
Z c
F 0 (x) dx = lm
fn (x) dx = lm n
[F (x + 1/n) F (x)] dx
n a
n
a
a
" Z
#
Z a+1/n
Z c
c+1/n
= lm n
F (x) dx n
F (x) dx = F (c) F (a) =
f (x) dx
n
Z
pues F es continua. Por tanto,
Z
Teorema 1.5.9. Sea f integrable en [a, b] y supongamos que F (x) = F (a) +
f (t) dt.
a
Demostraci
on. Sin perdida de generalidad, podemos
Z x suponer que f 0. Definimos fn (x) =
mn{n, f (x)}. As f fn 0 de donde Gn (x) =
(f fn ) es una funcion creciente de x,
a
Z x
d
la cual tendra derivada c.s. y su derivada sera no negativa. Por el lema anterior,
fn =
dx a
Z x
d
d
fn (x) c.s. y F 0 (x) =
Gn (x) +
fn fn (x) c.s.
dx
dx a
Como n es arbitrario, F 0 (x) f (x) c.s. En consecuencia,
Z
a
F 0 (x) dx
51
n(n + 1)
, para todo x
2
0
[n, n + 1). Es evidente que F es continua y F 0 (x) = f (x) para todo x 6 Z.
Ejemplo. Si f (x) = [x] y F (x) =
1.5.4.
f , entonces F (x) = nx
Continuidad absoluta
Ya hemos comprobado (corolario 1.5.5 y teorema 1.5.2) que, si f es una funcioRn de variacion
x
acotada en [a, b], entonces f 0 existe y es integrable en [a, b]. Incluso, si g(x) = a f 0 , entonces
0
0
g (x) = f (x) en casi todo punto x [a, b] (teorema 1.5.9). Sabemos tambien que, si f
C (1) ([a, b]), entonces g(x) = f (x) f (a). Esta igualdad no siempre es cierta como se muestra
en las observaciones posteriores al teorema 1.5.2. En esta seccion queremos obtener esta
relacion entre f y g bajo condiciones mas generales.
Definici
on. Una funcion f : [a, b] R es absolutamente continua en [a, b] cuando
> 0, > 0 :
n
X
i=1
n
X
|x0i xi | < .
i=1
|f (bn ) f (an )| =
n=M
N
X
an > 1.
n=M
n
X
i=1
|x0i xi | < .
52
1.5. Derivaci
on e integraci
on de funciones medibles
Sea M un entero positivo tal que M > b a. Dada cualquier particion P de [a, b], sea P 0
el refinamiento de P que consiste en a
nadir los puntos a + i(b h a)/M (i = 1, . . . , M 1).
i
SM
k(ba)
0
Entonces P = k=1 Pk , donde Pk es una particion del intervalo a + (k1)(ba)
,
a
+
.
M
M
P
Por
on de M , en cada particion Pk se P
verifica que Pk |x0i xi | < . Por tanto,
P la definici
0
pues, a lo largo de P , P |f (x0i )f (xi )| < M y, en consecuencia,
Pk |f (xi )f (xi )| < 1. As
f es de variacion acotada.
Observaci
on. El resultado anterior permite encontrar ejemplos de funciones continuas pero
no absolutamente continuas. En efecto, la funcion f (0) = 0, f (x) = x sen(1/x), si x (0, 1], es
continua en [0, 1] pero no es de variacion acotada, por tanto tampoco absolutamente continua.
Por el corolario 1.5.5 se deduce inmediatamente el siguiente.
Corolario 1.5.11. Si f es absolutamente continua, f tiene derivada en casi todo punto.
Definici
on. Una funcion f : [a, b] R se dice que es singular cuando f 0 = 0 c.s. en [a, b].
En calculo elemental se prueba que, si f 0 (x) = 0, x [a, b], entonces f es constante. Sin
embargo, no toda funcion singular es constante (como por ejemplo la funcion de CantorLebesgue). El siguiente resultado proporciona condiciones suficientes para que una funcion
singular sea constante.
Lema 1.5.12. Si f es absolutamente continua en [a, b] y f 0 (x) = 0 c.s., entonces f es
constante.
Demostraci
on. Veamos que, para todo c [a, b], f (a) = f (c).
Sea E (a, c) el conjunto de medida c a en donde f 0 (x) = 0 y sean y n
umeros positivos
arbitrarios. Para cada x E, existe un intervalo [x, x + h] [a, c] tal que |f (x + h) f (x)| <
h.
Por el lema de Vitali, existe una familia finita {[xk , yk ] : k = 1, . . . , n} de intervalos que no se
solapan y cubren a E excepto por un conjunto de medida menor que , donde es el n
umero
positivo correspondiente a en la definicion de continuidad absoluta de f .
Si ordenamos los puntos xk para que xk xk+1 , entonces
y0 = a x1 < y1 x2 < yn c = xn+1
y
n
X
|xk+1 yk | < .
k=0
Ahora bien,
n
X
|f (yk ) f (xk )|
k=1
n
X
(yk xk ) < (c a)
k=1
n
n
X
X
|f (c) f (a)| = [f (xk+1 ) f (yk )] +
[f (yk ) f (xk )] + (b a).
k=0
k=1
53
Por el teorema 1.5.9, f 0 (x) = F 0 (x) G0 (x) = 0 c.s. de modo que f es constante por el lema
anterior.
Z
x
En consecuencia, F (x) =
F 0 (t) dt + F (a).
1.5.5.
Funciones convexas
Terminamos este captulo estudiando las funciones convexas, las cuales constituyen un ejemplo sencillo de funciones absolutamente continuas.
Definici
on. Una funcion : (a, b) R es convexa si
x, y (a, b), 0 1, (x + (1 )y) (x) + (1 )(y).
Geometricamente, esto significa que todos los puntos de la cuerda que une (x, (x)) con
(y, (y)) quedan por encima de la grafica de .
54
1.5. Derivaci
on e integraci
on de funciones medibles
yx
y 0 x0
Demostraci
on. Como y (x, y 0 ), y = x + (1 )y 0 = (y) (x) + (1 )(y 0 ).
Como x0 (x, y 0 ), x0 = x + (1 )y 0 = (x0 ) (x) + (1 )(y 0 ).
Entonces y x = ( 1)x + (1 )y 0 = (1 )(y 0 x) y y 0 x0 = (y 0 x). Por tanto,
1
yx=
(y 0 x0 ).
y 0 x0
((y) (x)) =
((y) (x)).
1
yx
(y) (x)
(y 0 ) (x0 )
.
yx
y 0 x0
Definici
on. Si D f (x) = D f (x) < , decimos que f es diferenciable en x por la
izquierda, y si D+ f (x) = D+ f (x) < , decimos que f es diferenciable en x por la
derecha.
Proposici
on 1.5.16. Si es convexa en (a, b), es absolutamente continua en cada subintervalo cerrado de (a, b). Las derivadas por la derecha y por la izquierda de existen en todo
x (a, b) y son iguales excepto en un conjunto numerable. Las derivadas por la izquierda
y por la derecha son funciones crecientes y, en cada punto, la derivada por la izquierda es
menor o igual que la derivada por la derecha.
Demostraci
on. Sea [c, d] (a, b). Por el lema anterior,
x, y [c, d],
(c) (a)
(y) (x)
(b) (d)
.
ca
yx
bd
x x0
y y0
y cualquier derivada en x0 es menor o igual que cualquier derivada en y0 . En consecuencia,
cada derivada es monotona y seran iguales en los puntos para los que alguna de ellas sea
55
continua. Como una funcion monotona solo puede tener una cantidad numerable de discontinuidades, deben ser iguales excepto en un conjunto numerable.
Definici
on. Dada una funcion convexa en (a, b), si x0 (a, b), la recta y = m(xx0 )+(x0 )
se llama soporte en x0 si queda siempre por debajo de la grafica de , es decir si (x)
m(x x0 ) + (x0 ).
Del lema 1.5.15 se deduce que la recta es soporte si y solo si su pendiente esta comprendida
entre las derivadas por la izquierda y por la derecha en x0 . En particular, sabemos que siempre
existe una recta soporte en cada punto.
Proposici
on 1.5.17 (Desigualdad de Jensen). Sea una funci
on convexa en (, )
y f una funci
on integrable en [0, 1]. Entonces
Z
Z
(f (t)) dt
f (t) dt .
Demostraci
on. Llamamos =
soporte en . Entonces
1.6.
C
alculo integral de funciones integrables
1.6.1.
F
ormulas de integraci
on
Proposici
on 1.6.1 (cambio de variables). Sean g : [c, d] R una funci
on derivable con
derivada acotada y f : g[c, d] R una funci
on continua. Si llamamos a = g(c), b = g(d),
entonces
Z
Z
b
f=
a
(f g) g 0 .
56
1.6. C
alculo integral de funciones integrables
f = F (b) F (a).
f . Entonces
Demostraci
on. Sea F (x) =
La funcion G(t) = F (g(t)) es derivable en [c, d] y G0 (t) = F 0 (g(t)) g 0 (t) = f (g(t)) g 0 (t).
Como G0 es acotada,
d
Proposici
on 1.6.2 (integraci
on por partes). Sean F, G : [a, b] R continuas en [a, b] y
derivables en (a, b), con derivadas acotadas. Si F 0 = f , G0 = g en (a, b), entonces
Z
G f.
F g = (F G)(b) (F G)(a)
a
Z
Demostraci
on. Las funciones F, G, f, g son acotadas y (F G)(x) =
F g + G f . Por la
a
regla de Barrow,
Z
(F G)(b) (F G)(a) =
(F g + G f ).
a
Proposici
on 1.6.3 (integrales impropias). Sea f : (a, ) R una funci
on medible. Si
Z
Z b
f es integrable, entonces
f = lm
f.
b a
Demostraci
on. Definimos la sucesion fn (x) = f (x) [a,a+n] (x). Entonces lm fn (x) = f (x),
x > a y |fn (x)| |f (x)|. Por el teorema de la convergencia dominada,
Z
lm
n a
Z
fn =
Z
f = lm
n a
a+n
Z
f=
f.
a
En el caso de que f sea integrable en (a, b), b > a, f sera medible en (a, ) porque f =
lmn f (a,a+n) .
Z b
a) Si f 0 y existe lm
f < , entonces f es integrable en (a, ) (basta aplicar el
b a
b a
57
Ejemplo. Dado
( a > 0, sea f : [a, ) R la funcion definida por f (x) = 1/x . Entonces
Z b
ln b ln a
si = 1,
1
dx =
As, f es integrable en (a, ) si y solo si > 1.
1
1
1
a
) si 6= 1.
a x
1 (b
a1
La integral vale
.
1
Proposici
on 1.6.4 (criterio de comparaci
on). Sean f, g : (a, ) [0, ) funciones
f (x)
medibles y g > 0. Si f, g son integrables en (a, b), b > a y existe lm
= , entonces:
x g(x)
a) Si (0, ), f es integrable si y s
olo si g es integrable.
b) Si = 0, g integrable = f integrable.
c) Si = , f integrable = g integrable.
Demostraci
on. a) Si (0, ),
f (x)
< , x M b g(x) < f (x) < 3 g(x).
g(x)
2
2
2
b) Si = 0,
f (x)
g(x) < |f (x)| < |g(x)|.
c) Si = ,
f (x)
g(x) > k |f (x)| > k|g(x)|.
x2 + 5
sen x es integrable en (1, ).
3x4 + 7x
x2 + 5
x2 + 5
1
Basta observar que |f (x)| 4
y que lm
/
= 1/3.
x 3x4 + 7x x2
3x + 7x
Z b
Observaci
on. Si f tiene signo variable, puede existir lm
f y no ser integrable. Por
b a
Z b
sen x
dx <
ejemplo, la funcion f (x) = sen x/x no es integrable en (0, ) pero existe lm
b 0
x
.
sen x
En efecto, como lm
= 1, entonces f es integrable en (0, b), para todo b > 0. Sin
x
x0+
embargo,
Ejemplo. La funcion f (x) =
Z (k+1)
n1
n1
n1
sen x
X Z (k+1) sen x
X
1
2X 1
| sen x| dx =
.
dx =
dx
x
x
(k + 1) k
k+1
k
k=1
Z
Esto implica que
k=1
k=1
sen x
dx = , de modo que f no es integrable en (0, ).
x
58
1.6. C
alculo integral de funciones integrables
sen x
cos b 1
dx =
x
b
cos x
dx.
x2
cos x
1
cos x
Como 2 2 y 1/x2 es integrable en (, b), tambien lo es
. Entonces existe
x
x2
Z b x
Z
sen x
1
cos x
lm
dx =
dx < .
b
x
x2
Z b
sen x
Como f es integrable en (0, ), existe lm
dx < .
b 0
x
1.6.2.
En los siguientes resultados, supondremos que f : R I R es una Zfuncion tal que, para
cada t I, la funcion f (, t) es integrable. Esto permite definir F (t) =
f (x, t) dx.
R
tt0
lm f (x, t) dx.
R tt0
Demostraci
on. Sea (tn )nN I una sucesion convergente a t0 , tn 6= t0 . Si definimos fn (x) =
f (x, tn ), por hipotesis lmn fn (x) = f (x, t0 ) en casi todo x R.
Por el teorema de la convergencia dominada,
Z
Z
lm F (tn ) = lm
fn =
n
n R
Z
lm fn =
R n
lm f (x, t) dx.
R tt0
f
Teorema 1.6.6 (f
ormula de Leibniz). Si existe
(x, t), t I y casi todo x R, y
t
f
existe g integrable en R tal que (x, t) g(x), t I y casi todo x R, entonces F es
t
Z
f
0
derivable en I y F (t) =
(x, t) dx.
R t
Demostraci
on. Por definicion,
F (t) F (t0 )
F (t0 ) = lm
= lm
tt0
tt0
t t0
0
Z
R
f (x, t) f (x, t0 )
dx.
t t0
E1 R, m(E1 ) = 0 : x 6 E1 , lm
59
Por tanto, x 6 E1 E2 ,
f (x, t) f (x, t0 ) f
= (x, s) g(x).
t
t t0
f (x, t) f (x, t0 )
lm
Por el teorema anterior, F (t0 ) =
dx =
t t0
R tt0
0
1.7.
Z
R
f
(x, t0 ) dx.
t
Ejercicios
60
1.7. Ejercicios
m (A) + m (B \ A).
Solucion. a) Si m (A) = , basta elegir G = R.
Si m (A) < , para cada n \N existe An abierto tal que A An y m(An ) <
An , entonces G G , A G y m (A) = m(G).
m (A) + 1/n. Si definimos G =
nN
rQ
61
An
An
|fn f | 0.
62
1.7. Ejercicios
si x [n 1/2n , n]
2 (x n) + 1
Solucion. a) Definimos la funcion f (x) = 2n (x + n) + 1 si x [n, n + 1/2n ] para
0
en el resto,
R
P
n
n N. De este modo, f = nN 1/2 = 1, conSlo que f es integrable. Sin embargo,
dado (0, 1), el conjunto {x : |f (x)| } = nN In y para todo M > 0, m({x :
|f (x)| } {x : |x| M }) > 0.
b) Sean Q [0, 1] = {x1 , x2 , . . . } y (0, 1/4). Si llamamos AnT= (xn /2n , xnS
+/2n ),
entonces Fn = [0, 1]\An es cerrado y compacto. Ademas F = nN Fn = [0, 1]\ nN An
es compacto. Como F no contiene n
umeros racionales, int F = . Por tanto, fr F = F
y m(fr F ) > 1 2 > 0.
R 1/n
c) Definimos la funcion f : (0, 1] R de manera que 1/(n+1) f = (1)n+1 /n (n N).
Z
X
R1
P
n+1
As lma0 a f = nN (1)
/n < y, sin embargo,
|f | =
1/n = con
(0,1]
nN
1
ln z =
dx = lm
fn (x) dx = lm n n z 1 .
n
n
x
1
1
Analogamente, como la sucesion (fn ) es creciente si 0 < x < 1, se llega al mismo
resultado cuando 0 < z < 1.
Z
Z
1
1
13. Calcular
(x)
dx
y
[0,1] (x) dx.
[0,1]
x2
x
Solucion. Sea (0, 1) arbitrario. La funcion f (x) = x12 [,1] (x) es lmite de una
sucesion (sn ) de funciones simples, donde sn se define como la suma inferior de Riemann
con respecto a una particion de [, 1] con n subintervalos iguales.
63
Basta por tanto elegir una sucesion fn (x) = x12 [n ,1] (x), donde 0 < n < 1 y n 0
y aplicar el teorema de la convergencia monotona para obtener
Z
Z
1
1
1
[0,1] (x) dx = lm
[0,n ] (x) dx = lm
1 = .
0
x2
x2
La segunda integral se resuelve de forma similar.
14. Calcular
Z
lm
1 + nx2
(1 + x2 )n
dx.
1
+
x
=
1
+
(1 + x2 )n
(1 + x2 )n+1
1 + nx2
1 + nx2
y tiene lmite cero
1 + nx2
1 + nx2
0.
(1 + x2 )n
1 + nx2 + n(n 1)x4 /2
Por el teorema de la convergencia monotona, el lmite de la integral es cero.
Z n
x n ax
15. Calcular lm
1+
e dx, con a < 1.
n 0
n
x n ax
Solucion. Consideramos la sucesion fn (x) = 1 +
e [0,n] (x) de funciones medin
bles no negativas en (0, ).
Ademas fn (x) fn+1 (x), x > 0, y lm fn (x) = e(a+1)x .
Podemos aplicar el teorema de la convergencia monotona:
Z
Z
lm
fn (x) dx =
lm fn (x) dx.
n 0
Por tanto,
Z
lm
n 0
Z
fn (x) dx =
e(a+1)x dx =
1
.
a+1
64
1.7. Ejercicios
Solucion. Veamos primero que la sucesion fn (t) =
t
1
n
n
t
1
n+1
n+1
t
1
n
n
es creciente, es decir que
(n t)n
nn
.
(n + 1 t)n+1
(n + 1)n+1
(n x)n
. Teniendo en cuenta que
(n + 1 x)n+1
nn
, lo u
nico que necesitamos es probar que f (x) f (0), para 0 x n,
(n + 1)n+1
es decir que f es decreciente en [0, n]. Se puede comprobar por calculo directo que
f 0 (x) 0, si x [0, n].
f (0) =
si 0 < < 1
Z
que lm
n ln (1 + (f /n) ) = c
si = 1
n
0
si 1 < < .
Solucion. Consideramos la sucesion fn = n ln (1 + (f /n) ). Tenemos as que fn 0.
Si 1, la sucesion (fn ) es creciente. Ademas,
1
lm fn = lm ln 1 +
(n/f )
(
f
= lm n1 f =
si = 1
si < 1,
lm n ln (1 + (f /n) ) = lm n ln (1 + (f /n) ) = lm n1 f = 0.
18. Calcular
Z
(1 + (x/n))n sen(x/n) dx.
a) lm
n 0
Z
b) lm
n sen(x/n) (x(1 + x2 ))1 dx.
n 0
Z
c) lm
n(1 + n2 x2 )1 dx seg
un los valores de a.
n
65
b) Si x > 0,
|n sen(x/n) (x(1 + x2 ))1 | n (x/n) (x(1 + x2 ))1 = (1 + x2 )1 .
Ademas g(x) = (1 + x2 )1 es integrable en (0, ).
Por el teorema de la convergencia dominada,
Z
Z
2 1
lm n sen(x/n) (x(1 + x )) dx =
lm n sen(x/n) (x(1 + x2 ))1 dx
Z
=
(1 + x2 )1 dx = /2.
0
Por tanto, lm
2 2 1
a n(1 + n x )
Z
dx = 0 si a > 0 y lm
a n(1 + n2 x2 )1 dx = /2
si a = 0.
19. Dadas las funciones
Z
f (x) =
t2
2
dt
, g(x) =
2 (t2 +1)
ex
t2 + 1
dt,
probar:
a) f (x) + g(x) = /4.
Z
2
b)
ex dx = /2.
0
al hacer en la u
ltima integral el cambio de variable tx = u.
Ademas, f (0) = 0 y g(0) = /4.
b) Basta observar que lmx g(x) = 0 y aplicar a).
ex
2 t2
dt = f 0 (x),
66
1.7. Ejercicios
20. Demostrar:
Z
(2n)!
2n x2
a)
x e
dx =
.
4n n!
2
2
ex cos ax dx = ea /4 .
b) Si a 0,
p1
c) Si p > 0,
(x 1)
ln x dx =
n=0
(p + n)2
Z
x2n+1
x2n+1 x2
2
ex
e
dx
+
2x
2n + 1
2n + 1
Z
2
2
x2(n+1) ex dx.
2n + 1
x2n ex dx =
2(n+1) x2
Por tanto,
(2n + 2)!
dx = n+1
.
4
(n + 1)!
X
(1)n (ax)2n
(2n)!
n=0
y aplicamos el apartado
a). Entonces,
Z
(1)n a2n x2 2n
e
x dx
(2n)!
n=0
X
(1)n a2n (2n)!
2
=
n
= ea /4 .
(2n)!
4 n!
ex cos ax dx =
n=0
X
1
xn , con lo que:
=
1x
n=0
1
p1
(x 1)
ln x dx =
Z
X
xn+p1 ln n dx.
n=0 0
Z
X
n=0 0
1
n+p1
Z
X
i
1 h n+p
(x
ln x)0 xn+p1 dx
n+p
n=0 0
X
1
xn+p 1 X
1
=
.
=
n+p n+p 0
(p + n)2
ln n dx =
n=0
n=0
67
y verifica
i) (y + 1) = y (y), y > 0.
ii) (n + 1) = n!, n 0.
iii) (1/2) = .
kf
= ex
y k
xy1 (ln x)k estan acotadas por una funcion integrable, para todo y (a, b), con
0 < a < b < .
Solucion. Veamos que f (x, y) = ex xy1 y sus derivadas parciales
ex
xb1
si 0 < x 1
si 1 x
0
ex xy1
El mismo procedimiento permite demostrar que las demas derivadas son continuas.
Las demas propiedades se demuestran por integracion y utilizando los ejercicios anteriores.
Z n
x n x
22. Calcular lm
1
e dx.
n 0
n
x n x
e [0,n] (x) de funciones mediSolucion. Consideramos la sucesion fn (x) = 1
n
2x
bles en (0, ). Entonces lm fn (x) = e .
Como |fn (x)| ex y la funcion g(x) = ex es medible e integrable en (0, ), se puede
aplicar el teorema de la convergencia dominada. As pues,
Z n
Z
Z
Z
1
lm
fn (x) dx = lm
fn (x) dx =
lm fn (x) dx =
e2x dx = .
n 0
n 0
2
0
0
Z
23. Calcular lm
1
1+
x n
n
x1/n
dx.
68
1.7. Ejercicios
1+
x n 1/n
x
n
es positiva y continua.
Queremos encontrar una funcion g medible e integrable en (0, ) tal que fn (x) g(x),
x > 0 y as aplicar el teorema de la convergencia dominada.
Sabemos que, para todo n 2,
fn (x) = fn (x) (0,1] (x) + fn (x) [1,) (x)
1
y la funcion g(x) =
1
x1/2
(0,1] (x)+
1
x1/2
(0,1] (x) +
1
[1,) (x)
(1 + x/2)2
1
son continuas en (0, ).
(1 + x/2)2
R
R1
Ademas, 0 g1 (x) dx = 2 y 1 g2 (x) dx = 4/3 con lo que g1 y g2 son integrables.
g1 (x) =
x1/2
y g2 (x) =
1
24. Calcular lm
n
2n
ex dx = 1.
ex dx.
x n x
Solucion. La sucesion fn (x) = 1
e [0,n] (x) de funciones medibles no nega2n
tivas tiene lmite puntual lm fn (x) = ex/2 .
Por el lema de Fatou,
Z
Z n
lm inf
fn (x) dx
0
Z
lm inf fn (x) dx =
ex/2 dx = .
fn (x) dx = .
Por tanto, lm
n 0
25. Calcular lm
nx sen x
La funcion g(x) =
1
xp1
Z
es continua y, por tanto, medible. Ademas, como
g(x) dx <
, g es integrable.
Podemos aplicar el teorema de la convergencia dominada, con lo que
Z 1
Z 1
Z 1
nx sen x
nx sen x
sen x
lm
dx
=
l
m
dx
=
lm 1
dx = 0.
p
p1
n 0 1 + (nx)p
n
n
1
+
(nx)
0
0
nx + (nx)
26. Calcular lm
ln(n + x)
n
69
ex cos x dx.
ln(n + x) x
e cos x, como 0 < x < 1,
n
ln(n + 1) n + 1 x
e 1 + 1/n 2.
n+1
n
|fn (x)|
n
X
|f (xi ) f (xi1 )| +
i=1
|f (xi ) f (xi1 )| =
n
X
i=1
i=k+1
|f (xi ) f (xi1 )| =
i=1
k
X
i=1
k
X
n
X
|f (xi ) f (xi1 )|
i=k+2
i=1
+|f (k + 1) f (c)| +
n
X
i=k+2
70
1.7. Ejercicios
n
X
i=1
Supongamos que xk1 x < xk y elegimos y [a, b] tal que x < y < xk . Llamamos
P 0 = {x0 , x1 , . . . , xk1 , x, y, xk , . . . , xn }. Entonces
X
Tab (f ) <
|f | Tab (f ).
P0
Como g es creciente,
P0
En particular, 0 g(y) g(x) |f (y) f (x)| < . Como lmyx |f (y) f (x)| = 0,
entonces lmyx (g(y) g(x)) = 0.
Rx
Rb
30. Sea f integrable en [a, b]. Si F = a f , probar que Tab (F ) = a |f |.
Rb
Solucion. La desigualdad Tab (F ) a |f | esta probada en teora.
Sea (gn ) una sucesion de funciones escalonadas en [a, b] tal que lm gn (x) = f (x) c.s.
si n gn (x) > 1
1
Definimos hn (x) = 1
Entonces hn es escalonada,
si n gn (x) < 1
n gn (x) si 1 n gn (x) 1.
|hn (x)| 1 y lm hn (x) = 1 c.s. si f (x) > 0, y lm hn (x) = 1 c.s. si f (x) < 0.
Como |hn f | |f |, lm hn (x) f (x) = |f (x)| c.s.
Rb
Rb
Por el teorema de la convergencia dominada, lm a hn f = a |f |.
P
Si hn (x) = ni=1 ci (xi1 ,xi ) , donde {x0 , x1 , . . . , xn } es una particion de [a, b], entonces
Z
hn f =
a
n Z
X
i=1
xi
hn f =
xi1
Rb
a
n
X
ci (F (xi ) F (xi1 ))
i=1
|f | Tab (F ).
n
X
i=1
71
Pn
k=1 (dk
m (f (E)) m (f (A))
X
k=1
m(f [ak , bk ]) =
Pn
k=1 |f (dk )
|f (dk ) f (ck )| .
k=1
.
h
h
h
Si E es el conjunto de medida cero donde no tienen derivada la sucesion (fn ) y la funcion
f , entonces
0
(x) f (x), x [a, b] \ E.
Sk0 (x) Sk+1
Por tanto, (Sk0 (x)) es una sucesion acotada y creciente, con lo que tambien converge.
Veamos que contiene alguna subsucesion que converge a f 0 .
Definimos Skj de modo que f (b) Skj (b) < 2j (j N). Como f P
Skj es una funcion
j
creciente, entonces f (x) Skj (x) < 2 , x [a, b]. Por tanto, jN (f (x) Skj (x))
converge x [a, b].
P
Aplicando la primera parte de la demostracion, jN (f 0 (x) Sk0 j (x)) converge x
P 0
[a, b] \ E. Esto implica que lmj (f 0 (x) Sk0 j (x)) = 0, es decir
Skj (x) = f 0 (x) c.s.
33. Sea f absolutamente continua en [a, b]. Probar que g(x) = Tax (f ) es absolutamente continua en [a, b].
n
X
Solucion. Dado > 0, existe > 0 tal que
|f (x0i ) f (xi )| < si {(xi , x0i )}ni=1 es una
i=1
P
familia de intervalos disjuntos, con ni=1 |x0i xi | < .
72
1.7. Ejercicios
Para cada i = 1, . . . , n, sea Pi = {z0i , . . . , zri i } una particion de [xi , x0i ]. Entonces
ri
n X
X
|zji
i=1 j=1
Por tanto,
ri
n X
X
i
zj1
|
n
X
|x0i xi | < .
i=1
i
|f (zji ) f (zj1
)| < .
i=1 j=1
Tomando
supremos sobre las particiones de [xi , x0i ], resulta
Pn
0
i=1 |g(xi ) g(xi )| .
x0i
i=1 Txi (f )
Pn
de donde
Captulo 2
2.1.
Espacios de medida
Fue Frechet en 1915 el primero en observar que los conjuntos medibles Lebesgue no jugaban
un papel esencial en la definicion de integral. Lo importante es que la familia de dichos
conjuntos forme una -algebra.
Recordamos que una -
algebra definida en un conjunto X es una familia de subconjuntos
de X que verifica
i) .
ii) A = Ac .
[
iii) (Ai )iN =
Ai .
iN
Definici
on. Un espacio medible es un par (X, ) formado por un conjunto X y una algebra de subconjuntos de X. Un subconjunto A X es medible si A .
Definici
on. Dado un espacio medible (X, ), una medida es una funcion : R tal
que
i) (A) 0, A .
ii) () = 0.
[
X
iii) ( Ai ) =
(Ai ), si Ai , Ai Aj = (i 6= j).
iN
iN
Un espacio de medida es una terna (X, , ) formada por un espacio medible (X, ) y una
medida definida en el.
73
74
Ejemplos.
1. (R, M, m) es un espacio de medida si M son los conjuntos medibles
Z y m la medida de
f , donde f es una
Lebesgue. Tambien es un espacio de medida (R, M, ) si (E) =
E
Sn1
Proposici
on 2.1.3. Sea (Ai )iN una sucesi
on de conjuntos medibles.
[
a) Si Ai Ai+1 (i N), entonces ( Ai ) = lm (An ).
iN
iN
Ai ) = lm (An ).
n
75
Demostraci
on. a) Si definimos B1 = A1 , Bn = An \ An1 (n > 1), entonces los conjuntos Bn
son disjuntos dos a dos y, para cada n N, An = B1 Bn . Por tanto,
[
[
X
( Ai ) = ( Bi ) =
(Bi )
iN
iN
b) Llamamos A =
iN Ai .
lm
iN
n
X
(Bi ) = lm (
n
i=1
n
[
Bi ) = lm (An ).
n
i=1
As
A1 = A
(Ai \ Ai+1 )
iN
= (A) +
n1
X
(Ai ) (Ai+1 ) = (A) + lm
(Ai ) (Ai+1 )
iN
i=1
Definici
oS
n. Una medida es finita si (X) < y es -finita si existe (Xn )nN tal
que X = nN Xn y (Xn ) < , n. Una medida de probabilidad es aquella que verifica
(X) = 1.
Por ejemplo, la medida de Lebesgue en [0, 1] es finita pero la medida de Lebesgue en R es
-finita. La medida de contar en un conjunto no numerable no es -finita.
Un conjunto A tiene medida finita si AS y (A) < y tiene medida -finita si existe
(An )nN tal que (An ) < y A = nN An .
Si es una medida -finita, todo conjunto medible tiene medida -finita.
Definici
on. Un espacio de medida (X, , ) es completo si contiene todos los subconjuntos de conjuntos de medida cero. Por ejemplo, la medida de Lebesgue es completa pero su
restriccion a la -algebra de los conjuntos de Borel no es completa.
Proposici
on 2.1.4 (compleci
on). Si (X, , ) es un espacio de medida, existe un espacio
completo (X, 0 , 0 ) tal que
i) 0 .
ii) A = (A) = 0 (A).
iii) A 0 A = U V , con V y U C, C , (C) = 0.
Esquema de la prueba.
La familia 0 definida en iii) es -algebra.
76
2.2.
Funciones medibles
77
2.3.
Integraci
on de funciones medibles
Z
d =
n
X
ci (Ei ),
i=1
i=1
(a + b) d = a
d + b
Z
=
d;
Z
d
d.
Definici
on. Si f : X R es una funcion medible no negativa en (X, , ), se define
Z
Z
f d = sup{ d : es una funcion simple con 0 f }.
Z
Del mismo modo, se define
Z
f d =
f E d si E .
Proposici
on 2.3.1. Sean f, g : X [0, ] medibles y A, B . Entonces
Z
Z
i) f g c.s = f d g d.
Z
Z
ii) A B =
f d
f d.
A
78
2.3. Integraci
on de funciones medibles
Z
iii) f (x) = 0 para casi todo x A =
Z
f d = 0.
iv) (A) = 0 =
f d = 0.
A
Demostraci
on. La primera parte es evidente. Para probar ii), basta observar que f A f B
y aplicar i).
El apartado iii) es
Z evidente porque, si es una funcion simple tal que 0 f , entonces
= 0, de donde
d = 0.
A
P
Por u
ltimo, si = kN ck Ek es una funcion simple tal que 0 f , entonces
Z
d =
A
ck (Ek A) = 0
kN
ya que Ek A A y (A) = 0.
Proposici
on 2.3.2. Sea f : X [0, ] medible.
Z
1
a) Para todo > 0, ({x : f (x) })
f d.
Z
b) Si E es medible,
f d = 0 = f = 0 c.s. en E.
E
Z
c) Si E es medible,
f d < = f < c.s. en E.
E
Demostraci
on. a) Si llamamos E = {x : f (x) }, entonces
Z
Z
Z
(E) = E d
f d
f d.
E
b) Para cualquier n N,
Z
Z
f E d = n
({x : f E 1/n}) n
f d = 0.
E
Como
{x : f E > 0} =
{x : f E 1/n},
nN
79
Proposici
on 2.3.3. Sea (X, , ) es un espacio de medida completo.
a) Si f = g c.s. y f es medible, entonces g es medible.
b) Si, k N, fk son reales y medibles y fk f c.s., entonces f es medible.
Demostraci
on. a) Sean R, B con (B) = 0 tal que f (x) = g(x), si x B c . Entonces
{x : g(x) < } = ({x : g(x) < } B c ) ({x : g(x) < } B)
= ({x : f (x) < } B c ) ({x : g(x) < } B).
El primero de estos conjuntos es medible por serlo f y el segundo tambien es medible por
estar contenido en B y por ser el espacio completo.
b) Sea B con (B) = 0 y fk (x) f (x), x B c .
Si gk = fk B c , entonces gk es medible y gk f B c . Entonces f Bc es medible. Como
f B c = f c.s., entonces f es tambien medible.
La aditividad de la integral ya no es evidente y se prueba utilizando los teoremas de convergencia.
Teorema 2.3.4 (lema de Fatou). Sea (fn )nN una sucesi
on de funciones medibles no
negativas que converge a f c.s. en E. Entonces
Z
Z
f d lm inf
fn d.
E
Demostraci
on. Supongamos (por simplicidad en la notacion) que fn (x) f (x), x E.
Probaremos que
Z
Z
d lm inf
fn d, funcion simple con 0 f.
E
Z
d = , entonces existe A medible, con A E y (A) = , tal que > M > 0
Si
E
en A, M > 0.
Llamamos An =
kn
S
conjuntos medibles tal que A nN An (pues lm fn ) y, si x A, (x) > M .
Entonces lm (An ) (A) = .
Z
Z
Z
Z
Como
fn d
fn d > M (An ), entonces lm
fn d = =
d.
E
An
Z
d < , existe un conjunto medible A E con (A) < , tal que se anula
Si
E
{x A : fk (x) (1 )(x)}.
kn
80
2.3. Integraci
on de funciones medibles
S
As (An )nN es una sucesion creciente de conjuntos medibles
tal
que
A
nN An de
T
modo que (A \ An )nN es una sucesion decreciente con nN (A \ An ) = .
T
Como ( nN A \ An ) = lm (A \ An ) = 0, existe n0 N tal que (A \ Ak ) < ,
k n0 . Por tanto,
Z
Z
Z
Z
Z
fk d
fk d (1 )
d = (1 )
d (1 )
d
E
Ak
Ak
E
A\Ak
Z
Z
Z
Z
d + M ,
d
d
d
(1 )
E
A\Ak
Z
d ( d + M ).
E
E
E
Z
Z
d.
fn d
Com es arbitrario, lm inf
Z
de donde lm inf
fn d
Z
Z
fn d
Z
f d lm inf
Z
fn d lm sup
fn d
nN
Z
fn d
f d.
81
Z
f d 0. Si
f d = 0, llamamos An = {x : f (x) 1/n}. Entonces
Z
S
y (An ) =
An d = 0. Como {x : f (x) > 0} = nN An , entonces dicho
b) Es evidente que
f
1
n
An
nN
Corolario 2.3.8. Si A =
nN An ,
Definici
on.
Z Una funcion f 0 se dice integrable sobre un conjunto medible E si es
f d < .
medible y
E
Z
Sea f : X R una funcion medible. Se define
Z
f d =
f + d
f d si alguna de
las integrales de la derecha es finita. Decimos que f es integrable cuando ambas son finitas.
Si E , f es integrable en E cuando f E es integrable.
Proposici
on 2.3.9. Sean E un conjunto medible y f una funci
Entonces
oZn real y medible.
Z
f es integrable en E si y s
olo si |f | es integrable en E. Adem
as f d
|f | d.
E
Demostraci
on. i) Si f g, entonces f + g + y f g . Por tanto,
Z
Z
+
(f f ) d (g + g ) d.
ii) Basta observar que |f | = |g| c.s.
El resto es evidente.
Proposici
on 2.3.12.
Z
Z i) Si f , gZ son integrables y a, b R, entonces af + bg es integrable y
(af + bg) d = a
f d + b
g d.
E
82
kN
Ak (uni
on disjunta), entonces
kN
Ak
Z
f d = 0, para todo E , entonces f = 0 en casi todo x X.
iii) Si
E
Z
Demostraci
on. iii) Como
f + d =
{x:f (x)0}
f d = lm
E
nN E
fn d.
Demostraci
on. Basta aplicar el lema de Fatou a g + fn y g fn .
2.4.
Definici
on. Dado un espacio medible (X, ) y una sucesion (n )nN de medidas definidas
en , decimos que n converge a cuando
E , (E) = lm n (E).
Proposici
on 2.4.1. Si (n )nN es una sucesi
on de medidas en (X, ) que converge a una
medida y (fn )nN es una sucesi
on de funciones medibles que converge puntualmente a f ,
entonces
Z
Z
f d lm inf fn dn .
Z
Z
Demostraci
on. Si es simple, por hipotesis
dn = lm d.
Z
Z
Z
Por la definicion de
f d, basta probar que
d lm inf fn dn para cualquier
funcion simple f .
Z
Caso d < .
La funcion se anula fuera de un conjunto E de medida finita. Dado > 0, llamamos
En = {x : fk (x) (1 )(x), k n}.
S
As (En )nN es una sucesion creciente de conjuntos tal que E nN En con lo que (E\En )nN
es una sucesion decreciente de conjuntos medibles con interseccion vaca. Por tanto, existe
m N tal que (E \ Em ) < . Como (E \ Em ) = lmk k (E \ Em ), podemos elegir n m
para que k (E \ Em ) < , k n.
83
E\Ek
Z
d
fk dk
Z
d + M .
Z
Como es arbitrario,
Z
Caso d = .
Z
d lm inf
fk dk .
Analogo al anterior.
Proposici
on 2.4.2. Si (n )nN es una sucesi
on de medidas en (X, ) que converge a una
medida , y (fn )nN y (gn )nN dos sucesiones de funcionesZmedibles, tales
Z que |fn | |gn |, que
convergen puntualmente a f y g, respectivamente, y lm
Z
Z
lm fn dn = f d.
gn dn =
g d < , entonces
Demostraci
on. Basta aplicar la proposicion anterior a gn + fn y gn fn .
2.5.
Ei =
, Ei =
,
si (Ei ) < 0
si (Ei ) 0
84
entonces (
iN
Ei+ ) =
(Ei+ ) y (
iN
Ei ) =
iN
iN
signo.
nN
An ) = lm (An ).
nN
(Ai ) = (
n
[
i=1
Ai ) = (Bn ).
85
X
i=1
(Ai ) = lm
n
X
i=1
En caso de que se verifique b), como (A\Bn )nN es una sucesion decreciente cuya interseccion
es vaca, y como (A) = (A \ Bn ) + (Bn ), entonces
(A) = lm (Bn ) =
n
(Ai ).
i=1
Definici
on. Un conjunto A es positivo respecto a una medida con signo si A es
medible y para todo subconjunto medible E A, (E) 0.
Analogamente, un conjunto B es negativo si es medible y para todo subconjunto medible
E B, (E) 0.
Un conjunto positivo y negativo a la vez se llama conjunto nulo.
Lema 2.5.4. Todo suconjunto medible de un conjunto positivo es un conjunto positivo. La
uni
on numerable de conjuntos positivos es positivo.
Demostraci
on. La primera parte es consecuencia de la definicion.
S
Si A = nN An , con An positivos, y E A es medible, llamamos En = EAn Acn1 Ac1 .
As, En es medible y En An , de donde (En ) 0.
P
S
Como E = nN En es union disjunta, (E) =
n=1 (En ) 0. Por tanto, A es un conjunto
positivo.
El siguiente resultado garantiza la existencia de alg
un conjunto positivo no vaco.
Lema 2.5.5. Sea E un conjunto medible con 0 < (E) < . Entonces existe A E conjunto
positivo tal que (A) > 0.
Demostraci
on. O bien E es un conjunto positivo (con lo cual no hay nada que probar) o
contiene conjuntos de medida negativa. En este caso, sea n1 el menor entero positivo tal que
existe E1 E medible con (E1 ) < 1/n1 .
Por inducci
tal que
S on, llamamos nk al menor entero positivo para
Sel cual existe Ek medible
S
Ek E \ k1
E
y
(E
)
<
1/n
.
Si
hacemos
A
=
E
\
E
,
entonces
E
=
A
j
k
k
k
k=1 Ek .
j=1
k=1
P
Como es una union disjunta,
(E)
=
(A)
+
(E
)
y
la
serie
converge
absolutamente
k
k=1
P
pues (E) < . Entonces
1/nk < y nk . Como (Ek ) 0 y (E) > 0, debe ser
(A) > 0.
Para ver que A es un conjunto positivo, sea > 0 arbitrario. Como nk , podemos elegir
k tal que nk11 < .
S
Como A E \ kj=1 Ej , A no contiene subconjuntos medibles con medida menor que n1
,
k 1
la cual es mayor que .
86
87
2.6.
Teorema de Radon-Nikodym
Para ver que es numerablemente aditiva, sea (En )nN una sucesion de conjuntos medibles
disjuntos dos a dos y supongamos que f 0.
Llamamos A =
[
nN
E n y Ak =
k
[
n=1
88
convergencia monotona,
k
X
Z
(A) = lm
k X
f Ak d = lm
(En ) =
(En ).
nN
n=1
B .
<
B0
<
B \ B . Entonces (C) = 0.
= B C. Si < , entonces
B0 \ B0 = (B \ B ) \ C = .
La funci
on f es u
nica en el sentido que, si g es medible y tiene la misma propiedad, entonces
g = f c.s.
89
Demostraci
on. Veremos u
nicamente el caso en que es finita. La extension a medidas finitas ya no es difcil.
Para cualquier Q, es una medida con signo, y sea (A , B ) una descomposicion
de Hahn de dicha medida, donde A0 = X, B0 = .
Como B \ B = B A , entonces ( )(B \ B ) 0 y ( )(B \ B ) 0. Si > ,
esto implica que (B \ B ) = 0.
Por el lema 2.6.3, existe f medible tal que, para todo Q, f c.s. en A y f c.s.
en B .
Como B0 = , podemos elegir f 0.
Sea ahora E arbitrario. Para cualquier N N, llamamos
Ek = E (B(k+1)/N \ Bk/N ), E = E \
Bk/N .
k=0
Entonces E = E
k=0
(E) = (E ) +
(Ek ).
k=0
k
k+1
(Ek ) (Ek )
(Ek ), tenemos
N
N
Z
1
1
(Ek ) (Ek )
f d (Ek ) + (Ek ).
N
N
Ek
A
nadiendo esta igualdad a las desigualdades anteriores, obtenemos:
Z
1
1
(E) (E)
f d (E) + (E).
N
N
E
Z
Como (E) es finito y N arbitrario, (E) =
f d.
E
Z
Z
Z
Para probar la unicidad, basta observar que, si
f d =
g d, entonces (f g) d = 0,
de donde f = g c.s.
90
Observaci
on. La funcion f dada por el teorema se llama derivada de Radon-Nikodym
d
de respecto a , y se denota por
.
d
Las propiedades de las derivadas de Radon-Nikodym hacen recordar el formalismo de las
diferenciales. Por ejemplo, las siguientes propiedades son validas en este contexto:
a) Si existe
d(1 + 2 )
d(1 + 2 )
d1 d2
, entonces
=
+
c.s. con respecto a .
d
d
d
d
d3
=
d1
c) Si y son medidas -finitas tales queZ << y Zsi f es una funcion medible finita para
R
d
f d = f
la cual esta definida f d, entonces
d.
d
El resultado final de esta seccion muestra que toda medida con signo puede descomponerse
en una parte absolutamente continua y una parte singular respecto a otra medida con signo.
Proposici
on 2.6.5 (descomposici
on de Lebesgue). Sea (X, , ) un espacio de medida
-finito y una medida -finita definida en . Entonces existen 0 y 1 << tales que
= 0 + 1 . Dichas medidas son u
nicas.
El par (0 , 1 ) recibe el nombre de descomposici
on de Lebesgue de respecto a .
Demostraci
on. Nos limitaremos al caso de medidas positivas.
La medida = + es -finita. Como y son absolutamente continuas respecto a , por
el teorema anterior, existen f y g medibles y no negativas tales que
Z
Z
(E) =
f d, (E) =
g d, E .
E
EA
Z
Para ello, sea E un conjunto tal que (E) = 0. Entonces
E con respecto a .
f d = 0, de donde f = 0 c.s. en
E
2.7.
91
Ejercicios
A =
Ac1
Acn
=(
m1
[
j=1
B1j ) (
m
[n
j=1
Bnj ) =
m1
[
j1 =1
m
[n
n
\
Biji ] C3 ,
jn =1 i=1
donde Bij C1 .
Por u
ltimo, por su propia definicion es evidente que C3 es cerrado para uniones finitas.
3. Puede una -
algebra infinita contener s
olo una colecci
on numerable de
elementos?
Solucion. No, porque al contener una coleccion numerable An de conjuntos disjuntos,
las uniones arbitrarias de estos conjuntos seran distintas. Por tanto, identificando cada
An con n N, las uniones se podran identificar con P (N) que es no numerable.
4. Dado un espacio de medida (, A, ) y una sucesi
on An A, demostrar:
a) (lm inf An ) lm inf (An ).
S
b) Si ( An ) < , entonces lm sup (An ) (lm sup An ).
T
S
Solucion. Definimos Bn =
, (Bn ) es una sucesion creciente,
i=n Ai y Cn =
i=n Ai . As
(Cn ) es una sucesion decreciente, Bn An Cn , (Bn ) (An ) (Cn ) y lm Bn =
lm inf An , lm Cn = lm sup An .
5. (Lema de Borel-Cantelli) Sea (, A, ) un espacio de medida y Cn A. Demostrar que
X
(Cn ) < = (lm sup Cn ) = 0.
n=1
92
2.7. Ejercicios
S
Solucion. Sea Dn =
, (Dn ) es una sucesion decreciente tal que (D1 ) < ,
i=n Ci . As
(Dn ) 0 y Dn lm sup Cn .
6. Sea un(
espacio no numerable. Si definimos A = {E : E
o E c es numerable},
0 si E es numerable
(E) =
, demostrar que A es -
algebra y una
1
si E c es numerable
medida.
S
Solucion. Si An A son todos numerables, entonces
An T
A por ser numerable; si
S
existe alg
un i tal que Aci es numerable, entonces ( An )c = Acn Aci es numerable.
S
P
Si An son disjuntos y numerables, ( An ) = 0 =S (An ) y, si alg
un AP
i no es numerable, para todo j 6= i, Aj Aci es numerable y ( An ) = 1 = (Ai ) = (An ).
7. Si y son medidas en (X, ) tales que << y , probar que = 0.
Solucion. Supongamos, por el contrario, que existe E tal que (E) 6= 0. Como
, existen A, B tales que X = A B, A B = , (A) = (B) = 0.
Si escribimos E = (E A) (E B), entonces (E) = (E A) + (E B). Pero
E B B y (B) = 0. Como << , entonces (E B) = 0.
Ademas, E A A y (A) = 0, con lo que (E A) = 0. Llegamos as a una
contradiccion.
8. Dadas dos medidas y ( finita), probar la equivalencia:
a) << .
b) > 0, > 0 : (A) = (A) .
Solucion. a) = b): Supongamos, por el contrario, que > 0 tal que > 0, existe A
medible con (A) pero (A) > .
Si elegimos = 1/2n , existe
una sucesion (An )nN con (An ) 1/2n pero (An ) > .
S S
Si definimos B = nN k>n Ak , entonces
[
X
1
Ak
(Ak ) n
2
k>n
k>n
S
S
de donde k>n Ak > . As pues, (B) = lmn ( k>n Ak = 0 pero (B)
lo que contradice la suposicion inicial.
b) = a): Es evidente.
9. Sean y medidas con signo. Probar la equivalencia entre las siguientes
proposiciones:
a) << .
b) + << y << .
c) || << ||.
93
R
A
g d.
1=
Por tanto,
d
< . Por el ejercicio anterior,
d
d d
d
=
.
d
d d
d
es invertible c.s. y, en consecuencia, positiva c.s.
d
Z
A
d
d d
=
= g 1 g = 1 = = .
d
d d
g 1 d, entonces
94
2.7. Ejercicios
12. Sea (, A, ) un espacio de medida -finita. Probar que existe una medida
finita con los mismos conjuntos nulos que .
S
Solucion. Sea = An , con 0 < (An ) < (si alguno tiene medida nula, lo unimos
con otro de medida positiva).
P
1
Si g =
2n (An ) An , el resultado es consecuencia del ejercicio anterior para (A) =
R
A g d.
13. Sea (, A, ) un espacio de medida finita y f : C integrable. Demostrar
que, siZ S C es cerrado tal que para cada E A, con (E) > 0, se cumple
1
f d S, entonces f (x) S c.s.
(E) E
Solucion. Hay que demostrar que ({x : f (x) S c }) = 0.
S
Como S c es abierto, S c =
i=1 Ii , con Ii intervalos abiertos. Basta pues probar que
1
(f (Ii )) = 0 para alg
un i.
Si suponemos que E = f 1 (Ii ) tiene medida positiva, Ii = (a r, a + r), entonces
Z
Z
Z
1
1
1
r<
f d a =
(f a) d
|f a| d r,
(E) E
(E) E
(E) E
lo que es absurdo.
14. Probar las siguientes propiedades:
a) Si existe
a .
d(1 + 2 )
d
, entonces
d(1 + 2 )
d
d1
d
d2
d
d.
Z
f d +
Z
g d =
(f + g) d
E
Z
y (1 + 2 )(E) =
2
b) Llamemos f =
y g = d
d1 . Si suponemos que 3 es positiva (en caso contrario,
+
basta descomponer 3 = 3
3 ), entonces f 0 con respecto a 2 .
95
R
E
con g =
d
d .
Sean ahora f =
Ex
Captulo 3
Espacios Lp
El espacio de funciones integrables respecto de una medida arbitraria es un caso particular
de una familia de espacios de funciones integrables, los llamados espacios Lp que estudiaremos
en este captulo. Como dichos espacios poseen una estructura algebraica precisa, repasaremos
en primer lugar los conceptos necesarios para entender las propiedades de tales espacios.
3.1.
98
definidas tambien para los espacios normados. En particular, los conjuntos B(0, 1) = {x
X : kxk < 1}, B(0, 1) = {x X : kxk 1} son las bolas unitarias abierta y cerrada de X,
respectivamente.
2) El recproco de lo anterior no es cierto, es decir, no todo espacio metrico es normado.
Por ejemplo, X = {(a1 , . . . an , . . . ) : an C} sobre el cuerpo C es espacio vectorial; si
X
1
|ai bi |
definimos d(x, y) =
Captulo 3. Espacios Lp
99
Banach.
Para probarlo, sea {fn }nN una sucesion de Cauchy en C[a, b].
Por definicion, max |fn (x) fm (x)| < , para n, m > N. Entonces |fn (x) fm (x)| <
x[a,b]
, x [a, b]. Por tanto, por el criterio de convergencia de Cauchy, {fn }nN converge
uniformemente en [a, b] y, como fn son continuas, la funcion lmite tambien lo sera.
6. El mismo espacio anterior C[a, b] con la norma kf kp =
pleto.
R
1/p
b
p dx
|f
(x)|
a
no es com-
0
fn (x) = nx
si 1 x 0
si 0 < x 1/n,
si 1/n < x 1
es
( de Cauchy en C[1, 1] con respecto a k kp , para todo p 1, pero el lmite f (x) =
0 si 1 x 0
no es continua en x = 0.
1 si 0 < x 1,
Sin embargo, este espacio puede completarse y su complecion es precisamente el espacio
Lp [a, b].
7. Si X = B(A) es el espacio de las funciones acotadas en A, la norma kf k = sup |f (x)|
xA
3.2.
Desigualdades de H
older y Minkowski
En algunos ejemplos de espacios normados la desigualdad triangular se deduce de la desigualdad de Minkowski que probaremos en este apartado como consecuencia de la desigualdad de
Holder. En el siguiente apartado utilizaremos estas desigualdades para definir normas en otros
ejemplos de espacios de funciones, que han sido fundamentales en el desarrollo del Analisis
Funcional.
Lema 3.2.1. Sean , > 0, 0 < < 1. Entonces 1 + (1 ). Adem
as la
igualdad es cierta si y s
olo si = .
Demostraci
on. Se define (t) = (1 ) + t t para t 0.
As 0 (t) = t1 que sera negativo si t < 1 y positivo si t > 1. Por tanto, el punto t = 1
corresponde a un mnimo.
100
3.2. Desigualdades de H
older y Minkowski
g d
.
X
b) (desigualdad de Minkowski)
Z
1/p Z
1/p Z
1/p
p
p
p
(f + g) d
f d
+
g d
.
X
Z
Demostraci
on. a) Llamamos A =
casos:
1/p
f d
Z
, B =
1/q
g d
y distinguimos tres
q
p
A
Z = 0 (o B = 0). Como f 0, f = 0 c.s. = f = 0 c.s. = f g = 0 c.s. As pues
f g d = 0.
X
Z
A = (o B = ). Es evidente que
f g d .
X
f g
d 1.
X
X A B
Si aplicamos el lema anterior a = f p /Ap , = g q /B q , = 1/p, 1 = 1/q, resulta:
f g d A B, o bien
f g
1 fp
1 gq
p + q,
A B
p A
q B
desigualdad valida x X. Integrando miembro a miembro,
Z
f g
1
1
d
Ap +
B q = 1, c.q.d.
p
pA
q Bq
X A B
Captulo 3. Espacios Lp
101
p1
f (f + g)
Z
1/p Z
f d
(f + g)
p1
g(f + g)
X
q(p1)
f d
1/p
g d
1/q
(f + g) d
1/q
(f + g) d
, caben los siguientes
Z
debido a que q(p 1) = p. Si llamamos ahora C =
casos:
Z
1/p Z
1/q
q(p1)
d
g d
(f + g)
d
,
X
"X
#
Z
Z
Z
Z
(f + g) d
1/p
1/q
C = 0 =
X
Z
C = =
f (x)
2
f (x)p g(x)p
+
, de donde:
2
2
Z
1
1
1
(f + g)p (f p + g p ) = p
2p
2
2
Z
Como
(f + g)p d
f p d = o
Z
0 < C < =
Z
f p d +
g p d .
g(x) p
g p d = .
11/q
Z
(f + g) d
1
2
1/p Z
1/p
p
f d
g d
+
, lo que da
p
Z
b)
X
(f + g)p d
1/p
Z
f p d
1/p
Z
+
g p d
1/p
,
Z
donde suponemos que las integrales involucradas son finitas y
g d
X
1/q
6= 0.
102
3.2. Desigualdades de H
older y Minkowski
Demostraci
on. a) Sea p0 = 1/p y llamamos = (f g)p = (f g)1/p , = g p = g 1/p . De este
modo, 1 < p0 < , f p = y , son medibles. Entonces
Z
1/p0 Z
1/q0
Z
Z
p
p0
q0
f d =
d
d
d
,
X
donde
1/p0
1/q 0
X
0
q
gq
X
0
p
= 1. Debido a que
=
y
= f g, obtenemos:
Z
1/p0 Z
1/pq0
Z
p
q
f d
f g d
g d
.
X
g d
f g d , c.q.d.
X
1/p Z
1/q
p
q(p1)
f d
(f + g)
d
Z
1/p Z
1/q
p
q(p1)
g d
(f + g)
d
X
X
Z
# Z
Z
+
" Z
=
1/p
f d
X
Suponiendo que
X (f
1/p
g d
X
q(p1)
(f + g)
1/q
d
.
g
d
=
g
f p d,
p d
q d
f
g
X
X
X
X
Z
Z
con 1 =
g q d y 2 =
f p d no nulas ambas.
X
nN {n}
nN {n}
nN
nN
Captulo 3. Espacios Lp
103
Esto permite escribir las desigualdades de Holder y Minkowski para sumas finitas o series
numericas. Estas seran:
!1/p
!1/q
X
X
X
|xi yi |
|xi |p
|yi |q
,
i=1
i=1
!1/p
p
|xi + yi |
i=1
i=1
!1/p
p
|xi |
i=1
!1/p
p
|yi |
i=1
iN
iN
iN
iN
3.3.
Espacios Lp
R
X
|f |p d
1/p
, es evidente que
3.3. Espacios Lp
104
Si p = , q = 1, entonces |f (x)| kf k c.s., con lo que existe A de medida nula tal que
|f (x)| kf k , x Ac . De este modo,
Z
Z
Z
Z
|f | |g| d =
|f | |g| d
kf k |g| d
|f g| d =
c
c
X
X
A
A
Z
Z
= kf k
|g| d kf k
|g| d = kf k kgk1 < .
Ac
Captulo 3. Espacios Lp
105
Proposici
on 3.3.3. Si 1 p , entonces Lp () es un espacio vectorial sobre C y k kp
es una seminorma.
Demostraci
on. Estudiaremos por separado los siguientes casos:
a) Si 1 p < y f, g Lp (), de la desigualdad de Minkowski deducimos que f + g Lp ()
y kf + gkp kf kp + kgkp . Ademas
Z
|f |p d
kf kp =
1/p
Z
=
1/p
||p |f |p d
= || kf kp = f Lp ().
3.3. Espacios Lp
106
Demostraci
on. a) Veamos primero el caso 1 p < .
Sea pues (fn )nN una sucesion de Cauchy en Lp (). Tomando = 1/2i , sabemos que ni tal
que kfn fm kp < 1/2i , n, m ni . Esto permite extraer una subsucesion (fni )i1 tal que
kfni+1 fni kp < 1/2i , i.
P
P
Llamamos ahora gk = ki=1 |fni+1 fni | y g =
i=1 |fni+1 fni |. Debido a que |fni+1 fni |
p
p
L (), se deduce que gk L (). As pues,
Z
kgk kp =
|gk | d
X
k
X
"Z
1/p
=
X
k Z
X
|fni+1
i=1
!p
|fni+1 fni |
#1/p
d
i=1
1/p X
k
k
X
1
p
fni | d
=
kfni+1 fni kp <
< 1.
2i
i=1
i=1
si x Ac
donde (A) = 0.
si x A,
P
Debido a que fn1 + k1
mi fni (x) c.s. Veamos que
i=1 (fni+1 fni ) = fnk , resulta que f (x) = l
fn f y que f Lp ().
Dado > 0, sabemos que N tal que kfn fm kp < , n, m N . Tomando m N , tenemos:
Z
Z
Z
p
p
p
kf fm kp =
|f fm | d =
| lm fni fm | d =
lm |fni fm |p d
i
X
X
X i
Z
lm inf
|fni fm |p d = lm inf kfni fm kpp p ,
i
Captulo 3. Espacios Lp
107
0, pues
|f (x) fm (x)| = | lm fn (x) fm (x)|
n
c.s.
= lm |fn (x) fm (x)| lm kfn fm k + < 2, m, n N.
n
|f |p d
|f |p
r k1kr0 =
Z
|f |q d
1/r
(X)1/r .
|f | d +
|f |q d kf kpp + kf kqq < .
|f |1
|f |>1
kf kr kf kp kf kq , donde
3.4.
nN kan k
< =
nN an
converge en X.
Esto indica que en los espacios de Banach la convergencia absoluta implica la convergencia.
P
Demostraci
on. i) = ii). Sea Sn = nk=1 ak . Si m > n,
m
m
X
X
X
kSm Sn k =
ak
kak k
kak k < .
k=n+1
k=n+1
k=n+1
108
k=1 kank
a=
X
k=1
(ank ank1 ) = lm
h
X
k=1
< ||
+ kx0 k
< .
2(1 + 1 + |0 |)
2(1 + 1 + kx0 k)
Por u
ltimo, para probar que la norma
es uniformemente continua, dado > 0, debemos
encontrar > 0 tal que kxk kx0 k < si kx x0 k < . Ahora bien, como kxk kx0 k
kx x0 k, basta elegir = .
Corolario 3.4.3. Si (X, k k) es un espacio normado, x0 X, 0 E, 0 6= 0, entonces las
aplicaciones x 7 x + x0 (traslaci
on de vector x0 ) y x 7 0 x (homotecia de raz
on 0 ) son
homeomorfismos.
Captulo 3. Espacios Lp
109
Demostraci
on. Basta probar que son bicontinuas. La primera de ellas es composicion de
f : X X X, dada por f (x) = (x, x0 ), y g : X X X, dada por g(x, x0 ) = x + x0 . Por
el teorema anterior, g es continua; es facil probar que f es tambien continua, de modo que
g f es continua. Ademas, el mismo argumento prueba que la inversa x 7 x x0 es continua.
Analogamente se prueba que la segunda es continua.
Proposici
on 3.4.4. Un subespacio M de un espacio de Banach X es completo si y s
olo si
M es cerrado en X.
Demostraci
on. Sea M completo. Entonces, x M , {xn }nN con xn M, n tal que
xn x. Pero como {xn }nN converge, es de Cauchy; por tanto converge en M , lo que prueba
que x M.
Recprocamente, sea M cerrado y {xn }nN de Cauchy en M . Por ser X completo, xn x
X = x M = x M.
Ejemplo. El espacio c = {x = (xn )nN ` : (xn )nN converge en C} es completo con la
metrica inducida por ` .
En efecto, sea x = (xn )nN c. Entonces
yk = (ynk )nN c : yk x = |ynk xn | d(yk , x) < /3, k N.
Como {ynN }nN es convergente, es de Cauchy y |ypN yqN | < /3, p, q N1 . Entonces
|xp xq | |xp ypN | + |ypN yqN | + |yqN xq | < .
Esto implica que (xn )nN es de Cauchy y, en consecuencia, x c.
Un hecho importante de la completitud es que todo espacio normado puede verse como
subespacio de un espacio normado completo.
Teorema 3.4.5 (compleci
on). Sea (X, k k) un espacio normado. Existe un espacio de
Banach X y una isometra A : X W donde W es un subespacio denso de X . Dicho
espacio X es u
nico salvo isometras.
Demostraci
on. En primer lugar, veamos que existe un espacio metrico (X , d) y una isometra
A : X W , donde W X es un subespacio denso.
Sea X el conjunto de las clases de equivalencia de sucesiones de Cauchy en X, mediante la
relacion:
{xn }nN {yn }nN : lm d(xn , yn ) = 0.
n
Se define
R como
d (x , y )
Se debe probar:
a) Dicho lmite existe (para ello basta que {d(xn , yn )} sea de Cauchy en R).
b) La definicion no depende de los representantes elegidos.
110
c) d es una metrica.
d) X contiene un subespacio X0 isometrico a X. Para ello definimos
X0 = {x X : (x, x, . . . ) x }
y f : X X0 como f (x) = x .
e) X0 = X .
f) X es completo.
g) Si (X , d ) es complecion de X, f : X X isometra.
Falta probar que podemos dotar a X de una estructura de espacio vectorial normado.
Recordando que x e y son clases de equivalencia de sucesiones de Cauchy en X, elegimos
{xn }nN x , {yn }nN y , y hacemos zn = xn + yn . As, {zn }nN es de Cauchy en X
pues kzn zm k kxn xm k + kyn ym k. Por tanto, definimos z = x + y como la clase
de equivalencia que contiene a {zn }nN (esta definicion no depende de la eleccion de los
representantes).
Tambien definimos x X como la clase que contiene a {xn }nN (de nuevo esta definicion
no depende de los representantes).
As obtenemos un espacio vectorial. En W las operaciones inducidas por X coinciden con
las inducidas por X a traves de A.
Ademas A induce en W una norma k k1 as: si y = Ax W, ky k1 = kxk.
Como la metrica en W es la restriccion de d a W (ya que A es isometrico), podemos extender
la norma k k1 a X as :
kx k2 = d (0 , x ), x X .
Para comprobar los axiomas, basta aplicar a k k1 un proceso de lmite.
3.5.
3.5.1.
Teorema de representaci
on de Riesz
Definici
on. Dado un espacio normado X, un funcional lineal es una aplicacion f : X R
tal que f (x + y) = f (x) + f (y), x, y X.
Decimos que un funcional lineal es acotado cuando existe K > 0 tal que |f (x)| K kxk,
x X.
Llamamos norma de un funcional lineal acotado a
kf k = sup
x6=0
|f (x)|
.
kxk
Captulo 3. Espacios Lp
111
|fa (x)|
kxk
kak2
kak
P
3) La aplicacion f : `2 R, definida por f (x) = iN ai xi donde (ai )iN `2 es fijo, es
tambien un funcional lineal y acotado pues, por la desigualdad de Cauchy-Schwarz, |f (x)|
kxk2 kak2 . Del mismo modo, el operador f : `p R definido por f (x) = a x, con a `q
fijo, es tambien lineal y acotado.
Rb
4) El operador f : C[a, b] R definido por f (x) = a x(t) dt (integral definida) es lineal y
acotado:
Z b
|f (x)| =
x(t) dt (b a) max |x(t)| = (b a) kxk = kf k b a.
a
atb
Si elegimos en particular x0 = 1, kf k
kf k = b a.
|f (x0 )|
kx0 k
Rb
dt
1
Proposici
on 3.5.1. Sea X un espacio normado y f un funcional lineal en X. Entonces f
es continuo si y s
olo si su n
ucleo N (f ) es cerrado.
Demostraci
on. a) La prueba de que N (f ) es cerrado es directa.
b) Supongamos que N = N (f ) es cerrado. Si N = X, entonces f = 0 y es continuo.
Si N 6= X, existe x1 X : f (x1 ) 6= 0. Sea x0 = x1 /f (x1 ). Como f (x0 ) = 1 y N es cerrado,
d(x0 , N ) = d > 0.
Por otra parte, x X, x = x f (x) x0 + f (x) x0 , donde x f (x) x0 N . Esto indica
que X = N {x0 : E}. Si escribimos entonces x = n + x0 , con n N , E, resulta:
kxk = || kx0 + n/k || d = |f (x0 + n)| d = |f (x)| d.
Esto implica que |f (x)| (1/d) kxk y f es continuo.
Nos centraremos a continuacion en la caracterizacion de los funcionales lineales acotados en
Lp . En primer lugar estudiaremos el caso de la medida de Lebesgue en [0, 1].
R
Proposici
on 3.5.2. Si g Lq , el funcional F : Lp R definido por F (f ) = f g es lineal,
acotado y kF k = kgkq .
Demostraci
on. Por la desigualdad de Holder, F es acotado y kF k kgkq . Ademas dada
f = |g|q/p sign(g), es evidente que |f |p = |g|q = f g. Por tanto, f Lp y kf kp = (kgkq )q/p .
Ahora bien,
Z
Z
F (f ) = f g = |g|q = kgkqq = kgkq kf kp
(porque q = 1 + q/p), con lo que kF k kgkq .
112
Observaci
on. Los casos p = 1 y p = se dejan como ejercicio.
El resultado fundamental de esta seccion sera el recproco de la proposicion anterior, conocido
como el teorema de representacion de Riesz. Un resultado previo es el lema siguiente.
Lema
on integrable en [0, 1] y supongamos que existe M > 0 tal que
Z
3.5.3. Sea g una funci
f g M kf kp , para toda f medible y acotada. Entonces g Lq y kgkq M .
Demostraci
( on. Caso 1 < p < . Definimos la sucesion de funciones medibles y acotadas
g(x) si |g(x)| n
q/p
gn (x) =
y llamamos fn = |gn |q/p sign(gn ). Entonces kfn kp = kgn kq
0
si |g(x)| > n
y |gn |q = fn gn = fn g de donde
Z
q
kgn kq = fn g M kfn kp = M kgn kq/p
q .
Como q q/p = 1, resulta que kgn kq M y
|gn |q M q .
|(s0i ) (si )| = F (f ).
Como
kf kpp
1
p
|f |
=
0
n Z
X
i=1
X
i
|s0i si |p =
n
X
i=1
Captulo 3. Espacios Lp
113
g .
Si f es ahora una funcion medible y acotada en [0, 1], sabemos que f es lmite c.s. de una
sucesion (n ) de funciones escalonadas.
La sucesion (|f n |p ) es uniformemente acotada y tiende a cero c.s. Por el teorema de la
convergencia acotada, kf n kp 0. Como ademas
|F (f ) F (n )| = |F (f n )| kF k kf n kp ,
deducimos que F (f ) = lm F (n ).
Teniendo en cuenta que gn < |g| sup n , por el teorema de la convergencia dominada de
Lebesgue,
Z
Z
Z
Z
f g = (lm n ) g = lm(n g) = lm n g = F (f ).
Como |F (f )| kF k kf kp , por el lema anterior deducimos que g Lq y kgkq kF k.
Por u
ltimo, sea f Lp arbitrario. Entonces, dado
Z > 0, existe una funcion escalonada tal
que kf kp < . Como es acotada, F () = g, de donde
Z
Z
Z
F (f ) f g |F (f ) F ()| + F () f g = |F (f )| + ( f )g
kF k kf kp + kgkq kf kp < (kF k + kgkq ).
Por tanto, F (f ) =
f g.
114
1/p
n d
. Como
n g |n | |n |1/q = |n |1/p+1/q = n ,
resulta
Z
n d
de donde
1/p
Z
Z
n g d M kn kp M
n d
1/q
R
n d
M o bien n d M q .
n=1 kfn k
p.
En , llamamos n =
|(En )| = F (f ) < y
n=1
(En ) = F (E ) = (E).
n=1
g d.
Como |F ()| kF k kkp , entonces g Lq (por el lema 3.5.6). Definimos el funcional lineal
acotado
Z
G(f ) = f g d.
Captulo 3. Espacios Lp
115
f g d, f Lp
116
Sea (En ) una sucesion de conjuntos de medida -finita tal que (En ) tiende al valor maximo
m de . Entonces H = En es un conjunto de medida -finita y (H) = m.
Si g = gH en H y g = 0 en el resto, entonces g Lq y, si H E y E es un conjunto de
medida -finita, entonces gE = gH c.s. en H.
Como
|gH |q ,
3.5.2.
Espacio dual
|f (x)|
kxk
es de Banach.
Demostraci
on. Debemos ver que toda sucesion de Cauchy en X 0 converge en el mismo espacio.
Consideramos para ello una sucesion {fn }nN de Cauchy en X 0 , es decir, tal que kfn fm k < ,
si n, m > N (). Entonces
x X, kfn (x) fm (x)k kfn fm k kxk < kxk.
Esto implica que {fn (x)}nN es de Cauchy en R, de donde y R : fn (x) y, porque R es
completo.
Definimos f : X R como f (x) = y. Entonces
f es lineal (evidente).
f es acotado: Si n > N ,
kfn (x) f (x)k = kfn (x) lm fm (x)k = lm kfn (x) fm (x)k kxk.
m
Captulo 3. Espacios Lp
117
n
X
n
X
|i f (ei )|
i=1
de donde kf k
!1/2
|i |2
i=1
n
X
!1/2
|f (ei )|2
= kxk
i=1
n
X
!1/2
|f (ei )|2
i=1
2 1/2 .
i=1 |f (ei )|
Pn
x `1 , podemos escribir x =
k=1 k ek , donde ek = (kj )j=1 forma una base de
P
. ., 0, n+1 , . . . ) y
Schauder de `1 , porque x nk=1 k ek = (0, .(n)
n
X
X
k ek
=
k ek
0
x
k=1
k=n+1
k f (ek ), en-
kN
kN
jN kj j
kN
118
P
? T es inyectiva:
Si
T
f
=
T
f
,
entonces
f
(e
)
=
f
(e
),
k.
Como
f
(x)
=
1
2
1
2
1
k
k
kN xk f1 (ek )
P
y f2 (x) = kN xk f2 (ek ), entonces f1 = f2 .
? T es isometra:
Por una parte, kT f k = supk |f (ek )| kf k y de
X
X
|f (x)| = |
k f (ek )| sup |f (ek )|
|k | = kxk sup |f (ek )|
k
kN
kN
1
p
1
q
= 1, (1 < p < ).
q
(n)
Para probar que la imagen
( |f (e )|qde T esta en ` , definimos para cada n, la sucesion x =
k
si k n y f (ek ) 6= 0,
(n)
(n)
f (ek )
con
=
(k )
k=1
k
0
si k > n o f (ek ) = 0.
P
P
(n)
Entonces f (x(n) ) = kN k f (ek ) = nk=1 |f (ek )|q .
Como ademas,
n
X
f (x(n) ) kf k kx(n) kp = kf k
!1/p
(n)
|k |p
k=1
n
X
= kf k
!1/p
|f (ek )|pqp
= kf k
resulta que
n
P
|f (ek
)|q
1 1
k=1
Haciendo n ,
|f (ek )|q
!1/p
|f (ek )|q
k=1
k=1
n
X
n
P
|f (ek
)|q
1/q
kf k.
k=1
1/q
k=1
q
T es sobre: Dado b = (P
k )kN ` , podemos asociarle un funcional lineal y acotado g
Captulo 3. Espacios Lp
119
q 1/q
kN |f (ek )|
q 1/q
kN |f (ek )|
Eligiendo x = (x1 , . . . , xN , 0, . . . ),
|fe(x)|
N
X
n=1
N
X
|fn |.
n=1
N
X
n=1
N
X
|fe(en )| =
n=1
Si hacemos N ,
N
X
fe(en ) e
f (en ) = fe(x(N ) ) kfek.
e
|f (en )|
n=1
n=1 |f (en )|
< .
Observaciones. 1) Otros ejemplos se pueden obtener debido al hecho de que si X0 es subespacio denso de X e Y es completo, entonces L(X0 , Y ) = L(X, Y ), se deduce en particular
que X00 = X 0 .
2) Los resultados anteriores prueban tambien que los espacios `p (p 1) son completos. Basta
observar que `p es isomorfo a (`q )0 y, por la proposicion 3.5.10, el dual de un espacio normado
es completo.
3) El teorema de representacion de Riesz demuestra que el dual de Lp (con 1 < p < )
es isometricamente isomorfo a Lq (si 1/p + 1/q = 1). Una demostracion similar prueba que
(L1 )0
= L . Sin embargo, no es cierto que (L )0 sea equivalente a L1 .
120
3.6.
3.6. Ejercicios
Ejercicios
|f |
|f | +
|f |s < .
Ac
|f |
Z
t Z
|f |
1t
|f |
donde c = ta + (1 t)b.
Si llamamos p = 1/t y q = 1/(1 t), entonces
1 1
+ = 1. Como ademas g = |f |a/p Lp
p q
|f | =
Z
Z
gh
t Z
1t
1/q Z
1/p Z
q
a
b
.
|h|
=
|f |
|f |
|g|
Por u
ltimo,
b(1t)
kf kcc kf kat
a kf kb
b(1t)/c
= kf kc kf kat/c
kf kb
a
max{kf ka , kf kb }.
Captulo 3. Espacios Lp
121
kf + gkp 2 p
(kf kp + kgkp ).
=
.
2
2
2
2
Ahora, por la concavidad de la funcion y = xp , resulta:
kf + gkpp
!p
R
R
( |f |p )1/p + ( |g|p )1/p
.
2
Z
|f | 1
1/p Z
1/q
q
|f |
1
= kf krs (())1/q .
pr
h0+
|f (x + t) + f (x t) 2f (x)| dt = 0 c.s.
[El conjunto de los puntos x (a, b) para los cuales se cumple lo anterior
se llama conjunto de Lebesgue de f .]
Solucion. Si r Q, definimos
Er
Z
1 h
= {x [a, b] : lm
|f (x + t) r| dt 6= |f (x) r|
h0+ h 0
Z
1 h
o lm
|f (x t) r| dt 6= |f (x) r|}.
h0+ h 0
|f (x + t) r| dt =
0
1
h
x+h
|f (u) r| du = ()
x
122
3.6. Ejercicios
Si G(x) =
Rx
0
1
h
Rh
0
G(x + h) G(x)
.
h
Z
1 h
lm
|f (x + t) + f (x t) 2f (x)| dt
h0+ h 0
Z h
Z
1
1 h
lm
|f (x + t) f (x)| dt +
|f (x t) f (x)| dt
h 0
h0+ h 0
Z h
Z
1
1 h
lm
|f (x + t) r| dt +
|r f (x t)| dt
h 0
h0+ h 0
Z
Z
1 h
1 h
|f (x t) r| dt +
|r f (x)| dt
+
h 0
h 0
|f (x) r| + |f (x) r| + |f (x) r| + |f (x) r| < .
es derivable y su derivada en t = 0 es
Z
p
dN
(0) =
|f |p2 [f g + f g].
dt
2 X
Solucion. En primer lugar, se prueba que
|f + tg|p |f |p
= |f |p2 (f g + f g)
t0
t
(basta considerar la funcion h(t) = |f + tg|p y calcular su derivada en el origen).
lm
Por otra parte, como la funcion h(t) = |f + tg|p es convexa, tenemos que
h(t 1 + (1 t) 0) t h(1) + (1 t) h(0) = t |f + g|p + (1 t) |f |p ,
1
1
[|f + tg|p |f |p ] |f + g|p |f |p . Analogamente se prueba que [|f + tg|p
t
t
|f |p ] |f |p |f g|p .
de donde
Como
Z
dN
N (t) N (0)
|f + tg|p |f |p
(0) = lm
= lm
,
t0
t0
dt
t
t
las desigualdades obtenidas permiten aplicar el teorema de la convergencia dominada
para deducir el resultado deseado.
Captulo 4
Construcci
on de medidas abstractas
Es frecuente que una medida este definida unicamente en una clase reducida de conjuntos
(por ejemplo, si F : R R es una funcion creciente y continua por la derecha, la funcion
(a, b] = F (b) F (a) es una medida sobre la clase de los intervalos semiabiertos por la
izquierda). En este captulo estudiaremos la forma de extender estas medidas a la -algebra
generada por la clase inicial de conjuntos. El metodo utilizado generaliza el de construccion de
la medida de Lebesgue a partir de una medida exterior definida sobre los conjuntos abiertos.
Por u
ltimo aplicaremos este procedimiento en la construccion de medidas producto.
4.1.
Medida exterior
Definici
on. Dado un conjunto X, una aplicacion : P (X) [0, ] es una medida
exterior si verifica
i) () = 0.
ii) Monotona: A B = (A) (B).
iii) Subaditividad numerable: E
Ei = (E)
i=1
i=1
Ei )
(Ei ).
i=1
i=1
123
124
Definici
on. Un conjunto E X es medible (seg
un Caratheodory) con respecto a (o
+ -medible) si
(A) = (A E) + (A E c ), A X,
lo cual equivale simplemente a
(A) (A E) + (A E c ), A X,
ya que la desigualdad contraria es consecuencia de la definicion de medida exterior.
De la definicion se deduce inmediatamente que conjuntos de medida exterior cero son medibles.
Teorema 4.1.1. La clase B de conjuntos -medibles es una -
algebra. Si = |B , entonces
es una medida completa en B.
Demostraci
on. Es evidente que B y que E B = E c B.
Sean E1 , E2 B. Por un lado,
A X, (A) = (A E2 ) + (A E2c )
y, por otro,
(A) = (A E2 ) + (A E2c E1 ) + (A E2c E1c ).
Ahora bien, como A (E1 E2 ) = (A E2 ) (A E1 E2c ),
(A (E1 E2 )) (A E2 ) + (A E2c E1 ),
de donde
(A) (A (E1 E2 )) + (A (E1 E2 )c ).
Esto indica que E1 E2 B.
Por recurrencia se prueba que la union finita de conjuntos -medibles es -medible.
S
Sn
Por u
ltimo, sea E =
i=1 Ei , entonces
i=1 Ei , (Ei )iN B disjuntos. Si llamamos Gn =
Gn B y A X,
(A) = (A Gn ) + (A Gcn ) (A Gn ) + (A E c ).
Como Gn En = En y Gn Enc = Gn1 , tenemos que
(A Gn ) = (A En ) + (A Gn1 ).
Procediendo de forma recurrente,
(A Gn ) =
n
X
(A Ei ),
i=1
con lo que
(A) (A E c ) +
n
X
i=1
(A Ei ), n,
Captulo 4. Construcci
on de medidas abstractas
de donde
(A) (A E c ) +
125
(A Ei ) (A E c ) + (A E)
i=1
pues A E
(A Ei ).
i=1
[
Si E =
Ei , con (Ei )iN B disjuntos, entonces
i=1
(E) (
n
[
i=1
de donde (E)
Ei ) =
n
X
(Ei ),
i=1
(Ei ).
i=1
i=1
es no negativa y () = 0.
Para ver que es completa, B debe contener todos los subconjuntos de conjuntos de medida
nula.
Sea pues E B, con (E) = 0 y F E. Entonces, A X,
(A F ) + (A F c ) (A E) + (A F c ) (E) + (A) = (A)
con lo que F B.
4.2.
Teorema de extensi
on de Carath
eodory
En la seccion anterior hemos visto como caracterizar conjuntos medibles a partir de una
medida exterior. Sin embargo, la medida exterior se define a su vez mediante una idea mas
primitiva de medida en una clase mas amplia de funciones. Esto es lo que desarrollaremos en
esta seccion partiendo de medidas sobre un algebra de conjuntos.
Definici
on. Dada un algebra de conjuntos A, una funcion : A [0, ] es una medida
sobre el
algebra A si
i) () = 0.
S
P
S
ii) (
on disjunta tal que iN Ai A.
i=1 Ai ) =
i=1 (Ai ), si (Ai )iN A es una sucesi
126
(E) = nf
(Ai )
i=1
i=1 Ai .
X
S
tal que A i=1 Ai , entonces (A)
(Ai ).
i=1
c
c
Demostraci
S on. Llamamos Bn = AAn A1 An1 . As Bn A, son disjuntos, Bn An
y A = n=1 Bn . Por la aditividad numerable de ,
(A) =
(Bn )
n=1
(An ).
n=1
Demostraci
on. Por definicion, (A) (A). Por el lema anterior, como (A)
S
con A
i=1 Ai , entonces (A) (A).
(Ai ),
i=1
Sea E
un i, (E) (Ei ) = .
i=1 Ei . Si (Ei ) = para alg
Si (Ei ) < para todo i, dado > 0, existe (Aij )
j=1 A tal que Ei
P
i
j=1 (Aij ) < (Ei ) + /2 . Entonces
(E)
(Aij ) <
i,j
X
i=1
i=1 (Ei ).
(Ei ) + .
j=1 Aij
Captulo 4. Construcci
on de medidas abstractas
127
Demostraci
on. Sea E S
X con (E) < y sea > 0 arbitrario. Existe una sucesion
(Ai )iN A tal que E iN Ai y
X
(Ai ) < (E) + .
iN
Por la aditividad de en A,
(Ai ) = (Ai A) + (Ai Ac ),
de donde
(E) + >
(Ai A) +
i=1
debido a que E A
(Ai Ac ) > (E A) + (E Ac )
i=1
iN (Ai
A) y E Ac
c
iN (Ai A ).
Ac ), con lo que
A es medible.
La medida exterior definida antes se llama medida exterior inducida por . Dado un
algebra A, denotaremos por A a la clase de conjuntos que son union numerable de conjuntos
de A y por A los conjuntos que son interseccion numerable de conjuntos de A .
Proposici
on 4.2.5. Sea una medida sobre un
algebra A, la medida exterior inducida
por y E X arbitrario. Entonces
> 0, A A : E A, (A) (E) + .
Adem
as, existe B A tal que E B y (E) = (B).
Demostraci
on. Por la definicion de , existe (Ai )iN A tal que E
iN Ai
(Ai ) (E) + .
i=1
Si A =
iN Ai ,
(A)
iN (Ai )
iN (Ai )
(E) + .
Para demostrar la segunda parte, sabemos que, para cada n N existe An A tal que
E An y (An ) < (E) + 1/n.
T
Si B = nN An , B A y E B.
Como B An , (B) (An ) < (E) + 1/n.
Como n es arbitrario, (B) (E). Pero E B, de donde (E) (B).
Si aplicamos esta proposicion a un conjunto -medible E de medida finita, resulta que E
es diferencia de un conjunto de A y un conjunto de medida exterior cero. Esto nos da la
estructura de los conjuntos -medibles de medida finita. Veamos a continuacion la extension
de este resultado a medidas -finitas.
Proposici
on 4.2.6. Sea una medida -finita sobre un
algebra A y la medida exterior
Adem
as, dado B, con (B) = 0, entonces existe C A , con B C y (C) = 0.
128
Demostraci
on. Como los conjuntos medibles forman una -algebra, todo conjunto A A
es medible; como ademas es completo (por el teorema 4.1.1), los conjuntos con -medida
cero son medibles. Con todo ello, si E = A \ B, con A A y (B) = 0, entonces E es
-medible.
Recprocamente,
sea (Xi )iN A una sucesion de conjuntos disjuntos conS(Xi ) < y
S
X = iN Xi . Si E es medible y llamamos Ei = E Xi , entonces E = iN Ei (union
disjunta). Por la proposicion anterior, para cada n N, existe Ani A tal que Ei Ani y
1
.
n 2i
S
S
Hacemos An =
i=1 Ani , con lo que E An y An \ E
i=1 (Ani \ Ei ). Por tanto,
(Ani ) (Ei ) +
(An \ E)
(Ani \ Ei )
i=1
Como An A , el conjunto A =
n=1 An
X
i=1
1
1
= .
i
n2
n
(A \ E) (An \ E) 1/n.
Como es cierto para todo n, (A \ E) = 0.
La segunda parte es consecuencia directa de la proposicion anterior.
Teorema 4.2.7 (Carath
eodory). Sea una medida sobre un
algebra A y la medida
exterior inducida por . Entonces la restricci
on de a los conjuntos -medibles es una
extensi
on de a una -
algebra que contiene a A. Si es finita (o -finita), tambien lo es
. Si es -finita, es la u
nica medida sobre la mnima -
algebra que contiene a A que
extiende a .
Demostraci
on. Solo queda probar la unicidad de cuando es -finita.
Sea S la mnima -algebra que contiene a A y
e alguna medida en S que coincide con en
A. Como los conjuntos de A son union numerable disjunta de conjuntos de A,
e = en
A .
Sea B S con (B) < . Por la proposicion 4.2.5, existe A A tal que B A y
(A) (B) + .
Pero
e(B)
e(A) = (A) (B) + =
e(B) (B).
Como la clase de conjuntos -medibles es una -algebra que contiene a A, los conjuntos B
S son -medibles. As pues, si B es -medible y A A , con B A y (A) (B) + ,
entonces
(A) = (B) + (A \ B),
de donde (A \ B) , si (B) < .
Por tanto,
(B) (A) =
e(A) =
e(B) +
e(A \ B)
e(B) + .
Captulo 4. Construcci
on de medidas abstractas
129
e(B) =
e(B Xi ) y (B) =
(B Xi ).
iN
iN
Como (B Xi ) < , (B Xi ) =
e(B Xi ), de donde
e(B) = (B).
Observaciones. El metodo anterior no solo extiende a una medida en la mnima -algebra
B que contiene a A, sino que completa la medida. Si es -finita, la extension a los conjuntos
-medibles es simplemente la complecion de .
Si no es -finita, la extension de a B no tiene que ser u
nica aunque cualquier otra extension
e coincide con en los conjuntos B B tales que (B) < y siempre sera
e(B) (B).
A menudo conviene empezar con una funcion 0 : C R, donde C P (X) es una semi
algebra, es decir que cumple las propiedades:
i) A, B C = A B C.
ii) A C = existen Ai C disjuntos tales que Ac =
Sn
i=1 Ai .
Si C es una semialgebra, la familia A que contiene el conjunto vaco y todas las uniones
finitas disjuntas de conjuntos de C es un algebra, P
llamada
algebra generada
por C. Si 0
S
esta definido en C, se define en A por (A) = ni=1 0 (Ei ), si A = ni=1 Ei , con Ei C
disjuntos.
Para que esta medida este bien definida sobre A hacen falta algunas condiciones como las
indicadas a continuacion.
Proposici
on 4.2.8. Sea C una semi
algebra de conjuntos y : C R, con 0 y () = 0
(si C). Entonces tiene una u
nica extensi
on a una medida sobre el
algebra A generada
por C si se cumplen:
S
P
i) C C, C = ni=1 Ci , Ci C disjuntos = (C) = ni=1 (Ci ).
S
P
ii) C C, C =
i=1 Ci , Ci C disjuntos = (C)
i=1 (Ci ).
Ejemplo (medida exterior de Lebesgue). Dada la familia C = {(a, b] : a, b R, a b}, la
funcion
(
)
X
[
m (A) = nf
(bn an ) : an , bn R, an bn , A
(an , bn ]
n=1
n=1
4.3.
Medidas producto
130
Demostraci
on. Fijado x A, para cada y B, el par (x, y) pertenece exactamente a un
rectangulo Ai Bi . Por tanto B es la union disjunta de los Bi para los que x esta en el
correspondiente Ai . As,
X
(Bi ) Ai (x) = (B) A (x)
iN
o bien
X
iN
Este lema implica que cumple las condiciones de la proposicion 4.2.8 de modo que tiene una
u
nica extension a una medida sobre el algebra R0 de las uniones finitas disjuntas de conjuntos
de R.
Por el teorema de Caratheodory, puede extenderse a una medida completa en una -algebra
S que contiene a R. Esta medida es la llamada medida producto de y , que se denota
por .
Si y son finitas (o -finitas), tambien lo es .
Si X = Y = R y = es la medida de Lebesgue, es la llamada medida de Lebesgue
bidimensional en el plano.
Veamos a continuacion la estructura de los conjuntos medibles respecto a la medida producto.
Si E X Y y x X, definimos las secciones
Ex = {y Y : (x, y) E}, E y = {x X : (x, y) E}.
Captulo 4. Construcci
on de medidas abstractas
131
Todas las propiedades relativas a la seccion Ex son aplicables a la seccion E y de modo que
enunciaremos u
nicamente las relativas a la primera de ellas.
S
S
Es facil ver que (E c )x = (Ex )c y ( E )x = (E )x para cualquier familia (E ). Ademas la
funcion caractersica de Ex verifica que Ex (y) = E (x, y).
Lema 4.3.2. Si x X y E R , entonces Ex es un subconjunto medible de Y .
Demostraci
on. El resultado es trivial si E R pues, si E = A B, con A, B medibles,
entonces Ex = B, que es medible. Veamos que tambien es cierto si E R .
S
Sea E =
i=1 Ei , con Ei R. Entonces
Ex (y) = E (x, y) = sup Ei (x, y) = sup (Ei )x (y).
Como Ei es un rectangulo medible, (Ei )x (y) es una funcion medible de y. Por tanto, Ex
tambien es medible, con lo que Ex es medible.
T
Sea, por u
ltimo, E =
i=1 Ei , con Ei R . Entonces
Ex (y) = E (x, y) = nf Ei (x, y) = nf (Ei )x (y),
de lo que deducimos que Ex es medible y Ex sera medible para todo E R .
Lema 4.3.3. Sea E R , con (E) < . Entonces la funci
on g, definida por g(x) =
(Ex ), es una funci
on -medible y
Z
g d = (E).
(
(B)
Demostraci
on. El resultado es trivial si E R pues g(x) =
0
S
Sea E = iN Ei , con Ei R disjuntos. Definimos
si x A,
en el resto.
gi (x) = [(Ei )x ].
P
As, cada gi es una funcion medible no negativa y, si g = iN gi , g es medible. Por el teorema
de Beppo Levi,
Z
XZ
X
g d =
gi d =
(Ei ) = (E).
iN
iN
Por u
ltimo, sea E R un conjunto
de medida finita. Entonces existe una familia (Ei )iN
T
R tal que Ei+1 Ei y E = iN Ei .
Por la proposicion 4.2.5, podemos hacer (E1 ) < . Si definimos gi (x) = [(Ei )x ],
entonces lm gi (x) es una funcion medible. Como
Z
g1 d = (E1 ) < ,
entonces g1 (x) < c.s.
132
Para cada x con g1 (x) < , {(Ei )x }iN es una sucesion decreciente de conjuntos medibles de
medida finita cuya interseccion es Ex . Por la proposicion 2.1.3, tenemos
g(x) = (Ex ) = lm [(Ei )x ] = lm gi (x).
Por tanto, gi g c.s., con lo que g es medible.
Como 0 gi g1 , el teorema de la convergencia dominada de Lebesgue implica que
Z
Z
g d = lm gi d = lm (Ei ) = (E),
nuevamente por la proposicion 2.1.3.
Lema 4.3.4. Sea E un conjunto tal que (E) = 0. Para casi todo x, (Ex ) = 0.
Demostraci
on. Por la proposicion 4.2.5, existe F R tal que E F y (F ) = 0. Del
lema anterior deducimos que (Fx ) = 0 c.s. Pero Ex Fx con lo que (Ex ) = 0 c.s. ya que
es completa.
Proposici
on 4.3.5. Sea E un conjunto medible en X Y tal que (E) < . Entonces
Ex es un conjunto medible en Y para casi todo x. La funci
on g(x) = (Ex ) es una funci
on
medible definida en casi todo x y
Z
g d = (E).
Demostraci
on. Por la proposicion 4.2.5, existe F R tal que E F y (F ) = (E).
Sea G = F \ E, el cual es medible y
(F ) = (E) + (G) = (G) = 0.
Por el lema anterior, (Gx ) = 0 c.s. de donde
g(x) = (Ex ) = (Fx ) c.s.
y as g es tambien una funcion medible por el lema 4.3.3.
Tambien por el lema 4.3.3,
Z
g d = (F ) = (E).
Los dos siguientes resultados dan condiciones para calcular de forma explcita integrales con
respecto a medidas producto mediante un proceso iterativo.
Teorema 4.3.6 (Fubini). Sean (X, A, ) e (Y, B, ) dos espacios de medida completos y f
una funci
on integrable en X Y . Entonces
i) fx (y) = f (x, y) es una funci
on integrable en Y para casi todo x y fy (x) = f (x, y) es una
funci
on integrable en X para casi todo y.
Captulo 4. Construcci
on de medidas abstractas
133
ii)
grable en Y .
Z hZ
Z
i
iii)
f d d =
X
f d( ) =
XY
Z hZ
Y
i
f d d.
Demostraci
on. Basta probar el caso en que f 0 (pues f = f + f , con f + , f 0).
Por la proposicion anterior, el teorema es cierto si f es la funcion caracterstica de un conjunto
medible de medida finita. Por tanto tambien es cierto si f es una funcion simple que se anula
fuera de un conjunto de medida finita. Por la proposicion 2.2.3, toda funcion integrable no
negativa es lmite de una sucesion (n )nN creciente de funciones simples no negativas. Como
cada n es simple e integrable, se anula fuera de un conjunto de medida finita. Entonces fx
es lmite de la sucesion creciente {(n )x }nN y es medible. Por el teorema de la convergencia
monotona,
Z
Z
f (x, y) d(y) = lm
Y
n (x, y) d(y)
Y
XY
f d( ).
XY
Observemos que, para aplicar el teorema de Fubini, hay que verificar primero que f es integrable respecto a , lo cual no siempre es facil.
Ejemplo. Sean X = Y = [0, 1], A = B los borelianos en [0, 1], la medida de Lebesgue y
la medida de contar. Si llamamos E = {(x, y) X Y : x = y} y consideramos la funcion
Z 1
Z 1
f = E , entonces
fx d = 1 y
fy d = 0. Por tanto,
0
Z 1 hZ
0
fx d d = 1 pero
Z 1 hZ
0
i
fy d d = 0.
en Y .
134
iii)
4.4. Ejercicios
Z hZ
X
Z
i
f d d =
f d( ) =
XY
Z hZ
Y
i
f d d.
Demostraci
on. Si y son -finitas, tambien lo es y toda funcion medible no negativa
en X Y puede aproximarse seg
un la proposicion 2.2.3 por una sucesion de funciones simples.
As pues, la demostracion del teorema anterior sigue valiendo aqu.
Corolario 4.3.8. Dadas f L1 (X) y g L1 (Y ), la funci
on h(x, y) = f (x)g(y) es integrable
en X Y y
Z
Z
Z
g d .
f d
h d( ) =
XY
F dm.
4.4.
Ejercicios
Captulo 4. Construcci
on de medidas abstractas
135
X
X
1
sen x
sen x
| sen x| dx
dx =
dx
x
x
(n + 1) n
n
Z
0
n=0
n=0
n=0
2
= .
(n + 1)
Fubini,
Z
sen x
dx =
x
Z bZ
xt
e
0
Z b
Z
sen x dtdx =
0
sen x
dx =
x
Z
0
b 0
sen x
dx =
x
2
ebt cos b
dt
b 1 + t2
lm
tebt sen b
dt = .
2
b
1+t
2
lm
Bibliografa
[AB] Charalambos Aliprantis y Owen Burkinshaw, Principles of real analysis. Academic Press, 1990.
[FF] Jos
e A. Facenda y Francisco J. Freniche, Integraci
on de funciones de varias
variables. Piramide, 2002.
[Ge] Jean Genet, Measure et integration: theorie elementaire. Vuibert, 1976.
[Go] Russell Gordon, The integrals of Lebesgue, Denjoy, Perron and Henstock. American
Mathematical Society, 1994.
[GR] Miguel de Guzm
an y Baldomero Rubio, Integraci
on: teora y tecnicas. Alhambra,
1979.
[HS] Norman Haaser y Joseph Sullivan, Real Analysis. Van Nostrand, 1971.
[KF] Andrei Kolmogorov y Sergei Fomin, Elementos de la teora de funciones y del
an
alisis funcional. Mir, 1978.
[Ro] Halsey Royden, Real Analysis, 3a ed. McMillan, 1988.
[SS] Elias Stein y Rami Shakarchi, Real Analysis, III. Princeton University Press.
137
Indice alfab
etico
F , 10
G , 10
A , 127
A , 127
-algebra, 73
-algebra de Borel, 11
-algebra de conjuntos, 10
algebra de conjuntos, 10
algebra generada por una semialgebra, 129
espacio
espacio
espacio
espacio
espacio
espacio
de Banach, 98
de medida, 73
de medida completo, 75
dual, 116
medible, 73
normado, 97
c.s., 25
conjunto abierto, 10
conjunto acotado, 10
conjunto cerrado, 10
conjunto compacto, 10
conjunto de Cantor, 13
conjunto de Vitali, 22
conjunto medible, 16
conjunto medible (Caratheodory), 123
conjunto negativo respecto a una medida,
85
conjunto nulo respecto a una medida, 85
conjunto positivo respecto a una medida,
85
convergencia de una sucesion de medidas,
82
convergencia en medida, 41
cubrimiento de Vitali, 42
integral
de funciones medibles no negativas, 77
de funciones simples, 77
integral de Lebesgue
de funciones medibles, 38
de funciones medibles no negativas, 34
de funciones medibles y acotadas, 31
de funciones simples, 28
derivada de Radon-Nikodym, 90
descomposicion de Jordan de una medida,
87
desigualdad de Cauchy-Schwarz, 103
desigualdad de Holder, 100
desigualdad de Jensen, 55
desigualdad de Minkowski, 100
espacio Lp , 103
139
INDICE ALFABETICO
140
medida
medida
medida
medida
medida
medida
medida
de contar, 74
de Dirac, 74
de Lebesgue, 18
de Lebesgue bidimensional, 130
de probabilidad, 75
exterior, 12, 123
exterior inducida por una medida,
127
medida finita, 75
medida producto, 130
medida sobre un algebra, 125
medidas con signo, 83
medidas equivalentes, 87
medidas mutuamente singulares, 86
n
umeros de Dini, 43
norma de un funcional lineal acotado, 110
parte negativa de una funcion, 38
parte negativa de una medida, 87
parte positiva de una funcion, 38
parte positiva de una medida, 87
propiedad de Heine-Borel, 10
rectangulo medible, 129
recta soporte, 55
semialgebra de conjuntos, 129
seminorma, 97
teorema de complecion de una medida, 75
teorema de descomposicion de Hahn, 86
teorema de descomposicion de Lebesgue,
90
teorema de Egorov, 27
teorema de extension de Caratheodory, 128
teorema de Fubini, 132
teorema de la convergencia acotada, 33
teorema de la convergencia dominada, 39,
82
teorema de la convergencia monotona, 36,
80
teorema de Levi, 36
teorema de Radon-Nikodym, 88
teorema de representacion de Riesz, 112,
114
teorema de Riesz-Fischer, 105
negativa, 47
positiva, 47
total, 47
total de una medida, 87