Stone–Čech 紧化

Stone–Čech 紧化是个点集拓扑构造, 典范地把拓扑空间变得 Hausdorff. 它是紧 Hausdorff 空间范畴到拓扑空间范畴的含入函子之左伴随, 或不严格地说是最大的紧化.

1定义

定义 1.1.拓扑空间. 称满足如下万有性质的拓扑空间 以及连续映射 Stone–Čech 紧化: 对任一 Hausdorff 空间 , 的任一连续映射都唯一地穿过 .

每个拓扑空间都有 Stone–Čech 紧化, 但这很不平凡, 依赖于选择公理. 下面是几种证明方法.

用 Tikhonov 定理

引理 1.2.Hausdorff 空间, 是其稠密子集. 则 .

证明. 幂集的幂集 的映射如下: 则首先每个 的像都是由非空集合组成的集族, 且对有限交封闭. 但由 Hausdorff, 对相异两点 , 存在它们的不交邻域 , 这样 . 特别地, 相异两点 在该映射下的像相异, 亦即该映射是单射. 所以 .

推论 1.3. 是拓扑空间. 则存在集合 , 其元素形如 , 其中 是紧 Hausdorff 拓扑空间, 是连续映射, 满足: 对任一紧 Hausdorff 拓扑空间 以及连续映射 , 存在元素 , 使得 穿过 .

证明. 的所有元素为形如 , 其中 取遍底集为 的子集的紧 Hausdorff 空间, 取遍连续映射. 这样由幂集公理分出公理不难发现 是集合. 现对任一紧 Hausdorff 拓扑空间 以及连续映射 , 由引理 1.2, , 所以存在 使得 且在此同胚下 对应于 . 这样 自然穿过 .

定理 1.4. 每个拓扑空间 都有 Stone–Čech 紧化 , 且 .

证明. 取推论 1.3 中的集合 , 并把对每个 的映射 合起来成为映射然后令 , 映射 就是 . 下证其符合要求. 依定义, 像集稠密, 所以万有性质中的唯一性显然. 至于存在性, 取紧 Hausdorff 空间 以及连续映射 . 由推论 1.3, 存在 使得 穿过 . 由于 无非是 分量投影, 自然穿过 , 所以 也就穿过 , 存在性得证.

用超滤子

用 Gelfand 对偶

复数 的有界连续函数的空间, 则它关于上确界范数和逐点乘法构成 代数. 注意对任一 ,极大理想, 因为它是 的满射 的核.

定理 1.5. 是从 Gelfand 对偶 的连续映射, 且是 的 Stone–Čech 紧化.

2性质

命题 2.1. 空间, 当且仅当 是单射, 且 的拓扑是从 继承的子空间拓扑. 此时 局部紧当且仅当它是 的开子空间.

3例子

例 3.1. 紧 Hausdorff 空间的 Stone–Čech 紧化是自身.

例 3.2. (写离散空间的 Stone–Čech 紧化.)

例 3.3. 第一不可数序数 的 Stone–Čech 紧化是 . 一般地, 只要序数 共尾数大于 , 就有 .

4相关概念

超滤子

Tikhonov 定理

Tikhonov 空间

术语翻译

Stone–Čech 紧化英文 Stone–Čech compactification德文 Stone-Čech-Kompaktifizierung法文 compactification de Stone-Čech