Multilinear functional
Set
| context | X…F-vector space |
| context | n∈N |
| definiendum | M∈MultiLin(Xn) |
| context | M:Xn→F |
Xn being the cartesian product of n instances of the vector space X.
| a,b∈F |
| v1,…,vn,w∈X |
| 1≤j≤n |
| postulate | M(v1,…,a⋅vj+b⋅w,…,vn)=a M(v1,…,vj,…,vn)+b M(v1,…,w,…,vn) |
Discussion
Parents
Subset of
Context
