Teoría de la Medida e Integración

Introducción a la Integral de Lebesgue

Material elaborado por

Eduardo Antonio Fernández Escobar

Campus Universitario, Ruta V “Gral. Bernardino Caballero” Km. 2

Concepción, Paraguay
 Índice

1. Integral de Lebesgue 3
1.1. Medida . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3

Bibliografía 7

2
1. Integral de Lebesgue

1.1. Medida

En la unidad anterior, presentamos la noción de espacio medible (X, σ(X)), que consta de un
conjunto X y una σ‐álgebra σ(X)) de subconjuntos de X. En esta unidad, estudiaremos fun‐
ciones definidas en σ(X) que toman valores reales extendidos. La definición de estas funciones
viene sugerida intuitivamente por la idea de longitud, área y volumen.
Definición 1: Una medida es una función µ : σ(X) → R que satisface

(i) µ(∅) = 0;
(ii) µ(E) ≥ 0, ∀E ∈ σ(X);
(iii) Se(existe una
) sucesión (En ) en σ(X) tal que Ei ∩ Ej = ∅ para i ̸= j, entonces
∪ ∑∞ ∑k
µ En = µ (En ) = lím µ (En ).
k→∞
n∈N n=1 n=1

∑
∞
Como permitimos que µ asuma valores reales extendidos, puede ocurrir que µ (En ) = +∞.
n=1
∑
∞
En este caso, o µ (En ) = +∞ para algún n ∈ N o µ (En ) es una serie de términos no ne‐
n=1
gativos que diverge.

Una medida se llama medida finita cuando no asume +∞. Diremos

∪ que una medida es σ‐finita
se existe una sucesión (En ) de conjuntos en σ(X), con X = En , tal que µ (En ) < +∞ para
n∈N
todo n ∈ N.
Observación 1: Sean X = R, σ(X) el álgebra de Borel y µ la medida de Borel. Si el conjunto
E ∈ σ(X) es numerable, entonces µ(E) = 0. De hecho, si E es numerable, entonces podemos
representar E = {x1 , x2 , (. . . , xn , . . .}. Dado arbitrariamente
) ε > 0, podemos considerar la
familia (En ) en que En = xn − 2n+1 , xn + 2n+1 para todo n ∈ N. De donde,
ε ε

