Any help with this problem is appreciated.
Given a measurable set of finite measure D, define L0(D) to be the vector space of real valued measurable functions on D. Define d(f,g):=∫Dmin{|f−g|,1}. d(.,.) is a metric can be proven. I wanted to know how to prove the following statements, (fn) is Cauchy in measure ⇔(fn) is Cauchy in L0(D,d) and
d(fn,f)→0⇔fn→f in measure
I was able to show one side of d(fn,f)→0⇔fn→f in measure. The proof for that is as follows: For ϵ∈(0,1)
(⇐)d(fn,f)≤m(D∩{|fn−f|≥ϵ})+ϵm(D)→ϵ(1+m(D)) as n goes to ∞ (Is this enough for (⇐)? and how to proceed with the rest?)
Answer
It's enough for ⇐ since we get that for each ε>0, lim supn→+∞d(fn,f)⩽.
For the other direction, assume that d(f_n,f)\to 0 and fix 1>\varepsilon>0. Then
\int_D\min\{1,|f_n(x)-f(x)|\}dm\geqslant \int_{\{|f_n(x)-f(x)|>\varepsilon\}}\min\{1,|f_n(x)-f(x)|\}dm\\\geqslant \varepsilon m\{|f_n(x)-f(x)|>\varepsilon\}
No comments:
Post a Comment