概率论与数理统计中的算子半群 第一讲 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 ) B_0=B(0,1) B<