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 :

Références utilisées dans les versions de ce développement :

Carnet de voyage en Algébrie, Philippe Caldero, Marie Peronnier (utilisée dans 56 versions au total)