1 基本定义
正规算子是线性代数与泛函分析中的核心概念，通常用于描述一类与伴随算子具有良好相容性的线性映射。它的突出特点在于，既保留了较强的几何结构，又能够支持较完善的谱分析，因此在有限维矩阵理论与无限维算子理论中都占有重要位置。
1.1 在线性算子中的定义
在复内积空间上，若线性算子 \(T\) 满足 \[ TT^*=T^*T, \] 其中 \(T^*\) 表示 \(T\) 的伴随算子，则称 \(T\) 为正规算子。这个条件也可理解为 \(T\) 与其伴随算子可交换。对实内积空间而言，相关定义通常通过复化后处理，或在矩阵语境中作等价转述。
正规性的意义在于，它比一般线性算子更接近“可分解、可分析”的理想状态。许多重要算子类别，如自伴算子与幺正算子，都属于正规算子的特殊情形。
1.2 在矩阵中的对应定义
在线性代数中，正规算子常常对应正规矩阵。设 \(A\) 是复数域上的方阵，若满足 \[ AA^*=A^*A, \] 则称 \(A\) 为正规矩阵。这里的 \(A^*\) 是 \(A\) 的共轭转置。
正规矩阵的定义与线性算子情形完全对应，只是将抽象空间上的映射转化为具体矩阵运算。由于矩阵可以直接进行计算，这一定义在应用中更便于检验与使用。
1.2.1 酉相似与正规矩阵
正规矩阵的重要特征之一是其性质在酉相似变换下保持不变。若 \(A\) 与 \(B\) 酉相似，即存在酉矩阵 \(U\) 使 \[ B=U^*AU, \] 则 \(A\) 正规当且仅当 \(B\) 正规。这个不变性说明，正规矩阵的本质结构不会因正交或酉坐标变换而改变。
这一点与谱理论密切相关，因为酉相似常被用来将矩阵化为更易分析的标准形式。
1.2.2 伴随矩阵与共轭转置
在复矩阵中，伴随算子对应于共轭转置。若矩阵 \(A=(a_{ij})\)，则其共轭转置 \(A^*\) 的第 \(i,j\) 项为 \(\overline{a_{ji}}\)。对于实矩阵，共轭转置退化为转置。
通过共轭转置定义的正规性，使得矩阵乘法中的“左右顺序”成为判断的关键。只要 \(AA^*=A^*A\)，即可确认其正规性。
1.3 等价表述
正规算子除了最常见的交换定义外，还存在若干等价刻画。这些表述有助于从不同角度理解其结构，也方便在证明中灵活使用。
1.3.1 与伴随交换
最直接的等价表述就是与伴随算子交换。也就是说，正规算子正是满足 \[ T T^* = T^* T \] 的算子。这个条件看似简单，却意味着 \(T\) 与 \(T^*\) 在代数结构上具有高度协调性。
在许多推导中，正是借助这一交换关系，才能得到特征向量正交、酉对角化等结论。
1.3.2 范数保持相关性质
正规算子还与向量范数变化的规律密切相关。虽然“范数保持”并不是正规性的定义本身，但在正规算子上，某些范数估计具有特别整齐的形式，例如其算子范数与谱半径相等。
此外，对于幺正算子这类正规算子，向量长度在变换下完全保持不变；而对一般正规算子，长度虽不一定保持，但仍表现出较强的可控性。这类性质为数值分析和谱估计提供了基础。
2 典型例子
正规算子并不只是抽象定义，它在多个熟悉的算子类别中都自然出现。以下几类算子最能体现正规算子的结构特征。
2.1 自伴算子
自伴算子满足 \(T=T^*\)。因此它自动满足 \[ TT^*=TT= T^*T, \] 所以必为正规算子。自伴算子在物理和数学中都极其重要，因为它通常对应可观测量、实谱性质以及良好的正交分解。
2.2 幺正算子
幺正算子满足 \(T^*T=TT^*=I\)。这意味着它不仅正规，而且保持内积结构。幺正算子常被视为“长度与角度都不变”的理想变换，是正规算子中最具几何直观的一类。
2.3 正交投影算子
正交投影算子满足 \(P^2=P\) 且 \(P=P^*\)。由自伴性可知它也是正规算子。此类算子表示向某个闭子空间的正交投影，在分解空间、最小二乘问题与误差分析中非常常见。
2.4 标量倍数恒等算子
若算子形如 \(T=\lambda I\)，其中 \(\lambda\) 为复数常数，则它必然正规，因为 \[ TT^*=\lambda \overline{\lambda} I = T^*T. \] 这类算子结构最简单，但在理论上常作为比较对象，用于说明正规算子的边界情形。
3 基本性质
正规算子之所以重要，很大程度上源于它兼具代数可处理性与几何可解释性。其谱、特征向量及分解性质都比一般算子更整齐。
3.1 谱半径与算子范数
对于正规算子，算子范数与谱半径之间存在紧密关系。在有限维情形下，正规矩阵的算子范数等于其谱半径的最大模；在更一般的情形中，正规算子也常具有类似的最优谱估计。
这类性质使得正规算子成为估计误差、判断稳定性和分析迭代过程时的理想对象。相比一般算子，正规算子的谱信息更容易直接反映其整体大小。
3.2 特征向量与正交性
正规算子的一个显著特征是，不同特征值对应的特征向量彼此正交。这一性质大大简化了结构分析，也为对角化奠定基础。
当算子具有足够多的特征向量时，可以借助正交基将其分解为更简单的形式，从而把复杂问题转化为若干独立的标量问题。
3.2.1 不同特征值对应的正交特征向量
若正规算子 \(T\) 的两个特征值 \(\lambda\neq\mu\) 分别对应特征向量 \(x\) 与 \(y\)，则 \(x\) 与 \(y\) 正交。这个结论在复内积空间中尤为重要，因为它意味着正规算子的不同谱分量天然分离。
正交性不仅改善了理论上的美观性，也使数值计算更加稳定，因为彼此正交的方向不易发生混叠。
3.3 可对角化性
正规算子通常具有良好的可对角化性质。在有限维复内积空间上，正规矩阵总能被酉矩阵对角化，这使它们在结构上极易处理。
3.3.1 复内积空间上的酉对角化
若 \(A\) 是复数域上的正规矩阵，则存在酉矩阵 \(U\)，使得 \[ U^*AU \] 为对角矩阵。对角线上元素正是 \(A\) 的特征值。这个结果被称为谱定理在有限维情形下的体现，也是正规矩阵理论中最重要的结论之一。
酉对角化表明，正规矩阵可以通过一个保内积的变换完全分解为若干独立的标量作用。
3.4 不变子空间分解
正规算子还具有良好的不变子空间结构。其空间往往可以分解为若干由特征向量或谱投影生成的子空间，从而将整体作用拆解为局部行为。
这类分解在证明谱定理、研究函数演算及构造算子模型时非常有用，也说明正规算子具有较强的内部可分性。
4 谱理论
谱理论是正规算子研究中的核心部分。对于这类算子，谱不仅描述其本征值信息，还能通过投影、积分和函数映射等方式完整刻画其作用。
4.1 谱定理
谱定理是正规算子理论的中心成果。它说明正规算子可以通过适当的正交或酉分解，转化为对角形式或积分形式，从而使复杂算子变成对谱变量的“乘法作用”。
4.1.1 有限维情形
在有限维复内积空间中，正规算子的谱定理等价于酉对角化：存在一组标准正交基，使算子在该基下表示为对角矩阵。对角元即特征值，基向量则为对应特征向量。
这一结论使得正规矩阵在计算上极为友好，几乎所有与其相关的问题都可转化为对角线上的简单运算。
4.1.2 无限维情形
在无限维情形中，谱定理一般表述为投影值测度或乘法算子的形式。正规算子可视为某种“广义对角化”，其作用由谱测度所控制，而不一定完全由离散特征值构成。
这一定理是现代泛函分析的重要基石，尤其适用于研究无穷维空间中的量子力学算符与函数空间算子。
4.2 谱分解
谱分解将正规算子的整体行为拆为不同谱区域上的贡献。通过引入投影，可把算子写成若干部分之和，或者写成积分表达式。
4.2.1 离散谱与连续谱
在某些正规算子中，谱可以分为离散谱与连续谱两部分。离散谱对应孤立特征值及其特征空间，连续谱则对应更复杂的极限型行为，通常不由普通特征向量完全描述。
这种区分在无限维理论中特别重要，因为许多自然算子并不只拥有离散特征值，而是同时包含连续谱结构。
4.3 函数演算
正规算子的谱结构使其能够接受自然的函数演算。换言之，可以把一个函数作用在算子的谱上，从而得到新的算子。
4.3.1 多项式函数演算
最基础的情况是多项式函数演算。若 \(p\) 是多项式，则 \(p(T)\) 可通过代数运算直接定义。对正规算子而言，这种运算与其谱的关系十分清晰：\(p(T)\) 的谱对应于 \(p\) 作用在 \(T\) 的谱集上。
这使得高次幂、线性组合以及代数表达式的分析更加方便。
4.3.2 连续函数演算
更进一步，可以对正规算子定义连续函数演算。对于定义在其谱上的连续函数 \(f\)，可以构造 \(f(T)\)，其意义在于把谱上的函数值重新编码为算子作用。
连续函数演算是谱理论的重要延伸，常用于处理平方根、指数函数、幂函数等非多项式表达式。
5 与其他算子的关系
正规算子并非孤立概念，它与若干重要算子类别之间存在明确联系。理解这些关系，有助于把握正规性的层次位置。
5.1 自伴算子与正规算子
自伴算子是正规算子的特例。凡是满足 \(T=T^*\) 的算子，都自动正规。相比之下，正规算子允许更广泛的谱分布，因此覆盖面更大。
可以说，自伴性强调“与自身伴随完全一致”，而正规性则只要求“与伴随相容”。前者更强，后者更灵活。
5.2 幺正算子与正规算子
幺正算子同样属于正规算子。它们不仅满足正规条件，还保持内积，因此在几何上表现为刚性变换。由此可见，正规算子包含了既能保持长度、又能具有实谱结构的多种典型情形。
5.3 酉相似不变性
正规性在酉相似变换下不变，这是其理论中的基本稳定性之一。若一个矩阵经过酉变换后变成另一个矩阵，则两者是否正规完全一致。
这种不变性意味着研究正规矩阵时，可以自由选择最有利于计算的正交坐标系，而不损失核心性质。
5.4 伴随算子的正规性
若 \(T\) 正规，则其伴随算子 \(T^*\) 也正规。因为由 \[ TT^*=T^*T \] 可直接推出 \[ T^*T=TT^*. \] 这说明正规性对取伴随操作保持封闭。
这一性质在很多证明中十分实用，例如在处理谱结构、极分解和复合算子时，经常需要同时考察 \(T\) 与 \(T^*\)。
6 矩阵层面的判别与计算
在实际应用中，正规性最常通过矩阵运算来判断。由于矩阵形式直观、可计算，相关判别也更适合算法实现。
6.1 直接计算判别式
判断矩阵 \(A\) 是否正规，最直接的方法是计算 \(AA^*\) 与 \(A^*A\)，看二者是否相等。若相等，则 \(A\) 正规；否则不是。
对于低维矩阵，这种方法最为简单明了。对于高维矩阵，则常结合结构特征、分块形式或数值近似来提高效率。
6.2 常见正规矩阵类型
某些矩阵类型天然正规，识别这些模式可以减少不必要的计算。
6.2.1 对角矩阵
对角矩阵总是正规，因为它与其共轭转置仍为对角矩阵，且两者乘法显然可交换。对角矩阵常被视为正规矩阵的最基本标准形式。
6.2.2 厄米矩阵
厄米矩阵满足 \(A=A^*\)，因此必然正规。它是自伴算子在矩阵中的对应形式，广泛出现在能量、振动与量子系统模型中。
6.2.3 反厄米矩阵
反厄米矩阵满足 \(A^*=-A\)。由此可得 \[ AA^*=A(-A)=-A^2,\quad A^*A=(-A)A=-A^2, \] 故其正规。此类矩阵常与纯虚谱联系在一起。
6.3 数值例子与检验方法
例如矩阵 \[ A=\begin{pmatrix} 1 & 0\\ 0 & i \end{pmatrix} \] 是正规矩阵，因为它是对角矩阵。又如 \[ B=\begin{pmatrix} 0 & 1\\ 1 & 0 \end{pmatrix} \] 也是正规矩阵，并且实际上是厄米矩阵。
在数值计算中，常先检查矩阵是否近似满足 \(AA^*\approx A^*A\)，再根据误差容限判断其是否可视为正规。这在浮点运算和工程应用中较为常见。
7 应用
由于正规算子具有谱结构清晰、正交分解明确、数值性质稳定等优点，它在多个学科中都有重要用途。
7.1 量子力学中的可观测量表示
在量子力学的数学形式中，可观测量通常由自伴算子描述，而自伴算子又属于正规算子。因此，正规算子的谱理论为测量结果、态分解和概率解释提供了统一框架。
通过谱分解，可以把复杂观测量表示为不同测量结果的叠加，这在理论建模中极为重要。
7.2 信号处理中的频谱分析
在信号处理里，正规算子及其矩阵模型常用于频域分析、滤波器设计和变换表示。尤其在傅里叶分析和离散变换中，许多关键算子都具有正规性或接近正规性，从而便于分离频率成分。
这类结构让信号的分解、重构和压缩更具可控性。
7.3 数值线性代数中的稳定性分析
正规矩阵在数值分析中尤其受重视，因为其特征值分布与整体行为联系紧密，且对扰动的反应通常比一般矩阵更可预测。很多迭代算法和误差估计都倾向于在正规矩阵上表现出更稳定的性质。
因此，在研究算法收敛性、条件数与谱扰动时，正规性常被视为理想结构之一。
7.4 微分方程与算子方法
在偏微分方程和演化方程中，某些微分算子可在适当函数空间内表现出正规或近似正规的性质。借助谱分解与函数演算，可以把求解过程转化为谱变量上的处理。
这类方法在理论解析和形式求解中都很有价值，尤其适用于线性系统与边值问题。
8 历史与发展
正规算子的概念并非一开始就以今天的形式出现，而是随着线性算子理论与谱理论的发展逐步成熟。
8.1 早期算子理论背景
早期线性代数主要关注有限维矩阵的运算与方程求解。随着函数空间、积分方程和微分方程研究的推进，学者开始面对无限维线性算子问题，传统矩阵理论的框架不再足够。
在这一背景下，人们需要寻找既保留代数可操作性，又适用于抽象空间的类，正规算子便是在这一过程中逐渐成为重点对象。
8.2 谱理论的发展
谱理论的发展推动了正规算子的系统研究。人们发现，若算子与其伴随有良好的交换关系，则其谱结构会显著简化，并能够建立统一的分解与表示理论。
谱定理的形成，使正规算子从“一个定义”上升为“一个完整理论体系”的核心角色。
8.3 现代泛函分析中的地位
在现代泛函分析中，正规算子已成为基础性概念之一。它连接了算子代数、谱测度、函数演算以及应用数学中的多种方法，也在量子理论和数值计算中持续发挥作用。
由于正规算子兼具理论深度与计算友好性，它至今仍是研究内积空间结构、理解算子行为的重要入口。