MHB Measurable Function (Another Question)

TheBigBadBen
Messages
79
Reaction score
0
Is it true that if $$f:\mathbb{R}\rightarrow\mathbb{R}$$ is a measurable function and $$E\subset\mathbb{R}$$ is measurable, then $$f(E)$$ is measurable? What if f is assumed to be continuous?

I think that the answer is no for the first and yes for the second, but I have no idea how to prove/disprove either.
 
Physics news on Phys.org
girdav said:
Indeed, for the first question the answer is no: real analysis - Range of function measurable? - Mathematics Stack Exchange

For the second one, the range of $\Bbb R$ of a continuous function is connected. What are the connected subsets of the real line? Are they measurable?

As it ends up, my intuition for the second problem was totally off. In fact, the counterexample handily provided for my other question
http://www.mathhelpboards.com/f50/measurable-function-4789/
does the job here.

We have the following argument:
Let $$f(x)$$ be the Cantor function, and let C be the cantor set. Note that $$f(C) = [0,1]$$, since f is non-increasing on all points outside of C.

Define $$g:[0,1]\rightarrow [0,2]$$ by $$g(x) = x + f(x)$$. Since g maps every interval outside of C to an interval of the same length, we can deduce that $$m(g(C))=1$$. By Vitali's theorem, there is a non-measurable set $$A\subset g(C)$$. Note that $$B:=g^{-1}(A)$$ is a subset of C. Because B is a subset of a null set, B is null and hence measurable.

Thus, we have $$g(B) = A$$. g is a continuous (and hence measurable) function that takes a measurable set, B, to a non-measurable set, A. Thus, the answer to both questions is no.
 
You are right. For the second question I misread the question, I believed you asked about $f(\Bbb R)$. I've now edited.

Your counter-example seems correct.
 
I posted this question on math-stackexchange but apparently I asked something stupid and I was downvoted. I still don't have an answer to my question so I hope someone in here can help me or at least explain me why I am asking something stupid. I started studying Complex Analysis and came upon the following theorem which is a direct consequence of the Cauchy-Goursat theorem: Let ##f:D\to\mathbb{C}## be an anlytic function over a simply connected region ##D##. If ##a## and ##z## are part of...
Back
Top