APLICACIONES

1 INTEGRAL DE LEBESGUE E INTEGRAL DE RIEMANN

Definición 1 Una función 𝑓: [𝑎, 𝑏] → ℝ se dice Riemann-integrable si para todo 𝜀 > 0

existe una función 𝜙𝜀 escalonada sobre [𝑎, 𝑏] y una función 𝜓𝜀 positiva escalonada sobre
[𝑎, 𝑏] tales que
𝑏
|𝑓 − 𝜙𝜀 | ≤ 𝜓𝜀 𝑦 ∫ 𝜓𝜀 ≤ 𝜀, (1)
𝑎
𝑏
donde la integral de Riemann de una función escalonada 𝜑, denotada ∫𝑎 𝜑, está definida
como ∑𝑖 𝛼𝑖 (𝑎𝑖 − 𝑎𝑖−1 ) si 𝜑 vale 𝛼𝑖 sobre ]𝑎𝑖−1 , 𝑎𝑖 [.

𝑏
Además, para todo 𝜙𝜀 , 𝜓𝜀 que verifican (1), el límite cuando 𝜀 → 0 de ∫𝑎 𝜙𝜀 es siempre el
𝑏
mismo, y es igual, por definición, al número real denotado por ∫𝑎 𝑓 y llamado integral de
Riemann de 𝑓.

Nota 1 Cualquier función Riemann-integrable está limitada (porque 𝜙𝜀 y 𝜓𝜀 lo están).

Nota 2 Cualquier función regulada es Riemann-integrable, porque es límite uniforme de

funciones escalonadas: es suficiente tomar 𝜓𝜀 = 𝜀/(𝑏 − 𝑎).

Teorema 1 Para toda 𝑓 Riemann-integrable sobre [𝑎, 𝑏], existe

1
𝑔 ∈ L ([𝑎, 𝑏],B𝑜𝑟([𝑎, 𝑏]), 𝜆) tal que

𝑎) 𝑓 = 𝑔 𝜇 − 𝑐. 𝑡. 𝑝.
𝑏
𝑏) ∫ 𝑓 = ∫ 𝑔 𝑑𝜆.
𝑎 [𝑎,𝑏]

Nota 3 Desde un punto de vista práctico, si 𝑓 es boleriano, entonces podemos tomar

𝑔 = 𝑓.

Demostración Para todo 𝑛 existe 𝜙𝑛 , 𝜓𝑛 escalonadas tales que |𝑓 − 𝜙𝑛 | ≤ 𝜓𝑛 y

𝑏
∫𝑎 𝜓𝑛 ≤ 1/𝑛.
Recordemos que, por definición,
𝑏 𝑏
∫ 𝑓 = lim ∫ 𝜙𝑛 .
𝑎 𝑛→∞ 𝑎
Luego
𝛼𝑛 ≔ 𝜙𝑛 − 𝜓𝑛 𝑦 𝛽𝑛 ≔ 𝜙𝑛 + 𝜓𝑛 .

Como |𝑓 − 𝜙𝑛 | ≤ 𝜓𝑛 , tenemos 𝜙𝑛 − 𝑓 ≤ 𝜓𝑛 y 𝑓 − 𝜙𝑛 ≤ 𝜓𝑛 , es decir 𝛼𝑛 ≤ 𝑓 ≤ 𝛽𝑛 .

Por otro lado, como 𝛽𝑛 − 𝛼𝑛 = 2𝜓𝑛 , tenemos
𝑏
lim ∫ (𝛽𝑛 − 𝛼𝑛 ) = 0,
𝑛 𝑎
y entonces
 𝑏 𝑏 𝑏
∫ 𝑓 = lim ∫ 𝛼𝑛 = lim ∫ 𝛽𝑛 .
𝑎 𝑛 𝑎 𝑛 𝑎
Sean ahora
𝛼̃𝑛 ≔ max(𝛼1 , … , 𝛼𝑛 ) 𝑦 𝛽̃𝑛 ≔ min(𝛽1 , … , 𝛽𝑛 ).

Luego obtenemos
𝛼𝑛 ≤ 𝛼̃𝑛 ≤ 𝑓 ≤ 𝛽̃𝑛 ≤ 𝛽𝑛 .

