TOPICS
Search

Alternating Multilinear Form


An alternating multilinear form on a real vector space V is a multilinear form

 F:V tensor ... tensor V->R
(1)

such that F(x_1,...,x_n)=0 whenever two arguments are equal. Over R, this is equivalent to

 F(x_1,...,x_i,x_(i+1),...,x_n)=-F(x_1,...,x_(i+1),x_i,...,x_n)
(2)

for any index i. For example,

 F((a_1,a_2,a_3),(b_1,b_2,b_3),(c_1,c_2,c_3))
 =a_1b_2c_3-a_1b_3c_2+a_2b_3c_1-a_2b_1c_3+a_3b_1c_2-a_3b_2c_1
(3)

is an alternating form on R^3.

An alternating multilinear form on a module over a commutative ring is likewise required to vanish whenever two arguments are equal. The sign-change identity alone is insufficient in ring characteristic 2.


See also

Dual Vector Space, Exterior Algebra, Module, Multilinear Form, Vector Space

Portions of this entry contributed by Todd Rowland

Explore with Wolfram|Alpha

Cite this as:

Weisstein, Eric W., with contributions by Todd Rowland. "Alternating Multilinear Form." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/AlternatingMultilinearForm.html

Subject classifications