内部
内部(英語:,又稱開核,英語:),是點集拓樸中的術語。拓扑空间内子集合 S 的「内部」定義為:所有 S 的開子集的聯集。直观上可以想成「不在 S 的边界上」的S 的点组成。S 的内部中的点称为 S 的内点(英語:)。
另一個等价地定義為,S 的内部是 S 补集的闭包的补集。内部的概念在很多情况下和闭包的概念对偶。
一个集合的外部()是它补集的内部,等同于它闭包的补集;它包含既不在集合内,也不在边界上的点。一个子集的内部、边界和外部一同将整个空间分为三块(或者更少,因為這三者有可能是空集)。内部和外部总是开的,而边界总是闭的。没有内部的集合叫做边缘集()。
定义
内点
令 S 为欧几里得空间的子集。若存在以 x 为中心的开球被包含于 S,则 x 是 S 的内点。
这个定义可以推广到度量空间 X 的任意子集 S。具体地说,对具有度量 d 的度量空间 X,x 是 S 的内点,若对任意不属于S或在S边界上的y,都有d(x, y) >0。
这个定义也可以推广到拓扑空间,只需要用邻域替代“开球”。 设 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及其幂集P(X),映射i: P(X)→P(X)称为内部算子,当且仅当其满足以下内部公理:
- i1:∀A⊆X,i(A)⊆A;
- i2:∀A⊆X,i(A)=i(i(A));
- i3:∀A,B⊆X,i(A∩B)=i(A)∩i(B)
- i4:i(X)=X;
其中对于X的子集A,i(A)称为A的内部,i(A)中的点称为A的内点。
从内部算子出发可以定义拓扑,这和从开集,闭集,闭包,邻域,导集,基等概念出发定义拓扑的方式是等价的。
- 开集
- X的子集A称为开集,当且仅当i(A)=A;
- 闭集
- X的子集A称为闭集,当且仅当i(X-A)=X-A;
- 闭包算子,闭包,触点
- 闭包算子c:P(X)→P(X)定义为∀A⊆X,c(A)=X-i(X-A)。其中c(A)称为A的闭包,c(A)中的点称为A的触点。闭包算子是内部算子的对偶概念,闭包是内部的对偶概念,触点是内点的对偶概念。
- 邻域
- X的子集A,B,称A是B的邻域,当且仅当B⊆i(A)。
- 边界,边界点
- 边界算子∂
- P(X)→P(X)定义为∀A⊆X,∂A=A-i(A)。其中∂A称为A的边界,∂A中的点称为A的边界点。
常用结论和性质
除了上述定义提到的,以下是一些常用的其它结论。
- ∀A,B⊆X,A⊆B ⇒ i(A)⊆i(B)。
- ∀A,B⊆X,i(A∪B)⊇i(A)∪i(B)。
- ∀A,B⊆X,A是开集 ⇒ ( A⊆B ⇔ A⊆i(B) )。(i(B)是包含于B的最大开集。)
- ∀B⊆X,i(B) = ∪{A:A是开集,A⊆B};(i(B)是B中所有开集之并。)
举例
- 在任意空间,空集的内部是空集。
- 对任意空间 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}。
- 在任意欧几里得空间,任意有限集合的内部是空集。
在实数集上,除了标准拓扑,还可以使用其他的拓扑结构。
- 若 X = R,且 R 有下限拓扑,则 int([0, 1]) = [0, 1)。
- 若考虑 R 中所有集合都是开集的拓扑,则 int([0, 1]) = (0, 1)。
- 若考虑 R 中只有空集和 R 自身是开集的拓扑,则 int([0, 1]) 是空集。
上述示例中集合的内部取决于背景空间的拓扑。接下来给出的两个示例比较特殊。
内部算子
内部算子 o 是闭包算子 − 的对偶,在如下意义上
- So = X \ (X \ S)−,
还有
- S− = X \ (X \ S)o
因此,通过把集合替代为它的补集,闭包算子和库拉托夫斯基闭包公理的抽象理论可以轻易的转换到使用内部算子的语言中。
外部链接
- PlanetMath上Interior的資料。