Teoria de La Medida Esp.

WWiley CClassics LLibrary
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
I Los Elementos de Integracion III
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
Los Elementos de Integracion
iii
Introduccion
1
La teora de integracion tiene sus antiguas y nobles races en el metodo

de agotamiento que fue inventado por Eudoxo y desarrollado en gran medida
por Arqumedes para el proposito del calculo de areas y volumenes de guras
geometricas. Mas tarde el trabajo de Newton y Leibnitz hicieron que este
metodo se convierta en una herramienta sistematica para esos calculos.
Ya que esta teora desarrollada, ha pasado a ser menos interesantes en apli-
caciones a la geometra y mecanica elemental, para los cuales esta enteramente
adecuado, y mas interesados con las preguntas puramente analticas, para los
cuales la teora clasica de la integracion no siempre es suciente. Es as que
matematicos de la actualidad son capaces de estar interesados en la conver-
gencia de expansiones ortogonales, o en aplicaciones para las ecuaciones dife-
renciales o probabilidad. Para ello la teora clasica de integracion que culmino
en la integral de Riemann ha sido ampliamente reemplazada por la teora que
ha crecido de la labor pionera de Henri Lebesgue a comienzos de este siglo. La
razon de esto es muy simple: los poderosos teoremas de convergencia asociados
con la teora de integracion de Lebesgue conduce a resultados mas generales,
mas completos y mas elegantes que la integral de Riemann integral reconoce.
La denicion de Lebesgue de la integral agranda la coleccion de funciones
para las cuales la integral esta denido. Aunque por si mismo esta ampliacion
es util, su principal virtud es que los teoremas relacionados con el intercambio
de los lmites y la integral son validas bajo menos hipotesis estrictas que son
necesarias para la Riemann integral.
Ya que se necesita frecuentemente hacer tales intercambios, es mas conve-
niente tratar la integral de Lebesgue que la integral de Riemann integral. Para
ejemplicar estas observaciones, sea (fn ) la sucesion de funciones denidas
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
Si los puntos extremos del intervalo Ej son aj , bj , denimos la integral de

como: n
= cj (bj aj ).
j=1
Si f es una funcion acotada denido sobre un intervalo [a, b] y si f no es tan

discontinua, entonces la integral de Riemann de f esta denido como el
lmite (en cierto sentido) de las integrales de funciones-escalon que se aproxi-
man a f . En particular, la integral inferior de Riemann de f puede ser
denida como el supremo de las integrales de todas las funciones-escalon tal
que (x) f (x) para todo x [a, b], y (x) = 0 para x / [a, b].
La integral de Lebesgue puede obtenerse por un proceso similar, salvo
que la coleccion de funciones escalonadas es reemplazada por una clase de
funciones mas grande. De manera mas detallada, la nocion de longitud esta
generalizada a una coleccion adecuada X de subconjuntos de R. Una vez hecho
esto, las funciones escalonadas son sustituidas por funciones simples, que
son combinaciones lineales nitas de las funciones caractersticas de conjuntos
que pertenecen a X. Si
n
= cj Ej
j=1
es tal funcion simple y (E) denota la medida o longitud generalizada del

conjunto E en X, denimos la integral de como
n
= cj (Ej ).
j=1
Si f es una funcion no negativa denido sobre R que esta convenientemente

restringido, deniremos la integral (de Lebesgue) de f como el supremo de
las integrales de todas las funciones simples tal que (x) f (x) para todo
x R. La integral puede ser extendida a ciertas funciones que toman ambos
signos.
Aunque la generalizacion de la nocion de longitud a ciertos conjuntos de
R que no necesariamente son intervalos tiene un gran interes, se observo en
1915 por Maurice Frechet que las propiedades de convergencia de la integral de
Lebesgue son validas en considerable generalidad. En efecto, sea X cualquier
conjunto en el que existe una coleccion X de subconjuntos que contenga el
conjunto vaco y X, y cerrado bajo complemento y uniones contables. Su-
pongamos que existe una funcion de medida no negativa denida en X tal
que () = 0 y que es contablemente aditiva en el sentido de que

Ej = (Ej )
j=1 j=1
4 Captulo 1. Introduccion
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
Si el lmite inferior y el lmite superior son iguales, entonces su valor se llama

el lmite de la sucesion. Esta claro que este coincide con la convencion de la
denicion cuando la sucesion y el lmite pertenecen a R.
Por ultimo, introducimos las siguientes operaciones algebraicas entre los
smbolos y los elementos x R:
() + () = x + () = () + x = ,
()() = +,
()() = ,

, si x > 0,
x() = ()x = 0, si x = 0,

, si x < 0.
Cabe senalar que no denimos (+) + () o () + (+), tampoco de-

nimos cocientes cuando el denominador es .
Funciones Medibles
2
En el desarrollo de la integral de Lebesgue vamos a estar interesados en

clases de funciones reales denidos sobre un conjunto X. En varias aplicaciones
el conjunto X puede ser el intervalo unitario I = [0, 1] que consiste de todos
los numeros reales x que satisfacen 0 x 1; puede ser ser el conjunto
N = {1, 2, 3, . . .} de numeros naturales; puede ser toda la recta real R; puede
ser todo el plano; o puede ser algun otro conjunto. Puesto que el desarrollo de
la integral basicamente no depende de la naturaleza del espacio X, no haremos
ninguna suposicion sobre sus caractersticas especicas.
Dado el conjunto X, escogeremos una familia X de subconjuntos de X que
se comportan bien en cierto sentido tecnico. Para ser precisos, supondremos
que esa familia contiene el conjunto vaco y todo el conjunto X, y que X sea
cerrado bajo complemento y uniones numerables.
2.1 Definicion (algebra). Una familia X de subconjuntos de un con-

junto X se llama algebra (o campo) si:
(i) , X pertenecen a X.
(ii) Si A pertenece a X, entonces el complemento C (A) = X\A pertenecen
a X.

(iii) Si (An ) es una sucesion de conjuntos en X, entonces la union An
n=1
pertenece a X.
Una par ordenado (X, X) que consiste de un conjunto X y un algebra X

de subconjuntos de X se llama espacio medible. Cualquier conjunto en X se
llama conjunto Xmedible, pero cuando el algebra X esta jo (tal como
6
7
generalmente es el caso), el conjunto usualmente se llamara medible.

El lector recordara las reglas De Morgan:

(2.1) C A = C (A ), C A = C (A ).

De estos se sigue que la interseccion de una sucesion de conjuntos en X tambien

pertenece a X.
Ahora bien, daremos algunos ejemplos de algebras de subconjuntos.
2.2 Ejemplos. (a) Sea X cualquier conjunto y sea X la familia de todos los
subconjuntos de X.
(b) Sea X la familia que consiste precisamente de dos subconjuntos de X, a
saber y X.
(c) Sea X = {1, 2, 3, . . .} el conjunto N de los numeros naturales y sea X que
consiste de los subconjuntos
, {1, 3, 5, . . .}, {2, 4, 6, . . .}, X.
(d) Sea X un conjunto no numerable y X la coleccion de los subconjuntos que

son numerables o tienen complementos numerables.
(e) Si X1 y X2 son algebras de subconjuntos de X, sea X3 la intersec-
cion de X1 y X2 ; es decir, X3 consiste de todos los subconjuntos de X
que pertenecen tanto a X1 como a X2 . Es facil de comprobar que X3 es
algebra.
(f) Sea A una coleccion de subconjuntos no vacos de X. Observemos que
existe un algebra mas pequeno de subconjuntos de X que contienen
a A. Para ver esto, observe que la familia de todos los subconjuntos de
de X es un algebra que contiene a A y la interseccion de todas los
algebras que contienen a A es tambien un algebra que contiene
a A. Este algebra mas pequeno por lo general se llama algebra
generado por A.
(g) Sea X el conjunto R de los numeros reales. El algebra de Borel es
el algebra B generado por todos los intervalos abiertos (a, b) en R.
Observe que el algebra de Borel B tambien es el algebra generado por
todos los intervalos cerrados [a, b] en R. Cualquier conjunto en B se llama
conjunto de Borel .
(h) Sea X el conjunto R de los numeros reales extendidos. Si E es un subcon-
junto de Borel de R, sea
(2.2) E1 = E {}, E2 = E {+}, E3 = E {, +},
y sea B la coleccion de todos los conjuntos E, E1 , E2 , E3 tal como E cambia
sobre B. Es facil comprobar que B es un algebra el cual se llamara
algebra de Borel extendido.
8 Captulo 2. Funciones Medibles
A continuacion, consideraremos un espacio medible jo (X, X).
2.3 Definicion (funcion medible). Una funcion f de X a R se llama

Xmedible (o simplemente medible) si para cada numero real el
conjunto
(2.3) {x X : f (x) > }
pertenece a X.
El siguiente lema muestra que se podra haber modicado la forma de los

conjuntos en la denicion de medibilidad.
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
Demostracion. Puesto que B y A son complementos uno del otro, la ar-

macion (a) es equivalente a la armacion (b). De manera similar, la armacion
(c) y (d) son equivalentes. Si (a) se cumple, entonces A1/n pertenece a X
para cada n y puesto que

C = A1/n ,
n=1
se sigue que C X. Por lo tanto (a) implica (c). Dado que

A = C+1/n ,
n=1
se sigue que (c) implica (a).
2.5 Ejemplos. (a) Cualquier funcion constante es medible. Ya que si f (x) = c

para todo x X y si c, entonces
{x X : f (x) > } = ,
mientras que si < c, entonces
{x X : f (x) > } = X.
9
(b) Si E X, entonces la funcion caracterstica E , denido por

1, x E,
E (x) =
0, x / E,
es medible. En efecto, {x X : E (x) > } es X, E o .

