Résumé
La mesure de Lebesgue est une mesure qui étend le concept intuitif de volume à 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 performante et fondamentale en analyse moderne : la théorie de l'intégrale de Lebesgue. Plusieurs constructions bien différentes de la mesure de Lebesgue sont connues. Chacune d'entre elles peut naturellement être prise pour définition ; dans le cadre d'un article où il faut toutes les évoquer, il est prudent de fournir en ouverture une définition plus unificatrice. Celle-ci, grosso modo, caractérise la mesure de Lebesgue comme la « meilleure » mesure donnant les valeurs auxquelles on s'attend sur les solides usuels — la considération des parallélépipèdes rectangles suffisant à conclure, et même les seuls parallélépipèdes aux côtés parallèles aux axes. Dans le théorème d'existence et d'unicité donné ci-dessous, l'unicité est relativement facile alors que l'existence est la partie substantielle de la preuve : la difficulté est bien de construire la mesure souhaitée. Dans l'énoncé qui suit, on entend par « pavés » les produits cartésiens d'intervalles bornés, c'est-à-dire les ensembles de la forme I × I × ... × I, où les I sont des intervalles de R qui peuvent être fermés, ouverts ou semi-ouverts. On notera λ la mesure de Lebesgue et la tribu de Lebesgue. Les éléments de cette tribu sont dits ensembles Lebesgue-mesurables ; en l'absence de référence à une tribu spécifique, c'est généralement ce qu'on entend quand on parle de « partie mesurable » de R ou d'un espace à dimensions. La « mesure de Borel-Lebesgue » est le plus souvent appelée mesure de Lebesgue — ce n'est pas très gênant parce qu'une mesure et sa complétée partagent bon nombre de caractéristiques et notamment ont les mêmes espaces de fonctions intégrables. Le lecteur rencontrant une allusion à la « mesure de Lebesgue » restera tout de même sur ses gardes, notamment en théorie des mesures produits et des intégrales multiples où les énoncés peuvent être légèrement différents pour l'une et l'autre de ses variantes.
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.