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