在数学分支泛函分析中，一个**紧算子**(英語：)是从巴拿赫空间*X*到另一个巴拿赫空间*Y*的线性算子*L*，使得在*L*的作用下*X*的任意有界子集的像集是*Y*的相对紧子集。这样的算子必然是有界算子，因此是连续的。

任意有限秩的有界算子*L*是紧算子; 事实上，紧算子是有限秩算子在无限维情形下的自然推广。 当*Y*是希尔伯特空间时，任意紧算子都是有限秩算子的极限，因此紧算子集合可以被替换地定义为有限秩算子在算子范数意义下的闭包。这一性质对于巴拿赫空间（渐进性）是否成立是多年来未解决的问题; 最后Per Enflo给出了一个反例。

紧算子理论的起源于积分方程理论，积分算子给出这样算子的具体例子。 典型的Fredholm积分方程给出函数空间上的紧算子*K*; 紧性由等度连续性得出。 利用有限秩算子近似是数值求解这种方程的基本方法。 Fredholm算子的抽象概念也由此得出。

等价描述
----

有界算子*T:X→Y*是紧的，当且仅当以下任一项为真

* *X*中的闭单位球在*T*下的像在*Y*中相对紧。
* 任意有界集在*T*下的像*在*Y中相对紧。
* 任意有界集在*T*下的像在*Y*中是完全有界的。
* 存在0点的邻域，U\subset X，以及紧集{\displaystyle V\subset Y}使得{\displaystyle T(U)\subset V}。
* 对于*X*中单位球中的任意序列{\displaystyle (x\_{n})\_{n\in \mathbb {N} }}，序列{\displaystyle (Tx\_{n})\_{n\in \mathbb {N} }}包含一个柯西子序列。

注意到如果线性算子是紧的，那么很容易得出它是有界的，因此也是连续的。

重要性质
----

在下文中，*X*、*Y*、*Z*、*W*是巴拿赫空间，B(*X*,*Y*)是从*X*到*Y*赋有算子范数的有界算子空间，K(*X*, *Y*)是从*X*到*Y*的紧算子空间，B(*X*) = B(*X*, *X*)， K(*X*) = K(*X*, *X*)，{\displaystyle id\_{X}}是*X*上的恒等算子。

* K(*X*,*Y*)是B(*X*,*Y*)的闭子空间：令*T**n*，*n* ∈ **N**，是从一个巴拿赫空间到另一个巴拿赫空间的紧算子序列，假设*T**n*依算子范数收敛于*T*。那么*T*也是紧的。
* 相反的，如果*X*、*Y*是希尔伯特空间，则从*X*到*Y*的每个紧算子都是有限秩算子的极限。值得注意的是，这对于一般的巴拿赫空间*X*和*Y*是错误的。
* {\displaystyle B(Y,Z)\circ K(X,Y)\circ B(W,X)\subseteq K(W,Z)}。特别地，K(*X*)是B(*X*)中的双边理想。
* {\displaystyle id\_{X}}是紧的当且仅当*X*是有限维空间。
* 对于任意*T*∈K(*X*)，{\displaystyle id\_{X}-T}是指标为0的Fredholm算子。特别地，{\displaystyle \operatorname {im} \,(id\_{X}-T)}是闭的。这对于研究紧算子的谱性质至关重要。可以注意到这个性质和如下事实之间的相似性：如果*M*和*N*是巴拿赫空间的子空间，其中*M*是闭的并且*N*是有限维的，则*M*+*N*也是闭的。
* 任何紧算子都是严格奇异的，反之则不然。
* 一个算子是紧的当且仅当其伴随是紧的（Schauder定理）。

积分方程理论中的原型
----------

紧算子的一个关键性质是Fredholm二择一，它断言如下形式线性方程的解的存在性

{\displaystyle (\lambda K+I)u=f\,}

