要证明平均形式是有效的内积，还需要验证什么？

适用条件

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

理解与推导

1. 承认由于 $\rho(g)$ 和初始内积的线性，构造保留了每个参数中的线性。
2. 认识到对称性/共轭对称性也由平均过程保留。
3. 认识到仅凭求和本身，正定性并不是自动明显的，需要仔细的论证。
4. 参考视频的笔记，它指定了“(Exercise: show (v,w) inner product)”，专门针对正定性公理。
5. 得出证明对 $v \neq 0$ 有 $(v, v) > 0$ 是剩余的任务。

例子

视频说双线性是明显的，但正定性必须被证明，并将其指定为练习：“(Exercise: show (v,w) inner product)”。

容易误解的地方

• 假设因为形式是由内积构建的，所以它自动就是内积，而无需检查正定性。
• 认为平均过程可能会破坏正定性；它实际上保留了正定性，但需要证明。

观看对应讲解

继续追问

• 平均形式的正定性如何依赖于初始内积的性质？
• $G$ 的有限性对于平均的定义为什么重要？