Teorı́a de Integración

Guı́a 6 - Integración

Sección 1 - Generalidades
A lo largo de esta sección fijaremos un espacio de medida (X, M, µ) y todas las funciones
que consideraremos serán de la forma f : X → R y serán siempre (M, B(R))-medibles.

Ejercicio 1. Probar que toda función µ-integrable es finita en µ-casi todo punto.

Ejercicio 2. Sea f una función débilmente µ-integrable.

󰁝
(a) Probar que si f dµ = 0 para todo E ∈ M entonces f = 0 en µ-casi todo punto.
E
󰁝
(b) Deducir que si f es no negativa y f dµ = 0 entonces f = 0 en µ-casi todo punto.
X
󰁝 󰁝
(c) Concluir que si f y g son dos funciones µ-integrables que verifican f dµ = g dµ
E E
para todo E ∈ M entonces f = g en µ-casi todo punto.

Ejercicio 3. Sea f una función µ-integrable tal que

󰀏󰁝 󰀏 󰁝
󰀏 󰀏
󰀏 f dµ󰀏 = |f | dµ.
󰀏 󰀏
X X
Mostrar que f tiene signo constante en µ-casi todo punto.

Ejercicio 4. Sea (fn )n∈N una sucesión decreciente de funciones medibles no negativas.
Probar que si f1 es µ-integrable entonces
󰁝 󰁝
lı́m fn dµ = lı́m fn dµ < ∞.
X n→∞ n→∞ X

Ejercicio 5. Sea f una función µ-integrable.

(a) Probar que 󰁝
lı́m |f (x)|dx = 0.
N →∞ {x∈X:|f (x)|≥N }

(b) Utilizar el ı́tem anterior para probar que, dado cualquier ε > 0, existe δ > 0 tal que
para todo E ∈ M se tiene la implicación
󰁝
µ(E) < δ =⇒ |f | dµ < ε.
E
Es decir, demostrar que si f es µ-integrable entonces
󰀥 󰁝 󰀦
lı́m sup f dµ = 0.
δ→0+ E∈M : µ(E)<δ E

Esta propiedad se conoce como la absoluta continuidad de la integral.

1
Ejercicio
󰁓 6. Sea (fn )n∈N una sucesión de funciones medibles y no negativas. Mostrar que
n∈N fn es una función bien definida a valores en [0, ∞], es medible y además satisface
󰁝 󰀣󰁛 󰀤 󰁛󰁝
fn dµ = fn dµ.
X n∈N n∈N X

Ejercicio 7. Mostrar con ejemplos que en el Lema de Fatou:

(a) La desigualdad puede ser estricta.

(b) La hipótesis de que las funciones en la sucesión sean no negativas es necesaria.

Ejercicio 8. Supongamos que (fn )n∈N es una sucesión de funciones medibles que converge
en µ-casi todo punto.
(a) Mostrar que, si la extendemos como 0 en aquellos x en donde no el lı́mite no existe,
la función lı́mn→∞ fn resulta medible, incluso si el espacio de medida no es completo.
󰁝
(b) Probar que si las fn son todas µ-integrables y sup |fn | dµ < ∞ entonces lı́mn→∞ fn
n∈N X
es también µ-integrable y además satisface
󰁝 󰀏 󰀏 󰁝
󰀏 󰀏
󰀏 lı́m fn 󰀏 dµ ≤ sup |fn | dµ < ∞.
X n→∞ n∈N X

Ejercicio 9. Probar el Teorema de Convergencia Dominada para espacios de medida finita

utilizando el Teorema de Egorov.

Ejercicio 10. Mostrar que el Teorema de Convergencia Dominada es también válido para
funciones a valores complejos.

Ejercicio 11. Sean (fn )n∈N y f funciones µ-integrables.

󰁝
µ
(a) Probar que si lı́m |fn − f | dµ = 0 entonces fn −→ f . ¿Vale la recı́proca?
n→∞ X

