|
|
ncatlab.org/nlab/show/polarization+identity#higher_order
设 Q 为 p 次齐次多项式，其对称化为 m
- If $p = 0$, $m() = Q(0)$
- If $p = 1$, $m(v_1) = Q(v_1)$
- If $p = 2$, $m(v_1, v_2) = Q(v_1 + v_2) - Q(v_1) - Q(v_2)$
- If $p = 3$, $m(v_1, v_2, v_3) = Q(v_1 + v_2 + v_3) - Q(v_1 + v_2) - Q(v_1 + v_3) - Q(v_2 + v_3) + Q(v_1) + Q(v_2) + Q(v_3)$
- If $p = 4$, $m(v_1, v_2, v_3, v_4) = Q(v_1 + v_2 + v_3 + v_4) - Q(v_1 + v_2 + v_3) - Q(v_1 + v_2 + v_4) - Q(v_1 + v_3 + v_4) - Q(v_2 + v_3 + v_4)$$+ Q(v_1 + v_2) + Q(v_1 + v_3) + Q(v_1 + v_4) + Q(v_2 + v_3) + Q(v_2 + v_4) + Q(v_3 + v_4) - Q(v_1) - Q(v_2) - Q(v_3) - Q(v_4)$
|
|
