6
$\begingroup$

$f$ is continuous and of bounded variation on $[0,1]$, $f$ is absolutely continuous on any $[c,1]$ with $c \in (0,1]$. Then $f$ is absolutely continuous on $[0,1]$.

How to show this?

Thanks.

1 Answers 1

4

Here are some hints to get you started.

Given $\epsilon>0$, choose $c\in(0,1]$ so that the total variation of $f$ on $[0,c]$ is less than $\epsilon/2$. Then choose $\delta>0$ so that $\sum_{k=1}^n|f(y_k)-f(x_k)|<\epsilon/2$ whenever $\{[x_k,y_k]:k=1,\dots,n\}$ is a finite family of pairwise disjoint intervals in $[c,1]$ such that $\sum_{k=1}^n(y_k-x_k)<\delta$.

Now show that if $\{[x_k,y_k]:k=1,\dots,n\}$ is a finite family of pairwise disjoint intervals in $[0,1]$ such that $\sum_{k=1}^n(y_k-x_k)<\delta$, then $\sum_{k=1}^n|f(y_k)-f(x_k)|<\epsilon$. Bear in mind that $c$ may fall in the interior of one of the intervals $[x_k,y_k]$.

  • 0
    I have the same in mind BUT is there something like bounded varia2012-09-08