紧算子与弱收敛

紧算子的本质特征可以换成弱收敛的语言：它把弱收敛的序列映成强收敛的序列。这既刻画了"紧"如何弥合弱拓扑与范数拓扑之间的缝隙，也揭示了为什么紧算子在变分法与微分方程弱解理论中如此有力。前置依赖：紧算子的定义、弱收敛、弱拓扑。

紧算子与弱收敛

设 $X,Y$ 为巴拿赫空间，$T:X\to Y$ 有界。若对每个弱收敛列 $x_n\rightharpoonup x$ 都有 $Tx_n\to Tx$（强收敛），则称 $T$ 为全连续算子。紧算子必全连续；在自反空间 $X$ 中，全连续算子必紧，故两者重合。

紧 $\Rightarrow$ 全连续

若 $x_n\rightharpoonup x$，则 $(x_n)$ 有界（一致有界原理，见一致有界原理），故 $T$ 紧时 $(Tx_n)$ 有收敛子列；其极限必为 $Tx$（$Tx_n$ 逐点收敛到 $Tx$），于是 $Tx_n\to Tx$。

全连续 $\not\Rightarrow$ 紧（一般空间）

非自反空间中存在反例：恒等算子 $I:\ell^1\to\ell^1$。$\ell^1$ 有 Schur 性质（弱收敛即强收敛），故 $I$ 全连续；但单位球不相对紧，$I$ 不紧。这说明"紧 $\Leftrightarrow$ 全连续"恰是自反性的反映。

后续

这一性质是紧算子变分方法的基石：能量泛函的梯度若全连续，弱收敛序列即可取强收敛极限，用于极小化问题与弱紧性的讨论。