Saturday, 14 January 2017

Measurability of a function with respect to the completion of a measure space

I would like some help with the following proof. Thanks for any help in advance.




Let(X,M,μ) be a measure space and (X,¯M,¯μ) its completion. Show, if f:X¯R is a ¯M-measurable function, then there is an M-measurable function g such that ¯μ{x:f(x)g(x)}=0.





Edit: I have been given the following hint. I may wish to use the observation that,



f:X¯R is measurable if and only if {x:f(x)>q} is measurable for every qQ.



Edit 2: As per Saz's request, here is a definition,



If (X,M,μ) has the property that F ∈M whenever EM, μ(E)=0, and FE, then μ is complete.




Furthermore ¯M is defined to be the set {EFEM,FN for some NN} where N is defined to be the set {NMˉμ(E)=0}.

No comments:

Post a Comment

real analysis - How to find limhrightarrow0fracsin(ha)h

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