（其中*K*是紧算子，*f*是给定函数，*u*是要求解的未知函数）的表现和有限维情形非常类似。然后可以得出紧算子的谱理论，由弗里杰什·里斯（1918）给出。 它表明在无限维巴拿赫空间上的紧算子*K*的谱或者是包括0点的**C**的有限子集，或者是**C**的可数无穷子集，且包含0点作为其唯一的极限点。此外，在任一情况下，谱的非零元素是*K*的有限重特征值（所以K-λI对于所有复数λ≠0有有限维核）。

紧算子的一个重要例子是Sobolev空间的紧嵌入，它与Gårding不等式和Lax-Milgram定理可以用于将椭圆边值问题转换成Fredholm积分方程。解的存在性和谱性质可以由紧算子理论得出; 特别地，有界区域上的椭圆边界值问题有无穷多的孤立特征值。 由此得出的一个结果是固体只能在由特征值给出的孤立频率下振动，并且总是存在任意高的振动频率。

从巴拿赫空间到自身的紧算子构成空间中所有有界算子的代数的双边理想。事实上，无限维可分希尔伯特空间上的紧算子构成极大理想，所以商代数（被称为Calkin代数）是单代数。 更一般地，紧算子构成一个算子理想。

希尔伯特空间上的紧算子
-----------

在希尔伯特空间上紧算子的等价定义可以如下给出。

无限维希尔伯特空间{\mathcal {H}}上的算子T

{\displaystyle T:{\mathcal {H}}\to {\mathcal {H}}}
被认为是紧的，如果它可以写成如下形式

{\displaystyle T=\sum \_{n=1}^{\infty }\lambda \_{n}\langle f\_{n},\cdot \rangle g\_{n}\,}，
其中{\displaystyle f\_{1},f\_{2},\ldots }和{\displaystyle g\_{1},g\_{2},\ldots }是（不必要完备）标准正交基，且{\displaystyle \lambda \_{1},\lambda \_{2},\ldots }是极限为零的正数序列，被称为算子的奇异值。奇异值只可能在零点聚集。 如果序列固定在零点，即{\displaystyle \lambda \_{N+k}=0}对某个{\displaystyle N\in \mathbb {N} ,}和所有{\displaystyle k=1,2,\dots }，则算子有有限秩（也即有有限维值域），且可以写作

{\displaystyle T=\sum \_{n=1}^{N}\lambda \_{n}\langle f\_{n},\cdot \rangle g\_{n}\,}。
尖括号\langle\cdot,\cdot\rangle是希尔伯特空间上的标量积;右边的和依算子范数收敛。

紧算子的一个重要子类是迹类算子（或被称为核型算子）。

全连续算子
-----

令*X*和*Y*是巴拿赫空间。一个有界线性算子*T*:*X* →*Y*被称为是**全连续的**，如果对于*X*中任意弱收敛序列(x\_n)，序列{\displaystyle (Tx\_{n})}在*Y*中依范数收敛（Conway 1985，§VI.3）。巴拿赫空间上的紧算子总是全连续的。如果*X*是一个自反巴拿赫空间，则每个全连续算子*T*:*X*→*Y*是紧的。

有点容易混淆的是，紧算子在旧的文献中有时被称为"全连续的"，即使在今天的术语中它们不一定是全连续的。

例子
--

* 所有有限秩算子都是紧的。
* 对于\ell ^{p}和收敛到零的序列*(tn)*，乘法算子*(Tx)n=tnxn*是紧的。
* 对某个固定的*g*∈*C*([0,1];**R**),定义从*C*([0,1];**R**)到*C*([0,1];**R**)的算子如下

{\displaystyle (Tf)(x)=\int \_{0}^{x}f(t)g(t)\,\mathrm {d} t.}
由阿尔泽拉－阿斯科利定理可知算子T是紧的。
* 更一般地，如果Ω是**R***n*中的任意集合，并且积分核*k*:Ω×Ω→**R**是希尔伯特-施密特核，则*L*2(Ω;**R**)上的算子*T*如下定义