∑
+∞ ∑
+∞
1
0 ≤ µ(E) ≤ µ (En ) = ε n
=ε
n=1 n=1
2
y consecuentemente µ(E) = 0.
Ejemplo 1: Sea X un conjunto no vacío y σ(X) la σ‐álgebra formado por todos los subconjun‐
tos de X. Sean µ1 y µ2 definidas para todo E ∈ σ(X) por
µ1 (E) = 0
{
0, se E = ∅
µ2 (E) =
+∞, se E ̸= ∅
Es fácil ver que µ1 y µ2 son medidas. Note que µ1 es finita y µ2 no es finita.

3
Ejemplo 2: Sean (X, σ(X)) como definidos en el Ejemplo 1 y p un elemento fijo en X. Tome‐
mos µ3 definida para todo E ∈ σ(X) por
{
0, si p ∈/E
µ3 (E) =
1, si p ∈ E.
Tenemos que µ3 es una medida finita, llamada de medida unitaria concentrada en p.
Ejemplo 3: Sean X = N y σ(X) la σ‐álgebra que contiene a todos los subconjuntos de X.
Definamos µ : σ(X) → R por
{
#E, si E es finito,
µ(E) =
+∞, si E es infinito
Esta medida es llama Medida de contar en el conjunto de los números naturales. Note que µ no
es una medida finita, sin embargo, es σ‐finita, pues N = {{1} ∪ {2} ∪ . . .}, o sea, los números
naturales son escritos como unión numerable de conjuntos finitos.
Ejemplo 4: Sean X = R y σ(X) el álgebra de Borel. En este curso, vamos a asumir la existencia
y unicidad de una medida µ : B → R tal que cuando E ∈ σ(X) es de la forma E = (a, b),
tenemos µ(E) = b − a. Esta medida es frecuentemente llamada de medida de Lebesgue o
medida de Borel.
Lema 1: Sea µ una medida definida en σ(X). Si E, F ∈ σ(X) y E ⊂ F entonces

1. µ(E) ≤ µ(F );
2. Si µ(E) < +∞, entonces µ(F \E) = µ(F ) − µ(E).
Demostración

1. Como F = E ∪ (F \E) y E ∩ (F \E) = ∅, se sigue que µ(F ) = µ(E) + µ(F \E) ≥ µ(E).
2. Note que µ(F ) = µ(E) + µ(F \E) y µ(E) < +∞, entonces µ(F ) − µ(E) = µ(F \E).

En este curso, asumiremos como verdadera la validez del próximo resultado.

Lema 2: Sea µ : σ(X) → R una medida.

1. Si (En ) ⊂ σ(X) es una sucesión creciente, entonces

( +∞ )
∪
µ En = lím µ (En ) ;
n→+∞
n=1

2. Si (Fn ) ⊂ σ(X) es una sucesión decreciente y µ (F1 ) < +∞, entonces

( +∞ )
∩
µ Fn = lím µ (Fn ) .
n→+∞
n=1

4
Definición 2: Un espacio de medida es una terna (X, σ(X), µ) que consiste en un conjunto
X, una σ‐álgebra σ(X) de X y una medida µ definida en σ(X).
Definición 3: Sea µ una medida en σ(X). Diremos que dos funciones f y g son iguales en casi
toda parte, cuando existe un conjunto N ∈ σ(X), con µ(N ) = 0, tal que f (x) = g(x) para
todo x ∈ X\N . En este caso, denotamos

f = g c.t.p.

Definición 4: Sea µ una medida en σ(X). Diremos que una sucesión (fn ) de funciones en
X converge en casi toda parte a una función f cuando existe un conjunto N ∈ σ(X), con
µ(N ) = 0, tal que fn (x) → f (x) para todo x ∈ X\N . En este caso, denotamos

f = lím fn c.t.p.
n→+∞

Definición 5: Sea σ(X) una σ‐álgebra del conjunto X. Diremos que la función λ : σ(X) → R
es una medida con signo cuando

1. λ(∅) = 0;
2. Si (
existe una
) sucesión (En ) en σ(X) tal que Ei ∩ Ej = ∅ para i ̸= j, entonces
∪ ∑
∞ ∑k
µ En = µ (En ) = lím µ (En ).
k→∞
n∈N n=1 n=1

Proposición 1: Sea µ : σ(X) → R una medida. Si A ∈ σ(X), entonces la función λ : σ(X) →

R definida por λ(E) = µ(A ∩ E) es una medida.
Demostración
Como µ es una medida, tenemos que µ(∅) = 0. De donde λ(∅) = µ(A ∩ ∅) = µ(∅) = 0.
Además, tenemos que dado E ∈ σ(X), se cumple queλ(E) = µ(A ∩ E) ≥ 0. Finalmente,
note que ( )
∪ ∑∞ ∑
∞
λ En = µ (A ∩ En ) = λ (En )
n∈N n=1 n=1

Por tanto, λ es una medida. 

Proposición 2: Sean µ1 , . . . , µn medidas definidas en σ(X) y a1 , . . . , an números reales no ne‐
∑ n
gativos, entonces la función λ definida para E ∈ σ(X) por λ(E) = aj µj (E) es ua medida.
j=1
Demostración
Como µj son medidas, note que
∑
n ∑
n
λ(∅) = aj µj (∅) = aj 0 = 0
j=1 j=1

y además, como aj ≥ 0 y µj (E) ≥ 0, tenemos que

∑
n
λ(E) = aj µj (E) ≥ 0.
j=1

5
Finalmente, notemos que
( ) ( )
∪ ∑
∞ ∪ ∑
n ∑
∞ ∑
∞
λ En = aj µ j En = aj µj (En ) = λ (En ) .
n∈N j=1 n∈N j=1 n n

Por tanto, λ es una medida.

6
 Bibliografía

[1] Bartle, R. G. (2014).The elements of integration and Lebesgue measure. John Wiley and
Sons.