Skip to content

Euclid 空间 及其重要子集 ​

集合 及距离 ​

我们约定 是 维实向量的集合,每一个 维向量都可以表示为 。这在几何上表示 维 Euclid 空间的一个点, 被称为点 的坐标。

类比几何学,我们也可以引入 “距离” 的概念。

定义 1 两点 之间的距离为

这是一个映射 ,满足以下性质:

(a)

(b) 非退化性:

(c) 对称性:

(d) 三角不等式:

上面的距离函数是定义在 上的。若一个定义在集合 上一组点 上的距离函数有以上性质,我们称这个函数是 上的度量或距离。

集合和给定的它的一个度量被称为度量空间。这样,我们就根据 式把上面的 变为一个度量空间。我们会在之后的章节中学习度量空间的性质。在这一章中,我们涉及的度量空间只有 ,因此我们在这里不给出度量空间的准确定义。

由 ,对 ,有

这说明两点之间的距离远近只与这两个点坐标的靠近程度有关。当 时,退化为实数集, 表示两个数的差的绝对值。

上的开集与闭集 ​

开集与闭集的定义 ​

定义 2 对 ,集合

称为 的 邻域,或称为以 为中心、 为半径的球。

定义 3 如果对集合 ,如有 ,s.t.

则称 为开集。

例 1

是开集;

是开集;

集合 是开集。事实上,对 ,均有

因此 为开集;

集合 是开集,证明方法与上面类似。

定义 4 设有集合 ,若它的补集 是开集,则称 为闭集。

例 2

是闭集。这是因为它的补集是开集。这一事实我们在上面已经论述过,这里不再重复。

开闭集的性质 ​

性质 1 (a) (开集的并仍为开集) 设集合 是 上的开集簇,则

(b) (有限开集的交仍为开集) 设 是 开集(),则

(c) (闭集的交仍为闭集) 设集合 是 上的闭集簇,则

(d) (有限闭集的并仍为闭集) 设 是 上的闭集(),则

证明

(a) 任取 ,则

(b) 任取 ,取 满足 ,再取 ,则有

(c) 设 的补集为 。事实上,

由于 是开集,根据 (a) 中结论,可以得到

故 是闭集。

(d) 相似地,从 (b) 中我们可以得到:

因此 是闭集。

例 3

集合 是以 为中心, 为半径的球壳。

在 上的补集是开集的并,因此 是闭集。

定义 5 包含一个给定的点 的 上的开集叫做点 的邻域。

特别地,在例 1 中给出的 的 邻域就是 的邻域之一。

定义 6 对于给定的集合 和点 ,

(1) 如果 的一些邻域包含于 ,则称 为 的内部点;

(2) 如果 在 的补集中是内部点,则称 为 的外部点;

(3) 如果 既不是内部点又不是外部点,则称 为 的边界点。

边界点有一个特别的性质:它的任何邻域都包含内部点和外部点。

例 4

是 和 的共同边界。

点 是集合 的边界点,这个集合没有外部点。

集合 上的所有点都是它的边界点。作为 的子集, 没有内部点。

定义 7 设有 ,若对任意 的邻域 ,都有 是一个无限集,则称 是集合 的极限点。

定义 8 集合 和它所有极限点的闭集称为集合 的闭包。

通常我们将集合 的闭包记为

例 5

上面我们提到了 ,之所以这么命名,是因为 ,包含了 和它的极限点,因此是 的闭包。

为了证明上面这个等式,我们需要引入几个有用的定理。

定理 2 是 上的闭集

证明

(1)必要性:

用反证法。

假设 且 是 的极限点,

则有 是 内部的点。

由 是闭集,有 是一个开集,故 即

这与 是 的极限点相矛盾。

所以 的所有极限点必在 上,因此有

(2)充分性:

现有 ,需证 是闭集,只需证 是开集。

设有 ,则

因此 不是 的极限点,因此存在 的一个邻域 ,使得

因为 ,所以可以构造邻域 ,满足

取

则 ,即

因此 是开集, 是闭集。

上的紧集 ​

定义 9 如果从 在 上的每一个开集覆盖中,都可以提取一个有限的覆盖,则称 是紧致的。

例 6

闭集 是紧集(这是在一元微积分中学习过的有界闭集的覆盖定理)。

在 上,可以将闭区间概念进行推广:它是指集合

其中 都是某一轴上的坐标。

这被称为 维闭区间,或 维闭方块,或 维平行六面体。

下面我们证明 是 上的紧集。

证明

用反证法。

假设 的所有开集覆盖中,存在一个开集覆盖不能提取出有限覆盖。

我们将每一个坐标闭区间二等分,即将 二等分,我们共有 种选择方法。在这些方法中,必有至少一种不能提取出有限覆盖,设为 。对 重复此过程,得到 。一直做下去,有

上面的所有集合都不能提取出有限覆盖。

如果设

那么对每一个分量 ,当 足够大时,区间长度都将趋于 0.

根据闭区间套定理,

于是我们得到向量

由于 开集 ,使得

由开集的性质,有

根据上面的构造,我们可以得到

这与 均不能提取出有限覆盖是矛盾的!

所以 是紧集。

定理 3 如果 是 上的紧集,则有

(a) 是 上的闭集;

(b) 所有 的闭子集,且包含于 ,则它也是紧集。

证明

(a) 要证 是 上的闭集,只需证 的所有极限点都在 上。

用反证法。假设 是 的极限点,且

则 ,可构造 的一个邻域 ,,则

由于集合 是紧集,我们可以构造出有限覆盖 ,

相应地也可以构造 个 的 邻域

取

则

这与 是极限点相矛盾,因为极限点要求任意小的邻域都包含 中无限多的元素。

所以 ,即 是闭集。

(b) 设 是 上的闭集,且

设有覆盖

考虑 的补集

则有 是 的一个覆盖。

根据紧集的定义,此覆盖可选出有限覆盖

则有

因为

故有 .

即 有有限覆盖。因此 是闭集。

定义 10 集合 的半径定义为

定义 11 若集合 的半径是有限量,则称集合 是有界的。

定理 4 如果 是 上的紧集,则 是 上的有界集。

证明

设有 ,作球

则球列 构成了 的一个覆盖。

根据紧集的性质,从球列 中必可抽取出有限覆盖。

但倘若 无界,则不可能有有界覆盖,矛盾!

因此 是有界闭集。

定理 5 是紧集 是有界闭集。

证明

(a) 必要性:由定理 4 及定理 3 可得。

(b) 充分性:因为 是有界闭集,它是可以被包含在 维闭方块 的。

前面例题已经证明过: 是紧集。

由 ,根据定理 3 (b),有 是紧集。