泛函分析基础10-巴拿赫空间中的基本定理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 S_1,$又${\epsilon }_2$