内部

拓撲空間的子集所包含的最大的開集

内部(英语:interior,又称开核,英语:open kernel),是点集拓朴中的术语。拓扑空间内子集合 S 的“内部”定义为:所有 S 的开子集的并集[1]直观上可以想成“不在 S边界上”的S组成。S 的内部中的点称为 S内点(英语:interior point)。

xS 的内部点,因为它包含在 S 内并有一个开球围绕着它。点 yS 的边界上。

另一个等价地定义为,S 的内部是 S 补集闭包的补集。内部的概念在很多情况下和闭包的概念对偶。

一个集合的外部exterior)是它补集的内部,等同于它闭包的补集;它包含既不在集合内,也不在边界上的点。一个子集的内部、边界和外部一同将整个空间分为三块(或者更少,因为这三者有可能是空集)。内部和外部总是的,而边界总是的。没有内部的集合叫做边缘集boundary set)。


定义

内点

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

这个定义可以推广到度量空间 X 的任意子集 S。具体地说,对具有度量 d 的度量空间 XxS 的内点,若对任意不属于S或在S边界上的y,都有d(x, y) >0。

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

集合的内部

集合  内部  的所有内点组成的集合。  的内部一般记作   。集合的内部满足下列性质:

  •    的开子集。
  •   是所有包含于  开集的并集,  为开集  
  •   是包含于   的最大的开集。
  • 集合   是开集当且仅当  
  •  幂等)。
  •    的子集,则    的子集。
  •   为开集,则  当且仅当  

上述第二或第三条性质都可独立地作为拓扑内部的定义

内部公理

设集合 及其幂集 ,映射 称为内部算子,当且仅当其满足以下内部公理

  • i1: 
  • i2: 
  • i3: 
  • i4: 

其中对于 的子集  称为 内部 中的点称为 内点

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

开集
 的子集 称为开集,当且仅当 
闭集
 的子集 称为闭集,当且仅当 
闭包算子闭包触点
对应内部算子 闭包算子 的定义为 。其中 称为 闭包 中的点称为 触点。闭包算子是内部算子的对偶概念,闭包是内部的对偶概念,触点是内点的对偶概念。
邻域
对于 的子集   被称作 邻域,当且仅当 
边界边界点
对应内部算子 边界算子 的定义为 。其中 称为 边界 中的点称为 边界点

常用结论和性质

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

  • ∀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]) 是空集。

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

  • 在任意离散空间中,由于所有集合都是开集,所以所有集合都等于其内部。
  • 在任意不可分空间 X 中,由于只有空集和 X 自身是开集,所以 int(X) = X 且对 X 的所有真子集 A,int(A) 是空集。

内部算子

内部算子 o闭包算子 的对偶,在如下意义上

So = X \ (X \ S),

还有

S = X \ (X \ S)o

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

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

参见

外部链接

参考文献

  1. ^ James R. Munkres. Topology (second edition). United States of America: Pearson. 2017-03-10: 95. ISBN 9780134689517 (英语).