← 全部问题为什么将有限维表示递归分解为不可约子空间的过程会终止？
分解终止是因为表示空间的维数是有限的。在每一步，都会分离出一个真非零的
G-不变子空间
W，留下一个互补的不变子空间
W⊥。由于
dimW<dimV 且
dimW⊥<dimV（对于非平凡的
W），剩余部分的维数严格递减。这个过程在有限维空间中不能无限继续，所以它必须停在不可约分量上。
适用条件
- V 是有限维向量空间。
- W 是 V 的真非零 G-不变子空间。
- 内积是 G-不变的，确保 W⊥ 也是 G-不变的。
理解与推导
- 从有限维表示空间 V 开始。
- 如果 V 是不可约的，停止。
- 如果 V 是可约的，找到一个真非零的 G-不变子空间 W。
- 分解 V=W⊕W⊥，其中两个和项都是 G-不变的。
- 注意到 dimW<dimV 且 dimW⊥<dimV。
- 对 W 和 W⊥ 递归应用相同的逻辑。
- 得出因为维数是正整数且严格递减，该过程必须在有限步内终止的结论。
例子
视频陈述“但是 dimW<dimV”并解释说，因为 V 是有限维的，如果你继续下去，维数将会缩小，所以最终 V 分解为不可约部分。
容易误解的地方
- 假设可以通过分离越来越小的子空间无限继续分解；维数的整数性质阻止了这一点。
- 忘记互补子空间 W⊥ 也必须是不变的，以便在两部分上都进行递归。
相关问题
认识概念↗ 分块对角矩阵形式表示表示 ρ 在不变子空间 W 和 W⊥ 上分解为独立的子表示。当 V=W⊕W⊥ 且两个和项都是 G-不变时，在此直和的适应基下，ρ(g) 的矩阵具有零非对角块，意味着 W 上的作用不与 W⊥ 上的作用混合。
适用条件：V=W⊕W⊥ 是一个直和分解。；W 和 W⊥ 都是 G-不变子空间。；V 的基被选为 W 和 W⊥ 基的并集。
理解原因↗ 如果 W 是 G-不变子空间且内积是 G-不变的，那么对于任意 y∈W⊥ 和 g∈G，向量 ρ(g)y 仍然与 W 中的每个 w 正交。这可以通过将 (ρ(g)y,w) 重写为 (y,ρ(g−1)w) 来展示。
适用条件：W⊆V 是一个 G-不变子空间（对所有 g∈G，ρ(g)W⊆W）。；V 上的内积 (⋅,⋅) 是 G-不变的（(ρ(g)v,ρ(g)w)=(v,w)）。；W⊥={y∈V∣(y,w)=0 对所有 w∈W}。
认识概念↗ 表示空间 V 上的群不变内积由以下条件定义：将相同的群元素 g 作用于两个向量不会改变它们的内积。数学上，这表示为对所有 g∈G 和所有 v,w∈V，有 (ρ(g)v,ρ(g)w)=(v,w)。
适用条件：V 是带有内积 (⋅,⋅) 的向量空间。；ρ:G→GL(V) 是一个表示。；该条件必须对所有 g∈G 和所有 v,w∈V 成立。
答案依据视频资料生成并经过独立核验。若有疑问，请核对原视频或联系原作者。