1 基本定义
1.1 幺正算子的定义
幺正算子是定义在复内积空间上的线性算子。设 \(H\) 为复内积空间，算子 \(U:H\to H\) 若满足对任意 \(x,y\in H\) 都有 \[ \langle Ux, Uy\rangle=\langle x,y\rangle, \] 则称 \(U\) 为幺正算子。这个条件表明，幺正算子在作用后不会改变向量之间的内积关系，因此保持了长度、夹角以及正交性。
从几何直观上看，幺正算子可视为复空间中的“刚性变换”，类似于实空间中的旋转与反射，但其结构更适合处理复数域上的线性问题。
1.2 等价表述
幺正算子的定义可以从多个角度表述，这些表述在不同场景中各有用处。
1.2.1 保内积性质
若线性算子 \(U\) 保持内积，即满足 \(\langle Ux,Uy\rangle=\langle x,y\rangle\)，则它是幺正算子。该性质最直接地反映了幺正变换的“等距”特征。
1.2.2 保范数性质
由于内积决定范数，幺正算子也必然保持向量长度： \[
| \|Ux\|=\|x\|. |
|---|
\] 反过来，在复内积空间中，若一个线性算子保持范数，则通常可推出它保持内积，因此也是幺正算子。这个等价关系使幺正性可通过更易检验的长度保持来识别。
1.2.3 逆算子与共轭转置关系
在有限维情形中，若用矩阵表示幺正算子，则其逆矩阵等于共轭转置： \[ U^{-1}=U^*. \] 这里 \(U^*\) 表示转置后再取复共轭。此关系是幺正算子最重要的代数特征之一，也常作为判定幺正性的标准。
1.3 幺正矩阵与无限维情形
在有限维复内积空间中，幺正算子与幺正矩阵完全对应；只需选定一组正交规范基，算子就可写成一个幺正矩阵。
在无限维复希尔伯特空间中，幺正算子仍然有定义，但相关性质更强调拓扑与完备性。此时幺正算子必须是满射并保持内积，才能保证其逆仍为有界线性算子。无限维情形下的幺正算子在泛函分析和量子理论中尤为常见。
2 代数性质
2.1 封闭性与复合
两个幺正算子的复合仍是幺正算子。若 \(U\) 与 \(V\) 都幺正，则 \(UV\) 也保持内积不变。这个性质说明幺正算子在复合运算下形成稳定结构，便于构造复杂变换。
2.2 逆元与幺正群
每个幺正算子都可逆，且逆算子仍为幺正算子。有限维情况下，全体 \(n\) 阶幺正矩阵在矩阵乘法下构成群，记为 \(U(n)\)，称为幺正群。它是复数域上最重要的矩阵群之一。
2.3 共轭转置的性质
共轭转置在幺正算子的理论中占核心地位。它既是求逆的工具，也是判断结构的关键。
2.3.1 自身逆算子
若一个算子满足 \(U=U^{-1}\)，则称其为自身逆算子。幺正算子不一定自身逆，但如果进一步满足这一条件，则它同时还是一种特殊的对称变换。有限维中，这类算子常对应于某些特殊矩阵。
2.3.2 幺正算子的伴随
幺正算子的伴随算子满足 \[ U^*=U^{-1}. \] 这意味着幺正算子的伴随与逆完全一致。由此可见，幺正算子不仅保持几何结构，也在算子论中具有良好的双向可逆性。
2.4 与正规算子的关系
幺正算子属于正规算子。正规算子指满足 \(UU^*=U^*U\) 的算子，而幺正算子由于 \(U^*=U^{-1}\)，自然满足这一条件。相比一般正规算子，幺正算子的谱性质更为规整，常可获得更强的结构结论。
3 矩阵表示
3.1 幺正矩阵的定义
在标准复内积空间 \(\mathbb{C}^n\) 中，若矩阵 \(U\) 满足 \[ U^*U=UU^*=I, \] 则称 \(U\) 为幺正矩阵。这里 \(I\) 为单位矩阵。该条件与幺正算子的定义完全等价。
3.2 列向量与行向量正交归一
幺正矩阵的列向量构成一组正交规范基，即每个列向量长度为 1，且彼此正交。等价地，其行向量也满足同样性质。这个特征使幺正矩阵成为“坐标系保持器”，在变换后仍保留标准正交结构。
3.3 经典例子
3.3.1 二维旋转型幺正矩阵
二维复空间中的旋转可以由幺正矩阵表示。若取实数旋转矩阵嵌入复数域，它依然是幺正的。更一般地，某些带复相位的二维矩阵也可表示平面上的旋转型变换。
3.3.2 相位因子矩阵
形如 \[ \begin{pmatrix} e^{i\theta_1} & 0 \\ 0 & e^{i\theta_2} \end{pmatrix} \] 的对角矩阵是典型幺正矩阵。它们只改变向量各分量的相位，不改变长度，因此常被称为相位因子矩阵。
3.4 矩阵分解中的作用
幺正矩阵在矩阵分解中十分重要。例如在 QR 分解中，常用幺正矩阵把一般矩阵分解为幺正部分与上三角部分。由于幺正矩阵数值稳定性较好，这类分解在计算中应用广泛。
4 谱理论
4.1 特征值性质
幺正算子的谱具有明显的几何限制。
4.1.1 特征值模长为1
若 \(Ux=\lambda x\) 且 \(x\neq 0\)，则 \[
| \|Ux\|=\|\lambda x\|= | \lambda | \,\|x\|. |
|---|
\]
| 由于幺正算子保持范数，故必须有 \( | \lambda | =1\)。因此，幺正算子的特征值都位于复平面的单位圆上。 |
|---|
4.1.2 特征向量的正交性
对应不同特征值的特征向量彼此正交，这是幺正算子和更一般正规算子的常见性质。若这些特征值不同，则相应特征子空间在内积意义下互相独立。
4.2 谱分解
在有限维情形下，幺正矩阵可通过谱定理进行分解，写成若干单位圆上的特征值及其对应投影的组合。若矩阵足够“可分解”，则其结构可以完全由谱数据描述。
4.3 对角化条件
幺正算子由于是正规算子，有限维时总可被某个幺正矩阵对角化。也就是说，存在幺正矩阵 \(V\)，使得 \[ V^*UV \] 为对角矩阵。这个结论在理论分析和实际计算中都非常有用。
4.4 酉不变子空间
若子空间 \(M\) 满足 \(UM\subseteq M\)，则称 \(M\) 对幺正算子不变。此类子空间在分解空间结构、研究限制算子以及构造分块表示时具有重要意义。
5 典型例子
5.1 恒等算子
恒等算子 \(I\) 显然是幺正算子。它保持所有向量不变，是幺正性的最基本实例，也常作为各类公式中的基准对象。
5.2 复平面旋转
复平面上乘以单位复数 \(e^{i\theta}\) 的变换是幺正的。它只改变方向而不改变模长，因此可看作最简单的复线性等距变换。
5.3 Fourier变换算子
离散 Fourier 变换在适当归一化后是幺正算子。它把时域信息转化为频域信息，同时保持总能量不变，因此在信号分析和频谱处理里极为常见。
5.4 置换矩阵
置换矩阵通过重新排列坐标分量实现变换。由于它只是交换基向量的位置，不改变长度与内积，所以也是幺正矩阵的一类简单例子。
6 相关结构
6.1 幺正群 U(n)
\(U(n)\) 是 \(n\) 阶幺正矩阵全体构成的群。它既有代数上的群结构，也具有几何与拓扑结构，是研究复线性对称性的核心对象。
6.1.1 李群结构
\(U(n)\) 还是一个李群，意味着它不仅是群，而且带有光滑流形结构。其切空间、李代数及指数映射在微分几何和表示论中都很重要。
6.1.2 子群与商结构
幺正群内部包含多种自然子群，例如特殊幺正群 \(SU(n)\)。通过考虑行列式约束或其他结构条件，可以得到不同层级的子群与商空间，用以描述更精细的对称性。
6.2 正交群的复推广
幺正群可看作正交群在复数域上的推广。正交变换保持实内积，而幺正变换保持复内积。二者在形式上相近，但幺正理论更适合处理含相位信息的对象。
6.3 保内积变换
保内积变换是幺正算子的本质特征。凡能维持内积结构的线性变换，都会保存长度、角度和正交关系，因此在几何上相当于“无畸变”的变换。
6.4 与自伴算子的联系
自伴算子与幺正算子在算子理论中常相互配合。自伴算子对应可观测量与实谱结构，而幺正算子更常对应演化与坐标变换。通过指数映射，自伴算子可生成幺正算子，这一联系在连续变换理论中尤为重要。
7 应用
7.1 量子力学中的态变换
在量子力学中，态矢量的演化通常由幺正算子描述。其原因在于物理过程需要保持概率总量不变，而幺正变换正好保持内积，从而保持态之间的概率解释一致。
7.2 信号处理中的变换保持
在信号处理里，幺正变换用于频域分析、滤波与编码等任务。它们能够保持信号能量，便于在不失真的前提下进行表示转换和特征提取。
7.3 数值线性代数中的稳定算法
幺正矩阵因数值稳定性良好，常用于设计算法。与一般变换相比，它较少放大误差，因此在求解线性方程、特征值计算和矩阵分解中都十分有价值。
7.4 群表示论中的幺正表示
群表示若能用幺正算子实现，就称为幺正表示。此类表示特别适合研究群作用下的对称结构，因为它把抽象群元素转化为保持内积的线性变换，便于分析与分解。
8 推广与变体
8.1 半幺正算子
半幺正算子通常指只在部分结构上保留幺正性质的算子，例如保持某些子空间的等距性，但未必在整个空间上可逆。这类对象常出现在算子代数和特定分解理论中。
8.2 偏幺正算子
偏幺正算子是另一类重要推广，通常表示在某个初始子空间上等距、在其像空间上具有对应性质的算子。它在泛函分析和量子信息中有明确用途，尤其适合描述非满射的结构变换。
8.3 无限维幺正算子
无限维幺正算子定义在希尔伯特空间上，兼具线性、等距和满射性质。与有限维情形相比，它更强调拓扑完备性，并与谱理论中的连续谱、纯点谱等概念密切相关。
8.4 酉等价与酉相似
两个算子若能通过幺正算子相互变换，则称它们酉等价或酉相似。此类关系表示它们在本质上具有相同的内积结构下行为，常用于分类矩阵与比较算子性质。
9 相关概念
9.1 正交算子
正交算子是实内积空间中的对应概念，要求保持实内积不变。幺正算子可视为其在复空间中的自然版本。
9.2 自伴算子
自伴算子满足 \(A=A^*\)，其谱通常为实数。它与幺正算子分别代表“可观测”和“演化”两类重要结构。
9.3 正规算子
正规算子满足与其伴随可交换，是包含幺正算子在内的重要类。很多优良的谱性质都建立在正规性之上。
9.4 酉矩阵
酉矩阵就是幺正算子的有限维矩阵表示，满足 \(U^*U=I\)。它是线性代数中最常见的幺正对象。
9.5 保范数映射
保范数映射指保持向量长度不变的映射。在线性情形下，这类映射往往与幺正算子密切相关，是理解几何不变性的基础概念。