Apuntes de An

alisis Matem
atico II
Reinaldo Martnez Cruz
Universidad Autonoma de Tlaxcala
Apizaco, Tlaxcala, Mexico

Indice general
Captulo 1. Introduccion

Captulo 2. Funciones medibles

1. Funciones Complejo-valuadas
2. Funciones entre espacios medibles

9
19
20

Captulo 3. Medidas

21

Captulo 4. La integral

24

Captulo 5. Funciones integrables

28

Captulo 6. El espacio de Lebesgue Lp

37

Captulo 1

Introducci
on
Una razon para el desarrollo de la integral de Lebesgue es la comparacion con la integral de Riemann y la extension del sistema de los
n
umeros reales.
La definicion de la integral de Lebesgue aumenta la coleccion de funciones para el cual la integral es definida. Aunque este engrandecimiento
es u
til en si mismo, su principal virtud radica en los teoremas que relacionan el intercambio de lmite e integral, los cuales son validos bajo
hipotesis menos exigentes, que las que se requieren para la integral de
Riemann. Como uno necesita frecuentemente hacer intercambios, la integral de Lebesgue es mas conveniente que la integral de Riemann. Para
ejemplificar estas observaciones; sea {fn }
on de funciones
n=1 una sucesi
definidas por
enx
fn (x) =
x

para cada x > 0.

Es facil ver que las integrales de Riemann (impropias)

Z nx
e
dx
In =
x
0
existen y que
lm fn (x) = 0,

para todo x > 0.

Sin embargo, como lmx0 fn (x) = + para cada n N, la convergencia de la sucesion no es uniforme para x > 0. Aunque esperamos que el lector pueda llenar los requerimientos para demostrar que
lmn In = 0, preferimos obtener esta conclusion como una consecuencia inmediata del teorema de convergencia dominada de Lebesgue
el cual sera demostrado posteriormente. Como otro Ejemplo, considere
la siguiente integral (impropia) de Riemann
Z +
F (t) =
x2 etx dx.
0
4


1. INTRODUCCION

Con un peque
no esfuerzo podemos demostrar que F es continua y que
su derivada existe y esta dada por
Z +
0
F (t) =
x3 etx dx,
0

el cual es obtenida bajo el signo de la integral. Una vez mas, esta deduccion se sigue del teorema de convergencia dominada de Lebesgue.
Intentaremos indicar la diferencia crucial entre las definiciones de
la integral de Rimann y la de Lebesgue.
Decimos que un intervalo en el conjunto de los n
umeros reales, R,
es un conjunto el cual tiene una de las siguientes formas:
[a, b] = {x R : a x b},
(a, b) = {x R : a < x < b},
[a, b) = {x R : a x < b}
y
(a, b] = {x R : a < x b}.
En cada uno de estos casos llamaremos a, b puntos extremos y denotaremos por b a a la longitud del intervalo.
Recordemos ademas que si E es un conjunto, entonces la funcion
caracteristica de E, XE , es definida por

1 si x E
XE (x) =
0 si x
/ E,
Una funcion escalonada es una funcion el cual es una combinacion
lineal finita de funciones caractersticas de intervalos; as
n
X
=
cj XEj .
j=1

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

de como
Z
n
X
=
cj (bj aj ).
j=1

Si f es una funcion acotada definida en un intervalo cerrado [a, b] y no

es discontinua, entonces la integral de Riemann de f se define como el
lmite (en un sentido adecuado) de las integrales de las funciones escalonadas que se aproximan a f . En particular, la integral de Riemann
inferior de una funcion f puede ser definida como el supremo de las integrales de las funciones escalonadas tales que, para cada x [a, b],
(x) f (x), y para x
/ [a, b], (x) = 0.

1. INTRODUCCION

La integral de Lebesgue puede obtenerse por un proceso similar,

excepto que la coleccion de funciones escalonadas es reemplazada por
una clase mas grande de funciones. La nocion de longitud se generaliza
a una coleccion adecuada X de subconjuntos de R. Una vez hecho esto,
las funciones escalonadas son reemplazadas por funciones simples, las
cuales son combinaciones lineales finitas de funciones caractersticas de
conjuntos que pertenecen a X. Si
=

n
X

cj XEj

j=1

es una funcion simple y si (E) denota la medida o longitud generalizadadel conjunto E en X, definimos la integral de como
Z
n
X
=
cj (Ej ).
j=1

Si f es una funcion no negativa definida en R, definiremos la integral de Lebesgue de f como el supremo de las integrales de todas las
funciones simples tales que, para cada x R, (x) f (x).
La integral puede entonces, extenderse a funciones que toman ambos signos.
Aunque la generalizacion de la nocion de longitud para ciertos conjuntos en R, los cuales no son necesariamente intervalos tiene gran interes,
en 1915 Maurice Frechet observo que las propiedades de la convergencia
de la integral de Lebesgue son validas en considerable generalidad. En
efecto, sea X un conjunto en el cual existe una coleccion de subconjuntos conteniendo el conjunto vacio y X cerrado bajo complementos
y uniones numerables.
Supongamos que existe una funcion medida no negativa definida
una sucesi
on mutuamensobre tal que () = 0 y, si {En }
n=1 es S
P

te disjunta de conjuntos de , entonces ( j=1 ) =

j=1 (Ej ). En
este caso una integral puede ser definida para una clase de funciones
real-valuadas definidas sobre X, y esta integral posee propiedades de
convergencia fuertes.
Estamos interesados particularmente es estos teoremas de convergencia. As, queremos avanzar directamente en el conocimiento de ellos
en ese sentido abstracto, ya que es mas general y creemos conceptualmente que estos casos especialmente de integracion son mas simples
en R o Rn . Sin embargo, se requiere que el lector acepte el hecho de
que los casos especiales son sometidos por la teora general. Especificamente se requiere que acepte la afirmacion de que existe una funcion
medida aditiva y numerable que generaliza la nocion de longitud de un


1. INTRODUCCION

intervalo. La prueba de esta afirmacion se encuentra en el captulo 9 y

puede ser ledo despues de ver el captulo 3.
En este captulo introductorio hemos intentado dar una motivacion
y acentar un escenario para la discucion detallada que sigue. Algunas
de nuestras observaciones son imprecisas y no tienen que ser probadas.
Estos defectos seran remediados. Sin embargo, ya que tenemos la ocasion de referirnos al sistema de los n
umeros reales extendidos, ahora
daremos una breve descripcion de este sistema.
En la teora de integracion es conveniente la adjuncion de los smbolos y + al sistema de los n
umeros rales, R. (Haciendo enfasis
que los dos smbolos no son n
umeros reales). Tambien convenimos en
que, para cada x R, < x < +.
La coleccion R que consiste en R {, +} se llama el sistema
de los n
umeros reales extendidos.
Una razon por la que deseamos considerar R es que, es conveniente
decir que longitud de la linea real es igual a +. Otra razon es que
tomaremos el supremo (=least upper bound) de un conjunto de los
n
umeros reales. Sabemos que un conjunto A 6= de n
umeros de reales
acotado superiormente tiene un supremo en R. Si definimos el supremo
de un conjunto no vaco el cual no tiene una cota superior como +,
entonces todo subconjunto no vaco de R o R tiene un u
nico supremo
en R. Similarmente, cada subconjunto no vaco de R o R tiene un u
nico
nfimo (=greates lower bound) en R. (Algunos autores introducen la
convencion de que nf = + y sup = pero nosotros no lo
emplearemos.)
Si {xn }nN es una sucesion de n
umeros reales extendidos, definimos
el limite superior y el limite inf erior de esta sucesion por
lm sup xn = infm (supnm xn ),
lm inf xn = supm infnm xn ).
Si lm sup xn = lm inf xn , entonces su valor es llamado el limite de la
sucesion. Es claro que esto coincide con la definicion para el caso de los
n
umeros reales.
Finalmente, introduciremos las siguientes operaciones algebracas
entre los simbolos y elementos x R.
() () = x () = () + x = ,
()() = +, ()() =
x() = ()x = si x > 0,
x() = ()x = 0 si x = 0,

