Bourbaki

Exemple 3

Étiquette 0DED, permanente. À citer comme [Bourbaki, Tag 0DED].

Algebra, chapter I, § 5. Groupes opérant sur un ensemble

\* Soit nn un entier ≥1\geq 1. Le groupe orthogonal O(n,R)\mathbf{O}(n, \mathbf{R}) opère transitivement sur la sphère unité Sn−1S_{n-1} de Rn\mathbf{R}^n. Le stabilisateur du point (0,…,0,1)(0, \ldots, 0, 1) s’identifie au groupe orthogonal O(n−1,R)\mathbf{O}(n-1, \mathbf{R}). Le O(n,R)\mathbf{O}(n, \mathbf{R})-ensemble homogène Sn−1S_{n-1} est donc isomorphe à O(n,R)/O(n−1,R)\mathbf{O}(n, \mathbf{R})/\mathbf{O}(n-1, \mathbf{R}).*

Bourbaki place la démonstration juste après l’énoncé : ce qui précède est l’énoncé avec sa démonstration.

Cité par

Rien.

Cite

Rien.

Transcrit du volume imprimé. Non traduit.