(c) Si X es el conjunto R de numeros reales, y X es el algebra de Borel B,
entonces cualquier funcion continua f de R a R es Borel medible (es decir,
Bmedible). En efecto, si f es continua, entonces {x R : f (x) > } es
un intervalo abierto en R y en consecuencia es la union de una sucesion
de intervalos abiertos. Por lo tanto, pertenece a B.
(d) Si X = R y X = B, entonces cualquier funcion monotona es Borel medible.
Al suponer que f es monotona creciente en el sentido que x x implica
f (x) f (x ). Entonces {x R : f (x) > } consiste de una semi-recta que
es de la forma {x R : x > a} o de la forma {x R : x a}, o es R o .
Algunas combinaciones algebraicas sencillas de funciones medibles son me-
dibles, tal como mostraremos ahora.
2.6 Lema. Sea f y g funciones reales medibles y sea c un numero real.

Entonces las funciones
cf, f 2, f + g, f g, |f |,
tambien son medibles.
Demostracion.
(a) Si c = 0, la armacion es trivial. Si c > 0, entonces
{x X : cf (x) > } = {x X : f (x) > /c} X.
El caso c < 0 se trata de manera similar.

(b) Si < 0, entonces x X : (f (x))2 > = X; si 0, entonces

x X : (f (x))2 > = x X : f (x) > x X : f (x) < .
(c) Por hipotesis, si r es un numero racional, entonces
Sr = {x X : f (x) > r} {x X : g(x) > r}
pertenece a X. Puesto que se puede comprobar facilmente que

{x X : (f + g)(x) > } = {Sr : r racional} ,
se sigue que f + g es medible.

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).
Observe que si f M (X, X), entonces

{x X : f (x) = +} = {x X : f (x) > n} ,
n=1

{x X : f (x) = } = C {x X : f (x) > n} ,
n=1
de manera que ambos conjuntos pertenecen a X.

El siguiente lema muchas veces es util al considerar funciones reales exten-
didos.
11
2.8 Lema. Una funcion real extendido f es medible si y solamente si los

conjuntos
A = {x X : f (x) = +} , B = {x X : f (x) = }
pertenecen a X y la funcion real f1 denida por

f (x), si x
/ A B,
f1 (x) =
0, si x A B,
es medible.
Demostracion. Si f esta en M (X, X), ya se ha visto que A y B pertenecen

a X. Sea R y 0, entonces
{x X : f1 (x) > } = {x X : f (x) > } \A.
Si < 0, entonces
{x X : f1 (x) > } = {x X : f (x) > } B.
En consecuencia f1 es medible.
Recprocamente, si A, B X y f1 es medible, entonces
{x X : f (x) > } = {x X : f1 (x) > } A
donde 0, y
{x X : f (x) > } = {x X : f1 (x) > } \B
donde < 0. Por lo tanto f es medible.
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.
2.9 Lema. Sea (fn ) una sucesion en M (X, X) y se dene las funciones
f (x) = nf fn (x), F (x) = sup fn (x),
f (x) = lmnf fn (x), F (x) = lm sup fn (x).

Entonces f , F , f , y F pertenecen a M (X, X).
Demostracion. Observe que

{x X : f (x) } = {x X : fn (x) } ,
n=1

{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
la medibilidad de f y F tambien esta establecido.
2.10 Corolario. Si (fn ) es una sucesion en M (X, X) que converge a f

en X, entonces f esta en M (X, X).
Demostracion. En este caso f (x) = lm fn (x) = lmnf fn (x).
Ahora bien, retornemos a la medibilidad del producto f g cuando f , g

pertenecen a M (X, X). Si n N, sea fn el truncamiento de f denido por

f (x), si |f (x)| n,
fn (x) = n, si f (x) > n,

n, si f (x) < n,
Sea gn denido de manera similar. Es facil comprobar que fn y gm son medibles

(vease el Ejercicio 2.K). Del Lema 2.6 se sigue que el producto fn gm es
medible. Dado que
f (x) gm (x) = lm fn (x) gm (x), x X,

n
13
del Corolario 2.10 se sigue que f gm pertenece a M (X, X). Puesto que
(f g)(x) = f (x) g(x) = lm f (x) gm (x), x X,

m
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.
2.11 Lema. Si f es una funcion no negativa en M (X, X), entonces existe

una sucesion (n ) en M (X, X) tal que
(a) 0 n (x) n+1 (x) para x X, n N.
(b) f (x) = lm n (x) para cada x X, n N.
(c) Cada n tiene solamente un numero nito de valores reales.
Demostracion. Sea n un numero natural jo. Si k = 0, 1, . . . , n2n 1, sea

Ekn el conjunto

Ekn = x X : k2n f (x) < (k + 1)2n ,
y si k = n2n , sea Ekn el conjunto {x X : f (x) n} . Observemos que los

conjuntos {Ekn : k = 0, 1, . . . , n2n } que son disjuntos, pertenecen a X y tiene
union igual al X. Si denimos n igual a k2n en Ekn , entonces n pertenece
a M (X, X). Es facil establecer que las propiedades (a), (b), (c) se cumplen.
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.
Funciones Entre Espacios Medibles

En la segunda parte necesitaremos la nocion de medibilidad solo para fun-
ciones complejas y reales. Sin embargo en algunos trabajos uno desea denir
medibilidad para una funcion f de un espacio medible (X, X) en otro espacio
medible (Y, Y). Es este caso se dice que f es medible en caso que el conjunto
f 1 (E) = {x X : f (x) E}
pertenece a X para cada conjunto E que pertenece a Y. A pesar de que

esta denicion de medibilidad parece ser diferente de la Denicion 2.3, no es
difcil probar (vease el Ejercicio 2.P) que la Denicion 2.3 es equivalente a esta
denicion en el caso que Y = R y Y = B.
Esta denicion de medibilidad muestra muy claramente la estrecha similitud
entre las funciones medibles de un espacio medible y las funciones continuas
de un espacio topologico.
Ejercicios

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
2.C. Sea (An ) una succion de subconjuntos de un conjunto X. Sea E0 = y

para n N, sea
n

En = Ak , Fn = An \En1 .
k=1
Mostrar que (En ) es una sucesion monotona creciente de conjuntos y

que (Fn ) es una sucesion de conjuntos disjuntos (es decir, Fn Fm =
si n = m) tal que

En = Fn = An .
n=1 n=1 n=1
15
2.D. Sea (An ) una sucesion de subconjuntos de un conjunto X. Si A consiste

de todo x X que pertenece a un numero innito de los conjuntos An ,
mostrar que

A= An .
m=1 n=m
Por lo general el conjunto A se llama lmite superior de los conjuntos
(An ) y esta denotado por lm sup An .
2.E. Sea (An ) una sucesion de subconjuntos de un conjunto X. Si B consiste
de todo x X que pertenece a todo pero un numero nito de los sub-
conjuntos An , mostrar que

B= An .
m=1 n=m
Por lo general el conjunto B se llama el lmite inferior de los conjuntos

(An ) y esta denotado por lmnf An .
2.F. Si (En ) es una sucesion de subconjuntos de un conjunto X que es mono-

tona creciente (es decir, E1 E2 E3 ), mostrar que

lm sup En = En = lmnf En .
n=1
2.G. Si (En ) es una sucesion de subconjuntos de un conjunto X que es mono-

tona decreciente (es decir, F1 F2 F3 ), mostrar que

lm sup Fn = Fn = lmnf Fn .
n=1
2.H. Si (An ) es una sucesion de subconjuntos de X, mostrar que
lmnf An lm sup An X.
Dar un ejemplo de una sucesion (An ) tal que
lmnf An = , lm sup An = X.
Dar un ejemplo de una sucesion (An ) que sea monotona creciente o

decreciente, pero tal que
lmnf An = lm sup An .
Cuando esta igualdad se cumple, el valor comun se llama el lmite de

(An ) y se denota por lm An .
2.I. Dar un ejemplo de una funcion f de X a R que no es Xmedible, pero

que las funciones |f | y f 2 sean Xmedibles.
2.J. Si a, b, c son numeros reales, sea med(a, b, c) que denota el valor inter-
medio. Mostrar que
med(a, b, c) = nf{sup{a, b}, sup{a, c}, sup{b, c}}.
Si f1 , f2 , f3 son funciones Xmedibles de X a R y si g esta denido para

x X por
g(x) = med(f1 (x), f2 (x), f3 (x)),
entonces g es Xmedible.
2.K. Mostrar directamente (sin usar el ejercicio precedente) que si f es medible

y A > 0, entonces el truncamiento fA denido por

f (x), si |f (x)| A
fA (X) = A, si f (x) > A,

A, si f (x) < A,
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} .
Mostrar que f 1 () = , f 1 (Y ) = X. Si E y F son subconjuntos de Y ,

entonces
f 1 (E\F ) = f 1 (E)\f 1 (F ).
Si {E } es cualquier coleccion no vaca de subconjuntos de Y , entonces

