Real Analysis HELP: Measurable Functions on Measure Subspace

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?
 
There are two things I don't understand about this problem. First, when finding the nth root of a number, there should in theory be n solutions. However, the formula produces n+1 roots. Here is how. The first root is simply ##\left(r\right)^{\left(\frac{1}{n}\right)}##. Then you multiply this first root by n additional expressions given by the formula, as you go through k=0,1,...n-1. So you end up with n+1 roots, which cannot be correct. Let me illustrate what I mean. For this...

Similar threads

Replies
1
Views
1K
Replies
7
Views
3K
Replies
7
Views
3K
Replies
4
Views
1K
Replies
2
Views
2K
Back
Top