1. INTRODUCCION

x() = ()x = si x < 0.

Notemos que no hemos definido (+) + () o () + (+), ni
hemos definidos el cociente cuando el denominador es .

Captulo 2

Funciones medibles
En el desarrollo de la integral de Lebesgue nos preocuparemos por
una clase de funciones real-valuadas definidas sobre un conjunto X. En
varias aplicaciones el conjunto X puede ser el intervalo unitario I =
[0, 1]; puede ser el conjunto de los n
umeros naturales N = {1, 2, 3, . . .};
puede ser la linea real, R; puede ser todo el plano; o puede ser otro
conjunto.
Dado un conjunto X, una familia de subconjuntos de X que
contiene al conjunto , X y cumple que es cerrado bajo complementos
y uniones numerables se le llama algebra de X. Para ser mas
precisos
n. Una familia de subconjuntos de un conjunto
0.1. Definicio
X se dice una algebra si satisface lo siguiente:
(i) , X .
(ii) Si A , entonces Ac = X S
\ A .
(iii) Si {An }nN , entonces nN An .
Una pareja ordenada (X, ) consistiendo de un conjunto X y una
algebra, , se le llama un espacio medible. Cualquier conjunto en
se le llama conjunto medible.
El lector recordara las reglas de De Morgan:
 [ c \
 \ c [
A =
(A )c , y
A =
(A )c .
I

De estas leyes y la Definicion 0.1, T

se sigue que si {An }nN es una
sucesion de conjuntos en , entonces nN An . Veamos como es
esto
 \
c c  [
c
\
c
An =
An
=
An .
nN

nN

nN

De aqu que si A, B , entonces A B .

Ahora daremos algunos ejemplos de algebras de subconjuntos.
0.2. Ejemplo. (a) Sea X cualquier conjunto y = {A : A X}.
Tenemos que es una algebra sobre X.
9

10

2. FUNCIONES MEDIBLES

(b) Sea X cualquier conjunto y = {, X}. Se sigue que es una

algebra de X.
(c) Si X = N y = {, {1, 3, 5, ...}, {2, 4, 6, 8, ...}, X}, entonces
es una algebra de X.
(d) Sean X un conjunto no numerable y
= {A X : A es numerable o X A es numerable}.
(e) Sean 1 , 2 algebras de subconjuntos de un conjunto X y
3 = 1 2 . Es facil verificar que 3 es una algebra de X.
(f) Sea A una coleccion no vaca de subconjuntos de X. Observemos
que existe una menor algebra, digamos tale que A . Para
ver esto, observe que la familia de todos los subconjuntos de X es una
algebra que contiene a A y la interseccion de todas las algebras
que contienen a A es tambien una algebra que contiene a A. A
es alguna veces llamada la algebra generada por A. (g) Sea X = R
el conjunto de los n
umeros reales. El algebra de Borel es la algebra,
B, generada por todos los intervalos abiertos (a, b) R. Observemos
que el algebra de Borel, B, es tambien la algebra generada por
todos los intervalos cerrados [a, b] R. Cualquier conjunto en B es
llamado conjunto de Borel.
(h) Sea X = R el conjunto de los n
umeros reales extendidos. Sea E
un subconjunto de Borel de R, sean E1 = E {}, E2 = E {+},
E3 = E {, +} y sea B = {E, E1 , E2 , E3 } como E B. Es facil
ver que B es una algebra y se llama el algebra de Borel extendida.
n. De (a). i) Como , X X, entonces , X .
0.3. Solucio
ii) Sea A , se sigue que A X. Como
X = A (X A) y (X A) (X A) A,
entonces X A .
iii) Sea {An }nN una sucesi
S on de subconjuntos en , entonces para
cada n N, An X. As, nN An = X .
De (b). i) Por la definicion de , , X .
ii) Sea A . Como A , entonces A = X o A = . Esto implica
que Ac = o Ac = X. As, Ac .
Se deja como ejercicio verificar la propiedad iii) y los incisos (c) y
(d).
De (e). i) Sean 1 y 2 algebras de subconjuntos de X, entonces
, X 1 y , X 2 . Es decir , X 3 .
ii) Sea A 3 , entonces A 1 y A 2 . Como 1 , 2 son
algebras de subconjuntos de X entonces X A 1 y X A 2 .
O sea X A 1 2 . As, X A 3 .

2. FUNCIONES MEDIBLES

11

iii) Sea {An }nN una sucesion de subconjuntos de 3 . De aqu que

para cada n N, An 1 2 , esto implica que, para cada n N,
An 1 y An 2 .
S
Dado
que

son

algebras,
se
tiene
que
1
2
S
S
S nN An 1 y
nN An 2 . Es decir,
nN An 1 2 . O sea,
nN {An } 3 .
De (f). Sea = { : es una algebra de X con A }.
Dado que la coleccion de todos los
T subconjuntos de X es una
algebra, entonces 6= . Sea = . Es claro que TA y
ademas esta en la algebra de X que contiene a A. .
Con esto se demuestra que es la mnima.
Ahora verifiquemos que es una algebra de X. Solo verificaremos
la propiedad iii). Sea {An }nN , esto implica que, para cada n N,
A
Sn para cada . Dado que es una algebra
S de X, entonces
T
A

para
cada

.
Esto
implica
que
nN n S
nN An
.

Es decir, nN An .
n. El inciso e) se generaliza para una familia ar0.4. Observacio
bitraria de algebras. Es decir, si { }I es una familia arbitraria
T
de algebras de subconjuntos de un conjunto X, entonces I
es una algebra.
Que pasa con la union de -algebras ?
En lo que sigue consideraremos un espacio medible fijo (X, ).
n. Una funcion f : X R se dice medible (o
0.5. Definicio
simplemente medible) si para cada R, se tiene que el conjunto
{x X : f (x) > } .
El siguiente lema proporciona una caracterizacion de las funciones
medibles.
0.6. Lema. Sea f : X R una funcion. Entonces la siguientes
afirmaciones son equivalentes.
a) Para cada R, el conjunto A = {x X : f (x) > } .
b) Para cada R, el conjunto B = {x X : f (x) } .
c) Para cada R, el conjunto C = {x X : f (x) } .
d) Para cada R, el conjunto D = {x X : f (x) < } .
n. Notemos que, para cada R, A y B son conjunDemostracio
tos complementarios uno del otro. As, a) si y solo si b). Similarmente,
para cada R, C y D son conjuntos complementarios uno del otro.
Luego, c) si y solo si d).
Veamos que a) si y solo si c)
Supongase que, para cada R, el conjunto
A = {x X : f (x) > } .

