对于有限群和有限维表示，马施克定理陈述了什么？

适用条件

• $G$ 是有限群。
• $V$ 是有限维表示空间。
• $\rho: G \to GL(V)$ 是一个表示。

理解与推导

1. 识别假设：$G$ 是有限的且 $V$ 是有限维的。
2. 回顾表示 $\rho: G \to GL(V)$ 的定义。
3. 陈述结论：$V$ 分解为子空间的直和。
4. 指明和项 $W_i$ 是不可约的，意味着它们缺乏非平凡的 $G$-不变子空间。

例子

视频显示了公式 $V = U \oplus W_1 \oplus W_2 \oplus \cdots \oplus W_k$，并指出每个小部分都没有非平凡的 $G$-不变子空间，因此 $W_i$ 是不可约表示。

容易误解的地方

• 在未指定同构类上下文的情况下假设分解是唯一的。
• 认为公式中的 $U$ 代表特定类型的子空间，而不是笔记中用于一般直和记号的一部分。

观看对应讲解

继续追问

• 为马施克定理引入的主要证明思路是什么？
• 为什么在引入内积后，演示者要定义 $W^{\perp}$？