3.3. Criterio de integrabilidad de Lebesgue.

El Teorema de Lebesgue nos proporciona un criterio de integrabilidad basado en el concepto de

medida cero que vamos a introducir a continuación. Este criterio nos mostrará la relación precisa
entre la continuidad y la integrabilidad.

Definición.- Sea A ⊂ Rn . Decimos que A tiene medida cero si para todo ε > 0 existe P una familia
{Ij } finita o infinita numerable de intervalos cerrados y acotados tal que A ⊂ ∪j Ij y j V (Ij ) < ε.

Ejemplo.- Todo conjunto finito tiene medida cero.

Comenzamos con un conjunto unitario A = {a} donde a = (a1 , a2 , . . . , an ). Dado ε > 0, tomamos
el intervalo cerrado
1p 1p 1p 1p 1p 1p
I = [a1 − n ε/2, a1 + n ε/2] × [a2 − n ε/2, a2 + n ε/2] × · · · × [an − n ε/2, a2 + n ε/2].
2 2 2 2 2 2
Claramente, A ⊂ I y V (I) = ε/2 < ε.
Supongamos ahora que A = {x1 , . . . , xk }. Para cada ε > 0 y para cada xj elegimos un intervalo
Pk
cerrado y acotado Ij tal que xj ∈ Ij y V (Ij ) < ε/k. Claramente A ⊂ ∪kj=1 Ij y j=1 V (Ij ) <
Pk
j=1 ε/k = ε.

Ejemplo.- Todo conjunto infinito numerable tiene medida cero.

Sea A = {xj : j ∈ N}. Para cada ε > 0 y para cada xjPelegimos un intervalo cerradoPy acotado Ij tal
∞ P∞ ∞
que xj ∈ Ij y V (Ij ) < ε/2j . Claramente A ⊂ ∪∞
j=1 Ij y j=1 V (I j ) < j=1 ε/2j =ε j
j=1 1/2 = ε.

A continuación enumeramos algunas propiedades de los conjuntos de medida cero.

(1) Todo subconjunto de un conjunto de medida cero tiene medida cero,

(2) La unión de un número finito de conjuntos de medida cero tiene medida cero.
(3) La unión de una familia infinita numerable de conjuntos de medida cero es un conjunto de
medida cero.
Demostremos esta última propiedad. Sea A = ∪j∈N Aj donde cada Aj tiene medida cero.
Para cada ε > 0 y para cada Aj elegimos una familia {Ij,sP }s finita o infinita numerable de
intervalos cerrados y acotados I tal que A ⊂ ∪ j
j,s j s j,s P s V (Ij,s ) < ε/2 . Claramente
I y
j j
P P P P
A ⊂ ∪j,s Ij,s y j,s V (Ij,s ) = j s V (Ij,s ) < j ε/2 = ε j 1/2 = ε.

Ejercicio.- Demostrar que el intervalo (0, 2) en R no tiene medida cero y que la bola B((0, 0), 1)
de R2 no tiene medida cero.

El siguiente resultado nos va a proporcionar una gran cantidad de ejemplos de conjuntos de medida
cero. Nos dice que si A es la gráfica de una función integrable en el intervalo cerrado I de Rn , entonces
A tiene medida cero.

Teorema 1. Sea I un intervalo cerrado y acotado de Rn y sea g : I → R una función integrable en

I. Entonces
A = {(x1 , . . . , xn , xn+1 ) ∈ Rn+1 : (x1 , . . . , xn ) ∈ I, xn+1 = g(x1 , . . . , xn )}
tiene medida cero.
1
2

Demostración.- Sea ε > 0. Puesto que g es integrable en I, existe una partición P del intervalo
I tal que
X
U (g, P ) − L(g, P ) = (MJ (g) − mJ (g))V (J) < ε.
J∈P
A cada J ∈ P , que es un intervalo de Rn ,
le asociamos el intervalo de Rn+1 dado por J ×[mJ (g), MJ (g)].
La familia {J × [mJ (g), MJ (g)]P : J ∈ P } es una familia finita de intervalos cerrados y acotados de
Rn+1 que cubren a A y tal que J∈P V (J × [mJ (g), MJ (g)]) < ε.

En efecto, sea (x1 , . . . , xn , xn+1 ) ∈ A. Entonces, (x1 , . . . , xn ) ∈ I y xn+1 = g(x1 , . . . , xn ). Como

P es una partición de I, existe J0 ∈ P tal que (x1 , . . . , xn ) ∈ J0 . Puesto que xn+1 = g(x1 , . . . , xn ),
se tiene necesariamente que xn+1 ∈ [mJ0 (g), MJ0 (g)] y, por consiguiente, (x1 , . . . , xn , xn+1 ) ∈ J0 ×
[mJ0 (g), MJ0 (g)], lo que demuestra que A ⊂ ∪J∈P J × [mJ (g), MJ (g)].

Por otra parte,

X X
V (J × [mJ (g), MJ (g)]) = V (J)(MJ (g) − mJ (g)) = U (g, P ) − L(g, P ) < ε.
J∈P J∈P

Del teorema anterior se deduce que, por ejemplo, los conjuntos

{(x, y) ∈ R2 : 0 ≤ x ≤ 1, y = x2 }
y
{(x, y, z) ∈ R3 : 0 ≤ x ≤ 1, 0 ≤ y ≤ 1, y = x2 + z 2 }
son conjuntos de medida cero en R2 y R3 respectivamente.

Ahora estamos preparados para enunciar el criterio de integrabilidad de Lebesgue.

Teorema 2. Sean I un intervalo cerrado y acotado de Rn y f : I → R una función acotada en I. La

función f es integrable Riemann en I si y sólo si el conjunto de los puntos en los que f no es continua
tiene medida cero.

La demostración se puede ver en el libro Análisis Clásico Elemental de Jerrold E. Marsden y Michael
J. Hoffman, Addison-Wesley Iberoamericana (1998), pp. 476–478.

Observación.- El teorema de Lebesgue dice que las funciones integrables en I son las funciones
acotadas que tienen ” pocas” discontinuidades.

Ejemplo.- Sea f : [0, 1] × [0, 1] → R, definida por

si y < x2 ;

0,
f (x, y) =
x + y, si y ≥ x2 .
Esta función es integrable en I = [0, 1] × [0, 1]. En primer lugar, f es acotada en I (|f (x, y)| ≤ 2). Sea
D = {(x, y) ∈ I : f no es continua en (x, y)}. Es claro que
D ⊂ {(x, y) ∈ R2 : 0 ≤ x ≤ 1, y = x2 },
y, como el conjunto {(x, y) ∈ R2 : 0 ≤ x ≤ 1, y = x2 } tiene medida cero, deducimos que D tiene
medida cero.
 3

Ejercicio.- Sea f : [−2, 2] × [−2, 2] → R, definida por

si x2 + y 2 < 1;

xy,
f (x, y) =
2x + 3y , si x2 + y 2 ≥ 1.
2

¿Esta función es integrable en I = [0, 1] × [0, 1]?