Voir la source de Un homéomorphisme réalisé par l'exponentielle matricielle

On prouve ici que l'exponentielle matricielle réalise un homéomorphisme entre les matrices hermitiennes et les matrices hermitiennes définies positives. La preuve s'adapte sans problème pour montrer qu'elle réalise aussi un homéomorphisme entre les matrices symétriques et les matrices symétriques définies positives. On utilise notamment la diagonalisation des matrices hermitiennes dans des bases orthonormées.

Recasage :

*[[155 -- Endomorphismes diagonalisables en dimension finie.]]
*[[156 -- Exponentielle de matrices. Applications.]]
*[[158 -- Matrices symétriques réelles, matrices hermitiennes.]]
*[[160 -- Endomorphismes remarquables d'un espace vectoriel euclidien (de dimension finie).]]

[[Fichier:Tex.png|alt=Tex|link={{filepath:Homeo_exponentielle.tex}}|24px]][[Fichier:Pdf.png|alt=Pdf|link={{filepath:Homeo_exponentielle.pdf}}|24px]]


[[Category:Développement de la leçon 155]]
[[Category:Développement de la leçon 156]]
[[Category:Développement de la leçon 158]]
[[Category:Développement de la leçon 160]]