Développement : Décomposition polaire

Détails/Enoncé :

L'application suivante est un homéomorphisme

$$ \begin{array}{ccc}
O_n(\mathbb{R}) \times S_n^{++}(\mathbb{R}) & \to & GL_n(\mathbb{R}) \\
(O,S) & \longmapsto & OS
\end{array}$$

Autres années :

Versions :