Tribu de Lebesgue

tribu complétée de la tribu borélienne

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

DéfinitionModifier

Comme exposé à l'article mesure de Lebesgue, cette mesure sur   est définie sur une σ-algèbre de parties de  , 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  .

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

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

Les parties Lebesgue-mesurables de   sont les parties A qui peuvent être écrites sous la forme :

 , avec   borélien et   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 :

 , avec   borélien et   négligeable (  symbolisant la différence symétrique).

Du point de vue de la mesure extérieureModifier

Dans cette section[1], on note   l'ensemble des « pavés », c'est-à-dire les produits cartésiens d'intervalles bornés, c'est-à-dire les ensembles de la forme  , où les   désignent des intervalles de   qui peuvent être fermés, ouverts ou semi-ouverts, et on note   le volume d'un tel pavé (au sens de produit des longueurs de ses côtés).

Pour  , la mesure extérieure de Lebesgue   de   est définie ainsi :

 

Théorème — Soit  . L'ensemble   est Lebesgue-mesurable si et seulement si :

pour tout  ,  .

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

Théorème — Soit   borné, et   un pavé contenant  . L'ensemble   est Lebesgue-mesurable si et seulement si :

 .

Il est facile de voir que le réel   défini par   est indépendant du pavé utilisé pour mettre   en boîte ; on appelle ce réel la « mesure intérieure » de  . 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  , et   une suite de pavés dont la réunion est  . L'ensemble   est Lebesgue-mesurable si et seulement si :

pour tout  .

Cardinalité de la tribu de LebesgueModifier

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

Preuve :

Pour   c'est facile : l'ensemble   est un borélien de   de mesure nulle. Toutes ses parties sont donc Lebesgue-mesurables puisque négligeables.

Pour   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  . Ses parties sont donc Lebesgue-mesurables et le cardinal de leur ensemble est  , où   désigne le cardinal de   (la « puissance du continu »).

CQFD

Ensembles mesurables non boréliensModifier

En mettant côte à côte le résultat de cardinalité qui précède et celui selon lequel la tribu borélienne de   est équipotente à   (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   l'ensemble des réels ayant un développement en fraction continue de la forme

 

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

Ensembles non mesurablesModifier

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

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   tous choisis dans l'intervalle  . Un autre exemple spectaculaire est le sous-ensemble de la boule unité de   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ésModifier

Le concept se généralise aux variétés   de classe au moins  . On définit une partie Lebesgue-mesurable de   comme une partie   qui vérifie la condition suivante :

pour toute carte   de  ,   est mesurable.

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

RéférencesModifier

  1. Pour l'ensemble de la section, voir Vladimir I. Bogachev, Measure Theory, Springer, , 1075 p. (ISBN 978-3-540-34513-8).
  2. (en) Akihiro Kanamori, The Higher Infinite : Large Cardinals in Set Theory from Their Beginnings, Springer, , 538 p. (ISBN 978-3-540-88866-6, lire en ligne), p. 148.
  3. Nikolaï Luzin, « Sur les ensembles analytiques », Fundamenta Mathematica, vol. 10,‎ , p. 1-95, p. 77.
  4. (en) Abraham Adolf Fraenkel, Yehoshua Bar-Hillel et Azriel Lévy, Foundations of set theory, Amsterdam, Elsevier, (ISBN 978-0-7204-2270-2) 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.