f 1 E = f 1 (E ), f 1 E = f 1 (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.N. Sea f una funcion denida sobre un conjunto X con valores en un

conjunto
Y . Sea X un algebra
de subconjuntos de X y sea
Y = E Y : f 1 (E) X . Mostrar que Y es un algebra.
2.O. Sea (X, X) un espacio medible y f denido de X a Y . Sea A una coleccion

de subconjuntos de Y tales que f 1 (E) X para cada E A. Mostrar
que f 1 (F ) X para cualquier conjunto F que pertenezca al algebra
generado por A. [Sugerencia: Usar el ejercicio precedente.]
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.Q. Sea (X, X) un espacio medible, f una funcion Xmedible de X a R y

sea una funcion continua de R a R. Mostrar que la composicion f ,
denido por ( f )(x) = [f (x)], es Xmedible. [Sugerencia: Si es
continua, entonces 1 (E) B para cada E B.]
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
{x X : a < Re f (x) < b, c < Im f (x) < d}
pertenece a X para todos los numeros reales a, b, c, d. De manera mas

general, f es Xmedible si y solamente si f 1 (G) X para cada conjunto
abierto G en el plano complejo C.
2.T. Mostrar que las sumas, los productos, y lmites de funciones complejas
medibles son medibles.
2.U. Mostrar que una funcion f de X a R (o a R) es Xmedible si y sola-

mente si el conjunto A del Lema 2.4(a) pertenece a X para cada numero
racional ; o, si y solamente si el conjunto B del Lema 2.4(b) pertenece
a X para cada numero racional ; etc.
2.V. Un a coleccion no vaca M de subconjuntos de un conjunto X se llama

una clase monotona si, para cada sucesion monotona creciente (En )
en M y cada sucesion monotona decreciente (Fn ) en M, los conjuntos

En , Fn
n=1 n=1
pertenecen a M. Mostrar que un algebra es una clase monotona.

Ademas, si A es una coleccion no vaca de subconjuntos de X, entonces

existe una clase monotona mas pequena que contiene a A. (Esta clase
monotona mas pequena se llama la clase monotona generada por A.)
2.W. Si A es una coleccion no vaca de subconjuntos de X, entonces el algebra

S generado por A contiene la clase monotona M generada por A. Mostrar
que la inclusion A M S puede ser correcta.
Medidas
3
Hemos introducido la nocion de un espacio medible (X, X) que consiste de

un conjunto X y un algebra X de subconjuntos de X. Ahora consideraremos
ciertas funciones que estan denidas en X y tienen valores reales, o reales
extendidos. Estas funciones, que seran llamados medidas estan propuestos
por nuestra idea de longitud, area, masa, etc. Por tanto, es natural que se
deban adjuntar el valor 0 para el conjunto vaco y que deben ser aditiva sobre
conjuntos disjuntos en X. (En realidad vamos a exigir que sean contablemente
aditivas en el sentido que se describira a continuacion.) Ademas es conveniente
permitir que las medidas tomen el valor + del sistema de numeros reales
extendidos.
3.1 Definicion (Medida). Una medida es una funcion real extendido
denido en un algebra X de subconjuntos de X tal que
(i) () = 0,
(ii) (E) 0 para todo E X, y
(iii) es contablemente aditiva en el sentido de que si (En ) es cualquier
sucesion disjunta a de conjuntos en X, entonces

(3.1) En = (En ).
n=1 n=1
a
Esto signica que En Em = si n = m.
Puesto que se permite a tomar el valor de +, observamos que la forma

del valor + del lado derecho de la ecuacion (3.1) signica que (En ) = +
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.
3.3 Lema. Sea una medida denida en un algebra X. Si E y F

pertenecen a X y E F , entonces (E) (F ). Si (E) < +, entonces
(F \E) = (F ) (E).
21
Demostracion. Puesto que F = E (F \E) y E (F \E) = , se sigue que
(F ) = (E) + (F \E).
Puesto que (F \E) 0, se sigue que (F ) (E). Si (E) < +, entonces

podemos restarlo de ambos lados de esta ecuacion.
3.4 Lema. Sea una medida denida en un algebra X.

(a) Si (En ) es una sucesion creciente en X, entonces

(3.2) En = lm (En ).
n=1
(b) Si (Fn ) es una sucesion decreciente en X y si (F1 ) < +, entonces

(3.3) Fn = lm (Fn ).
n=1
Demostracion.
(a) Si (En ) = + para algun n, entonces ambos lados de la ecuacion (3.2)

son +. Por lo tanto podemos suponer que (En ) < + para todo n.
Sea A1 = E1 y An = En \En1 para n > 1. Entonces (An ) es una sucesion
disjunta de conjuntos en X tal que
n

En = Aj , En = An .
j=1 n=1 n=1
Puesto que es contablemente aditiva,

m

En = (An ) = lm (An ).
n=1 n=1 n=1
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
Por lo tanto la ecuacion (3.2) esta probado.

(b) Sea En = F1 \Fn , as que (En ) es una sucesion creciente de conjuntos en

X. Si aplicamos la parte (a) y el Lema 3.3, deducimos que

En = lm (En ) = lm[(F1 ) (Fn )]
n=1
= (F1 ) lm (Fn ).

Puesto que En = F1 \ Fn , se sigue que
n=1 n=1

En = (F1 ) Fn .
n=1 n=1
Combinando estas dos ecuaciones, obtenemos (3.3).
3.5 Definicion (Espacio de Medida). Una espacio de medida es una

terna (X, X, ) que consiste de un conjunto X, un algebra X de
subconjuntos de X, y una medida denida en X.
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.
De igual forma, decimos que una sucesion de funciones (fn ) en X converge

casi dondequiera (o converge para casi todo x) si existe un con-
junto N X con (N ) = 0 tal que f (x) = lm fn (x) para x
/ N . En este caso
por lo general escribimos
f = lm fn , c.d.
Por su puesto, si la medida se sobrentiende, decimos casi dondequiera en

lugar de casi dondequiera.
Hay algunos casos (por ejemplo, propuesto por la nocion de carga electrica)
en los que es conveniente discutir funciones que se comportan como medidas
23
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.
3.6 Definicion (Carga). Si X es un algebra de subconjuntos de un

conjunto X, entonces una funcion real denida sobre X se llama carga
en caso que () = 0 y es contablemente aditiva en el sentido que si (En )
es una sucesion disjunta de conjuntos en X, entonces

En = (En ).
n=1 n=1
[Puesto que el lado izquierdo es independiente del orden y esta igualdad es

necesaria para todas esas sucesiones, la serie del lado derecho debe ser abso-
lutamente convergente para todas las sucesiones disjuntas de conjuntos medi-
bles.]
Es evidente que la suma y la diferencia de dos cargas es una carga. En
terminos mas generales, cualquier combinacion lineal nita de los cargas es
una carga. En el Captulo 5 se vera que las funciones que son integrables
sobre un espacio de medida (X, X, ) dan lugar a cargas. Mas adelante, en
el Captulo 8, vamos a caracterizar aquellas cargas que estan generados por
funciones integrables.
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
entonces es una medida en X y (X) = 1.
3.D. Sea X = N y sea X el algebra de todos los subconjuntos de N. Si (an )

es una sucesion de numeros reales no negativos y si denimos por

() = 0; (E) = an , E = ;
nE
entonces es una medida en X. Recprocamente, cada medida en X se

obtiene de esta manera para alguna sucesion (an ) en R+ .
3.E. Sea X un conjunto no numerable y sea X la familia de todos los subcon-

juntos de X. Se dene sobre E X exigiendo que (E) = 0, si E es
numerable, y (E) = +, si E es no numerable. Mostrar que es una
medida en X
3.F. Sea X = N y sea X la familia de todos los subconjuntos de N. Si E es

nito, sea (E) = 0; si E es innito, sea (E) = +. es una medida
en X?.
3.G. Si X y X son como en el Ejercicio 3.F, sea (E) = + para todo E X.

es una medida?
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.
3.I. Sea (X, X, ) un espacio de medida y sea (En ) una sucesion en X.

Mostrar que
(lmnf En ) lmnf (En ).
[Vease el Ejercicio 2.E.]
3.J. Usando la notacion del Ejercicio 2.D, mostrar que
lm sup (En ) (lm sup En )

cuando En < +. Mostrar que esta igualdad puede no cumplirse

si En = +.
3.K. Sea (X, X, ) un espacio de medida y sea Z = {E X : (E) = 0}.

Z es un algebra? Mostrar que si E Z y F X,
entonces E F Z.
Ademas, si En pertenece a Z para n N, entonces En Z.
3.L. Sea X, X, , Z como en el Ejercicio 3.K y sea X la familia de todos los

subconjuntos de X de la forma
(E Z1 )\Z2 , E X,
25
donde Z1 y Z2 son subconjuntos arbitrarios de conjuntos que pertenecen

a Z. Mostrar que un conjunto esta en X si y solamente si tiene la forma
E Z donde E X y Z es un subconjunto de un conjunto de Z. Mostrar
que la coleccion X forma un algebra de conjuntos en X. El algebra
X se llama complecion de X (con respecto a ).
3.M. Con la notacion del Ejercicio 3.L, sea denido en X por
(E Z) = (E),
donde E X y Z es un subconjunto de un conjunto en Z. Mostrar que

esta bien denido y es una medida en X que coincide con en X. La
medida se llama complecion de .
3.N. Sea (X, X, ) una espacio de medida y sea (X, X , ) su complecion en el

sentido del Ejercicio 3.M. Supongamos que f es una funcion X medible
de X a R. Mostrar que existe una funcion Xmedible g de X a R que es
igual a f casi dondequiera. [Sugerencia: Para cada numero racional
r, sea Ar = {x : f (x) > r} y escribir Ar = Er Zr donde Er X y
Zr es un subconjunto
de un conjunto en Z. Sea Z un conjunto en Z que
contiene a Zr , y denir g(x) = f (x) para x / Z, y g(x) = 0 para
x Z. Mostrar que g es Xmedible, usar el Ejercicio 2.U. ]
3.O. Mostrar que el Lema 3.4 se cumple si es una carga en X.
3.P. Si es una carga en X, sea denido para E X por
(E) = sup {(A) : A E, A X} .
Mostrar que es una medida en X. [Sugerencia: Si (E) < y > 0,

sea Fn X tal que Fn En y (En ) (Fn ) + 2n .]
3.Q. Si es una carga en X, sea denido para E X por

n

(E) = sup |(Aj )|,
j=1
donde el supremo se toma sobre toda coleccion disjunta nita {Aj } en

n
X con E = Aj . Mostrar que es una medida en X. (Esta medida se
j=1
llama la variacion de .)
3.R. Sea que denota la medida de Lebesgue denida en el algebra de Borel

B de R [vease el Ejemplo 3.2(d)].
(a) Si E consiste de un solo punto, entonces E B y (E) = 0

(b) Si E es numerable, entonces E B y (E) = 0.
(c) El intervalo abierto (a, b), los intervalos semi-abiertos (a, b], [a, b), y
el intervalo cerrado [a, b] tienen todos la medida de Lebesgue b a.
3.S. Si denota la medida Lebesgue y E es un subconjunto abierto de R,

entonces (E) > 0 si y solamente si E es no vaco. Mostrar que si K es
un subconjunto compacto de R, entonces (K) < +.
3.T. Mostrar que la medida de Lebesgue del conjunto de Cantor (vease la

Referencia [1], p. 52) es cero.
3.U. Cambiando la construccion del conjunto de Cantor, obtener un conjunto

de medida de Lebesgue positivo que contenga intervalos abiertos no
vacos.
3.V. Supongase que E es un subconjunto de un conjunto N X con (N ) = 0

pero que E / X. La sucesion (fn ), fn = 0, converge casi dondequiera
a E . En consecuencia, el lmite casi dondequiera de una sucesion de
funciones medibles pueden no ser medible.
La Integral
4
En este captulo introduciremos la integral primero para funciones medibles

simples no negativos y luego para funciones reales extendidos no negativos
arbitrarios. El principal resultado es el celebre Teorema de la Convergencia
Monotona, que es una herramienta fundamental para todo lo que sigue.
A lo largo de este captulo consideraremos una espacio de medida (X, X, ).
Denotaremos la coleccion de todas las funciones Xmedibles de X a R por
M = M (X, X) y la coleccion de todas las funciones Xmedibles no negativos
de X a R por M + = M + (X, X). Vamos a denir la integral de cualquier
funcion en M + con respecto a la medida . Con el proposito de hacerlo en-
contraremos conveniente introducir el concepto de una funcion simple. Esto es
conveniente para exigir que las funciones simples tengan valores en R en lugar
de valores en R.
4.1 Definicion (funcion simple). Una funcion real es simple si solo tiene
un numero nito de valores.
Una funcion medible simple puede estar representando en la forma

n

(4.1) = aj Ej ,
j=1
donde aj R y Ej es la funcion caracterstica de un conjunto Ej en X.

Entre estas representaciones de existe un unica representacion estandar
caracterizado por el hecho de que los aj son distintos y los Ej son subconjuntos
n
disjuntos no vacos de X y tales que X = Ej . (Por supuesto, si no exigimos
j=1
que los aj sean distintos, o que los conjuntos Ej sean disjuntos, entonces una
27
28 Captulo 4. La Integral
simple funcion tiene muchas representaciones como una combinacion lineal de

las funciones caractersticas.)
4.2 Definicion. Si es una funcion simple en M + (X, X) con la repre-

sentacion estandar (4.1), denimos la integral de respecto a como el
numero real extendido
n
(4.2) d = aj (Ej ).
j=1
En la expresion (4.2) empleamos el convenio que 0(+) = 0 as la integral

de la funcion identicamente 0 es igual a 0 si el espacio tiene medida nita o
innita. Cabe senalar que el valor de la integral de una funcion simple en M +
esta bien denido (aunque puede ser +) ya que todos los aj , son no negativos,
y as no encontramos sentido a expresiones tales como (+) (+).
Vamos a necesitar las siguientes propiedades elementales de la integral.
4.3 Lema. (a) Si y son funciones simples en M + (X, X) y c 0,

entonces
c d = c d,

( + ) d = d + d.
(b) Si esta denido para E en X por

(E) = E d,
entonces es una medida en X.
Demostracion. Si c = 0, entonces c desaparece identicamente y la igualdad

se cumple. Si c > 0, entonces c esta en M + con representacion estandar
n

c = c aj Ej ,
j=1
cuando tiene la representacion estandar (4.1). Por lo tanto

n n
c d = aj (Ej ) = c aj (Ej ) = c d.
j=1 j=1
Sea y que tienen representaciones estandares

n
m

= aj Ej , = bk Fk ,
j=1 k=1
29
entonces + tienen una representacion

n
m
+ = (aj + bk )Ej Fk .
j=1 k=1
Sin embargo, esta representacion + tiene una combinacion lineal de fun-

ciones caractersticas de los conjuntos disjuntos Ej Fk no es necesariamente
la representacion estandar para + , ya que los valores aj + bk pueden no
ser distintos. Sea ch , h = 1, . . . , p, los numeros que son distintos en el conjun-
to {aj + bk : j = 1, . . . , n; k = 1, . . . , m} y sea Gh la union de todos aquellos
conjuntos Ej Fk = tal que aj + bk = ck . Por lo tanto

(Gh ) = (Ej Fk ),
(h)
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
Ya que X es la union de ambas familias disjuntas {Ej } y {Fk }, entonces
m
n

(Ej ) = (Ej Fk ), (Fk ) = (Ej Fk ).
k=1 j=1
Empleamos esta observacion (y cambiamos el orden de la sumatoria en el

segundo termino) para obtener relacion deseada
n
m

( + ) d = aj (Ej ) + bk (Fk )
j=1 k=1

= () d + () d.
Para establecer la parte (b), observemos que
n

E = aj Ej E .
j=1
En consecuencia, de lo que hemos demostrado se sigue por induccion que

n
n

(E) = E d = aj Ej E d = aj (Ej E).
j=1 j=1
Dado que la aplicacion E (Ej E es una medida (vease el Ejercicio 3.A)

hemos expresado como una combinacion lineal de medidas en X. Se sigue
(vease el Ejercicio 3.B) que tambien es una medida en X.
Ahora estamos preparados para introducir la integral de una funcion arbi-

traria en M + . Observe que no se exige que el valor de la integral sea nito.
4.4 Definicion. Si f pertenece a M + (X, X), denimos la integral de f

con respecto a como el numero real extendido

(4.3) f d = sup , d,
donde el supremo esta extendido sobre todas funciones simples en

M + (X, X) que satisfacen 0 (x) f (x) para todo x X. Si f pertenece
a M + (X, X) y E pertenece a X, entonces fE pertenece a M + (X, X) y
denimos la integral de f sobre E con respecto a como el numero
real extendido

(4.4) f d = fE , d.
E
Primero mostraremos que la integral es monotona tanto con respecto al

integrando como al conjunto sobre el cual la integral esta extendido.
31
4.5 Lema. (a) Si f y g pertenecen a M + (X, X) y f g, entonces

(4.5) f d g d.
(b) Si f pertenece a M + (X, X), si E, F pertenecen a X, y si E F ,

entonces
f d g d.
E F
Demostracion.
(a) Si es una funcion simple en M + tal que 0 f , entonces 0 g.

Por lo tanto (4.5) se cumple.
(b) Puesto que fE fF , la parte (b) sigue a partir de (a).
Ahora estamos preparados para establecer un resultado importante gracias

a B. Levi. Este teorema proporciona la clave para las propiedades fundamen-
tales de convergencia de la integral de Lebesgue.
4.6 Teorema de la Convergencia Monotona. Si (fn ) es una sucesion

monotona creciente de funciones en M + (X, X) que converge a f , entonces

(4.6) f d = lm fn d.
Demostracion. De acuerdo al Corolario 2.10, la funcion f es medible. Puesto

que fn fn+1 f , se sigue del Lema 4.5(a) que

fn d fn+1 d f d
para todo n N. Por lo tanto tenemos que

lm fn d f d.
Para establecer desigualdad opuesta, sea un numero real que satisface

0 < < 1 y sea una funcion medible simple que satisface 0 f . Sea
An = {x X : fn (x) (x)}

as que An X, An An+1 , y An . Segun el Lema 4.5,

(4.7) d fn d fn d.
An An
Puesto que la sucesion (An ) es monotona creciente y tiene como union X, se

sigue del Lema 4.3(b) y 3.4(a) que

d = lm d.
An
En consecuencia, al tomar el lmite en (4.7) con respecto a n, obtenemos

d lm fn d.
y puesto que es una funcion arbitraria simple en M + que satisface 0 f ,

concluimos que
f d = sup d lm fn d.

Si combinamos esto con la desigualdad opuesta, obtenemos (4.6).
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.
Ahora vamos a deducir algunos consecuencias del Teorema de Convergencia

Monotona.
4.7 Corolario. (a) Si f pertenece a M + y c 0, entonces c f pertenece

a M+ y
c f d = c f d.
(b) Si f, g pertenecen a M + , entonces f + g pertenece a M + y

(f + g) d = f d + g d.
Demostracion.
(a) Si c = 0 el resultado es inmediato. Si c > 0, sea (n ) una sucesion mono-

tona creciente de funciones simples en M + que converge a f en X. (vease el
Lema 2.11). Entonces (cn ) es una sucesion monotona que converge a c f .
33
Si aplicamos el Lema 4.3(a) y el Teorema de la Convergencia Monotona,

obtenemos

c f d = lm c d

= c lm n d = c f d.
(b) Si () y () son sucesiones monotonas crecientes de funciones simples que

convergen a f y g, respectivamente, entonces ( + n ) es una sucesion
monotona creciente que converge a f + g. Por tanto del Lema 4.3(a) y el
Teorema de la Convergencia Monotona se sigue que

(f + g) d = lm (n + n ) d

= lm n d + lm n d

= f d + g d.

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.
Demostracion. Sea gm = nf{fm , fm+1 , . . .} para que gm fn siempre que

m n. Por lo tanto

gm d fn d, m n,
as que
gm d lmnf fn d.
Puesto que la sucesion (gm ) es creciente y converge a lmnf fn , el Teorema de

la Convergencia Monotona implica que

(lmnf fn ) d = lm gm d

lmnf fn d.

Se vera en un ejercicio que el Lema de Fatou puede no cumplirse si no

suponemos que fm 0.
4.9 Corolario. Si f pertenece a M + y esta denido en X por

(4.9) (E) = f d,
E
entonces es una medida.
Demostracion. Puesto que f 0 se deduce que (E) 0. Si E = ,

entonces fE tiene a cero en todas partes as que () = 0. Para ver que es
contablemente aditiva, sea (En ) una sucesion disjunta de conjuntos en X con
union E y sea fn denido por
n

fn = f Ek .
k=1
Del Corolario 4.7(b) y por induccion se sigue que

n n
fn d = fEk d = (Ek ).
k=1 k=1
Ya que que (fn ) es una sucesion creciente en M + que converge a fE , el

Teorema de la Convergencia Monotona implica que

(E) = fE d = lm fn d = (Ek ).
k=1
4.10 Corolario. Supongase que f pertenece a M + . Entonces f (x) = 0

casi dondequiera en X si y solamente si

(4.10) f d = 0.
Demostracion. Si la ecuacion (4.10) se cumple, sea

1
En = x X : f (x) > ,
n

1
as que f En , de lo cual
n

1
0 = f d (Em ) 0.
n
35
Se deduce que (En ) = 0; por lo tanto el conjunto

{x X : f (x) > 0} = En
n=1
tambien tiene medida 0.

Recprocamente, sea f (x) = 0 casi dondequiera. Si
E = {x X : f (x) > 0} ,
entonces (E) = 0. Sea fn = nE . Dado que f lmnf fn , del Lema de Fatou

se deduce que
0 f d lmnf fn d = 0.
4.11 Corolario. Supongase que f pertenece a M + , y dena en X por

la ecuacion (4.9). Entonces la medida es absolutamente continua con
respecto a en el sentido que si E X y (E) = 0, entonces (E) = 0.
Demostracion. Si (E) = 0 para algun E X, entonces fE tiende a cero

casi dondequiera. Por el corolario 4.10, tenemos

(E) = fE d = 0.
Ahora bien, mostraremos que el Teorema de la Convergencia Monotona

se cumple si la convergencia en X es reemplazado por la convergencia casi
dondequiera.
4.12 Corolario. Si (fn ) es una sucesion monotona creciente de funciones

en M + (X, X) que converge casi dondequiera en X a una funcion f en
M + , entonces
f d = lm fn d.
Demostracion. Sea N X tal que (N ) = 0 y (fn ) que converge a f en todo

de M = X\N . Entonces (fn M ) converge a fM en X, entonces el Teorema
de la Convergencia Monotona implica que

fM d = lm fn M d.
Puesto que (N ) = 0, las funciones fN y fn N tiene a cero casi donde-

quiera. Del Corolario 4.10 se deduce que

fN d = 0, fn N d = 0.
Ya que f = fM + fN y fn = fn M + fn N , se deduce que

f d = fM d = lm fn M d = lm fn d.
4.13 Corolario. Sea (gn ) una sucesion en M + , entonces

gn d = gn d .
n=1 n=1
Demostracion. Sea fn = g1 + + gn , y luego aplicar el Teorema de la

Convergencia Monotona.
Ejercicios
4.A. Si la funcion simple en M + (X, X) tiene la (no necesariamente estandar)
representacion
n

= bk Fk ,
k=1
donde bk R y Fk X, mostrar que

m

d = bk (Fk ).
k=1
4.B. La suma, multiplo escalar, y producto de funciones simples son funciones

simples. [En otras palabras, las funciones simples en M (X, X) forman un
subespacio vectorial de M (X, X), cerrado bajo productos.]
4.C. Si 1 y 2 son funciones simples en M (X, X), entonces
= sup{1 , 2 }, = nf{1 , 2 }
tambien son funciones simples en M (X, X).

37
4.D. Si f M + y c > 0, entonces la aplicacion = c es una aplicacion

inyectiva entre funciones simples M + con f y funciones simples
M + con c f . Usar esta observacion para dar una demostracion
diferente del Corolario 4.7(a).
4.E. Sea f, g M + ,
sea M + una funcion simple tal
m f + g y
que
m
sea n (x) = sup (x) : para 0 m n con (x) f (x) .
n
n
1
Tambien sea n (x) = sup 1 (x) n (x) , 0 . Mostrar que

n
1
1 n + n y f , g.
n
4.F. Emplear el Ejercicio 4.E para establecer el Corolario 4.7(b) sin usar el
Teorema de la Convergencia Monotona.
4.G. Sea X = N, sea X todos los subconjuntos de N, y sea la medida de
contar en X. Si f es una funcion no negativa sobre N, entonces f
M + (X, X) y

f d = f (n).
n=1
4.H. Sea X = R, X = B, y sea la medida de Lebesgue sobre B. Si fn = [0,n] ,

entonces la sucesion es monotona creciente a f = [0,+). A pesar de que
las funciones estan uniformemente acotados por 1 y las integrales de los
fn son todos nitos, tenemos

f d = +.
Tiene validez el Teorema de la Convergencia Monotona?

Sea X = R, X = B, y sea la medida de Lebesgue en X. Si fn =
4.I.
1
[n,+), entonces la sucesion (fn ) es monotona decreciente y con-
n
verge uniformemente a f = 0, pero

0 = f d = lm fn d = +.
(Por lo tanto no existe la existe la correspondencia al Teorema de la

Convergencia Monotona para sucesiones decrecientes en M + .)

1
4.J. (a) Sea fn = [0,n] , f = 0. Mostrar que la sucesion (fn ) converge
n
uniformemente a f , pero que

f d = lm fn d.
Por que esto no contradice el Teorema de la Convergencia Mono-

tona? Tiene validez el Lema de Fatou?
(b) Sea gn = n[1/n,2/n] , g = 0. Mostrar que

g d = lm gn d.
La sucesion (gn ) converge uniformemente a g? Tiene validez el

Teorema de la convergencia Monotona? Tiene validez el Lema de
Fatou?
4.K. Si (X, X, ) es un espacio medible nito, y si (fn ) es una sucesion de

funciones reales en M + (X, X) que converge uniformemente a una funcion
f , entonces f pertenece a M + (X, X), y

f d = lm fn d.
4.L. Sea X un intervalo cerrado nito en R, sea X la coleccion de conjuntos

de Borel en X, y sea la medida de Lebesgue en X. Si f es una funcion
continua no negativa sobre X, mostrar que
b
f d = f (x) dx,
a
donde el lado derecho denota la integral de Riemann de f . [Sugerencia:

Primero establecer esta igualdad para una funcion escalonada , es de-
cir, una combinacion lineal de funciones caractersticas de intervalos.]
4.M. Sea X = [0, +), sea X los subconjuntos de Borel de X, y sea la

medida de Lebesgue en X. si f es una funcion continua no negativa
sobre X, mostrar que
b
f d = lm f (x) dx.
b+ 0
Por lo tanto, si f es una funcion continua no negativa, la integral de

Lebesgue y la integral impropia de Riemann coinciden.
[Los siguientes tres ejercicios tratan de la integracion de funciones que
no pertenecen a M + . Pueden omitirse hasta que se haya ledo el proximo
captulo. Sin embargo, los incluimos aqu porque ilustran las restricciones
exigidas por el Lema de Fatou.]
39

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.
Por lo tanto el Lema 4.8 de Fatou puede no cumplirse a no ser que f 0,

incluso teniendo la de convergencia uniforme.
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 < +,
{x X : f (x) = +} = 0. [Sugerencia: Si En = {x X : f (x) n},

entonces nEn f .]
4.R. Si f M + (X, X) y
f d < +,
entonces el conjunto N = {x X : f (x) > 0} es nito (es decir, ex-

iste una sucesion (Fn ) en X tal que N Fn y (Fn ) < +).
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 < +.
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
En la Denicion 4.4 hemos denimos la integral de cada funcion en M + =

M + (X, X) con respecto a una medida y se permitio que esta integral sea
+. En este captulo vamos a discutir la integracion de funciones medibles
que pueden tener valores reales tanto positivos como negativos. Para hacer
esto es mas conveniente exigir que los valores de las funciones y la integral
sean numeros reales nitos.
5.1 Definicion (funciones integrables). La coleccion L = L(X, X, ) de
funciones integrables (o sumables) consiste de todas las funciones reales
Xmedibles f denidos sobre X, tal que tanto las partes negativas y positi-
vas f + , f , de f tengan integrales con respecto a . En este caso, denimos
la integral de f con respecto a como

(5.1) f d = f d f d.
+
Si E pertenece a X, denimos

+
f d = f d f d.
E E E
A pesar de que la integral de f esta denido como la diferencia de las

integrales de f + , f , es facil comprobar que si f = f1 f2 donde f1 , f2 son
funciones medibles no negativas cualesquiera con integrales nitas, entonces

f d = f1 d f2 d.
En efecto, puesto que f + f = f = f1 f2 , se sigue que f + + f2 = f1 + f .
41
42 Captulo 5. Funciones Integrables
Si aplicamos el corolario 4.7(b), deducimos que

f d + f2 d = f1 d + f d.
+
Puesto que todos estos terminos son nitos, obtenemos

f d = f + d f d = f1 d f2 d.
5.2 Lema. Si f pertenece a L y esta denido de X a R por

(5.2) (E) = f d,
E
entonces es una carga.
Demostracion. Dado que f + y f pertenecen a M + , el Corolario 4.9 implica

que las funciones + y , denida por

+ (E) = f + d, (E) = f d,
E E
son medidas sobre X; estas medidas son nitas puesto que f L. Puesto que
= + , se sigue que es una carga.
La funcion denida en (5.2) se llama frecuentemente integral indenida de f

(con respecto a ). Puesto que es una carga, si (En ) es una sucesion disjunta
en X con union E, entonces

f d = f d.
E n=1 En
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 +).
5.3 Teorema. Una funcion medible f pertenece a L si y solo si |f |

pertenece a L. En este caso

(5.3) f d |f | d.

43
Demostracion. Por denicion f pertenece a L si y solo si f + y f pertenecen

a M + y tienen integrales nitas. Puesto que |f |+ = f + + f y |f | = 0, la
armacion sigue del Lema 4.5(a) y el Corolario 4.7(b). Ademas,

f d = f + d f d

+
f d + f d = |f | d.
5.4 Corolario. Si f es medible, g es integrable, y |f | |g|, entonces f es

integrable, y
|f |, d |g| d.
Demostracion. Esto se deduce del Lema 4.5(a) y el Teorema5.3.
Ahora vamos a demostrar que la integral es lineal en el espacio de L en el

siguiente sentido.
5.5 Teorema. Una multiplicacion por una constante f y un suma f + g

de funciones en L pertenece a L y

f d = f d, (f + g) d = f d + g d.
Demostracion. Si = 0, entonces f = 0 en todas partes as que

f d = 0 = f d.
Si > 0, entonces (f )+ = f + y (f ) = f , de donde

f d = f , d f d
+

+
= f d f d = f d.
El caso < 0 se trata de manera similar.

Si f y g pertenecen a L, entonces |f | y |g| pertenecen a L. Puesto que
|f + g| |f | + |f | se sigue de los Corolarios 4.7 y 5.4 que f + g pertenece a L.
Para establecer la relacion deseada, se observa que
f + g = (f + + g+ ) (f + g ).
Puesto que f + + g+ y f + g son funciones integrables no negativas, de la

observacion que hizo despues de la denicion 5.1 se sigue que

(f + g) d = (f + g ), d (f + g ), d.
+ +
Si aplicamos el Corolario 4.7(b) y reordenamos los terminos, obtenemos

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

= 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.
Demostracion. Redeniendo las funciones fn , f sobre un con medida 0 pode-

mos suponer que la convergencia se da en todo X. Se sigue del Corolario 5.4
que f es integrable. Puesto que g + fn 0, podemos aplicar el Lema de
Fatou 4.8 y el Teorema 5.5 para obtener

g d + f d = (g + f ), d lmnf (g + fn ), d

= lmnf g, d + fn , d

= g d + lmnf fn d.
Por lo tanto, se sigue que

(5.5) f d lmnf fn d.
Dado que g fn 0, otra aplicacion del Lema de Fatou y el Teorema 5.5

producen

g d f d = (g f ), d lmnf (g fn ), d

= g d lm sup fn d,
45
de lo cual se sigue que

(5.6) lm sup fn d f d.
Combinamos (5.5) y (5.6) para deducir que

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.
5.7 Corolario. Supongamos que para algun t0 en [a, b]
(5.7) f (x, t0 ) = lm f (x, t)

tt0
para cada x X, y que existe una funcion integrable g en X, tal que

|f (x, t)| g(x). Entonces

f (x, t0 ) d(x) = lm f (x, t) d(x).
tt0
Demostracion. Sea (tn ) una sucesion en [a, b] que converge a t0 , y luego

aplicar el Teorema de la Convergencia dominada para la sucesion (fn ) denida
por fn (x) = f (x, tn ) para x X.
5.8 Corolario. Si la funcion t f (x, t) es continua sobre [a, b] para cada

x X, y si existe una funcion integrable g sobre X tal que |f (x, t)| g(x),
entonces la funcion F denida por

(5.8) F (t) = f (x, t) d(x)
es continua para t en [a, b].

Demostracion. Esto es una consecuencia inmediata del Corolario 5.7.
5.9 Corolario. Supongase que para algun t0 [a, b], la funcion x

f
f (x, t) es integrable sobre X, que existe sobre X [a, b], y que existe
t
una funcion integrable g sobre X tal que

f
(x, t) g(x).
t
Entonces la funcion F denida en el Corolario 5.8 es diferenciable sobre

[a, b] y
F d f
(t) = f (x, t) d(x) = (x, t) d(x).
t dt t
Demostracion. Sea t cualquier punto de [a, b]. Si (tn ) es una sucesion en

[a, b] que converge a t con tn = t, entonces
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
|f (x, t)| |f (x, t0 )| + |t t0 | g(x),
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
5.10 Corolario. Bajo las hipotesis del Corolario 5.8,

b b
F (t) dt = f (x, t) d(x) dt
a a
b
= f (x, t) dt d(x),
a
donde las integrales con respecto a t son integrales de Riemann.
Demostracion. Recordemos que si es continua sobre [a, b] entonces

d t
(s) ds = (t), a t b.
dt a
Sea h denida sobre X [a, b] por
t
h(x, t) = f (x, s) ds.
a
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);
del Corolario 5.9 se sigue que

