njtynhj

线性代数

A=[1234]displaystyle mathbf A =beginbmatrix1&2\3&4endbmatrix

向量 · 向量空间  · 行列式  · 矩阵 向量 标量 · 向量 · 向量空间 · 向量投影 · 外积 · 内积 · 数量积 · 向量积 矩阵与行列式 矩阵 · 行列式 · 线性方程组 · 秩 · 核 · 迹 · 單位矩陣 · 初等矩阵 · 方块矩阵 · 分块矩阵 · 三角矩阵 · 非奇异方阵 · 转置矩阵 · 逆矩阵 · 对角矩阵 · 可对角化矩阵 · 对称矩阵 · 反对称矩阵 · 正交矩阵 · 么正矩阵 · 埃尔米特矩阵 · 反埃尔米特矩阵 · 正规矩阵 · 伴随矩阵 · 余因子矩阵 · 共轭转置 · 正定矩阵 · 幂零矩阵 · 矩阵分解 （LU分解 · 奇异值分解 · QR分解 · 极分解 · 特征分解） · 子式和余子式 · 拉普拉斯展開 · 线性空间与线性变换 线性空间 · 线性变换 · 线性子空间 · 线性生成空间 · 基 · 线性映射 · 线性投影 · 线性无关 · 线性组合 · 线性泛函 · 行空间与列空间 · 对偶空间 · 正交 · 特征向量 · 最小二乘法 · 格拉姆-施密特正交化 ·

查 论 编

在数学中，正规矩阵Adisplaystyle mathbf A 是与自己的共轭转置交换的复系数方块矩阵，也就是说，Adisplaystyle mathbf A 满足

A∗A=AA∗displaystyle mathbf A ^*mathbf A =mathbf A mathbf A ^*

其中A∗displaystyle mathbf A ^*是Adisplaystyle mathbf A 的共轭转置。

如果Adisplaystyle mathbf A 是实系数矩阵，则A∗=ATdisplaystyle mathbf A ^*=mathbf A ^T，从而条件简化为ATA=AATdisplaystyle mathbf A ^Tmathbf A =mathbf A mathbf A ^T其中ATdisplaystyle mathbf A ^T是Adisplaystyle mathbf A 的转置矩阵。

任何一个正规矩阵，都是某个正规算子在一组标准正交基下的矩阵；反之，任一正规算子在一组标准正交基下的矩阵都为正规矩阵。

矩阵的正规性是检验矩阵是否可对角化的一个简便方法：任意正规矩阵都可在经过一个酉变换後变为对角矩阵，反过来所有可在经过一个酉变换後变为对角矩阵的矩阵都是正规矩阵。

特例

在复系数矩阵中，所有的酉矩阵、埃尔米特矩阵和斜埃尔米特矩阵都是正规的。同理，在实系数矩阵中，所有的正交矩阵、对称矩阵和斜对称矩阵都是正规的。

但是正规矩阵并非只包括上述几类，例如下面的

A=(110011101)displaystyle A=beginpmatrix1&1&0\0&1&1\1&0&1endpmatrix

是正规矩阵，因为：

AA∗=(211121112)=A∗Adisplaystyle AA^*=beginpmatrix2&1&1\1&2&1\1&1&2endpmatrix=A^*A.

矩阵Adisplaystyle mathbf A 既不是酉矩阵，也不是埃尔米特矩阵或斜埃尔米特矩阵。

两个正规矩阵的乘积也不一定是正规矩阵。

如果Adisplaystyle mathbf A 同时既是三角矩阵又是正规矩阵，那么Adisplaystyle mathbf A 是对角矩阵，这点可以由比较A∗Adisplaystyle mathbf A ^*mathbf A 和AA∗displaystyle mathbf A mathbf A ^*的相应系数得到。

性质

正规矩阵的概念十分重要，因为它们正是能使谱定理成立的对象：矩阵Adisplaystyle mathbf A 正规当且仅当它可以被写成A=UΛU∗displaystyle mathbf A =mathbf U mathbf Lambda mathbf U ^*的形式。其中的Λ=diag⁡(λ1,λ2,…)displaystyle mathbf Lambda =operatorname diag (lambda _1,lambda _2,dots )为对角矩阵，Udisplaystyle mathbf U 为酉矩阵：

U∗U=UU∗=Idisplaystyle mathbf U ^*mathbf U =mathbf U mathbf U ^*=mathbf I 。

矩阵Λ对角线上的元素是A的特征值，而组成U的列向量则是A相应的特征向量。

谱定理的一种陈述，是说正规矩阵正好是能在Cndisplaystyle mathbb C ^n的某个正交基下变成对角矩阵的那些矩阵（这里将矩阵同于Cndisplaystyle mathbb C ^n上的线性变换，并使用常用的内积）。另外一种说法为：矩阵是正规的当且仅当其特征向量能张成整个Cndisplaystyle mathbb C ^n，并且两两正交。

一般来说，两个正规矩阵A和B的乘积不是正规矩阵，但是，如果A和B两者可以交换，那么它们的乘积与和就仍然是正规的。这是因为它们可以“同时”（通过同一个相似变换矩阵）被对角化：

A=U∗diag⁡(a1,a2,…)Udisplaystyle mathbf A =mathbf U ^*operatorname diag (a_1,a_2,dots )mathbf U

B =U∗diag⁡(b1,b2,…)Udisplaystyle mathbf B =mathbf U ^*operatorname diag (b_1,b_2,dots )mathbf U

于是，AB=U∗diag⁡(a1b1,a2b2,…)Udisplaystyle mathbf AB =mathbf U ^*operatorname diag (a_1b_1,a_2b_2,dots )mathbf U 、A+B=U∗diag⁡(a1+b1,a2+b2,…)Udisplaystyle mathbf A+B =mathbf U ^*operatorname diag (a_1+b_1,a_2+b_2,dots )mathbf U 都是正规矩阵。

任何方阵A都可以通过极分解写成A = UP。其中U是酉矩阵、P是某个半正定矩阵。如果A可逆，那么U和P都是唯一的。而如果A是正规矩阵，那么UP = PU（其逆命题只在有限维的情况下成立）。

推广

正规矩阵的概念可以被推广为无穷维希尔伯特空间中的正规算子和C*-代数中的正规元素。

类比

不同种类的正规矩阵可以与各种复数建立对应的类比关系。比如：

• 
  可逆矩阵类似于非零的复数。


• 矩阵的共轭转置类似于复数的共轭
  


• 
  酉矩阵类似于模等于1的复数。


• 
  埃尔米特矩阵类似于实数。


• 埃尔米特矩阵中的正定矩阵类似于正实数。


• 
  斜埃尔米特矩阵类似于纯虚数。

参见

• 相似矩阵


• 0-1矩阵


• 基


• 若尔当标准型

参考来源

• 史荣昌，矩阵分析，第三章，北京理工大学出版社，ISBN 7-810-45075-1
  


• 苏育才，矩阵理论，第六章，科技出版社，ISBN 7-030-16355-9
  


• 刘丁酉，矩阵分析，第四章，93-95，武汉大学出版社，ISBN 7-307-03821-8
  


• 
  （法文）欧几里德空间与埃尔米特空间 (PDF). （原始内容 (PDF)存档于2010-06-01）. 
  

外部链接

• 刘树宽，姚金江，罗峰，实正规矩阵正定的判定条件^{[永久失效連結]}，济宁师范专科学校，临沂师范学院，2003年。


• 吕烔兴，正规矩阵的任意扰动，南京航空航天大学理学院，2000年。


• MIT OpenCourseWare 18.06线性代数中包含正规矩阵内容的一讲