Could you guide me how to prove that any monotone function from $R\rightarrow R$ is Borel measurable?

Since monotone functions are continuous away from countably many points, would that be helpful in proving the measurability?


Solution 1:

Hint: If $f$ is monotone, then, for every real number $x$, the set $$f^{-1}((-\infty,x])=\{t\mid f(t)\leqslant x\}$$ is either $\varnothing$ or $(-\infty,+\infty)$ or $(-\infty,z)$ or $(-\infty,z]$ or $(z,+\infty)$ or $[z,+\infty)$ for some real number $z$.

To show this, assume for example that $f$ is nondecreasing and that $u$ is in $f^{-1}((-\infty,x])$, then show that, for every $v\leqslant u$, $v$ is also in $f^{-1}((-\infty,x])$.