如何确定实数集上一个集合的内部

在实数集配备通常拓扑的情况下,集合的内部是一个非常基础而又重要的概念。为了更直观地理解这一点,我们可以借助一个简单的 R 脚本来进行说明。

先从一个具体的例子入手。假设我们定义两个开集 A 和 B。

A <- c(1, 3)
B <- c(0, 4)

这两个集合都是实数集上的开区间。

其中,集合 A 表示实数区间 (1,3)。

> cat("Interval A:", A, "\n")

Interval A: 1 3

类似地,集合 B 表示实数区间 (0,4)。

> cat("Interval B:", B, "\n")

Interval B: 0 4 

接下来,我们编写一个函数,用来近似计算这些集合的内部

在拓扑学中,一个集合的内部定义为所有包含在该集合中的开集的并集。对于开区间而言,其内部仍然是其自身。

internal <- function(interval) {
c(interval[1] + 0.00001, interval[2] - 0.00001)
}

利用这个函数,可以分别计算集合 A 和集合 B 的内部。

Int_A <- internal(A)

Int_B <- internal(B)

下面展示计算结果。

集合 A (1,3) 的内部由所有包含在 A 中的开集构成,因此得到 int(A) = (1,3)

> cat("Interior of A:", Int_A, "\n")

Interior of A: 1.00001 2.99999

集合 B (0,4) 的内部同理,也是所有包含在 B 中的开集的并集,从而得到 int(B) = (0,4)

> cat("Interior of B:", Int_B, "\n")

Interior of B: 1e-05 3.99999

拓扑学中还有一个重要性质与内部密切相关。根据集合内部的基本性质,如果集合 A 是集合 B 的子集,那么 A 的内部一定包含在 B 的内部之中。

$$ A \subseteq B \Longrightarrow \text{Int}(A) \subseteq \text{Int}(B) $$

这一结论同样可以通过 R 程序进行验证。

cat("Int(A) is contained in Int(B):", all(Int_A >= Int_B[1] & Int_A <= Int_B[2]), "\n")

Int(A) is contained in Int(B): TRUE

脚本的输出结果直观地表明,集合 \( A \) 的内部确实完全包含在集合 \( B \) 的内部之中。

通过这种方式,可以将抽象的拓扑概念与具体的计算过程联系起来,从而加深对集合内部这一概念的理解。

 

 
 

Please feel free to point out any errors or typos, or share suggestions to improve these notes.

FacebookTwitterLinkedinLinkedin

拓扑学

练习