H h
(t) = (x, t) d(x) = f (x, t) d(x) = F (t).
t t
b
F (t) dt = H(b) H(a)
a

= [h(x, b) h(x, a)] d(x),
b
= f (x, t) dt d(x).
a
El intercambio del orden de las integrales (de Lebesgue) sera considerado en

el Captulo 10.
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.B. Si f es una funcion real Xmedible y si f (x) = 0 para x X casi en

todas partes, entonces f L(X, X, ) y

f d = 0.
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.D. Si f L(X, X, ) y > 0, entonces existe una funcion simple medible

tal que
|f | d < .
5.E. Si f L y g es una funcion medible acotada, entonces el producto f g

tambien pertenece a L.
5.F. Si f pertenece a L, entonces no signica que f 2 pertenece a L.
5.G. Supongase que f esta en L(X, X, ) y que su integral indenida es

(E) = f d, E X.
E
Mostrar que (E) 0 para E X si y solamente si f (x) 0 para x X

casi en todas partes. Ademas, (E) = 0 para todo E si y solamente si
f (x) = 0 para x X casi en todas partes.
5.H. Supongase que f1 y f2 estan en L(X, X, ) y sea 1 y 2 sus integrales

indenidas. Mostrar que 1 (E) = 2 (E) para todo E X si y solamente
si f1 (x) = f2 (x) para x X casi en todas partes.
5.I. Si f es una funcion compleja sobre X tal que Re f e Im f pertenecen a

