En este capı́tulo tenemos como objetivo demostrar las propiedades más importantes de la

Integral de Lebesgue. tenemos que demostrar todavı́a las propiedades fundamentales de linealidad
y aditividad respecto al dominio, y vamos a estudiar también el comportamiento de la integral
frente a los lı́mites de sucesiones o series de funciones medibles.
Las propiedades de la integral respecto a los lı́mites de sucesiones se denominan teoremas
Teoremas de de convergencia. Y precisamente gracias a uno de ellos vamos a poder demostrar de una forma
convergencia sencilla aquellas dos propiedades que hemos mencionado.
Ası́ que los resultados irán apareciendo de forma un poco desordenada a lo largo del capı́tulo.

Integral sobre . . .
Convergencia . . .
Convergencia . . .

JJ II
J I
 1. Integral sobre subconjuntos medibles
Empezamos este capı́tulo con un pequeño resultado sobre la integral en un subconjunto de un
conjunto medible, y algunas consecuencias, que vamos a utilizar en los siguientes resultados.

Proposición.
Teoremas de
Sea E ⊆ Rn , medible – Lebesgue, y f : E −→ R función medible no negativa, o integrable. Sea
convergencia
A ⊆ E medible – Lebesgue. Entonces
Z Z
f= f χA
A E
Integral sobre . . .
Convergencia . . .
Convergencia . . .

f χA
f

JJ II
J I
A
A
E
 Demostración:
Como A es un conjunto medible, la función χA es medible, y por tanto f χA es medible –
Lebesgue.
Supongamos primero que f es no negativa.
Por definición,
Teoremas de Z Z
convergencia f = sup{ s; s : A −→ R función simple , 0 ≤ s(x) ≤ f (x) ∀x ∈ A}
A A

y
Z Z
Integral sobre . . . f χA (x) = sup{ t; t : E −→ R función simple , 0 ≤ t(x) ≤ f χA (x) ∀x ∈ E}
Convergencia . . . E E

Convergencia . . . Vamos a ver que para cada función simple s : A −→ R que verifique 0 ≤ s(x) ≤ f (x)
para todo x ∈ ARhay unaR función simple t : E −→ R con 0 ≤ t(x) ≤ f χA (x) para todo
x ∈ E, tal que A s = E t, y, recı́procamente para cada función simple t : E −→ R que
verifique 0 ≤ t(x) ≤ f χA (x) para todo x R∈ E hay R una función simple s : A −→ R con
JJ II 0 ≤ s(x) ≤ f (x) para todo x ∈ A tal que A s = E t. Ası́ los dos conjuntos que aparecen
J I arriba son iguales, y por tanto las integrales son iguales.
Sea s : A −→ R una función simple en A, tal que 0 ≤ s(x) ≤ f (x) para todo x ∈ A. Si
Xk
s tiene una descomposición de la forma s(x) = ai χAi (x), con Ai subconjuntos medibles
i=1
 de A, extendemos la definición de s a E mediante la función
k
X
t(x) = ai χAi (x) + 0χE\A
i=1

Teoremas de t es una función simple, que verifica evidentemente 0 ≤ t(x) ≤ f (x)χA (x) para todo x
Z k Z
convergencia X
de E, y t= ai m(Ai ) + 0m(E \ A) = s
E i=1 A
Recı́procamente, si t : E −→ R es una función simple con 0 ≤ t(x) ≤ f χA (x) para todo
x ∈ E, necesariamente para cada x ∈ E \ A tiene que ser t(x) = 0, ası́ que
Integral sobre . . .
Convergencia . . . t(x) = t(x)χA (x) + 0χE\A (x)
Convergencia . . .
Si t = m
P
j=1 bj χBj , podemos poner

m
X
t(x) = bj χBj ∩A + 0χE\A
JJ II j=1
J I y
Z m
X
t= bj m(Bj ∩ A)
E j=1
 Definimos entonces s como la restricción de t a A, que tendrá una expresión de la forma
m
X
s(x) = t|A (x) = bj χBj ∩A
j=1

Teoremas de que verifica 0 ≤ s(x) = t(x) ≤ f (x) si x ∈ A, y

convergencia Z m Z
X
s= bj m(Bj ∩ A) = t
A j=1 E

Integral sobre . . . Si f es una función integrable, no necesariamente no negativa, se tiene

