在马施克定理的背景下，分块对角矩阵形式代表什么？

如果 $W$ 是 $G$-不变子空间且内积是 $G$-不变的，那么对于任意 $y \in W^{\perp}$ 和 $g \in G$，向量 $\rho(g)y$ 仍然与 $W$ 中的每个 $w$ 正交。这可以通过将 $(\rho(g)y, w)$ 重写为 $(y, \rho(g^{-1})w)$ 来展示。

适用条件：$W \subseteq V$ 是一个 $G$-不变子空间（对所有 $g \in G$，$\rho(g)W \subseteq W$）。；$V$ 上的内积 $(\cdot, \cdot)$ 是 $G$-不变的（$(\rho(g)v, \rho(g)w) = (v, w)$）。；$W^{\perp} = \{y \in V \mid (y, w) = 0 \text{ 对所有 } w \in W\}$。

表示空间 $V$ 上的群不变内积由以下条件定义：将相同的群元素 $g$ 作用于两个向量不会改变它们的内积。数学上，这表示为对所有 $g \in G$ 和所有 $v, w \in V$，有 $(\rho(g)v, \rho(g)w) = (v, w)$。

适用条件：$V$ 是带有内积 $(\cdot, \cdot)$ 的向量空间。；$\rho: G \to GL(V)$ 是一个表示。；该条件必须对所有 $g \in G$ 和所有 $v, w \in V$ 成立。

分解终止是因为表示空间的维数是有限的。在每一步，都会分离出一个真非零的 $G$-不变子空间 $W$，留下一个互补的不变子空间 $W^{\perp}$。

适用条件：$V$ 是有限维向量空间。；$W$ 是 $V$ 的真非零 $G$-不变子空间。；内积是 $G$-不变的，确保 $W^{\perp}$ 也是 $G$-不变的。