定义

拓扑学

设集合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的 内点 。

从内部算子出发可以定义拓扑，这和从开集，闭集，闭包，邻域，导集，基等概念出发定义拓扑的方式是等价的。

常用结论和性质

除了上述定义提到的，以下是一些常用的其它结论。

∀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中所有开集之并。）

内点

令 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 ) 或 S 。集合的内部满足下列性质：

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 = R ，则 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]) 是空集。

上述示例中集合的内部取决于背景空间的拓扑。接下来给出的两个示例比较特殊。

在任意离散空间中，由于所有集合都是开集，所以所有集合都等于其内部。

在任意不可分空间 X 中，由于只有空集和 X 自身是开集，所以 int( X ) = X 且对 X 的所有真子集 A ，int( A ) 是空集。

内部算子

内部算子 是闭包算子 的对偶，在如下意义上

还有

这里的 X 是包含 S 的拓扑空间，反斜杠指示补集。

因此，通过把集合替代为它的补集，闭包算子和库拉托夫斯基闭包公理的抽象理论可以轻易的转换到使用内部算子的语言中。

引用

PlanetMath上Interior的资料。

参见

内部代数

外部

免责声明：以上内容版权归原作者所有，如有侵犯您的原创版权请告知，我们将尽快删除相关内容。感谢每一位辛勤著写的作者，感谢每一位的分享。