Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur Graph Search.
Concept
Matrice symplectique
Résumé
En mathématique, une matrice symplectique est une matrice M de taille 2n par 2n (dont les entrées sont typiquement soit des réels soit des complexes) satisfaisant la condition
où MT désigne la matrice transposée de M et J est la matrice par blocs antisymétrique définie par :
(In étant la matrice identité n×n). On remarque que le déterminant de J vaut 1 et qu'on a l'identité J = −I2n.
Toute matrice symplectique est inversible et son inverse est donnée par :
De plus, le produit de deux matrices symplectiques est, à nouveau, une matrice symplectique. Ceci donne à l'ensemble de toutes les matrices symplectiques la structure d'un groupe. Il existe une structure de variété naturelle sur ce groupe qui en fait un groupe de Lie (réel ou complexe) appelé le groupe symplectique. Le groupe symplectique a pour dimension n(2n + 1).
Il suit facilement de la définition que le déterminant de toute matrice symplectique est ±1. En fait, il apparaît que le déterminant est toujours +1. Une manière de voir ceci est au travers de l'utilisation du Pfaffien et de l'identité
Puisque et , nous avons det(M) = 1.
Soit M une matrice par blocs 2n×2n définie comme
où A, B, C, D sont des matrices n×n. Alors la condition pour que M soit symplectique est équivalente aux conditions
Quand n = 1 ces conditions se réduisent à la seule condition det(M) = 1. Donc une matrice 2×2 est symplectique si et seulement si son déterminant est égal à 1.
Dans la formulation abstraite de l'algèbre linéaire, les matrices peuvent être décrites comme des transformations linéaires d'espaces vectoriels de dimension finie. L'équivalent d'une matrice symplectique est alors une transformation symplectique d'un espace vectoriel symplectique, qui est pour résumer un espace vectoriel V de dimension 2n doté d'une forme bilinéaire antisymétrique non dégénérée ω.
Une transformation symplectique est alors une transformation linéaire L : V → V qui préserve ω,
En fixant une base de V, ω peut être décrit par une matrice Ω et L par une matrice M relatives à cette base.
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.