Bonjour,
Je cherche a montrer qu'une matrice complexe non necessairement inversible peut avoir une decomposition polaire, sans utiliser la decomposition en valeurs singulieres.
Autrement dit que = , avec positive et unitaire.
J'ai pose = \sqrt{A^* A}, mais j'arrive pas a montrer l'existence de (dans le cas non inversible bien sur...)
Quelqu'un a une idee ?
Merci
Mathieu
-----