Proposition 8
Tag 09MD, permanent. Cite it as [Bourbaki, Tag 09MD].
Integration, chapter VIII, § 5. The space of closed subgroups
The canonical bijection of N onto D is a homeomorphism.
Now, if is the set of Haar measures on the discrete subgroups of , then is canonically homeomorphic to the space of orbits of the group of homotheties in with ratio (GT, I, §5, No. 2, Prop. 4). It therefore suffices to prove that the canonical mapping of onto is a homeomorphism, which will result from the following lemma:
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Cites
- I, §5, No. 2, Prop. 4 not yet on this site