As was pointed out in the comments, your argument for (i) is perfectly fine.
Concerning (ii), yes, that's true, you could apply that result. On the other hand, the direct proof is straightforward:
We want to prove that
$$\tag{#}
\sup{
\left\{
\sum_{k=1}^n |f(a_k) - f(a_{k-1})|
\,:\,
0\leq a_0 \leq a_1 \leq \cdots \leq a_{n-1} \leq a_n \leq 1
\right\}
} \lt \infty
$$
where the supremum is taken over all finite increasing sequences in $[0,1]$. Finiteness follows from the Lipschitz condition $|f(x) - f(y)| \leq M\cdot|x-y|$ because for a finite increasing sequence $0\leq a_0 \leq a_1 \leq \cdots \leq a_{n-1} \leq a_n \leq 1$ we have
$$
\sum_{k=1}^n |f(a_k) - f(a_{k-1})| \leq \sum_{k=1}^n\phantom{|} M \cdot |a_k - a_{k-1}| \leq M
$$
because $|a_k-a_{k-1}| = a_{k}-a_{k-1}$ and $\sum_{k=1}^n (a_k-a_{k-1}) = a_n -a_0 \leq 1 - 0 = 1$. This proves that the supremum in $(\#)$ is in fact bounded by $M \lt \infty$.
This seems a bit easier than making the detour via absolute continuity (you'll notice that I hardly did anything else than what you did in your proof for (i), and that's why I gave the fully detailed argument).
Compare this with the proof of the fact that absolute continuity of a function $f$ implies that it is of bounded variation (which isn't much more difficult, but somewhat more fiddly, I think).
Now for (iii) I don't think that it is intended that you do this by hand, as a direct and detailed proof of this involves a considerable amount of work. So what you do is almost certainly the intention of this exercise.
Be a little careful, though: you say
I also know that if $f$ absolutely continuous $\implies$ $f$ is f bounded variation $\implies f'(x)$ exists a.e. and $$ f(x)=f(0)+\int_0^1 f'(x)\text{d}x. $$ Thus, $f(x)=\int_0^1 f'(x)\text{d}x~~~\text{if}~~f(0)=0.$
The second implication you write here is not true: bounded variation alone doesn't give that $f(x) = f(0) + \int_{0}^x f'(t)\,dt$ — note that there are two typos here as well:
- the upper bound of the integral should be $x$ instead of $1$ and
- your equality $f(x) = f(0) + \int_{0}^1 f'(x)\,dx$ involves $x$ with two different meanings: on the left hand side you have some point $x \in [0,1]$ and on the right hand side you have $x$ as a “dummy variable” for integration.
To see that the implication that bounded variation of $f$ doesn't imply that $f(x) = f(0) + \int_{0}^x f'(t)\,dt$, just notice that the Cantor function $h$ is monotone, hence of bounded variation, but $\int_{0}^x h(t)\,dt = 0$ for all $x \in [0,1]$.
However, I think that you meant to say that $f$ absolutely continuous implies $f(x) = f(0) + \int_{0}^x f(t)\,dt$ without interrupting by "$f$ has bounded variation", and then the rest of the argument here is fine too.
To get other (trivial examples) for your last question you can of course take any continuously differentiable (or even only absolutely continuous) function $g$ and add $h$ to it. Genuine examples not involving the Cantor function or simple variations of it are a bit cumbersome to come up with, so I think you solved that exercise satisfactorily, too.
When looking up something else, I recently found this nice and careful write-up by Noella Grady, which is about the present and many related matters.
The last inequality is not correct for a general $h$ and $g$. Try using the positive variation function and negative variation function instead. Notice these are increasing functions and so differentiable a.e... bla bla bla. In the end you will conclude with $P(f,[a,b])+N(f,[a,b])=T(f,[a,b])$.
Also a sufficient condition for equality is that $f$ is $C^{1}$
Best Answer
If f is differentiable everywhere on $(0,1)$ we can say $$f(1)-f(0) =\int^1_0 f'(x)dx \ \ (*)$$ If we knew that $f$ is a monotone function, (*) would immediately imply that $f$ is AC. However we know that $f$ is of bounded variation, thus can be written as the difference of two monotonically increasing functions on $[0,1]$ : $$f(x)=[f(x)+{TV}(f_{[0,x]})] - TV(f_{[0,x]})$$ Where $TV(f_{[0,x]})$ is the total variation function, which is differentiable everywhere on $[0,1]$, since it is monotone on $[0,1]$ and by Lebesgue's theorem is differentiable.