实数连续性公理证明确界存在定理.docVIP

实数的连续性公理证明确界存在定理 定理一 ?实数基本定理（戴德金实数连续性定理）实数系R按戴德金连续性准这是连续的，即对R的任意分划A|B，都存在唯一的实数r，它大于或等于下类A的每一实数。小于或等于上类B中的每一个实数。定理二 ?单调有界有极限 单调上升（下降）有上（下）界的数列必有极限存在。定理三 ?确界定理 在实数系R内，非空的有上（下）界的数集必有上（下）确界存在。定理四 ?区间套定理 设 是一个区间套，则必有唯一的实数r，使得r包含在所有的区间套里，即 。定理五 ?Borel有限覆盖定理 实数闭区间 的任一个覆盖E，必存在有限的子覆盖。定理六 ?Bolzano-Weierstrass紧致性定理 有界数列必有收敛子数列。定理七 ?Cauchy收敛原理 在实数系中，数列 有极限存在的充分必要条件是：任给 0，存在N，当nN，mN时，有 。? 定理一 — 三是对实数连续性的描述，定理四 — 定理六是对实数闭区间的紧致性的描述，定理七是对实数完备性的描述。上述七个定理都描述了实数的连续性（或称完备性），它们都是等价的。下面给出其等价性的证明：定理一 定理二：设数列 单调上升有上界。令B是 全体上界组成的集合，即B= ，而A=R\B,则A|B是实数的一个分划。事实上，由 有上界知B不空。又 单调上升，故 ，即A不空。由A=R\B知A、B不漏。又 ，则 ，使 ，即A、B不乱。故A|B是实数的一个分划。根据实数基本定理，存在唯一的 使得对任意 ，任意 ，有 。下证 。事实上，对 ，由于 ，知 ，使得 。又 单调上升。故当nN时，有 。注意到 ，便有 。故当nN时有，于是 。这就证明了 。若 单调下降有下界，则令 ，则 就单调上升有上界，从而有极限。设极限为r，则。定理二证完。定理二 定理三：只需证明在实数系R内，非空的有上界的数集必有上确界存在。设数集X非空，且有上界。则 ，使得对 ，有 。又 R是全序集， 对 ，与 有且只有一个成立。故 ,有 与 有且只有一个成立。故r是X的上界与r不是X的上界有且只有一个成立。 X有上界， 实数是X的上界。若不存在实数不是X的上界，则由上知， 实数都是X的上界，这显然与X非空矛盾。故 ，使得 不是X的上界， 是X的上界。则 使得 。用 的中点 二等分 ，如果 是X的上界，则取；如果 不是X的上界，则取 。继续用二等分 ，如果 是X的上界，则取 ；如果不是X的上界，则取 。如此继续下去，便得到两串序列。其中 都不是X的上界且单调上升有上界（例如 ）， 都是X的上界且单调下降有下界（例如 ）。并且 （当 时）。由 单调上升有上界知有 存在，使得 。下证 。①事实上 ， 对， ，当 时有 。又 都不是X上界 对每一个 ，，使得 。故对 ， ，使得 。②若，使得 ，则由 知 。故，使得 。又 都是X的上界，故对 有 。而 ，故 ，这是不可能的。故对 ，有 。综上①、②即有 。即X有上确界存在。定理三 定理四：由条件知集合 非空，且有上界（例如 ）。故由确界定理知A有上确界，记为 。则对 ，有 。同理可知集合有下确界，记为 。则对 ，有 。又 ，由上可知 。 两边取极限，令 有 。又显然 。否则由于 是A的上确界，则 ，使得 ；同理 ，使得 ，则有。又由区间套的构造可知，对 ，记k=max（n,m），则有。故有 ，矛盾。故必有 。故 ，记为r。则对 ，有 。下证具有这一性质的点是唯一的。用反证法，如果还有另一 ，使得。由于 对一切n成立，故 ,令，得 ，与 矛盾。故这样的r是唯一的，即存在唯一的实数r，使得r包含在所有的区间里，即 。定理四 定理五：用反证法。设E是区间 的一个覆盖，但 没有E的有限子覆盖。记 ，二等分 ，则必有一区间没有E的有限子覆盖（否则把两区间的E的有限子覆盖的元素合起来构成一新的集合E’,则E’是 的E的有限子覆盖，即 有E的有限子覆盖与反证假设矛盾），记其为 。二等分 ，则必有一区间没有E的有限子覆盖，记为 。如此继续下去，得到一组实数的闭区间序列，满足(i) ；(ii) 。故 构成一个区间套，且每个 都没有E的有限子覆盖。则由区间套定理有存在唯一的实数r，使得 。又 由覆盖的定义有 ，使得 ，即 。又由上区间套定理的证明可知 ，其中 。故 ，使得 ， ，使得 。设 ，则，即有 覆盖 。这与 没有E的有限子覆盖的构造矛盾，故 必有E的有限子覆盖。定理五 定理六：设数列 有界，即实数 a,b，且ab，有 。用