Un homéomorphisme réalisé par l'exponentielle matricielle : Différence entre versions
De AgregmathKL
m (Remplacement de texte — « link=Média:(.*)\.tex » par « link={{filepath:$1.tex}} ») |
|||
| Ligne 8 : | Ligne 8 : | ||
*[[160 -- Endomorphismes remarquables d'un espace vectoriel euclidien (de dimension finie).]] | *[[160 -- Endomorphismes remarquables d'un espace vectoriel euclidien (de dimension finie).]] | ||
| − | [[Fichier:Tex.png|alt=Tex|link= | + | [[Fichier:Tex.png|alt=Tex|link={{filepath:Homeo_exponentielle.tex}}|24px]][[Fichier:Pdf.png|alt=Pdf|link=Média:Homeo_exponentielle.pdf|24px]] |
Version du 17 janvier 2015 à 20:43
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).
