Compacité de On(R), décomposition polaire dans Mn(R)
- On(R) est compact
- Décomposition polaire dans Mn(R)
- Décompisition polaire dans GLn(R) en + si trop court
Preuve dans le Carnet de Voyage en algébrie de Caldero
| Qualité | Numéro | Titre |
|---|---|---|
| 5 | 152 | Endomorphismes diagonalisables en dimension finie2026 |
| 5 | 157 | Matrices symétriques réelles, matrices hermitiennes.2026 |
| 5 | 203 | Utilisation de la notion de compacité.2026 |