弱紧性

弱拓扑（见弱拓扑）的意义很大程度上在于它提供新的紧性来源：在无穷维空间中单位球在范数拓扑下永远不紧，但在弱拓扑下紧性恰好刻画自反性。弱紧性因此成为变分法与最优化中"存在性"论证的标准工具。前置依赖：弱拓扑、弱收敛、自反空间、Alaoglu定理。

弱紧性与自反性

巴拿赫空间 $X$ 自反当且仅当 $X$ 的单位球是弱紧的（Eberlein–Šmulian + James 定理的组合）。更一般地，$X$ 中集合 $C$ 弱紧当且仅当 $C$ 弱序列紧（Eberlein–Šmulian 定理）：每个弱收敛意义下的序列都有弱收敛子列。

关键定理

• Eberlein–Šmulian：$X$ 中弱紧 $\Leftrightarrow$ 弱序列紧 $\Leftrightarrow$ 弱列紧（对巴拿赫空间成立，弱拓扑不可度量化但序列刻画仍有效）
• James 定理：$C$ 弱紧当且仅当每个 $f\in X^*$ 在 $C$ 上达到上确界（不依赖 $C$ 的凸性）
• 自反性：$X$ 自反 $\Leftrightarrow$ 单位球弱紧（由Alaoglu定理 $B_{X^{**}}$ 弱*紧 + 典范嵌入的像闭）$\Leftrightarrow$ 每个有界列有弱收敛子列

与紧算子的联系

若 $T\in\mathcal{K}(X,Y)$ 且 $X$ 自反，则 $T(B_X)$ 弱紧（$B_X$ 弱紧、$T$ 连续）；结合紧算子的序列刻画（见紧算子与弱收敛）可见自反性使弱紧与范数紧在像空间上衔接。

例子

• $L^p(\Omega)$（$1<p<\infty$）：单位球弱紧，有界列有弱收敛子列——变分法中极小化序列的标准论证
• $C[0,1]$：不自反，单位球不弱紧（$B_{C[0,1]}$ 弱紧当且仅当空间自反）

后续

弱紧性是偏微分方程弱解存在性（变分法直接方法）的拓扑基础，也连接紧算子理论中"弱收敛提升为强收敛"的机制。