1 基本概念
偏幺正算子是算子理论中的基础对象，常用于刻画“只在部分子空间上保持几何结构”的线性变换。与酉算子不同，它不必在整个希尔伯特空间上可逆；与一般线性算子相比，它又保留了较强的内积信息，因此在结构分析中具有较高的可分解性。
1.1 定义
偏幺正算子通常定义为希尔伯特空间上的有界线性算子，满足其在某一子空间上表现为等距映射，而在该子空间的正交补上为零。这个定义强调的是“部分等距”的性质，即算子只对其有效作用域保持长度和角度信息。
1.1.1 希尔伯特空间上的线性算子
讨论偏幺正算子时，通常把它视为希尔伯特空间上的有界线性算子。希尔伯特空间提供了内积、正交和范数等几何结构，使得“保持内积”这类性质可以被严格表达。偏幺正算子的研究因此与空间的几何分解密切相关。
1.1.2 初始空间与终止空间
偏幺正算子所对应的两个核心子空间是初始空间与终止空间。初始空间是算子作用前真正参与等距映射的部分，终止空间则是其像所落入的子空间。二者分别反映了算子的“输入有效范围”和“输出落点结构”。
1.2 与等距算子的关系
偏幺正算子可以看作等距算子的推广。等距算子要求在整个定义域上保持范数，而偏幺正算子只要求在某个子空间上保持这一性质，因此适用范围更广，也更适合描述带有退化或截断特征的变换。
1.2.1 全等距算子
全等距算子在整个空间上都保持长度不变，因而其几何行为更接近刚性变换。若进一步满足满射性，它便是酉算子。全等距算子可视为偏幺正算子中最规则的一类特殊情形。
1.2.2 部分等距算子
部分等距算子是偏幺正算子的常用别称，强调其只在部分子空间上是等距的。它可能在某些向量上直接退化为零，因此兼具“保结构”和“允许消失”两种特征。
1.3 基本例子
偏幺正算子的典型例子通常来自矩阵和移位算子。通过这些例子，可以直观看到它与投影、酉变换以及单侧位移之间的关系。
1.3.1 有限维矩阵例子
在有限维情形下，偏幺正算子可由某些矩阵表示，例如由若干列正交单位向量组成、其余方向被压缩到零的矩阵。此类矩阵通常不是方阵意义下的可逆变换，但在其有效子空间上仍保持长度不变。
1.3.2 移位算子相关例子
单侧移位算子是偏幺正算子的经典例子之一。它将序列向后一位移动，同时在首项处补零。该算子不是满射，但在除去首项零化部分之后，仍体现出标准的等距行为。
2 等价刻画
偏幺正算子可以从多个角度等价描述，包括伴随算子关系、范数保持性质以及极分解中的特定因子。这些刻画彼此一致，构成了研究此类算子的主要工具。
2.1 通过伴随算子表述
从伴随算子的角度看，偏幺正算子往往满足若干简洁的代数等式。最常见的表达是由算子与其伴随的乘积形成投影，从而把几何性质转化为代数条件。
2.1.1 自伴随投影条件
若一个算子与其伴随的乘积是自伴随投影，则它往往具有偏幺正性质。这个条件揭示了算子的有效作用域实际上由一个正交投影所控制，使得其结构可以被投影算子编码。
2.1.2 幂等关系
在某些表述中，偏幺正算子满足与幂等结构相近的关系，尤其是其与伴随算子组合后会稳定到投影形式。虽然它本身不一定幂等，但这种“投影化”的乘积关系是识别偏幺正算子的关键特征。
2.2 通过范数保持性质表述
偏幺正算子最直观的特征是对初始空间中的向量保持范数。换言之，它在那部分子空间上的作用类似于等距映射，而离开该子空间后则不再具有这种严格保持性。
2.2.1 在初始空间上的等距性
若向量属于初始空间，则其经过偏幺正算子后长度不变，内积关系也相应保留。这个性质使得初始空间可以被看作算子的“真实工作区”。
2.2.2 在核空间上的消失性质
偏幺正算子在核空间上的作用通常为零。也就是说，凡是被算子完全消去的向量，都属于其不可逆或失效部分。核空间的存在正是偏幺正算子不同于酉算子的核心原因之一。
2.3 通过极分解表述
在算子极分解中，一个有界算子可表示为一个偏幺正因子与一个正算子的乘积。偏幺正算子因此自然出现在极分解的结构中，并承担“方向部分”的角色。
2.3.1 极分解中的偏幺正因子
极分解中的偏幺正因子负责描述算子变化中的“旋转”或“方向保持”成分，而正算子部分则描述伸缩。两者结合后，可以把一般算子拆解为更易分析的结构组件。
2.3.2 唯一性条件
在极分解中，偏幺正因子通常在一定约定下具有唯一性，尤其当关注其在初始空间上的定义时。若原算子的像闭合，这种唯一性会更为清晰，从而便于进一步分析。
3 结构性质
偏幺正算子的结构研究主要围绕初始空间、终止空间以及与之相关的正交分解展开。这些性质决定了它在谱理论和不变量分析中的表现。
3.1 初始空间与终止空间
初始空间与终止空间构成了偏幺正算子的基本框架。前者决定哪些向量会被等距处理，后者决定这些向量最终落入哪个子空间。
3.1.1 像空间的闭包
偏幺正算子的像空间在很多情况下会先考虑其闭包。闭包可以补足可能出现的边界点，使得终止空间的描述更稳定，也更适合与投影和分解理论结合。
3.1.2 核与余核
核反映算子失效的方向，余核则刻画其像在整个空间中的缺失部分。对于偏幺正算子来说，核与余核往往对应两类互补的退化现象，是判断其是否接近酉算子的指标之一。
3.2 正交分解
偏幺正算子常与正交直和分解搭配使用。通过把空间拆成相互正交的若干部分，可以更清楚地区分其有效作用区域与零化区域。
3.2.1 核空间分解
核空间分解有助于把被算子消去的成分单独拿出来研究。这样既能简化计算，也能更准确地把偏幺正算子与投影、压缩算子等对象区分开来。
3.2.2 像空间分解
像空间也常进一步分解为终止空间及其相关补空间。此类分解有助于揭示算子的输出是如何被组织的，以及它是否具有更高层次的结构对称性。
3.3 谱相关性质
偏幺正算子的谱性质通常比一般算子更有规律，但又不如酉算子那样完全受限于单位圆。其谱特征与是否存在纯移位成分、是否具有闭像等问题相联系。
3.3.1 谱半径
偏幺正算子的谱半径往往受到等距性质的约束。在许多情形下，它的谱分布可与单位圆或其部分子集相关联，这使得谱半径成为判断其整体行为的重要量。
3.3.2 特征值与不动点
若某向量在偏幺正算子作用下保持不变，则可视作不动点，对应特征值 1 的情形尤为常见。是否存在这类向量，常反映算子的幺正部分是否显著。
4 经典分解理论
偏幺正算子在经典分解理论中占有重要位置，尤其是 Wold 分解提供了对其进行“幺正与移位”拆分的标准方法。此类分解为进一步研究不变子空间和分类问题奠定了基础。
4.1 Wold 分解
Wold 分解把偏幺正算子拆解为互相正交的两个部分：一个是幺正型部分，另一个是移位型部分。该理论在理解纯粹与非纯粹行为时尤为关键。
4.1.1 幺正部分
幺正部分上的偏幺正算子实际上表现为可逆的保内积变换。这个部分保留了完整的几何信息，因此较容易与酉算子理论衔接。
4.1.2 移位部分
移位部分体现为不断向前推进而不回流的结构，类似单侧移位的行为。它通常是非可逆性的主要来源，也是偏幺正算子区别于酉算子的核心因素。
4.2 不变量子空间
偏幺正算子的作用方式决定了其不变量子空间往往具有显著的层次结构。通过研究这些子空间，可以进一步分析算子的动力学行为和分解模式。
4.2.1 循环子空间
循环子空间由某个向量在算子反复作用下生成。对于偏幺正算子，这类子空间常能暴露其移位特征，并帮助建立更精细的模型表示。
4.2.2 半不变子空间
半不变子空间对算子及其伴随的作用通常只满足单向稳定性要求。它比不变子空间更宽松，因此更适合描述偏幺正算子在实际分解中的边界结构。
4.3 准酉与纯偏幺正算子
在分类中，偏幺正算子可进一步分为带有幺正部分的类型和完全由移位成分构成的类型。这种划分有助于把复杂算子还原为更简单的标准部件。
4.3.1 纯偏幺正算子
纯偏幺正算子通常指没有非平凡幺正部分的偏幺正算子。它们的行为更接近纯移位，适合用于研究非可逆、无回返特征的算子模型。
4.3.2 特殊情形分类
在一些特殊情形下，偏幺正算子可退化为投影、酉算子或单纯的移位算子。分类研究的价值在于指出这些边界案例之间的连续谱系，而不是把它们孤立看待。
5 算子代数中的角色
偏幺正算子不仅是单个算子的研究对象，也常作为生成元或结构部件出现在算子代数中。它在 C*-代数、von Neumann 代数和函数模型里都有自然出现。
5.1 C*-代数中的表示
在 C*-代数中，偏幺正算子常用于构造表示或刻画生成关系。其投影式的伴随关系很适合与代数关系式一起使用，从而建立具体模型。
5.1.1 生成元与关系
某些 C*-代数可由偏幺正元及其满足的关系生成。此时，偏幺正性质为代数设定了基本约束，使得抽象对象能够通过算子实现。
5.1.2 交叉积中的出现
在交叉积构造中，偏幺正算子常充当实现动力系统作用的算子。它们连接了动力学与代数结构，是研究非交换空间的重要工具。
5.2 von Neumann 代数语境
在 von Neumann 代数中，偏幺正算子通常与投影、中心分解及闭包性质相配合使用。其强拓扑下的良好行为，使其适合处理极限与分解问题。
5.2.1 投影与中心分解
偏幺正算子往往可借助投影进行分块描述，而中心分解则进一步揭示其在代数内部的结构层次。两者结合后，能把复杂算子分解到较简单的成分上。
5.2.2 伴随闭包性质
在适当条件下，偏幺正算子的伴随及其生成的算子族具有良好的闭包性质。这使得它在弱收敛和强收敛框架中都较易处理。
5.3 函数模型
函数模型理论把算子问题转化为解析函数或 Hardy 空间中的操作。偏幺正算子在这一框架中具有明确的模型意义，尤其适合描述移位型动力。
5.3.1 Hardy 空间模型
在 Hardy 空间中，单侧移位及其压缩常构成偏幺正算子的基本模型。通过这一表示，可将抽象算子问题转写为函数空间上的乘子或压缩算子问题。
5.3.2 Sz.-Nagy–Foiaș 理论中的对应
在 Sz.-Nagy–Foiaș 理论中，偏幺正算子常作为部分等距结构的核心原型。该理论为理解收缩算子的模型、特征函数和分解提供了统一框架。
6 应用
偏幺正算子在应用中主要承担“保留部分结构、允许部分损失”的建模任务。由于其兼具几何保持与非可逆特征，因此在多个工程与物理领域都十分常见。
6.1 量子力学
在量子力学中，偏幺正算子可用于描述测量后态的部分演化、开放系统中的非完全可逆过程等。它比酉演化更适合表达带有信息丢失的情形。
6.1.1 测量与态演化
量子测量往往会改变系统状态，且这种改变未必是整体可逆的。偏幺正算子可作为这种非完整演化的理想抽象，用来刻画局部保真而全局退化的变换。
6.1.2 部分可逆过程
某些量子过程在局部上可以恢复，但在整体上存在不可逆损失。偏幺正算子能够将“可逆部分”和“消失部分”分离开来，便于分析过程中的结构保留程度。
6.2 信号处理
在信号处理中，偏幺正算子常与滤波、通道变换和子空间投影有关。它能够描述对某些成分保持能量、对另一些成分直接截断的系统。
6.2.1 滤波器实现
理想滤波器或某些离散系统模型可由偏幺正结构近似表示。其在通带上保持信号形态，而在阻带中削弱或消除分量，体现出部分等距的特征。
6.2.2 子空间变换
当信号被分解到不同子空间时，偏幺正算子可用于描述子空间之间的保结构映射。它特别适合处理多分辨率分析和子带处理等场景。
6.3 数值分析
在数值分析中，偏幺正算子相关结构常用于稳定性判断和矩阵算法设计。由于其与正交性关系密切，它能提升某些分解方法的可计算性与稳定性。
6.3.1 稳定性分析
偏幺正性质意味着在有效子空间上不会放大误差，因此可作为稳定性分析的参考模型。对于迭代过程而言，这种局部保范数特征尤其有价值。
6.3.2 矩阵分解算法
在 QR 分解、极分解及相关矩阵算法中，偏幺正因子常承担关键角色。它帮助把复杂矩阵拆成更容易处理的结构块，从而提高算法的数值表现。
7 相关概念
偏幺正算子与多种基础算子概念关系紧密。理解这些相关对象，有助于把它放回更大的算子理论框架中。
7.1 酉算子
酉算子是偏幺正算子的特例或极限形式，代表在整个空间上保持内积且可逆的变换。二者的区别主要在于作用范围是否覆盖全空间。
7.1.1 可逆性
酉算子具有严格可逆性，其逆等于伴随算子。偏幺正算子则可能只在初始空间上表现出类似性质，因此可逆性明显更弱。
7.1.2 保内积变换
酉算子完全保留内积，因此不会改变角度和长度。偏幺正算子只在部分子空间上具备这种性质，因而可视为局部版本的保内积变换。
7.2 投影算子
投影算子是偏幺正算子研究中的重要辅助对象。许多偏幺正算子的初始空间和终止空间都可由投影来描述或提取。
7.2.1 正交投影
正交投影将向量分解到某个闭子空间及其正交补上，是 Hilbert 空间中最基础的算子之一。偏幺正算子的某些伴随关系常直接导出正交投影。
7.2.2 与偏幺正算子的联系
偏幺正算子与投影算子的联系体现在其乘积常形成投影，或者可由投影限制与扩张而构造。二者共同体现了“部分保留、部分舍弃”的结构思想。
7.3 等距算子
等距算子与偏幺正算子共享“保持长度”的核心特征，但前者通常不要求满射，后者则进一步强调其由初始空间出发的部分等距结构。
7.3.1 单侧移位
单侧移位是等距算子的经典实例，也是偏幺正算子的代表性模型。它展示了一个重要现象：即使不具备可逆性，算子仍可在某些方向上完全保范数。
7.3.2 纯等距算子
纯等距算子没有非平凡的幺正部分，整体行为完全由移位特征主导。它们与纯偏幺正算子的概念相近，常用于描述没有回返成分的动力系统。