L(X, X, ), decimos que f es integrable y se dene

nf f d = Re f d + i Im f d.
49
Sea f una funcion compleja medible. Mostrar que f es integrable si y

solamente si |f | es integrable, en cuyo caso

f d |f | d.

[Sugerencia: Si f d = r ei con r, real, considerar g(x) = ei f (x).]
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.K. Sea X = N, sea X todo los subconjuntos de N, y sea la medida de

contar sobre
X. Mostrar que f pertenece a L(X, X, ) si y solamente si
la serie f (n) es absolutamente convergente, en cuyo caso

f d = f (n).
n=1
5.L. Si (fn ) es una sucesion en L(X, X, ) que converge uniformemente sobre

X a una funcion f , y si (X) < +, entonces

f d = lm fn d.
5.M. Mostrar que la conclusion del Ejercicio 5.L puede no cumplirse si no se

cumple la hipotesis (X) < +.
5.N. Sea fn = n[0,1/n] , donde X = R, X = B, y es la medida de Lebesgue.

Mostrar que la condicion |fn | no puede quitarse en el Teorema de
Convergencia Dominada de Lebesgue.
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
5.P. Sea fn L(X, X, ), y supongase que (fn ) converge a una funcion f .

Mostrar que si

lm |fn f | d = 0, entonces |f | d = lm |fn | d.
5.Q. Si t > 0, entonces

