Multilineare Abbildung/Distributivgesetz/Fakt

Es sei ${}K$ ein Körper und seien ${}V_{1},\ldots ,V_{n}$ und ${}W$ Vektorräume über ${}K$. Es sei

$\Phi \colon V_{1}\times \cdots \times V_{n}\longrightarrow W$

eine multilineare Abbildung und es seien  ${}v_{i1},\ldots ,v_{im_{i}}\in V_{i}$  und  ${}a_{ij_{i}}\in K$  zu  ${}i=1,\ldots ,n$  und  ${}j_{i}=1,\ldots ,m_{i}$. 

Dann ist

${}{\begin{aligned}\Phi {\left(\sum _{j=1}^{m_{1}}a_{1j}v_{1j},\ldots ,\sum _{j=1}^{m_{n}}a_{nj}v_{nj}\right)}&=\sum _{(j_{1},\ldots ,j_{n})\in \{1,\ldots ,m_{1}\}\times \cdots \times \{1,\ldots ,m_{n}\}}a_{1j_{1}}\cdots a_{nj_{n}}\Phi {\left(v_{1j_{1}},\ldots ,v_{nj_{n}}\right)}.\,\end{aligned}}$

Zum Beweis, Alternativen Beweis erstellen