Remark
Tag 09HA, permanent. Cite it as [Bourbaki, Tag 09HA].
Integration, VII, p. 66, § 3. Applications and examples
The group is a closed subgroup of , and . We saw in Example 1 that . If , the function
on cannot be extended to a continuous representation of in (because such a representation would be equal to 1 on by Lemma 5, whereas for suitably chosen). It follows that the homogeneous space admits no relatively invariant measure if (§ 2, No. 6, Cor. 1 of Th. 3).
This homogeneous space may be identified, for , with the projective line over . For, let be the canonical basis of . The group operates transitively on the set of lines of with 0 omitted, and the stabilizer of is .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.