Remark 1
Tag 09R5, permanent. Cite it as [Bourbaki, Tag 09R5].
Integration, IX, p. 60, § 5. Measures on completely regular spaces
If is locally compact, the tight topology is finer than the topology induced on by the vague topology, and these two topologies coincide only when is compact. For, if is not compact, the mapping converges vaguely to 0 with respect to the filter of complements of relatively compact subsets of , but does not converge tightly to 0, because the function 1 belongs to (for the relations between vague convergence and tight convergence, see Prop. 9).
(1) This relation was only established above (§ 2, No. 1, Prop. 1) in the case that and are positive. The extension to the present situation, where and are complex and bounded, is immediate by linearity.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.