1
$\begingroup$

I know that if a function is everywhere differentiable on $[0,1]$ it need not be absolutely continuous. Also a function that is almost everywhere differentiable, continuous and non-decreasing may fail to be absolutely continuous. But what if $f$ is differentiability everywhere and non-decreasing? Are these enough to guarantee I can use the Fundamental Theorem of Calculus? I'm grateful for any references you might have.

$\endgroup$

1 Answer 1

3
$\begingroup$

If $f$ is nondecreasing on $[0,1]$ then $f$ has bounded variation and $f' \in L^1([0,1])$. If such a function is differentiable everywhere in $[0,1]$ then it satisfies $$f(x) = f(0) + \int_0^x f'(t) \, dt$$ for all $x \in [0,1]$ and is consequently absolutely continuous.

I don't have a short proof handy, but this is Theorem 7.21 in Real and Complex Analysis, 3rd ed. by Rudin.

$\endgroup$
2
  • $\begingroup$ Quick clarification: assuming $f(0)\ge 0$ for simplicity, the reason $f^\prime \in L^1([0,1])$ is because of the inequality $+\infty>f(1)-f(0)\ge \int_0^1 f^\prime (x) dx=\int_0^1 | f^\prime(x)| dx$ ? $\endgroup$ Apr 29, 2015 at 17:22
  • 1
    $\begingroup$ Yes, and what you wrote doesn't require $f(0) \ge 0$. $\endgroup$
    – Umberto P.
    Apr 29, 2015 at 17:46

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .