I recently did an exercise to show that a monotone function $f:X→ℝ $ is Borel measurable (it even only asked for Lebesgue measurability).
On the other hand, the inverse of the Devil's Staircase function created from the ternary Cantor set is not Borel measurable (stated but not proven in class so not sure about this); does this mean that this function(after choosing the image of the Cantor set appropriately) is not monotone? Is it not the limit of monotone functions and therefore (weakly) monotone? $\newcommand{\cantor}{\mathcal{C}}$
Edit: By 'inverse of the Devil's Staircase', function $g$ defined as follows(I am largely copying from my handwritten lecture notes).
First note that for $x$ written in ternary, if $x∈ \cantor$ then it has no 1s in its ternary expansion, so it can be written $x = \sum_1^∞ \frac{ε_n}{3^n}$ for $ε_n∈ \{ 0,2\}$ (which is effectively a unique representation); then the Devil's Staircase $f$ maps this to
$$ f(x) = \sum_1^∞ \frac{ε_n/2}{2^n}$$
To obtain the 'inverse', first write some $y$ in the image as $\sum_1^∞ \frac{ε_n}{2^n}$ for $ ε_n ∈ \{0,1\} $. If $y$ is not of the form $\frac{c}{2^n}$ for some naturals $c,n$, define
$$g(x) = \sum_1^∞ \frac{2ε_n}{3^n}$$
This gives $gf(x) = x$ for $x$ in $\cantor$ and $fg(y) = y$ for $y$ not of the form $\frac{c}{2^n}$. For $y$ of that form, set $g(y) = \sup\{ g(y_0) : y_0 < y \}$ to try and make it monotone.
Now $g$ was claimed to be non-(Borel) measurable, which I can believe for now. But it seems to me that it is monotone, which can't be by the above exercise. Where does it fail to be monotone?