Английская Википедия:Alternating multilinear map
In mathematics, more specifically in multilinear algebra, an alternating multilinear map is a multilinear map with all arguments belonging to the same vector space (for example, a bilinear form or a multilinear form) that is zero whenever any pair of its arguments is equal. This generalizes directly to a module over a commutative ring.
The notion of alternatization (or alternatisation) is used to derive an alternating multilinear map from any multilinear map of which all arguments belong to the same space.
Definition
Let <math>R</math> be a commutative ring and Шаблон:Nowrap, <math>W</math> be modules over <math>R</math>. A multilinear map of the form <math>f: V^n \to W</math> is said to be alternating if it satisfies the following equivalent conditions:
- whenever there exists <math display=inline>1 \leq i \leq n-1</math> such that <math>x_i = x_{i+1}</math> then Шаблон:Nowrap.Шаблон:SfnШаблон:Sfn
- whenever there exists <math display=inline>1 \leq i \neq j \leq n</math> such that <math>x_i = x_j</math> then Шаблон:Nowrap.Шаблон:SfnШаблон:Sfn
Vector spaces
Let <math>V, W</math> be vector spaces over the same field. Then a multilinear map of the form <math>f: V^n \to W</math> is alternating if it satisfies the following condition:
- if <math>x_1,\ldots,x_n</math> are linearly dependent then Шаблон:Nowrap.
Example
In a Lie algebra, the Lie bracket is an alternating bilinear map. The determinant of a matrix is a multilinear alternating map of the rows or columns of the matrix.
Properties
If any component <math>x_i</math> of an alternating multilinear map is replaced by <math>x_i + c x_j</math> for any <math>j \neq i</math> and <math>c</math> in the base ring Шаблон:Nowrap, then the value of that map is not changed.Шаблон:Sfn
Every alternating multilinear map is antisymmetric,Шаблон:Sfn meaning thatШаблон:Sfn <math display=block>f(\dots,x_i,x_{i+1},\dots)=-f(\dots,x_{i+1},x_i,\dots) \quad \text{ for any } 1 \leq i \leq n-1,</math> or equivalently, <math display=block>f(x_{\sigma(1)},\dots,x_{\sigma(n)}) = (\sgn\sigma)f(x_1,\dots,x_n) \quad \text{ for any } \sigma\in \mathrm{S}_n,</math> where <math>\mathrm{S}_n</math> denotes the permutation group of degree <math>n</math> and <math>\sgn\sigma</math> is the sign of Шаблон:Nowrap.Шаблон:Sfn If <math>n!</math> is a unit in the base ring Шаблон:Nowrap, then every antisymmetric <math>n</math>-multilinear form is alternating.
Alternatization
Given a multilinear map of the form <math>f : V^n \to W,</math> the alternating multilinear map <math>g : V^n \to W</math> defined by <math display=block>g(x_1, \ldots, x_n) \mathrel{:=} \sum_{\sigma \in S_n} \sgn(\sigma)f(x_{\sigma(1)}, \ldots, x_{\sigma(n)})</math> is said to be the alternatization of Шаблон:Nowrap.
Properties
- The alternatization of an <math>n</math>-multilinear alternating map is <math>n!</math> times itself.
- The alternatization of a symmetric map is zero.
- The alternatization of a bilinear map is bilinear. Most notably, the alternatization of any cocycle is bilinear. This fact plays a crucial role in identifying the second cohomology group of a lattice with the group of alternating bilinear forms on a lattice.
See also
- Alternating algebra
- Bilinear map
- Шаблон:Section link
- Map (mathematics)
- Multilinear algebra
- Multilinear map
- Multilinear form
- Symmetrization
Notes
References
fr:Application multilinéaire#Application alternée
