概率论与数理统计中的算子半群 第一讲 Banach-Steinhaus定理1 Baire‘s Category与Banach-Steinhaus定理的证明

写在前面

在随机微分方程那个系列中，我们在讨论Markov family的时候引入了Markov family的算子半群，这是一个在概率论与数理统计的理论中非常强大的分析工具。在随机分析中，算子半群可以用来分析Markov过程与Levy过程的性质，进而分析某些随机微分方程的解的构造；在统计计算的理论中，算子半群可以用来表达一种MCMC类的算法，这样就能把算法的收敛与误差分析化归为对算子半群的范数的讨论。所以我打算单独开一个系列，介绍概统中的算子半群。

Baire’s Category Theorem

Baire’s Category Theorem是泛函分析中的经典结果，我们先引入这个工具。

nowhere dense
$(X,\Vert \cdot \Vert )$是一个赋范线性空间，$S$是它的子集；
$\forall x\in X,ϵ>0$， B ( x , ϵ ) = { y ∈ X : ∥ y − x ∥ < ϵ } B(x,\epsilon)=\{y \in X:\left\| y -x \right\|<\epsilon \} B(x,ϵ)={y∈X:∥y−x∥<ϵ}被称为$X$中的open ball；
$\forall x\in X,ϵ>0$， B ˉ ( x , ϵ ) = { y ∈ X : ∥ y − x ∥ ≤ ϵ } \bar B(x,\epsilon)=\{y \in X:\left\| y -x \right\|\le \epsilon \} Bˉ(x,ϵ)={y∈X:∥y−x∥≤ϵ}被称为$X$中的closed ball；
称$S$ nowhere dense if and only if (in short, iff) $S$的闭包($clS$)不包含任何open ball，另一种表述为任意open ball $B$都有一个open ball子集$B^{\prime }$，使得$S\cap B^{\prime }=\varphi$；

Baire first category set
在拓扑空间中，能被可列个nowhere dense集合的并表示的集合被称为Baire first category set；

Baire second category set
在拓扑空间中，能被可列个nowhere dense集合或者开集的并表示的集合被称为Baire second category set，或者不是Baire first category set的集合就是Baire second category set；

Baire’s Category Theorem
Banach空间不能表示成可列个nowhere dense集合的并（也就是说Banach空间不是Baire first category set，它是Baire second category set）

证明思路
用反证法，假设$X$是Banach空间， { S n } \{S_n\} {Sn​}是可列个nowhere dense集合，并且
$$X=\bigcup _{n\in \mathbb{N}}{S}_n$$

假设$B_0=B(0,1)$，因为$S_1$ nowhere dense，于是$\exists B_1\subset B_0$，$B_1$是open ball并且$B_1\cap S_1=\varphi$；我们可以假设$B_1$的半径小于$1/2$，如果$B_1$的半径大于$1/2$，我们总是可以找到一个更小的open ball与$S_1$无交；

重复这个过程，$S_2$ nowhere dense，于是存在$B_1$的open ball子集$B_2$使得$S_2$与$B_2$无交且$B_2$的半径小于$1/3$；

对于一般情形，存在半径小于$\frac{1}{n+2}$的open ball $B_{n+1}$与$S_{n+1}$无交；

因为${\bigcup }_{n\in \mathbb{N}}cl{B}_n$非空（为了更加严谨，这个结果需要证明），于是$\exists x\in cl{B}_n,\forall n$，那么$x$一定也是Banach空间中的点；但是$B_n$与$S_n$无交，于是$x$不属于任意$S_n$，所以
$$x\notin \bigcup _{n\in \mathbb{N}}{S}_n$$

这样我们就说明了$\exists x\in X,x\notin {\bigcup }_{n\in \mathbb{N}}{S}_n$，这与$X={\bigcup }_{n\in \mathbb{N}}{S}_n$矛盾。

Banach-Steinhaus定理(uniform boundedness principle)

假设$X$是一个Banach空间， { A n } \{A_n\} {An​}是可列个$X$上的有界线性算子，$\forall x\in X$，${\sup }_{n\ge 1}\Vert A_{n}x\Vert$有界，则${\sup }_{n\ge 1}\Vert A_n\Vert$有界；

证明思路
定义 S n = { x ∈ X : sup ⁡ k ≥ 1 ∥ A k x ∥ ≤ n } S_n = \{x \in X:\sup_{k \ge 1} \left\| A_kx \right\| \le n\} Sn​={x∈X:k≥1sup​∥Ak​x∥≤n}因为有界线性算子等价于连续线性算子，所以$A_n$连续，因此$S_n$是闭集；并且
$$X=\bigcup _{n\ge 1}{S}_n$$

根据Baire’s Category Theorem，$S_n$不是Baire first category set，于是存在一个$S_l$有closed ball子集$\bar{B}(x,r)$，考虑$y\in X$，引入向量
$$z=x+\frac{r}{\Vert y\Vert }y\in \bar{B}(x,r)$$

则
$$\Vert A_{n}y\Vert =\Vert \frac{\Vert y\Vert }{r}{A}_{n}z-\frac{\Vert y\Vert }{r}{A}_{n}x\Vert \le \frac{\Vert y\Vert }{r}\Vert A_{n}z\Vert +\frac{\Vert y\Vert }{r}\Vert A_{n}x\Vert \le \frac{2l}{r}\Vert y\Vert$$

因为$x,z\in \bar{B}(x,r)\subset S_l$，于是
$$\underset{n\ge 1}{\sup }\Vert A_n\Vert \le \frac{2l}{r}$$