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

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

Versions :