一.确界原理.docVIP

题目 实数完备性基本定理的部分相互证明 姓名与学号 张曦 3130103416 陈素云 3130104567 葛宇昊3130103427 冯佳韵 3130103422 钟碧莹 3130000134 黄茹冰 3130000359 指导教师 苏德矿 年级与专业 人文社科实验班1301 所在学院 竺可桢学院 实数完备性基本定 理的部分相互证明 摘要： 这些定理虽然出发的角度不同，但描写的都是实数连续性这同一件事，它们之间是相互等价的，即任取其中两个定理，它们可以相互证明。它们在证明过程中相互联系。对同一个定理的证明，虽然不同的定理作为工具会使证明有简繁之分，有的用的是类似的证明方法，有的出发点与站的角度不同，但最后却都能殊途同归。而有时使用同一个定理，也可能有不同的方法。即使方法相同，还可以有不同的细节。作为工具，它们又各具特点。而这些都是值得我们去注意与发现。 一.确界原理 确界原理证明单调有界定理 证 不妨设{ an}为有上界的递增数列.由确界原理,数列{ an }有上确界,记 a = sup{ an}.下面 证明a 就是{ an} 的极限. 事实上,任给ε 0, 按上确界的定 义,存在数列{ an }中某一项aN , 使得a - ε aN .又由{ an}的递增性,当n≥ N 时有a - ε aN ≤ an. 另一方面,由于a 是{ an}的一个上界,故对一切an 都有an ≤ a a + ε.所以当 n≥ N 时有 a - ε an a + ε, 这就证得 an = a.同理可证有下界的递减数列必有极限,且其极限即为它的下确界.  确界原理证明有限覆盖定理 即闭区间［ａ，ｂ］的任一开覆盖Ｈ 都有有限的子覆盖 证① 令Ｓ ＝｛ｘ｜ａ＜ｘ ≤ｂ，［ａ，ｘ］能被Ｈ 中有限个开区间覆盖｝； ②显然Ｓ有上界 因Ｈ 覆盖闭区间［ａ，ｂ］，所以，存在一个开区间（α，β）∈Ｈ 使ａ ∈ （α，β） 取ｘ ∈（α，β），则［ａ，ｘ］能被Ｈ中有限个开区间覆盖 从而，ｘ ∈Ｓ，故 Ｓ 非空； ③ 由确界原理存在ζ＝ｓｕｐＳ； ④ 现证ζ＝ｂ 用反证法 若ζ≠ｂ，则ａ＜ζ＜ｂ 由Ｈ 覆盖闭区间［ａ，ｂ］，一定 存在（α１，β１）∈Ｈ，使ζ∈（α１，β１） 取ｘ１，ｘ２使α＜ｘ１＜ζ＜ｘ２＜β１ ，且ｘ１∈Ｓ 则［ａ，ｘ１］能被Ｈ 中有限个开区间覆盖，把（α１，β１）加进去，就 推得ｘ２∈Ｓ 这与ζ ＝supＳ 矛盾，故ζ＝ｂ，即定理结论成立  确界原理证明聚点定理 证 设 S 是直线上的有界无限点集，则由确界原理有????sup S,????inf S 。若?,??中有一点不是 S 的孤立点，则显然就是 S 的一个聚点。 否则，令 E :??{x ??R S 中仅有有限个数小于 x}。显然 E 非空且有上界。令?????sup E ，则由 E 的构造方法可知，?????0必有??????????E ，即 S 中有无限个数小于????????大于????。(???????,???????)  确界原理证明Cauchy收敛 准则 即数列｛ｘｎ｝收敛 ?ε＞０，?Ｎ，当ｎ，ｍ ＞Ｎ 时有｜ｘｎ－ｘｍ｜＜ε 必要性:略 充分性: 构造非空有界数集Ｓ，因为欲证明数列｛ｘｎ｝收敛，故数集Ｓ 必须含有数列｛ｘｎ 中的无 限多个数，为此，令Ｓ ＝ ｘ｜｛（－∞，ｘ）∩｛ｘｎ｝是空集或有限点集｝； ②由于满足Cauchy 收敛准则充分条件的数列是有界的，故知数列｛ｘｎ｝的下界ａ∈Ｓ，上界ｂ也是Ｓ 的上界,所以 Ｓ 是非空有上界的数集 由确界原理数集Ｓ 有上确界ζ＝supＳ； 对ε＞０，（－∞，ζ）∩｛ｘｎ｝是无限点集，否则，就与ζ＝supＳ矛盾 因（－∞，ζ-ε）∩｛ｘｎ｝至多含有｛ｘｎ｝的有限多个点 故（ζ－ε，ζ＋ε）含有｛ｘｎ｝ 的无限多个点 设ｘｎｋ ∈（ζ－ε，ζ＋ε），ｋ＝１，２，?，且ｎ１＜ｎ２＜ ? 取Ｎ１＝max｛Ｎ，ｎ１｝，则当ｎ＞Ｎ１时，总存在ｎｋ ＞Ｎ１使 ｘｎ－ζ ≤ ｜ｘｎ－ｘｎ ｋ｜ ＋ ｜ｘｎｋ－ζ ｜＜２ε， 因此 ｘｎ＝ζ．  二.单调有界定理 单 调有界定理证明确界定理 证：我们不妨证明非空有上界的数集Ｓ必有上确界 (1