Bourbaki

Exercice 14, § 5

Intégration, IV

Soit (An)(A_n) une suite de parties de X, telle que, pour chaque indice n, il existe un ensemble mesurable Bn⊇AnB_n \supseteq A_n, les BnB_n étant deux à deux sans point commun. Montrer que l’on a

μ∗(⋃nAn)=∑nμ∗(An)etμ∗(⋃nAn)=∑nμ∗(An). \mu^*\left( \bigcup_n A_n \right) = \sum_n \mu^*(A_n) \quad \text{et} \quad \mu_*\left( \bigcup_n A_n \right) = \sum_n \mu_*(A_n).
Solution

Aucune solution n’a encore été écrite.

Transcrit du volume imprimé. Non traduit.