LA INTEGRAL DE LEBESGUE: DEFINICIÓN Y PROPIEDADES

1. Convergencia de sucesiones
En todo lo que sigue, salvo aviso en contrario, E ⊂ R es un subconjunto medible
con medida de Lebesgue finita: m(E) < +∞.
u
Definición 1.1. fn −→ f uniformemente si para todo  > 0 existe N > 0 tal que
∀x∈E: |fn (x) − f (x)| < , ∀ n ≥ N.
p
Definición 1.2. fn −→ f puntualmente si fn (x) → f (x)) para todo x ∈ E. Es
decir, para todo x ∈ E y para todo  > 0 existe N (x) > 0 tal que
|fn (x) − f (x)| < , ∀ n ≥ N (x).
c.t.p.
Definición 1.3. fn −→ f en m-casi todo punto si fn (x) → f (x) para todo x ∈ E,
salvo un conjunto de medida cero. Es decir, si
E0 = {x ∈ E : fn (x) → f (x)}
entonces m(E − E0 ) = 0.
m
Definición 1.4. fn −→ f en medida si para todo  > 0,
m{x ∈ E : |fn (x) − f (x)| > } → 0+ cuando n → +∞.
La clase de las funciones contı́nuas es cerrada bajo convergencia uniforme.
u
Proposición 1.1. fn son funciones contı́nuas y fn −→ f entonces f es contı́nua.
Es fácil dar ejemplos de sucesiones de funciones contı́nuas que convergen pun-
tualmente y tales que su lı́mite no es contı́nuo. Por ejemplo, fn (x) = xn , x ∈ [0, 1]
converge puntualmente a la función discontı́nua
(
0 0≤x<1
f (x) =
1 x=1
Proposición 1.2. Sea fn una sucesión de funciones medibles. Si fn → f en c.t.p.
entonces f es medible.
Proof. Si fn (x) → f (x) entonces f (x) ≤ c si y sólo si
∀ m > 0 ∃ N > 0, tal que fn (x) < c + 1/m, ∀ n ≥ N
Entonces, si E0 = {x ∈ E : fn (x) → f (x)}:
\ [ \
{x ∈ E : f (x) ≤ c} ∩ E0 = {x ∈ E : fn (x) < c + 1/m}
m>0 N >0 n≥N
1
2 LA INTEGRAL DE LEBESGUE: DEFINICIÓN Y PROPIEDADES

Como cada fn es medible, entonces {x ∈ E : fn (x) < c + 1/m} es medible para

todo c ∈ R y para todo m > 0. Consecuentemente, {x ∈ E : f (x) ≤ c} ∩ E0 es
medible, porque la familia de subconjuntos medibles es una σ-álgebra.
Por otra parte, como m(E − E0 ) = 0, entonces
m({x ∈ E : f (x) ≤ c} ∩ E − E0 ) = 0
y por tanto es medible. Luego, para todo c ∈ R
{x ∈ E : f (x) ≤ c} = ({x ∈ E : f (x) ≤ c} ∩ E0 ) ∪ ({x ∈ E : f (x) ≤ c} ∩ E − E0 )
es medible. 
Tratemos de aclarar las relaciones entre los distintos tipos de convergencia de
sucesiones de funciones medibles.
Proposición 1.3.
uniforme ⇒ puntual ⇒ c.t.p. ⇒ medida
Proof. Es fácil ver que, por definición,
uniforme ⇒ puntual ⇒ c.t.p.
c.t.p. m
Probemos que si fn −→ f entonces fn −→ f . Por definición, fn (x) 9 f (x) si
existe  > 0 tal que para todo m > 0 existe k ≥ m tal que |fk (x) − f (x)| ≥ . Esto
motiva la introducción de los siguientes conjuntos:
[ \
Em () = {x ∈ E : |fk (x) − f (x)| ≥ } y E0 () = Em ()
k≥m m>0

Claramente Em y E0 son medibles. La sucesión de los Em es no-creciente, es decir,

Em+1 ⊂ Em , para todo m > 0. En particular,
∀>0: m(E0 () = inf m(Em ())
m>0

Por otro lado, si δ <  entonces para todo m > 0, Em () ⊂ Em (δ) y, por tanto,
E0 () ⊂ E0 (δ). Luego,
[
E0 = {x ∈ E : fn (x) 9 f (x)} = E0 (1/n)
n>0

y como n < m implica E0 (1/n) ⊂ E0 (1/m) entonces

m(E0 ) = sup m(E0 (1/n)).
n>0

Como fn → f en m-c.t.p. entonces m(E0 ) = 0. Consecuentemente m(E0 (1/n)) =

0, ∀ n > 0 y, por lo tanto, m(E0 () = 0 para todo  > 0. Luego,
m{x ∈ E : |fm (x) − f (x)| > } ≤ m(Em () ↓ 0+ ,
para todo  > 0. 
 LA INTEGRAL DE LEBESGUE: DEFINICIÓN Y PROPIEDADES 3

En general,
en medida ; c.t.p. ; puntual ; uniforme.
• en medida ; c.t.p.: para todo n > 0 y k = 0, · · · , n − 1 definimos
(
1 k/n ≤ x < k + 1/n
fn,k (x) =
0 caso contrario
m
Claramente fn,k −→ 0: en efecto, para todo  > 0
{x ∈ [0, 1] : |fn,k (x)| > } = [k/n, k + 1/n]
y por tanto, m{x ∈ [0, 1] : |fn,k (x)| > } → 0+ , cuando (n, k) → +∞. Sin
embargo, fn.k (x) no converge a cero, cuando (n, k) → +∞ pues para todo
n > 0 existe 0 ≤ k < n tal que fn,k (x) = 1. Luego,
lim inf fn,k (x) = 0 < 1 = lim sup fn,k (x).
(n,k)→+∞ (n,k)→+∞

• c.t.p. ; puntual:
(
n x = 1/2
fn (x) =
6 1/2
1/n x =

es una sucesión de funciones medibles que converge puntualmente en [0, 1]−

{1/2} a cero y diverge a +∞ en x = 1/2.
• puntual ; uniforme: sea fn (x) = xn con x ∈ [0, 1], entonces fn converge
puntualmente a
(
0 0≤x<1
f (x) =
1 x=1
pero la convergencia no es uniforme: para todo  > 0 y para todo N > 0
existe n ≥ N tal que supx∈[0,1] |fn (x) − f (x)| ≥ .
Aunque los tipos de convergencia son más débiles en orden decreciente, existen
algunos recprocos parciales en cada caso.
Uno de ellos es el teorema de Egorov afirma que si fn → f en c.t.p. entonces
u
para todo  > 0 existe un cerrado F ⊂ E con m(E − F ) <  tal que fn |F −→ f |F .
Por otro lado, tenemos el siguiente resultado.
m
Proposición 1.4. Si fn −→ f entonces existe una subsucesión fnk que converge
en m-c.t.p.
Proof. Comenzamos escogiendo una sucesión de números reales n > 0 y tales que
n → 0+
4 LA INTEGRAL DE LEBESGUE: DEFINICIÓN Y PROPIEDADES

y una sucesión δn > 0 tal que

+∞
X
δn < +∞.
n=1

Ahora construı́mos una sucesión de nḿeros naturales

n1 < n2 < · · · < nk < nk+1 < · · ·
de la siguiente manera: primero elegimos n1 > 0 tal que
m{x ∈ E : |fn1 (x) − f (x)| > 1 } < δ1
que existe por la definición de convergencia en medida. Luego escogemos n1 < n2
tal que
m{x ∈ E : |fn2 (x) − f (x)| > 2 } < δ2
y ası́ inductivamente una sucesión de naturales n1 < n2 < · · · < nk < nk+1 < tales
que
m{x ∈ E : |fnk (x) − f (x)| > k } < δk , ∀ k > 0.
Sea, para todo m > 0 definimos,
[ \
Em = {x ∈ E : |fnk (x) − f (x)| > k } y E0 = Em
k≥m m>0

Como,
E1 ⊃ E2 ⊃ · · · ⊃ Em ⊃
por la continuidad de la medida m, m(Em ) → E0 . Por otro lado,
+∞
X
m(Em ) ≤ δk → 0+ cuando m → +∞.
k=m

Luego, m(E0 ) = 0. Probaremos que fnk (x) −→ f (x) para todo x ∈ E − E0 . En

efecto, como
[ \
E0c = c
Em y Em c
= {x : |fnk (x) − f (x)| < k }
m>0 k≥m

c
entonces, si x ∈ E − E0 existe m > 0 tal que x ∈ E − Em , es decir,
|fnk (x) − f (x)| < k ∀k≥m
Como k → 0+ entonces fnk (x) → f (x). 
m
Corolario 1.1. Si fn es una sucesión de funciones medible y fn −→ f entonces
f es medible.
 LA INTEGRAL DE LEBESGUE: DEFINICIÓN Y PROPIEDADES 5

2. Aproximación por funciones simples

Definición 2.1. Diremos que φ es una función simple si es medible y toma a lo
sumo un conjunto numerable de valores, es decir, existe una sucesión de números
reales φi ∈ R y una descomposición de E en conjuntos medibles disjuntos dos-a-dos
Ei ⊂ E tales que:
X [
(1) φ= φi · χEi , E = Ei , Ei ∩ Ej = ∅, i 6= j.
i i

Observación 2.1. Observe que la representación (1) no es única, es decir, es posible

tener dos representaciones distintas de la misma función simple:
X X
φ= ai · χ A i = bj · χBj ,
i j
S S
donde E = i Ai = j Bj son dos particiones medibles de E. En ese caso,
ai = b j ∀ Bj tal que Ai ∩ Bj 6= ∅
Esto hecho se usará con frecuencia en lo sucesivo.
Proposición 2.1.

(1) las funciones simples son medibles

(2) las combinaciones lineales finitas de funciones simples son simples;
(3) el producto de funciones simples es simple;
(4) X X
φ= φi · χEi entonces |φ| = |φi | · χEi
i i
(5) el máximo (resp. mı́nimo) de un nı́umero finito de funciones simples es
simple.
Proof. (1): si c ≥ R entonces
[
{x ∈ E : φ(x) ≥ c} = Ei .
φi ≥c

(2): sean φ y ψ simples con representación

X X
φ= φi · χEi y ψ = ψj · χFj .
i j

Entonces, X
φ+ψ = (φi + ψj ) · χEi ∩Fj .
i,j
La multiplicación por un escalar de una función simple es obviamente simple. (3):
X
φ·ψ = (φi · ψj ) · χEi ∩Fj
i,j
6 LA INTEGRAL DE LEBESGUE: DEFINICIÓN Y PROPIEDADES

(4):
X
|φ| = |φi | · χEi ,
i

pues φ(x) = φi si x ∈ Ei . (5):

X
min{φ, ψ} = min{φi , ψj } · χEi ∩Fj .
i,j

Análogamente,
X
max{φ, ψ} = max{φi , ψj } · χEi ∩Fj .
i,j


Teorema 2.1. (Teorema de aproximación) Sea f : E → R una función medible
sobre un conjunto medible de medida finita. Entonces, existe una sucesión de
funciones simples φn y ψn tales que:
(1) φn ≤ f ≤ ψn , ∀ n > 0;
(2) {φn } es no-decreciente : φn ≤ φn+1 para todo n > 0;
(3) {ψn } es no-creciente : ψn+1 ≤ φn para todo n > 0;
u u
(4) φn −→ f y ψn −→ f , convergen uniformemente.
Proof. Sea Pn = {[k/n, k+1/n) : k ∈ Z} la partición de R en intervalos de longitud
1/n. Definimos, para cada n > 0 y k ∈ Z el conjunto
Ekn = {x ∈ E : k/n ≤ f (x) < k + 1/n}
{Ekn } es una partición de E en un conjunto numerable de conjuntos medibles
disjuntos. Definamos
Xk Xk+1
φ̂n = · χEkn y ψ̂n = · χEkn
k∈Z
n k∈Z
n
u u
Claramente, φ̂n ≤ f ≤ ψ̂n para todo n > 0. Además, φ̂n −→ f y ψ̂n −→ f ,
convergen uniformemente. En efecto,
1
0 ≤ f (x) − φ̂n (x), ψ̂n (x) − f (x) < , ∀ x ∈ E, ∀ n > 0.
n
Finalmente, definimos,

φn = max{φ̂k : 1 ≤ k ≤ n} y ψn = min{ψ̂k : 1 ≤ k ≤ n}.

{φn } (resp. {ψn }) una sucesión no-decreciente (resp. no-creciente) de funciones
simples que convergen uniformemente a f desde abajo (resp. desde arriba). 
 LA INTEGRAL DE LEBESGUE: DEFINICIÓN Y PROPIEDADES 7

3. La integral de Lebesgue de una función simple

Definición 3.1. Sea φ una función simple. Definimos su integral de Lebesgue
como
Z X
(2) φdm = φi m(Ei ).
E i

Diremos que φ es Lebesgue integrable si la serie (2) es absolutamente convergente.

Proposición 3.1. Supongamos que φ es integrable. Entonces la integral (2) no
depende de la representación de φ, i.e. si
X X
φ= ai χ A i = bj χBj
i j
S S
donde E = i Ai = j Bj son particiones medibles numerables de E, entonces
X X
ai m(Ai ) = bj m(Bj )
i j

Proof. Observe que,

[
Ai = {Ai ∩ Bj : Ai ∩ Bj 6= ∅}.
P
Luego, m(Ai ) = j m(Ai ∩Bj ) y es absolutamente convergente, pues m(Ai ∩Bj ) =
P
0 si Ai ∩ Bj = ∅. Como i ai m(Ai ) es absolutamente convergente, entonces,
X X X X
ai m(Ai ) = ai m(Ai ∩ Bj ) = ai m(Ai ∩ Bj )
i i j i,j

es absolutamente convergente. Entonces, como ai = bj si Ai ∩ Bj 6= ∅,

X X X
ai m(Ai ) = ai m(Ai ∩ Bj )
i i {j:Ai ∩Bj 6=∅}
XX
= ai m(Ai ∩ Bj )
i j
XX
= bj m(Ai ∩ Bj )
j i
X X
= bj m(Ai ∩ Bj )
j {i:Ai ∩Bj 6=∅}
X
= bj m(Bj ),
j

usando el hecho de todos los reordenamientos de una serie absolutamente conver-

gente convergen al mismo número. 
Teorema 3.1. Sean φ y ψ funciones simples integrables:
8 LA INTEGRAL DE LEBESGUE: DEFINICIÓN Y PROPIEDADES

(1) para todo α, β ∈ R, αφ + βψ es integrable y

Z Z Z
αφ + βψdm = α φdm + β ψdm;
E E E

(2) si A ⊂ E es medible entonces φ es integrable sobre A y

Z Z
φ · χA dm = φdm;
E A

(3) la función de conjuntos

Z
µφ (A) = φdm es :
A

es σ-aditiva, es decir, si {En } es una familia numerable de subconjuntos

medibles En ⊂ E disjuntos dos-a-dos, entonces:
Z XZ
S
φdm = φdm;
n En n En

(4) sea E1 ⊂ E2 ⊂ · · · ⊂ En ⊂ En+1 ⊂ es una sucesión no-decreciente de

subconjuntos medibles
Z Z
φdm = lim φdm;
S
En n→+∞ En
n

(5) sea E1 ⊃ E2 ⊃ · · · ⊃ En ⊃ En+1 ⊃ es una sucesión no-creciente de

subconjuntos medibles, entonces
Z Z
φdm = lim φdm;
T
En n→+∞ En
n

(6) la integral es monótona:

Z
φ≥0 ⇒ φdm ≥ 0;
E
en particular,
Z Z
φ≥ψ ⇒ φdm ≥ ψdm;
E E

(7) φ es integrable si y sólo si |φ| es integrable y

Z  Z
 
 φdm ≤ |φ|dm
 
E E

(8) si φ es una función simple acotada, α ≤ φ(x) ≤ β para todo x ∈ E,

entonces φ es integrable y
Z
α · m(E) ≤ φdm ≤ β · m(E).
E
 LA INTEGRAL DE LEBESGUE: DEFINICIÓN Y PROPIEDADES 9

(9) sea φ ≥ 0 simple integrable. Entonces,

Z
φdm = 0 si y sólo si φ = 0.
E

Proof. 1): Sean {Ai } y {Bj } dos descomposiciones medibles numerables de E tales
que X X
φ= ai · χ A i y ψ = bj · χBj
i j
entonces, X
αφ + βψ = (αai + βbj ) · χAi ∩Bj .
i,j
Primero observemos que la serie
X
(αai + βbj )m(Ai ∩ Bj )
i,j
S
es absolutamente convergente. En efecto, como Ai = {j:Ai ∩Bj 6=∅} Ai ∩Bj entonces,
P
m(Ai ) = j m(Ai ∩ Bj ) y por tanto,
X XX XX
|ai |m(Ai ) = |ai |m(Ai ∩ Bj ) = |ai |m(Ai ∩ Bj ),
i i j j i

pues la serie del medio es absolutamente convergente y por tanto puede ser reor-
denada. Luego,
XX XX
|αai + βbj |m(Ai ∩ Bj ) ≤ (|αai | + |βbj |)m(Ai ∩ Bj )
i j i j
XX
= |αai |m(Ai ∩ Bj )
i j
XX
+ |βbj |m(Ai ∩ Bj )
j i
X X
= |αai m(Ai ) + |βbj m(Bj )
i j

es decir, αφ + βψ es integrable. Finalmente,

Z XX
αφ + βψdm = αai + βbj )m(Ai ∩ Bj )
E i j
XX XX
= α ai m(Ai ∩ Bj ) + β bj m(Ai ∩ Bj )
i j j i
X X
= α ai m(Ai ) + β bj m(Bj )
i j
Z Z
= α φdm + β ψdm
E E
10 LA INTEGRAL DE LEBESGUE: DEFINICIÓN Y PROPIEDADES

2): sea A ⊂ E un subconjunto medible, entonces

X
φ · χA = ai χAi ∩A pues χA · χB = χA∩B .
i
P P
Si i ai m(Ai ) es absolutamente convergente, entonces i ai m(Ai ∩ A) es absolu-
tamente convergente y por tanto φ · χA es integrable y claramente,
Z Z
φdm = φ · χA dm.
A E

3): usando otra vez que

X X
m(Ai ) = m(Ai ∩ En ) = m(Ai ∩ En ), ∀ i > 0
{n:Ai ∩En 6=∅} n
P P
y por tanto que i n ai m(Ai ∩ En ) es absolutamene convergente, se tiene que
Z X [
S
φdm = ai m(Ai ∩ En )
n En i n
XX
= ai m(Ai ∩ En )
i n
XX
= ai m(Ai ∩ En )
n i
XZ
= φdm.
n En
R
4) y 5): se siguen inmediatamente de que µφ (A) = A φdm es σ-aditiva.
6), 7) y 8): son inmediatas y se dejan como ejercicio al lector. 

4. Definición y propiedades de la integral de Lebesgue

Proposición 4.1. Sea f : E → R una función medible y φn una sucesión de
u
funciones simples integrables tales que φn −→ f . Entonces, existe el lı́mite
Z
lim φn dm
n→+∞ E

y su valor no depende de la secuencia φn : si ψn es otra sucesión de funciones

u
simples integrables tales que ψn −→ f entonces
Z Z
lim φn dm = lim ψn dm
n→+∞ E n→+∞ E
 LA INTEGRAL DE LEBESGUE: DEFINICIÓN Y PROPIEDADES 11

Proof. Para ver que existe el lı́mite probaremos que la sucesión de integrales es de
Cauchy:
Z Z  Z
 
 φn dm − φm dm ≤
 |φn − φm |dm

E E E
≤ sup |φn (x) − φm (x)| · m(E)
x∈E
que tiende a cero cuando n, m → +∞. Sea ψn otra sucesión de funciones simples
integrables que converge uniformemente a f , entonces:
Z Z  Z
 
 φn dm − ψn dm ≤
 |φn − ψn |dm

E E E
Z
≤ |φn − f | + |f − ψn |dm
E
≤ sup{|φn (x) − f (x)| + |f (x) − ψn (x)|} · m(E)
x∈E
que tiende a cero cuando n → +∞. 
Definición 4.1. Sea f : E → R una función medible. Decimos que f es Lebesgue
integrable si existe una sucesión de funciones simples integrables φn tales que
u
φn −→ f . En ese caso, definimos la integral de Lebesgue de f como el lı́mite:
Z Z
f dm = lim φn dm
E n→+∞ E
Teorema 4.1. Sean f y g funciones integrables. Para todo α, β ∈ R, αf + βg es
integrable y Z Z Z
αf + βgdm = α f dm + β gdm;
E E E
Proof. La demostración es por paso al lı́mite: supongamos que φn y ψn son secuen-
cias de funciones simples integrables tales que φn → f y ψn → g uniformemente.
Entonces, Z Z Z Z
φn dm → f dm y ψn dm → gdm.
E E E E
Entonces, αφn +βψn es una sucesión de funciones simples integrables que convergen
uniformemente a αf + βg uniformemente y por tanto αf + βg es integrable. Por
otra parte,
Z Z
αf + βgdm = lim αφn + βψn dm
E n→+∞ E
Z Z
= lim α φn dm + β ψn dm
n→+∞ E E
Z Z
= α f dm + β gdm
E E
ya que la integral de funciones simples es lineal, por el teorema 3.1. 
12 LA INTEGRAL DE LEBESGUE: DEFINICIÓN Y PROPIEDADES

Teorema 4.2. Sea f : E → R integrable y A ⊂ E un subconjunto medible.

Entonces f es integrable sobre A y
Z Z
f · χA dm = f dm;
E A
Proof. sea A ⊂ E medible y φn una sucesión de funciones simples integrables que
convergen uniformemente a f . Entonces, φn · χA son integrables y φn · χA → f · χA
uniformemente y por tanto f · χA es integrable y
Z Z Z Z
φn · χA dm = φn dm → f dm = f · χA dm.
E A A E

Teorema 4.3. (Criterio de comparación) Sea f : E → R medible y supongamos
que existe una función no-negativa φ integrable tal que |f | ≤ φ. Entonces f es
integrable.
Como E tiene medida finita, esto implica que toda función medible acotada
sobre E es integrable sobre E. El siguiente lema será de utilidad en lo sucesivo.
u u
Lema 4.1. Si φn −→ f entonces |φn | −→ |f |
Proof. Se sigue de manera inmediata de la desigualdad ||φn | − |f || ≤ |φn − f |. 
Demostración del teorema 4.3. Primero supongamos que f y φ son simples. Afir-
mamos que existe una partición medible numerable {En } de E y constantes fn y
φn tales que X X
f= fn · χEn y φ = φn · χEn
n n
P P
En efecto, si f = i fi χAi y φ = j φj χBj basta tomar como {En } el refinamiento
común {Ai ∩ Bj } etiquetado convenientemente y observar que f |Ai ∩ Bj = fi y
φ|Ai ∩ Bj = φj son constantes. P
Entonces, |f | ≤ φ si y sólo si |fn | ≤ φn , pues |f | = n |fn |χEn . Como φ es
integrable, entonces,
Z X
φdm = φn m(En ) es absolutamente convergente.
E n
P P
Luego, n |fn |m(En ) ≤ n φn m(En ) < +∞ y por tanto f es integrable.
u
Sean ahora φn −→ f una sucesión de funciones simples que convergen uniforme-
u
mente a f y ψn −→ φ una sucesión de funciones simples integrables que convergen
u
a φ uniformemente. Por el lema 4.1 |φn | −→ |f | y por tanto existe N > 0 tal que
|φn | − 1 < |f | ≤ φ < ψn + 1, ∀ n ≥ N.
Luego, |φn | ≤ ψn + 2 para todo n ≥ N y por tanto |φ|n es una secuencia de
funciones simples integrables que converge uniformemente a |f |, es decir, |f | es
integrable. 
 LA INTEGRAL DE LEBESGUE: DEFINICIÓN Y PROPIEDADES 13

Teorema 4.4. La integral de Lebesgue es absolutamente convergente, es decir, f

es integrable si y sólo si |f | es integrable.
Proof. Como f ≤ |f |, si |f | es integrable sobre E entonces f es integrable, por el
criterio de comparación. Recı́procamente, supongamos que f es integrable y sea
u
φn −→ f una sucesión de funciones simples integrables que convergen uniforme-
u
mente a f . Entonces, |φn | −→ |f | y por tanto |f | es integrable, pues φ es simple
integrable si y sólo si |φ| es integrable, por el teorema 3.1. 
Teorema
R 4.5.
R La integral es monótona, es decir, si f ≥ g son integrables, entonces
E
f dm ≥ E
gdm.
R
Como la integral es lineal, basta probar que si f ≥ 0 entonces E f dm ≥ 0. Para
ello usaremos el siguiente
Lema 4.2. Supongamos que f : E → R es integrable y sean φn ≤ f ≤ ψn las
funciones simples dadas en el teorema de aproximación 2.1. Entonces, podemos
suponer que φn y ψn son integrables para todo n > 0.
u
Proof. Como ψn − φn −→ 0+ entonces, existe N > 0 tal que 0 ≤ ψn − φn ≤ 1 para
todo n ≥ N y como 0 ≤ f − φn ≤ ψn − φn entonces:
|φn | ≤ |f − φn | + |f | ≤ 1 + |f |, ∀ n ≥ N.
Luego φn es integrable para todo n ≥ N , por el criterio de comparación y el
teorema 4.4. Por otro lado,
ψn = ψn − φn + φn ≤ 1 + φn , ∀ n ≥ N.
Luego ψn es integrable para todo n ≥ N por el criterio de comparación. Descar-
tando las primeras N funciones, podemos suponer entonces que φn y ψn son inte-
grables para todo n > 0. 
Demostración del teorema 4.5. Supongamos que f ≥ 0. Entonces, por el teorema
de aproximación 2.1 existe una sucesión de funciones simples ψn ≥ f ≥ 0 que
convergen uniformemente a f . Por el lema 4.2 podemos suponer que ψn son
integrables. Luego, por la proposición 4.1
Z Z
ψn dm → f dm.
E E
Pero como ψn+1 ≤ ψn y dado que la integral de funciones simples es monótona
entonces, Z Z
f dm = inf ψn dm ≥ 0.
E n>0 E

Corolario 4.1. Sea f integrable sobre E. Entonces:
Z  Z
 
 f dm ≤ |f |dm.
 
E E
14 LA INTEGRAL DE LEBESGUE: DEFINICIÓN Y PROPIEDADES

Teorema 4.6. Sea f : E → R integrable. Entonces:

R
(1) la función de conjuntos µf (A) = A f dm es σ-aditiva: sea {En } una familia
numerable de conjuntos medibles disjuntos dos-a-dos, entonces:
Z XZ
S
f dm = f dm;
n En n En

(2) si E1 ⊂ E2 ⊂ · · · ⊂ En ⊂ En+1 ⊂ es una sucesión no-decreciente de

subconjuntos medibles, entonces
Z Z
f dm = lim φdm;
S
En n→+∞ En
n

(3) si E1 ⊃ E2 ⊃ · · · ⊃ En ⊃ En+1 ⊃ es una sucesión no-creciente de subcon-

juntos medibles, entonces
Z Z
f dm = lim f dm;
T
En n→+∞ En
n

Proof. Dado  > 0 pequeño sea φ simple e integrable tal que

sup |f (x) − φ(x)| < .

x∈E

Entonces, por el teorema 3.1,

Z XZ
S
φdm = φdm.
n En n En

Luego, para todo N > 0,

N Z
X
 N Z
X
 N Z Z 
    X  

 f dm ≤ 
 φdm + 
 f dm − φdm
n=1 En n=1 En n=1 En En
N Z
X N Z
X
≤ |φ|dm + |f − φ|dm
n=1 En n=1 En
N Z
X N
X
≤ |φ|dm +  m(En )
n=1 En n=1
+∞ Z
X
≤ |φ|dm +  · m(E)
n=1 En
 LA INTEGRAL DE LEBESGUE: DEFINICIÓN Y PROPIEDADES 15

Luego,
R la serie de las integrales es absolutamente convergente. Sumando y restando
S φdm dentro del valor absoluto tenemos
n En
Z Z  Z Z 
 X   
f dm − f dm ≤  S f dm − S φdm
   
 S
 n En n En   n En n En

 
X Z X Z 
+ φdm − f dm
 
 En En 
Z n n
X Z
≤ S |f − φ|dm + |φ − f |dm
n En n En
[ X
<  · m( En ) +  · m(En )
n n
≤ 2 · m(E)
Como  > 0 es arbitrario, esto prueba 1).
La demostración de 2) y 3) se sigue usando la σ-aditividad de la función de
conjuntos µf por un argumento standard y se deja como ejercicio a cargo del
lector. 
Teorema 4.7. (desigualdad de Tchebyshev) Sea f integrable, entonces
Z
1
m{x ∈ E : |f (x)| ≥ m} ≤ |f |dm
m E
Proof. Sea Am = {x ∈ E : |f (x)| ≥ m}, entonces:
Z Z Z
|f |dm = |f |dm + |f |dm
E Am E−Am
Z
≥ |f |dm
Am
≥ m · m{x ∈ E : |f (x)| ≥ m}.

R
Corolario 4.2. Si E
|f |dm = 0 entonces f = 0, m-c.t.p.
Proof. Por la desigualdad de Tchebishev
Z
1
m{x ∈ E : |f (x)| ≥ } ≤ m |f |dm = 0, ∀m>0
m E

Cerraremos este capı́tulo probando una caracterización de las funciones inte-
grables que será de utilidad cuando comparemos las integrales de Lebesgue y Rie-
mann.
16 LA INTEGRAL DE LEBESGUE: DEFINICIÓN Y PROPIEDADES

Definición 4.2.
Z 
∗∗
L (f ) = sup φdm : φ ≤ f, simples integrables

es la integral inferior de Lebesgue y

Z 
∗∗
U (f ) = inf ψdm : f ≤ ψ, simples integrables

es la integral superior de Lebesgue.

Teorema 4.8. Sea f : E → R medible es integrable si y sólo si L∗∗ (f ) = U ∗∗ (f ).
Proof. Como f es medible y m(E) < +∞ podemos construir sucesiones de fun-
unif
ciones simples φn ≤ f ≤ ψn tales que φn , ψn −→ f . Más aún, sin pérdida de
generalidad, podemos suponer que φn ≤ φn+1 y ψn+1 ≤ ψn .
Si f es integrable, entonces
Z Z Z
φn dm, ψn dm → f dm.

y por tanto, L∗∗ (f ) = U ∗∗ (f ) pues

Z
∗∗ ∗∗
0 ≤ U (f ) − L (f ) ≤ (ψn − φn )dm → 0+ .

Ahora, supongamos que L∗∗ (f ) = U ∗∗ (f ). Existen entonces sucesiones de funciones

simples integrables φn ≤ f ≤ ψn tales que
Z Z
∗∗
ψn dm → U (f ) y φn dm → L∗∗ (f )
E E
y, por tanto, Z
(ψn − φn )dm → 0+ cuando n → +∞.
E
Podemos suponer, sin pérdida de generalidad, que φn (resp. ψn ) es no-decreciente
(resp. no-creciente) poniendo si es necesario φn = max1≤k≤n φk (resp. ψn =
min1≤k≤n ψk ). Entonces
f∗ (x) = sup φn (x) y f ∗ (x) = inf ψn (x)
n>0 n>0

son dos funciones medibles, finitas en m-c.t.p. y f∗ ≤ f ≤ f ∗ . Como 0 ≤

f − f∗ , f ∗ − f ≤ ψ1 − φ1 , entonces f − f∗ y f ∗ − f son no-negativas e integrables y
Z Z
f − f∗ dm = f ∗ − f dm = 0,
E E
pues, en efecto,
Z Z Z
∗
f − f∗ dm, f − f dm ≤ ψn − φn dm → 0+ .
E E E
∗
Luego, f∗ (x) = f (x) = f (x), en m-c.t.p.
 LA INTEGRAL DE LEBESGUE: DEFINICIÓN Y PROPIEDADES 17

Afirmamos que f integrable. En efecto, f es medible porque es el lı́mite puntual

en casi todo punto de una sucesión de funciones medibles y es integrable, porque
se puede escribir como una diferencia de funciones integrables: como 0 ≤ f − φ1 ≤
ψ1 − φ1 entonces f − φ1 es integrable, por el criterio de comparación y, por tanto,
f = φ1 + (f − φ1 ) es integrable.
Finalmente,
Z Z Z
(f − φn )dm, (ψn − f )dm ≤ (ψn − φn )dm → 0∗
E E E
y por tanto, Z Z Z
φn dm, ψn dm → f dm
E E E
es decir, U ∗∗ (f ) = L∗∗ (f ) como querı́amos probar.