泛函分析基础4-巴拿赫空间中的基本定理4：纲定理和一致有界性定理

4纲定理和一致有界性定理
这一节将给出巴拿赫和斯坦因豪斯( Steinhaus)在1927年给出的一致有界性原
理，它是巴拿赫空间理论的基石之一，许许多多古典的分析问题，经过抽象以后，都可
以归结为这一原理，因而充分显示了泛函分析的重要作用.在证明一致有界原理之前，
需要准备一个有力的工具------纲定理
定义1设 $M$ 是 度量空间 $X$ 中的子集，如果 $M$ 不 在 $X$ 的
任何半径不为零的开球
中稠密，则称 $M$ 是 $X$ 中的无处稠密集或疏朗集
读者不难证明，在疏朗集的定义中把"开球"换成"闭球"，结果是一样的.又可知
$M$
为 $X$ 中 疏朗集的充要条件为 $\bar{M}$ 不 包含内点.事实上，若 $M$
为疏朗集，而 $\bar{M}$ 含 有内点 $x_0,$
则由内点定义，存在开球
$U\left(x_0,\epsilon \right),\epsilon >0,$ 使
$U\left(x_0,\epsilon \right)\subset \bar{M},$ 即 $M$
在 $U\left(x_0,\epsilon \right)$ 中稠密，这
与 $M$ 为 疏朗集矛盾；反之，若 $M$ 不 含有内点，而 $M$ 不 是 $X$
中疏朗集，则由疏朗集定义，
必有 $X$ 中开球
$U\left(x_0,\epsilon \right),\epsilon >0,$ 使
$\tilde{M}\supset U\left(x_0,\epsilon \right),$ 这
说明 $x_0$ 是 $\bar{M}$ 的 内点，与 $\bar{M}$ 中 不含内
点的条件矛盾.
定义2设 $X$ 是 度量空间， $M$ 是 $X$ 中 子集，若 $M$ 是 $X$
中有限或可数个疏朗集的并
集，则称 $M$ 是第一纲集，不是第一纲集的集称为第二纲集
我们有下述重要的贝尔( Baire)纲定理

定理1（贝尔纲定理）若 $X$ 是非空的完备度量空间，则 $X$ 是 第二纲集
证明我们用反证法，若 $X$ 是第一纲集，则存在有限或可数个疏朗集
$A_k,$ 使 $X=$
${\bigcup }_k{A}_k,$ 我们不妨讨论可数的情形，即
$X={\bigcup }_{k=1}^{\infty }{A}_k$ 的 情形.因 $A_1$
是 $X$ 中 疏朗集，则由前述 ${\bar{A}}_1$
不含有内点，因而 ${\bar{A}}_1\ne X,$ 故
${\bar{A}}_1^c=X\backslash {\bar{A}}_1$ 是 $X$ 中
非空开集，因此在 ${\bar{A}}_1^c$ 中 至少有一点 $p_1$
及
$\epsilon >0,$ 使 $p_1$ 的 $\epsilon$ 邻 域
$U\left(p_1,\epsilon \right)\subset {\left({\bar{A}}_1\right)}^c,$
取 ${\epsilon }_1=\frac{\epsilon }{2},$ 则闭球
S 1 = { x : d ( x , p 1 ) ⩽ ε 1 ∣ ⊂ U ( p 1 , ε ) ⊂ ( A ˉ 1 ) c , S _ { 1 } = \left\{ x : d \left( x , p _ { 1 } \right) \leqslant \varepsilon _ { 1 } \right| \subset U \left( p _ { 1 } , \varepsilon \right) \subset \left( \bar { A } _ { 1 } \right) ^ { c } , S1​={ x:d(x,p1​)⩽ε1​∣⊂U(p1​,ε)⊂(Aˉ1​)c,
即 $S_1$ 与 $A_1$ 不 交又因 $A_2$ 也是疏朗集，故
${\bar{A}}_2$ 也不含有内点，因此 ${\bar{A}}_2$ 不含有
$U\left(p_1,{\epsilon }_1\right),$
于是
${\left({\bar{A}}_2\right)}^c\cap U\left(p_1,{\epsilon }_1\right)=U\left(p_1,{\epsilon }_1\right)\backslash {\bar{A}}_2$
也是 $X$ 中非空开集，因此在
${\left({\bar{A}}_2\right)}^{\kappa }\cap U\left(p_1,{\epsilon }_1\right)$
中
至少有一点 $p_2$ 及 ${\epsilon }_2^{\prime }>0,$ 使
$U\left(p_2,{\epsilon }_2^{\prime }\right)\subset {\left({\bar{A}}_2\right)}^c\cap U\left(p_1,{\epsilon }_1\right),$
令
${\epsilon }_2=\frac{{\epsilon }_2^{\prime }}{2},$
则闭球
S 2 = { x : d ( x , p 2 ) ⩽ ε 2 } ⊂ U ( p 2 , ε 2 ′ ) ⊂ ( A ˉ 2 ) c ∩ U ( p 1 , ε 1 ) , S _ { 2 } = \left\{ x : d \left( x , p _ { 2 } \right) \leqslant \varepsilon _ { 2 } \right\} \subset U \left( p _ { 2 } , \varepsilon _ { 2 } ^ { \prime } \right) \subset \left( \bar { A } _ { 2 } \right) ^ { c } \cap U \left( p _ { 1 } , \varepsilon _ { 1 } \right) , S2​={ x:d(x,p2​)⩽ε2​}⊂U(p2​,ε2′​)⊂(Aˉ2​)c∩U(p1​,ε1​),
即 $S_2$ 与 $A_2$ 不 交，并且
$S_2\subset U\left(p_1,{\epsilon }_1\right)\subset$