Sunday, 4 February 2018

real analysis - finite measure and cauchy in measure



I've been trying to prove that If (fn)n is cauchy in measure, i.e μ(|fnfm|δ)<ϵ for n,m relatively big then it converges to a measurable function in measure. Now, if μ(Ω) is finite then it is enough to prove that if (fn)n(which converges cauchy in measure) converges a.e to a measurable function, because in a space of finite measure, convergence almost everywhere implies convergence in measure. This might be a really basic question, but I havent been able to prove it.




Any help would be really appreciated.
Thanks guys <3


Answer



Your idea may not work. Consider the probability measure, i.e. μ(Ω)=1. Define an independent sequence {Xn} by
Xn={1with probability n1,0with probability 1n1.


You can check that Xn0 in probability, i.e. in measure but {Xn} does not converge almost surely.



For the proof of your problem, see Cauchy in measure implies convergent in measure.


No comments:

Post a Comment

real analysis - How to find limhrightarrow0fracsin(ha)h

How to find limh0sin(ha)h without lhopital rule? I know when I use lhopital I easy get $$ \lim_{h\rightarrow 0}...