Proposition 15
Tag 08M0, permanent. Cite it as [Bourbaki, Tag 08M0].
Integration, chapter III, § 1. Measures on a locally compact space
— Let be a subset of . The following properties are equivalent:
a) is vaguely bounded. b) is vaguely relatively compact. c) is equicontinuous. d) For every compact subset of , there exists a number such that for every measure and every function .
Since is a barreled space (No. 1, Prop. 2), the equivalence of properties a), b) and c) follows from TVS, III, §4, No. 1, Scholium.
It is clear that d) implies a). Finally, if is equicontinuous then the set of restrictions of the measures to is also equicontinuous, whence the condition d), since is a normed space.
\* We shall see in Ch. IV, §4, No. 6 that the conditions of Proposition 15 are also equivalent to the condition that, for every compact subset of , there exists a constant such that for every measure .*
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
- Exercise 2, § 1
- Proposition 16, § 1
- Proposition 17, § 1
- Proposition 6, § 4
- Lemma 6, § 6
- Proposition 2, § 5