Décomposition Polaire sous la forme A=exp(iΘ)R

Soit A ∈ Mn(C), alors il existe une matrice hermitienne Θ et une matrice hermitienne positive R telles que A = exp(iΘ) R. Si A est inversible alors R et exp(iΘ) sont uniques, mais pas Θ. Ceci, permet de généraliser la forme polaire bien connue sur C, z = r exp(iθ)
Qualité Numéro Titre
5 154 Exemples de décompositions de matrices. Applications. 2024
5 152 Endomorphismes diagonalisables en dimension finie2026
5 155 Exponentielle de matrices. Applications.2026
5 157 Matrices symétriques réelles, matrices hermitiennes.2026
4 158 Endomorphismes remarquables d’un espace vectoriel euclidien (de dimension finie).2026
Rajouter une version
Utilisateur : BUISSON
Développement original construit principalement à partir du Gourdon Algèbre et Isenmann-Pecatte pour la partie unicité par les polynômes de Lagrange. Grace à la démonstration de la surjectivité de l'exponentielle des matrices antihermitiennes dans les matrices unitaires on peut recaser ce développement dans la leçon exponentielle de matrices. Ne pas hésiter à enlever la partie unicité si c'est trop long.'
Références :
L'oral à l'agrégation de mathématiques - Une sélection de développements - Isenmann, Pecatte
Algèbre\r - Gourdon