12

2. FUNCIONES MEDIBLES

T
Entonces para cada n N, A 1 . Afirmamos que C = nN A 1 .
n
n
En efecto, sea t C , entonces f (t) . Como para cada n N,
> n1 , entonces
1
f (t) >
para cada n N.
n
Esto implica que para cada n N, t {x X : f (x) > n1 }. Es
T
T
decir t nN {x X : f (x) > n1 }. As, t nN A 1 . Esto
n
T
demuestra que C nN A 1 .
n
T
1 , entonces para cada
Para ver la otra contension, sea t
n=1 A n
n N, t A 1 y as para cada n N, f (t) > n1 . Como lmn
n
1
= , se sigue que f (t)T
. Luego, t C .
n
Esto demuestra que
A 1 C .
T n=1 n
Con todo C = n=1 A 1 . Luego, (a) si y solo si (c).
n
Similarmente se demuestra que (c) implica (a).

0.7. Ejemplo. (a) Cualquier funcion constante es medible. Es decir,
si para cada x X, definimos f (x) = c, entonces f es medible.
(b) Si E , entonces la funcion caracterstica, XE , definida por

1 si x E
XE (x) =
0 si x
/ E,
es medible.
(c) Sea X = R y = B, entonces cualquier funcion continua f :
R R es medible.
(d) Sea X = R y = B, entonces cualquier funcion monotona es
medible.
n. De (a). Sea R. Si c, entonces {x X :
0.8. Solucio
f (x) > } = y .
Por otra parte, si < c, entonces {x X : f (x) > } = X y
X .
Esto demuestra que f es medible.
De (b). En efecto, sea R.
Si < 0, entonces {x X : XE (x) > } = X y X .
Si 0 1, entonces {x X : XE (x) > } = E y E .
Si > 1, entonces {x X : XE (x) > } = y .
As, la funcion caracterstica XE , es medible.
De (c). Como f es continua y {x R : f (x) > } = f 1 (, ),
se tiene que f 1 ((, )) es un conjunto abierto en R y por lo tanto

2. FUNCIONES MEDIBLES

13

se puede escribir como la union de una sucesion de intervalos abiertos.

As, f 1 (, ) B.
De (d). Para ver esto, suponga que f es monotona creciente en el
siguiente sentido: si x x0 , entonces f (x) f (x0 ).
Sean R y B = {x X : f (x) > }.
B es de la siguiente forma: i) Si f (x) , entonces B = B.
ii) Si f (x) > , entonces B = R B.
iii) Si > f (x0 ), entonces B = .
iv) Supongamos que f (x) f (x0 ). Para este caso, tratar de
expresar a B en forma explcita ya no es tan trivial.
Vamos a intentar darle solucion.
Si existen x1 , x2 R tales que f (x1 ) y f (x2 ) , entonces
B 6= , ya que x2 B. Ademas, B es acotado inferiormente por x1 , pues
de lo contrario existe x B tal que x < x1 . De aqu f (x) f (x1 ) ,
as, x
/ B. Lo cual nos da una contradiccion. Luego, x1 es una cota
inferior de B. Sea a = infB. Ahora se tienen dos casos: Analizarlo
mejor.
Si a B, entonces f (a) > . Tambien, para cada t B, se tiene que
a t, o sea B [a, ). Como f es monotona creciente, f (a) f (t).
Dado que f (a) > , entonces < f (t). Es decir, t B. Esto implica
que [a, ) B. Con todo B = [a, ) B.
Si a
/ B, entonces f (a) . Como a = infB, se sigue que para
cada t B, t [a, ). O sea, B [a, ). Como f es monotona
creciente, f (a) f (t). Afirmamos que f (t) . En efecto, supongamos
lo contrario, es decir < f (t), de aqu que t B. Esto quiere decir que
[a, ) B lo cual nos da una contradiccion. As, B = (a, ) B.
Ciertas combinaciones algebraicas simples de funciones medibles
son medibles, como ahora lo demostraremos.
0.9. Lema. Sean f y g funciones real-valuadas medibles y sea c R.
Entonces las funciones cf , f 2 , f + g, f g, |f | son medibles.
n. Si c = 0, entonces cf = 0 y como cualquier funcion
Demostracio
constante es medible, cf es medible. En lo que sigue, supongamos que
c 6= 0. Si c > 0, entonces

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

c
Similarmente se prueba para el caso c < 0. Con todo cf es medible.
Si < 0, entonces {x X : f (x)2 > } = X .
Supongamos que 0. Como f (x)2 > si y solo si

(f (x) + )(f (x) ) > 0.

14

2. FUNCIONES MEDIBLES

Tenemos que
f (x) +

> 0 y f (x)

>0

f (x) + < 0 y f (x) < 0.

Pero, f (x) + > 0 y f (x) > 0 implicanque f (x) ( , ).

(x)
< 0 implican que
Por otra parte,
f (x) + < 0 y f
f (x) (, ). As, f (x) (, ) ( , ). Luego,

{x X : f (x)2 > } = {x X : f (x) > }

{x X : f (x) < } .
Con todo, f 2 es medible.
Veamos que f + g es medible.
{x X : f (x) + g(x) > } = {x X : f (x) > g(x)}.
Dado que f (x), g(x) R y g(x) < f (x), entonces por la
propiedad de densidad del conjunto de los racionales, Q, existe r Q
tal que g(x) < r < f (x).
Definamos
Sr = {x X : f (x) > r} {x X : g(x) > r} .
No es difcil probar que
{x X : f (x) + g(x) > } =

Sr .

rQ

Esto demuestra que f + g es medible.

Como f g = 14 [(f + g)2 (f g)2 ]. Se sigue de a), b) y c) que f g es
medible.
Si < 0, entonces {x X : |f (x)| > } = X .
Si 0, entonces |f (x)| > si y solo si > f (x) o f (x) > .
As,
{x X : |f (x)| > } = {x X : f (x) > }
{x X : f (x) < } .
Concluyendo, |f | es medible.

n. Sea f : X R cualquier funcion. Sean f + y f

0.10. Definicio
funciones no negativas definidas sobre X por
f + = sup{f (x), 0} y f = sup{f (x), 0}.
Las funciones f + y f se llaman la parte positiva y negativa de f
respectivamente.

2. FUNCIONES MEDIBLES

15

Es claro que f = f + f y |f | = f + + f , ya que si f (x) > 0,

entonces f + = f (x) y f = 0. As,
f + (x) f (x) = f (x) 0 = f (x)
y
|f | = f = f + + 0 = f + + f .
Por otra parte si f (x) 0, entonces f + = 0 y f = f (x). Luego,
f + (x) f (x) = 0 (f (x)) = f (x)
y
|f | = f = 0 f = f + + f .
Estas propiedades implican las identidades siguientes
1
1
f + = (|f | + f ) y f = (|f | f ).
2
2
+

