Décomposition polaire

De testwiki
Aller à la navigation Aller à la recherche

La décomposition polaire est un outil mathématique fondamental pour comprendre les propriétés topologiques des groupes linéaires réels et complexes.

Décomposition polaire d'une matrice réelle

  • Les applications suivantes sont des homéomorphismes, et même des difféomorphismes.
    {On()×Sn++()GLn()(Q,S)QS{On()×Sn++()GLn()(Q,S)SQ.
    En particulier, toute matrice inversible réelle se décompose de façon unique en produit d'une matrice orthogonale et d'une matrice symétrique définie positive[1].
  • Les applications suivantes sont surjectives mais non injectives :
    {On()×Sn+()Mn()(Q,S)QS{On()×Sn+()Mn()(Q,S)SQ.
    En particulier, toute matrice réelle se décompose en produit d'une matrice orthogonale et d'une unique matrice symétrique positive (mais pas nécessairement de façon unique)[1].

Décomposition polaire d'une matrice complexe

  • Les applications suivantes sont des homéomorphismes, et même des difféomorphismes.
    {Un()×Hn++()GLn()(Q,S)QS{Un()×Hn++()GLn()(Q,S)SQ
    En particulier, toute matrice inversible complexe se décompose de façon unique en produit d'une matrice unitaire et d'une matrice hermitienne définie positive[2]Modèle:,[3].
  • Les applications suivantes sont surjectives mais en général non injectives :
    {Un()×Hn+()Mn()(Q,S)QS{Un()×Hn+()Mn()(Q,S)SQ.
    En particulier, toute matrice complexe se décompose en produit d'une matrice unitaire et d'une unique matrice hermitienne positive (mais pas nécessairement de façon unique)[2].

Remarque. Pour n = 1, on retrouve l'écriture z=reiθ d'un nombre complexe non nul. C'est la raison du nom de décomposition polaire : c'est une sorte de généralisation des coordonnées polaires.

Application

L'ensemble des matrices symétriques ou hermitiennes définies positives est convexe (2 matrices symétriques positives sont reliées par un segment à valeur dans SO(R)) donc contractile. Il en résulte que GLn() a le même type d'homotopie que On() et que GLn() a le même type d'homotopie que Un().

Notes et références

Modèle:Références

Modèle:Palette

Modèle:Portail