“$T$ 的对角元恰是 $A$ 的特征值,按代数重数计;通过重排 Schur 形,可以在适当分离条件下把选定特征值簇放到对角线的指定连续位置。证明可从一个单位特征向量开始,把它补成正交规范基,…”
形式陈述 ​
设
就称为正交规范组:不同向量彼此正交,每个向量的范数都是
第一式给出坐标展开,第二式是 Parseval 等式。系数的槽位不能随意交换:在复空间中,
在 Hilbert 空间
则称为完备正交系或 Hilbert 基。对可数完备正交系,展开式仍成立,但级数是在范数意义下收敛;它不是 Hamel 基所要求的有限线性组合。
直觉
正交规范基把坐标轴调整为彼此垂直且长度为一:正交性消除方向间干扰,归一化消除尺度因子。一般基需要解线性方程组才能取得坐标,正交规范基却让第
例子与边界
标准基是
例如
正交但非单位的向量仍需除以自身范数才能归一化;两两正交的向量族若含零向量,便不能成为正交规范组。无限维时,“完备”只保证有限线性组合在空间中稠密,不保证每个向量本身是有限和;因此 Fourier 展开属于范数收敛的 Hilbert 空间展开,不是 Hamel 坐标。
推论与应用
Gram–Schmidt 正交化从线性无关组构造正交规范组,正交投影则把这些坐标分量加回目标子空间。正交或酉坐标变换保持二范数,因此坐标误差不会被换基本身放大;QR 分解用这种基组织列空间,Schur 分解则用酉基把一般方阵化为上三角谱结构。Fourier 展开把函数投到一族正交频率上;有限维 谱定理为正规算子选择正交规范特征基,SVD 也借两端的正交坐标分离方向。
参考资料
- Sheldon Axler, Linear Algebra Done Right, 4th ed. (2024), orthonormal bases.
- Jim Hefferon, Linear Algebra (2020/2026 site), orthogonality.