Antisymmetric multilinear functional
Set
context | $X$…$\mathcal F$-vector space |
context | $n\in \mathbb N$ |
definiendum | $M\in \mathrm{SymMultiLin}(X^n)$ |
context | $M\in \mathrm{MultiLin}(X^n)$ |
$ v_1,\dots,v_n\in X $ |
$ 1\le i<j\le n $ |
postulate | $ M(v_1,\dots,v_i,\dots,v_j,\dots,v_n)=-M(v_1,\dots,v_j,\dots,v_i,\dots,v_n) $ |