+
1
etx dx = .
0 t
Ademas, si t a > 0, entonces etx eax . Usar esto y el Ejercicio 4.M
para justicar la diferenciacion bajo el signo de la integral y obtener la
formula +
xn ex dx = n!
0
5.R. Supongase que f esta denido sobre X [a, b] a R y que la funcion

x f (t, x) es Xmedible para cada t [a, b]. Supongase que para
algun t0 y t1 en [a, b] la funcion x f (x, t0 ) es integrable sobre X, que
f
(x, t1 ) existe, y que existe una funcion integrable g sobre X tal que
t

f (x, t) f (x, t1 )
g(x)
t t1
para x X, y t [a, b], t = t1 . Entonces

d f
f (x, t) d(x) = (x, t1 ) d(x).
dt t=t1 t
5.S. Supongase que la funcion x f (x, t) es Xmedible para cada t R, y la

funcion t f (x, t) es continua sobre R para cada x X. Ademas, supon-
gase que existen funciones integrables g, h sobre X tal que |f (x, t)| g(x)
y tal que la integral impropia de Riemann
+
|f (x, t)| dt h(x).

Mostrar que
+ +
f (x, t) d(x) dt = f (x, t) dt d(x),

donde las integrales con respecto a t son integrales impropias de Riemann.

51
5.T. Sea f una funcion Xmedible de X a R. Para n N, sea (fn ) la sucesion

de truncaciones de f (vease el Ejercicio 2.K). Si f es integrable con
respecto a , entonces

f d = lm fn d.
Recprocamente, si
sup |fn | d < +,
entonces f es integrable.
El Espacio de Lebesgue Lp
6
A menudo es util exigir la estructura de un espacio de Banach sobre el con-

junto de todas las funciones integrables sobre un espacio de medida (X, X, ).
Ademas, vamos a introducir los espacios Lp , 1 p , que se producen con
frecuencia en analisis. Aparte de la importancia intrnseca de estos espacios,
aqu se los analiza en parte para indicar las aplicaciones de algunos de los
resultados en las secciones anteriores.
6.1 Definicion (norma, semi-norma, espacio lineal normado). Si V es un

espacio lineal (=vectorial) real, entonces una funcion real N sobre V se
llama norma para V en el caso que se satisfaga
(i) N (v) 0 para todo v V ;
(ii) N (v) = 0 si y solamente si v = 0;
(iii) N (v) = ||N (v) para todo v V y real ;
(iv) N (u + v) N (u) + N (v) para todo u, v V .
Si se quita la condicion (ii), la funcion N se llama semi-norma o seudo-
norma para V . Un espacio lineal normado es un espacio lineal V junto
con una norma para V .
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
N1 (u1 , . . . , un ) = |u1 | + + |un |,

Np (u1 , . . . , un ) = {|u1 |p + + |un |p }1/p , p 1,
N (u1 , . . . , un ) = sup{|u1 |, . . . , |un |}.
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.
En todos los ejemplos anteriores se han adecuado normas sobre un espacio

lineal. Tambien existen semi-normas sobre un espacio lineal que son de interes.
Los siguientes son algunos ejemplos.
6.3 Ejemplos. (a) Sobre el espacio Rn , consideramos la semi-norma
N0 (u1 , . . . , un ) = sup {|u2 |, . . . , |un |} .
Aqu N0 (u1 , . . . , un ) = 0 si y solamente si u2 = = un = 0.

(b) Sobre el espacio lineal C[0, 1] de funciones continuas sobre [0, 1] a R, de-
nimos la semi-norma

1
N0 (f ) = sup |f (x)| : 0 x .
2
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 .
Aqu N0 (f ) = 0 si y solamente si f es constante en [a, b].

54 Captulo 6. El Espacio de Lebesgue Lp
6.4 Definicion. Sea (X, X, ) un espacio de medida. Si f pertenece a

L(X, X, ), denimos
N (f ) = |f | d.
Se probara que N es una semi-norma sobre el espacio L(X, X, ).
6.5 Lema. El espacio L(X, X, ) es un espacio lineal bajo las operaciones

denidas por
(f + g)(x) = f (x) + g(x), (f )(x) = f (x), x X,
y N es una semi-norma sobre L(X, X, ). Ademas, N (f ) = 0 si y sola-