(b) Mostrar que si existe una función g µ-integrable tal que |fn | ≤ g para todo n ∈ N,
entonces vale la recı́proca.

Ejercicio 12. Supongamos que (fn )n∈N es una sucesión de funciones medibles convergente
en µ-casi todo punto a una cierta función f medible y tal que existe g integrable que verifica
|fn | ≤ g para todo n ∈ N.
󰁖
(a) Probar que si para ε > 0 y n ∈ N definimos En := k≥n {x ∈ X : |fn (x) − f (x)| ≥ ε}
entonces lı́mn→∞ µ(En ) = 0.1
µ
(b) Deducir que fn −→ f .

1
La diferencia principal con el resultado visto en clases es que aquı́ no asumimos que µ es medida finita.

2
Ejercicio 13. Sea (fn )n∈N una sucesión de funciones µ-integrables tal que
󰁛󰁝
|fn | dµ < ∞. (1)
n∈N X
󰁓
(a) Mostrar que n∈N fn (x) converge absolutamente para µ-casi todo x ∈ X.
(b) Mostrar que,
󰁓 si la extendemos como 0 en aquellos x en donde no esté bien definida,
la función n∈N fn resulta medible, µ-integrable y además satisface
󰁝 󰀣󰁛 󰀤 󰁛󰁝
fn dµ = fn dµ.
X n∈N n∈N X

(c) Mostrar que la conclusión del ı́tem (b) puede no valer si no se asume (1).
Sugerencia: considerar las funciones fn (x) := nxn−1 − (n + 1)xn en el intervalo (0, 1).

Ejercicio 14. Sea f medible y para cada n ∈ N definamos En := {x ∈ X : |f (x)| ≥ n}.

󰁓
(a) Probar que si f es µ-integrable entonces n∈N µ(En ) < ∞.
󰁓
(b) Probar que si µ es finita y n∈N µ(En ) < ∞ entonces f es µ-integrable.
Sugerencia: observar que [|f |] ≤ |f | ≤ [|f |] + 1, donde [·] denota la parte entera.

Sección 2 - Cálculo de integrales abstractas

Ejercicio 15. Dados un conjunto X ∕= ∅ y x0 ∈ X, consideremos el espacio (X, P(X), δx0 ),

donde δx0 es la medida delta de Dirac en x0 .
(a) Probar que toda f : X → R es medible y, de hecho, débilmente µ-integrable.
󰁝
(b) Calcular el valor de f dδx0 para cada tal f .
X

Ejercicio 16. Dada (an )n∈N ⊆ [0, ∞], consideremos el espacio de medida (N, P(N), µ),
donde µ es la medida discreta de pesos (an )n∈N . Probar que toda f : N → R es medible,
que además se tiene
󰁛
f µ-integrable ⇐⇒ f (n)an converge absolutamente
n∈N

y que, en tal caso, vale la igualdad

󰁝 󰁛
f dµ = f (n)an .
N n∈N

Ejercicio 17. Sean (X, M, µ) un espacio de medida y f : X → R una función no negativa

µ-integrable. Definimos la aplicación µf : M → [0, ∞] para cada E ∈ M por la fórmula
󰁝
µf (E) := f dµ.
E

3
 (a) Probar que µf es una medida en (X, M).2

(b) Para toda función medible g : X → R se tiene que

g débilmente µf -integrable ⇐⇒ gf débilmente µ-integrable

y, en tal caso, vale la igualdad

󰁝 󰁝
g dµf = gf dµ.
X X

Ejercicio 18. Sean (X, M), (Y, Σ) espacios medibles y µ una medida finita en (X, M).
Dada F : X → XY una función (M, Σ)-medible, definimos la aplicación µF : Σ → R≥0
para cada E ∈ Σ por la fórmula

µF (E) := µ(F −1 (E)).

Demostrar las siguientes afirmaciones:

