Développement #1424
Titre : Théorème de Cartan-Dieudonné (générateurs de O(q) et SO(q))
Contenu : Soit $q$ une forme quadratique définie positive (sa forme polaire est un produit scalaire). Il s'agit de montrer que $O(q)$ est engendré par les réflexions (et de préciser combien de réflexions suffisent pour décomposer $u \in O(q)$) et que $SO(q)$ est engendré par les renversements.
Créé le : 23/07/2026 12:42
Mis à jour : 23/07/2026 12:42
| Qualité | Numéro | Titre |
|---|---|---|
| 5 | 108 | Exemples de parties génératrices d’un groupe. Applications.2025 |
| 5 | 158 | Endomorphismes remarquables d’un espace vectoriel euclidien (de dimension finie).2025 |
| 5 | 161 | Espaces vectoriels et espaces affines euclidiens : distances, isométries.2025 |
| 5 | 191 | Exemples d’utilisation de techniques d’algèbre en géométrie.2025 |