Corollary
Tag 08PW, permanent. Cite it as [Bourbaki, Tag 08PW].
Integration, chapter IV, § 1. Upper integral of a positive function
Every relatively compact set in has finite outer measure.
For, such a set is contained in a relatively compact open set (GT, I, §9, No. 7, Prop. 10), whose outer measure is finite (No. 2, Prop. 5).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
- I, §9, No. 7, Prop. 10 not yet on this site
- No. 2, Prop. 5