Développement : Compacité de On(R), décomposition polaire dans Mn(R) [no pdf]

Détails/Enoncé :

- 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

Autres années :

Versions :

Pas de version pour ce développement.