{\displaystyle (Tf)(x)=\int \_{\Omega }k(x,y)f(y)\,\mathrm {d} y}
是一个紧算子。
* 由Riesz引理，恒等算子是一个紧算子当且仅当空间是有限维的。

另请参阅
----

* 紧算子的谱理论（英语：）
* Fredholm算子（英语：）
* Fredholm积分方程（英语：）
* Fredholm二择一（英语：）
* 紧嵌入（英语：）
* 严格奇异算子（英语：）

参考文献
----

1. ↑  N.L. Carothers, *A Short Course on Banach Space Theory*, (2005) London Mathematical Society Student Texts **64**, Cambridge University Press.
2. ↑  William McLean, Strongly Elliptic Systems and Boundary Integral Equations, Cambridge University Press, 2000

* Conway, John B.. Springer-Verlag. 1985. ISBN 3-540-96042-2.
* Renardy, Michael; Rogers, Robert C.. Texts in Applied Mathematics 13 Second. New York: Springer-Verlag. 2004: 356. ISBN 0-387-00444-0.  (Section 7.5)
* Kutateladze, S.S.. Texts in Mathematical Sciences 12 Second. New York: Springer-Verlag. 1996: 292. ISBN 978-0-7923-3898-7.


|  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 

| * 
* 论
* 编
泛函分析 |
| --- |
|  |
| 集合 / 子集 | 
* 绝对凸集
* 吸收集
* 平衡集
* 有界集 (拓扑向量空间)（英语：）
* 凸集
* 径向集
* 星形域
* 对称集
* 凸锥

 |
|  |
| 拓撲向量空間 | 
* 巴拿赫空间
* 欧几里得空间
* 希尔伯特空间
* 索伯列夫空間
* 局部凸（英语：）
* 賦範向量空間 （范数）
* 拟赋范空间
* 自反空间
* 拓扑张量积（英语：） (希尔伯特空间中)
* 速降函数空间

 |
|  |
| 映射拓扑 | 
* 对偶空间
* 算子拓扑（英语：）
* 弱拓扑（英语：）
* 强拓扑（英语：）
* 拓扑的一致收敛（英语：）

 |
|  |
| 线性算子 | 
* 伴随
* 双线性
	+ 形式
* 有界 / 无界
* 连续线性
* 紧
* Fredholm（英语：）
* 希尔伯特-施密特
* 泛函
* 正规
* 核型（英语：）
* 自伴
* 严格奇异算子（英语：）
* 迹类
* 有限秩
* 转置（英语：）
* 酉 / 幺正

 |
|  |
| 集合运算 | 
* 代数内部
* 内部
* 閔可夫斯基和
* 极性集

 |
|  |
| 算子理论（英语：） | 
* 巴拿赫代数（英语：）
* C\*-代数
* 谱 (泛函分析) （谱半径）
* 谱理论（英语：）（谱定理）
* 极分解
* 奇异值分解

 |
|  |
| 定理 | 
* 阿尔泽拉-阿斯科利定理
* 巴拿赫-阿勞格魯定理
* 巴拿赫-马祖尔定理（英语：）
* 贝尔纲定理
* 贝塞尔不等式
* 柯西-施瓦茨不等式
* 闭值域定理
* 閉圖像定理
* 哈恩-巴拿赫定理
* 角谷不动点定理
* 不变子空间问题
* Riesz延拓定理（英语：）
* 开映射定理
* 拉克斯-米尔格拉姆定理
* 帕塞瓦尔恒等式
* 肖德尔不动点定理（英语：）

 |
|  |
| 分析 | 
* 导数 (加托导数
* 泛函导数)
* 积分 (博赫纳积分
* 佩蒂斯积分（英语：）)
* 泛函演算（英语：） (波莱尔泛函演算（英语：）
* 连续泛函演算（英语：）)
* 反函数定理
* 向量测度
* 弱可测函数

 |

 |