Aller au contenu
XiMaths
← Tous les exercices

Décomposition polaire d'une matrice inversible

L3M1MPMPIdifficulté 4/5Algèbre linéaire · Espaces euclidiens · Réduction des endomorphismespar XiMaths▲ Exercice utile · 0

Énoncé

On note Sn++(R)\mathcal{S}_n^{++}(\R) l'ensemble des matrices symétriques réelles dont les valeurs propres sont strictement positives, et On(R)\mathrm{O}_n(\R) le groupe orthogonal.

Soit A∈GLn(R)A \in \mathrm{GL}_n(\R). Montrer qu'il existe un unique couple (O,S)∈On(R)×Sn++(R)(O, S) \in \mathrm{O}_n(\R) \times \mathcal{S}_n^{++}(\R) tel que A=OSA = OS.

Indications

Indication 1

Analyse : si A=OSA = OS, alors A⊤A=S2A^\top A = S^2, et A⊤AA^\top A est symétrique à valeurs propres strictement positives. Utiliser l'unicité de la racine carrée d'une matrice symétrique positive.

Indication 2

Synthèse : prendre pour SS la racine carrée de A⊤AA^\top A, puis O=AS−1O = A S^{-1}, et vérifier que O⊤O=InO^\top O = I_n.

Ta solution

Connecte-toi pour envoyer ta copie en photos : trois membres la reliront.

PartagerWhatsAppFacebookXPinterestEmail

Questions et remarques

Pour demander une précision, signaler une coquille ou discuter d'une méthode. Pas de solution ici : elle s'envoie en copie, plus haut.

Connecte-toi pour poser une question ou répondre.

Exercices proches

Licence CC BY-SA 4.0.