“设 $V$ 是非零有限维复不可约表示。$H$ 有非空有限的特征值集合。从任意特征值出发,依次考察 $\lambda,\lambda+2,\lambda+4,\ldots$;有限性保证能选到一…”
形式陈述
设
这样的
当
不同特征值对应的特征向量线性无关。有限维时,
直觉
特征向量张成一条被算子保持的一维子空间:
沿特征向量反复作用时,
例子与边界
用特征方向计算迭代
对角矩阵
满足
所以
和方向上的分量以
特征空间的大小与底域
剪切矩阵
实平面
特征向量的任意非零标量倍仍是同一特征值的特征向量。因此算法可以按长度等约定选择代表,而特征空间把全部选择组织在一起。定义中的
推论与应用
有限维算子的特征值由特征多项式刻画,特征空间是不变子空间,二者为对角化与谱定理提供基本块。当特征多项式在底域上分裂时,广义特征向量可以扩充为一组基,形成 Jordan 结构。
浮点计算可直接利用迭代作用:在主特征值的模严格领先、初始向量含有相应分量等收敛条件下,幂法通过反复乘矩阵并归一化,提取主特征方向。一般稠密矩阵的全部特征值则常通过QR 特征值算法和Schur 分解计算。
特征结构还揭示迭代动力学、微分方程稳定性和 Markov 链长期行为;图 Laplacian的零特征空间与低端谱把这些工具带入图连通和割结构。
参考资料
- Sheldon Axler, Linear Algebra Done Right, 4th ed., Springer, 2024,Ch. 5, eigenvalues, eigenvectors, and invariant subspaces。
- Michael Artin, Algebra, 2nd ed., Pearson, 2011,Ch. 4, eigenvectors and characteristic roots。