Symplectic vector space

A vector space V together with a non-degenerate alternating form

ω:V×V⟶R.

The alternating form plays the role of pairing the coordinates of the space. The canonical example is R2n with coordinates (q1,…,qn,p1,…,pn) and

ω=∑idqi∧dpi,

so that each qi is paired with its pi, and the space splits into the distinguished planes Πi=⟨qi,pi⟩.

From a vector to a covector. Fix v∈V. The map

ω(v,−):V⟶R

is linear, so it is a covector. Its kernel is a hyperplane of V (equivalently, its level sets are a family of parallel hyperplanes, the picture of a covector in visualization of k-forms). This way, to each vector the form associates a hyperplane, and therefore a covector. Since ω is non-degenerate, a nonzero vector gives a nonzero covector, and the correspondence is an isomorphism V≅V∗, similar to the musical isomorphism in dual vector spaces.

Intuition.
The form is a device that measures parallelograms: given u,v∈V, the number ω(u,v) is computed by projecting the parallelogram spanned by u and v onto each of the distinguished planes Πi and adding up the (signed) areas of these projections. This is the measurement picture of visualization of k-forms.
When we fix a vector u, vectors vs such that ω(u,v)=0 are those who after projection of u and v, are proportional to u. In the canonical example above, if u=∂q1, the vs are precisely all the ones whose component in ∂p1 is zero.
Pasted image 20261003123857.png|300

Related: symplectic form, dual vector space.