你想弄懂什么？

虽然平均形式的双线性（或半双线性）从定义上是直接的，但视频明确将正定性的验证留作练习。必须证明对所有非零 $v \in V$，$(v, v) > 0$，以确认平均形式满足所有内积公理。

适用条件：平均形式定义为 $(v, w) := \frac{1}{|G|} \sum_{g \in G} \langle \rho(g)v, \rho(g)w \rangle$。；$\langle \cdot, \cdot \rangle$ 是 $V$ 上的有效内积。；$G$ 是有限的。

虽然平均形式的双线性（或半双线性）从定义上是直接的，但视频明确将正定性的验证留作练习。必须证明对所有非零 $v \in V$，$(v, v) > 0$，以确认平均形式满足所有内积公理。

适用条件：平均形式定义为 $(v, w) := \frac{1}{|G|} \sum_{g \in G} \langle \rho(g)v, \rho(g)w \rangle$。；$\langle \cdot, \cdot \rangle$ 是 $V$ 上的有效内积。；$G$ 是有限的。