Citat:
Ursprungligen postat av onkelstankel
Man kan inte säga så mycket med det lilla du angett.
|f_n - f|/(1 + |f_n - f|) ≥ ϵ/(1 + |f_n - f|) ≥ ϵ om x är i E(n, ϵ).
(E(n, ϵ))^c låter allmänt inte så väldefinierat
Sammanfattningsvis, det jag försöker visa är följande:
Anta att μ(X) < ∞. Vi har en metrik p över rummet av alla mätbara funktioner
p(f,g) = ∫|f-g|/(1+|f-g|)
Då gäller det att f_n → f i p om f_n → f i mått.
Så vi antar att μ(E(n, ϵ)) → 0 för alla ϵ > 0
Det gäller att |f_n - f|/(1+|f_n - f|) ≤ 1, därav
μ(E(n, ϵ)) ≥ ∫_{E(n, ϵ)}|f_n - f|/(1+|f_n - f|)
För F(n, ϵ) = {x : |f_n - f|*< ϵ} gäller det
∫_{F(n, ϵ)}|f_n - f|/(1+|f_n - f|) < ∫_{F(n, ϵ)}ϵ = ϵμ(F(n, ϵ)) < ∞
Slutligen har vi
∫|f_n - f|/(1+|f_n - f|) = ∫_{E(n, ϵ)}|f_n - f|/(1+|f_n - f|) + ∫_{F(n, ϵ)}|f_n - f|/(1+|f_n - f|) < μ(E(n, ϵ)) + ϵμ(F(n, ϵ)) → 0