Aller au contenu

Absolue continuité

Un article de Wikipédia, l'encyclopédie libre.

En mathématiques, et plus précisément en analyse, on définit, pour des fonctions définies sur un intervalle borné, la notion de fonction absolument continue, un peu plus forte que la notion de fonction uniformément continue, et garantissant de bonnes propriétés d'intégration ; on lui associe d'ailleurs la notion de mesure absolument continue.

Fonction absolument continue

[modifier | modifier le code]

Le premier théorème fondamental de l'analyse a pour conséquence que toute fonction continue f sur un intervalle réel est égale à la dérivée de sa fonction intégrale F (au sens de Riemann) définie par . Dans le cadre plus général de l'intégrale de Lebesgue, une fonction L1 est égale presque partout à la dérivée de son intégrale.

Par contre, une fonction F continue et presque partout dérivable peut ne pas être égale à l'intégrale de sa dérivée, même si cette dérivée est L1. Considérons par exemple l'escalier de Cantor ou la fonction de Minkowski : ces deux fonctions sont presque partout dérivables, de dérivée presque partout nulle ; donc l'intégrale de leur dérivée est nulle. Ce phénomène était bien connu dans le cas de fonctions discontinues (les fonctions indicatrices par exemple) mais moins intuitif dans le cas continu, ce qui a conduit à la notion de continuité absolue : une fonction absolument continue est continue et de plus égale à l'intégrale de sa dérivée.

Définition

[modifier | modifier le code]

Soit I un intervalle réel. On dit qu'une fonction F : I → ℝ est absolument continue si, pour tout réel ε > 0, il existe un δ > 0 tel que, pour toute suite finie de sous-intervalles de I d'intérieurs disjoints,

Pour une fonction de plusieurs variables, il existe diverses notions de continuité absolue[1].

Propriétés

[modifier | modifier le code]
  • F est absolument continue sur [a, b] si et seulement s'il existe une fonction f intégrable sur [a, b] (au sens de Lebesgue) telle que pour tout x ∈ [a, b],
  • L'ensemble des fonctions absolument continues sur [a, b] est égal à l'espace de Sobolev W1,1(]a, b[).
  • D'après le second théorème fondamental de l'analyse, si (sur [a, b]) F est dérivable partout et de dérivée intégrable, alors F est absolument continue.
  • Si F est absolument continue sur [a, b] alors :
  • Réciproquement, si F est continue, à variation bornée et possède la propriété N de Luzin, alors elle est absolument continue (théorème de Banach-Zarecki[2]).
  • Le produit de deux fonctions absolument continues sur [a, b] est une fonction absolument continue[3].

Toute fonction lipschitzienne sur [a, b] est absolument continue.

La fonction continue qui a pour graphe l'escalier du diable n'est pas absolument continue : l'image de l'ensemble de Cantor, qui est de mesure nulle, est [0,1] tout entier.

La fonction point d'interrogation n'est pas non plus absolument continue puisque de dérivée nulle presque partout. On peut également démontrer qu'elle envoie un ensemble de mesure 0 sur un ensemble de mesure 1.

Mesure absolument continue

[modifier | modifier le code]

Soient μ et ν deux mesures complexes sur un espace mesurable .

On dit que ν est absolument continue par rapport à μ si pour tout ensemble mesurable A :

ce que l'on note .

Le théorème de Radon-Nikodym donne une autre caractérisation dans le cas où μ est positive et σ-finie, et ν est complexe et σ-finie : il existe alors f une fonction mesurable telle que dν=f. La fonction f est appelée densité de la mesure ν par rapport à la mesure μ.

Lien entre fonction réelle absolument continue et mesure absolument continue

[modifier | modifier le code]

Une fonction F est localement absolument continue si et seulement si sa distribution dérivée est une mesure absolument continue par rapport à la mesure de Lebesgue. Par exemple, une mesure μ bornée sur l'ensemble des boréliens de la droite réelle est absolument continue par rapport à la mesure de Lebesgue si et seulement si la fonction de répartition associée

est localement une fonction absolument continue.

Notes et références

[modifier | modifier le code]
  1. Voir l'introduction de (en) Jiří Šremr, « Absolutely continuous functions of two variables in the sense of Carathéodory », Electron. J. Diff. Equ., vol. 2010, no 154,‎ , p. 1-11 (lire en ligne)
  2. (en) Andrew M. Bruckner (en), Judith B. Bruckner et Brian S. Thomson, Real Analysis, (ISBN 978-0-13458886-5, lire en ligne), p. 274.
  3. (en) V. I. Smirnov, A Course of Higher Mathematics, vol. 5 : Integration and Functional Analysis, Pergamon, (lire en ligne), p. 218.

Article connexe

[modifier | modifier le code]

Théorème de différentiation de Lebesgue

Bibliographie

[modifier | modifier le code]

Walter Rudin, Analyse réelle et complexe [détail des éditions]