Ivan Shishkin, Birch Grove

Ensemble négligeable

Concept history

A revision trail for this concept page.

4 revisions

Revision 8036

11/2/2026, 6:58:32 PM · SalixBabylonica

Updated text

Compare with revision 80332 changed lines
1##### Définition
2Soit $(X,\mathcal A,\mu)$ un espace mesuré.
3On dit qu'un ensemble $N\subset X$ est dit négligeable s'il existe un [[ensemble mesurable]] $A\in\mathcal A$ tel que
4\[ N\subset A \qquad\text{et}\qquad \mu(A)=0. \]
5##### Remarques
6- On note $\mathcal N_{\mu}$ l'ensemble des négligeables relativement à la mesure $\mu$.
6- On note $\mathcal N_{\mu}$ l'ensemble des négligeables relativement à l'espace mesurée $(X,\mathcal A,\mu)$.
7- Attention, $\mu (N)$ n'est pas définie car, a priori, $N$ n'est pas forcément [[ensemble mesurable | mesurable]] !
8Pour pouvoir parler de la mesure d'un négligeable, on introduit alors la notion de [[tribu complétée]] ainsi que de [[mesure complète]].

Revision 8033

11/2/2026, 6:56:56 PM · SalixBabylonica

Added exercise "Etude d'ensembles négligeables"

linked exercisesNoneEtude d’ensembles négligeables

Revision 8032

11/2/2026, 6:41:00 PM · SalixBabylonica

Updated text

Compare with revision 80303 changed lines
1##### Définition
2Soit $(X,\mathcal A,\mu)$ un espace mesuré.
3On dit qu'un ensemble $N\subset X$ est dit négligeable s'il existe un [[ensemble mesurable]] $A\in\mathcal A$ tel que
4\[ N\subset A \qquad\text{et}\qquad \mu(A)=0. \]
5##### Remarque
5##### Remarques
6- On note $\mathcal N_{\mu}$ l'ensemble des négligeables relativement à la mesure $\mu$.
6- Attention, $\mu (N)$ n'est pas définie car, a priori, $N$ n'est pas forcément [[ensemble mesurable | mesurable]] !
7Pour pouvoir parler de la mesure d'un négligeable, on introduit alors la notion de [[tribu complétée]] ainsi que de [[mesure complète]].

Revision 8030

11/2/2026, 6:36:31 PM · SalixBabylonica

Concept created

##### Définition 
Soit $(X,\mathcal A,\mu)$ un espace mesuré. 
On dit qu'un ensemble $N\subset X$ est dit négligeable s'il existe un [[ensemble mesurable]] $A\in\mathcal A$ tel que
\[ N\subset A \qquad\text{et}\qquad \mu(A)=0. \]
##### Remarque
- Attention, $\mu (N)$ n'est pas définie car, a priori, $N$ n'est pas forcément [[ensemble mesurable | mesurable]] !
Pour pouvoir parler de la mesure d'un négligeable, on introduit alors la notion de [[tribu complétée]] ainsi que de [[mesure complète]].