正规算子和正规矩阵的标准型

, 则任意的都是正规算子, 这是因为对中的单位向量, , 其中是某个实数

正规, 且-不可分的(在可分的情形下可以通过一维形式的直和得到), 则的任意单位正交基下的矩阵式

其中

正规, 则存在的一组单位正交基, 其中, 使得在这组基下的矩阵等于

其中

也就是说, 存在如上这样一个标准型使得正交等价, 即, 弱化这个结论就是有相似, 即

正规, , 且, 则. 也就是说, 一个正规算子的不同特征值对于的特征子空间两两正交, 这是在正规算子情况下, 对命题特征子空间的和是直和的一个加强

实对称矩阵的正交标准型

实对称矩阵可正交化

对于实对称矩阵, 有如下命题成立

  1. 对称, 则的某组正交基下的矩阵是, 其中不必两两不同
  2. , 则, 其中不必两两不同, 即实对称矩阵是可对角化的
  3. 是算子或者是矩阵特征根, 特别地, 实对称矩阵和欧式空间上的对称算子的特征根都是实数

现在给出求解该对角矩阵的算法

  1. 计算的特征根, 设互不相同的特征根是
  2. , 求的一组基
  3. , 利用Gram-Schmidt正交化的一组单位正交基
  4. 由此得到的的一组单位正交基, 且在该基下是对角的

例如, 设

则可计算, 由于至少为且其最大值为代数重数也为, 故, (事实上, 由于可对角化的, 故的代数重数必然等于其几何重数), 考虑到

只需要考虑方程

的解空间即可, 直接得出

再计算, 因为, 所以正交补, 由于上述方程已经给出了

利用Gram-Schmidt正交化可分别求出的单位正交基

我们得到

惯性指数的求法

, 则的正(负)惯性指数等于中正(负)根的个数(在记重数的意义下), 特别地, (半)正定当且仅当的特征根都是正的(非负的)

特别地, 设正定, 则存在使得是对角阵, 这是因为

  1. 由于正定, 所以存在使得
  2. , 则也对称, 故存在使得是对角阵
  3. , 则

由此可以证明对于正定矩阵

由于存在使得, 于是

两边取行列式有

因为正定, 所以, 于是, 故命题得证

斜对称算子和斜对称矩阵

斜对称, 则存在, 使得的某组单位正交基下的矩阵为

, 则正交相似于上述形式的矩阵

实斜对称矩阵和欧式空间上的斜对称算子的特征根或者是纯虚数, 或者等于

, 则, 这是因为存在使得, 于是

因为, 所以

这里用到了对角分块矩阵的行列式

正交算子和正交矩阵

正交, 则存在使得的某组单位正交基下的矩阵为

, 则正交相似于上述形式的矩阵

正交矩阵和正交算子的(复)特征根的模长都等于

满足, 则, 这是因为存在正交矩阵使得, 而, 于是存在使得, 故的特征根, 其必然也是的特征根, 故我们有