Un homéomorphisme réalisé par l'exponentielle matricielle : Différence entre versions
De AgregmathKL
(Page créée avec « 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… ») |
|||
| Ligne 9 : | Ligne 9 : | ||
[[Fichier:Tex.png|alt=Tex|link=Média:Homeo_exponentielle.tex|24px]][[Fichier:Pdf.png|alt=Pdf|link=Média:Homeo_exponentielle.pdf|24px]] | [[Fichier:Tex.png|alt=Tex|link=Média:Homeo_exponentielle.tex|24px]][[Fichier:Pdf.png|alt=Pdf|link=Média: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]] | ||
Version du 16 décembre 2014 à 15:07
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).
