弱拓扑

弱收敛"对每个泛函逐点收敛"可统一表述为拓扑语言：弱拓扑是使全体连续线性泛函都连续的最粗拓扑。它把"收敛"的信息压缩到泛函可观测的范围，是弱收敛的拓扑化，也让紧性理论（自反空间的弱紧性）得以展开。前置依赖：对偶空间（泛函分析）、局部凸空间。

弱拓扑

$X$ 上弱拓扑 $\sigma(X,X^*)$ 是由半范数族 $\{p_\varphi\}_{\varphi\in X^*}$（$p_\varphi(x)=|\varphi(x)|$）生成的局部凸拓扑，即使所有 $\varphi\in X^*$ 连续的最粗拓扑。$x_n\rightharpoonup x$ 当且仅当 $x_n$ 在 $\sigma(X,X^*)$ 中收敛到 $x$。

性质

• $\sigma(X,X^*)$ 是 Hausdorff 的（Hahn–Banach：$X^*$ 分离点）
• 弱拓扑比范数拓扑粗：$\sigma(X,X^*)\subset\tau_{\|\cdot\|}$；无穷维中弱拓扑不可度量（单位球无弱紧邻域）
• Mazur：凸集的范数闭包 = 弱闭包（凸集在两种拓扑下闭性一致）
• 有界集上弱拓扑与强拓扑一致的充要条件是 $X$ 有限维

与弱*拓扑的关系

弱拓扑是"从 $X$ 看 $X^*$"（由 $X^*$ 定义 $X$ 上的拓扑）；弱星拓扑反过来用 $X$ 定义 $X^*$ 上的拓扑。两者在自反空间（自反空间）中重合。

后续

弱拓扑下单位球的紧性等价于自反性（Eberlein–Šmulian），这是变分法与偏微分方程弱解存在性的拓扑基础；Alaoglu 定理则是 $X^*$ 上弱*紧性的来源（见Alaoglu定理）。