En efecto, f = f + f y f = |f | f . Luego, 2f + = f + |f |.
Tambien f = |f | f + y f = f + f . As, 2f = |f | f .
n. f es medible si y solo si f + y f son medibles.
0.11. Observacio
n. Necesidad) Supongamos que f es medible. Como |f |
Demostracio
es medible, por el Lema 0.9, 21 (f +|f |) es medible. Pero, 12 (f +|f |) = f +
entonces f + es medible.
Similarmente se demuestra que f es medible.
Suficiencia) Se sigue del Lema 0.9.

n. Una funcion f : X R es medible si para cada
0.12. Definicio
R, el conjunto {x X : f (x) > } pertenece a .
La coleccion de todas las funciones medibles rel-valuadas extendidas
en X es denotado por, M (X, ) y definido como
M (X, ) = {f : X R : f es medible}.
n. Si f M (X, ), entonces
0.13. Observacio
{x X : f (x) = +} =

{x X : f (x) > n}

n=1

y
{x X : f (x) = } =

[

c
{x X : f (x) > n} ,

n=1

pertenecen a .

16

2. FUNCIONES MEDIBLES

0.14. Lema. Cualquier funcion real-valuada extendida f es medible

si y solo si los conjuntos
A = {x X : f (x) = +} y

B = {x X : f (x) = }

pertenecen a y la funcion real-valuada f1 definida por


f (x), si x
/ AB
f1 (x) =
0,
si x A B,
es medible.
n. Necesidad) Supongamos que f M (X, ). Por la
Demostracio
Observacion 0.13, A, B . Falta verificar que f1 es medible.
Sea R. Supongamos que 0.
{x X : f1 (x) > } = {x X : f (x) > } \ A ,
ya que x
/ A B implica que x
/ A.
Si < 0, entonces
{x X : f1 (x) > } = {x X : f (x) > } B .
Esto demuestra que f1 es medible.
Suficiencia) Supongamos que A, B y que f1 es medible. Si
0, entonces
{x X : f (x) > } = {x X : f1 (x) > } A .
Si < 0, entonces
{x X : f (x) > } = {x X : f1 (x) > } \ B .
Con esto demostramos que f es medible.

Como consecuencia de los Lemas 0.9 y 0.14, se tiene.

n. Si f M (X, ), entonces las funciones cf ,
0.15. Observacio
+

f , |f |, f y f tambien pertenecen a M (X, ).

2

El u
nico comentario que necesitamos hacer es que adoptamos la
convencion que 0() = 0 as que cf se hace cero cuando c = 0. Si
f, g M (X, ), entonces la suma f + g no esta bien definida por la
formula (f + g)(x) = f (x) + g(x) en los conjuntos
E1 = {x X : f (x) = y g(x) = +}
y
E2 = {x X : f (x) = + y g(x) = },
el cual ambos pertenecen a . Sin embargo, si definimos f + g = 0 en
E1 E2 , la funcion resultante en X es medible.

2. FUNCIONES MEDIBLES

17

0.16. Lema. Sea {fn }nN una sucesion en M (X, ) y definamos las
funciones f (x) = nf fn (x), F (x) = sup fn (x), f (x) = lmnf fn (x) y
F (x) = lm sup fn (x). Entonces f, F, f , F M (X, ).
n. Sea R. Afirmamos que
Demostracio

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

y
{x X : F (x) > } =

{x X : fn (x) > }.

n=1

T
En efecto, sea t
n=1 {x X : fn (x) }, entonces para cada
n N, fn (t) . Como f (t) = nf fn (t), se sigue que f (t) y de
aqu que t {x X : f (x) }. As,
\
{x X : fn (x) } {x X : f (x) }.
nN

Para ver la otra contension, sea t {x X : f (x) }, entonces

f (t) .
Dado que f (t) = nf fn (t), entonces, para cada n N, se tiene que
fn (t) , entonces para cada n N,
t {x X : fn (x) }
esto implica que
t

{x X : fn (x) }.

nN

Esto demuestra que

{x X : f (x) }

{x X : fn (x) }.

n=1

Con todo
{x X : f (x) } =

{x X : fn (x) } .

n=1

Luego, f es medible.
Similarmente se demuestra que F es medible.
Por otra parte, como
f = sup{ nf fm (x)}
n>1 mn

y
F = nf {sup fm (x)}.
n1 mn

18

2. FUNCIONES MEDIBLES

De aqu que f y F tambien lo son.

0.17. Corolario. Sea {fn }nN una sucesion en M (X, ) tal que
lmn fn (x) = f (x) en X, entonces f M (X, ).
n. Como
Demostracio
f (x) = lmnf fn (x) = lm sup fn (x)
y lm sup fn (x) M (X, ), se sigue que f M (X, ). As, f es medible.

Veamos la medibilidad del producto f g cuando f, g M (X, ).
Para hacerlo, procedamos como sigue: para cada n N, sea fn la
truncasion de f definida por

f (x), si |f (x)| n,
n,
si f (x) > n,
fn (x) =
n, si f (x) < n.
n. Sea {fn }
0.18. Observacio
n=1 sucesiones truncantes de f , entonces lmn fn (x) = f (x).
n. Sea x X y supongamos que f (x) 6= +, ,
Demostracio
entonces existe un n0 N tal que |f (x)| n0 . Esto implica que para
cada n n0 , fn (x) = f (x). As, lmn fn (x) = f (x).
Si f (x) = +, entonces
fn (x) = n para cada n N.
Esto implica que lmn fn (x) = + = f (x).
Si f (x) = , entonces
fn (x) = n para cada n N.
De aqui que lmn = = f (x).
Ahora veamos que si f M (X, ), entonces para cada n N,
fn M (X, ). Sean R y B = {x X : fn (x) }.
Si n, entonces B = .
Si n, entonces B = X .
Si n < < n, entonces B = {x X : f (x) > } .

Sea gm definida similarmente como fn . Como fn y gm son medibles
(ver ejercicio 2.K), por el Lema 0.9, fn gm es medible.
Dado que para cada x X,
f (x)gm (x) = lm fn (x)gm (x)
n

1. FUNCIONES COMPLEJO-VALUADAS

19

por el Corolario 0.17, f gm M (X, ).

Por otra parte, para cada x X,
(f g)(x) = f (x)g(x) = f (x) lm gm (x) = lm f (x)gm (x).
m

Aplicando el Corolario 0.17, concluimos que f g (M, ).

0.19. Lema. Si f es una funcion no negativa en M (X, ), entonces
existe una sucesion {n }nN M (X, ) tal que
(a) para cada x X y cada n N, 0 n (x) n+1 (x),
(b) para cada x X, f (x) = lmn n (x),
(c) cada n tiene unicamente un n
umero finito de valores reales.
n. Sea n N fijo. Para k = 0, 1, ..., n2n 1, sea
Demostracio
k
k+1
f (x) <
}
n
2
2n
y para k = n2n , Fn = {x X : f (x) n}.
Como
h k k + 1 
1
,
Ekn = f
y Fn = f 1 ([n, )),
2n 2n
se sigue que {Ekn : k = 0, 1, ..., n2n } son familias disjuntas, pertenecen
S n
n
a y n2
n=0 Ekn = X. En efecto, para k = 0, 1, ..., n2 ,
h k k + 1 hk + 1 k + 2
,