(a) µF es una medida finita sobre (Y, Σ).3

(b) Para toda función Σ-medible f : Y → R se tiene que

f débilmente µF -integrable ⇐⇒ f ◦ F débilmente µ-integrable

y, en tal caso, vale la igualdad

󰁝 󰁝
f dµF = f ◦ F dµ.
Y X

Sección 3 - Integral de Lebesgue en Rn

Ejercicio 19. Sea f : Rn → R medible Lebesgue.

(a) Probar que si f es no negativa entonces para todo v ∈ Rn vale

󰁝 󰁝
f (x + v)dx = f (x)dx.
Rn Rn

Concluir que si E ⊆ Rn es medible entonces para todo v ∈ Rn vale

󰁝 󰁝
f (x + v)dx = f (x)dx.
E E+v

(b) Probar que si f es integrable sobre Rn entonces valen para f las mismas afirmaciones.
2
µf es conocida como la medida absolutamente continua respecto de µ con función de densidad f .
3
µF recibe el nombre de medida push-forward de µ por F .

4
Ejercicio 20. Sea f : Rn → R medible Lebesgue.

(a) Probar que si f es no negativa entonces para todo a ∈ R \ {0} vale

󰁝 󰁝
1
f (ax)dx = n f (x)dx.
Rn |a| Rn

Concluir que si E ⊆ Rn es medible entonces para todo a ∈ R \ {0} vale

󰁝 󰁝
1
f (ax)dx = n f (x)dx.
E |a| aE

(b) Probar que si f es integrable sobre Rn entonces valen para f las mismas afirmaciones.

Ejercicio 21.

(a) Sea f : R>0 → R integrable. Probar que existe (xn )n∈N ⊆ R>0 tal que

lı́m xn = ∞ y lı́m f (xn ) = 0.

n→∞ n→∞

(b) Mostrar que existe g continua e integrable sobre R>0 tal que existe (xn )n∈N ⊆ R>0
que verifica
lı́m xn = ∞ y lı́m |g(xn )| = ∞.
n→∞ n→∞

Ejercicio 22. Sea f : Rn → R una función integrable. Probar que

󰁝
lı́m |f (x)|dx = 0.
N →∞ {x∈Rn :|x|≥N }

Ejercicio 23. Sean U ⊆ R abierto, E ⊆ Rn medible y f : U × E → R tales que:

i. La función ft := f (t, ·) es medible para todo t ∈ U e integrable para algún t0 ∈ U ,

ii. Para casi todo x ∈ E la función fx := f (·, x) es derivable para todo t ∈ U ,

iii. Existe g : E → R integrable tal que, para casi todo x ∈ E, se tiene que
󰀏 󰀏
󰀏 ∂f 󰀏
󰀏 (t, x)󰀏 ≤ g(x)
󰀏 ∂t 󰀏

para todo t ∈ U .
󰁝
Probar que ft es integrable para todo t ∈ U y que F (t) := f (t, x) dx es derivable en U
E
y satisface 󰁝
dF ∂f
(t) = (t, x) dx.
dt E ∂t
En otras palabras, que bajo estas condiciones las operaciones derivada e integral conmutan.
Cuando esta propiedad es válida, decimos que se puede derivar bajo el signo de la integral.

5
Ejercicio 24. Sean g : (0, 1) → R definida por la fórmula g(x) = x2 sin(x−2 ) y f = g ′ .
󰁝 1
Probar que f es continua y existe el lı́mite lı́m f (x) dx pero no es integrable Lebesgue.4
ε→0+ ε
Sugerencia: mostrar que
2 1
|f (x)| ≥ | cos(x−2 )| ≥
x 2x
1 1
para todo x ∈ (0, 1) tal que 󰁴 ≤x≤ 󰁴 para algún n ∈ N.
(2n+ 13 )π (2n− 13 )π

4
Esto muestra que existen funciones no integrables cuya integral impropia de Riemann existe y es finita.