Égalité presque partout

Égalité presque partout

Ensemble négligeable

En théorie de la mesure, un ensemble négligeable ou un ensemble de mesure nulle est une partie d'un ensemble mesuré dont la définition dépend de la mesure que l'on utilise ou plutôt de sa classe d'équivalence. À 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. Historiquement, la notion d'ensemble négligeable est antérieure.

On introduit les définitions suivantes :

  • Une partie mesurable N d'un ensemble mesurable (X, \mathcal B), mesuré avec la mesure μ, est dite de mesure nulle lorsque μ(N) = 0.
  • Une partie N de X est dite négligeable lorsqu'elle est incluse dans une partie de mesure nulle.

L'ensemble des parties négligeables d'un ensemble mesuré (X,μ) a les propriétés suivantes :

  • Tout sous-ensemble mesurable d'une partie négligeable a une mesure nulle, conséquence de la monotomie 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 \mathcal B en une tribu \mathcal B' incluant les ensembles négligeables non mesurables, et de prolonger la mesure μ en une mesure μ' sur (X, \mathcal B'). Il est à remarquer que cette complétion dépend de la définition d'ensembles négligeables. On parle alors de mesure complète ; pour une mesure complète, tout ensemble négligeable est mesurable, donc de mesure nulle.

Sommaire

Éléments historiques

Ensembles négligeables pour la mesure de Lebesgue

Exemples

Dans les espaces \R^n, 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 deuxième propriété énoncée ci-dessus, on voit sans difficulté que tout sous-ensemble dénombrable de \R^n est négligeable.

Ainsi, si on note λ la mesure de Lebesgue sur \R alors \lambda (\mathbb{Q})=0.

Nature des ensembles de mesure de Lebesgue nulle

Contrairement à ce que l'on pourrait croire intuitivement, les parties de \R qui sont de mesure de Lebesgue nulle ne sont pas forcément dénombrables. En effet, l'exemple le plus classique est la réalisation triadique de l'ensemble de Cantor : cet ensemble est un borélien de mesure de Lebesgue nulle mais il n'est pas dénombrable (car il est équipotent à \R). Un autre ensemble remarquable de mesure nulle est l'ensemble de Besicovitch : il contient une droite dans toutes les directions. Il peut être construit de plusieurs façons, notamment comme dual de l'ensemble de Cantor « quatre coins ».

En théorie des ensembles

Si Y est le sous-ensemble des points x d'un ensemble infini X ne vérifiant pas un prédicat P(x), alors on dit que P est vérifiée pour presque tous les éléments de X si le cardinal de Y est strictement inférieur au cardinal de X.

\frac{|\{k\in A, k\leq n\}|}{n}\rightarrow 1.
  • Presque tous les entiers sont non premiers. En effet, la densité de nombres premiers inférieurs à un entier n est équivalente à 1 / ln(n) quand n tend vers l'infini (théorème des nombres premiers).

Le concept de « presque partout »

Définition

Le concept d'ensemble négligeable permet notamment de définir le concept de « presque partout ». En effet, si μ est une mesure sur un espace mesurable (X,\mathcal B), une proposition P(x) dépendant d'une variable x \in X est dite vraie μ(dx)-presque partout s'il existe un ensemble mesurable A appartenant à \mathcal B tel que :

  1. \{ x / \mathrm{non}( P(x) )\} \subset A
  2. μ(A) = 0

Une propriété P(x) est dite vraie presque partout si l'ensemble des points où elle est fausse est de mesure nulle. Ainsi, une fonction f sera égale à une fonction g μ-presque partout si l'ensemble \mu(\{x / f(x)\ne g(x)\})=0.

Dans un ensemble ayant la puissance du continu, un ensemble dénombrable est de mesure nulle. C'est ce résultat qui permet d'affirmer que la fonction indicatrice des rationnels qui à un réel lui associe 1 si le réel est rationnel, 0 s'il est irrationnel, est nulle presque partout.

L'ensemble triadique de Cantor est un exemple de sous-ensemble indénombrable de [0,1] mais de mesure nulle. Presque tous les réels entre 0 et 1 sont hors de l'ensemble de Cantor.

Exemple  :

Si f:(X,\mathcal B,\mu) \rightarrow \R_{+} est une fonction d'un espace mesuré (X,\mathcal B,\mu) à valeurs positives telle que f est intégrable au sens de Lebesgue, alors :

\int_{X} f\,\mathrm d\mu =0 si et seulement si f = 0 μ-presque partout.

« Presque sûrement »

En probabilités, on préfère en général parler d'une propriété vraie presque sûrement, au lieu d'utiliser l'expression « presque partout ». Une propriété est vraie presque sûrement lorsqu'elle est vérifiée dans un ensemble dont la probabilité est égale à 1. La probabilité étant une mesure et l'espace mesurable ayant une probabilité de 1, c'est bien un cas particulier de la situation précédente.

