1 基本定义
紧算子是泛函分析中的基本对象之一。它刻画了一类能够把“无限维中的有界性”压缩为“接近有限维现象”的线性映射，因此在算子理论、谱分析和方程求解中占有重要地位。其核心思想是：一个算子如果能把有界集送入具有强紧性特征的集合，那么它在结构上往往表现出许多类似有限维线性代数的性质。
1.1 有界算子与相对紧集
在赋范空间中，线性算子若将有界集映到有界集，通常称为有界算子。与之相对，集合的“相对紧性”描述的是其闭包是否紧，即该集合是否只差一个闭包就成为紧集。对于赋范空间而言，有限维情形中有界性与紧性关系密切，但在无限维空间中二者明显分离，因此需要借助相对紧集来描述更强的压缩性质。
1.2 紧算子的定义
紧算子的定义通常围绕“有界集的像是否相对紧”展开。它是有界算子中的特殊类别，要求比单纯连续性更强，但又不至于像一般的紧映射那样脱离线性结构。
1.2.1 在赋范空间中的定义
设 \(X, Y\) 为赋范空间，线性算子 \(T: X \to Y\) 若把 \(X\) 中任意有界集 \(B\) 映为 \(T(B)\) 的相对紧性成立，则称 \(T\) 为紧算子。这里的“相对紧”意味着 \(T(B)\) 的闭包在 \(Y\) 中紧，从而任意序列都能抽出收敛子列。
1.2.2 在巴拿赫空间中的定义
当 \(X, Y\) 都是巴拿赫空间时，紧算子的定义与赋范空间中的定义完全一致，但由于完备性更强，很多结论表述更加简洁。此时，若算子把单位球等典型有界集映为相对紧集，就足以推出其紧性。
1.3 相关等价表述
紧算子常可通过若干等价条件来识别，这些条件在证明和应用中往往比定义更实用。
1.3.1 序列刻画
一个线性算子 \(T\) 紧，当且仅当它把任意有界序列 \((x_n)\) 映成的序列 \((Tx_n)\) 都含有收敛子列。该表述是紧性的经典序列化刻画，便于利用抽取子列和紧性原则进行判断。
1.3.2 有界集的像与预紧性
紧算子的像集通常具有预紧性，即其闭包紧。换言之，紧算子并不要求像集本身闭合，而是要求其“离紧集只有一步之遥”。这一表述在研究算子作用于函数族时尤其常见。
2 基本性质
紧算子具有稳定的代数性质和良好的极限行为，这些性质构成了其理论的重要骨架。
2.1 线性结构
紧算子类在许多运算下保持封闭，因此能形成可操作性较强的算子族。
2.1.1 紧算子的线性组合
若 \(T\) 与 \(S\) 都是紧算子，则它们的线性组合 \(aT+bS\) 仍为紧算子，其中 \(a,b\) 为标量。这个结论表明紧性与线性结构相容，便于构造新算子。
2.1.2 有界算子复合下的性质
紧算子与有界算子复合时具有很好的保持性：若 \(T\) 紧，\(A,B\) 为有界算子，则 \(ATB\) 依然紧。特别地，紧算子左乘或右乘有界算子后，仍保持紧性，这一事实在分解算子与研究方程时非常有用。
2.2 闭性与极限性质
紧算子族在算子范数极限下具有稳定性，这使其可通过逼近方法处理。
2.2.1 紧算子的极限
若一列紧算子在算子范数意义下收敛到某个算子，则极限算子仍为紧算子。该性质说明紧性在强控制意义下是封闭的，适合用有限秩算子或其他简单算子进行逼近。
2.2.2 算子范数收敛与紧性保持
当 \(T_n \to T\) 于算子范数，且每个 \(T_n\) 紧时，\(T\) 也紧。这个结论常作为证明某些具体算子紧性的常用路径，即先构造一列易处理的紧算子，再通过范数收敛传递结论。
2.3 有界集上的作用
紧算子最突出的特征就在于它对有界集的“压缩”效果。
2.3.1 像集的相对紧性
对任何有界集 \(B\)，紧算子 \(T\) 的像 \(T(B)\) 都具有相对紧性。这意味着像集不会在空间中无限散开，而是被限制在某个可控的紧结构附近。
2.3.2 单位球上的表现
判断紧性时，通常只需考察单位球的像集。若单位球在 \(T\) 下的像相对紧，则 \(T\) 紧。由于任意有界集都可缩放并包含于某个球中，这一标准在实践中最常使用。
3 常见例子
紧算子在分析中并不罕见，许多典型构造天然满足紧性。
3.1 有限秩算子
有限秩算子是最基本的紧算子。它们的值域是有限维子空间，而有限维空间中的有界集具有较强的紧性特征。因此，有限秩算子不仅易于描述，也常作为一般紧算子的逼近工具。
3.2 积分算子
积分算子是紧算子的经典来源之一，尤其是在函数空间中。
3.2.1 连续核积分算子
若算子由连续核函数 \(K(x,y)\) 定义，例如 \[ (Tf)(x)=\int K(x,y)f(y)\,dy, \] 在适当条件下，\(T\) 往往是紧的。连续核带来的平滑效应使函数族在像空间中呈现更强的相对紧性。
3.2.2 Hilbert-Schmidt 型算子
Hilbert-Schmidt 型算子属于重要的紧算子类。它们通常由平方可积核定义，并在 Hilbert 空间中具有良好的谱结构和逼近性质，是研究自伴紧算子的常见模型。
3.3 Sobolev嵌入中的紧算子
Sobolev空间之间的一些嵌入映射在满足适当区域与指数条件时是紧的。此类结果在偏微分方程中很重要，因为它们常用于证明解序列的收敛性、验证变分泛函的紧性条件。
3.4 典型非例子
并非所有有界算子都是紧的。恒等算子在无限维空间中通常不是紧算子，因为单位球的像仍是单位球，而单位球一般不相对紧。平移算子、某些乘法算子也常作为非例子，用来说明紧性的严格性。
4 紧算子的判别方法
判断一个算子是否紧，常依赖于具体空间的结构和可用的紧性定理。
4.1 利用序列紧性判别
最直接的方法是检查有界序列的像是否存在收敛子列。若每个有界序列在算子作用下都能抽出收敛子序列，则算子紧。这一方法在构造性证明中尤其直观。
4.2 利用Arzelà-Ascoli定理
在连续函数空间上，Arzelà-Ascoli定理提供了判别相对紧性的标准，即一致有界性与等度连续性。若算子把有界集送入满足这些条件的函数族，则可推出其紧性，因此该定理常用于积分算子和微分算子的分析。
4.3 利用Kolmogorov-Riesz定理
在 \(L^p\) 空间中，Kolmogorov-Riesz定理给出了相对紧性的判别条件，通常涉及平移连续性、紧支性控制以及一致有界性。借助该定理，可以判断一些平滑算子或局部平均算子是否紧。
4.4 利用算子分解与近似
若一个算子可表示为紧算子与有界算子的组合，或可由有限秩算子在算子范数下逼近，则可据此证明其紧性。此类方法强调“分解为简单部分”的思想，具有较强的可操作性。
5 谱理论
紧算子在谱理论中具有极其优美的结构，很多结论与有限维矩阵理论高度相似。
5.1 紧算子的谱性质
紧算子的谱结构通常比一般有界算子简单得多，非零谱点表现出明显的离散特征。
5.1.1 非零谱点的离散性
对于定义在无限维空间中的紧算子，其非零谱点只能以离散方式出现，不会在非零区域形成连续谱的复杂分布。除零点外，谱点通常只能向零聚集。
5.1.2 特征值的有限重数
紧算子的每个非零特征值都具有有限重数。这说明与特征值对应的特征空间不会无限膨胀，体现出有限维近似的特征。
5.2 紧自伴算子
在 Hilbert 空间中，自伴紧算子拥有更强的分解结构，是最经典的谱分析对象之一。
5.2.1 谱分解
紧自伴算子可以按特征值及其对应投影进行分解，形式上类似于对角化。其非零谱由一列实特征值构成，且唯一可能的聚点是零。
5.2.2 正交特征基
对于适当的紧自伴算子，可以找到由特征向量组成的正交规范基。借助这一基，算子作用可被完全展开，从而使问题转化为标量序列的分析。
5.3 Riesz-Schauder理论
Riesz-Schauder理论系统描述了紧算子的可逆性、谱结构和伴随关系，是紧算子理论中的核心部分。
5.3.1 可解性与Fredholm替代
该理论给出著名的 Fredholm 替代：对于方程 \((I-T)x=y\)，要么齐次方程存在非平凡解，要么非齐次方程在适当条件下可唯一求解。它揭示了紧算子扰动恒等算子后的精细可解性结构。
5.3.2 伴随算子中的谱关系
紧算子的伴随算子同样是紧算子，其谱与原算子的谱存在密切对应关系。在 Hilbert 空间中，非零谱点及其代数重数在一定条件下可由原算子与伴随算子相互反映。
6 紧算子的近似理论
紧算子天然适合用有限维方法近似，因此在理论与数值计算中都极具价值。
6.1 有限秩算子逼近
许多紧算子可被有限秩算子在算子范数下逼近。有限秩算子计算简单，便于实现，故常作为研究紧算子的基准模型。这种逼近思想也说明紧算子在某种意义上“接近”有限维对象。
6.2 谱逼近
当用有限维算子逼近紧算子时，其特征值与特征向量也常可相应逼近。谱逼近是研究积分方程、振动问题和稳定性分析中的重要工具，尤其适合处理低频主导的结构。
6.3 数值方法中的应用
紧算子理论与数值分析有密切联系，许多离散算法本质上是在求紧算子的有限维近似。
6.3.1 离散化
将连续问题离散化后，常得到矩阵算子或有限维近似算子。若原问题可转化为紧算子方程，则离散模型往往具有较好的收敛性和可计算性。
6.3.2 截断与投影方法
截断和投影方法通过保留有限个基函数或模态，将无限维问题化为有限维系统。对紧算子而言，这类方法常能较有效地逼近原算子的主要谱信息。
7 伴随与对偶空间中的性质
紧算子的紧性与对偶结构之间存在深刻联系，尤其体现在伴随算子和弱拓扑刻画中。
7.1 伴随算子的紧性
若 \(T\) 是紧算子，则其伴随算子 \(T^*\) 也通常是紧算子。这个性质使紧性在对偶空间中得以延续，并保证相关谱分析具有对称性。
7.2 双对偶中的行为
在双对偶框架下，紧算子可借助自然嵌入进行研究。它们在双对偶中的延拓往往保留某些紧性特征，便于从更高层次理解其极限行为与连续性。
7.3 弱拓扑与弱*拓扑下的刻画
紧算子常可通过弱收敛与弱*收敛来描述。由于有界集在弱拓扑下具有更灵活的紧性表现，紧算子能够改善序列的收敛性质，这也是其在泛函分析中备受重视的原因之一。
8 应用
紧算子的应用范围很广，几乎贯穿现代分析中的多个核心问题。
8.1 积分方程
许多积分方程可写成“恒等算子加紧算子”的形式，从而利用谱理论与 Fredholm 理论讨论存在性、唯一性与可解条件。紧算子在此类问题中往往决定了方程的核心结构。
8.2 偏微分方程
在偏微分方程中，紧嵌入与紧解算子经常用于证明解的先验估计、紧性与收敛性。特别是在椭圆型问题和变分框架中，紧性是建立存在理论的重要工具。
8.3 变分问题
变分法中常需要从有界极小化序列中抽取收敛子列，而紧算子提供了实现这一点的有效机制。若相关映射具有紧性，便更容易证明极值点或临界点的存在。
8.4 数值分析中的稳定性与收敛性
在数值分析里，紧算子理论帮助分析离散格式的稳定性、误差传播以及迭代收敛。由于紧算子的谱往往具有良好结构，算法设计者可以据此选择更有效的近似方案和预处理策略。