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),有 是紧集。