Convergencia . . .
Convergencia . . . Z Z Z Z Z
−
f= +
f − f = +
f χA − f − χA
A A A E E

Ahora bien, (f + χA )(x) = (f χA )+ (x) y (f − χA )(x) = (f χA )− (x) . Por tanto, susti-

JJ II tuyendo arriba,
J I Z Z
f= f χA
A E


 Consecuencias:

1. Si f es una funciónZ medibleZ no negativa en E, y A, B son subconjuntos medibles de E con

A ⊆ B, entonces f≤ f
A B
Teoremas de En efecto, basta tener en cuenta que si A ⊆ B, χA ≤ χB
convergencia

Integral sobre . . .
Convergencia . . .
Convergencia . . .

JJ II
J I
 Consecuencias:

1. Si f es una funciónZ medibleZ no negativa en E, y A, B son subconjuntos medibles de E con

A ⊆ B, entonces f≤ f
A B
Teoremas de En efecto, basta tener en cuenta que si A ⊆ B, χA ≤ χB
convergencia
2. Si f es una función medible
Z no negativa o integrable en E, y A es un subconjunto de E
con m(A) = 0, entonces f =0
A
Integral sobre . . . En efecto, podemos suponer que f es no negativa, y luego razonar con f + y f − . Entonces
Convergencia . . . f χA es una función medible y no negativa, y f χA (x) = 0 para casi todo x de E (para
Convergencia . . . todo x de E \ A), luego
Z Z Z
f= f χA = 0=0
A E E

JJ II
J I
 Consecuencias:

1. Si f es una funciónZ medibleZ no negativa en E, y A, B son subconjuntos medibles de E con

A ⊆ B, entonces f≤ f
A B

Teoremas de En efecto, basta tener en cuenta que si A ⊆ B, χA ≤ χB

convergencia
2. Si f es una función medible
Z no negativa o integrable en E, y A es un subconjunto de E
con m(A) = 0, entonces f =0
A

Integral sobre . . . En efecto, podemos suponer que f es no negativa, y luego razonar con f + y f − . Entonces
Convergencia . . . f χA es una función medible y no negativa, y f χA (x) = 0 para casi todo x de E (para
Convergencia . . .
todo x de E \ A), luego
Z Z Z
f= f χA = 0=0
A E E

JJ II
Z
J I
3. Si f es una función medible no negativa en E, y f = 0, entonces f (x) = 0 en casi
E
todo punto de E.
En efecto, si llamamos A = {x ∈ E : f (x) > 0}, y An = {x ∈ E : f (x) ≥ 1/n},
tenemos que:
 ∞
