Développement : Représentation des fonctions lipschitziennes

Détails/Enoncé :

Une fonction $f : \mathbb R \to \mathbb R$ est lipschitzienne si et seulement s'il existe une fonction $g \in L^\infty$ telle que pour tout $x \in \mathbb R$, $\displaystyle{f(x)=f(0) + \int_0^x g(x) dx}$.

Recasages pour l'année 2024 :

Autres années :

Versions :

  • Auteur :
  • Remarque :
    Normalement dans le Brézis et dans le Hirsch-Lacombe mais c'est introuvable.
  • Auteur :
  • Remarque :
    /!\ Référence *précise* nécessaire/à confirmer
    Brézis p125-126: je pense que c'est le bon résultat
    /!\ Ça parle d'espaces de Sobolev

    J'ai trouvé ce PDF sur Internet (https://perso.univ-rennes1.fr/jurgen.angst/enseignements/CMMA13/cfeuille3.pdf) avec une très belle preuve passant par l'espérance conditionnelle et les martingales.
    Ce résultat est parfois lié au Théorème de Rademacher, pour la dérivabilité presque partout des fonctions lipschitziennes.

    Rekasator alternatif (test exhaustif cherchant la plus petite quantité sans prendre en compte la qualité) + tableur pour le suivi des leçons: https://sites.google.com/view/ospoam/accueil
  • Fichier :

Références utilisées dans les versions de ce développement :