561 B
561 B
up:: tribu complète #s/maths/intégration
[!definition] Définition Soit
(E, \mathcal{A}, \mu)
un espace mesuré Soit\displaystyle\mathcal{N}
l'ensemble des ensemble négligeable deE
La tibu complétée de la tribu $\mathcal{A}$ est la tribu engendrée par un ensemble par\mathcal{A} \cup \mathcal{N}
, c'est-à-dire la tribu :\displaystyle \sigma \left( \mathcal{A} \cup \bigcup _{\substack{N \in E\\ \text{négligeable}}} N \right)
^definition