Bourbaki

Remarque 2

Étiquette 0E65, permanente. À citer comme [Bourbaki, Tag 0E65].

Integration, chapter IV, § 1. Intégrale supérieure d'une fonction positive

On observera que pour une suite décroissante (fn)(f_n) de fonctions ⩾0\geqslant 0, on n’a pas nécessairement μ∗(inf⁡nfn)=inf⁡nμ∗(fn)\mu^*(\inf_n f_n) = \inf_n \mu^*(f_n), même si μ∗(fn)<+∞\mu^*(f_n) < +\infty pour tout nn (cf. § 4, exerc. 8 c)).

Bourbaki place la démonstration juste après l’énoncé : ce qui précède est l’énoncé avec sa démonstration.

Cité par

Rien.

Cite

Rien.

Transcrit du volume imprimé. Non traduit.