定义 对称化算子

自然语言

给定线性空间 $\mathscr{X} = (X,\mathbb{R})$ 上的 $k$ 重线性函数 $f : X^k \to \mathbb{R}$ ，定义对称化算子为

$$ \bbox[5pt]{ S[f](v_1,\cdots,v_k) \triangleq \sum_{\sigma \in S_k}{f(v_{\sigma(1)},\cdots,v_{\sigma(k)})} } $$