Skip to main content
1 of 4
Mateusz Kwaśnicki
  • 17.2k
  • 1
  • 33
  • 55

Suppose that $S$ is the graph of a continuous, strictly increasing function $\phi$. Then $S(W) = \phi(W)$, and the question asks if there is $\phi$ and $W$ such that $|W| = 1$, but $|\phi(W)| = 0$. The answer is affirmative.

Let $\mu$ be a singular probability measure on $(0, 1)$ with no atoms and full support, and let $\phi(x) = \mu((0, x))$ denote its distribution function. Then $\mu(A) = |\phi(A)|$ for every $A = (0, x)$, and hence for every Borel $A$. Let $V$ be a Borel set such that $|V| = 0$ and $\mu(V) = 1$. Then $W = (0, 1) \setminus V$ satisfies $|W| = 1$ and $|\phi(W)| = \mu(W) = 0$, as desired.

Mateusz Kwaśnicki
  • 17.2k
  • 1
  • 33
  • 55