Suppose you are given a measurable set E⊂[0,1] such that for any nonempty open sub-interval I in [0,1], both sets E∩I and Ec∩I have positive measure. Then, for the function f:=χE, where χE is characteristic function, show that whenever g(x)=f(x) a.e. in x, then g must be discontinuous at every point in [0,1] .
I think we can take advantage of the problem of making a measurable subset E⇢[0,1] such that for every sub-interval I, both E I and I−E have positive measure by taking a Cantor-type subset of [0,1] with positive measure and on each sub-interval of the complement of this set, and construct another such set, and so on. I don't know if I am right.
No comments:
Post a Comment