Lemma 2
Tag 09M0, permanent. Cite it as [Bourbaki, Tag 09M0].
Integration, chapter VIII, § 5. The space of closed subgroups
Let X be a locally compact space and for every measure , let be the support of . Let be a filter on that converges vaguely to a measure . Then, for every neighborhood V of a point s of the support of , there exists a set such that, for every , one has . For, if is a function with support contained in V and such that , by definition there exists a set such that for all , which implies .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Cites
Nothing.