Absolue Continuité

Absolue Continuité

Absolue continuité

En mathématiques, on introduit les notions de fonction absolument continue et de mesure absolument continue. Ces deux concepts entretiennent des rapports.

Sommaire

Fonction absolument continue

Motivation

Une fonction continue f\, sur un intervalle est égale à la dérivée de son intégrale \int_a^x f(t)dt (théorème fondamental de l'analyse). Dans un cadre plus général, celui de l'intégrale de Lebesgue, une fonction L^1\, est égale presque partout à la dérivée de son intégrale. Par contre, une fonction presque partout dérivable, même si la dérivée est L^1\,, peut ne pas être égale à l'intégrale de sa dérivée. L'escalier du diable, ou escalier de Cantor, est un exemple de ce phénomène. Travailler dans l'espace des fonctions absolument continues assure que les fonctions considérées sont bien égales à l'intégrale de leur dérivée.

Définition

Soit \scriptstyle\ A=[a,b]\, un intervalle. On dit que la fonction \scriptstyle\ f est absolument continue sur \scriptstyle\ A\, si, pour tout réel \scriptstyle\ \epsilon > <span class=0\," style="max-width : 98%; height: auto; width: auto;" src="/pictures/frwiki/50/2fc0476dffd0a9ab8bea7c73c6e9b694.png" border="0">, il existe un \scriptstyle\ \delta > <span class=0\," style="max-width : 98%; height: auto; width: auto;" src="/pictures/frwiki/97/a05e586724cd031d341b0f3d96d10ae8.png" border="0"> tel que, pour toute suite \scriptstyle\ ([a_n, b_n])_{n \in \mathbb{N}} \, de sous-intervalles de \scriptstyle\ A\, d'intérieurs disjoints,

\sum_{n \geq 0}{(b_n-a_n)} < \delta \Rightarrow \sum_{n \geq 0}{|f(a_n)-f(b_n)|}< \epsilon.

Propriétés

  • Si une fonction \scriptstyle\ F\ est continue sur un segment \scriptstyle\ [a,b]\,, alors il existe une fonction \scriptstyle\ f\ intégrable sur \scriptstyle\ [a,b]\, (au sens de Lebesgue) telle que pour tout \scriptstyle\ x \in [a,b],
F(x)-F(a) = \int_a^x {f(t) dt}\

si et seulement si \scriptstyle\ F\ est absolument continue sur \scriptstyle\ [a,b].

  • Toute fonction absolument continue sur un intervalle est à variation bornée sur cet intervalle.
  • Si \scriptstyle\ f\ est absolument continue sur l'intervalle \scriptstyle\ [a,b], alors elle possède la propriété N de Luzin : l'image par \scriptstyle\ f\, de tout ensemble de mesure nulle (pour la mesure de Lebesgue) est de mesure nulle.
  • Si \scriptstyle\ f\ est absolument continue, alors \scriptstyle\ f\ est dérivable presque partout.
  • Si \scriptstyle\ f\ est continue, à variation bornée et possède la propriété N de Luzin, alors elle est absolument continue.

Contre-exemple

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 \scriptstyle\ [0,1]\, tout entier.

Mesure absolument continue

Soient \scriptstyle\ \mu\ et \scriptstyle\ \nu\ deux mesures complexes sur un espace mesuré \scriptstyle\ (\mathcal{X},\Tau). On dit que \scriptstyle\ \nu\ est absolument continue par rapport à \scriptstyle\ \mu\ si et seulement si pour tout ensemble mesurable \scriptstyle\ A\ , \scriptstyle\ \mu(A)=0\Rightarrow \nu(A)=0, ce que l'on note \scriptstyle\ \nu \ll \mu.

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

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

Une fonction \scriptstyle\ 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 \scriptstyle\ \mu\ 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

F:x\mapsto\mu(]-\infty,x])

est localement une fonction absolument continue.

Voir aussi

  • Portail des mathématiques Portail des mathématiques
Ce document provient de « Absolue continuit%C3%A9 ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Absolue Continuité de Wikipédia en français (auteurs)

Игры ⚽ Нужен реферат?

Regardez d'autres dictionnaires:

  • Absolue continuite — Absolue continuité En mathématiques, on introduit les notions de fonction absolument continue et de mesure absolument continue. Ces deux concepts entretiennent des rapports. Sommaire 1 Fonction absolument continue 1.1 Motivation 1.2 Définition …   Wikipédia en Français

  • Absolue continuité — Pour les articles homonymes, voir Absolu. En mathématiques, on introduit les notions de fonction absolument continue et de mesure absolument continue. Ces deux concepts entretiennent des rapports. Sommaire 1 Fonction absolument continue 1.1 …   Wikipédia en Français

  • Continuite — Continuité En mathématiques, la continuité est une propriété topologique d une fonction. En première approche, une fonction est continue si, à des variations infinitésimales de la variable x, correspondent des variations infinitésimales de la… …   Wikipédia en Français

  • Continuite uniforme — Continuité uniforme En topologie, la continuité uniforme est une définition plus contraignante que la continuité, et se définit dans les espaces métriques ou les espaces uniformes. Contrairement à la continuité, la continuité uniforme n est pas… …   Wikipédia en Français

  • Continuité Uniforme — En topologie, la continuité uniforme est une définition plus contraignante que la continuité, et se définit dans les espaces métriques ou les espaces uniformes. Contrairement à la continuité, la continuité uniforme n est pas une notion… …   Wikipédia en Français

  • Continuité —  Pour la notion de continuité au cinéma, voir l article Script (cinéma) En mathématiques, la continuité est une propriété topologique d une fonction. En première approche, une fonction est continue si, à des variations infinitésimales de la… …   Wikipédia en Français

  • Continuité uniforme — En topologie, la continuité uniforme (ou l uniforme continuité) est une définition plus contraignante que la continuité, et se définit dans les espaces métriques ou plus généralement les espaces uniformes. Contrairement à la continuité, la… …   Wikipédia en Français

  • Prolongement par continuité — Continuité uniforme En topologie, la continuité uniforme est une définition plus contraignante que la continuité, et se définit dans les espaces métriques ou les espaces uniformes. Contrairement à la continuité, la continuité uniforme n est pas… …   Wikipédia en Français

  • Uniforme continuité — Continuité uniforme En topologie, la continuité uniforme est une définition plus contraignante que la continuité, et se définit dans les espaces métriques ou les espaces uniformes. Contrairement à la continuité, la continuité uniforme n est pas… …   Wikipédia en Français

  • Majorité absolue — Système électoral Politique Idées politiques Science politique Philosophie politique Sociologie politique Campagne politique Mode de désignation du chef d État et du Parlement par pays l Union européenne l ONU Démocratie Démocratie directe …   Wikipédia en Français

Share the article and excerpts

Direct link
https://fr-academic.com/dic.nsf/frwiki/44075 Do a right-click on the link above
and select “Copy Link”