在拓扑学及其相关的数学分支中，拓扑空间（topological space）是一个点的集合，其部分子集构成一个族满足一些公理。拓扑空间的定义仅依赖于集合论，是带有连续，连通，收敛等概念的最基本的数学空间。
