1 基本定义
正规矩阵是复线性代数中的重要对象，核心特征是矩阵与其共轭转置之间满足可交换关系。由于这一条件，正规矩阵具有良好的谱结构，往往能够通过酉变换化为对角形式，因此在理论分析与实际计算中都很常见。
1.1 共轭转置与交换关系
对复矩阵 \(A\)，其共轭转置记为 \(A^*\)，即先取每个元素的复共轭，再转置。若一个矩阵与其共轭转置满足 \[ AA^*=A^*A, \] 则称该矩阵具有某种“自相容”的乘法结构。这个关系意味着矩阵及其伴随在代数行为上足够协调，从而带来较强的可分解性。
1.2 正规矩阵的形式定义
设 \(A\) 为复方阵，若满足 \[ AA^*=A^*A, \] 则称 \(A\) 为正规矩阵。这里的“正规”并不表示矩阵元素为实数或正值，而是指其与伴随矩阵可交换。该定义涵盖了许多常见矩阵类，如厄米矩阵、斜厄米矩阵、酉矩阵和对角矩阵。
1.3 等价定义
正规矩阵除了直接用交换关系定义外，还可以通过若干等价方式刻画。这些刻画在理论证明和实际判断中都很有用。
1.3.1 酉对角化表述
矩阵 \(A\) 为正规矩阵，当且仅当存在酉矩阵 \(U\)，使得 \[ U^*AU \] 为对角矩阵。也就是说，正规矩阵可以在某个正交规范基下被完全分解为特征值的对角排列。这一性质是正规矩阵最重要的结构特征之一。
1.3.2 特征向量正交性表述
正规矩阵的不同特征值所对应的特征向量彼此正交。更进一步地，若矩阵可由一组标准正交的特征向量张成整个空间，则它必为正规矩阵。这个表述常用于从几何角度理解正规矩阵的“可分解性”。
1.4 与实矩阵的关系
对于实矩阵，若把它看作复矩阵，则正规性的定义仍然成立，只是此时共轭转置退化为转置。换言之，实矩阵 \(A\) 若满足 \[ AA^{\mathsf T}=A^{\mathsf T}A, \] 则它是实正规矩阵。实正规矩阵通常可进一步分解为若干个 \(1\times 1\) 与 \(2\times 2\) 的标准块。
2 基本性质
正规矩阵具有一系列稳定而优美的性质，其中最显著的是其谱结构简洁、特征向量可正交归一化，并且与多项式运算兼容性良好。
2.1 谱性质
正规矩阵的谱性质比一般矩阵更规整，尤其体现在特征值与特征向量的组织方式上。
2.1.1 特征值的行为
正规矩阵的全部特征值都可以在复平面中清晰刻画。若矩阵是厄米的，则特征值为实数；若是斜厄米的，则特征值纯虚；若是酉矩阵，则所有特征值都位于单位圆上。这些结论常作为判断矩阵类型的重要依据。
2.1.2 特征向量的正交关系
对于正规矩阵，不同特征值对应的特征向量互相正交。若某个特征值有重数，则其特征子空间内可选取一组标准正交基。由此，正规矩阵的特征向量可以组成整个空间的一组酉基。
2.2 矩阵范数性质
正规矩阵在算子范数与谱半径之间具有特别整齐的关系。对正规矩阵而言，其由谱决定的行为尤为明显，很多常见矩阵范数可以通过特征值大小来估计或精确表达。尤其在二范数下，正规矩阵的范数等于其特征值模的最大值，这使其在误差控制中十分方便。
2.3 迹与行列式性质
正规矩阵的迹等于其全部特征值之和，行列式等于其全部特征值之积。这些性质对一般方阵也成立，但对正规矩阵而言，由于它可酉对角化，因此这些关系更容易直接从对角形式读出。由此，迹与行列式在正规矩阵研究中常与谱分析并列使用。
2.4 幂与多项式函数性质
若 \(A\) 是正规矩阵，则 \(A^k\) 仍然是正规矩阵，任意多项式 \(p(A)\) 也仍然正规。更一般地，适当定义的函数矩阵 \(f(A)\) 常可通过对特征值逐点作用来构造。这使正规矩阵在函数演算中格外自然，尤其适合处理指数、幂函数和解析函数。
3 典型例子与特殊情形
正规矩阵包含多类常见矩阵，它们往往在形式上简单，但在谱结构上具有代表性。
3.1 厄米矩阵
厄米矩阵满足 \(A^*=A\)。由于它与自身的共轭转置相等，因此显然满足正规条件。厄米矩阵的特征值全为实数，且可由一组正交归一特征向量对角化，是正规矩阵中最重要的一类。
3.2 斜厄米矩阵
斜厄米矩阵满足 \(A^*=-A\)。这类矩阵同样正规，并且其特征值都位于纯虚轴上。若将其乘以 \(i\)，便可转化为厄米矩阵，因此常与厄米理论互相对应。
3.3 酉矩阵
酉矩阵满足 \(A^*A=AA^*=I\)。因此它们当然是正规矩阵。酉矩阵描述长度与角度保持不变的复线性变换，在振荡系统、量子演化和傅里叶分析中极为常见。
3.4 对角矩阵
任何对角矩阵都与其共轭转置可交换，所以都是正规矩阵。对角矩阵是正规矩阵中最直接的例子，也正是正规矩阵酉对角化后得到的标准形式。
3.5 正规矩阵但非对角矩阵的例子
并非所有正规矩阵本身都是对角矩阵。例如某些酉矩阵、旋转矩阵或满足特定对称结构的矩阵，虽然在标准基下不是对角形式，但仍然正规。它们通常需要经过酉相似变换后才能显现出对角结构。
4 等价判定条件
判断一个矩阵是否正规，通常可从代数、几何或结构三个角度入手。
4.1 直接验证 \(AA^*=A^*A\)
最直接的方法是计算 \(AA^*\) 与 \(A^*A\)。若二者相等，则矩阵正规。这个方法在维数较低或符号表达较简单时最为直接，但在高维问题中计算量较大。
4.2 通过酉相似变换判定
若能找到酉矩阵 \(U\)，使 \(U^*AU\) 为对角矩阵，则 \(A\) 必为正规矩阵。反过来，正规矩阵都可以这样表示，因此“可酉对角化”与“正规”是等价的判定标准之一。
4.3 通过特征向量组判定
如果一个矩阵拥有一组标准正交的特征向量，并且这些向量构成整个空间的一组基，那么该矩阵是正规矩阵。这个条件常用于从谱分解的角度反推正规性。
4.4 通过分块结构判定
在实矩阵或特殊结构矩阵中，可通过其标准分块形式判断是否正规。若矩阵能分解为若干与规范块相容的部分，并且这些部分满足相应的交换性质，则可确认其正规性。这种方法常见于实数域上的分类问题。
5 谱定理
谱定理是正规矩阵理论的核心结果，几乎概括了该类矩阵的全部结构优势。
5.1 谱定理的陈述
谱定理指出：一个复方阵是正规矩阵，当且仅当它可以被某个酉矩阵对角化。等价地，正规矩阵存在一组由其特征向量构成的标准正交基。该定理把代数条件、几何条件和谱条件统一起来。
5.2 酉对角化
由谱定理可知，存在酉矩阵 \(U\) 和对角矩阵 \(\Lambda\)，使 \[ A=U\Lambda U^*. \] 其中 \(\Lambda\) 的对角元就是 \(A\) 的特征值。这个表达式说明正规矩阵的本质是“在正交规范坐标系下的纯伸缩与相位变化”。
5.3 谱分解
若 \(A\) 为正规矩阵，则可写成按特征值分组的谱分解形式： \[ A=\sum_i \lambda_i P_i, \] 其中 \(P_i\) 是投影到各特征子空间上的正交投影算子。谱分解把矩阵作用拆解为若干互不干扰的分量，便于分析其局部行为。
5.4 与矩阵函数的联系
谱定理使矩阵函数的定义变得自然。若 \(A=U\Lambda U^*\)，则可定义 \[ f(A)=Uf(\Lambda)U^*, \] 即在对角元上逐一施加函数 \(f\)。这一定义适用于指数函数、对数函数以及各种解析函数，并在物理演化和数值计算中十分重要。
6 分解与表示
正规矩阵不仅能对角化，还可以在更一般的分解框架中呈现出简洁结构。
6.1 Schur 分解中的正规情形
任意复方阵都可作 Schur 分解，写成酉相似于上三角矩阵的形式。若原矩阵正规，则该上三角矩阵实际上必为对角矩阵。也就是说，正规性恰好消除了 Schur 形式中的非对角耦合项。
6.2 极分解与正规矩阵
极分解将矩阵写为一个酉矩阵与一个半正定矩阵的乘积。对正规矩阵而言，这两个部分之间通常具有更强的相容性，常可进一步讨论其是否交换。尤其在对角化框架下，极分解能清楚揭示矩阵的模与相位结构。
6.3 实正规矩阵的表示
实正规矩阵在实数域上不能总是用实对角矩阵表示，因为复特征值可能成对出现。其标准形式通常由若干小块组成。
6.3.1 2×2 实块结构
当实正规矩阵出现非实特征值时，对应的实表示往往是 \(2\times 2\) 块。此类块常呈旋转-伸缩结构，能够把一对共轭特征值压缩到实矩阵表示中。
6.3.2 复共轭特征值配对
实矩阵的非实特征值总是成共轭对出现。对于正规实矩阵，这种配对现象更具结构性，特征子空间可按共轭关系成对组织，从而形成更规整的实分解。
7 计算与数值方法
正规矩阵在数值线性代数中具有较好的可计算性，尤其体现在特征值算法的稳定性上。
7.1 正规性的检测
在实际计算中，通常先通过数值方式比较 \(AA^*\) 与 \(A^*A\) 的差异大小，以判断矩阵是否近似正规。若差异在机器精度容许范围内，可视为近似正规。这一判定常用于预处理和模型识别。
7.2 特征值计算的稳定性
对于正规矩阵，特征值对扰动的敏感性通常较低，特征向量也更容易稳定地计算。相比一般矩阵，这类矩阵的谱问题通常更可靠，数值算法的误差传播也更可控。
7.3 误差分析
正规矩阵的误差分析常借助谱半径、正交投影和酉变换不变性展开。由于酉变换保持二范数，很多误差估计可以直接在对角形式下完成，再映射回原矩阵。这种机制简化了理论推导，也提升了实际计算的可解释性。
7.4 应用中的算法实现
在实际软件与工程计算中，正规矩阵常通过 QR 算法、特征分解程序或谱分解模块来处理。若能确认矩阵正规，算法往往可采用更高效、更稳健的实现方式，并减少不必要的迭代复杂度。
8 应用
正规矩阵在多个学科中都有广泛用途，尤其适合描述具有正交结构或守恒特征的系统。
8.1 线性系统与信号处理
在信号处理中，正规矩阵常用于描述滤波、变换和离散谱分析。由于其特征分解清晰，系统响应往往可以在频域中逐分量处理，从而简化分析和设计。
8.2 量子力学中的算符
量子力学中的许多可观测量和演化算符都可由正规算子或正规矩阵近似表示。厄米算符对应可观测量，酉算符描述时间演化，而谱分解则为态分解和测量概率计算提供基础。
8.3 图像与数据分析
在图像处理与数据分析中，正规矩阵常出现在协方差矩阵、变换矩阵和图模型中。其可对角化性质有助于主成分分析、降维和特征提取，使数据结构更易解释。
8.4 最优化与控制中的相关问题
在最优化和控制理论中，正规矩阵经常作为线性化模型、稳定性分析和迭代方法的一部分。其谱性质便于判断系统响应和收敛行为，因此在理论推导与算法设计中都很实用。
9 相关概念
正规矩阵与若干重要矩阵类别密切相关，这些概念共同构成现代线性代数的基础框架。
9.1 可对角化矩阵
可对角化矩阵是指可通过相似变换化为对角矩阵的矩阵。正规矩阵一定可对角化，但反之未必成立，因为一般可对角化矩阵不要求相似变换是酉的。
9.2 酉矩阵
酉矩阵满足 \(U^*U=I\)，表示复空间中的长度保持变换。它既是正规矩阵的重要例子，也是正规矩阵酉对角化中的变换工具。
9.3 厄米矩阵与反厄米矩阵
厄米矩阵满足 \(A^*=A\)，反厄米矩阵满足 \(A^*=-A\)。二者都属于正规矩阵，并分别对应实谱与纯虚谱，是谱理论中最基础的两类特殊情形。
9.4 正交矩阵
正交矩阵是实数域中的长度保持变换，满足 \(Q^{\mathsf T}Q=I\)。把它看作复矩阵时，它也是正规矩阵。正交矩阵与酉矩阵在形式上对应，是实分析中的重要对象。
9.5 正规算子
正规算子是把正规矩阵推广到更一般希尔伯特空间上的概念。与正规矩阵类似，正规算子也满足与伴随算子的交换条件，并具有谱理论中的核心地位。