泛函分析 12｜弱收敛、弱星收敛与自反性

1669 字

8 分钟

泛函分析 12｜弱收敛、弱星收敛与自反性

2026-11-03

数学

/

泛函分析

数学总导航 · 本课程目录 · ← 上一章 · 下一章 →

噪声不断往更高频跑，听不见是否等于消失？#

设你有一组理想的互相独立频率通道。每次录音只在第 $n$ 个通道放入单位能量的噪声，下一次就换到更高编号。

任何只看固定有限几个通道的仪器，迟早会报告零；但噪声总能量一直是 1。要谈真正的弱收敛，还必须对所有连续线性读数检查，而不仅是几个固定通道；在 $\ell^2$ 中确实能证明这个例子弱趋零。

这里的“弱”可以理解为：每台事先选定的稳定仪器最终都读不出差别，但并不保证存在一个时刻，让所有可能仪器同时都读不出差别。范数收敛的要求要强得多。

把不同类型的测量列在桌上#

对通道向量 $x$ ，第一种仪器只读 $x_1$ ，另一种只读 $x_2$ ，还有仪器读取 $\sum x_n\overline{y_n}$ 。只检查每个固定坐标，会漏掉最后这种把无限通道综合起来的读数。

在 $\ell^2$ 中，只要 $y\in\ell^2$ ，这台综合仪器稳定，因为读数不超过 $\|x\|_2\|y\|_2$ 。弱收敛要求对所有这种事先固定的仪器，读数都收敛。

对 $e_n$ ，读数是 $\overline{y_n}$ ，平方可和迫使 $y_n\to0$ ，所以真能通过全部测试。这一步把直觉补成证明，不能只说“每个坐标最终为零”就结束。

为什么仪器不能每次跟着信号换#

如果第 $n$ 次都选 $y=e_n$ ，读数当然恒为 1。但这不是同一台固定仪器，而是你看见信号之后重新瞄准它。

弱收敛允许每台固定仪器有自己的达标时间；范数收敛则要求最坏方向的读数也一起趋零。这个区别与逐点、一致收敛的量词区别很像：先固定测试再趋近，和同时控制全部测试，强度不同。

弱下半连续为什么正适合找最小值#

假设一列候选设计的成本越来越接近最低值，强收敛子列可能不存在。但若能找到弱极限 $x$ ，并知道成本满足 $E(x)\le\liminf E(x_n)$ ，这个极限就不会比接近最优的设计更差。

我们不需要成本完全连续，只需要它在取弱极限时不会突然跳得更高。这就是变分法经常使用下半连续性，而不追求更强条件的原因。

自反性像一份“弱极限不会失踪”的保证#

有界序列在无限维里未必有强收敛子列，但在自反 Banach 空间中，可以用弱紧性和相应序列紧性定理提取弱收敛子列。

这不是把强紧性原封不动找回来，而是减弱观察标准后获得足以做存在性证明的聚拢。 $L^2$ 、 $L^p$ 的中间指数范围能提供这类结构；端点空间不能仅凭同样符号就自动享有它。

带你做：弱收敛再补哪一条，就能得到强收敛#

在 Hilbert 空间，设 $x_n\rightharpoonup x$ 且 $\|x_n\|\to\|x\|$ 。展开差的平方：

\|x_n-x\|^2=\|x_n\|^2+\|x\|^2-2\operatorname{Re}\langle x_n,x\rangle.

弱收敛允许使用固定测试方向 $x$ ，所以最后内积趋于 $\|x\|^2$ ；加上范数收敛，右边趋零，便得到强收敛。

对 $e_n\rightharpoonup0$ ，缺失的正是范数收敛：左边范数恒为 1，而极限范数为零。这比笼统说“弱收敛少一些条件”更明确，知道哪一项能量没有跟过去。

如果换成一般 Banach 空间，就不能直接展开这种内积平方公式，也不能无条件照搬结论。一个证明中用到了哪种空间结构，正好标出了定理能推广到哪里。

回头整理：定义、工具与练习#

各仪表读数稳定，物体距离未必变小#

强收敛是 $\|x_n-x\|\to0$ 。弱收敛记为 $x_n\rightharpoonup x$ ，要求

F(x_n)\to F(x)\quad\text{对每个 }F\in X^*.

强收敛蕴含弱收敛，因为 $|F(x_n-x)|\le\|F\|\|x_n-x\|$ 。反向在无限维中一般失败。

在 $\ell^2$ ，由 Riesz 表示，测试泛函均形如 $\langle\cdot,y\rangle$ 。对固定 $y\in\ell^2$ ， $\langle e_n,y\rangle=\overline{y_n}\to0$ ，所以 $e_n\rightharpoonup0$ ，但范数恒为 1。

弱收敛不只是逐坐标收敛#

令 $x^{(n)}=ne_n$ ，每个固定坐标最终为零，却不弱收敛。任何弱收敛列都范数有界，证明可对双对偶嵌入后的泛函族应用一致有界原理。

甚至能直接构造见证：取 $y_{2^k}=1/k$ ，其他坐标为零，则 $y\in\ell^2$ ，但 $\langle x^{(2^k)},y\rangle=2^k/k$ 发散。不要把“检查标准坐标”误当成“检查所有连续线性泛函”。

范数弱下半连续#

由 Hahn–Banach 的范数表示，若 $x_n\rightharpoonup x$ ，则

\|x\|\le\liminf_n\|x_n\|.

解释：取范数为 1 且在 $x$ 处达到范数的泛函，应用弱收敛，再取下极限。这个不等式足以帮助最小化，而不要求范数本身沿弱极限连续。

在 Hilbert 空间，还有重要补充：弱收敛加范数收敛蕴含强收敛。展开 $\|x_n-x\|^2$ 即得。这是 Hilbert 几何的性质，不能不加条件推广到所有 Banach 空间。

弱星收敛究竟测试谁#

对 $F_n\in X^*$ ，弱星收敛 $F_n\overset{*}{\rightharpoonup}F$ 只要求对每个 $x\in X$ ， $F_n(x)\to F(x)$ 。而 $X^*$ 自己的弱收敛会测试整个 $X^{**}$ 。

Banach–Alaoglu 定理：对偶空间的闭单位球在弱星拓扑下紧。它是拓扑紧性，不在一般空间中自动等价于每个序列有收敛子列。若前对偶 $X$ 可分，则该球上的弱星拓扑可度量化，才能直接得到序列版本。

自反性把空间接回自己的双对偶#

自然嵌入 $J:X\to X^{**}$ 定义为 $(Jx)(F)=F(x)$ 。Hahn–Banach 保证它等距；若它满射，称 $X$ 自反。

Hilbert 空间、 $\ell^p$ 和 $L^p$ （ $1<p<\infty$ ）自反； $\ell^1,c_0$ 通常作为非自反例子。自反 Banach 空间的闭单位球弱紧，再由 Eberlein–Šmulian 定理得到：每个有界序列有弱收敛子列。此处明确引用该序列紧性定理，不能仅靠 Alaoglu 省略中间步骤。