概念

开集与闭集

开集公理定义拓扑结构，邻域、内部、闭包、极限点刻画「接近关系」，是分析学的抽象化。

阅读路径

参考可汗学院 Get ready 机制：先修概念 → 当前概念 → 进阶概念，✓ 表示已读。

已是本主题的起点

开集与闭集拓扑学

01定义

拓扑由一族满足公理的「开集」定义：任意并、有限交仍为开集。邻域、内部、闭包、极限点由此刻画「接近」关系——无需距离，也能谈连续与收敛，这是分析学的彻底抽象化。

拓扑空间 X 中，含 x 的开集 U 称为 x 的邻域

全集与空集开；任意多个开集之并开；有限个开集之交开。仅此三条，即可定义连续、收敛、紧、连通等全部概念。

闭包 $\bar A$ 是含 $A$ 的最小闭集（加上全部极限点）；内部是 $A$ 含的最大开集；边界 $=\bar A\setminus A^\circ$ 。

同一集合可带不同拓扑：离散拓扑（每点都开）、平庸拓扑（仅空与全）、余有限拓扑——拓扑是「附加结构」而非集合固有。

\bigcup_\alpha U_\alpha\in\tau,\quad U_1\cap\cdots\cap U_n\in\tau

\partial A=\bar A\setminus A^\circ

Fréchet 1906 年抽象出度量空间；Hausdorff 1914 年《点集拓扑》以邻域公理奠基；1930 年代开集公理成为标准表述，泛函分析随之起飞。

泛函分析的弱拓扑、 Zariski 拓扑之于代数几何、计算机科学的域理论（程序语义）都建立在点集拓扑语言之上。

开集与闭集：内点、边界点与 δ 邻域拖动 p：左开圆盘（虚线，边界不属于）与右闭圆盘（实线，边界属于）

p·x1.10p·y0.70δ 邻域半径0.65