Definamos nuevamente

𝛼̃ ≔ lim ↑ 𝛼𝑛 𝑦 𝛽̃ ≔ lim ↓ 𝛽𝑛 ,
𝑛 𝑛

que da:
𝛼̃ ≤ 𝑓 ≤ 𝛽̃.

Además, como una función escalonada es por partes, para todo 𝑛, 𝜙𝑛 𝑦 𝜓𝑛 son por
partes, entonces borelianos, así como 𝛼𝑛 , 𝛽𝑛 , pues 𝛼̃𝑛 , 𝛽̃𝑛 por estabilidad de la medida
por paso al límite superior o inferior, y finalmente 𝛼̃, 𝛽̃ son borelianos por estabilidad
de la medida por pase al límite.

A partir de la definición dada anteriormente, resulta claro que para las funciones
escalonadas (por consiguiente, por partes), las integrales de Riemann y Lebesgue (es
decir, en relación con la medida de Lebesgue) coinciden, por lo tanto, para todo 𝑛

𝑏 𝑏
∫ 𝛼𝑛 = ∫ 𝛼𝑛 𝑑𝜆 𝑦 ∫ 𝛽𝑛 = ∫ 𝛽𝑛 𝑑𝜆,
𝑎 [𝑎,𝑏] 𝑎 [𝑎,𝑏]
por lo tanto:

𝑏 𝑏
∫ 𝛼𝑛 = ∫ 𝛼𝑛 𝑑𝜆 ≤ ∫ 𝛼̃𝑛 𝑑𝜆 ≤ ∫ 𝛼̃ 𝑑𝜆 ≤ ∫ 𝛽̃ 𝑑𝜆 ≤ ∫ 𝛽̃𝑛 𝑑𝜆 ≤ ∫ 𝛽𝑛 𝑑𝜆 = ∫ 𝛽𝑛 .
𝑎 [𝑎,𝑏] [𝑎,𝑏] [𝑎,𝑏] [𝑎,𝑏] [𝑎,𝑏] [𝑎,𝑏] 𝑎

𝑏 𝑏 𝑏
Pasando al límite, como ∫𝑎 𝛼𝑛 y ∫𝑎 𝛽𝑛 convergen ambos a ∫𝑎 𝑓 , deducimos que

𝑏
∫ 𝛼̃ 𝑑𝜆 = ∫ 𝛽̃ 𝑑𝜆 = ∫ 𝑓.
[𝑎,𝑏] [𝑎,𝑏] 𝑎

Tenga en cuenta que 𝛼1 ≤ 𝛼̃ ≤ 𝛽̃ ≤ 𝛽1 , por lo que 𝛼̃ y 𝛽̃ están limitados. Por lo tanto,

estas dos funciones son 𝜆-integrables sobre [𝑎, 𝑏], la función 𝛾 ≔ 𝛽̃ − 𝛼̃ está bien
definida, y

∫ 𝛾 𝑑𝜆 = ∫ 𝛼̃ 𝑑𝜆 − ∫ 𝛽̃ 𝑑𝜆 = 0.
[𝑎,𝑏] [𝑎,𝑏] [𝑎,𝑏]

Como 𝛾 ≥ 0, esto implica que 𝛾 = 0 𝜆 − 𝑐. 𝑡. 𝑝. Pero 𝛼̃ ≤ 𝑓 ≤ 𝛽̃, entonces 𝛼̃ = 𝑓 sobre

{𝛾 = 0} y si 𝑔 ≔ 𝑓 1{𝛾=0} , entonces 𝑔 ≔ 𝛼̃ 1{𝛾=0} y
 𝑏
∫ 𝑔 𝑑𝜆 = ∫ 𝛼̃ 1{𝛾=0} 𝑑𝜆 = ∫ 𝛼̃ 𝑑𝜆 = ∫ 𝑓 ,
[𝑎,𝑏] [𝑎,𝑏] [𝑎,𝑏] 𝑎

que da la igualdad entre la integral de Riemann de 𝑓 y la integral de Lebesgue de una

determinada función 𝑔 igual a 𝑓 𝜆 − 𝑐. 𝑡. 𝑝.