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