Matrice Symplectique


Matrice Symplectique

Matrice symplectique

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

MTJM = J

MT désigne la transposition de M et J est la matrice antisymétrique 2n×2n

J =
\begin{pmatrix}
0 & I_n \\
-I_n & 0 \\
\end{pmatrix}

(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é par:

M − 1 = − JMTJ.

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é

Pf(MTJM) = det(M)Pf(J).

Puisque MTJM = J et \mbox{Pf}(J) \neq 0, nous avons det(M) = 1.

Soit M une matrice bloc 2n×2n définie comme

M = \begin{pmatrix}A & B \\ C & D\end{pmatrix}

A, B, C, D sont des matrices n×n. Alors la condition pour que M soit symplectique est équivalente aux conditions

ATDCTB = 1
ATC = CTA
DTB = BTD.

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 elle a un déterminant 1.

Transformations symplectiques

Dans la formulation abstraite de l'algèbre linéaire, les matrices peuvent être décrite 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 : VV qui préserve ω, i.e.

ω(Lu,Lv) = ω(u,v).

En fixant une base de V, ω peut être décrit par une matrice Ω et L par une matrice M relatives à cette base. La condition pour que L soit une transformation symplectique est précisément celle pour que M soit une matrice symplectique :

MTΩM = Ω.

Un changement de base, représenté par une matrice A donne :

\Omega \mapsto A^T \Omega A
M \mapsto A^{-1} M A.

On peut alors toujours ramener Ω à la matrice J introduite plus haut en choisissant A convenablement.

Notation : J ou Ω

Parfois, la notation J est utilisée en lieu et place de Ω pour décrire la matrice antisymétrique. C'est un choix qui s'avère discutable, puisqu'il peut causer des confusions avec une structure complexe linéaire, qui possède des coordonnées similaires mais représente une structure totalement différente.

Soit une structure hermitienne sur un espace vectoriel, J et Ω sont alors liées par :

\Omega_{ab} = g_{ac}{J^c}_b

gac est une métrique. Le fait que J et Ω aient parfois les mêmes coordonnées (au signe près) est une conséquence du fait que la métrique g est souvent une identité.

Voir aussi

  • Portail des mathématiques Portail des mathématiques
Ce document provient de « Matrice symplectique ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Matrice Symplectique de Wikipédia en français (auteurs)

Regardez d'autres dictionnaires:

  • Matrice symplectique — 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 MTJM = J où MT désigne la transposition de M et J est la matrice… …   Wikipédia en Français

  • Matrice symplétique — Matrice symplectique 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 MTJM = J où MT désigne la transposition de M et J …   Wikipédia en Français

  • Matrice de Hamilton — Matrice hamiltonienne En mathématiques, une matrice hamiltonienne (ou de Hamilton) A est une matrice réelle 2n×2n satisfaisant la condition que le produit KA soit symétrique, K étant la matrice antisymétrique : et In étant la matrice… …   Wikipédia en Français

  • Matrice hamiltonienne — En mathématiques, une matrice hamiltonienne (ou de Hamilton) A est une matrice réelle 2n×2n satisfaisant la condition que le produit KA soit symétrique, K étant la matrice antisymétrique : et In étant la matrice identité n×n. En d autres… …   Wikipédia en Français

  • Matrice Aléatoire — Une matrice aléatoire est une matrice dont les éléments sont des variables aléatoires. Face à la complexité croissante des spectres nucléaires observés expérimentalement dans les années 1950, Wigner a suggeré de remplacer l opérateur hamiltonien… …   Wikipédia en Français

  • Matrice aleatoire — Matrice aléatoire Une matrice aléatoire est une matrice dont les éléments sont des variables aléatoires. Face à la complexité croissante des spectres nucléaires observés expérimentalement dans les années 1950, Wigner a suggeré de remplacer l… …   Wikipédia en Français

  • Matrice (algèbre) — Matrice (mathématiques) Pour les articles homonymes, voir Matrice. En mathématiques, les matrices servent à interpréter en termes calculatoire …   Wikipédia en Français

  • Matrice (mathematiques) — Matrice (mathématiques) Pour les articles homonymes, voir Matrice. En mathématiques, les matrices servent à interpréter en termes calculatoire …   Wikipédia en Français

  • Matrice carrée — Matrice (mathématiques) Pour les articles homonymes, voir Matrice. En mathématiques, les matrices servent à interpréter en termes calculatoire …   Wikipédia en Français

  • Matrice Diagonalisable — En algèbre linéaire, une matrice carrée M d ordre n ( ) à coefficients dans un corps commutatif K, est dite diagonalisable si elle est semblable à une matrice diagonale, c est à dire s il existe une matrice inversible P et une matrice diagonale D …   Wikipédia en Français


We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.