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 q∈Q.
Edit 2: As per Saz's request, here is a definition,
If (X,M,μ) has the property that F ∈M whenever E∈M, μ(E)=0, and F⊂E, then μ is complete.
Furthermore ¯M is defined to be the set {E∪F∣E∈M,F∈N for some N∈N} where N is defined to be the set {N∈M∣ˉμ(E)=0}.
No comments:
Post a Comment