Let $f$ be a function such that agrees with the cantor function on $[0,1]$, vanishes on $(-\infty,0)$, and is identically $1$ on $(1,+\infty)$ and let $\mu_f$ the Borel measure associated to $f$. Show that
(a) each of the $2^n$ intervals remaining after the n-th step in the construction of the Cantor set has measure $2^{-n}$ under $\mu_f$,
(b) the Cantor set $C$ has measure $1$ under $\mu_f$,
(c) each $x$ in $\mathbb{R}$, satisfies $\mu_f(\{x\})=0$
$(c)$ follows immediately because $f$ is continuous and
\begin{align}\mu_f(\{x\}) &=\lim\mu_f\bigl((x-2^{-n},x]\bigr)\\ &=\lim \bigl(f(x)-f(x-2^{-n})\bigr)\\ &=f(x)-f(x)=0 \end{align}
$(b)$, Now $\mu_f([0,1])=\mu_f((0,1])=f(1)-f(0)=1$, and also the Cantor function is constant on each open interval which is removed to make up the Cantor set. Since the set $[0,1]-C$ is a countable disjoint union of open intervals and on each the Cantor function $f$ is constant, thus $$\mu_f([0,1]\setminus C)=\sum_n \mu_f((a_n,b_n))=\sum_n \bigl(F(b_n)-F(a_n)\bigr)=0$$ Hence $\mu_f(C)=\mu_f([0,1])=1$.
(a) For the first point I'm not sure.
The definition of my book of the Cantor singular function is the following: on the various intervals removed from the n−1 step for the construction of the nth step the $f(x)$ be $1/2^n,3/2^n,5/2^n\ldots$ for each such interval. After all the steps $f$ is defined on $[0,1]-C$, and for the points in the Cantor set we have
$$f(x):=\sup\{f(t):t<x \text{ and } t\in [0,1]-C\}$$
I'd appreciate any help for the first point.
If the interval is $[a,b]$, $\mu([a,b]) = f(b) - f(a) = 2^{-n}$.