贝尔纲定理

贝尔纲定理（英語：Baire category theorem，BCT）是点集拓扑学和泛函分析中的一个重要的工具。这个定理有两种形式，每一个都给出了拓扑空间是贝尔空间的充分条件。

该定理由勒内-路易·贝尔在他1899年的博士论文中证明。[1]

## 定理的陈述

[编辑]

一个贝尔空间是一个拓扑空间，具有以下性质：对于任意可数个开稠密集Un，它们的交集∩ Un都是稠密的。

* （BCT1）每一个完备度量空间都是贝尔空间。更一般地，每一个同胚于某个完备伪度量空间的开子集的拓扑空间都是贝尔空间。因此每一个完备可度量化的拓扑空间都是贝尔空间。
* （BCT2）每一个局部紧豪斯多夫空间都是贝尔空间。其证明类似于前一个陈述；有限交集性质取得了完备性扮演的角色。

注意从以上任何一个命题都不能推出另一个，因为存在一个不是局部紧的完备度量空间（带有定义如下的度量的无理数），也存在一个不可度量化的局部紧豪斯多夫空间（不可数福特空间）。参见以下文献中的Steen and Seebach。

* （BCT3）一个非空的完备度量空间不是可数个无处稠密集（也就是闭包具有稠密补集的集合）的并集。

这个表述是BCT1的一个结果，有时更加有用。另外，如果一个非空的完备度量空间是可数个闭集的并集，那么其中一个闭集具有非空的内部。

## 与选择公理的关系

[编辑]

BCT1和BCT2的证明需要选择公理的某种形式；实际上，BCT1与选择公理的一个较弱的版本——依賴選擇公理等价。[2]

## 定理的应用

[编辑]

BCT1可以用来证明开映射定理、闭图像定理和一致有界原理。

BCT1也表明每一个没有孤立点的完备度量空间都是不可数的。（如果X是一个可数的完备度量空间且没有孤立点，那么在X中每一个单元素集合都是无处稠密的，因此X在它本身内是第一纲）。特别地，这证明了所有实数所组成的集合是不可数的。

BCT1表明以下每一个都是贝尔空间：

* 实数空间R；
* 无理数，其度量定义为d(x, y) = 1 / (n \+ 1)，其中n是使x和y的连分数展开式不同的第一个指标（这是一个完备度量空间）；
* 康托尔集。

根据BCT2，每一个流形都是贝尔空间，因为它是局部紧空间，也是豪斯多夫空间。这甚至对非仿紧（因此不可度量化）的流形如长直线也是成立的。

## 证明

[编辑]

以下是完备度量空间 X {\displaystyle X} 是贝尔空间的一个标准的证明。

设 U n {\displaystyle U_{n}} 为一个开稠密子集的集合。我们希望证明交集 ⋂ U n {\displaystyle \bigcap U_{n}} 是稠密的。一个子集  A {\displaystyle A} 是稠密的当且仅当空间中任意一个非空的开集都与  A {\displaystyle A} 相交。为此，我们只需证明  X {\displaystyle X} 的任意非空开子集  W {\displaystyle W} 有一个点  x {\displaystyle x} ， x {\displaystyle x} 包含于所有的  U n {\displaystyle U_{n}} 中。为此，设 W ⊂ X {\displaystyle W\subset X} 为一个开子集。根据稠密性，存在 x 1 {\displaystyle x_{1}} 和 r 1 > 0 {\displaystyle r_{1}>0} ，使得：

B ¯ ( x 1 , r 1 ) ⊂ W ∩ U 1 {\displaystyle {\overline {B}}(x_{1},r_{1})\subset W\cap U_{1}} 。

递归地，我们求出 x n {\displaystyle x_{n}} 和 r n > 0 {\displaystyle r_{n}>0} ，使得：

B ¯ ( x n , r n ) ⊂ B ( x n − 1 , r n − 1 ) ∩ U n {\displaystyle {\overline {B}}(x_{n},r_{n})\subset B(x_{n-1},r_{n-1})\cap U_{n}} 而且 r n < n − 1 {\displaystyle r_{n}<n^{-1}} 。

由于当 n > m {\displaystyle n>m} 时， x n ∈ B ( x m , r m ) {\displaystyle x_{n}\in B(x_{m},r_{m})} ，因此 x n {\displaystyle x_{n}} 是柯西序列，且 x n {\displaystyle x_{n}} 收敛于某个极限 x {\displaystyle x} 。对于任何 n {\displaystyle n} ，根据封闭性，有：

x ∈ B ¯ ( x n + 1 , r n + 1 ) ⊂ B ( x n , r n ) {\displaystyle x\in {\overline {B}}(x_{n+1},r_{n+1})\subset B(x_{n},r_{n})} 。

因此，对于所有 n {\displaystyle n} ，都有 x ∈ W {\displaystyle x\in W} 且 x ∈ U n {\displaystyle x\in U_{n}} 。 ◻ {\displaystyle \square }

## 註釋

[编辑]

1. ^ R. Baire. Sur les fonctions de variables réelles. （页面存档备份，存于互联网档案馆） Ann. di Mat., 3:1–123, 1899.
2. ^ 存档副本.  [2009-04-24]. （原始内容存档于2009-09-12）.

## 參考文獻

[编辑]

