Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Given an example of a continuous function $\phi$ and a lebesgue measurable function $F$. both defined on $[0,1]$, such that $F\circ\phi$ is not lebesgue measurable.

share|improve this question
add comment

1 Answer

Here is an example, taken from here:

Let $f:[0,1]\to \mathbb R$ be the Cantor function. It has range $[0,1]$. Define the function $g:[0,1]\to \mathbb R$ by $g(x)=x+f(x)$. The function $g$ has range $[0,2]$, is continuous and injective on $[0,1]$ and has a continuous inverse on its range. It also maps the Cantor set $C\subset [0,1]$ to a set of masure $1$, i.e, $m(g(C))=1$. Since $m(g(C))=1$, there exists a nonmeasurable set $D$ contained in $g(C)$. Then $E= g^{-1}(D)$ is contained in $C$ so it has measure zero. Define $h$ to be the characteristic function of $E$. Then $h$ is measurable on $[0,1]$ but $h(g^{-1})$ is the nonmeasurable characteristic function of the non-measurable set $D$.

As pointed out, originally this example was taken from the Dover book "Counterexamples in Analysis" by Gelbaum/Olmsted. Hope this helps.

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.