Real Analysis HELP: Measurable Functions on Measure Subspace

Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
1 reply · 4K views
Smiling
Messages
3
Reaction score
0

Homework Statement



Show that there exists measurable functions f_n defined on some measure subspace, st f_n-> f a.e. but such that f is not measurable.

Homework Equations



Converges a.e. means that converges everywhere except on a set of measure zero.

The Attempt at a Solution


Need to construct a measure space in which some subset of a measurable set of measure zero is not measurable. However, such measure space is not compelte.
 
Physics news on Phys.org
I know that I need to construct a measure space in which some subset of a measurable set of measure zero is not measurable. However, such measure space is not complete.
It seems that there is a subset of the Cantor set that is not borel measurable...so, if you choose the Borel measure, then you know it is not complete and that m(Cantor set)=0...
I am not sure how to choose the function though...maybe choose the Cantor function?