===== Multilinear functional =====
==== Set ====
| @#55CCEE: context     | @#55CCEE: $X$...$\mathcal F$-vector space |
| @#55CCEE: context     | @#55CCEE: $n\in \mathbb N$ |

| @#FFBB00: definiendum | @#FFBB00: $M\in \mathrm{MultiLin}(X^n)$ |

| @#55CCEE: context     | @#55CCEE: $ M:X^n \to \mathcal F$ |

$X^n$ being the cartesian product of $n$ instances of the vector space $X$.

| $ a,b\in \mathcal F $ |
| $ v_1,\dots,v_n,w\in X $ |
| $ 1\le j\le n $ |

| @#55EE55: postulate   | @#55EE55: $ M(v_1,\dots,a\cdot v_j+b\cdot w,\dots,v_n)=a\ M(v_1,\dots,v_j,\dots,v_n)+b\ M(v_1,\dots,w,\dots,v_n) $ |

==== Discussion ====
==== Parents ====
=== Subset of ===
[[Function]]
=== Context ===
[[Vector space]]