Definitions

# Multilinear form

[muhl-ti-lin-ee-er, muhl-ti-]
In multilinear algebra, a multilinear form is a map of the type

$f: V^N to K$,

where V is a vector space over the field K, that is separately linear in each its N variables.

As the word "form" usually denotes a mapping from a vector space into its underlying field, the more general term "multilinear map" is used, when talking about a general map that is linear in all its arguments.

For N = 2, i.e. only two variables, one calls f a bilinear form.

An important type of multilinear forms are alternating multilinear forms which have the additional property of changing their sign under exchange of two arguments. When K has characteristic other than 2, this is equivalent to saying that

$f\left(dots,x,dots,x,dots\right)=0$,

i.e. the form vanishes if supplied the same argument twice. (The exceptional case of characteristic 2 requires more care.) Special cases of these are determinant forms and differential forms.