* R. Baire. Sur les fonctions de variables réelles.（页面存档备份，存于互联网档案馆） Ann. di Mat., 3:1–123, 1899.
* Blair, Charles E. (1977), "The Baire category theorem implies the principle of dependent choices.", Bull. Acad. Polon. Sci. Sér. Sci. Math. Astronom. Phys., v. 25 n. 10, pp. 933–934.
* Levy, Azriel (1979), Basic Set Theory. Reprinted by Dover, 2002. ISBN 0-486-42079-5
* Schechter, Eric, Handbook of Analysis and its Foundations, Academic Press, ISBN 0-12-622760-8
* Lynn Arthur Steen and J. Arthur Seebach, Jr., Counterexamples in Topology, Springer-Verlag, New York, 1978. Reprinted by Dover Publications, New York, 1995. ISBN 0-486-68735-X (Dover edition).

* 查
* 论
* 编

点集拓扑系列

基本概念|

连续函数 · 同胚 · 子空間 · 积空间 · 商空间 · 序空間

邻域 · 内部 · 邊界 · 外部 · 极限点 · 孤点

基 · 鄰域系統 · 开集 · 闭集 · 闭开集 · 稠密集 · 无处稠密集 · 闭包

拓扑空间|

實數線 · 离散空间 · 密着拓扑 · 余有限空间 · 下限拓扑 · 康托尔集 · 有限拓撲空間 · 緊緻開拓撲

连通空间|

连通空间 · 局部连通空间 · 道路连通空间 · 单连通 · N-连通 · 不可約空間

紧空间|

可数紧 · 序列紧 · 聚点紧 · 局部紧

一致空间|

一致同构 · 一致性质 · 一致收斂 · 一致连续

可數性公理|

第一可數 · 第二可數 · 可分空间 · 林德勒夫空間

分离公理|

柯尔莫果洛夫空间 · T1空间 · 豪斯多夫空间 · 正则空间 · 吉洪诺夫空间 · 正规空间

定理|

* 波尔查诺-魏尔斯特拉斯定理
* 海涅-博雷尔定理
* 贝尔纲定理
* 吉洪诺夫定理
* 乌雷松引理
* 乌雷松度量化定理

* 查
* 论
* 编

泛函分析

集合 / 子集|

* 绝对凸集
* 吸收集
* 平衡集
* 有界集 (拓扑向量空间)（英语：Bounded set (topological vector space)）
* 凸集
* 径向集
* 星形域
* 对称集
* 凸锥

拓撲向量空間|

* 巴拿赫空间
* 欧几里得空间
* 希尔伯特空间
* 索伯列夫空間
* 局部凸（英语：Locally convex topological vector space）
* 賦範向量空間 （范数）
* 拟赋范空间
* 自反空间
* 拓扑张量积（英语：Topological tensor product） (希尔伯特空间中)
* 速降函数空间

映射拓扑|

* 对偶空间
* 算子拓扑
* 弱拓扑（英语：Weak topology）
* 强拓扑（英语：Strong topology）
* 拓扑的一致收敛（英语：Topology of uniform convergence）

线性算子|

* 伴随
* 双线性
* 形式
* 有界 / 无界
* 连续线性
* 紧
* Fredholm（英语：Fredholm operator）
* 希尔伯特-施密特
* 泛函
* 正规
* 核型（英语：Nuclear operator）
* 自伴
* 严格奇异算子（英语：Strictly singular operator）
* 迹类
* 有限秩
* 转置（英语：Transpose of a linear map）
* 酉 / 幺正

集合运算|

* 代数内部
* 内部
* 閔可夫斯基和
* 极性集

算子理论|

* 巴拿赫代数
* C*-代数
* 谱 (泛函分析) （谱半径）
* 谱理论（谱定理
* 投影值测度）
* 极分解
* 奇异值分解

定理|

* 阿尔泽拉-阿斯科利定理
* 巴拿赫-阿勞格魯定理
* 巴拿赫-马祖尔定理（英语：Banach–Mazur theorem）
* 贝尔纲定理
* 贝塞尔不等式
* 柯西-施瓦茨不等式
* 闭值域定理
* 閉圖像定理
* 哈恩-巴拿赫定理
* 角谷不动点定理
* 不变子空间问题
* Riesz延拓定理（英语：M. Riesz extension theorem）
* 开映射定理
* 拉克斯-米尔格拉姆定理
* 帕塞瓦尔恒等式
* 肖德尔不动点定理（英语：Schauder fixed point theorem）

分析|

* 导数 (弗雷歇导数
* 加托导数
* 泛函导数)
* 积分 (博赫纳积分
* 佩蒂斯积分（英语：Pettis integral）)
* 函数演算 (全纯函数演算
* 连续函数演算
* 博雷尔函数演算)
* 反函数定理
* 向量测度
* 弱可测函数

泛函分析中的定理

阿尔泽拉-阿斯科利定理 • 贝尔纲定理 • 巴拿赫-阿劳格鲁定理 • 巴拿赫-马祖尔定理 • 开映射定理 • 一致有界性原理 • 閉圖像定理 • 哈恩-巴拿赫定理 • 拉克斯-米尔格拉姆定理
*[查]: 查看该模板
*[论]: 讨论该模板
*[编]: 编辑该模板