vignette|Le triangle de Sierpiński est un exemple d'ensemble nul de points dans R 2 \mathbb {R} ^{2}. En théorie de la mesure, dans un espace mesuré, un ensemble négligeable est un ensemble de mesure nulle ou une partie d'un tel ensemble. La définition peut dépendre de la mesure choisie : deux mesures sur un même espace mesurable qui ont les mêmes ensembles de mesure nulle sont dites équivalentes. À un niveau élémentaire, il est possible d'aborder la notion d'ensemble négligeable pour un certain nombre d'espaces (dont la droite réelle) sans avoir à introduire une mesure. L'ensemble des parties négligeables d'un espace mesuré a les propriétés suivantes : tout sous-ensemble mesurable d'une partie négligeable a une mesure nulle, conséquence de la monotonie des mesures ; tout sous-ensemble d'une partie négligeable est négligeable ; toute union dénombrable d'ensembles (mesurables) de mesure nulle est mesurable et de mesure nulle, conséquence de la sous-additivité des mesures ; toute union dénombrable d'ensembles négligeables est négligeable. A priori, la notion de partie négligeable parait plus générale que celle d'ensemble de mesure nulle, car elle autorise des ensembles non mesurables. Toutefois, il est possible de compléter la tribu en une tribu incluant les ensembles négligeables non mesurables, et de prolonger la mesure en une mesure sur . On parle alors de mesure complète ; pour une mesure complète, tout ensemble négligeable est mesurable, donc de mesure nulle. Dans les espaces , la mesure généralement utilisée est la mesure de Lebesgue, unique mesure à proportionnalité près invariante par les isométries. Pour cette mesure, tout singleton a une mesure nulle. Donc, en utilisant la troisième propriété énoncée ci-dessus, on voit sans difficulté que tout sous-ensemble fini ou dénombrable de est négligeable. Ainsi, si l'on note la mesure de Lebesgue sur alors . Il existe dans des parties boréliennes — et même compactes — de mesure de Lebesgue nulle qui ont la puissance du continu, c'est-à-dire qu'elles sont équipotentes à .

À 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.
Cours associés (16)
CS-101: Advanced information, computation, communication I
Discrete mathematics is a discipline with applications to almost all areas of study. It provides a set of indispensable tools to computer science in particular. This course reviews (familiar) topics a
MATH-205: Analysis IV - Lebesgue measure, Fourier analysis
Learn the basis of Lebesgue integration and Fourier analysis
MATH-476: Optimal transport
The first part is devoted to Monge and Kantorovitch problems, discussing the existence and the properties of the optimal plan. The second part introduces the Wasserstein distance on measures and devel
Afficher plus
Publications associées (115)
Concepts associés (21)
Espace de Hilbert
vignette|Une photographie de David Hilbert (1862 - 1943) qui a donné son nom aux espaces dont il est question dans cet article. En mathématiques, un espace de Hilbert est un espace vectoriel réel (resp. complexe) muni d'un produit scalaire euclidien (resp. hermitien), qui permet de mesurer des longueurs et des angles et de définir une orthogonalité. De plus, un espace de Hilbert est complet, ce qui permet d'y appliquer des techniques d'analyse. Ces espaces doivent leur nom au mathématicien allemand David Hilbert.
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, et le résultat de l'intégration d'une fonction à valeurs réelles définie sur (ou sur ) muni de la mesure de Lebesgue. Généralisant l'intégrale de Riemann, l'intégrale de Lebesgue joue un rôle important en analyse, en théorie des probabilités et dans beaucoup d'autres domaines des mathématiques. Dans les cas simples, l'intégrale d'une fonction positive f peut être vue comme l'aire comprise entre l'axe des x (l'axe horizontal) et la courbe de la fonction f.
Tribu (mathématiques)
En mathématiques, une tribu ou σ-algèbre (lire sigma-algèbre) ou plus rarement corps de Borel sur un ensemble X est un ensemble non vide de parties de X, stable par passage au complémentaire et par union dénombrable (donc aussi par intersection dénombrable). Les tribus permettent de définir rigoureusement la notion d'ensemble mesurable. Progressivement formalisées pendant le premier tiers du , les tribus constituent le cadre dans lequel s'est développée la théorie de la mesure.
Afficher plus

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.