A bilinear form is alternating if for every vector . Expanding gives , hence . If the characteristic is not two, the converse follows from by dividing by two. In characteristic two, the relation is just symmetry and does not force zero self-pairings: on has .[ref]
The matrix
gives an alternating bilinear form over every field. Over the real numbers, its value is the signed area of the parallelogram with sides : , and swapping the sides gives . Every self-pairing is zero, yet , so this bilinear form is nondegenerate. Directly, pairing with gives , and pairing it with gives ; both vanish only when .
In characteristic different from two, a skew-symmetric matrix of odd integer size has zero determinant, since . Thus an alternating bilinear form on a finite odd-dimensional vector space is a degenerate bilinear form. The stronger statement that the rank of an alternating bilinear form is even holds in all characteristics: splitting off a two-dimensional block with matrix repeatedly proves it. A nondegenerate alternating bilinear form defines a symplectic vector space, the linear setting for signed area rather than squared length.

Ancestors (6)

  1. Bilinear form
  2. Linear algebra
  3. Algebra
  4. Area of mathematics
  5. Mathematics
  6. Home

Discussion (0)

New discussion

There are no discussions about this article yet.

Articles by others on the same topic (0)

There are currently no matching articles.