Proposition 17
Tag 08M6, permanent. Cite it as [Bourbaki, Tag 08M6].
Integration, chapter III, § 1. Measures on a locally compact space
On the space , consider the following topologies: : the topology of pointwise convergence in a total subset T of ; : the vague topology; : the topology of strictly compact convergence; : the topology of compact convergence. Each of these topologies is coarser than the next. Moreover: (i) The bounded sets are the same for , and . (ii) If H is a vaguely bounded subset of , the topologies induced on H by the topologies , , , are identical.
A vaguely bounded subset of is equicontinuous (No. 9, Prop. 15), thus the first assertion follows from TVS, III, §3, No. 7, Prop. 9, and the second from GT, X, §2, No. 4, Th. 1.
Recall that when is paracompact, the topology of strictly compact convergence coincides with the topology of compact convergence (No. 1, Prop. 2).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Cites
- X, §2, No. 4, Th. 1 not yet on this site
- No. 9, Prop. 15
- No. 1, Prop. 2
- III, §3, No. 7, Prop. 9