Multilinear form
From Wikipedia, the free encyclopedia
In multilinear algebra, a multilinear form is a map of the type
,
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
,
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.
