什么是内点(拓扑学中的)?讲清楚点,百科中的太浅了,谢谢

来源:百度知道 编辑:UC知道 时间:2024/06/13 22:25:00
什么是内点(拓扑学中的)?麻烦讲清楚点,百科中的太浅了,谢谢

简单点,拓扑学中的内点就是与中心点和重心点差不多的点。

数学上,集合 S 的内部(又称开核)含有所有直观上“不在 S 的边界上”的 S 的点。S 的内部中的点称为 S 的内点。内部的概念在很多情况下和闭包的概念对偶。

内点
若 S 为欧几里得空间的子集,则 x 是 S 的内点,若存在以 x 为中心的开球被包含于 S。

这个定义可以推广到度量空间 X 的任意子集 S。具体地说,对具有度量 d 的度量空间 X,x 是 S 的内点,若对任意 r > 0,存在 y 属于 S,且 d(x, y) < r。

这个定义也可以推广到拓扑空间,只需要用邻域替代“开球”。 设 S 是拓扑空间 X 的子集,则 x 是 S 的内点,若存在 x 邻域被包含于 S。注意,这个定义并不要求邻域是开的。

集合的内部
集合 S 的内部是 S 的所有内点组成的集合。S 的内部写作 int(S)、Int(S) 或 So。集合的内部满足下列性质:

int(S) 是 S 的开子集。
int(S) 是所有包含于 S 的开集的并集。
int(S) 是包含于 S 的最大的开集。
集合 S 是开集,当且仅当 S = int(S)。
int(int(S)) = int(S)。(幂等)
若 S 为 T 的子集,则 int(S) 是 int(T) 的子集。
若 A 为开集,则 A 是 S 的子集,当且仅当 A 是 int(S) 的子集。
有时候,上述第二或第三条性质会被作为拓扑内部的定义。

举例
在任意空间,空集的内部是空集。
对任意空间 X, int(X) = X.
若 X 为实数的欧几里得空间 R,则 int([0, 1]) = (0, 1)。
若 X 为实数的欧几里得空间 R,则有理数集合 Q 的内部是空集。
若 X 为复平面 C = R2,则 int({z 属于 C : |z| ≥ 1}) = {z in C : |z| > 1}。
在任意欧几里得空间,任意有限集合的内部是空集