Localement lipschitzienne $~\Rightarrow~$ différentiable presque partout ??

akramcahid

Bonjour à tous et à toutes.
Où puis-je trouver cette proposition ?

$f$ locally Lipschitz continuous $\Rightarrow f$  absolutely continuous $\Rightarrow f$  differentiable almost everywhere,
où $f$  est définie sur un espace de Hilbert.

JLapin

Où puis-je trouver cette proposition : ...

Peut-être en cherchant sur https://math.stackexchange.com

Philippe Malot

Il s'agit du théorème de Rademacher.
https://en.wikipedia.org/wiki/Rademacher%27s_theorem
Il y a des références dans cet article.