, n
= .
2n 2n
2n
2
As, Ekn E(k+1)n = . Ademas, es claro que Fn y como
Ekn = {x X :

k
k+1
f (x)} {x X : f (x) <
},
n
2
2n
. Tambien, Ekn X y Fn X, de aqu que

Ekn = {x X :
entonces Ekn

n 1
n2[

Ekn Fn = X.

k=0

Sea x X, entonces existe k {0, 1, ..., n2n 1} tal que x Ekn Fn .

Pongamos n = 2kn sobre Ekn , entonces n pertenece al espacio (M, ).
No es difcil verificar las propiedades a), b) y c).

1.

Funciones Complejo-valuadas

Es importante considerar funciones complejo-valuadas definidas sobre un conjunto X y considerar la nocion de medibilidad para tales
funciones. Observemos que si f es una funcion complejo-valuada definida sobre un conjunto X, entonces existen dos funciones real-valuadas

20

2. FUNCIONES MEDIBLES

f1 , f2 tales que f = f1 + if2 , donde para cada x X, f1 = Ref (x),

f2 (x) = Imf (x).
n. (a) Sea f : X C una funcion. Decimos que
1.1. Observacio
f es medible si y solo si f1 y f2 lo son.
(b) Es facil ver que la suma, el producto y el limite de funciones
complejo-valuadas es medible.
2.

Funciones entre espacios medibles

En lo que sigue requerimos la nocion de medibilidad para funciones

real-valuadas y complejo-valuadas. Sean (X, ), (Y, 1 ) espacios medibles y f : X Y una funcion. Decimos que f es medible si para cada
E 1 , f 1 (E) . Aunque esta definicion de medibilidad aparece
para diferenciarlo de la Definicion 0.5, no es difcil mostrar (ver ejercicio 2.P) que la Definicion 0.5 es equivalente a esta definicion en el caso
que Y = R y Y = B.
Esta definicion de medibilidad muestra muy claramente la relacion
estrecha que guardan las funciones medibles sobre un espacio medible
y funciones continuas sobre un espacio topologico.

Captulo 3

Medidas
Hemos introducido la nocion de un espacio medible (X, ) consistiendo de un conjunto X y una algebra de subconjuntos de X.
Ahora consideramos ciertas funciones el cual estan definidas sobre y
con valores reales extendidos o con valores reales. Estas funciones, el
cual seran llamadas medidas, son suggested por nuestra idea de longitud, area, masa, y as forth. As es natural que ellas muestran attach 0
para el conjunto y que son aditivas bajo conjuntos disjuntos en .
Es permitido que la medida tome el valor n
umero real extendido .
n. Una medida es una funcion
0.1. Definicio
:R
que satisface las propiedades siguientes:
(i) () = 0,
(ii) para cada E , (E) 0,
(iii) es numerablemente aditiva en el sentido que si {En }
n=1 es
cualquier sucesion disjunta de conjuntos en , entonces

[
 X
(En ).
(0.1)

En =
n=1

n=1

Como puede tomar el valor +, observemos que en el lado derecho de la ecuacion 0.1 significa ambos que (En ) = + para alguna n
o que la serie de terminos no negativos en el lado derecho de la ecuacion
0.1 es divergente. Si una medida no toma el valor +, decimos que es
finito.SMas general, si existe una sucesion {En } de conjuntos en con
X = En y tal que (En ) < +, para toda n, entonces decimos que
es finito.
0.2. Ejemplo. a) Sea X cualquier conjunto no vaco y sea la
algebra de todos los subconjuntos de X. Sea 1 : R definida por
para toda E ;

1 (E) = 0,
y sea 2 : R dada por

2 (E) =

0,
si E = ,
+, si E 6= .
21

22

3. MEDIDAS

Ambos 1 y 2 son medidas, aunque ninguno es interesante. Notese

que 2 es finita, pero no finita.
b) Sean (X, ) como en el inciso a) y p un elemento fijo de X. Sea
: R definida por

0, si p E,
(E) =
1, si p
/ E.
No es difcil verificar que es una medida finita y es llamada la medida
unitaria concentrada en p.
c) Sea X = N = {1, 2, 3, . . .} y sea la algebra de todos los
subconjuntos de N. Para cada E , sea : R dada por

|E|, si E es finito,
(E) =
+, si E es un conjunto infinito.
Entonces es una medida y es llamada la medida contadora sobre N.
d) Si X = R y = B, es el algebra de Borel, entonces se demostrara en el captulo 9 que existe una u
nica medida definida sobre B
el cual coincide con la longitud de los intervalos abiertos. Con esto se
entiende que si E = (a, b), entonces (E) = b a. Esta medida es u
nica
y es usualmente llamada la medida de Lebesgue (o Borel). No es una
medida finita, pero si es finita.
e) Si X = R, = B y f es una funcion monotona creciente continua, entonces se demostrara en el captulo 9 que existe una u
nica
medida f definida sobre B tal que si E = (a, b), entonces
f (E) = f (b) f (a).
Esta medida f es llamada la medida de Borel-Stieltjes generada por
f.
Ahora derivamos unos resultados simples que seran necesarios posteriormente.
0.3. Lema. Sea una medida definida sobre una algebra . Si E
y F pertenecen a y E F , entonces (E) (F ). Si (E) < +,
entonces (F E) = (F ) (E).
n. Como F = E (F \ E) y E (F \ E) = , se sigue
Demostracio
que
(F ) = (E) + (F \ E).
Dado que (F \ E) 0, se sigue que (F ) (E). Si (E) < +,
entonces podemos sustraer embos lados de esta ecuacion.

0.4. Lema. Sea una medida definida sobre una algebra .

3. MEDIDAS

23

a) Si {En } es una sucesion creciente en , entonces

[

(0.2)

En = lm(En ).
n=1

b) Si {Fn } es una sucesion decreciente en y (F1 ) < +, entonces

\

(0.3)

Fn = lm(Fn ).
n=1

n. a) Si (En ) = + para alg

Demostracio
un n, entonces ambos
lados de la ecuacion 0.2 nos da +. Por lo tanto en lo que sigue,
supongamos que (En ) 6= + para toda n.
Pongamos A1 = E1 y para cada n > 1, sea An = En \ En1 . Se
sigue que {An } es una sucesion disjunta de conjuntos en , ya que si
n < m, entonces m = n + 1 y de aqu

\

An Am = En \ En1
Em \ Em1
C
C
= En Em En1
Em1
C
= En Em1
= .

Ademas,
En =

