拓扑空间拓扑空间范畴

时间：2023-06-23 07:03:01 | 来源：营销百科

时间：2023-06-23 07:03:01 来源：营销百科

拓扑空间拓扑空间范畴：的映射（指的幂集的幂集）。这样将的每个点映射至的子集族。称为的邻域系（的元素称为的邻域），当且仅当对任意的，满足如下邻域公理：

U1：若，则。

U2：若，则。（邻域系对邻域的有限交封闭）。

U3：若，，则。

U4：若，则存在，且，使对所有，有。

从邻域出发定义其它概念：

从邻域定义开集：的子集是开集，当且仅当对任意，有。（是其中每个点的邻域）。

从邻域定义开核：的子集的开核。

从邻域定义闭包：的子集的闭包。