Corollary 1
Tag 09M6, permanent. Cite it as [Bourbaki, Tag 09M6].
Integration, chapter VIII, § 5. The space of closed subgroups
— Let be a compact subset of , a symmetric compact neighborhood of in , a real number . The restriction of the mapping to the set of such that and is vaguely continuous.
For, let be a function such that for . For every ,
for satisfying the conditions of the statement; since, moreover, , one has , whence the corollary.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.