Banach 空间：对偶与三大基本定理

Banach 空间是泛函分析的核心舞台。本章我们将建立该空间最根本的三个理论支柱，它们不仅刻画了无限维空间的拓扑特性，也是现代偏微分方程理论的基础。

---

一、基本概念与对偶空间

1. Banach 空间

赋范线性空间 $(X, \|\cdot\|)$ 若关于其诱导度量 $d(x,y)=\|x-y\|$ 完备，则称之为 Banach 空间。

2. 对偶空间 (Dual Space)

设 $X$ 是赋范线性空间，$X$ 上的所有有界线性泛函 $f: X \to \mathbb{K}$ 组成的集合称为 $X$ 的 对偶空间，记作 $X^*$。其范数定义为： $\|f\|_{X^\*} = \sup_{x\neq 0} \frac{|f(x)|}{\|x\|}.$

对偶空间的完备性

无论 $X$ 是否完备，$X^*$ 在上述范数下始终是 Banach 空间。

3. 自反性 (Reflexivity)

考虑 $X$ 的二阶对偶空间 $X^{**} = (X^*)^*.$ 定义自然嵌入映射 $J: X \to X^{**}$ 使得 $\langle Jx, f \rangle = \langle f, x \rangle$.

• 若 $J$ 是满射（即 $J(X) = X^{**}$），则称 $X$ 为 自反空间。
• 性质：自反空间必为 Banach 空间。$L^p$ 空间 ($1 < p < \infty$) 是自反的，但 $L^1, L^\infty, C[a,b]$ 通常不是。

---

二、Hahn-Banach 定理：泛函的延拓与存在性

1. 定理陈述（解析形式）

设 $X$ 为线性空间，$p$ 为 $X$ 上的半范数。若 $f$ 是 $X$ 的子空间 $M$ 上的线性泛函，且满足 $|f(x)| \le p(x), \forall x \in M$，则存在 $X$ 上的线性泛函 $F$ 使得 $F|_M = f$ 且 $|F(x)| \le p(x), \forall x \in X$.

2. 几何意义：超平面分离定理

在赋范空间中，若 $A, B$ 是不相交的凸集且其中一个有内点，则存在闭超平面将它们分离。这是凸分析与最优化理论的核心。

---

三、Baire 纲定理：三大定理的“发动机”

在完备度量空间中，拓扑性质往往比直观看起来更“坚固”。

1. Baire 纲定理 (Baire Category Theorem)

设 $(X, d)$ 是完备度量空间。

• 若 $X = \bigcup_{n=1}^\infty F_n$，其中 $F_n$ 是闭集，则至少有一个 $F_n$ 含有内点。
• 或者等价表述为：可列个稠密开集的交集在 $X$ 中依然稠密。

2. 一致有界性原理 (Uniform Boundedness Principle)

又称 Banach-Steinhaus 定理。设 $X$ 是 Banach 空间，$Y$ 是赋范空间。若一族算子 $\{T_\alpha\} \subset \mathcal{B}(X,Y)$ 是点点有界的，即对每个 $x \in X$, $\sup_\alpha \|T_\alpha x\| < \infty$, 则这族算子是一致有界的：$\sup_\alpha \|T_\alpha\| < \infty$.

---

四、开映射定理与闭图像定理

1. 开映射定理 (Open Mapping Theorem)

设 $X, Y$ 为 Banach 空间，$T \in \mathcal{B}(X, Y)$. 若 $T$ 是满射，则 $T$ 是开映射。

• 推论 (逆算子定理)：若 $T$ 是有界线性双射，则 $T^{-1}$ 必有界。

2. 闭图像定理 (Closed Graph Theorem)

设 $T: X \to Y$ 是线性算子 ($X, Y$ 为 Banach 空间)。$T$ 有界当且仅当其图像 $G(T)$ 是 $X \times Y$ 中的闭集。

应用技巧：验证 $x_n \to 0, Tx_n \to y \Rightarrow y=0$ 即可判定连续性。

---

五、弱拓扑与弱* 拓扑 (Weak Topologies)

在无限维空间中，单位球不再具有强拓扑下的紧性（Riesz 引理），我们被迫引入更弱的拓扑。

1. 弱拓扑 ($\sigma(X, X^*)$)

使得 $X$ 上所有有界线性泛函都连续的最弱拓扑。

• $x_n \xrightarrow{w} x \iff f(x_n) \to f(x), \forall f \in X^*$.

2. 弱* 拓扑 ($\sigma(X^*, X)$)

使得 $X^*$ 上所有点评价映射 $\hat{x}(f) = f(x)$ 都连续的最弱拓扑。

• Alaoglu 定理：Banach 空间的对偶空间中的闭单位球在弱* 拓扑下是紧的。

---

六、精选例题

例 1：$L^p$ 空间的对偶性

证明当 $1 < p < \infty$ 时，$(L^p)^* \cong L^q$，其中 $1/p + 1/q = 1$.

点击查看解析

1. 利用 Hölder 不等式定义泛函 $f_g(x) = \int xg$, 证明 $\|f_g\| = \|g\|_q$.
2. 利用测度的性质（如 Radon-Nikodym 定理）证明 $X^*$ 中的任何泛函都可表示为此形式。
3. 由此推出 $L^p$ 是自反的，因为其对偶的对偶回到了自身。

---

七、分层练习

练习 1（Baire 纲定理应用）

证明：无限维 Banach 空间不能拥有哈梅尔基（Hamel Basis）的可列集。

点击查看答案

1. 假设存在可列基 $\{e_1, e_2, \dots\}$.
2. 令 $X_n = \operatorname{span}\{e_1, \dots, e_n\}$，则每个 $X_n$ 是有限维闭子空间。
3. 在无限维空间中，有限维子空间的内点集为空。
4. 由 Baire 纲定理，$X = \bigcup X_n$ 必导致 $X$ 的内点集为空，矛盾。

练习 2（弱收敛性质）

证明：若 $x_n \xrightarrow{w} x$，则 $\{\|x_n\|\}$ 有界，且 $\|x\| \le \liminf_{n \to \infty} \|x_n\|$.

点击查看过程

1. 利用一致有界性原理（作用于 $X^{**}$ 中的元素）证明有界性。
2. 选取 $f \in X^*$ 使得 $\|f\|=1$ 且 $f(x) = \|x\|$.
3. 则 $\|x\| = f(x) = \lim f(x_n) \le \liminf \|f\| \|x_n\| = \liminf \|x_n\|$.

---

八、章节衔接

• 下一章节：Hilbert 空间：内积与算子理论
• 进阶专题：算子谱理论与谱分解
• 配套练习：泛函分析练习（A 组）