Sunday, September 30, 2018

Convergence in measure and metric notion



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{|fg|,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)0fnf in measure



I was able to show one side of d(fn,f)0fnf in measure. The proof for that is as follows: For ϵ(0,1)




()d(fn,f)m(D{|fnf|ϵ})+ϵ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

analysis - Injection, making bijection

I have injection f \colon A \rightarrow B and I want to get bijection. Can I just resting codomain to f(A)? I know that every function i...