1. 弱收敛与弱星收敛到底在解决什么问题泛函分析笔记写到第七篇终于挪到了最劝退的那一段弱收敛与弱星收敛。我自己的经验是前面 Hahn–Banach、开映射定理、共鸣定理这些骨头再硬咬咬牙都能啃下来因为它们说的是存在性可到了弱收敛这里很多人第一次会真切地感觉到数学在耍我——在 $\ell^2$ 里$e_n \rightharpoonup 0$ 明明成立可 $|e_n|$ 从头到尾等于 1一个点都不肯往 0 走把同一个序列搬到 $\ell^1$ 里弱收敛干脆不成立了可要是换个视角它又在弱星意义下乖乖收敛到 0。同一串东西三种收敛三种答案。这篇笔记我想干的只有一件事把为什么要造这两套收敛它们在什么条件下才成立做题时怎么一步步算出来这三件事讲透。内容是按我自己复习时的路径组织的先看这套理论要救的病是什么再对齐三个收敛的定义和判别套路然后过一遍撑起整套理论的四个核心定理接着用完整的算例把流程走一遍最后是我踩过的坑和一个速查表。适合已经学过泛函分析基础、正在准备考试或者要动手做 PDE 弱解、变分法、数值收敛性分析的人。如果你只是听说过名词也不影响我会尽量用生活化的类比先把画面感建立起来再上公式。需要提前打个招呼这一块最容易出现看着都懂、一动手就错的情况错的地方往往不在定理本身而在检验函数类选错了、有界性忘了先证、或者把弱收敛当成弱星收敛用。这些坑我全都掉过后面会一个一个标出来。2. 为什么要再造一套收敛从无限维的紧性饥荒说起2.1 有限维给的那个错觉在有限维赋范空间里闭单位球是紧的这是 Bolzano–Weierstrass 定理的几何版本。紧性这个性质有多值钱做过最优化的人最有体会只要有界序列就一定能抽出收敛子列那么任何一个极小化序列都能提取出候选极限再加上泛函的下半连续性和强制性极小元的存在性几乎是自动的。换句话说有限维里我们从来不需要为极限存不存在操心唯一要做的是证明它满足方程或约束。到了无限维这套逻辑从根上断了。闭单位球不再是紧的一个范数有界的序列可以毫无收敛子列的迹象——$\ell^2$ 里的 $e_n$ 就是最经典的例子任意两项之间的距离恒为 $\sqrt{2}$它连 Cauchy 列都不是。这不是某个序列长得难看的问题而是结构性的在无限维 Banach 空间里任何包含无穷多个线性无关元素的集合单位球都不可能列紧。真正的关键在于紧性是一个纯拓扑性质它取决于你给空间配了什么拓扑。范数拓扑给的邻域太多了、开集太多了开集越多就越容易凑出一个没有有限子覆盖的开覆盖所以单位球在范数拓扑下必然不紧。既然范数拓扑太细那救急的办法就只有一个把拓扑搞粗一点让单位球重新变紧。粗化拓扑的代价我们必须接受——范数将不再连续只能保住下半连续距离这个东西将不再能刻画收敛。这就是整套弱拓扑理论最原始的设计动机用连续性的牺牲换取紧性从而把有限维那套存在性论证救回来。2.2 弱拓扑把检验员请进门粗化的具体做法非常朴素。一个范数拓扑下的收敛本来要求 $|x_n - x| \to 0$这等于要求所有有界线性泛函作用在 $x_n$ 上都要收敛这件事以一致的方式发生。我们放松一点不要求一致只要求逐点也就是只要求对每一个固定的 $f \in X^*$数 $f(x_n)$ 收敛到 $f(x)$。这就是弱收敛的定义弱收敛定义设 $X$ 是赋范空间$x_n, x \in X$。若对一切 $f \in X^*$ 都有 $f(x_n) \to f(x)$则称 $x_n$ 弱收敛于 $x$记作 $x_n \rightharpoonup x$。对应的拓扑是 $\sigma(X, X^)$即让所有 $f \in X^$ 都变成连续线性泛函的最粗拓扑。它的邻域基长这样给定 $x$、有限个 $f_1, \dots, f_k \in X^$ 和 $\varepsilon 0$形如 ${y \in X : |f_i(y - x)| \varepsilon,\ i 1,\dots,k}$ 的集合构成 $x$ 的基本邻域。这里有个很好的画面感把 $X^$ 里的泛函想象成一群检验员每个检验员只盯着 $x$ 在他那个方向上投出的一个数弱拓扑的邻域就是有限个指定检验员看不出差别的那些点。想要在弱拓扑里进入一个邻域你不需要整体接近 $x$只需要在有限个指定方向上对齐。这里有两个必须补的技术点它们决定了这套理论能不能立得起来。第一弱拓扑是 Hausdorff 的靠的正是 Hahn–Banach 定理若 $x \ne y$令 $z x - y \ne 0$则存在 $f \in X^*$ 且 $|f| 1$ 使 $f(z) |z| 0$于是这一个泛函就能把两点分开。第二这也解释了为什么弱收敛的极限是唯一的如果 $x_n$ 弱收敛到了两个不同的点那么存在一个泛函把它们分开但它作用在 $x_n$ 上的数列只有一个极限矛盾。这个自洽性检查我在第一次学时完全没在意后来才发现它正是 Hahn–Banach 在背后撑着的几乎每一条弱收敛的基本性质都要向它借力。顺便提前埋一句弱拓扑在无限维空间里一般不可度量化当 $X^*$ 不可分时就不是所以很多教材的紧性刻画是用网而不是序列写的。这一点在做题时非常要命后面第 6 节会专门讲怎么绕过去。2.3 弱星收敛再往后退半步弱星收敛是同一个思路的第二次退让只不过退让发生在对偶空间上。设 $X$ 是Banach空间$X^$ 是它的对偶。对 $X^$ 来说天然存在两类检验员一类是 $X^{**}$ 中的元素另一类只是 $X$ 中的元素。前者检验出来的叫弱收敛在 $X^*$ 上后者检验出来的叫弱星收敛弱星收敛定义设 $f_n, f \in X^$。若对一切 $x \in X$ 都有 $f_n(x) \to f(x)$则称 $f_n$ 弱星收敛于 $f$记作 $f_n \xrightharpoonup{} f$。对应的拓扑是 $\sigma(X^*, X)$它是让每个求值映射 $f \mapsto f(x)$$x \in X$连续的最粗拓扑。为什么这一步退让这么重要因为 $X^{**}$ 一般比 $X$ 大得多检验员越多要求越严收敛越难发生。只留 $X$ 这些检验员能收敛的序列就多了紧性也就更容易拿到手。最直接的回报就是 Banach–Alaoglu 定理——$X^*$ 的单位球在弱星拓扑下永远紧完全不需要 $X$ 自反。这是整个理论里性价比最高的一条结论我至今觉得它划算得有点不讲道理。反过来也要留个心眼弱收敛蕴含弱星收敛因为 $X$ 通过典范嵌入 $\iota: X \to X^{}$ 坐落在 $X^{}$ 里检验员少了条件自然松了但反过来一般不成立。两者什么时候一样$X$ 自反的时候。所以你在论文里看到有人对 $\ell^1$ 说$e_n$ 弱星收敛到 0不要惊讶这完全合法因为 $\ell^1 c_0^*$但如果他对 $\ell^1$ 说$e_n$ 弱收敛到 0却又不说明在哪个拓扑下那就是错的$\ell^1$ 的弱收敛另有说法下一节会把这个反例掰开。3. 三个收敛的定义对齐与判别套路3.1 一张表把三套收敛摆平刚学的时候我最大的困扰不是定义记不住而是检验对象经常串台。所以我把三套收敛整理成了一张对照表做题前先看一眼能省掉一半的错误名称记号检验对象序列所在空间拓扑强收敛范数收敛$x_n \to x$范数本身$X$范数拓扑弱收敛$x_n \rightharpoonup x$全部 $f \in X^*$$X$$\sigma(X, X^*)$弱收敛对偶空间上$f_n \rightharpoonup f$全部 $\Phi \in X^{**}$$X^*$$\sigma(X^*, X^{**})$弱星收敛$f_n \xrightharpoonup{*} f$全部 $x \in X$$X^*$$\sigma(X^*, X)$表里最容易被忽略的是第三行和第四行的差别。同样是 $X^*$ 里的序列弱收敛要拿 $X^{**}$ 的全部元素去测弱星收敛只拿 $X$ 的元素去测。我在第一次做题时把这两个当成同一件事结果在 $\ell^1$ 上算出了一个自相矛盾的结论翻书才发现问题出在检验类选错了。3.2 蕴含关系与它们的失效边界三套收敛之间的蕴含链条非常干净强收敛 $\Rightarrow$ 弱收敛 $\Rightarrow$ 弱星收敛当序列位于 $X^*$ 中时任何一条反向蕴含在无限维情况下都不成立有限维空间里三者完全等价这也是为什么初学者容易产生它们差不多的错觉$X$ 自反时$X^*$ 上的弱收敛与弱星收敛一致。第一条为什么成立因为 $f$ 本身是连续线性泛函$|x_n - x| \to 0$ 直接给出 $|f(x_n) - f(x)| \le |f| |x_n - x| \to 0$一致收敛自然蕴含逐点收敛。第二条为什么反向不成立$\ell^2$ 里的 $e_n$ 就是站得住的证据。它在弱拓扑下确实压向 0因为对任何 $y (y_k) \in \ell^2$内积 $\langle e_n, y \rangle y_n \to 0$平方可和序列的项必趋于零而 $\ell^2$ 的对偶正是自己但 $|e_n - 0| 1$ 恒定不变。区别的实质是弱收敛允许每个固定方向上的投影都趋于零却不限制点在各个方向上如何分配质量。$e_n$ 就是质量在坐标轴上不断往远处跑每个具体坐标看到的都是零可总量一直是一。3.3 必须刻在脑子里的反例库反例是这一块真正的地基我自己复习时会专门给每个反例标上它否定的是什么。下面这几个每个都要能默写出来。反例一$\ell^p$$1 p \infty$中 $e_n \rightharpoonup 0$ 但 $e_n \not\to 0$。否定弱收敛蕴含强收敛。理由如上坐标泛函稠密加上序列有界就够。反例二$\ell^1$ 中 $e_n$ 不弱收敛于 0。这需要一点推理链假设 $e_n \rightharpoonup x$那么对每个坐标泛函 $e_k^$它们属于 $\ell^\infty (\ell^1)^$当 $n k$ 时 $e_k^*(e_n) 0$所以 $x_k 0$推出 $x 0$。但取 $f (1,1,1,\dots) \in \ell^\infty$有 $f(e_n) 1 \to 1 \ne 0 f(0)$矛盾。根本原因是 $\ell^1$ 具有 Schur 性质$\ell^1$ 中弱收敛序列必定范数收敛。所以任何在 $\ell^1$ 里指望用坐标收敛判弱收敛的操作都是无效的这一条我踩过不止一次。反例三$\ell^1$ 中 $e_n \xrightharpoonup{*} 0$作为 $c_0$ 的对偶。因为对任意 $x (x_k) \in c_0$有 $x_k \to 0$于是 $\langle e_n, x \rangle x_n \to 0$。同一个序列、同一个空间弱收敛不成立而弱星收敛成立这就是弱收敛与弱星收敛不等价的最干净的展示。反例四范数的弱下半连续性。$x_n \rightharpoonup x$ 只能推出 $|x| \le \liminf |x_n|$一般不能取等号。标准验证在 $\ell^2$ 中取 $x_n e_1 e_n$$n \ge 2$对任意 $y$$\langle x_n, y \rangle y_1 y_n \to y_1$所以 $x_n \rightharpoonup e_1$但 $|x_n| \sqrt{2}$ 而 $|e_1| 1$严格不等号取到了。这个 $0.414$ 的差距不是误差而是$e_n$ 这部分质量在弱极限中蒸发了的量化体现。反例五无界序列不可能弱收敛。这其实不是反例而是必要条件但极其常用若 $f(x_n)$ 对每个 $f \in X^*$ 都收敛则 ${|f(x_n)|}$ 对每个 $f$ 有界由共鸣定理需要 $X$ 完备得 $\sup_n |x_n| \infty$。所以先证有界永远是判断弱收敛的第一步不满足就直接出局不需要再往下算。3.4 判别套路盯有界性测稠密子集真正提高做题速度的是一条几乎没被强调过的技巧只要序列有界就不需要拿全部检验员去测只需测一个稠密子集。理由是标准的 $\varepsilon/3$ 论证。假设 $\sup_n |x_n| M \infty$$D \subset X^$ 在 $X^$ 中稠密且对每个 $g \in D$ 有 $g(x_n) \to g(x)$。任取 $f \in X^*$ 和 $\varepsilon 0$选 $g \in D$ 使 $|f - g| \varepsilon / (2(M |x|))$再取 $N$ 使 $n N$ 时 $|g(x_n) - g(x)| \varepsilon/2$则 $|f(x_n) - f(x)| \le |f(x_n) - g(x_n)| |g(x_n) - g(x)| |g(x) - f(x)| \varepsilon$。这条技巧在具体空间里的威力巨大。在 $\ell^p$$1 p \infty$里坐标泛函 ${e_k^*}$ 的线性张成在 $\ell^q$ 中稠密所以有界 逐坐标收敛就足以断定弱收敛在 $L^p$ 里特征函数或者阶梯函数的线性组合在 $L^q$ 中稠密所以有界 在每个可测集上积分收敛就够。对弱星收敛也一样只要对 $X$ 的一个稠密子集或者说基本列验证即可。提示这条技巧有两个前提不能丢——序列必须有界否则 $\varepsilon/3$ 论证里的 $M$ 不存在以及检验集合必须在对偶空间里稠密。很多人会顺手把在 $X$ 中稠密当成条件那就完全跑偏了。4. 撑起整套理论的四个核心定理4.1 Banach–Alaoglu弱星紧性的源头定理内容直白得有点朴素对任意Banach空间 $X$对偶单位球 $B_{X^} {f \in X^: |f| \le 1}$ 在弱星拓扑下紧。它的证明思路是每个学泛函分析的人都该亲手走一遍的标准流程因为里面四个要素缺一不可。第一步做嵌入 $T: B_{X^} \to \prod_{x \in X} [-|x|, |x|]$$T(f) (f(x)){x \in X}$。第二步注意到每个分量都落在紧区间里由 Tychonoff 定理乘积空间紧。第三步验证 $T$ 的像是闭的若网 $f\alpha$ 的逐点极限是 $\Phi$那么 $\Phi$ 保持线性极限保加法与数乘并且 $|\Phi(x)| \le |x|$ 说明 $\Phi$ 是连续线性泛函且范数不超过 1所以落在像里。第四步说明 $T$ 是把弱星拓扑搬到像上的同胚——这其实是弱星拓扑的定义使然它本来就是由这些坐标投影诱导的初始拓扑。四步走完紧性就落到 $B_{X^}$ 头上。它的实操价值体现在一条推论上$X^$ 中的任何有界序列都有弱星收敛的子网若 $X$ 还可分则 $B_{X^}$ 上的弱星拓扑可度量化于是子网可以换成子列。这个可分换子列的转化是做题时最常用的一把刀因为改卷和论文里大家都习惯用序列说话。我自己总结的判断口径是只要题目里出现了$X$ 可分或者给的是一个具体的可分空间$c_0$、$C[0,1]$、$L^p$ 都是就大胆地用子列语言。4.2 Mazur 引理凸性把弱极限拉回强极限如果只能带一条结论进考场我选 Mazur 引理。它说若 $x_n \rightharpoonup x$则 $x$ 落在 ${x_n}$ 的凸包的强闭包里更具体地存在 $x_n$ 的凸组合序列在范数意义下收敛到 $x$。这条定理的直觉非常漂亮弱收敛虽然看起来虚弱极限点不是序列中任何一个点的极限但它绝不是凭空冒出来的幽灵它永远躲在原序列凸包的强闭包里。用 $\ell^2$ 里的 $e_n$ 举例$e_n \rightharpoonup 0$而取平均 $s_n (e_1 \dots e_n)/n$直接算范数$|s_n|^2 n/n^2 1/n \to 0$凸组合确实强收敛到 0。Mazur 引理有三条几乎无处不用的推论。第一凸的范数闭集就是弱闭集反过来说判定一个集合弱闭只要它是凸的且范数闭就行——这条在证明弱拓扑下的紧性时省掉了大量力气。第二范数是弱下半连续的$|x| \le \liminf|x_n|$ 可以用凸性一句话证出来不需要再走 Hahn–Banach 的老路。第三也是最实用的一条当极小化序列只弱收敛、而能量泛函恰好具有凸性时Mazur 引理能让你把弱极限升级成真极限从而得到极小元的存在性。这就是变分法直接方法的骨架。4.3 Kakutani 与自反性弱紧从哪里来Banach–Alaoglu 只管 $X^*$ 的单位球那 $X$ 自己的单位球什么时候弱紧答案是 Kakutani 定理$X$ 自反当且仅当 $B_X$ 弱紧。这条定理把自反这个纯代数的条件$X X^{**}$翻译成了拓扑条件也解释了为什么自反空间在处理存在性问题时格外顺手——有界序列必含弱收敛子列因为单位球弱紧加上 Eberlein–Šmulian 定理给出的弱紧等价于弱列紧序列语言完全够用。我把常见空间的自反性整理成表考前扫一眼比翻书快空间是否自反弱收敛与弱星收敛关系$\ell^p$$1 p \infty$自反在 $\ell^q$ 上两者一致$L^p(\Omega)$$1 p \infty$自反一致Hilbert 空间自反一致$c_0$不自反只能谈弱星$\ell^1$不自反弱收敛强于弱星Schur 性质$L^1(\Omega)$不自反弱收敛与弱星收敛都另有讲究$L^\infty(\Omega)$不自反常作为 $L^1$ 的对偶谈弱星$C(K)$不自反对偶是测度空间谈弱星很自然顺带记一个 Goldstine 定理$X$ 经典范嵌入后在对偶单位球 $B_{X^{}}$ 中弱星稠密。它的用处在于很多关于 $X^{}$ 的结论可以先在 $X$ 上验证再用稠密性推过去是一把很好用的偷懒工具。4.4 一致凸与 Radon–Riesz弱收敛何时等价于强收敛弱收敛本身不够用因为我们需要范数收敛但直接证范数收敛往往很难于是就要找升级条款。最常用的一条是一致凸空间中若 $x_n \rightharpoonup x$ 且 $|x_n| \to |x|$则 $x_n \to x$。这条性质更一般的说法是 Radon–Riesz 性质而 $L^p$、$\ell^p$$1 p \infty$都一致凸所以都能用。Hilbert 空间里这条性质的形式最好记也最常用$x_n \to x$ 当且仅当 $x_n \rightharpoonup x$ 且 $|x_n| \to |x|$。这套弱收敛 能量范数收敛 强收敛的组合拳在 PDE 的 Galerkin 方法、有限元收敛性分析、梯度流的长期行为分析里天天出现。我在做数值格式的收敛性证明时标准套路就是先证逼近解的弱收敛一般靠能量估计加 Banach–Alaoglu再证能量等式或能量不等式给出范数收敛最后把两者拼成强收敛。缺了最后这一步误差估计根本推不下去。注意这条升级条款不能凭感觉用。一致凸或者 Hilbert 是前提一般 Banach 空间里弱收敛加范数收敛也未必能推出强收敛Schur 性质以外的情形要小心。我看到过把这条直接套到 $L^\infty$ 上的做法那是不成立的。5. 完整实操证明弱收敛与弱星收敛的五步流程5.1 一套可以照抄的流程把前面所有东西压成一条流水线我现在做题就按这五步走基本不会跑偏认空间和它的对偶。先明确序列住在哪个空间对偶是谁。$\ell^p \leftrightarrow \ell^q$、$c_0 \leftrightarrow \ell^1$、$C_0(K) \leftrightarrow \mathcal{M}(K)$、$L^1 \leftrightarrow L^\infty$这几组必须张口就来。先证有界。用共鸣定理或直接估计范数。不有界就别往下走了直接判定不收敛。挑检验集合。优先挑对偶空间里稠密而且算起来方便的那批坐标泛函、特征函数、阶梯函数、$C_c$ 类的光滑函数。逐点验证极限。对挑出来的每一个检验元素算出配对值并求极限确认极限就是候选者作用出的那个值。做升级或补否定。想拿到强收敛就用一致凸/Hilbert 的升级条款加能量收敛想证明不存在弱收敛就找出一个让配对极限对不上的泛函$\ell^1$ 里那个 $(1,1,1,\dots)$ 就是这么用的。5.2 算例一$\ell^p$ 中的首项加尾巴取 $1 p \infty$$x_n e_1 e_n \in \ell^p$$n \ge 2$。要证 $x_n \rightharpoonup e_1$。第一步有界性$|x_n|_p (1 1)^{1/p} 2^{1/p}$与 $n$ 无关有界。第二步检验集合因为 $\ell^q$ 中有限支撑序列稠密只需检查坐标泛函。对任意 $k$当 $n k$ 时 $e_k^(x_n) 0$除了 $k 1$ 时是 1所以 $e_k^(x_n) \to e_k^*(e_1)$逐坐标收敛成立。第三步由稠密性推广得到 $x_n \rightharpoonup e_1$。第四步看能不能升级$\lim|x_n| 2^{1/p} 1 |e_1|$范数不收敛所以强收敛不成立。这个算例一次把有界—稠密检验—极限识别—升级失败四件事都串起来了我建议每个初学者都手写一遍。5.3 算例二$L^p$ 中的集中块以及 $p1$ 的分水岭这个算例是我认为最值钱的一个因为它把弱收敛、弱星收敛、以及 $p1$ 的特殊性全部装进去了。取 $f_n n^{1/p} \mathbf{1}_{(0, 1/n)}$定义在 $\Omega (0,1)$ 上。先看范数$|f_n|_p n^{1/p} \cdot (1/n)^{1/p} 1$ 恒成立有界。再看 $1 p \infty$ 的情形对任意阶梯函数 $g$$\int f_n g n^{1/p} \int_0^{1/n} g(x),dx$。由于 $g$ 在 0 附近基本有界设 $|g| \le C$ 于 $(0, 1/n)$则 $|\int f_n g| \le C, n^{1/p} \cdot (1/n) C n^{1/p - 1} \to 0$因为 $p 1$ 意味着 $1/p - 1 0$。阶梯函数在 $L^q$ 中稠密于是 $f_n \rightharpoonup 0$。但 $|f_n|_p 1$ 始终不减强收敛不成立。这个序列的画面非常有物理味质量总量不变但不断向 $x 0$ 这一点集中越集越尖。这正是 PDE 里集中紧性和气泡现象的数学原型。现在换到 $p 1$同一个构造 $f_n n\mathbf{1}{(0,1/n)}$情况变了。范数还是 1但检验的时候取 $h \mathbf{1}{(0,1)} \in L^\infty$$\int f_n h n \cdot (1/n) 1$不趋于 0。所以 $f_n$ 在 $L^1$ 里不弱收敛于 0。但是——如果把 $L^1$ 嵌入到测度空间 $\mathcal{M}(0,1) C_0(0,1)^$ 里看对任意 $\varphi \in C_0(0,1)$$\int f_n \varphi n\int_0^{1/n}\varphi \to \varphi(0)$也就是说 $f_n \xrightharpoonup{} \delta_0$。这个对比把弱收敛与弱星收敛的差别讲得明明白白$L^1$ 的弱收敛要对全部 $L^\infty$ 检验那里面有像 $\mathbf{1}_{(0,1)}$ 这种粗糙的检验函数一下子就把集中块的质量全部抓了出来而弱星收敛只对 $C_0$ 里的连续函数检验$\varphi$ 在 0 附近连续平均值就趋向 $\varphi(0)$极限是干净的 $\delta_0$。检验员变少了原来破坏收敛的那些粗糙函数被排除收敛就回来了。理解了这一条再看测度论里的淡收敛就不会觉得是另一门学问了。5.4 算例三$L^\infty$ 中的振荡序列与 Riemann–Lebesgue再补一个弱星收敛的例子用的是大家早就熟悉的 Riemann–Lebesgue 引理。在 $L^\infty(0,1) (L^1(0,1))^$ 的框架下看 $g_n(x) \sin(nx)$。它显然有界$|g_n|_\infty \le 1$。对任意 $h \in L^1(0,1)$由 Riemann–Lebesgue 引理$\int_0^1 \sin(nx) h(x), dx \to 0$所以 $g_n \xrightharpoonup{} 0$。注意这个序列在逐点意义下几乎没有极限它是一路振荡的可是在弱星拓扑下它非常老实地收敛到 0。这说明了弱星拓扑的另一个特点它对高频振荡是看不见的因为连续或者可积的检验函数会把快速振荡平均掉。这一点在信号处理和数值分析里是同一个现象的两副面孔。顺带对照一个 $C(K)$ 的判别法也很实用在 $C[0,1]$ 里$f_n \rightharpoonup f$ 当且仅当 $\sup_n |f_n|_\infty \infty$ 且对每个 $t$ 有 $f_n(t) \to f(t)$。正向用控制收敛定理反向用点值泛函属于 $C[0,1]^*$。这里的关键就是有界 逐点收敛又一次印证了第 3.4 节那条稠密检验的思路——只不过这里检验集合是点值泛函。6. 常见问题与排查技巧实录6.1 弱收敛问题速查表做题卡住的时候我一般先对着下面这张表排查效率比重新推一遍定义高得多症状大概率原因排查动作算出的弱极限有两个不同值检验函数类串台把 $X$ 的元素当成 $X^*$ 的用了回到定义逐字确认检验对象住在哪个空间序列明显在动却断言弱收敛忘了先证有界性先算 $\sup_n|x_n|$不有界直接判定不收敛在 $\ell^1$ 里用坐标收敛判弱收敛忽略了 Schur 性质换一个检验泛函比如 $(1,1,1,\dots)$把弱星收敛当成弱收敛结论用丢了自反前提检查 $X$ 是否自反否则结论要改写弱收敛成立但强收敛推不出来范数没有收敛到极限的范数比较 $\lim|x_n|$ 与 $|x|$用一致凸/Hilbert 的升级条款想用子列却没人保证存在弱拓扑一般不可度量化检查 $X$ 可分或自反或改用 Eberlein–Šmulian弱极限满足的方程推不出来没有用 Mazur 或者凸性把弱极限拉回用凸闭集即弱闭集或对能量泛函取下极限6.2 我踩过的几个坑第一个坑是低估有界这条必要条件。我最初把它当成一条可以事后补的技术条件做题时先算极限最后才想起来补有界性证明。后来发现顺序反了有界性应该是最先做的一步它同时也是使用稠密检验技巧的许可证。没有有界性$\varepsilon/3$ 论证里的常数 $M$ 就不存在整条推理链是断的。第二个坑是以为弱拓扑的邻域长得像小球。弱拓扑下的基本邻域是有限个方向上的带状区域它不是有界的甚至不含任何范数球。这一点在做弱开集长什么样这类题时很关键。我当时的错误想象是弱邻域就是一个大一点的球结果构造反例的时候完全找不到方向。第三个坑是序列语言与网语言的边界。弱拓扑在无限维空间一般不可度量化理论上必须用网。教材里为了严谨都用网可考试和论文里大家又都用子列。中间的桥梁就是可分性保证弱星拓扑在单位球上可度量化和 Eberlein–Šmulian 定理弱紧等价于弱列紧。我的经验是结论想用序列写就先把这两块砖摆出来别默认。第四个坑是低估 $p1$ 的特殊性。$L^1$ 和 $\ell^1$ 在弱收敛理论里几乎处处是例外$\ell^1$ 有 Schur 性质$L^1$ 的弱收敛需要一致可积性加范数收敛这类额外条件$L^1$ 的紧性还要靠 Dunford–Pettis 定理。总结成一句话看到 $p 1$所有直觉都要重新审一遍。第五个坑是把概率论里的弱收敛直接搬到泛函分析语境里。概率论里的分布弱收敛$\mu_n \Rightarrow \mu$指的是对有界连续函数的积分收敛从泛函分析的角度看那是测度空间 $\mathcal{M}(K)$ 上的弱星收敛对应 $C(K)$ 或 $C_0$ 作前对偶不是 $L^1$ 意义上的弱收敛。术语撞车带来的误导非常严重我给自己的规矩是任何时候说弱收敛都要补一句在哪个空间、对哪个前对偶。6.3 一张自检清单每次写完一道弱收敛的证明题我会按顺序问自己四个问题。第一序列有界性证明写了吗常数是显式的吗第二检验集合是不是真的在对偶空间里稠密稠密性有没有交代这里千万不能想当然$\ell^1$ 那一课学费不便宜。第三弱极限的识别只用了检验类还是偷偷用了范数或者别的结构第四我给出的结论是弱收敛、弱星收敛还是强收敛前提自反、一致凸、可分都写清楚了吗7. 弱收敛在三个真实场景里的落地方式7.1 变分法直接方法为什么离不开弱拓扑经典例子是 Dirichlet 原理在 $H_0^1(\Omega)$ 上极小化 $I(u) \frac{1}{2}\int_\Omega |\nabla u|^2 - \int_\Omega f u$。取极小化序列 $u_n$由强制性可得 $|u_n|{H_0^1} \le C$于是有界。因为 $H_0^1$ 自反$B{H_0^1}$ 弱紧所以存在子列 $u_n \rightharpoonup u$。接下来两步是全部的关键一是 $I$ 的凸性保证弱下半连续也就是 $I(u) \le \liminf I(u_n) \inf I$于是 $u$ 就是极小元二是从弱收敛进一步得到 $u$ 满足 Euler–Lagrange 方程这一步通常需要对所有方向求 Gateaux 导数。这里必须强调一个细节为什么不能要求 $u_n \to u$ 强收敛因为 $H_0^1$ 中范数有界的序列一般没有强收敛子列Rellich 紧性定理只在低阶范数比如 $L^2$上给紧性梯度那一层的强收敛拿不到。整个证明的接力棒顺序是能量有界给弱紧性凸性给下半连续性两者拼出存在性。少了弱拓扑这一环存在性根本无从谈起。7.2 PDE 弱解与数值分析从弱收敛到强收敛的两段式弱解的定义本身就是一个对偶配对找 $u$ 使 $a(u, v) \langle f, v\rangle$ 对一切检验函数 $v$ 成立。这个定义形式上和弱收敛的定义同源——都是只对检验类提要求。在 Galerkin 逼近里这个套路被完整复刻有限维子空间上解 $u_h$先由能量估计得 $|u_h| \le C$自反空间里取弱收敛子列 $u_h \rightharpoonup u$此时只能保证 $u$ 是弱极限接着用能量恒等式 $|u_h| \to |u|$这通常来自取 $v u_h$ 代入并做等价变形在 Hilbert 或者一致凸空间里升级为强收敛才能继续做误差估计。我在做数值格式分析时最深的一点体会是弱收敛只负责给你一个候选者强收敛才负责给你误差控制。很多人写论文时把弱收敛当作终点评审一看就知道后面不稳。把这两段式记牢写出来的收敛性分析结构会清爽很多。7.3 测度与概率弱星收敛的那副马甲在 $K$ 是紧度量空间时$\mathcal{M}(K) C(K)^$$\mu_n \xrightharpoonup{} \mu$ 等价于对一切 $\varphi \in C(K)$ 有 $\int \varphi, d\mu_n \to \int \varphi, d\mu$在局部紧非紧的情形取 $C_0$得到的通常叫淡收敛。这个框架下的一个漂亮结论是单位质量测度 $\delta_{x_n}$ 有弱星收敛子网Banach–Alaoglu且极限不一定是某个 $\delta_x$。取 $K$ 为单位圆周$x_n e^{in\theta}$则对任意连续函数 $\varphi$由等分布性质 $\varphi(e^{in\theta}) \to \frac{1}{2\pi}\int \varphi, d\theta$也就是 $\delta_{x_n} \xrightharpoonup{*} \frac{d\theta}{2\pi}$即均匀分布。原始序列的每个点都是原子极限却变成了完全弥散的均匀测度。这个例子我一直觉得是弱星收敛最好的广告极限的存在性由紧性保证而极限的具体形态完全由序列的分布规律决定。8. 收尾的一点个人体会这套东西我前后学了三遍才算真的顺过来。第一遍记住定义第二遍记住定理第三遍才明白它们之间的关系真正的主线不是弱收敛是什么而是为了拿回紧性我们愿意牺牲哪种连续性。Banach–Alaoglu 用弱星拓扑换到了无条件紧性代价是范数只剩下半连续Mazur 引理和凸性负责把牺牲掉的连续性在凸的场合补回来一致凸和 Hilbert 结构则提供升级条款让我们在需要的时候把弱收敛换成强收敛。如果只让我留一条可操作的心得那就是每次动笔之前先写一句话交代清楚在哪个空间、对哪个前对偶、序列有界还是无界。我统计过自己改过的错题八成以上的错都出在这句话没说清。特别是碰到 $\ell^1$、$L^1$、$p1$ 这些分水岭位置多花三十秒确认一下比事后翻半本书划算得多。 泛函分析弱收敛与弱星收敛：紧性、判别和PDE应用
1. 弱收敛与弱星收敛到底在解决什么问题泛函分析笔记写到第七篇终于挪到了最劝退的那一段弱收敛与弱星收敛。我自己的经验是前面 Hahn–Banach、开映射定理、共鸣定理这些骨头再硬咬咬牙都能啃下来因为它们说的是存在性可到了弱收敛这里很多人第一次会真切地感觉到数学在耍我——在 $\ell^2$ 里$e_n \rightharpoonup 0$ 明明成立可 $|e_n|$ 从头到尾等于 1一个点都不肯往 0 走把同一个序列搬到 $\ell^1$ 里弱收敛干脆不成立了可要是换个视角它又在弱星意义下乖乖收敛到 0。同一串东西三种收敛三种答案。这篇笔记我想干的只有一件事把为什么要造这两套收敛它们在什么条件下才成立做题时怎么一步步算出来这三件事讲透。内容是按我自己复习时的路径组织的先看这套理论要救的病是什么再对齐三个收敛的定义和判别套路然后过一遍撑起整套理论的四个核心定理接着用完整的算例把流程走一遍最后是我踩过的坑和一个速查表。适合已经学过泛函分析基础、正在准备考试或者要动手做 PDE 弱解、变分法、数值收敛性分析的人。如果你只是听说过名词也不影响我会尽量用生活化的类比先把画面感建立起来再上公式。需要提前打个招呼这一块最容易出现看着都懂、一动手就错的情况错的地方往往不在定理本身而在检验函数类选错了、有界性忘了先证、或者把弱收敛当成弱星收敛用。这些坑我全都掉过后面会一个一个标出来。2. 为什么要再造一套收敛从无限维的紧性饥荒说起2.1 有限维给的那个错觉在有限维赋范空间里闭单位球是紧的这是 Bolzano–Weierstrass 定理的几何版本。紧性这个性质有多值钱做过最优化的人最有体会只要有界序列就一定能抽出收敛子列那么任何一个极小化序列都能提取出候选极限再加上泛函的下半连续性和强制性极小元的存在性几乎是自动的。换句话说有限维里我们从来不需要为极限存不存在操心唯一要做的是证明它满足方程或约束。到了无限维这套逻辑从根上断了。闭单位球不再是紧的一个范数有界的序列可以毫无收敛子列的迹象——$\ell^2$ 里的 $e_n$ 就是最经典的例子任意两项之间的距离恒为 $\sqrt{2}$它连 Cauchy 列都不是。这不是某个序列长得难看的问题而是结构性的在无限维 Banach 空间里任何包含无穷多个线性无关元素的集合单位球都不可能列紧。真正的关键在于紧性是一个纯拓扑性质它取决于你给空间配了什么拓扑。范数拓扑给的邻域太多了、开集太多了开集越多就越容易凑出一个没有有限子覆盖的开覆盖所以单位球在范数拓扑下必然不紧。既然范数拓扑太细那救急的办法就只有一个把拓扑搞粗一点让单位球重新变紧。粗化拓扑的代价我们必须接受——范数将不再连续只能保住下半连续距离这个东西将不再能刻画收敛。这就是整套弱拓扑理论最原始的设计动机用连续性的牺牲换取紧性从而把有限维那套存在性论证救回来。2.2 弱拓扑把检验员请进门粗化的具体做法非常朴素。一个范数拓扑下的收敛本来要求 $|x_n - x| \to 0$这等于要求所有有界线性泛函作用在 $x_n$ 上都要收敛这件事以一致的方式发生。我们放松一点不要求一致只要求逐点也就是只要求对每一个固定的 $f \in X^*$数 $f(x_n)$ 收敛到 $f(x)$。这就是弱收敛的定义弱收敛定义设 $X$ 是赋范空间$x_n, x \in X$。若对一切 $f \in X^*$ 都有 $f(x_n) \to f(x)$则称 $x_n$ 弱收敛于 $x$记作 $x_n \rightharpoonup x$。对应的拓扑是 $\sigma(X, X^)$即让所有 $f \in X^$ 都变成连续线性泛函的最粗拓扑。它的邻域基长这样给定 $x$、有限个 $f_1, \dots, f_k \in X^$ 和 $\varepsilon 0$形如 ${y \in X : |f_i(y - x)| \varepsilon,\ i 1,\dots,k}$ 的集合构成 $x$ 的基本邻域。这里有个很好的画面感把 $X^$ 里的泛函想象成一群检验员每个检验员只盯着 $x$ 在他那个方向上投出的一个数弱拓扑的邻域就是有限个指定检验员看不出差别的那些点。想要在弱拓扑里进入一个邻域你不需要整体接近 $x$只需要在有限个指定方向上对齐。这里有两个必须补的技术点它们决定了这套理论能不能立得起来。第一弱拓扑是 Hausdorff 的靠的正是 Hahn–Banach 定理若 $x \ne y$令 $z x - y \ne 0$则存在 $f \in X^*$ 且 $|f| 1$ 使 $f(z) |z| 0$于是这一个泛函就能把两点分开。第二这也解释了为什么弱收敛的极限是唯一的如果 $x_n$ 弱收敛到了两个不同的点那么存在一个泛函把它们分开但它作用在 $x_n$ 上的数列只有一个极限矛盾。这个自洽性检查我在第一次学时完全没在意后来才发现它正是 Hahn–Banach 在背后撑着的几乎每一条弱收敛的基本性质都要向它借力。顺便提前埋一句弱拓扑在无限维空间里一般不可度量化当 $X^*$ 不可分时就不是所以很多教材的紧性刻画是用网而不是序列写的。这一点在做题时非常要命后面第 6 节会专门讲怎么绕过去。2.3 弱星收敛再往后退半步弱星收敛是同一个思路的第二次退让只不过退让发生在对偶空间上。设 $X$ 是Banach空间$X^$ 是它的对偶。对 $X^$ 来说天然存在两类检验员一类是 $X^{**}$ 中的元素另一类只是 $X$ 中的元素。前者检验出来的叫弱收敛在 $X^*$ 上后者检验出来的叫弱星收敛弱星收敛定义设 $f_n, f \in X^$。若对一切 $x \in X$ 都有 $f_n(x) \to f(x)$则称 $f_n$ 弱星收敛于 $f$记作 $f_n \xrightharpoonup{} f$。对应的拓扑是 $\sigma(X^*, X)$它是让每个求值映射 $f \mapsto f(x)$$x \in X$连续的最粗拓扑。为什么这一步退让这么重要因为 $X^{**}$ 一般比 $X$ 大得多检验员越多要求越严收敛越难发生。只留 $X$ 这些检验员能收敛的序列就多了紧性也就更容易拿到手。最直接的回报就是 Banach–Alaoglu 定理——$X^*$ 的单位球在弱星拓扑下永远紧完全不需要 $X$ 自反。这是整个理论里性价比最高的一条结论我至今觉得它划算得有点不讲道理。反过来也要留个心眼弱收敛蕴含弱星收敛因为 $X$ 通过典范嵌入 $\iota: X \to X^{}$ 坐落在 $X^{}$ 里检验员少了条件自然松了但反过来一般不成立。两者什么时候一样$X$ 自反的时候。所以你在论文里看到有人对 $\ell^1$ 说$e_n$ 弱星收敛到 0不要惊讶这完全合法因为 $\ell^1 c_0^*$但如果他对 $\ell^1$ 说$e_n$ 弱收敛到 0却又不说明在哪个拓扑下那就是错的$\ell^1$ 的弱收敛另有说法下一节会把这个反例掰开。3. 三个收敛的定义对齐与判别套路3.1 一张表把三套收敛摆平刚学的时候我最大的困扰不是定义记不住而是检验对象经常串台。所以我把三套收敛整理成了一张对照表做题前先看一眼能省掉一半的错误名称记号检验对象序列所在空间拓扑强收敛范数收敛$x_n \to x$范数本身$X$范数拓扑弱收敛$x_n \rightharpoonup x$全部 $f \in X^*$$X$$\sigma(X, X^*)$弱收敛对偶空间上$f_n \rightharpoonup f$全部 $\Phi \in X^{**}$$X^*$$\sigma(X^*, X^{**})$弱星收敛$f_n \xrightharpoonup{*} f$全部 $x \in X$$X^*$$\sigma(X^*, X)$表里最容易被忽略的是第三行和第四行的差别。同样是 $X^*$ 里的序列弱收敛要拿 $X^{**}$ 的全部元素去测弱星收敛只拿 $X$ 的元素去测。我在第一次做题时把这两个当成同一件事结果在 $\ell^1$ 上算出了一个自相矛盾的结论翻书才发现问题出在检验类选错了。3.2 蕴含关系与它们的失效边界三套收敛之间的蕴含链条非常干净强收敛 $\Rightarrow$ 弱收敛 $\Rightarrow$ 弱星收敛当序列位于 $X^*$ 中时任何一条反向蕴含在无限维情况下都不成立有限维空间里三者完全等价这也是为什么初学者容易产生它们差不多的错觉$X$ 自反时$X^*$ 上的弱收敛与弱星收敛一致。第一条为什么成立因为 $f$ 本身是连续线性泛函$|x_n - x| \to 0$ 直接给出 $|f(x_n) - f(x)| \le |f| |x_n - x| \to 0$一致收敛自然蕴含逐点收敛。第二条为什么反向不成立$\ell^2$ 里的 $e_n$ 就是站得住的证据。它在弱拓扑下确实压向 0因为对任何 $y (y_k) \in \ell^2$内积 $\langle e_n, y \rangle y_n \to 0$平方可和序列的项必趋于零而 $\ell^2$ 的对偶正是自己但 $|e_n - 0| 1$ 恒定不变。区别的实质是弱收敛允许每个固定方向上的投影都趋于零却不限制点在各个方向上如何分配质量。$e_n$ 就是质量在坐标轴上不断往远处跑每个具体坐标看到的都是零可总量一直是一。3.3 必须刻在脑子里的反例库反例是这一块真正的地基我自己复习时会专门给每个反例标上它否定的是什么。下面这几个每个都要能默写出来。反例一$\ell^p$$1 p \infty$中 $e_n \rightharpoonup 0$ 但 $e_n \not\to 0$。否定弱收敛蕴含强收敛。理由如上坐标泛函稠密加上序列有界就够。反例二$\ell^1$ 中 $e_n$ 不弱收敛于 0。这需要一点推理链假设 $e_n \rightharpoonup x$那么对每个坐标泛函 $e_k^$它们属于 $\ell^\infty (\ell^1)^$当 $n k$ 时 $e_k^*(e_n) 0$所以 $x_k 0$推出 $x 0$。但取 $f (1,1,1,\dots) \in \ell^\infty$有 $f(e_n) 1 \to 1 \ne 0 f(0)$矛盾。根本原因是 $\ell^1$ 具有 Schur 性质$\ell^1$ 中弱收敛序列必定范数收敛。所以任何在 $\ell^1$ 里指望用坐标收敛判弱收敛的操作都是无效的这一条我踩过不止一次。反例三$\ell^1$ 中 $e_n \xrightharpoonup{*} 0$作为 $c_0$ 的对偶。因为对任意 $x (x_k) \in c_0$有 $x_k \to 0$于是 $\langle e_n, x \rangle x_n \to 0$。同一个序列、同一个空间弱收敛不成立而弱星收敛成立这就是弱收敛与弱星收敛不等价的最干净的展示。反例四范数的弱下半连续性。$x_n \rightharpoonup x$ 只能推出 $|x| \le \liminf |x_n|$一般不能取等号。标准验证在 $\ell^2$ 中取 $x_n e_1 e_n$$n \ge 2$对任意 $y$$\langle x_n, y \rangle y_1 y_n \to y_1$所以 $x_n \rightharpoonup e_1$但 $|x_n| \sqrt{2}$ 而 $|e_1| 1$严格不等号取到了。这个 $0.414$ 的差距不是误差而是$e_n$ 这部分质量在弱极限中蒸发了的量化体现。反例五无界序列不可能弱收敛。这其实不是反例而是必要条件但极其常用若 $f(x_n)$ 对每个 $f \in X^*$ 都收敛则 ${|f(x_n)|}$ 对每个 $f$ 有界由共鸣定理需要 $X$ 完备得 $\sup_n |x_n| \infty$。所以先证有界永远是判断弱收敛的第一步不满足就直接出局不需要再往下算。3.4 判别套路盯有界性测稠密子集真正提高做题速度的是一条几乎没被强调过的技巧只要序列有界就不需要拿全部检验员去测只需测一个稠密子集。理由是标准的 $\varepsilon/3$ 论证。假设 $\sup_n |x_n| M \infty$$D \subset X^$ 在 $X^$ 中稠密且对每个 $g \in D$ 有 $g(x_n) \to g(x)$。任取 $f \in X^*$ 和 $\varepsilon 0$选 $g \in D$ 使 $|f - g| \varepsilon / (2(M |x|))$再取 $N$ 使 $n N$ 时 $|g(x_n) - g(x)| \varepsilon/2$则 $|f(x_n) - f(x)| \le |f(x_n) - g(x_n)| |g(x_n) - g(x)| |g(x) - f(x)| \varepsilon$。这条技巧在具体空间里的威力巨大。在 $\ell^p$$1 p \infty$里坐标泛函 ${e_k^*}$ 的线性张成在 $\ell^q$ 中稠密所以有界 逐坐标收敛就足以断定弱收敛在 $L^p$ 里特征函数或者阶梯函数的线性组合在 $L^q$ 中稠密所以有界 在每个可测集上积分收敛就够。对弱星收敛也一样只要对 $X$ 的一个稠密子集或者说基本列验证即可。提示这条技巧有两个前提不能丢——序列必须有界否则 $\varepsilon/3$ 论证里的 $M$ 不存在以及检验集合必须在对偶空间里稠密。很多人会顺手把在 $X$ 中稠密当成条件那就完全跑偏了。4. 撑起整套理论的四个核心定理4.1 Banach–Alaoglu弱星紧性的源头定理内容直白得有点朴素对任意Banach空间 $X$对偶单位球 $B_{X^} {f \in X^: |f| \le 1}$ 在弱星拓扑下紧。它的证明思路是每个学泛函分析的人都该亲手走一遍的标准流程因为里面四个要素缺一不可。第一步做嵌入 $T: B_{X^} \to \prod_{x \in X} [-|x|, |x|]$$T(f) (f(x)){x \in X}$。第二步注意到每个分量都落在紧区间里由 Tychonoff 定理乘积空间紧。第三步验证 $T$ 的像是闭的若网 $f\alpha$ 的逐点极限是 $\Phi$那么 $\Phi$ 保持线性极限保加法与数乘并且 $|\Phi(x)| \le |x|$ 说明 $\Phi$ 是连续线性泛函且范数不超过 1所以落在像里。第四步说明 $T$ 是把弱星拓扑搬到像上的同胚——这其实是弱星拓扑的定义使然它本来就是由这些坐标投影诱导的初始拓扑。四步走完紧性就落到 $B_{X^}$ 头上。它的实操价值体现在一条推论上$X^$ 中的任何有界序列都有弱星收敛的子网若 $X$ 还可分则 $B_{X^}$ 上的弱星拓扑可度量化于是子网可以换成子列。这个可分换子列的转化是做题时最常用的一把刀因为改卷和论文里大家都习惯用序列说话。我自己总结的判断口径是只要题目里出现了$X$ 可分或者给的是一个具体的可分空间$c_0$、$C[0,1]$、$L^p$ 都是就大胆地用子列语言。4.2 Mazur 引理凸性把弱极限拉回强极限如果只能带一条结论进考场我选 Mazur 引理。它说若 $x_n \rightharpoonup x$则 $x$ 落在 ${x_n}$ 的凸包的强闭包里更具体地存在 $x_n$ 的凸组合序列在范数意义下收敛到 $x$。这条定理的直觉非常漂亮弱收敛虽然看起来虚弱极限点不是序列中任何一个点的极限但它绝不是凭空冒出来的幽灵它永远躲在原序列凸包的强闭包里。用 $\ell^2$ 里的 $e_n$ 举例$e_n \rightharpoonup 0$而取平均 $s_n (e_1 \dots e_n)/n$直接算范数$|s_n|^2 n/n^2 1/n \to 0$凸组合确实强收敛到 0。Mazur 引理有三条几乎无处不用的推论。第一凸的范数闭集就是弱闭集反过来说判定一个集合弱闭只要它是凸的且范数闭就行——这条在证明弱拓扑下的紧性时省掉了大量力气。第二范数是弱下半连续的$|x| \le \liminf|x_n|$ 可以用凸性一句话证出来不需要再走 Hahn–Banach 的老路。第三也是最实用的一条当极小化序列只弱收敛、而能量泛函恰好具有凸性时Mazur 引理能让你把弱极限升级成真极限从而得到极小元的存在性。这就是变分法直接方法的骨架。4.3 Kakutani 与自反性弱紧从哪里来Banach–Alaoglu 只管 $X^*$ 的单位球那 $X$ 自己的单位球什么时候弱紧答案是 Kakutani 定理$X$ 自反当且仅当 $B_X$ 弱紧。这条定理把自反这个纯代数的条件$X X^{**}$翻译成了拓扑条件也解释了为什么自反空间在处理存在性问题时格外顺手——有界序列必含弱收敛子列因为单位球弱紧加上 Eberlein–Šmulian 定理给出的弱紧等价于弱列紧序列语言完全够用。我把常见空间的自反性整理成表考前扫一眼比翻书快空间是否自反弱收敛与弱星收敛关系$\ell^p$$1 p \infty$自反在 $\ell^q$ 上两者一致$L^p(\Omega)$$1 p \infty$自反一致Hilbert 空间自反一致$c_0$不自反只能谈弱星$\ell^1$不自反弱收敛强于弱星Schur 性质$L^1(\Omega)$不自反弱收敛与弱星收敛都另有讲究$L^\infty(\Omega)$不自反常作为 $L^1$ 的对偶谈弱星$C(K)$不自反对偶是测度空间谈弱星很自然顺带记一个 Goldstine 定理$X$ 经典范嵌入后在对偶单位球 $B_{X^{}}$ 中弱星稠密。它的用处在于很多关于 $X^{}$ 的结论可以先在 $X$ 上验证再用稠密性推过去是一把很好用的偷懒工具。4.4 一致凸与 Radon–Riesz弱收敛何时等价于强收敛弱收敛本身不够用因为我们需要范数收敛但直接证范数收敛往往很难于是就要找升级条款。最常用的一条是一致凸空间中若 $x_n \rightharpoonup x$ 且 $|x_n| \to |x|$则 $x_n \to x$。这条性质更一般的说法是 Radon–Riesz 性质而 $L^p$、$\ell^p$$1 p \infty$都一致凸所以都能用。Hilbert 空间里这条性质的形式最好记也最常用$x_n \to x$ 当且仅当 $x_n \rightharpoonup x$ 且 $|x_n| \to |x|$。这套弱收敛 能量范数收敛 强收敛的组合拳在 PDE 的 Galerkin 方法、有限元收敛性分析、梯度流的长期行为分析里天天出现。我在做数值格式的收敛性证明时标准套路就是先证逼近解的弱收敛一般靠能量估计加 Banach–Alaoglu再证能量等式或能量不等式给出范数收敛最后把两者拼成强收敛。缺了最后这一步误差估计根本推不下去。注意这条升级条款不能凭感觉用。一致凸或者 Hilbert 是前提一般 Banach 空间里弱收敛加范数收敛也未必能推出强收敛Schur 性质以外的情形要小心。我看到过把这条直接套到 $L^\infty$ 上的做法那是不成立的。5. 完整实操证明弱收敛与弱星收敛的五步流程5.1 一套可以照抄的流程把前面所有东西压成一条流水线我现在做题就按这五步走基本不会跑偏认空间和它的对偶。先明确序列住在哪个空间对偶是谁。$\ell^p \leftrightarrow \ell^q$、$c_0 \leftrightarrow \ell^1$、$C_0(K) \leftrightarrow \mathcal{M}(K)$、$L^1 \leftrightarrow L^\infty$这几组必须张口就来。先证有界。用共鸣定理或直接估计范数。不有界就别往下走了直接判定不收敛。挑检验集合。优先挑对偶空间里稠密而且算起来方便的那批坐标泛函、特征函数、阶梯函数、$C_c$ 类的光滑函数。逐点验证极限。对挑出来的每一个检验元素算出配对值并求极限确认极限就是候选者作用出的那个值。做升级或补否定。想拿到强收敛就用一致凸/Hilbert 的升级条款加能量收敛想证明不存在弱收敛就找出一个让配对极限对不上的泛函$\ell^1$ 里那个 $(1,1,1,\dots)$ 就是这么用的。5.2 算例一$\ell^p$ 中的首项加尾巴取 $1 p \infty$$x_n e_1 e_n \in \ell^p$$n \ge 2$。要证 $x_n \rightharpoonup e_1$。第一步有界性$|x_n|_p (1 1)^{1/p} 2^{1/p}$与 $n$ 无关有界。第二步检验集合因为 $\ell^q$ 中有限支撑序列稠密只需检查坐标泛函。对任意 $k$当 $n k$ 时 $e_k^(x_n) 0$除了 $k 1$ 时是 1所以 $e_k^(x_n) \to e_k^*(e_1)$逐坐标收敛成立。第三步由稠密性推广得到 $x_n \rightharpoonup e_1$。第四步看能不能升级$\lim|x_n| 2^{1/p} 1 |e_1|$范数不收敛所以强收敛不成立。这个算例一次把有界—稠密检验—极限识别—升级失败四件事都串起来了我建议每个初学者都手写一遍。5.3 算例二$L^p$ 中的集中块以及 $p1$ 的分水岭这个算例是我认为最值钱的一个因为它把弱收敛、弱星收敛、以及 $p1$ 的特殊性全部装进去了。取 $f_n n^{1/p} \mathbf{1}_{(0, 1/n)}$定义在 $\Omega (0,1)$ 上。先看范数$|f_n|_p n^{1/p} \cdot (1/n)^{1/p} 1$ 恒成立有界。再看 $1 p \infty$ 的情形对任意阶梯函数 $g$$\int f_n g n^{1/p} \int_0^{1/n} g(x),dx$。由于 $g$ 在 0 附近基本有界设 $|g| \le C$ 于 $(0, 1/n)$则 $|\int f_n g| \le C, n^{1/p} \cdot (1/n) C n^{1/p - 1} \to 0$因为 $p 1$ 意味着 $1/p - 1 0$。阶梯函数在 $L^q$ 中稠密于是 $f_n \rightharpoonup 0$。但 $|f_n|_p 1$ 始终不减强收敛不成立。这个序列的画面非常有物理味质量总量不变但不断向 $x 0$ 这一点集中越集越尖。这正是 PDE 里集中紧性和气泡现象的数学原型。现在换到 $p 1$同一个构造 $f_n n\mathbf{1}{(0,1/n)}$情况变了。范数还是 1但检验的时候取 $h \mathbf{1}{(0,1)} \in L^\infty$$\int f_n h n \cdot (1/n) 1$不趋于 0。所以 $f_n$ 在 $L^1$ 里不弱收敛于 0。但是——如果把 $L^1$ 嵌入到测度空间 $\mathcal{M}(0,1) C_0(0,1)^$ 里看对任意 $\varphi \in C_0(0,1)$$\int f_n \varphi n\int_0^{1/n}\varphi \to \varphi(0)$也就是说 $f_n \xrightharpoonup{} \delta_0$。这个对比把弱收敛与弱星收敛的差别讲得明明白白$L^1$ 的弱收敛要对全部 $L^\infty$ 检验那里面有像 $\mathbf{1}_{(0,1)}$ 这种粗糙的检验函数一下子就把集中块的质量全部抓了出来而弱星收敛只对 $C_0$ 里的连续函数检验$\varphi$ 在 0 附近连续平均值就趋向 $\varphi(0)$极限是干净的 $\delta_0$。检验员变少了原来破坏收敛的那些粗糙函数被排除收敛就回来了。理解了这一条再看测度论里的淡收敛就不会觉得是另一门学问了。5.4 算例三$L^\infty$ 中的振荡序列与 Riemann–Lebesgue再补一个弱星收敛的例子用的是大家早就熟悉的 Riemann–Lebesgue 引理。在 $L^\infty(0,1) (L^1(0,1))^$ 的框架下看 $g_n(x) \sin(nx)$。它显然有界$|g_n|_\infty \le 1$。对任意 $h \in L^1(0,1)$由 Riemann–Lebesgue 引理$\int_0^1 \sin(nx) h(x), dx \to 0$所以 $g_n \xrightharpoonup{} 0$。注意这个序列在逐点意义下几乎没有极限它是一路振荡的可是在弱星拓扑下它非常老实地收敛到 0。这说明了弱星拓扑的另一个特点它对高频振荡是看不见的因为连续或者可积的检验函数会把快速振荡平均掉。这一点在信号处理和数值分析里是同一个现象的两副面孔。顺带对照一个 $C(K)$ 的判别法也很实用在 $C[0,1]$ 里$f_n \rightharpoonup f$ 当且仅当 $\sup_n |f_n|_\infty \infty$ 且对每个 $t$ 有 $f_n(t) \to f(t)$。正向用控制收敛定理反向用点值泛函属于 $C[0,1]^*$。这里的关键就是有界 逐点收敛又一次印证了第 3.4 节那条稠密检验的思路——只不过这里检验集合是点值泛函。6. 常见问题与排查技巧实录6.1 弱收敛问题速查表做题卡住的时候我一般先对着下面这张表排查效率比重新推一遍定义高得多症状大概率原因排查动作算出的弱极限有两个不同值检验函数类串台把 $X$ 的元素当成 $X^*$ 的用了回到定义逐字确认检验对象住在哪个空间序列明显在动却断言弱收敛忘了先证有界性先算 $\sup_n|x_n|$不有界直接判定不收敛在 $\ell^1$ 里用坐标收敛判弱收敛忽略了 Schur 性质换一个检验泛函比如 $(1,1,1,\dots)$把弱星收敛当成弱收敛结论用丢了自反前提检查 $X$ 是否自反否则结论要改写弱收敛成立但强收敛推不出来范数没有收敛到极限的范数比较 $\lim|x_n|$ 与 $|x|$用一致凸/Hilbert 的升级条款想用子列却没人保证存在弱拓扑一般不可度量化检查 $X$ 可分或自反或改用 Eberlein–Šmulian弱极限满足的方程推不出来没有用 Mazur 或者凸性把弱极限拉回用凸闭集即弱闭集或对能量泛函取下极限6.2 我踩过的几个坑第一个坑是低估有界这条必要条件。我最初把它当成一条可以事后补的技术条件做题时先算极限最后才想起来补有界性证明。后来发现顺序反了有界性应该是最先做的一步它同时也是使用稠密检验技巧的许可证。没有有界性$\varepsilon/3$ 论证里的常数 $M$ 就不存在整条推理链是断的。第二个坑是以为弱拓扑的邻域长得像小球。弱拓扑下的基本邻域是有限个方向上的带状区域它不是有界的甚至不含任何范数球。这一点在做弱开集长什么样这类题时很关键。我当时的错误想象是弱邻域就是一个大一点的球结果构造反例的时候完全找不到方向。第三个坑是序列语言与网语言的边界。弱拓扑在无限维空间一般不可度量化理论上必须用网。教材里为了严谨都用网可考试和论文里大家又都用子列。中间的桥梁就是可分性保证弱星拓扑在单位球上可度量化和 Eberlein–Šmulian 定理弱紧等价于弱列紧。我的经验是结论想用序列写就先把这两块砖摆出来别默认。第四个坑是低估 $p1$ 的特殊性。$L^1$ 和 $\ell^1$ 在弱收敛理论里几乎处处是例外$\ell^1$ 有 Schur 性质$L^1$ 的弱收敛需要一致可积性加范数收敛这类额外条件$L^1$ 的紧性还要靠 Dunford–Pettis 定理。总结成一句话看到 $p 1$所有直觉都要重新审一遍。第五个坑是把概率论里的弱收敛直接搬到泛函分析语境里。概率论里的分布弱收敛$\mu_n \Rightarrow \mu$指的是对有界连续函数的积分收敛从泛函分析的角度看那是测度空间 $\mathcal{M}(K)$ 上的弱星收敛对应 $C(K)$ 或 $C_0$ 作前对偶不是 $L^1$ 意义上的弱收敛。术语撞车带来的误导非常严重我给自己的规矩是任何时候说弱收敛都要补一句在哪个空间、对哪个前对偶。6.3 一张自检清单每次写完一道弱收敛的证明题我会按顺序问自己四个问题。第一序列有界性证明写了吗常数是显式的吗第二检验集合是不是真的在对偶空间里稠密稠密性有没有交代这里千万不能想当然$\ell^1$ 那一课学费不便宜。第三弱极限的识别只用了检验类还是偷偷用了范数或者别的结构第四我给出的结论是弱收敛、弱星收敛还是强收敛前提自反、一致凸、可分都写清楚了吗7. 弱收敛在三个真实场景里的落地方式7.1 变分法直接方法为什么离不开弱拓扑经典例子是 Dirichlet 原理在 $H_0^1(\Omega)$ 上极小化 $I(u) \frac{1}{2}\int_\Omega |\nabla u|^2 - \int_\Omega f u$。取极小化序列 $u_n$由强制性可得 $|u_n|{H_0^1} \le C$于是有界。因为 $H_0^1$ 自反$B{H_0^1}$ 弱紧所以存在子列 $u_n \rightharpoonup u$。接下来两步是全部的关键一是 $I$ 的凸性保证弱下半连续也就是 $I(u) \le \liminf I(u_n) \inf I$于是 $u$ 就是极小元二是从弱收敛进一步得到 $u$ 满足 Euler–Lagrange 方程这一步通常需要对所有方向求 Gateaux 导数。这里必须强调一个细节为什么不能要求 $u_n \to u$ 强收敛因为 $H_0^1$ 中范数有界的序列一般没有强收敛子列Rellich 紧性定理只在低阶范数比如 $L^2$上给紧性梯度那一层的强收敛拿不到。整个证明的接力棒顺序是能量有界给弱紧性凸性给下半连续性两者拼出存在性。少了弱拓扑这一环存在性根本无从谈起。7.2 PDE 弱解与数值分析从弱收敛到强收敛的两段式弱解的定义本身就是一个对偶配对找 $u$ 使 $a(u, v) \langle f, v\rangle$ 对一切检验函数 $v$ 成立。这个定义形式上和弱收敛的定义同源——都是只对检验类提要求。在 Galerkin 逼近里这个套路被完整复刻有限维子空间上解 $u_h$先由能量估计得 $|u_h| \le C$自反空间里取弱收敛子列 $u_h \rightharpoonup u$此时只能保证 $u$ 是弱极限接着用能量恒等式 $|u_h| \to |u|$这通常来自取 $v u_h$ 代入并做等价变形在 Hilbert 或者一致凸空间里升级为强收敛才能继续做误差估计。我在做数值格式分析时最深的一点体会是弱收敛只负责给你一个候选者强收敛才负责给你误差控制。很多人写论文时把弱收敛当作终点评审一看就知道后面不稳。把这两段式记牢写出来的收敛性分析结构会清爽很多。7.3 测度与概率弱星收敛的那副马甲在 $K$ 是紧度量空间时$\mathcal{M}(K) C(K)^$$\mu_n \xrightharpoonup{} \mu$ 等价于对一切 $\varphi \in C(K)$ 有 $\int \varphi, d\mu_n \to \int \varphi, d\mu$在局部紧非紧的情形取 $C_0$得到的通常叫淡收敛。这个框架下的一个漂亮结论是单位质量测度 $\delta_{x_n}$ 有弱星收敛子网Banach–Alaoglu且极限不一定是某个 $\delta_x$。取 $K$ 为单位圆周$x_n e^{in\theta}$则对任意连续函数 $\varphi$由等分布性质 $\varphi(e^{in\theta}) \to \frac{1}{2\pi}\int \varphi, d\theta$也就是 $\delta_{x_n} \xrightharpoonup{*} \frac{d\theta}{2\pi}$即均匀分布。原始序列的每个点都是原子极限却变成了完全弥散的均匀测度。这个例子我一直觉得是弱星收敛最好的广告极限的存在性由紧性保证而极限的具体形态完全由序列的分布规律决定。8. 收尾的一点个人体会这套东西我前后学了三遍才算真的顺过来。第一遍记住定义第二遍记住定理第三遍才明白它们之间的关系真正的主线不是弱收敛是什么而是为了拿回紧性我们愿意牺牲哪种连续性。Banach–Alaoglu 用弱星拓扑换到了无条件紧性代价是范数只剩下半连续Mazur 引理和凸性负责把牺牲掉的连续性在凸的场合补回来一致凸和 Hilbert 结构则提供升级条款让我们在需要的时候把弱收敛换成强收敛。如果只让我留一条可操作的心得那就是每次动笔之前先写一句话交代清楚在哪个空间、对哪个前对偶、序列有界还是无界。我统计过自己改过的错题八成以上的错都出在这句话没说清。特别是碰到 $\ell^1$、$L^1$、$p1$ 这些分水岭位置多花三十秒确认一下比事后翻半本书划算得多。