Bourbaki

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 Γd\Gamma_d is the set of Haar measures on the discrete subgroups of GG, then DD is canonically homeomorphic to the space of orbits of the group of homotheties in Γd\Gamma_d with ratio >0> 0 (GT, I, §5, No. 2, Prop. 4). It therefore suffices to prove that the canonical mapping α↦(α({e}),α/α({e}))\alpha \mapsto (\alpha(\{e\}), \alpha/\alpha(\{e\})) of Γd\Gamma_d onto R+∗×N\mathbf{R}_+^* \times \mathbf{N} 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
Transcribed from the printed volume. Not translated.