“连续单射把圆周嵌入平面,补集分支给出内外区域,边界说明两域共享原曲线。它支撑点在多边形内判定、平面分割和复分析围道概念;高维的 Jordan–Brouwer 分离定理把嵌入 $S^{n 1}…”
形式陈述 ​
设
等价地,
直觉
内部收集完全拥有某个邻域的点,闭包收集每个邻域都碰到集合的点,边界则是集合与其补集都无法在局部排除的点。三者分别是最大开子集、最小闭上集与两侧接触区。它们依赖环境拓扑;同一子集换成子空间后,内部和边界会改变。
例子与边界
在
在
参考资料
- James R. Munkres, Topology, 2nd ed., Prentice Hall, 2000,§17。
- Stephen Abbott, Understanding Analysis, 2nd ed., Springer, 2015,§3.2。