定义 张量积

自然语言

给定线性空间 $\mathscr{X} = (X,\mathbb{R})$ 上的 $k$ 重线性函数 $f : X^k \to \mathbb{R}$
给定线性空间 $\mathscr{X} = (X,\mathbb{R})$ 上的 $l$ 重线性函数 $g : X^l \to \mathbb{R}$
定义它们的张量积为

$$ \bbox[5pt]{ (f \otimes g)(v_1,\cdots,v_k,v_{k+1},\cdots,v_{k+l}) \triangleq f(v_1,\cdots,v_k)g(v_{k+1},\cdots,v_{k+l}) } $$