跳转到内容

拓扑/基

来自维基教科书,开放的书本,开放的世界
拓扑
 ← 拓扑空间 集合中的点 → 


为拓扑空间。一个开集的集合 被称为拓扑 ,如果每个开集 中集合的并集。

显然 是它自己的基。

作为基的条件

[编辑 | 编辑源代码]

在一个拓扑空间 中,一个集合 的基当且仅当它由开集组成,并且对于每个点 的开邻域 ,存在一个集合 使得 .

证明
我们需要证明, 的一个子集是开的,当且仅当它是由 中的元素的并集。然而,如果部分很明显,因为 中的元素是开的,任意个开集的并集也是开的。因此,我们只需要证明任何一个开集 确实是这样的并集。
为任意一个开集。考虑任意元素 。根据假设,在 中至少存在一个元素,它既包含 ,又是 的子集。根据选择公理,我们可以对每个 同时选择这样的一个元素 。所有这些元素的并集确实是 。因此,任何开集都可以表示为 中的集合的并集。

从基构造拓扑

[编辑 | 编辑源代码]

为任意集合, 的子集族。存在 上的拓扑 使得 的基当且仅当 满足以下条件:

  1. 如果 ,那么存在一个 使得
  2. 如果 ,那么存在一个 使得

注: 第一个条件等价于说 中所有集合的并集为

为任意集合, 的子集的集合。那么, 是一个半基,如果 X 的基可以由 的元素的有限交集形成。

  1. 证明集合 ,即 中所有开区间的集合,是 上拓扑的一个基。
  2. 证明集合 ,即 中所有闭区间的集合,**不是** 上拓扑的一个基。
  3. 证明集合 ,即半开区间的集合,是 上拓扑的一个基。
  4. 证明集合 ,即半开区间的集合,是 上拓扑的一个基。
  5. 划分 在闭区间 上定义为有序的 n 元组 范数 划分 定义为
    对于每个 ,定义集合
    如果 上所有划分的集合,证明所有 的集合是 上拓扑的基。


拓扑
 ← 拓扑空间 集合中的点 → 


华夏公益教科书