1 确界原理的证明
定理 1.1 (确界原理).
非空、有上界的实数集必有上确界;非空、有下界的实数集必有下确界。
十进制构造
证明. 先证上确界的存在性,并以实数的无限小数表示为基础。
任取
,将各元素加上
,集合仍有上界且含正数;
平移后集合的上确界减去
,即为原集合的上确界。
故可设
含有正数。
构造。不是
上界的非负整数构成非空有限集:
不是上界,而充分大的整数都是上界。取其中最大者
,令
。
则
不是上界,
是上界。
将区间
十等分, 在
中取最大的数字
,使
不是上界。因
不是上界,数字
至少可选。
由最大性(
时利用上一层的上界),对每个
都有
令
,则
。
这里允许末尾循环
,所以右端保留
。
验证。若存在
满足
,取
,则
矛盾,故
是上界。任取
,取
,则
由于
不是上界,存在
使
。
故任何小于
的数都不是上界,即
。 ◻
闭区间套证明
此处以闭区间套定理为前提:若非空闭区间
逐层包含,且长度趋于
,则它们恰有一个公共点。
证明. 仍设
且有上界。任取
,令
,
再取
的一个上界
。则
不是上界,而
是上界。
第一步:二分构造闭区间套。
设
已确定,取中点
,并定义
于是对所有
,都有
这些闭区间逐层包含,长度趋于
。由闭区间套定理,存在唯一实数
,使得对所有
都有
。
第二步:验证
。
若存在
满足
,取充分大的
,使
。则
从而
,与
是上界矛盾。因此
是上界。
任取
,取充分大的
,使
,则
由于
不是上界,存在
使
。
所以
是最小的上界,即
。 ◻
下确界的存在性。 若非空集合
有下界,则
有上界。 令
,则所有
都满足
。
任取
,存在
使
,即
。
故
,确界原理的另一半也得证。
2 确界的性质
命题 2.1 (最大值与上确界). 设
非空,则
证明. 若
,则
,且所有
都满足
,
所以
是上界。任取
,直接取
,
就有
。因此
是最小上界,即
。
反之,若
且
,则由上界性,
对所有
都有
,所以
。 ◻
仅有
不能推出最大值存在;还必须有
。
命题 2.2 (两个数集的确界比较). 设
均非空,且
则
有上确界,
有下确界,并且
证明. 任取
,则
是
的上界;任取
,
则
是
的下界。由确界原理,
与
均存在。
对任意
,
都是
的上界,故由上确界的最小性,
这说明
是
的一个下界。由于
是最大的下界, 因此
。 ◻
命题 2.3 (平移与正数倍). 设
非空且有上界,记
。
对任意
,定义
,则
对任意
,定义
,则
证明. (1)平移。 对任意
,有
,从而
因此
是
的上界。
任取
,则
。
由
,存在
,使
由于
,所以任何小于
的数都不是
的上界。 故
。
(2)正数倍。 由于
,对任意
,由
得
因此
是
的上界。
任取
,则
。
由
,存在
,使
由于
,所以任何小于
的数都不是
的上界。 故
。 ◻
3 课后作业
习题 1.2,第 5 题
题目:设
为非空有下界数集,证明
证明. 先设
。由下确界的下界性,
对任意
都有
。又因
,故
反之,若
有最小值,记
,则
,
且对任意
都有
,所以
是
的下界。 任取
,取
,就有
。
因此任何大于
的实数都不是
的下界,故
两向均得证,且最小值存在时必等于下确界。 ◻
习题 1.2,第 6 题(1)
题目:设
为非空数集,定义
。证明
这里按有限实数确界讨论,假设
有上界,使
存在。
证明. 记
。任取
,则
,所以
故
是
的一个下界。
任取
,则
。由
,
存在
,使得
又因
,所以任何大于
的实数都不是
的下界。 因此
是
的最大下界,即
◻
习题 1.2,第 7 题(1)
题目:设
皆为非空有界数集,定义
证明
证明. 记
,。由
非空可知,
非空。
第一步:验证上界性。
任取
,存在
、
使
。
由上确界的上界性,、,从而
所以
是
的上界。
第二步:验证它是最小上界。
任取
,则
。
由
,可取
,使
将这个不等式移项,得到
于是再由
,可取
,使
因此
且
,说明
不是
的上界。 故任何小于
的实数都不是上界,最终得到
◻
阅读 / 下载 PDF