几何/拓扑

拓扑空间是一个集合 X，以及 X 的子集集合 C，使空集和 X 均包含在 C 中，且 C 中任意子集集合的并集以及 C 中任意有限子集集合的交集也包含在 C 内。C 中的集合称为开集。它们相对于 X 的补集称为闭集。

给定两个拓扑空间 X 和 Y，如果对于 Y 的每个开集 U，f⁻¹(U) 是 X 的开集，则从 X 到 Y 的映射 f 是连续的。