Skip to main content
Mod Removes Wiki by Stefan Kohl
Post Made Community Wiki
Source Link
Jesse Madnick
  • 871
  • 2
  • 16
  • 20

If $f\colon [a,b] \to \mathbb{R}$ is increasing, then $f$ is differentiable almost everywhere [w.r.t. Lebesgue measure].

(We can further conclude that $f'$ is measurable and $\int_a^b f'(x)\ dx \leq f(b) - f(a)$, but it's the first part that struck me when I learned it.)

And sure it makes sense, but knowing how real analysis often is, one might think that there must be some increasing function that fails to be differentiable on a set of positive measure.