Considere un espacio completo de medida finita( X, METRO , μ )
. Dejar{Fnorte}∞norte = 1⊂L1( μ )
Sea una sucesión tal quesorbernorte∫|Fnorte|dμ < ∞
. Además, suponga que por cadaε > 0
existed> 0
tal que∫mi|Fnorte|dμ < ε
cuando seaμ ( mi) < d
. Quiero mostrar lo siguiente:
( un ) sorbernorte∫{ |Fnorte| ≥M}|Fnorte|dμ → 0 como M→ ∞ .
( b ) sorbernorte∫{ |Fnorte| ≤d}|Fnorte|dμ → 0 como δ→ 0.
Tengo la siguiente prueba para (a):
Dejarmi= { x ∈ X: |Fnorte( X ) | ≥ M}
. Por la desigualdad de Chebyshev,
μ ( mi) ≤1METRO∫X|Fnorte|dμ ∀ norte ∈ norte .
Desde
μ ( mi) → 0
como
METRO→ ∞
,
∀ δ> 0
,
μ ( mi) < d
y por lo tanto,
∫mi|Fnorte|dμ < ε .
Ya que esto es cierto para todos
ε > 0
y
norte ∈ norte
,
∫mi|Fnorte|dm =∫{ |Fnorte| ≥M}|Fnorte|dμ → 0 como M→ ∞ .
Tomando el supremo del lado izquierdo, obtenemos
sorbernorte∫{ |Fnorte| ≥M}|Fnorte|dμ → 0 como M→ ∞ .
Me pregunto si mi prueba es correcta, y para (b), me pregunto cómo demostrar que la medida del conjunto
{ |Fnorte| ≤d}
es pequeño para que un argumento similar se pueda enunciar como en (a)?