令 为拓扑空间。一个开集的集合 被称为拓扑 的基,如果每个开集 是 中集合的并集。
显然 是它自己的基。
在一个拓扑空间 中,一个集合 是 的基当且仅当它由开集组成,并且对于每个点 和 的开邻域 ,存在一个集合 使得 .
证明
我们需要证明, 是 的一个子集是开的,当且仅当它是由 中的元素的并集。然而,如果部分很明显,因为 中的元素是开的,任意个开集的并集也是开的。因此,我们只需要证明任何一个开集 确实是这样的并集。
令 为任意一个开集。考虑任意元素 。根据假设,在 中至少存在一个元素,它既包含 ,又是 的子集。根据选择公理,我们可以对每个 同时选择这样的一个元素 。所有这些元素的并集确实是 。因此,任何开集都可以表示为 中的集合的并集。
设 为任意集合, 为 的子集族。存在 上的拓扑 使得 为 的基当且仅当 满足以下条件:
- 如果 ,那么存在一个 使得 。
- 如果 且 ,那么存在一个 使得 。
注: 第一个条件等价于说 中所有集合的并集为 。
令 为任意集合, 为 的子集的集合。那么, 是一个半基,如果 X 的基可以由 的元素的有限交集形成。
- 证明集合 ,即 中所有开区间的集合,是 上拓扑的一个基。
- 证明集合 ,即 中所有闭区间的集合,**不是** 上拓扑的一个基。
- 证明集合 ,即半开区间的集合,是 上拓扑的一个基。
- 证明集合 ,即半开区间的集合,是 上拓扑的一个基。
- 令 。划分 在闭区间 上定义为有序的 n 元组 ;范数 划分 定义为
对于每个 ,定义集合 。
如果 是 上所有划分的集合,证明所有 的集合是 上拓扑的基。