mente si f (x) = 0 para x X casi en todas partes.
Demostracion. Ya se vio en el Teorema 5.5 que L = L(X, X, ) es un espacio

lineal bajo las operaciones indicadas. Es evidente que N (f ) 0 para f L,
y que
N (f ) = |f | d = ||N (f ).
Por otra parte, de la desigualdad triangular se deduce que

N (f + g) = |f + g| d (|f | + |g|) d

= |f | d + |g| d = N (f ) + N (g).
Por lo tanto N es un semi-norma en L, y del Corolario 4.10 se sigue que

N (f ) = 0 si y solamente si f (x) = 0 para casi todos los x.
Con el n de hacer que L(X, X, ) sea un espacio lineal normado, vamos

a identicar dos funciones que son iguales casi en todas partes; es decir, que
utilizaremos clases de equivalencia de funciones en lugar de funciones.
6.6 Definicion (equivalencia, espacio de Lebesgue). Dos funciones en

L = L(X, X, ) se llaman equivalentes si son iguales casi en todas
partes. La clase de equivalencia determinada por f en L a menudo
esta denotado por [f ] y consiste del conjunto de todas las funciones en L
que son equivalentes a f . El espacio de Lebesgue L1 = L1 (X, X, )
consiste de todas las clases equivalentes en L. Si [f ] pertenece a L1 ,
denimos su norma por

(6.1) [f ]1 = |f | d.
55
6.7 Teorema. El espacio de Lebesgue L1 (X, X, ) es un espacio lineal

normado.
Demostracion. Se entiende, por supuesto, que las operaciones de vectores

en L1 estan denidas por
[f ] = [f ], [f ] + [g] = [f + g],
y que el elemento cero de L1 es [0]. Vamos a comprobar solamente que la

ecuacion (6.1) da una norma sobre L1 . Ciertamente [f ]1 0 y [0]1 = 0.
Por otra parte, si [f ]1 = 0 entonces

|f |, d = 0,
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
Siempre se debe recordar que los elementos de la L1 son en realidad clases

de equivalencia de funciones en L. Sin embargo, es conveniente y costumbre
considerar estos elementos como las funciones mismas, haremos esto posteri-
ormente. As pues, se hara referencia a la clase de equivalencia [f ] reriendose
al elemento f de L1 , y escribiremos f 1 en lugar de [f ]1 .
El Espacio Lp, 1 p < +

Ahora queremos considerar una familia de espacios lineales normados rela-
cionados de las clases de equivalencia de funciones medibles.
6.6 Definicion (equivalencia). Si 1 p < , el espacio Lp =

Lp (X, X, ) consiste de todas las clases de equivalencia funciones reales
Xmedibles f para los que |f |p tiene integral nita con respecto a so-
bre X. Dos funciones son equivalentes si son iguales casi en todas
partes. Establecemos
1/p
p
(6.3) f p = |f | d .
Si p = 1, esto se reduce a la norma introducida con anterioridad en el

espacio L1 de las clases de equivalencia de funciones integrables. Vamos a
demostrar posteriormente que si 1 p < , entonces Lp es un espacio lineal
normado bajo (6.3), y es completo bajo esta norma; de este modo Lp es un
espacio de Banach. Se entiende que las operaciones vectoriales entre las clases
de equivalencia en Lp estan denidas punto a punto: la suma de las clases de

equivalencia que contienen f y g es la clase de equivalencia que contiene f + g
y lo mismo para el producto cf .
En el caso especial donde es la medida de contar sobre todos los sub-
conjuntos de N, los espaciosLp pueden ser identicados con la sucesion de
espacios lp del Ejemplo 6.2(c). En este caso, cada clase de equivalencia con-
tiene un elemento. Con frecuencia esto ayuda a esclarecer las interpretaciones
de las armaciones acerca de los espaciosLp mas generales considerando algo
mas simple los espacioslp .
Con el proposito de establecer que (6.3) produce una norma en Lp , nece-
sitaremos la siguiente desigualdad basica.
6.9 Desigualdad de Holder. Sea f Lp y g Lq donde p > 1 y

1 1
+ = 1. Entonces f g L1 y f g1 f p gq .
p q
Demostracion. Sea un numero real que cumplan 0 < < 1, y considere-

mos la funcion denida para t 0 por
(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,
donde la igualdad se cumple si y solamente si a = b.

1 1
Ahora bien, sea p y q que satisfacen 1 < p < y + = 1 y tomamos =
p q
1
. De esto se deduce que si A, B son numeros reales no negativos cualesquiera,
p
entonces
Ap B q
(6.4) AB + .
p q
y que la igualdad se cumple si y solamente si Ap = B q .

57
Supongamos que f Lp y g Lq , y que f p = 0 y gq = 0. El producto

|f (x)| |g(x)|
f g es medible y (6.4) con A = yB= implican que
f p gq
|f (x)g(x)| |f (x)|p |g(x)|q

+ .
f p gq pf pp qgqq
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.
La Desigualdad de Holder implica que el producto de una funcion en Lp ,

y una funcion en Lq es integrable cuando p > 1 y q satisfacen la relacion
1 1
+ = 1 o, equivalentemente, cuando p + q = pq. Dos numeros que satisfacen
p q
esta relacion se llaman indices conjugados. Cabe senalar que p = 2 es el
unico ndice auto-conjugado. As, el producto de dos funciones en L2 es
integrable.
6.10 Desigualdad de Cauchy-Bunyakovski-Schwarz. Si f y g

pertenecen a L2 , entonces f g es integrable y

(6.5) f g d |f g| d f 2 g2 .

6.1 Desigualdad de Minkowski. Si f y h pertenecen a Lp , p 1,

entonces f + g pertenece a Lp y
(6.6) f + hp f p + hp .
Demostracion. El caso p = 1 ya ha sido tratado, por lo que suponemos que

p > 1. La suma f + h es evidentemente medible. Puesto que
|f + h|p [2 sup{|f |, |h|}]p 2p {|f |p + |h|p }
del Corolario 5.4 y el Teorema 5.5 se deduce que f + h Lp . Por otra parte,
(6.7) f + hp = |f + h| |f + h|p1 |f | |f + h|p1 + |h| |f + h|p1 .
Dado que f + h Lp , entonces |f + h|p L1 ; ya que p = (p 1)q se sigue que

|f + h|p1 Lq . Por lo tanto, podemos aplicar la Desigualdad de Holder para
deducir que
1/q
p1 (p1)q
|f | |f + h| d f p |f + h| d
= f p f + hp/q
p .
Si tratamos el segundo termino de la derecha en (6.6) del mismo modo, obten-

emos
f + hpp f p f + hp/q p/q

p + hp f + hp
= {f p + hp }f + hp/q

p .
Si A = f + hp = 0, entonces la ecuacion (6.6) es trivial. Si A = 0, podemos

p
dividir la desigualdad anterior por un Ap/q ; ya que p = 1, obtenemos la
q
Desigualdad de Minkowski.
Se ve facilmente que el espacio Lp es un espacio lineal y que la formula de

(6.3) dene una norma sobre Lp . La unica cosa no trivial que debe ser com-
probado aqu es la desigualdad 6.1(iv) y esta es la Desigualdad de Minkowski.
Ahora mostraremos que Lp es completo bajo esta norma en el siguiente sentido.
6.12 Definicion (sucesion de Cauchy, Completitud). Una sucesion (fn ) en

Lp es una sucesion de Cauchy en Lp si para cada numero positivo existe
M ( ) tal que si m, n M ( ), entonces fm fn p < . Una sucesion (fn )
en Lp es convergente a f en Lp si para cada numero positivo existe N ( )
tal que si n N ( ), entonces f fn p < . Un espacio lineal normado
es completo si cada sucesion de Cauchy converge a algun elemento del
espacio.
6.13 Lema. Si la sucesion (fn ) converge a f en Lp , entonces es una suce-

sion de Cauchy.
Demostracion. Si m, n N ( /2), entonces

f fm p < , f fn p < .
2 2
fm fn p fm f p + f fn p <

59
Ahora vamos a demostrar que toda sucesion de Cauchy en Lp converge

en Lp a un elemento. Este resultado es a veces se llama el Teorema de Riesz-
Fischer.
6.14 Teorema de Completitud. Si 1 p < , entonces el espacio Lp

es un espacio lineal normado completo bajo la norma
1/p
p
f p = |f | d .
Demostracion. Se ha armado que Lp es un espacio lineal normado. Para

establecer la completitud de Lp , sea (fn ) una sucesion de Cauchy relativo a la
norma p . Por lo tanto, si > 0 existe M ( ) tal que si m, n M ( ), entonces

(6.8) |fn fm |p d = fm fn pp < p .
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
Tomando la raz pesima de ambos lados y aplicando la Desigualdad de

Minkowski obtenemos
1/p n
!

|g|p d lm nf g1 p + gk+1 gk p
n
k=1
g1 p + 1.
Por lo tanto, si E = {x X : g(x) < +}, entonces E X y (X \ E) = 0.

Por consiguiente, la serie en (6.9) converge casi en todas partes y gE pertenece
a Lp . Denimos ahora f sobre X por

f (x) = g1 (x) + {gk+1 gk }, xE
k=1
= 0, x
/ E.
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 .
Aplicando el Lema de Fatou para concluir que

|fm f |p d lm nf |fm gk |p d p ,
k
siempre que m M ( ). Esto demuestra que la sucesion (fn ) converge a f en

la norma de Lp .
Un espacio lineal normado completo usualmente se llama un espacio de

Banach. As que, el teorema anterior, podra ser formulado: el espacio Lp es
un espacio de Banach bajo la norma dada en (6.3).
El Espacio L
Ahora vamos a introducir un espacio que esta relacionado con los espacios-Lp .
6.15 Definicion (L , funcion esencialmente acotado). El espacio L =

L (X, X, ) que consiste de todos las clases de equivalencia funciones reales
Xmedibles que estan acotados casi en todas partes, dos funciones son
equivalentes cuando son iguales casi en todas partes. Si f L y X
con (N ) = 0, denimos
S(N ) = sup {|f (x)| : x

/ N}
(6.10) f = nf {S(N ) : N X, (N ) = 0} .
Un elemento de L se llama funcion esencialmente acotado.
Se sigue que si f L , entonces |f (x)| f para casi todo x (vease

el Ejercicio 6.T). Por otra parte, si A < f , entonces existe un conjunto E
con medida positiva tal que |f (x)| A para x E. Tambien es claro que la
norma en (6.10) esta bien denido en L .
61
6.16 Teorema. El espacio L es un espacio lineal normado completo bajo

la norma dada por la formula (6.10).
Demostracion. Es evidente que L es un espacio lineal y que f 0,

0 = 0, y f = || f . Si f = 0 entonces existe una conjunto
Nk X con (Nk ) = 0 tal que |f (x)| 1/k para x / Nk . Si ponemos

N = Nk , entonces N X, (N ) = 0, y |f (x)| = 0 para x / N . Por lo
k=1
tanto, f (x) = 0 para casi todos los x.
Si f, g L , existen conjuntos N1 , N2 en X con (N1 ) = (N2 ) = 0 tal
que
f (x) f para x
/ N1 ,
g(x) g para x
/ N2 ,
Por lo tanto, |f (x) + g(x)| f + g para x / (N1 N2 ), de lo cual se

deduce que f + g f + g .
Solo queda mostrar que L es completo. Sea (fn ) una sucesion de Cauchy
en L , y sea M un conjunto en X con (M ) = 0, tal que |fn (x)| fn
para x / M , n = 1, 2, . . . y tambien tal que |fn (x) fm (x)| fn fm
para todo x / M , n, m = 1, 2, . . .. Entonces la sucesion (fn ) es uniformemente
convergente en X \ M , y haciendo

lm fn (x), x/M
f (x) =
0, x M.
Se sigue que f es medible, y es facil ver que fn f 0. Por lo tanto

L es completo.
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].
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.D. Si f L1 (X, X, ) y sea > 0, entonces existe una funcion simple

