notion无点拓扑学 [无点拓扑学]

你可曾见过一个点?

观念

无点拓扑学 (point-free topology) 研究不以点集为基础的拓扑或几何对象; 换言之, 这些对象不是以点的集合加上一些结构定义的, 而是直接以子空间或层等结构构成的代数对象 (见代数–几何对偶) 定义的.

由于不依赖点集, 无点拓扑学与一些非经典的, 特别是不依赖排中律和选择公理的逻辑体系 (如直觉主义逻辑) 关系密切.