紧算符

在數學分支泛函分析中，一個**緊算子**(英語：Compact operator) 是從巴拿赫空間 _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$ ，以及緊集 $V\subset Y$ 使得 $T(U)\subset V$ 。
* 對於 _X_ 中單位球中的任意序列 $(x_{n})_{n\in \mathbb {N} }$ ，序列 $(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_)， $id_{X}$ 是 _X_ 上的恆等算子。

* K(_X_,_Y_) 是 B (_X_,_Y_) 的閉子空間：令 _T_n，_n_ ∈ **N**，是從一個巴拿赫空間到另一個巴拿赫空間的緊算子序列，假設 _T_n 依算子範數收斂於 _T_。那麼 _T_ 也是緊的。
* 相反的，如果 _X_、_Y_ 是希爾伯特空間，則從 _X_ 到 _Y_ 的每個緊算子都是有限秩算子的極限。值得注意的是，這對於一般的巴拿赫空間 _X_ 和 _Y_ 是錯誤的。
* $B(Y,Z)\circ K(X,Y)\circ B(W,X)\subseteq K(W,Z)$ 。特別地，K (_X_) 是 B (_X_) 中的雙邊理想。
* $id_{X}$ 是緊的若且唯若 _X_ 是有限維空間。
* 對於任意 _T_∈K(_X_)， $id_{X}-T$ 是指標為 0 的 Fredholm 算子。特別地， $\operatorname {im} \,(id_{X}-T)$ 是閉的。這對於研究緊算子的譜性質至關重要。可以注意到這個性質和如下事實之間的相似性：如果 _M_ 和 _N_ 是巴拿赫空間的子空間，其中 _M_ 是閉的並且 _N_ 是有限維的，則 _M_+_N_ 也是閉的。
* 任何緊算子都是嚴格奇異的，反之則不然。
* 一個算子是緊的若且唯若其伴隨是緊的（Schauder 定理）。

## 積分方程理論中的原型

緊算子的一個關鍵性質是 Fredholm 二擇一，它斷言如下形式線性方程的解的存在性

$$
(\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$

　
: $T:{\mathcal {H}}\to {\mathcal {H}}$

被認為是緊的，如果它可以寫成如下形式

　
: $T=\sum _{n=1}^{\infty }\lambda _{n}\langle f_{n},\cdot \rangle g_{n}\,$ ，

其中 $f_{1},f_{2},\ldots $ 和 $g_{1},g_{2},\ldots $ 是（不必要完備）標準正交基，且 $\lambda _{1},\lambda _{2},\ldots $ 是極限為零的正數序列，被稱為算子的奇異值。奇異值只可能在零點聚集。 如果序列固定在零點，即 $\lambda _{N+k}=0$ 對某個 $N\in \mathbb {N} ,$ 和所有 $k=1,2,\dots $ ，則算子有有限秩（也即有有限維值域），且可以寫作

　
: $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})$ ，序列 $(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**) 的算子如下

　
: : $(Tf)(x)=\int _{0}^{x}f(t)g(t)\,\mathrm {d} t.$

　
: 由阿爾澤拉－阿斯科利定理可知算子 T 是緊的。

* 更一般地，如果 Ω 是 **R**n 中的任意集合，並且積分核 _k_:Ω×Ω→**R** 是希爾伯特 - 施密特核，則 _L_2(Ω;**R**) 上的算子 _T_ 如下定義

　
: : $(Tf)(x)=\int _{\Omega }k(x,y)f(y)\,\mathrm {d} y$

　
: 是一個緊算子。

* 由 Riesz 引理，恆等算子是一個緊算子若且唯若空間是有限維的。

## 另請參閱

* 緊算子的譜理論
* Fredholm 算子
* Fredholm 積分方程
* Fredholm 二擇一
* 緊嵌入
* 嚴格奇異算子

## 參考文獻

* Conway, John B. A course in functional analysis. Springer-Verlag. 1985. ISBN 3-540-96042-2.
* Renardy, Michael; Rogers, Robert C. An introduction to partial differential equations. Texts in Applied Mathematics 13 Second. New York: Springer-Verlag. 2004: 356. ISBN 0-387-00444-0.  (Section 7.5)
* Kutateladze, S.S. Fundamentals of Functional Analysis. Texts in Mathematical Sciences 12 Second. New York: Springer-Verlag. 1996: 292. ISBN 978-0-7923-3898-7.