Développement #1188
Titre : Homéomorphisme $\mathrm{exp} : \mathcal{S}_n(\mathbb{R}) \to \mathcal{S}_n^{+*}(\mathbb{R})$ et décomposition polaire
Contenu : Dans cette version on montre les deux résultats (la décomposition polaire est déduite de l'homéomorphisme).
Créé le : 23/07/2026 12:42
Mis à jour : 23/07/2026 12:42
| Qualité | Numéro | Titre |
|---|---|---|
| 4 | 106 | Groupe linéaire d’un espace vectoriel de dimension finie E, sous-groupes de GL(E). Applications.2025 |
| 4 | 152 | Endomorphismes diagonalisables en dimension finie.2025 |
| 5 | 155 | Exponentielle de matrices. Applications.2025 |
| 5 | 157 | Matrices symétriques réelles, matrices hermitiennes.2025 |
| 4 | 158 | Endomorphismes remarquables d’un espace vectoriel euclidien (de dimension finie).2025 |
| 3 | 203 | Utilisation de la notion de compacité.2025 |