Euclid 空间 及其重要子集
集合 及距离
我们约定
类比几何学,我们也可以引入 “距离” 的概念。
定义 1 两点
这是一个映射
(a)
(b) 非退化性:
(c) 对称性:
(d) 三角不等式:
上面的距离函数是定义在
集合和给定的它的一个度量被称为度量空间。这样,我们就根据
由
这说明两点之间的距离远近只与这两个点坐标的靠近程度有关。当
上的开集与闭集
开集与闭集的定义
定义 2 对
称为
定义 3 如果对集合
则称
例 1
集合
因此
集合
定义 4 设有集合
例 2
开闭集的性质
性质 1 (a) ==(开集的并仍为开集)== 设集合
(b) ==(有限开集的交仍为开集)== 设
(c) ==(闭集的交仍为闭集)== 设集合
(d) ==(有限闭集的并仍为闭集)== 设
证明
(a) 任取
(b) 任取
(c) 设
由于
故
(d) 相似地,从 (b) 中我们可以得到:
因此
例 3
集合
定义 5 包含一个给定的点
特别地,在例 1 中给出的
定义 6 对于给定的集合
(1) 如果
(2) 如果
(3) 如果
边界点有一个特别的性质:它的任何邻域都包含内部点和外部点。
例 4
点
集合
定义 7 设有
定义 8 集合
通常我们将集合
例 5
上面我们提到了
为了证明上面这个等式,我们需要引入几个有用的定理。
定理 2
证明
(1)必要性:
用反证法。
假设
则有
由
这与
所以
(2)充分性:
现有
设有
因此
因为
取
则
因此
上的紧集
定义 9 如果从
例 6
闭集
在
其中
这被称为
下面我们证明
证明
用反证法。
假设
我们将每一个坐标闭区间二等分,即将
上面的所有集合都不能提取出有限覆盖。
如果设
那么对每一个分量
根据闭区间套定理,
于是我们得到向量
由于
由开集的性质,有
根据上面的构造,我们可以得到
这与
所以
定理 3 如果
(a)
(b) 所有
证明
(a) 要证
用反证法。假设
则
由于集合
相应地也可以构造
取
则
这与
所以
(b) 设
设有覆盖
考虑
则有
根据紧集的定义,此覆盖可选出有限覆盖
则有
因为
故有
即
定义 10 集合
定义 11 若集合
定理 4 如果
证明
设有
则球列
根据紧集的性质,从球列
但倘若
因此
定理 5
证明
(a) 必要性:由定理 4 及定理 3 可得。
(b) 充分性:因为
前面例题已经证明过:
由