# Espace vectoriel symplectique

En algèbre, un espace vectoriel est symplectique quand on le munit d'une forme symplectique, c'est-à-dire une forme bilinéaire alternée et non dégénérée. L'étude de ces espaces vectoriels présente quelques ressemblances avec l'étude des espaces préhilbertiens réels puisqu'on y définit également la notion d'orthogonalité. Mais il y a de fortes différences, ne serait-ce que parce que tout vecteur est orthogonal à lui-même.
Les espaces vectoriels symplectiques servent de modèles pour définir les variétés symplectiques, étudiées en géométrie symplectique. Ces dernières sont le cadre naturel de la mécanique hamiltonienne.
Un espace vectoriel préhilbertien complexe est automatiquement muni d'une structure symplectique en tant qu'espace vectoriel réel. En termes de variétés, l'analogue est la notion de variété kählérienne.

## Définition

Soit $V$ un espace vectoriel sur le corps des réels (le cas général sera présenté ci-dessous). Une forme symplectique sur $V$ est une forme bilinéaire alternée et non dégénérée $\omega :V\times V\to \mathbb {R}$, i.e. :
* on a le caractère alterné $\omega (u,u)=0,\quad \forall u\in V$
    qui est parfois remplacé par l'antisymétrie: $\omega (u,v)=-\omega (v,u),\quad \forall u,v\in V$ (ces deux propriétés sont équivalentes) ;
* et la non-dégénérescence: $u\neq 0\implies \omega (u,\cdot )\neq 0$.
Un espace vectoriel symplectique $(V,\omega )$ est un espace vectoriel $V$ muni d'une forme symplectique $\omega$.
Deux vecteurs $u,v\in V$ sont dits (symplectiquement) orthogonaux lorsque $\omega (u,v)=0$. Par caractère alterné de $\omega$, tout vecteur $v$ de $V$ est orthogonal à lui-même.
Proposition : Tout espace vectoriel symplectique de dimension finie est de dimension réelle paire.
Soit $(V,\omega )$ un espace vectoriel symplectique de dimension finie $n$. Soit $[\omega _{i,j}]$ la matrice représentative de $\omega$ pour un choix donné de base dans $(V,\omega )$. Puisque $\omega$ est antisymétrique, la matrice $[\omega _{i,j}]$ l'est aussi et comme $\omega$ n'est pas dégénéré, la matrice $[\omega _{i,j}]$ est inversible. Or le déterminant d'une matrice antisymétrique d'ordre impair est toujours nul, de sorte que la dimension de $V$ doit être pair.
Remarque : la notion de matrice représentative d'une forme symplectique n'est pas identique à la notion de matrice symplectique.

## L'espace vectoriel symplectique standard

L'espace vectoriel symplectique de référence est l'espace $(\mathbb {R} ^{2n},\omega )$ où, en base canonique $(e_{1},\ldots ,e_{n},f_{1},\ldots ,f_{n})$, la forme symplectique $\omega$ vérifie les relations
    $\omega (e_{i},f_{j})=-\omega (f_{j},e_{i})=\delta _{ij}\,$
    $\omega (e_{i},e_{j})=\omega (f_{i},f_{j})=0\,$.
La représentation matricielle de la forme symplectique standard est alors :
    $[\omega _{i,j}]={\begin{bmatrix}0&I_{n}\\-I_{n}&0\end{bmatrix}}$
où $I_{n}$ désigne la matrice identité de taille $n\times n$.
Il y a en quelque sorte des directions couplées : chaque $e_{i}$ est orthogonal à tous les vecteurs de base sauf $f_{i}$.
Une variante du procédé d'orthonormalisation de Gram-Schmidt permet de montrer que tout espace vectoriel symplectique de dimension finie possède une telle base, à laquelle on donne en général le nom de base de Darboux.

## Sous-espaces vectoriels

Soit $(V,\omega )$ un espace vectoriel symplectique. Soit $W\subset V$ un sous-espace vectoriel de $V$. Le perpendiculaire (symplectique) de $W$ est par définition le sous-espace vectoriel
    $W^{\omega }:=\{v\in V:\omega (v,w)=0,\forall w\in W\}$.
Le sous-espace vectoriel $W$ est dit :
* symplectique si $W\cap W^{\omega }=\{0\}$
* isotrope si $W\subset W^{\omega }$
* coïsotrope si $W^{\omega }\subset W$
* lagrangien si $W^{\omega }=W$
Tout sous-espace vectoriel lagrangien $W$ de $(V,\omega )$ est :
* (maximal) isotrope
* (minimal) coïsotrope
* de dimension la moitié celle de $V$.

## Espace symplectique sur un corps quelconque

La définition des espaces symplectiques s'étend sans changement à tout corps de caractéristique différente de 2. En caractéristique 2, il n'y a plus équivalence entre les caractères alterné et antisymétrique.