Professional Documents
Culture Documents
BARTLE
Los Elementos
de Integracin y
Medida de Lebesgue
Traduccion: Univ. Edgar Tito C.
Carrera de Matemticas - U.M.S.S.
Cochabamba - Bolivia
e-mail: edgar-tito-c@hotmail.com
UMSS
Contenido
Contenido I
Captulo 1 1
1. Introduccion 1
Razones por la que se desarrolla la integral de Lebesgue. . . . . . . . 1
Comparaciones con la integral de Riemann . . . . . . . . . . . . . . 1
El sistema de los numeros reales extendidos . . . . . . . . . . . . . . 4
Captulo 2 5
2. Funciones Medibles 6
Conjuntos Medibles . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
Funciones Medibles y sus combinaciones . . . . . . . . . . . . . . . . 8
Funciones Complejas . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
Funciones Entre Espacios Medibles . . . . . . . . . . . . . . . . . . . 13
Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
Captulo 3 18
3. Medidas 19
Medidas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
Espacios de Medida . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
i
ii CONTENIDO
-casi dondequiera . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
Cargas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
Captulo 4 26
4. La Integral 27
Funciones simples y sus integrales . . . . . . . . . . . . . . . . . . . . 27
La integral de una funcion real extendida medible no negativa . . . . 28
El Teorema de la Convergencia Monotona . . . . . . . . . . . . . . . 31
Lema de Fatou . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
Propiedades de la integral . . . . . . . . . . . . . . . . . . . . . . . . 34
Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
Captulo 5 40
5. Funciones Integrables 41
Funciones Reales Integrables . . . . . . . . . . . . . . . . . . . . . . 41
Positividad y Linealidad de la Integral . . . . . . . . . . . . . . . . . 43
El Teorema de la Convergencia Dominada de Lebesgue . . . . . . . . 44
Dependencia de un Parametro . . . . . . . . . . . . . . . . . . . . . 45
Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
Captulo 6 51
6. El Espacio de Lebesgue Lp 52
Espacio Lineal Normado . . . . . . . . . . . . . . . . . . . . . . . . . 52
El Espacio Lp , 1 < p < + . . . . . . . . . . . . . . . . . . . . . . . 55
El Espacio L . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
Parte I
iii
Introduccion
1
1
2 Captulo 1. Introduccion
enx
para x > 0 por fn (x) = . Es facil observar que la integral de Riemann
x
(impropia) + nx
e
In = dx
0 x
existe y que lm fn (x) = 0 para todo x > 0. Sin embargo, puesto que
n
lm fn (x) = + para cada n, la convergencia de la sucesion por supuesto
x0
no es uniforme para x > 0.
Aunque se espera que el lector puede proporcionar los calculos requeridos
para mostrar lm In = 0, preferimos conseguir esta conclusion como consecuen-
cia inmediata del Teorema de Convergencia Dominada de Lebesgue que se de-
mostrara mas tarde. Como otro ejemplo, consideramos la funcion F denidos
para t > 0 por la integral de Riemann (impropia)
+
F (t) = x2 etx dx.
0
Con un poco de esfuerzo uno puede mostrar que la F es continua y que su
derivada existe y esta dada por
+
F (t) = x3 etx dx,
0
el cual se obtiene diferenciando bajo el signo de la integral. Una vez mas,
esta conclusion sigue facilmente del Teorema de Convergencia Dominada de
Lebesgue.
En el riesgo de simplismo, vamos a tratar de indicar la diferencia crucial
entre las deniciones de integral de Riemann y de Lebesgue. Recordemos que
un intervalo en el conjunto R de numeros reales es un conjunto que tiene una
de las siguientes cuatro formas:
[a, b] = {x R : a x b} , (a, b) = {x R : a < x < b} ,
[a, b) = {x R : a x < b} , (a, b] = {x R : a < x b} .
En cada uno de estos casos nos referimos a a y b como los puntos extremos
y establecemos b a como la longitud del intervalo. Por otro lado recordemos
que si E es un conjunto, entonces la funcion caracterstica de E es la
funcion E denido por
1, x E,
E (x) =
0, x / E.
Una funcion-escalon es una funcion que es una combinacion lineal nita
de funciones caractersticas de intervalos; as
n
= cj Ej .
j=1
3
para cada sucesion (Ej ) de conjuntos en X los cuales son disjuntos dos a dos.
En este caso puede denirse una integral para una clase adecuada de funciones
reales sobre X, y esta integral posee poderosas propiedades de convergencia.
Como hemos enfatizado, estamos particularmente interesados en estos teo-
remas de convergencia. Por lo tanto queremos avanzar directamente hacia ellos
en este resumen, ya que es mas general y, creemos, conceptualmente mas sim-
ple que los casos especiales de integracion en la recta real o en Rn . Sin embargo,
se requiere que el lector temporalmente acepte el hecho de interesantes casos
especiales que son abarcados en la teora general. Concretamente, se requiere
que acepte la armacion de que existe una funcion de medida contablemente
aditiva que extiende la nocion de la longitud de un intervalo. La demostracion
de esta armacion esta en el Captulo 9 y puede ser ledo despues de completar
el Captulo 3 para quienes el suspenso es demasiado grande.
En este captulo introductorio hemos intentado proporcionar motivacion
y sentar las bases para la discusion detallada que sigue. Algunos de nuestros
comentarios aqu han sido un poco ambiguo y ninguno de ellos ha sido de-
mostrado. Estos defectos seran subsanados. Sin embargo, ya que en ocasiones
tendremos que referirnos al sistema de numeros reales extendidos, adjuntare-
mos ahora una breve descripcion de este sistema.
Frecuentemente en la teora de integracion es conveniente adjuntar los
smbolos , + al sistema de numero reales R. (Recalcamos que estos
smbolos no son numeros reales.) Tambien introducimos la convencion que
< x < para cualquier x R. La coleccion R que consistente del con-
juntos R {, } se llama el sistema de numero reales extendidos.
Una de las razones que deseamos para considerar R es que es conveniente
para decir que la longitud de la recta real es igual a +. Otra razon es que
frecuentemente tomaremos el supremo (= mnima cota superior) de un con-
junto de numeros reales. Sabemos que un conjunto no vaco A de numeros
reales que tiene una cota superior tambien tiene un supremo (en R). Si de-
nimos el supremo de un conjunto no vaco que no tiene una cota superior sera
+, entonces cada subconjunto no vaco de R (o R) tiene un unico supremo
en R. Asimismo, cada subconjunto no vaco de R (o R) tiene un unico nmo
(= maxima cota inferior) en R. (Algunos autores introducen los convenios que
nf = +, sup = , pero no los emplearemos.)
Si (xn ) es una sucesion de numeros reales extendidos, denimos el lmite
superior y el lmite inferior de esta sucesion por
lm sup xn = nf sup xn ,
m nm
lmnf xn = sup nf xn .
m nm
5
() + () = x + () = () + x = ,
()() = +,
()() = ,
, si x > 0,
x() = ()x = 0, si x = 0,
, si x < 0.
6
7
pertenece a X.
2.4 Lema. Las siguientes armaciones son equivalentes para una funcion
f de X en R:
(a) Para cada R, el conjunto A = {x X : f (x) > } pertenece a X
(b) Para cada R, el conjunto B = {x X : f (x) } pertenece a X
(c) Para cada R, el conjunto C = {x X : f (x) } pertenece a X
(d) Para cada R, el conjunto D = {x X : f (x) < } pertenece a X
{x X : f (x) > } = ,
{x X : f (x) > } = X.
9
cf, f 2, f + g, f g, |f |,
Demostracion.
(a) Si c = 0, la armacion es trivial. Si c > 0, entonces
1
(d) Dado que f g = [(f + g)2 (f g)2 ], se sigue de las partes (a), (b), y (c)
4
que f g es medible.
(e) Si < 0, entonces {x X : |f (x)| > } = X, mientras que si 0, en-
tonces {x X : |f (x)| > } = {x X : f (x) > }{x X : f (x) < } .
Por lo tanto la funcion |f | es medible.
Si f es cualquier funcion de X a R, sea f + y f las funciones no negativas
denidas en X por
(2.4) f + (x) = sup{f (x), 0}, f (x) = sup{f (x), 0}.
La funcion f + se llama parte positiva de f y f se llama parte negativa
de f . Es claro que
(2.5) f = f+ f y |f | = f + + f
y de estas identidades se sigue que
1 1
(2.6) f + = (|f | + f ), f = (|f | f ).
2 2
En vista del lema precedente deducimos que f es medible si y solamente si f +
y f son medibles.
La discusion precedente es valido para funciones reales denidas sobre un
espacio medible. Sin embargo, en el tratamiento con sucesiones de funciones
medibles se desea a menudo formar supremo, lmites, etc., y es tecnicamente
conveniente aceptar los numeros reales extendidos , + para ser tomados
como valores. En consecuencia deseamos denir medibilidad para funciones
reales extendidos y haremos esto exactamente como en la Denicion 2.3.
2.7 Definicion. Una funcion real extendido en X es Xmedible en el
caso que el conjunto {x X : f (x) > } pertenezca a X para cada numero
real . La coleccion de todas las funciones reales extendidos Xmedibles en
X se denota por M (X, X).
A = {x X : f (x) = +} , B = {x X : f (x) = }
es medible.
Si < 0, entonces
En consecuencia f1 es medible.
Recprocamente, si A, B X y f1 es medible, entonces
donde 0, y
Una consecuencia del Lema 2.6 y 2.8 es que si f esta en M (X, X), entonces
las funciones
cf, f 2 , |f |, f + , f
tambien pertenecen a M (X, X).
El unico comentario que se necesita hacer es que adoptamos la convencion
que 0(+) = 0 para que cf desaparezca identicamente cuando c = 0. Si f y
g pertenecen a M (X, X), entonces la suma f + g no esta bien denida por la
formula (f + g)(x) = f (x) + g(x) sobre los conjuntos
E1 = {x X : f (x) = y g(x) = +} ,
E2 = {x X : f (x) = + y g(x) = } ,
de los cuales ambos pertenecen a X. No obstante, si denimos f + g igual a
cero sobre E1 E2 la funcion resultante sobre X es medible. Regresaremos a
la medibilidad del producto f g despues del siguiente resultado.
12 Captulo 2. Funciones Medibles
2.9 Lema. Sea (fn ) una sucesion en M (X, X) y se dene las funciones
{x X : F (x) > } = {x X : fn (x) > } ,
n=1
de manera que f y F son medibles cuando todos los fn lo son. Puesto que
f (x) = sup nf fm (x) ,
n1 mn
F (x) = nf sup fm (x) ,
n1 mn
del Corolario 2.10 se sigue que f gm pertenece a M (X, X). Puesto que
aplicando una vez mas el Corolario 2.10 se muestra que f g pertenece a M (X, X).
Se ha visto que el lmite de una sucesion de funciones en M (X, X) pertenece
a M (X, X). Entonces probaremos que una funcion no negativa f en M (X, X)
es el lmite de una sucesion monotona creciente (n ) en M (X, X). Mas aun, se
puede elegir cada n diferente del negativo y suponer que solo es un numero
nito de valores reales.
Funciones Complejas
Frecuentemente es importante considerar funciones complejas denidos en
X y tener una idea de medibilidad para tales funciones. Observemos que si f
es una funcion compleja denido en X, entonces existen dos funciones reales
determinados unvocamente f1 , f2 , tales que
f = f1 + if2 .
(En efecto, f1 (x) = Re f (x), f2 (x) = Im f (x), para x X.) Denimos que la
funcion compleja f es medible si y solamente si sus partes real e imaginaria
f1 y f2 , respectivamente, son medibles. Es facil de comprobar que las sumas,
productos, y lmites de funciones complejas medibles tambien son medibles.
14 Captulo 2. Funciones Medibles
f 1 (E) = {x X : f (x) E}
1 1
2.A. Mostrar que [a, b] = a ,b + . En consecuencia cualquier
n n
n=1
algebra de subconjuntos de R que contiene todos los intervalos abier-
tos tambien contiene todos los intervaloscerrados. De manera similar,
1 1
mostrar que (a, b) = n=1 a + , b , as que cualquier algebra
n n
que contiene todos los intervalos cerrados tambien contiene todos los
intervalos abiertos.
2.B. Mostrar que el algebra de Borel B tambien esta generado por la coleccion
de todos los intervalos semi-abiertos (a, ] = {x R : a < x b}. Mostrar
ademas que B esta generado por la coleccion de todos las semi-rayas
{x R : x > a}, a R
lmnf An lm sup An X.
lmnf An = , lm sup An = X.
lmnf An = lm sup An .
2.J. Si a, b, c son numeros reales, sea med(a, b, c) que denota el valor inter-
medio. Mostrar que
es medible.
2.L. Sea f una funcion no negativa Xmedible sobre X el cual esta acotado
(es decir, existe una constante K tal que 0 f (x) K para todo
x X). Mostrar que la sucesion (n ) construida en el Lema 2.11
converge uniformemente en X a f .
2.M. Sea f una funcion denida sobre un conjunto X con valores en un con-
junto Y . Si E es cualquier subconjunto de Y , sea
f 1 (E) = {x X : f (x) E} .
En particular
se sigue que si
Y es un algebra de subconjuntos de Y ,
entonces f 1 (E) : E Y es un algebra de subconjuntos de X.
17
2.P. Sea (X, X) un espacio medible y f una funcion real denida sobre X.
Mostrar que f es Xmedible si y solamente si f 1 (E) X para cada
conjunto de Borel E.
2.R. Sea f como en el ejercicio precedente y sea una funcion Borel medible.
Mostrar que f es Xmedible.
2.S. Sea f una funcion compleja denida sobre un espacio medible (X, X).
Mostrar que f es Xmedible si y solamente si
2.T. Mostrar que las sumas, los productos, y lmites de funciones complejas
medibles son medibles.
a
Esto signica que En Em = si n = m.
19
20 Captulo 3. Medidas
para algun n o que la serie de terminos no negativos del lado derecho de (3.1)
es divergente. Si una medida no toma el valor de +, decimos que es nito.
De manera
mas general si existe una sucesion (En ) de conjuntos en X con
X= En y tal que (En ) < + para todo n, entonces decimos que es
nito.
3.2 Ejemplos. (a) Sea X cualquier conjunto no vaco y sea X el algebra
de todos los subconjuntos de X. Sea 1 denido en X por
1 (E) = 0, para todo E X;
y sea 2 denido por
2 () = 0, 2 (E) = + si E = .
Tanto 1 como 2 son medidas, a pesar de que ninguno es muy interesante.
Observese que 2 no es ni nito ni nito.
(b) Sea (X, X) como en (a) y sea p un elemento jo de X. Sea denido para
E X por
0, si p / E,
(E) =
1, si p E.
Se puede ver facilmente que es de medida nita; esta medida se llama
medida unidad concentrada en p.
(c) Sea X = N = {1, 2, 3, . . .} y sea X el algebra de todos los subconjuntos
de N. Si E X, denimos (E) igual al numero de elementos de E si E
es un conjunto nito e igual a + si E es un conjunto innito. Entonces
es una medida y se llama medida de contar en N. Observese que
no es nito, pero es nito.
(d) Si X = R y X = B, el algebra de Borel, entonces se mostrara en el
Captulo 9 que existe una unica medida denida en B que coincide con
la longitud de los intervalos abiertos. [Con esto queremos decir que si E
es un intervalo no vaco (a, b), entonces (E) = b a.] Esta unica medida
usualmente se llama medida de Lebesgue( o Borel ). Esta medida no es
nita, pero es nita.
(e) Si X = R, X = B, y f es una funcion continua monotona creciente,
entonces mostrara en el Captulo 9 que existe una unica medida f denido
en B tal que si E = (a, b), entonces f (E) = f (b) f (a). Esta medida f
se llama la medida de Borel-Stieltjes generado por f .
Ahora deduciremos algunos resultados simples que seran necesarios mas
adelante.
(F ) = (E) + (F \E).
Demostracion.
Por el Lema 3.3 (An ) = (En ) (En1 ) para n > 1, entonces la serie
nita del lado derecho se reduce y
m
(An ) = (Em ).
n=1
Hay una terminologa que necesita ser mencionada y que sera empleado
posteriormente. Diremos que cierta proposicion se cumple casi dondequiera
si existe un subconjunto N X con (N ) = 0 tal que la proposicion se cumple
sobre el complemento de N . Por consiguiente decimos que dos funciones f, g
son iguales casi dondequiera o que son iguales para casi todo x
en el caso f (x) = g(x) cuando x / N , para algun N X con (N ) = 0. En
este caso por lo general escribimos
f = g, c.d.
f = lm fn , c.d.
salvo que tomen valores tanto positivos como negativos. En este caso, no es tan
conveniente permitir los valores de los numeros reales extendidos +, ya
que deseamos evitar expresiones de la forma (+) + (). Aunque es posible
manejar medidas con signo que tomara uno solo de los valores +, ,
vamos a limitar nuestra atencion en el caso de que ninguno de estos smbolos
esta permitido. Para indicar esta restriccion, vamos a introducir el termino
carga, el cual no es totalmente estandar.
Ejercicios
3.A. Si es una medida en X y A es un conjunto jo en X, entonces la funcion
, denido para E X por (E) = (A E), es una medida en X.
3.B. Si 1 , . . . , n son medidas en X y a1 , . . . , an son numeros reales no nega-
tivos, entonces la funcion , denida para E X por
n
(E) = aj j (E),
j=1
es una medida en X.
3.C. Si (n ) es una sucesion de medidas en X con n (X) = 1 y si esta
denido por
(E) = 2n n (E), E X,
n=1
24 Captulo 3. Medidas
3.H. Mostrar que el Lema 3.4(b) puede dejar de ser verdad si la condicion de
nitud (F1 ) < + no se toma en cuenta.
(E Z1 )\Z2 , E X,
25
(E Z) = (E),
27
28 Captulo 4. La Integral
donde la notacion indica la sumatoria sobre todos los j, k tales que aj +bk = ch .
Puesto que la representacion estandar de + esta dado por
p
+ = ch Gh ,
h=1
encontramos que
p
( + ) d = (Gh )
h=1
p
= ch (Ej Fk )
h=1 (p)
p
= (aj + bk ) (Ej Fk )
h=1 (h)
n m
= (aj + bk ) (Ej Fk )
j=1 k=1
n m n
m
= aj (Ej + Fk ) + bk (Ej Fk ).
j=1 k=1 j=1 k=1
m
n
(Ej ) = (Ej Fk ), (Fk ) = (Ej Fk ).
k=1 j=1
30 Captulo 4. La Integral
n
E = aj Ej E .
j=1
Demostracion.
An = {x X : fn (x) (x)}
32 Captulo 4. La Integral
as que An X, An An+1 , y An . Segun el Lema 4.5,
(4.7) d fn d fn d.
An An
Remarca. Se observa que nose ha supuesto que uno de los lados de (4.6) es
nita. De hecho, la sucesion ( fn d) es una sucesion monotona creciente de
numeros reales extendidos y as que siempre tiene un lmite en R, pero quiza
no en R.
Demostracion.
El siguiente rebultado, consecuencia del Teorema de la Convergencia Mono-
tona, es un resultado muy importante que nos posibilita el manejo de suce-
siones de funciones que no son monotonas.
4.8 Lema de Fatou. Si (fn ) pertenece a M + (X, X), entonces
(4.8) (lmnf fn ) d lm fn d.
as que
gm d lmnf fn d.
34 Captulo 4. La Integral
E = {x X : f (x) > 0} ,
Ejercicios
4.A. Si la funcion simple en M + (X, X) tiene la (no necesariamente estandar)
representacion
n
= bk Fk ,
k=1
= sup{1 , 2 }, = nf{1 , 2 }
1
[n,+), entonces la sucesion (fn ) es monotona decreciente y con-
n
verge uniformemente a f = 0, pero
0 = f d = lm fn d = +.
1
4.N. Si fn = [0,n] , entonces la sucesion f (n) converge uniformemente
n
a f = 0 en [0, ). Sin embargo, fn d = 1 mientras que f d, as
lmnf fn d = 1 < 0 = f d.
4.O. El Lema de Fatou tiene una extension a un caso donde los fn toman
valores no negativos. Sea h en M + (X, X) y supongase que h d < +.
Si (fn ) es una sucesion en M (X, X) y si h fn , entonces
(lmnf fn ) d lmnf fn d.
4.P. Por que el Ejercicio 4.O tiene validez para el Ejercicio 4.N?
4.Q. Si f M + (X, X) y
f d < +,
4.R. Si f M + (X, X) y
f d < +,
4.S. Si f M + (X, X) y
f d < +,
entonces para cualquier > 0 existe un conjunto E X tal que (E) <
+ y
f d f d + .
E
4.T. Supongase que (fn ) M + (X, X), tal que converge (fn ) converge f , y
que
f d = lm fn d < +.
40 Captulo 4. La Integral
Demostrar que
f d = lm fn d
E E
para cada E X.
4.U. Mostrar que la conclusion del Ejercicio 4.T puede no cumplirse si se quita
la condicion
lm fn d < +.
Funciones Integrables
5
Si E pertenece a X, denimos
+
f d = f d f d.
E E E
41
42 Captulo 5. Funciones Integrables
son medidas sobre X; estas medidas son nitas puesto que f L. Puesto que
= + , se sigue que es una carga.
Nos referimos a esta relacion diciendo que la integral indenida de una funcion
de en L es contablemente aditiva.
El siguiente resultado, se conoce a veces como la propiedad de integrabilidad
absoluta de la integral de Lebesgue. El lector recordara que, aunque el valor
absoluto de una funcion integrable (propia) de Riemann es Riemann integrable,
esto puede no ser el caso de una funcion que tiene una integral impropia
de Riemann (por ejemplo, si se considera f (x) = x1 sen x en el intervalo
1 x +).
+
= f d f d = f d.
f + g = (f + + g+ ) (f + g ).
44 Captulo 5. Funciones Integrables
= f, d + g, d.
Ahora bien, vamos a establecer el teorema de convergencia mas importante
para las funciones integrables.
5.6 Teorema de la Convergencia Dominada de Lebesgue. Sea (fn )
una sucesion de funciones integrables que converge casi en todas partes a
una funcion real medible f . Si existe una funcion integrable g tal que |fn | g
para todo n, entonces f es integrable y
(5.4) f d = lm fn d.
Dependencia de un Parametro
Con frecuencia es necesario considerar integrales donde el integrando de-
pende de un parametro real. Ahora bien, vamos a demostrar como el Teorema
de la Convergencia Dominada de Lebesgue puede ser utilizado en este sentido.
Para el resto de este captulo vamos f denotara una funcion denida de
X [a, b] a R y se supondra que la funcion x f (x, t) es Xmedible para
cada t [a, b]. Las hipotesis adicionales seran enunciadas de manera explcita.
f f (x, tn ) f (x, t)
(x, t) = lm , x X.
t tn t
f
En consecuencia, la funcion x (x, t) es medible.
t
Si x X y t [a, b], podemos aplicar el Teorema del Valor Medio (vease
Referencia [1], pagina 210) para deducir la existencia de un s1 entre t0 y t tal
que
f
t(x, t) f (x, t0 ) = (t t0 ) (x, s1 ).
t
Por lo tanto tenemos
lo cual muestra que la funcion x f (x, t) es integrable para cada t en [a, b].
Por tanto, si tn = t, entonces
F (tn ) F (t) f (x, tn ) f (x, t)
= d(x).
tn t tn t
Puesto que este integrando esta dominado por g(x), podemos aplicar el Teore-
ma de la Convergencia Dominada para obtener la armacion de la conclusion.
47
h
De esto se sigue que (x, t) = f (x, t). Puesto que esta integral de Riemann
t
existe, es el lmite de una sucesion de sumas de Riemann; por tanto el mapeo
x h(x, t) es medible para cada t. Ademas, puesto que |f (x, t)| g(x), de-
ducimos que |h(x, t)| g(x)(b a), as que la funcion x h(x, t) es integrable
para cada t [a, b]. Sea H denido sobre [a, b] por
H(t) = h(x, t) d(x);
Ejercicios
5.A. Si f L(X, X, ) y a > 0, mostrar que el conjunto {x X : |f (x)| a}
tiene medida nita. Ademas, el conjunto {x X : f (x) = 0} tiene me-
dida nita (i.e., es la union de una sucesion medible de conjuntos con
medida nita).
5.C. Si f L(X, X, ) y g es una funcion real Xmedible tal que f (x) = g(x)
casi en todas partes sobre X, entonces g L(X, X, ) y
f d = g d.
5.J. Sea (fn ) una sucesion de funciones complejas medibles que converge a f .
Si existe una funcion integrable g tal que |fn | g, mostrar que
f d = lm fn d.
5.O. Si fn L(X, X, ), y si
|fn | d < +,
n=1
entonces la serie fn (x) converge casi en todas partes a la funcion f
en L(X, X, ). Ademas,
f d = fn d.
n=1
50 Captulo 5. Funciones Integrables
Mostrar que
+ +
f (x, t) d(x) dt = f (x, t) dt d(x),
Recprocamente, si
sup |fn | d < +,
entonces f es integrable.
El Espacio de Lebesgue Lp
6
6.2 Ejemplos. (a) La funcion valor absoluto produce una norma para los
numeros reales.
(b) El espacio lineal Rn de las ntuplas de numeros reales puede ser normado
52
53
deniendo
Es facil vericar que N1 y N son normas y que Np satisface (i), (ii), (iii).
Una consecuencia de la desigualdad de Minkowski, el cual sera probado
posteriormente, es que Np satisface (iv).
El espacio lineal l1 de todas las sucesiones reales u = (un ) tal que N1 (u) =
(c)
|un | < + es un espacio lineal normado bajo N1 . De manera similar,
si 1 p < , la coleccion lp de todas las sucesiones tal que Np (u) =
1/p
|un |p < + es normado por Np .
(d) La coleccion B(X) de todas las funciones reales acotadas sobre X es nor-
mado por
N (f ) = sup {|f (x)| : x X} .
En particular, el espacio lineal de las funciones continuas sobre X = [a, b]
es normado.
1
Aqu N0 (f ) = 0 si y solamente si f (x) desaparece para 0 x .
2
(c) Sobre el espacio lineal de funciones sobre [a, b] a R que tienen derivadas
continuas, consideremos la semi-norma
N0 (f ) = sup |f (x)| : a x b .
[f ] = [f ], [f ] + [g] = [f + g],
as que f (x) = 0 para casi todos los x. Por lo tanto [f ] = [0]. Por ulti-
mo, se puede ver facilmente que se cumplen las propiedades (iii) e (iv) de la
Denicion 6.1. Por consiguiente 1 produce una norma en L1
(t) = t t .
Es facil comprobar que (t) < 0 para 0 < t < 1 y (t) > 0 para t > 1.
Del Teorema del Valor Medio del calculo se deduce que (t) (l) y que
(t) = (l), si y solamente si t = 1. Por lo tanto tenemos que
t t + (1 ), t 0.
a
Si a y b son no negativos, y si tomamos t = y se multiplicamos por b,
b
obtenemos la desigualdad
a b1 a + (1 )b,
Ap B q
(6.4) AB + .
p q
Puesto que ambos terminos de la derecha son integrables, del Corolario 5.4
y el Teorema 5.5 se deduce que f g es integrable. Por otra parte, integrando
obtenemos
f g1 1 1
+ = 1.
f p gq p q
que es la desigualdad de Holder.
del Corolario 5.4 y el Teorema 5.5 se deduce que f + h Lp . Por otra parte,
deducir que
1/q
p1 (p1)q
|f | |f + h| d f p |f + h| d
= f p f + hp/q
p .
59
Existe una subsucesion (gk ) de (fn ) tal que gk+1 gk p < 2k para k N.
Denimos g por
(6.9) g(x) = |g1 (x)| + |gk+1 (x) gk (x)|,
k=1
de modo que g esta en M + (X, X). Por el Lema de Fatou, tenemos que
n
!p
p
|g| d lm nf g1 p + |gk+1 gk | d.
n
k=1
k1
Puesto que |gk | |g1 | + |gj+1 gj | g y ya que (gk ) converge en casi
j=1
todas partes a f , el Teorema de la Convergencia Dominada 5.6 implica que
f Lp . Dado que |f gk |p 2p gp , del Teorema de la Convergencia Dominada
deducimos que 0 = lm f gn p , de modo que (gk ) converge en Lp a f .
En vista de (6.8), si m M ( ) y k es sucientemente grande, entonces
|fm gk |p < p .
El Espacio L
Ahora vamos a introducir un espacio que esta relacionado con los espacios-Lp .
(6.10) f = nf {S(N ) : N X, (N ) = 0} .
f (x) f para x
/ N1 ,
g(x) g para x
/ N2 ,
Ejercicios
6.A. Sea C[0, 1] el espacio lineal de funciones continuas de [0, 1] a R. Denimos
N0 para f en C[0, 1] por N0 (f ) = |f (0)|. Mostrar que N0 es una semi-
norma sobre C[0, 1].
6.B. Sea C[0, 1] denido como antes, y N1 denido para f en C[0, 1] como
la integral de Riemann de |f | sobre [0, 1]. Mostrar que N1 dene una
semi-norma sobre C[0, 1]. Si fn esta denido para n 1 como: igual a
0 para 0 x (1 1/n)/2; igual a 1 para 12 x 1; y lineal para
(1 1/n)/2 x 12 , Mostrar que (fn ) es una sucesion de Cauchy, pero
que no converge con respecto a N1 a un elemento de C[0, 1].
62 Captulo 6. El Espacio de Lebesgue Lp
6.C. Sea N una norma sobre un espacio lineal V y sea d denido para u, v V
por d(u, v) = N (u v). Mostrar que d es una metrica sobre V ; es decir,
(i) d(u, v) 0 para todo u, v V ; (ii) d(u, v) = 0 si y solamente si u = v;
(iii) d(u, v) = d(v, u); (iv) d(u, v) d(u, w) + d(w, v).
6.I. Modicar el Ejercicio 6.H para obtener una funcion sobre un espacio de
medida nita que pertenezca a Lp si y solamente si 1 p < p0 .
f r f p (X)s ,
6.N. Sea (X, X, ) cualquier espacio de medida y sea f que pertenece tanto a
Lp1 y Lp2 , con 1 p1 < p2 < . Demostrar que f Lp para cualquier
valor de p tal que p1 p p2 .
6.S. Sea fn , n como en el Ejercicio 6.R, supongase que (fn ) es una suce-
sion de Cauchy. Si > 0, entonces existe ( ) > 0 tal que si E X y
(E) < ( ), entones n (E) < para todo n N. [Sugerencia: Usar el
Corolario 4.11.]
f = lm f p .
p