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
-----