Bonjour,
dans un exercice sur l'adjoint d'une matrice, on a un produit scalaire hermitien où U* est l'adjoint de U défini par .
On note
1) Montrer que
C'est fait.
2) Montrer que :
J'arrive à démontrer les sommes directes et les orthogonalités mais pas les égalités. Les inclusions de droite à gauche sont évidentes, mais les autres ? Je pars d'un élément T de Mp,1 et j'ai deux cas :
- soit AT = 0 et donc T est dans KerA
- soit AT non nul et donc il faut prouver qu'il existe Z dans Mn,1 tel que A*.Z = T.
Des idées ?
-----