完备性: 列紧性:对于集合 紧性:对于集合
描述实数完备性的定理: 1.柯西原理(波尔查诺-柯西):
证明:用区间套定理证明。 设 构造区间套 易知 下面证明序列 易知对于任意正数
2.确界原理: R的有界子集存在确界。 证明:用柯西原理证明。 仅需证明有上界的集合存在上确界,下确界存在性的证明是类似的。 设集合A上有界,集合为A上界集为X。 (1)若A有最大值,则最大值即为上确界。 (2)若A无最大值。 首先,证明集合A中的元素和集合X元素的差可以任意小。反证法:设 构造柯西序列 对此处选区方法做一个详细解释。设集合 那么对于任意正数 下面证明 易知
3.单调收敛定理: R中的单调有界序列必收敛。 证明:用确界原理证明。 仅对单调递增的序列证明,单调递减序列的证明是类似的。 设 下面证明 对任意正数
4.区间套定理(柯西-康托尔): R中长度趋于0的区间套有且只有一个公共点。 证明:用单调收敛定理证明。 设 下面证明 由单调收敛定理知 (或:用聚点定理证明。区间套的端点集合是有界的,用聚点定理可知其聚点存在。证明区间的每个大于等于某个左端点的数或每个小于等于某个右端点的数不是聚点都不是聚点,那么聚点只能是在所有区间内部的点。) (或:用列紧定理证明。用区间左右端点分别构造一个序列。它们是有界的,存在收敛的子序列,根据这两个序列的单调性得出原序列也是收敛的,它们收敛于同一个数,这个数就是区间套的公共点。)
描述实数列紧性的定理: 1.列紧定理(波尔查诺-魏尔斯特拉斯): R的无穷有界子集是列紧的。 证明:用区间套定理证明。 取一个R的无穷有界集合S,在构造包含于它的序列 (1)X是有限集。 假设X中的每个元素都只有有限个下标与之对应,那么由于X的元素个数 有限,下标个数就也是有限的。但是下标数是自然数的个数,应该是无限的,矛盾。所以必存在X的某个元素c对应于无穷多个下标。把这些下标取出便得到了一个值为x的常序列,显然它是收敛于c的。 (2)X是无限集。 集合X是有界的,设X包含在区间[a,b]中。构造区间套 区间套的长度为 下面构造一个X中的序列
(或:用致密性定理:元素个数无限时,选出元素互不相同的序列,再选出收敛子列,显然该子列就是集合的收敛的序列) (或:用聚点定理证明。元素个数无限时,用聚点定理得到聚点的存在性,再构造一个收敛于聚点的序列) (或:用单调收敛定理证明。选出单调子列,马里兰大学Fitzpatrick所著《高等微积分》的证法)
2.聚点定理(波尔查诺-魏尔斯特拉斯): R的有界无限子集存在聚点(极限点)。 证明:用列紧定理证明。 从集合中选出一个元素互不相同的序列(因为是无限集,所以可以做到),由列紧定理得到一个收敛的子序列,显然此序列的极限是集合的聚点。 (或:用有限覆盖定理证明。假设不存在聚点,那么每个点都是孤立点,那么集合是闭集,有限覆盖定理成立。每个孤立点都存在一个不包含任何其他点的邻域,这些邻域的集合是一个开覆盖,而这个开覆盖显然不存在有限覆盖,因为点和邻域是一对一的。那么这与有限覆盖定理矛盾,所以聚点必然存在。)
3.致密性定理(波尔查诺-魏尔斯特拉斯): R的有界序列存在收敛的子序列。 证明:用聚点定理。 设 (1) X是有限集。 显然此时存在一个数a对应了无穷个下标,取出这些下标便得到一个收敛到a的常序列。 (2) X是无限集。 因为 下面证明 对于任意正数
描述实数紧性的定理: 有限覆盖定理(博雷尔-勒贝格): R中的有界闭集是紧的。 证明:用致密性定理证明。 设集合X是有界闭集。根据林德勒夫覆盖定理(见Apostol的《数学分析》),任何X的无限开覆盖可选出一个可数的开覆盖 假设 因为集合X有界,所以集合
以上各定理关系如图: 列紧↔有界 列紧闭集↔有界闭集↔紧集
附注:关于有理数集与实数集的差别 有理数集和实数集都是代数域,都是有序的,都是有度量的。 实数集实际上是在有理数集的基础上增加了一些“点”,这些“点”填充了有理数集的“空隙”。 有理数集的“空隙”体现在有理数集的: (1)柯西序列不一定收敛 (2)有界子集不一定有确界 (3)单调有界序列不一定收敛 (4)长度趋于零区间套可能没有公共点 (5)有界子集不一定能选出收敛的序列 (6)有界无限子集不一定存在聚点 (7)某些开覆盖不能选出有限覆盖 |
|
来自: 昵称50650484 > 《待分类》