n
[
j=1

An

[
n=1

En =

An

n=1

Captulo 4

La integral
n. Si f M + (X, ), entonces definimos la integral
0.5. Definicio
de f con respecto a como el n
umero real extendido
Z
Z
(0.4)
f d = sup d.
0.6. Lema. Lema de Fatous Si {fn } pertenece a M + , entonces
Z
Z
(liminf fn )d liminf fn d
(0.5)
0.7. Corolario. Si f M + y : R esta definida por
Z
f d,
(E) =
E

entonces es una medida.

El teorema de convergencia monotona implica que:
Z
f d
(E) =
E
Z
= (f XE )d
Z
= lm fn d
Z
= lm
fn d
n

= lm nk=1 (Ek )
=

k=1 (Ek )

Es decir,

(
n=1 En ) = n=1 (En )
Con todo es una medida.
+
0.8. Corolario. Sup
R ongase que f M . Se sigue que f (x) = 0
-c-d en X si y solo si f d = 0.
24

4. LA INTEGRAL

25

n. Supongamos f (x) = 0 -c-d en X. Sea E = {x

Demostracio
X : f (x) > 0}. Notese que E y (E) = 0.
Sea fn = nXE . Dado que f lmnf fn , se sigue por el Lema de
Fatous que
Z
Z
Z
0 f d lmnf fn d = lmnf nXE d = lmnf(n(E)) = 0.
R
As, f d = 0.
R
Recprocamente, supongamos que f d = 0. Sea
En = {x X : f (x) >

1
}.
n

Tenemos
que En , para cada n N; ademas f n1 XEn , de aqu que
R
0 = f d n1 (En ) 0. As, (En ) = 0.
Por otra parte,
En+1 En ,

para cada n N.

Pongamos
A = {x X : f (x) > 0}. No es difcil verificar que
S
E
y
as A . Luego, por el Lema 0.4 (a),
A=
n=1 n
!

[
(A) =
En = lm (En ) = 0.
n

n=1

Es decir, hemos hallado un conjunto A con (A) = 0 tal que

para cada x
/ A, f (x) = 0. O sea, f (x) = 0 -c-d en X.

0.9. Corolario. Supongamos que f M + y definamos : R
por
Z
f d para cada E .

(E) =
E

Tenemos que la medida es absolutamente continua con respecto de

en el sentido que si E y (E) = 0, entonces (E) = 0.
n. Supongamos que E con (E) = 0, entonces
Demostracio
Z
Z
0 = (E) =
f d = f XE d
E

si y solo si (f XE )(x) = 0 -c-d en X. As, por el Corolario 0.8, se tiene

que
Z
Z
(E) =

f d =

f XE d = 0.

Luego, es absolutamente continua con respecto a .

26

4. LA INTEGRAL

Ahora probaremos que el teorema de la convergencia monotona es

verdadero si convergencia en X es reemplazada por convergencia -c-d
en un conjunto X.
0.10. Corolario. Sea {fn } una sucesion monotona creciente de
funciones en M + el cual converge -c-d en X a una funcion f en M + ,
entonces
Z
Z
f d = lm fn d.
n. Supongamos que existe un conjunto medible N con
Demostracio
(N ) = 0 tal que
lm fn (x) = f (x),

para cada x M = X \ N.

Se sigue que {fn XM } converge a f XM en X, as por el Teorema de la

convergencia monotona, se tiene que
Z
Z
(f XM )d = lm (fn XM )d.
Como (N ) = 0, las funciones f XN y fn XN son identicamente cero
-c-d en X. Por el Corolario 0.8, se tiene que
Z
Z
f XN d = 0 y
fn XN d = 0.
Dado que f = f XM + f XN y fn = fn XN + fn XM , se sigue que
Z
Z
Z
f d = f XM d + f XN d
Z
= f XM d
Z
= lm fn XM d
Z
= lm (fn fn XN )d
Z
Z
= lm fn d fn XN d
Z
= lm fn d.

0.11. Corolario. Sea {gn } una sucesion en M + , entonces
Z

Z

gn d .
(n=1 gn ) d = n=1

4. LA INTEGRAL

27

n. Sea fn = g1 +g2 +..+gn . Notese que fn fn+1 , para

Demostracio
cada n N y limn fn = lmn nk=1 gk =
k=1 gk . Por el teorema
de la convergencia monotona, se tiene que
Z

(
k=1 gk ) d

Z
= lm

fn d = lm

nk=1

Z
gk d =

k=1

Z
gk d.


Captulo 5

Funciones integrables
En 0.5, definimos la integral de cada funcion en M + = M + (X, )
con respecto a una medida y permitimos que esta integral fuese +.
En este capitulo trataremos la integral de funciones medibles el cual
pueden tomar valores reales positivos o negativos. Aqui es conveniente
requerir que los valores de la funcion sean n
umeros reales finitos.
n. La coleccion L = L(X, , ) de todas las fun0.12. Definicio
ciones integrables (o sumables), consiste de las funciones medibles realvaluadas f definidas sobre X, tal que la parte positiva f + y la parte
negativa f de f tienen integrales finitas con respecto a . En este caso
definimos la integral de f con respecto de por
Z
Z
Z
+
(0.6)
f d = f d f d.
Si E definimos
Z
Z
Z
+
f d =
f d
f d.
E

Aunque la integral de f esta definida por la diferencia de f + y f ,

es facil ver que si
f = f1 f2 ,
donde f1 y f2 son funciones medibles no negativas con integrales finitas,
entonces
Z
Z
Z
f d =

f1 d

f2 d.

En efecto, como
f + f = f = f1 f2 ,
entonces
f + + f2 = f1 + f
el cual implica que
Z
Z
Z
Z
+
f d + f2 d = f1 d + f d
28

5. FUNCIONES INTEGRABLES

29

y as
Z

f d

f d =

Z
f1 d

f2 d.

Pero,
Z

Z
f d =

f d

f d.

0.13. Lema. Sean f L y : R definida por

Z
f d para cada E ,
(0.7)
(E) =
E

entonces es una carga.

n. Como f + , f M + , por el Corolario 0.7, se tiene
Demostracio
que las funciones + y definidas como
Z
Z
+
+

(E) =
f d y (E) =
f d
E

son medidas. Ademas, son finitas, ya que f L.

Dado que = + , se sigue que es una medida. De aqu que
es una carga.

La funcion definida en 0.7 es frecuentemente llamada la integral
indefinida de f (con respecto a ). Dado que es una carga
si {En }
n=1
S
es una sucesion de conjuntos disjuntos en X tal que X= n=1 En , entonces
Z
Z

f d = n=1
f d.
E

En

Nos referimos a esta relacion diciendo que la integral indefinida de

una funcion en L es numerablemente aditiva.
El proximo resultado es conocido como la propiedad de integrabilidad absoluta de la integral de Lebesgue. El lector recordara que,
aunque el valor absoluto de una funcion Riemann integrable (propia)
es Riemann integrable, esta puede fallar para el caso de una funcion para la cual tiene una integral Riemann impropia (por ejemplo considere
a f (x) = x1 sin x para cada x 1.)
0.14. Teorema. Una funcion medible f L si y solo si |f | L.
En este caso tenemos
Z
 Z


 f d |f |d
n. Por definicion f L si y solo si f + , f M + y
Demostracio
Z
Z
+
f d < +,
f d < +.

30

5. FUNCIONES INTEGRABLES

Recuerde que
|f |+ = |f | = f + + f

y |f | = 0,

Z
Z
 Z


 

+

 f d =  f d f d
Z
Z
+
f d + f d
Z
= |f |d.

0.15. Corolario.
Si Rf es medible, g es integrable y |f | |g|, enR
tonces f L y |f |d |g|d.
n. Por el Teorema 0.14, g L si y solo si |g| L.
Demostracio
Como |f | |g|, se sigue que |f | L si y solo si f L. Ademas, como
+
|f
R |, |g| M
R y |f | |g|, por el lema 4.5 inciso (a), se obtiene que
|f |d |g|d.

Ahora demostraremos que la integral es lineal en el espacio L en el
siguiente sentido.
0.16. Teorema. Si R y f, g L, entonces f L, f + g L
y
Z

Z
f d =

Z
f d y

Z
(f + g)d =

Z
f d +

gd.

n. Sea R y f, g L. Vamos a demostrar que

Demostracio
f L y f + g L. Como f L, entonces por el Teorema 0.14,
tenemos que |f |, |g| L. Como |f + g| |f | + |g| L. Entonces
|f + g| L. Luego, por el teorema 5.3, f + g L. Esto demuestra que
L(X, , ) es un espacio vectorial.
Ahora veamos que
Z
Z
f d = f d.
El caso de = 0 es inmediato. As, en lo que sigue tomemos a > 0.
(f )+ = f +

(f ) = f

Por lo tanto
Z

Z
f d =

(f ) d

(f + ) d

5. FUNCIONES INTEGRABLES

Z
=

f d

31

f d

Z
Z
+
= ( (f ) d f + ) = d
Z
=

f d

Si < 0, entonces > 0. Sea = y procedamos como antes.

Por otra parte
f + g = (f + f ) + (g + g )
= (f + + g + ) (f + g )
Z
Z
Z
+
+
(f + g)d = (f + g )d (f + g )d.
Luego por el corolario 4.7 (b) se tiene que:
Z
Z
Z
+
+
(f + g)d = (f + g )d (f + g )d
Z
Z
Z
Z
+
+

= f d + g d f d g )d.
Z
Z
Z
Z
+

+
= ( f d g d) + ( f d g )d)
Z
Z
= f d + gd2

Ahora estableceremos el teorema mas importante de convergencia
para funciones integrables.
0.17. Teorema. Teorema de la convergencia dominada de Lebesgue. Sea {fn } una sucesion de funciones integrables el cual converge
casi dondequiera a una funcion real valuada medible f . Si existe una
funcion integrable g tal que |fn | g para cada n, entonces f es integrable y
Z
Z
f d = lm fn d.
n. Como |fn | g para cada n, g L y f = lm fn
Demostracio
c-d-q en X, se sigue que f L.

32

5. FUNCIONES INTEGRABLES

Si |fn | = fn para cada n, entonces g + fn 0 para cada n. Luego,

aplicando el Lema de Fatous y el teorema 5.5, se tiene que
Z
Z
Z
gd + f d = (f + g)d
Z
lm inf

(g + fn )d

Z
=

Z
gd + lm inf

fn d.

De aqu que
Z

Z
f d lm inf

(0.8)

fn d.

Por otra parte si |fn | = fn para cada n, entonces g fn 0 para

cada n y otra vez aplicando el Lema de Fatuos y el teorema 5.5, tenemos
que
Z

Z
gd

Z
(g f )d

f d =

Z
lm inf
Z

(g fn )d
Z

gd lm sup fn d
R
R
De este modo se obtiene que f d lm sup fn d. O sea,
Z
Z
(0.9)
lm sup fn d f d.
=

Combinando (0.8) y (0.9),

f d = lmnf

fn d.

Dependencia de un par
ametro
Frecuentemente nesesitamos considerar integrales donde el integrando depende de un parametro real. El teorema de la convergencia
dominada de Lebesgue juega un papel importante en esta relacion.
Para el resto de este captulo f : X [a, b] R denotara una
funcion y asumiremos que h : R X [a, b] es medible y esta dada
por
h(x) = f (x, t) para cada t [a, b].
Hipotesis adicionales seran establecidas explicitamente.

5. FUNCIONES INTEGRABLES

33

0.18. Corolario. Supongamos que para alg

un t0 [a, b], se tiene
que
f (x, t0 ) = lm f (x, t) para cada x X,
tt0

y que existe una funcion integrable g definida en X tal que

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

Z
f (x, t0 )d(x) = lm

tt0

f (x, t)d(x).

n. Recordemos que
Demostracio
lm f (x, t) = f (x, t0 ) para toda x X

tt0

si y solo si para cada sucesion tn en [a, b] con tn 6= t0 y lm tn = t0

implican que
lm f (x, tn ) = f (x, t0 ).
Sea
fn (x) = f (x, tn ) para toda x X.
Tenemos que {fn } es una sucesion de funciones integrables y lm fn (x) =
f (x, t0 ) casi dondequiera en X. Ademas, |fn | g, ya que
lm |fn | = lm |f (x, tn )| = |f (x, t0 )| g,

entonces |fn | g para toda n N. Luego, por el teorema de la Convergencia dominada

Z
Z
Z
f (x, t0 )d(x) = lm
fn (x)d(x) = lm
f (x, tn )d(x)
n

si y solo si lmtt0

f (x, t)d(x) =

f (x, t0 )d(x).


0.19. Corolario. Si la funcion h(t) = f (x, t) es continua en [a,b]

para cada x X, y si existe una funcion integrable g en X tal que
|f (x, t)| g(x), entonces la funcion F definida por
Z
F (t) = f (x, t)d(x)
es continua para t [a, b]

34

5. FUNCIONES INTEGRABLES

n. Como h(t) = f (x, t) es continua en [a,b], entonces

Demostracio
lmtt0 h(t) = h(t0 ) si y solo si lmtt0 f (x, t) = f (x, t0 ) para x X.
Ademas, |f (x, t)| g(x), donde g es una funcion integrable en X;
luego, se cumplen las hipotesis del Corolario anterior. As
Z
Z
lm F (t) = lm f (x, t)d(x) = f (x, t0 )d(x) = F (t0 ).
tt0

tt0

Esto demuestra que F es continua en [a,b].

0.20. Corolario. Supongase que para alg

un t0 [a, b], la funcion
h(x) = f (x, t0 ) es integrable en X, que existe f
en X [a, b], y que
t
existe una funcion integrable g en X tal que
f
(x, t) | g(x).
|
t
Entonces la funcion definida como
Z
F (t) = f (x, t)d(x)
es diferenciable en [a, b] y
R
Z
( f (x, t)d(x))
f
F
(t) =
=
(x, t)d(x).
t
t
t
n. Sea t [a, b]. Si {tn } es una sucesion en [a, b] con
Demostracio
tn 6= t tal que lmn tn = t, entonces
f
f (x, tn ) f (x, t)
(x, t) = lm
, xX
t
tn t
Por lo tanto la funcion es medible.
Si x X y t [a, b], entonces por el Teorema del Valor Medio
existe s1 (t0 , t) tal que
f
f (x, t) f (x, t0 ) = (t t0 ) (x, s1 ).
t
Por lo que
f
|f (x, t)| |f (x, t0 )| + |(t t0 ) (x, s1 )| |f (x, t0 )| + |(t t0 )|g(x),
t
el cual demuestra que la funcion x f (x, t) es integrable para cada
t [a, b]. Por lo tanto, si tn 6= t, entonces
Z
Z
F (tn ) F (t)
1
=
[ f (x, tn )d(x) f (x, t)d(x)]
tn t
tn t
Z
1
=
[ (f (x, tn )d(x) f (x, t))d(x)]
tn t

5. FUNCIONES INTEGRABLES

Z
=

35

f (x, tn ) f (x, t)
d(x)
tn t

entonces
Z
F
F (tn ) F (t)
f (x, tn )d(x) f (x, t)
(t) = lm
= lm
d(x)
t
tn t
tn t
Z
f
=
(x, t)d(x)
t
Z
f (x, tn ) f (x, t)
= lm[
d(x)]
tn t
F (tn ) F (t)
= lm
.
tn t

0.21. Corolario. Si la funcion t f (x, t) es continua en [a, b] para cada x X y existe una funcion integrable g enR X tal que |f (x, t)|
g(x), entonces la funcion F definida por F (t) = f (x, t)d(x) es continua para cada t [a, b]. Ademas
Z b
Z bhZ
i
F (t)dt =
f (x, t)d(x) dt
a
a
Z hZ b
i
f (x, t)dt d(x),
=
a

donde las integrales con respecto a t son Riemann Integrables.

Demostraci
R ton. Recuerdese que si es una funcion continua en [a, b],
d
entonces dt ( a (s)ds) = (t), a t b.
Sea h : X [a, b] R una funcion definida por
Z t
h(x, t) =
f (x, s)ds.
a
h
(x, t)
t

Se sigue que
= f (x, t). Como esta integral de Riemann existe,
este es el lmite de una sucesion de sumas de Riemann; por lo tanto
la funcion x h(x, t) es medible para cada t. Ademas, dado que
|f (x, t)| g(x), inferimos que
Z t



|h(x, t)| = 
f (x, s)ds
a

|f (x, s)|ds
a

36

5. FUNCIONES INTEGRABLES

ds = g(x)(b a),

g(x)ds = g(x)
a

as que la funcion x h(x, t) es integrable para cada t [a, b].

Sea H definida en [a, b] por
Z
H(t) = h(x, t)d(x)
se sigue del Corolario 0.20 que
Z
Z
dH
h
(t) =
(x, t)d(x) = f (x, t)d(x) = F (t).
dt
t
Por lo Ztanto
b
F (t)dt = H(b) H(a)
a
Z
Z
= h(x, b)d(x) h(x, a)d(x)
Z
= [h(x, b) h(x, a)]d(x)
Z hZ b
i
=
f (x, s)ds d(x).
a

Captulo 6

El espacio de Lebesgue Lp
A menudo es u
til imponer la estructura de un espacio de Banach sobre el conjunto de todas las funciones integrables de un espacio medida
(X, , ). En suma introduciremos el espacio Lp con 1 p , el cual
ocurre frecuentemente en analisis. Aparte de la importancia intrinseca
de estos espacios examinaremos aqu parcialmente las aplicaciones de
algunos de los resultados dados en la seccion anterior.
n. Sea V un espacio vectorial (o lineal) sobre el
0.22. Definicio
campo de los numeros reales R. Sea N : V R una funcion. Decimos
que N es una norma para V si se satisfacen las siguientes propiedades
i) N (v) 0 para cada v V
ii) N (v) = 0 si y solo si v = 0
iii) N (v) = ||N (v) para cada v V y cada R
iv) N (u + v) N (u) + N (v) para cualesquiera u, v V .
Decimos que una funcion, es una semi-norma (o pseudo-norma) si
se satisface los incisos i), iii) y (iv) en la Definicion 0.22. A la pareja
(V, N ) le llamamos espacio lineal normado.
0.23. Ejemplo. (a)N (v) = |v| es una norma para R.
(b) Si V = Rn , entonces las siguientes funciones son normas
N1 (u1 , . . . , un ) = |u1 | + . . . + |un |,
1

