Une 2‑forme bilinéaire antisymétrique, fermée et non dégénérée ω définie sur un espace d'états lisse de dimension paire qui fournit une mise en paire canonique entre directions infinitésimales de coordonnées et leurs directions conjuguées et sous-tend la dynamique hamiltonienne.

Principe

La non dégénérescence de ω établit un isomorphisme entre champs de vecteurs et 1-formes, permettant à chaque fonction lisse (un hamiltonien) de générer un champ de vecteurs unique par contraction avec ω ; la fermeture (dω=0) garantit l'existence de coordonnées canoniques locales et la préservation du volume sous le flot hamiltonien.

Démonstration

Exemple canonique en coordonnées locales (q^i,p_i) : ω=∑_i dq^i∧dp_i est fermée et non dégénérée ; pour H(q,p) le champ de Hamilton X_H satisfait ι_{X_H}ω=dH et produit les équations de Hamilton usuelles.

Mauvaise application

Utiliser une 2‑forme fermée mais dégénérée (forme présymplectique) en supposant l'unicité des flots générés est incorrect ; la dégénérescence autorise des directions de jauge et empêche d'inverser ω pour obtenir des champs de vecteurs.

Conséquence

Une véritable forme symplectique fournit des flots hamiltoniens bien définis, l'invariance de ω sous ces flots et des cartes locales où ω prend la forme canonique dq∧dp (propriété de Darboux).

Inversion

Une métrique riemannienne est une forme bilinéaire symétrique définie positive qui mesure longueurs et angles ; les formes symplectiques sont antisymétriques et mesurent des éléments d'aire orientés plutôt que des longueurs.

Limite

S'applique uniquement à des espaces d'états lisses de dimension paire munis d'une 2‑forme globalement non dégénérée et fermée ; exclut les espaces de dimension impaire, les 2‑formes dégénérées et les formes bilinéaires indéfinies comme en géométrie pseudo-riemannienne.

Tension sémantique

Forme symplectique versus structure de Poisson : une forme symplectique non dégénérée induit un crochet de Poisson, mais les structures de Poisson peuvent être dégénérées et exister là où il n'y a pas de forme symplectique globale.

Synthèse

Une forme symplectique est la 2‑forme antisymétrique, fermée et non dégénérée qui dote l'espace d'états de dimension paire d'une géométrie permettant d'apparier coordonnées et conjugués, de produire des champs hamiltoniens et de préserver les aires orientées sous la dynamique.