Xmedible tal que f 1 < . Extender esto a Lp , 1 p < . Es
verdad para L ?
6.E. Si f Lp , 1 p < , y si E = {x X : |f (x)| =

0} , entonces E es
nito.
6.F. Si f Lp y si En = {x X : |f (x)| n} , entonces (En ) 0 cuando

n .
6.G. Sea X = N, y sea la medida de contar sobre N. Si f esta denido sobre

N por f (n) = 1/n, entonces f no pertenece a L1 , pero si pertenece a
Lp para 1 p < . [Alternativamente, sea X = R, X = B, y sea la
medida de Lebesgue y se dene g(x) = 0 para x < 1 y g(x) = 1/x para
x 1.]
6.H. Sea X = N, y sea la medida sobre"N que tiene medida 1/n2 en el

punto n. (Mas precisamente (E) = 2
1/n : n E .) Mostrar que

(X) < +. Sea f denido sobre X por f (n) = n. Mostrar que f Lp
si y solamente si 1 p < 2. [Para un ejemplo similar, sea X = (0, 1) con

la medida de Lebesgue, y considerar g(x) = 1/ x.]
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 .
6.J. Sea (X, X, ) un espacio de medida nita. Si f es Xmedible, sea En =

{x X : (n 1) |f (x)| < n}. Mostrar que f L1 si y solamente si

n(En ) < +.
n=1
De manera general, f Lp para 1 p < , si y solamente si

np (En ) < +.
n=1
6.K. Si (X, X, ) es un espacio de medida nita y f Lp , entonces f Lr

para 1 r p. [Sugerencia: Usar el Ejercicio 6.J o la desigualdad
63
|f |r 1 + |f |p .] Aplicar la desigualdad de Holder para |f |r en Lp/r y

g = 1 para obtener la desigualdad
f r f p (X)s ,
donde s = (1/r)(1/p). Por lo tanto, si (X) = 1, entonces f r f p .
6.L. Supongase que X = N y mu es la medida de contar sobre N. Si f Lp ,

entonces f Ls con 1 p s < , y f s f p .
6.M. Sea X = (0, ), sea la medida de Lebesgue sobre X, y sea f (x) =

x1/2 (1 + | log x|)1 . Entonces f Lp si y solamente si p = 2.
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.O. Sea 1 < p < , y sea (1/p) + (1/q) = 1. De la desigualdad de Holder se

sigue que si f Lp , entonces

f g d f p

para todo g Lq tal que gq 1. Si f = 0, se dene g0 sobre X

por g0 (x) = c[signof (x)]|f (x)|p1 , donde c = (f p )p/q . Mostrar que
g0 Lq , que g0 q = 1, y que

f g0 d = f p .

6.P. Sea f Lp (X, X, ), 1 p < , y sea > 0. Mostrar que existe un

conjunto E X con (E ) < + tal que si F X y F E = ,
entonces f F p < .
6.Q. Sea fn Lp (X, X, ), 1 p < , y sea n denido para E X por

1/p
n (E) = |fn |p d .
E
Mostrar que |n (E) m (E)| fn fm p . Por tanto, si (fn ) es una

sucesion de Cauchy en Lp , entonces lm n (E) existe para cada E X.
6.R. Sea fn , b como en el Ejercicio 6.Q. Si (fn ) es una sucesion de Cauchy y

> 0, entonces existe un conjunto E X con (E ) < + tal que si
F X y F E = , entonces n (F ) < para todo n N.
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.]
6.T. Si f L (X, X, ), entonces |f (x)| f para casi todo x. Ademas,

si A < f , entonces existe un conjunto E X con (E) > 0 tal que
|f (x)| > A para todo x E.
6.U. Si f Lp , 1 p , y g L , entonces el producto f g Lp y

f gp f p g .
6.V. El espacio L (X, X, ) esta contenido en L1 (X, X, ) si y solamente si

(X) < . Si (X) = 1 y f L , entonces
f = lm f p .
p

Teoria de La Medida Esp.

Загружено:

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

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

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

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

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

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

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

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

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

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

Teoria de La Medida Esp.

Загружено:

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

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

WWiley CClassics LLibrary

I Los Elementos de Integracion III

Los Elementos de Integracion

La teora de integracion tiene sus antiguas y nobles races en el metodo

Si los puntos extremos del intervalo Ej son aj , bj , denimos la integral de

Si f es una funcion acotada denido sobre un intervalo [a, b] y si f no es tan

es tal funcion simple y (E) denota la medida o longitud generalizada del

Si f es una funcion no negativa denido sobre R que esta convenientemente

Si el lmite inferior y el lmite superior son iguales, entonces su valor se llama

Cabe senalar que no denimos (+) + () o () + (+), tampoco de-

En el desarrollo de la integral de Lebesgue vamos a estar interesados en

2.1 Definicion (algebra). Una familia X de subconjuntos de un con-

Una par ordenado (X, X) que consiste de un conjunto X y un algebra X

generalmente es el caso), el conjunto usualmente se llamara medible.

De estos se sigue que la interseccion de una sucesion de conjuntos en X tambien

(d) Sea X un conjunto no numerable y X la coleccion de los subconjuntos que

A continuacion, consideraremos un espacio medible jo (X, X).

2.3 Definicion (funcion medible). Una funcion f de X a R se llama

(2.3) {x X : f (x) > }

El siguiente lema muestra que se podra haber modicado la forma de los

Demostracion. Puesto que B y A son complementos uno del otro, la ar-

se sigue que C X. Por lo tanto (a) implica (c). Dado que

se sigue que (c) implica (a).

2.5 Ejemplos. (a) Cualquier funcion constante es medible. Ya que si f (x) = c

mientras que si < c, entonces

(b) Si E X, entonces la funcion caracterstica E , denido por

es medible. En efecto, {x X : E (x) > } es X, E o .

2.6 Lema. Sea f y g funciones reales medibles y sea c un numero real.

tambien son medibles.

{x X : cf (x) > } = {x X : f (x) > /c} X.

El caso c < 0 se trata de manera similar.

(c) Por hipotesis, si r es un numero racional, entonces

Sr = {x X : f (x) > r} {x X : g(x) > r}

pertenece a X. Puesto que se puede comprobar facilmente que

se sigue que f + g es medible.

Observe que si f M (X, X), entonces

de manera que ambos conjuntos pertenecen a X.

2.8 Lema. Una funcion real extendido f es medible si y solamente si los

pertenecen a X y la funcion real f1 denida por

Demostracion. Si f esta en M (X, X), ya se ha visto que A y B pertenecen

{x X : f1 (x) > } = {x X : f (x) > } \A.

{x X : f1 (x) > } = {x X : f (x) > } B.

{x X : f (x) > } = {x X : f1 (x) > } A

{x X : f (x) > } = {x X : f1 (x) > } \B

donde < 0. Por lo tanto f es medible.

f (x) = nf fn (x), F (x) = sup fn (x),

f (x) = lmnf fn (x), F (x) = lm sup fn (x).

Demostracion. Observe que

la medibilidad de f y F tambien esta establecido.

2.10 Corolario. Si (fn ) es una sucesion en M (X, X) que converge a f

Demostracion. En este caso f (x) = lm fn (x) = lmnf fn (x).

Ahora bien, retornemos a la medibilidad del producto f g cuando f , g

Sea gn denido de manera similar. Es facil comprobar que fn y gm son medibles

f (x) gm (x) = lm fn (x) gm (x), x X,

(f g)(x) = f (x) g(x) = lm f (x) gm (x), x X,

2.11 Lema. Si f es una funcion no negativa en M (X, X), entonces existe

Demostracion. Sea n un numero natural jo. Si k = 0, 1, . . . , n2n 1, sea

y si k = n2n , sea Ekn el conjunto {x X : f (x) n} . Observemos que los

Funciones Entre Espacios Medibles

pertenece a X para cada conjunto E que pertenece a Y. A pesar de que

2.C. Sea (An ) una succion de subconjuntos de un conjunto X. Sea E0 = y

Mostrar que (En ) es una sucesion monotona creciente de conjuntos y

2.D. Sea (An ) una sucesion de subconjuntos de un conjunto X. Si A consiste

Por lo general el conjunto B se llama el lmite inferior de los conjuntos