Np (u1 , . . . , un ) = {|u1 |p + ......|un |p } p ,

p 1,

N (u1 , . . . , un ) = sup{|ui | : i {1, .....n}}.

(c) El espacio lineal l1 constituido
P por todas las sucesiones realvaluadas u = (un ) tal que N1 (u) =
|un | < + es un espacio lineal
normado bajo N1 . Similarmente, si 1 p < , la coleccion lp de todas
P
1
las sucesiones tal que Np (u) = { |un |p } p < es normado por Np .
(d) La coleccion B(X) de todas las funciones f : X R tales que f
es acotada es normado por N (f ) = sup{|f (x) : x X|}. En particular,
el espacio lineal constituido por las funciones continuas definidas en
X = [a, b] es normado.
37

38

6. EL ESPACIO DE LEBESGUE Lp

0.24. Soluci
P on. Veamos que N1 es una norma.
(i) Como ni=1 |ui | 0, se sigue que N1 (u1 , . . . , un ) 0.
(ii)
Pn
N1 (u1 , . . . , un ) = 0 si y solo si
olo si u1 =
i=1 |ui | = 0 si y s
0,. . . ,un = 0.
(iii)

N1 (u1 , . . . , un ) =| | |u1 | + . . . + | | |un |
=| | (|u1 | + . . . + |un |),
=| | N1 (u1 , . . . , un ),