Dans l'espace probabilisé \left(\Omega, \mathcal B, \mathbb P\right) (ensemble Ω, muni d'une tribu \mathcal B (ou σ-algèbre ) sur Ω et d'une mesure \mathbb P sur cette tribu, telle que \mathbb P(\Omega) = 1), la propriété R est vraie presque sûrement s'il existe un ensemble mesurable A appartenant à \mathcal B tel que :

  1. \{ x / \mathrm{non}( R(x) )\} \subset A
  2.  \mathbb P(A) = 0

Ce qui est équivalent à dire que \mathbb P(\Omega\backslash A)=1, par propriété des probabilités.

De même, un ensemble B\in\mathcal B\ vérifiant \mathbb P(B)=1\ est dit presque sûr, ou presque certain.

La notion de propriété vérifiée presque sûrement entraîne celle de convergence presque sûre en convergence de variables aléatoires.

(X_n)_{n\in\mathbb{N}} converge presque sûrement vers X ssi \mathbb P(\{\omega/\lim_{n\rightarrow\infty} X_n(\omega)=X(\omega)\})=1. La convergence presque sûre implique les autres propriétés de convergences usuelles en théorie des probabilités (convergence en probabilités et convergence en loi). En ce sens, elle est la plus « forte » des lois de convergence.

L'expression presque tout intervient couramment dans différents domaines des mathématiques. Elle peut avoir un sens probabiliste, topologique ou ensembliste ; en général, le contexte précise ce sens.

En topologie

Dans un espace de Baire, presque tous les points vérifient une propriété lorsque l'ensemble des points la vérifiant contient l'intersection dénombrable d'ouverts denses. Par le théorème de Baire, cette intersection est non vide et dense.

Cette notion n'a aucun rapport avec celle de « presque tous » au sens de la théorie de la mesure.

  • Presque tous les réels sont des irrationnels.
  • Presque toutes les fonctions continues [0,1]\rightarrow\R sont non dérivables.
  • Presque tous les points de \R sont des valeurs régulières d'une fonction différentiable f:M\rightarrow \RM est un segment de \R ou n'importe quelle variété compacte.
  • Portail des mathématiques Portail des mathématiques
Ce document provient de « Ensemble n%C3%A9gligeable ».

Wikimedia Foundation. 2010.

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

Игры ⚽ Поможем сделать НИР

Regardez d'autres dictionnaires:

  • partout — [ partu ] adv. • 1160; de 1. par et tout ♦ En tous lieux; en de nombreux endroits. « Une sphère infinie dont le centre est partout » (Pascal). On ne peut être partout à la fois (⇒ ubiquité) . Mettre, fourrer son nez partout : être indiscret. «… …   Encyclopédie Universelle

  • Egalite (mathematiques) — Égalité (mathématiques) En mathématiques, l’égalité est une relation binaire entre objets (souvent appartenant à un même ensemble) signifiant que ces objets sont identiques, c’est à dire que le remplacement de l’un par l’autre dans une expression …   Wikipédia en Français

  • Egalite de Parseval — Égalité de Parseval Pour les articles homonymes, voir Parseval. L égalité de Parseval (parfois appelée également Théorème de Parseval ou Identité de Rayleigh) est une formule fondamentale de la théorie des séries de Fourier. On la doit au… …   Wikipédia en Français

  • Égalité de parseval — Pour les articles homonymes, voir Parseval. L égalité de Parseval (parfois appelée également Théorème de Parseval ou Identité de Rayleigh) est une formule fondamentale de la théorie des séries de Fourier. On la doit au mathématicien français Marc …   Wikipédia en Français

  • Égalité (mathématiques) — En mathématiques, l’égalité est une relation binaire entre objets (souvent appartenant à un même ensemble) signifiant que ces objets sont identiques, c’est à dire que le remplacement de l’un par l’autre dans une expression ne change jamais la… …   Wikipédia en Français

  • Égalité de Parseval — Pour les articles homonymes, voir Parseval. L égalité de Parseval (parfois appelée également Théorème de Parseval ou Identité de Rayleigh) est une formule fondamentale de la théorie des séries de Fourier. On la doit au mathématicien français Marc …   Wikipédia en Français

  • Passe-Partout (émission de télévision) — Pour les articles homonymes, voir Passe partout. Passe Partout Titre original Passe Partout Genre Série jeunesse Créateur(s) Laurent Lachance Production Minis …   Wikipédia en Français

  • Coefficient de Fourier — Série de Fourier Le premier graphe donne l allure du graphe d une fonction périodique ; l histogramme donne les valeurs des modules des coefficients de Fourier correspondant aux différentes fréquences. En analyse, les séries de Fourier sont… …   Wikipédia en Français

  • Coefficients de Fourier — Série de Fourier Le premier graphe donne l allure du graphe d une fonction périodique ; l histogramme donne les valeurs des modules des coefficients de Fourier correspondant aux différentes fréquences. En analyse, les séries de Fourier sont… …   Wikipédia en Français

  • Décomposition d'un signal non sinusoïdal en séries de Fourier — Série de Fourier Le premier graphe donne l allure du graphe d une fonction périodique ; l histogramme donne les valeurs des modules des coefficients de Fourier correspondant aux différentes fréquences. En analyse, les séries de Fourier sont… …   Wikipédia en Français

Share the article and excerpts

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