Miguel Hernández - Plan conjunto Hoja 2 - Medir es integrar

Como indica el enunciado, voy a probar la igualdad primero para funciones simples y después para funciones
medibles cualesquiera.

Para funciones simples

PN
Sea f (x) = dj χBj (x) una función simple. Entonces, sin pérdida de generalidad podemos expresar
PN j=1
|f (x)| = j=1 cj χAj (x) y suponer que cj > 0 ∀j, que los cj están ordenados en orden creciente y que los
Aj son disjuntos dos a dos. Ası́:
Z ∞ Z ∞ ] Z ∞X
µ({x ∈ X : |f (x)| > t})dt = µ( Aj )dt = µ(Aj )dt =
0 0 cj >t 0 cj >t

por ser |f (x)| simple, si definimos c0 = 0, como sólo los Aj con j ≥ i cumplen cj ≥ ci , podemos dividir
[0, ∞) en intervalos [ci−1 , ci ), 1 ≤ i ≤ N , (para t > cN estarı́amos intengrando la constante 0), y ası́ tener:
 
XN Z ci X N XN N
X
= µ(Aj )dt = (ci − ci−1 ) · µ(Aj ) =
i=1 ci−1 j=i i=1 j=i

es trivial ver que por inducción, reordenando los términos de la suma telescópica, la suma anterior es
N
X Z
= cj · µ(Aj ) = |f (x)|dµ(x)
j=i X

por lo que el enunciado es cierto para funciones simples. 

Para funciones medibles arbitrarias

Como f ∈ L1 (dµ) ⇐⇒ |f | ∈ L1 (dµ), por el lema técnico ∃{si }∞
i=1 sucesión creciente de funciones simples
tales que lim sn (x) = |f (x)|. Por tanto, usando el TCM
n→∞
Z Z Z
|f (x)|dµ(x) = lim sn (x)dµ(x) = lim sn (x)dµ(x) =
X X n→∞ n→∞ X

Teniendo en cuenta que sn (x) = |sn (x)|, usando el resultado del punto anterior,
Z Z ∞
= lim |sn (x)|dµ(x) = lim µ({x ∈ X : |sn (x)| > t})dt =
n→∞ X n→∞ 0

Como sn es creciente, µ({x ∈ X : |sn (x)| > t}) es también una sucesión de funciones crecientes obviamente
medibles y por tanto volver a aplicar el TCM, con lo que
Z ∞
= lim µ({x ∈ X : |sn (x)| > t})dt
0 n→∞

Si llamamos Bn = {x ∈ X : |sn (x)| > t}, como sn es creciente Bn también lo es, usando el teorema de
monotonı́a para medidas tenemos que
Z ∞ [ Z ∞ [ Z ∞
= lim µ( Bn )dt = µ( lim Bn )dt = µ({x ∈ X : |f (x)| > t})dt
0 n→∞ 0 n→∞ 0

con lo que queda probado el enunciado. 

Página 1 de 1