(iv)
N1 (u1 + v1 , . . . , un + vn ) = |u1 + v1 | + . . . + |un + v1 |
|u1 | + |v1 | + . . . + |un | + |v1 |
= N1 (u1 , . . . , un ) + N1 (v1 , . . . , vn ).
Similarmente se demuestra que N es una norma y que Np satisface
(i), (ii) y (iii). Es una consecuencia de la desigualdad de Minkowskis,
el cual sera demostrado posteriormente que, Np satisface (iv).
Todos los ejemplos dados anteriormente son normas sobre un espacio lineal. Existen tambien semi-normas sobre un espacio lineal que
son de interes. Los siguientes son algunos ejemplos.
0.25. Ejemplo. (a) En el espacio Rn , considere la semi-norma
N0 (u1 , . . . , un ) = sup{|u2 |, . . . , |un |}.
Aqu N0 (u1 , . . . , un ) = 0 si y solo si u2 = . . . = un = 0.
(b) En el espacio lineal C[0, 1] = {f : [0, 1] R : f es continua},
defina la semi-norma
N0 (f ) = sup{|f (x)| : 0 x 1/2}.
Aqu N0 (f ) = 0 si y solo si f (x) = 0 para cada 0 x 12 .
0.26. Corolario. Si f, g L2 , entonces f g es integrable y
Z
 Z


(0.10)
 f gd |f g|d kf k2 kgk2 .