[
An ⊆ An+1 para todo n ∈ N; y A= An
n=1

Entonces m(A) = limn m(An ). Si fuese m(A) > 0, existirı́a algún n0 tal que m(An0 ) > 0,
y entonces
Teoremas de Z Z Z
1 1
convergencia f≥ f≥ = m(An0 ) > 0
E An0 An0 n0 n0

contra la hipótesis de que f tenı́a integral 0 en E.

Integral sobre . . .
Convergencia . . .
Convergencia . . .

JJ II
J I
 2. Convergencia Monótona
Vamos a demostrar ahora algunos de los teoremas más importantes de la teorı́a integral de
Lebesgue.
El primer teorema de convergencia se da para sucesiones crecientes de funciones no negativas.
Teoremas de De él obtendremos varias consecuencias, entre las que se encuentra la demostración de la linealidad
convergencia de la integral.

Integral sobre . . .
Convergencia . . .
Convergencia . . .

JJ II
J I
 2. Convergencia Monótona
Vamos a demostrar ahora algunos de los teoremas más importantes de la teorı́a integral de
Lebesgue.
El primer teorema de convergencia se da para sucesiones crecientes de funciones no negativas.
Teoremas de De él obtendremos varias consecuencias, entre las que se encuentra la demostración de la linealidad
convergencia de la integral.

Teorema (de Convergencia Monótona).

Integral sobre . . .
Sea E ⊆ Rn un conjunto medible –Lebesgue, y sea {fn}n∈N una
Convergencia . . . sucesión no decreciente de funciones medibles no negativas, tales que
Convergencia . . .
para todo x ∈ E existe f (x) = lim fn(x). Entonces f es medible, no
n
negativa, y Z Z
JJ II f = lim fn
J I E n E
 Demostración: I (Saltar al final de la demostración)
Ya hemos visto que el lı́mite puntual de funciones medibles es medible, luego f es medible.
Además, para todo x ∈ E, fn (x) ≥ 0, luego f (x) = limn fn (x) ≥ 0
Y como {fn }n es no decreciente, dado x en E, fn (x) ≤ fn+1 (x) Z para todo
Z n ∈ N,
luego fn (x) ≤ f (x) para todo n, y para todo x ∈ E. Entonces fn ≤ f para
Teoremas de Z Z E E
convergencia todo n ∈ N y por tanto lim fn ≤ f
n E E
Hay que demostrar la otra desigualdad,
Z para
Z lo que veremos que para toda función simple s
con 0 ≤ s ≤ f en E, se tiene s ≤ lim fn
E n E
Integral sobre . . .
Convergencia . . .
Sea s una función simple, tal que 0 ≤ s(x) ≤ f (x) para todo x de E. Y sea α un número
real, con 0 < α < 1
Convergencia . . .
Definimos para cada n ∈ N el conjunto An = {x ∈ E : fn (x) ≥ αs(x)}

JJ II
J I
 f
s
Teoremas de αs
convergencia
fn

Integral sobre . . .
Convergencia . . .
An An An An
Convergencia . . .
Se tiene que cada An es medible, y que
Z Z Z Z
fn ≥ fn ≥ αs = α s
E An An An
JJ II
J I
 k
X
Si s tiene una expresión de la forma s(x) = bj χ Bj , entonces
j=1

Z k
X
s= bj m(Bj ∩ An )
An
Teoremas de j=1
convergencia luego
Z k
X
fn ≥ α bj m(Bj ∩ An )
E j=1
Integral sobre . . .
Convergencia . . .
y esto para cada n ∈ N. Se trata de estudiar qué ocurre si n → ∞
Convergencia . . . Ahora bien, como la sucesión {fn }n es no decreciente,
x ∈ An ⇒ fn (x) ≥ αs(x) ⇒ fn+1 (x) ≥ fn (x) ≥ αs(x) ⇒ x ∈ An+1
luego {An }n es una sucesión creciente de conjuntos medibles.
JJ II [∞

J I Además E = An :
n=1

• Si x ∈ E y s(x) > 0, como f (x) = limn fn (x) ≥ s(x) > αs(x), existirá algún n0 tal que
fn0 (x) ≥ αs(x), luego x ∈ An0
 • Y si s(x) = 0, trivialmente x ∈ An para todo n.
En consecuencia, para cada j entre 1 y k, fijo, la sucesión {Bj ∩ An }n es creciente, y
∞
[ ∞
[
(Bj ∩ An ) = Bj ∩ ( An ) = Bj ∩ E = Bj
n=1 n=1
Teoremas de
convergencia de donde limn m(Bj ∩ An ) = m(Bj ).
Ası́,
Z Xk k
X
lim fn ≥ α lim( m(Bj ∩ An )) = α bj lim m(Bj ∩ An ) =
n E n n
Integral sobre . . . j=1 j=1

Convergencia . . . k
X Z
Convergencia . . . = α bj m(Bj ) = α s
j=1 E

Y esto para todo α con 0 < α < 1. Haciendo que α tienda a 1, se tiene
Z Z
JJ II
lim fn ≥ s
n E E
J I Por último, tomando supremos entre todas las funciones simples s con 0 ≤ s ≤ f en E, se
tiene
Z Z
lim fn ≥ f
n E E
 lo que termina la demostración.
J(Volver al enunciado) 

Observaciones:
Teoremas de El teorema es cierto aunque las condiciones del enunciado se verifiquen en casi todo punto de E
convergencia solamente:
Sea E ⊆ Rn un conjunto medible – Lebesgue, {fn }n una sucesión de funciones medibles en
E no negativas, y f una función en E no negativa, tales que:
Para cada n ∈ N existe un conjunto Zn ⊆ E con m(Zn ) = 0 tal que fn (x) ≤ fn+1 (x) para
Integral sobre . . . todo x ∈ E \ Zn
Convergencia . . .
Existe un conjunto Z0 ⊆ E tal que para todo x ∈ E \ Z0 f (x) = lim fn (x).
Z Z n
Convergencia . . .
Entonces f es medible y f = lim fn
E n E
∞
[ P∞
En efecto, basta definir el conjunto Z = Zn , que verifica m∗ (Z) ≤ n=0 m(Zn ) = 0,
n=0
JJ II luego es medible, y las funciones gn = fn χE\Z y g = f χE\Z , que son medibles, e iguales a fn y
J I a f en casi todo punto, respectivamente.
Además gn (x) ≤ gn+1 (x) para todo x ∈ E y para todo n ∈ N, y g(x) = limn gn (x) para
 R R
todo x ∈ E. Aplicando el caso anterior a estas funciones se tiene E
g = limn E
gn y por tanto
Z Z Z Z
f= g = lim gn = lim fn
E E n E n E

Teoremas de Una de las aplicaciones que vamos a utilizar de este teorema es la extensión de la integral de
convergencia Riemann a funciones no acotadas, o a funciones definidas en dominios no acotados, utilizando
sucesiones crecientes de conjuntos medibles Jordan en los que podamos utilizar la integral de
Riemann, y el siguiente corolario:
Integral sobre . . .
Convergencia . . . Corolario 1.
Convergencia . . . Sea E ⊆ Rn medible–Lebesgue, y sea f : E −→ R una función medible no negativa. Sea
{An }S
n∈N una sucesión no decreciente de conjuntos medibles (An ⊆ An+1 para todo n), tal que
E= ∞ n=1 An . Entonces
Z Z
JJ II f = lim f
E n An
J I
Demostración: Consideremos las funciones fn = f χAn . Son funciones medibles, no negativas,
y además al ser la sucesión de conjuntos creciente, también para todo x ∈ E se tiene fn (x) ≤
fn+1 (x) para todo n ∈ N.
 Mas aún, para cada x ∈ E, existe un número n0 tal que x ∈ An para todo n ≥ n0 , luego
fn (x) = f (x) para todo n ≥ n0 . Es decir, limn fn (x) = f (x).
Aplicando el teorema de convergencia monótona,
Z Z Z Z
f = lim fn = f χAn = f
E n E E An
Teoremas de
convergencia 
Otra consecuencia del Teorema de convergencia monótona y el teorema de aproximación de
funciones medibles por funciones simples es la linealidad de la integral.
Integral sobre . . .
Convergencia . . .
Corolario 2 (Integral de la suma de funciones no negativas).
Sea E ⊆ Rn medible–Lebesgue, y sean f, g : E −→ R funciones medibles no negativas. Entonces
Convergencia . . .
Z Z Z
(f + g) = f+ g
E E E

Demostración: Podemos construir dos sucesiones no decrecientes de funciones simples no neg-

JJ II ativas, {sn } y {tn }, y tales que sn (x) → f (x) y tn (x) → g(x) para todo x de E. Entonces
J I {sn + tn } es una sucesión no decreciente de funciones simples, no negativas, que tiende a f + g;
aplicando el teorema de convergencia monótona a f , g y f + g, f + g es medible, no negativa, y
Z Z Z Z Z Z
(f + g) = lim( sn + tn ) = lim( sn + tn ) = f+ g
E n E n E E E E
 

Lema 1.
Sean E ⊆ Rn medible–Lebesgue y f : E −→ R. Supongamos que existen dos funciones
g, h : EZ −→ R
Z Z no negativas, integrables, tales que f = g − h. Entonces f es integrable y
Teoremas de f= g− h
convergencia E E E

Demostración: En primer lugar, f será medible por ser diferencia de funciones medibles.
En segundo lugar, si f = g − h, entonces |f | ≤ |g| + |h|, luego
Z Z Z
Integral sobre . . .
|f | ≤ |g| + |h| < ∞
Convergencia . . . E E E
Convergencia . . .
Por tanto f es integrable.
Además, como f = f + − f − , se tiene

f+ − f− = g − h ⇐⇒ f+ + h = g + f−
JJ II
J I Aplicando las propiedades de la integral de funciones no negativas,
Z Z Z Z Z Z
−
+
f + +
h = (f + h) = (g + f ) = g+ f−
E E E E E E
 luego
Z Z Z Z Z
+ −
f= f − f = g− h
E E E E E


Teoremas de
convergencia Corolario 3 (Linealidad de la Integral).
Sea E ⊆ Rn medible–Lebesgue,
Z y sean f,Zg : E −→
Z R funciones integrables.
a) f + g es integrable y (f + g) = f+ g
E EZ E Z
Integral sobre . . .
b) Para todo α ∈ R, αf es integrable, y αf = α f
Convergencia . . .
E E
Convergencia . . .
Demostración:
Z a) f + g esZ medible por ser
Z suma de Z funciones medibles. Además |f + g| ≤ |f | + |g|, luego
|f + g| ≤ (|f | + |g|) = |f | + |g| < ∞, ası́ que f + g es integrable.
E E E E
JJ II Y aplicando el lema anterior, como f + g = f + + g + − f − − g − ,
J I Z Z Z
(f + g) = (f + g ) − (f − + g − ) =
+ +
E
ZE Z E
Z Z Z Z
+ + − −
= f + g − f − g = f+ g
E E E E E E
 b) Para todo α ∈ R, αf es medible. Además
Z Z Z
|αf | = |α||f | = |α| |f | < ∞
E E E

luego αf es integrable.
Teoremas de Si α ≥ 0, (αf )+ = α(f + ) y (αf )− = α(f − ), luego
convergencia
Z Z Z Z
+ −
αf = α(f ) − α(f ) = α f
E E E E
− −
Y si α < 0, (αf ) = (−α)f y (αf ) = (−α)f + , luego
+
Z Z Z Z
Integral sobre . . . − +
αf = (−α)f − (−α)f = α f
Convergencia . . .
E E E E
Convergencia . . .

Y como consecuencia de la linealidad, la aditividad con respecto al dominio de integración.

JJ II Corolario 4 (Aditividad respecto al dominio).

J I Sea E ⊆ Rn medible – Lebesgue, y f : E −→ R medible, no negativa o integrable. Sean
A, B ⊆ E medibles – Lebesgue, con A ∩ B = ∅. Entonces
Z Z Z
f= f+ f
A∪B A B
 Demostración: Basta tener en cuenta que al ser A y B disjuntos, χ(A∪B) = χA + χB , y utilizar
el corolario anterior. 

Corolario 5.
Sea E ⊆ Rn medible – Lebesgue, y {fn }n una sucesión de funciones medibles no negativas de E
∞
Teoremas de X
convergencia en R. Sea f : E −→ R tal que para casi todo x ∈ E f (x) = fn (x). Entonces f es medible,
n=1
y
Z ∞ Z
X
f= fn
Integral sobre . . .
E n=1 E
Convergencia . . .
∞ N
Convergencia . . . X X
Demostración: Basta tener en cuenta que fn (x) = lim fn (x), y definir las funciones
N →∞
n=1 n=1
N
X
gN (x) = fn (x), que serán medibles, no negativas, y formarán una sucesión no decreciente.
JJ II n=1
Aplicando el teorema de convergencia monótona y la linealidad de la integral,
J I

Z ∞
Z X Z N Z
X ∞ Z
X
f (x) = fn (x) = lim gN (x) = lim fn (x) = fn (x)
E E n=1 N E N E E
n=1 n=1
 

Corolario 6.
Sea E ⊆ Rn medible–Lebesgue, {fn }n una sucesión no decreciente de funciones integrables
Z de
E en R,y f : E → R tales que f (x) = lim fn (x) para casi todo x ∈ E y lim fn < ∞.
Teoremas de Z Z n n E
convergencia Entonces f es integrable y f = lim fn
E n E
Demostración: Basta considerar la sucesión (fn − f1 )n , que será también no decreciente y for-
mada por funciones no negativas. Aplicando el teorema de convergencia monótona, (f − f1 ) =
Integral sobre . . . lim(fn − f1 ) es medible, y
n
Convergencia . . . Z Z Z Z
Convergencia . . .
(f − f1 ) = lim (fn − f1 ) = lim fn − f1 < ∞
E n E n E E

Por tanto, (f − f1 ) es integrable, luego f = (f − f1 ) + f1 también es integrable, y además

Z Z Z Z
JJ II f = (f − f1 ) + f1 = lim fn
E E E n E
J I

El mismo resultado es cierto para sucesiones no crecientes, como se demuestra cambiando fn
por (−fn ) y f por (−f ).
 3. Convergencia Dominada
Corolario 7 (Lema de Fatou).
Sea E ⊆ Rn medible –Lebesgue, y {fn }n una sucesión de funciones medibles no negativas de E
en R, tales que para todo x ∈ E existe lim inf fn (x). Entonces
n
Teoremas de Z Z
convergencia lim inf fn ≤ lim inf fn
E n n E
Demostración:
Por definición, lim inf fn = lim(inf fk ). Definamos entonces para cada n ∈ N gn (x) =
n n k≥n
Integral sobre . . .
inf fk (x)
Convergencia . . . k≥n
Las funciones gn son medibles, no negativas, y forman una sucesión no decreciente. Aplicando
Convergencia . . .
el teorema de convergencia monótona,
Z Z Z Z Z
lim inf ff = lim gn = lim gn = lim inf gn ≤ lim inf fn
E n E n n E n E n E
JJ II pues gn ≤ fn para todo n. 
J I
Lema 2.
Sea E ⊆ Rn medible–Lebesgue, y sean f, g : E −→ R dos funciones tales Z que Zf = g en casi
todo punto de E. Si f es integrable, entonces g también es integrable y f= g.
E E
 Demostración: Como f es medible, razonando como en el caso de funciones medibles no negativas,
g también es medible.
Z AdemásZ |f | y |g| son funciones no negativas, y |f | = |g| en casi todo
punto de E, luego |f | = |g|, y por tanto g es integrable.
E E
Por último, si f = g en casi todo punto, también f + = g + y f − = g − en casi todo punto,
Teoremas de luego
convergencia Z Z Z Z Z Z
+ − + −
f= f − f = g − g = g
E E E E E E


Integral sobre . . .
Convergencia . . .
Convergencia . . .

JJ II
J I
 Veamos ahora el segundo teorema de convergencia:

Teorema (de Convergencia Dominada).

Sea E ⊆ Rn medible–Lebesgue. Sea {fn}n una sucesión de funciones
Teoremas de medibles de E en R, g una función integrable no negativa en E, y
convergencia
f : E −→ Rn, de modo que:

1. para todo n ∈ N, |fn(x)| ≤ g(x) para casi todo x ∈ E

Integral sobre . . .
Convergencia . . .
2. para casi todo x ∈ E, f (x) = lim fn(x)
Convergencia . . . n
Z Z
Entonces f es integrable y f = lim fn
E n E
JJ II
J I Demostración: I(Saltar al final de la demostración)
Supongamos en primer lugar que las condiciones (1) y (2) se cumplen en todo el conjunto E:
para todo n ∈ N |fn (x)| ≤ g(x) y lim fn (x) = f (x), para todo x ∈ E
n
Entonces f es medible por ser lı́mite puntual de funciones medibles.
 R R
Cada función fn es integrable, pues si |fn | ≤ g, E
|fn | ≤ E
g < ∞. Y también f es
integrable, pues si f (x) = lim fn (x), entonces
n

|f (x)| = lim |fn (x)| ≤ g(x)

n

Teoremas de luego
convergencia Z Z
|f | ≤ g<∞
E E

Sólo hay que probar por tanto la igualdad del lı́mite y la integral.
Integral sobre . . .
Para tener funciones no negativas, consideremos las funciones fn + g:
Convergencia . . .
Se tiene
Convergencia . . .

|fn (x)| ≤ g(x) ⇐⇒ −g(x) ≤ fn (x) ≤ g(x) ⇐⇒ 0 ≤ fn (x) + g(x) ≤ 2g(x)

para todo x de E
JJ II Y lim(fn (x) + g(x)) = (f (x) + g(x)) para todo x de E.
n
J I Aplicando el Lema de Fatou,

Z Z Z Z Z
(f + g) = lim(fn + g) ≤ lim inf (fn + g) = lim inf fn + g
E E n n E n E E
 de donde se deduce que
Z Z
f ≤ lim inf fn
E n E

Para la otra desigualdad, consideremos la sucesión de funciones (−fn )n : son funciones med-
Teoremas de ibles, verifican | − fn | ≤ g en E, y limn (−fn )(x) = (−f )(x) para todo x de E. Repitiendo el
convergencia proceso anterior,

Z Z Z
(−f ) ≤ lim inf (−fn ) = − lim sup fn
E n E n E
Integral sobre . . .
Convergencia . . . En consecuencia
Z Z Z Z
Convergencia . . .
lim sup fn ≤ f ≤ lim inf fn ≤ lim sup fn
n E E n E n E

luego las dos desigualdades deben ser igualdades, y

Z Z
JJ II
f = lim fn
J I E n E

En el caso general, existe un conjunto Z0 ⊆ E tal que limn fn (x) = f (x) para todo x de
E \ Z0 , y m(Z0 ) = 0. Y para cada n ∈ N existe un conjunto Zn ⊆ E con m(Zn ) = 0 y
|fn (x)| ≤ g(x) para todo x de E \ Zn
 ∞
[ ∞
X
Definimos entonces Z = Zn , que verifica m(Z) ≤ m(Zn ) = 0, luego en
n=0 n=0
∞
\
particular es medible; y si x∈E\Z = (E \ Zn ) se verifican a la vez |fn (x)| ≤ g(x)
n=0

Teoremas de para todo n ∈ N, y limn fn (x) = f (x).

convergencia Consideramos las funciones h = f χE\Z y hn = fn χE\Z Tenemos:


|fn (x)| si x∈E\Z
|hn (x)| = ≤ g(x)
0 si x∈Z
Integral sobre . . .
Convergencia . . . hn (x) →n h(x)para todo x de E
Convergencia . . .
Z y hn son
Z integrables, ya que hn = fn salvo en Z, que es un conjunto de medida cero; además
hn = fn .
E E Z Z
JJ II Aplicando el caso anterior, h es integrable, y h = lim hn .
E n E
J I Z Por último,
Z como h = f salvo en Z, que es un conjunto de medida cero, f es integrable, y
f= h.
E E
 Por tanto
Z Z Z Z
f= h = lim hn = lim fn
E E n E n E

J(Volver al enunciado) 
Teoremas de
convergencia

Integral sobre . . .
Convergencia . . .
Convergencia . . .

JJ II
J I
 Corolario 8.
Sea E ⊆ Rn medible–Lebesgue, y {fn }n una sucesión de funciones integrables
! en E. Si para casi
X X Z X
todo x ∈ E, f (x) = fn (x), |fn (x)| < ∞ y |fn | < ∞, entonces
n n E n
f es integrable, y
Teoremas de Z X
convergencia XZ
fn = fn
E n n E

Demostración: Podemos suponer como en los teoremas anteriores, que las condiciones se verifican
Integral sobre . . . en todos los puntos de E.
Convergencia . . . Xk

Convergencia . . . Definamos gk (x) = fn (x); gk son funciones medibles, y verifican

n=1

∞
X
lim gk (x) = fn (x) = f (x)
k
JJ II n=1

J I para todo x de E. Además

k
X ∞
X
|gk (x)| ≤ |fn (x)| ≤ |fn (x)|
n=1 n=1
 ∞
X
y por hipótesis la función g(x) = |fn (x)| es integrable. Ası́, aplicando el teorema de conver-
n=1
gencia dominada, f es integrable y
Z Z k
Z X k Z
X ∞ Z
X
Teoremas de f (x) = lim gk = lim fn (x) = lim fn (x) = fn (x)
E k E k E n=1 k E e
n=1 n=1
convergencia


Integral sobre . . .
Convergencia . . .
Convergencia . . .

JJ II
J I
 Para terminar, utilizando los teoremas de convergencia, vamos a ver la relación entre la integral
de Riemann Impropia y la Integral de Lebesgue.

Teorema (Integral de Riemann Impropia – Integral de Lebesgue).

a) Sea I = [a, b) un intervalo en R, a < b ≤ ∞, y sea f : I −→ R no negativa integrable en
Teoremas de sentido impropio de Riemann en I. Entonces f es integrable Lebesgue en I y
convergencia Z b Z
(R) f = (L) f
a I

b) Sea I = [a, b) un intervalo en R, a < b ≤ ∞, y sea f : I −→ R tal que |f | es integrable

Integral sobre . . .
en sentido impropio de Riemann en I. Entonces f es integrable Lebesgue en I y
Convergencia . . .
Z b Z
Convergencia . . .
(R) f = (L) f
a I

Hay funciones integrables en sentido de Riemann Impropio que no son integrables Lebesgue,
JJ II debido a que la Integral de Lebesgue exige que la integral del módulo de f sea finita, lo que se
corresponde con las integrales absolutamente convergentes en sentido impropio.
J I