Tribu de Lebesgue

Tribu de Lebesgue

Un ensemble Lebesgue-mesurable (qu'on abrège souvent en mesurable) est une partie de l'espace \R^n dont la mesure de Lebesgue peut être définie, le concept pouvant être étendu à toute variété différentiable M. On appelle tribu de Lebesgue l'ensemble des parties Lebesgue-mesurables de M.

Sommaire

Définition

Comme exposé à l'article mesure de Lebesgue, cette mesure sur \R^n est définie sur une σ-algèbre de parties de \R^n, complétée de la tribu borélienne. Cette tribu est appelée tribu de Lebesgue et les ensembles qui la constituent sont les parties Lebesgue-mesurables de \R^n.

Caractérisation des mesurables de l'espace n-dimensionnel

Du point de vue de la complétion de la tribu de Borel

Les parties mesurables de \R^n sont les parties A qui peuvent être écrites sous la forme :

A=B\cup N, avec B borélien et N négligeable (pour la mesure de Borel-Lebesgue).

La variante suivante peut être utile : A est mesurable si et seulement s'il peut être écrit sous la forme :

A=B\,\Delta\, N, avec B borélien et N négligeable (Δ symbolisant la différence symétrique).

Du point de vue de la mesure extérieure

Dans cette section[1], on note \mathcal{S} l'ensemble des « pavés », c'est-à-dire les produits cartésiens d'intervalles bornés, c'est-à-dire les ensembles de la forme E=I_1 \times I_2 \times \cdots \times I_n, où les Ii désignent des intervalles de \R qui peuvent être fermés, ouverts ou semi-ouverts, et on note \mathrm{Vol}\,(E) le volume d'un tel pavé (au sens de produit des longueurs de ses côtés).

Pour A\subset \R^n, la mesure extérieure \lambda_n^* de A est définie ainsi :

\lambda_n^*(A)=\mathrm{inf}\{\sum_{k=1}^{+\infty}\mathrm{Vol}\,(E_k)\,\mid\,E_k\in\mathcal{S},\,A\subset\bigcup_{k=1}^{+\infty}E_k\}.

Théorème — Soit A\subset \R^n. L'ensemble A est Lebesgue-mesurable si et seulement si :

pour tout X\subset \R^n, \lambda_n^*(X\cap A)+\lambda_n^*(X\setminus A)=\lambda_n^*(X).

Cette caractérisation est due à Carathéodory, la caractérisation originelle par Lebesgue est la suivante :

Théorème — Soit A\subset \R^n borné, et E un pavé contenant A. L'ensemble A est Lebesgue-mesurable si et seulement si :

\lambda_n^*(A)+\lambda_n^*(E\setminus A)=\mathrm{Vol}\,(E).

Il est facile de voir que le réel \displaystyle\lambda_{n*}(A) défini par \lambda_{n*}(A)=\mathrm{Vol}\,(E)-\lambda_n^*(E\setminus A) est indépendant du pavé utilisé pour mettre A en boîte ; on appelle ce réel la « mesure intérieure » de A. Avec cette convention de vocabulaire, le résultat précédent s'exprime ainsi : les ensembles mesurables bornés sont les ensembles bornés dont les mesures intérieure et extérieure coïncident.

Pour des ensembles non bornés, on peut écrire un énoncé analogue au précédent, en faisant intervenir une suite de pavés remplissant l'espace  :

Généralisation de l'énoncé précédent — Soit A\subset \R^n, et (E_i)_{i\geq0} une suite de pavés dont la réunion est \R^n. L'ensemble A est Lebesgue-mesurable si et seulement si :

pour tout i\geq0,\quad\lambda_n^*(E_i\cap A)+\lambda_n^*(E_i\setminus A)=\mathrm{Vol}\,(E_i).

Cardinalité de la tribu de Lebesgue

Proposition — Le cardinal de la tribu de Lebesgue sur \R^n est celui de l'ensemble des parties de \R.

Preuve :

Pour n\geq2 c'est facile : l'ensemble \R^{n-1}\times\{0\} est un borélien de \R^n de mesure nulle. Toutes ses parties sont donc Lebesgue-mesurables puisque négligeables.

Pour n = 1 il faut chercher un exemple un peu moins évident. L'ensemble triadique de Cantor apporte la réponse : c'est un ensemble compact donc borélien, de mesure nulle, et pourtant en bijection avec \R. Ses parties sont donc Lebesgue-mesurables et le cardinal de leur ensemble est 2^\mathfrak c, où \mathfrak c désigne le cardinal de \R (la « puissance du continu »).

CQFD

Ensembles mesurables non boréliens

En mettant côte à côte le résultat de cardinalité qui précède et celui selon lequel la tribu borélienne de \R^n est équipotente à \R (voir la section « Un résultat de cardinalité » de l'article « Tribu engendrée »), on en déduit l'existence d'ensembles mesurables qui ne sont pas boréliens. Dit autrement, la mesure de Borel-Lebesgue n'est pas complète, et est donc distincte de la mesure de Lebesgue.

Des exemples de mesurables non boréliens étaient déjà connus de Lebesgue en 1905[2]. En 1927, Nikolaï Luzin explicite un exemple particulièrement simple[3] : si on considère T l'ensemble des réels ayant un développement en fraction continue de la forme

x = a_0 + \cfrac{1}{a_1 + \cfrac{1}{a_2 + \cfrac{1}{a_3 + \cfrac{1}{\ddots\,}}}}

dans lequel la suite (a_0,a_1,\ldots) possède une sous-suite croissante pour la relation de divisibilité, l'ensemble T est mesurable (et même analytique) mais n'est pas borélien.

Ensembles non mesurables

La cardinalité ne permet pas de déterminer si la tribu de Lebesgue de \R^n est ou non égale à l'ensemble de toutes les parties de \R^n : chacun de ces deux ensembles de parties a le même cardinal 2^{\mathfrak c}.

On connaît des exemples d'ensembles non-mesurables. Un des plus simples est l'ensemble de Vitali, inventé en 1905 par Giuseppe Vitali : un ensemble de représentants des classes de \R/\Q tous choisis dans l'intervalle [0,1]. Un autre exemple spectaculaire est le sous-ensemble de la boule unité de \R^3 qui donne naissance au paradoxe de Banach-Tarski.

Ces deux exemples font appel à l'axiome du choix. Ce n'est pas fortuit. L'existence du modèle de Solovay (en), publié par Robert M. Solovay en 1970, montre en effet que dans la théorie des ensembles ZF sans axiome du choix, on ne peut espérer prouver l'existence d'ensembles non mesurables (et ce d'ailleurs même en supposant l'axiome du choix dépendant)[4].

Généralisation aux variétés

Le concept se généralise aux variétés M de classe au moins \mathcal{C}^1. On définit une partie Lebesgue-mesurable de M comme une partie A qui vérifie la condition suivante :

pour toute carte (U,φ) de M, \varphi(U\cap A) est mesurable.

Lorsqu'on considère une partie A d'une sous-variété N de M, on prendra garde à ne pas confondre les notions de mesurabilité de A comme partie de N ou comme partie de M. Dès que N est de dimension strictement plus faible que M, tout A\subset N est mesurable comme partie de M (car négligeable) mais ne l'est pas nécessairement comme partie de N.

Références

  1. ↑ Pour l'ensemble de la section, voir Vladimir I. Bogachev, Measure Theory, Springer, 2006 (ISBN 9783540345138) 
  2. ↑ Akihiro Kanamori, The Higher Infinite: Large Cardinals in Set Theory from Their Beginnings, Springer, 2008 (ISBN 9783540888666) , p. 148
  3. ↑ Nikolaï Luzin, « Sur les ensembles analytiques », dans Fundamenta Mathematica, vol. 10, 1927, p. 1-95 , p. 77
  4. ↑ Abraham Adolf Fraenkel, Yehoshua Bar-Hillel, Azriel Lévy, Foundations of set theory, Elsevier, 1973 (ISBN 9780720422702)  qui renvoient à Robert M. Solovay, « A model of set-theory in which every set of reals is Lebesgue measurable », dans Annals of Mathematics. Second Series, vol. 92 (1970), pages 1-56.

Wikimedia Foundation. 2010.

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

Игры ⚽ Поможем решить контрольную работу

Regardez d'autres dictionnaires:

  • Tribu (mathématiques) — Pour les articles homonymes, voir Tribu et Algèbre (homonymie). En mathématiques, une tribu ou σ algèbre (lire sigma algèbre) ou plus rarement corps de Borel[1] sur un ensemble X est un ensemble non vide de parties de X, stable par passage au… …   Wikipédia en Français

  • Tribu (mathématique) — Tribu (mathématiques) En mathématiques, une tribu ou σ algèbre sur un ensemble Ω est un ensemble de parties de Ω contenant la partie vide, stable par complémentarité et par union dénombrable. La notion de σ algèbre est plus forte que celle d… …   Wikipédia en Français

  • Tribu borelienne — Tribu borélienne La tribu borélienne sur un (ou d un) espace topologique T est la plus petite σ algèbre sur T contenant tous les ensembles ouverts. Les éléments de la tribu borélienne sont appelés des boréliens. La tribu de Borel peut, de manière …   Wikipédia en Français

  • Tribu engendrée — Étant donné un ensemble de parties d un même ensemble X, la tribu engendrée par est la plus petite tribu (au sens de l inclusion) contenant . On la note . Sommaire 1 D …   Wikipédia en Français

  • Mesure De Lebesgue — La mesure de Lebesgue doit son nom au mathématicien français Henri Léon Lebesgue. Elle est d une importance capitale en théorie de l intégration. Sommaire 1 Définition formelle 2 Propriétés de la mesure de Lebesgue 3 Tribu de Lebesgue …   Wikipédia en Français

  • Mesure de lebesgue — La mesure de Lebesgue doit son nom au mathématicien français Henri Léon Lebesgue. Elle est d une importance capitale en théorie de l intégration. Sommaire 1 Définition formelle 2 Propriétés de la mesure de Lebesgue 3 Tribu de Lebesgue …   Wikipédia en Français

  • Mesure de Lebesgue — La mesure de Lebesgue est une mesure qui étend le concept intuitif de volume[1] à une très large classe de parties de l espace. Comme l a immédiatement perçu son inventeur, Henri Lebesgue, elle permet de bâtir une théorie de l intégration très… …   Wikipédia en Français

  • Intégrale de Lebesgue — En mathématiques, l’intégrale de Lebesgue désigne à la fois une théorie relative à l intégration et à la mesure, puis le résultat de l intégration d une fonction à valeurs réelles définie sur (ou sur ), munis de la mesure de Lebesgue.… …   Wikipédia en Français

  • Espace de Lebesgue — Espace Lp En mathématiques, les espaces Lp sont des espaces de fonctions dont la puissance p ième de la fonction est intégrable, au sens de Lebesgue. Les espaces Lp sont très utilisés en analyse (et particulièrement en analyse fonctionnelle),… …   Wikipédia en Français

  • Mesure de Borel-Lebesgue — Cet article court présente un sujet plus développé dans : Mesure de Lebesgue. Assez rarement, et en particulier lorsqu il y a risque de confusion, on désigne sous le nom de mesure de Borel Lebesgue la restriction de la mesure de Lebesgue à… …   Wikipédia en Français

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”