有关实数系些基本等价性质的互证.docVIP

有关实数系一些基本等价性质的互证 柯华忠 中山大学应用数学04级 实数系的七个基本性质的互相推证似乎不易掌握（要证 SKIPIF 1 0 次），但细细分析证明的思路，可发现一些共同的模式。但凡事有了套路都容易使人的思维产生惯性，十分不利于多角度、多侧面地认识客体。为此，本文在叙述笔者总结的模式以外，还提供几个不在模式内的证明。 I;三种模式 (i)“切” 所谓“切”，是指运用Dedekind分割的思路，根据实数连续性得到一个特殊的临界点。此思路最典型的运用非实数基本定理莫属。但考虑到实数基本定理中构造上类（或下类）往往循以下形式：B={x | x是满足性质P的数集的上界}（或A={x | x是满足性质P的数集的下界}），于是A|B所确定的唯一实数r是B的下确界（同时也是A的上确界），所以可运用实数基本定理的地方均可用确界定理处理。考虑到用确界定理叙述起来较方便，以下证明均采用确界定理。 eq \o\ac(○,1)单调有界定理和区间套定理：分别见课本P295-296 及P297 。 由此二处证明可见，证明的关键是存在性，而点的唯一性是由被证明定理本身的条件所保证的。这是一种一般性现象。除Borel有限覆盖定理外，其余六条基本性质均断言某种特殊点的“唯一存在”性质：这在实数基本定理是上类的最小值点或下类的最大值点，在确界定理是确界点，在单调有界定理是极限点，在区间套定理是公共点，在致密性定理是某子列的收敛点，在Cauchy收敛准则是极限点。对这些定理的证明的关键是推出上述特殊点的存在性，而唯一性总可由定理本身的约束条件得到。这从一个侧面反映了这些实数基本性质不外是对实数这一对象的不同角度的描述而已。 eq \o\ac(○,2)Borel定理 设 SKIPIF 1 0 是 SKIPIF 1 0 的一个覆盖。设B= SKIPIF 1 0 x SKIPIF 1 0 | SKIPIF 1 0 有E的有限子覆盖 SKIPIF 1 0 。由于 SKIPIF 1 0 Ea SKIPIF 1 0 s.t. SKIPIF 1 0 Ea，故在a右侧有B中元素，即B非空。设 SKIPIF 1 0 =supB, 下证 SKIPIF 1 0 b不成立。否则 SKIPIF 1 0 0, SKIPIF 1 0 0，s.t. SKIPIF 1 0 - SKIPIF 1 0 + SKIPIF 1 0 。不妨设 SKIPIF 1 0 = SKIPIF 1 0 - SKIPIF 1 0 , SKIPIF 1 0 SKIPIF 1 0 , 则 SKIPIF 1 0 SKIPIF 1 0 。由B的构造知 SKIPIF 1 0 有E的有限子覆盖 SKIPIF 1 0 ，则 SKIPIF 1 0 构成了 SKIPIF 1 0 上的一个有限覆盖，这与 SKIPIF 1 0 矛盾。故 SKIPIF 1 0 ，则 SKIPIF 1 0 构成 SKIPIF 1 0 的一个有限子覆盖。因此命题成立。 此处证明使用了反证法。细细分析证明Borel定理或用Borel定理证明的处理思路，都用上了反证法。原因是其余六条基本性质均是局部性质，而Borel定理描述的是整体性质（均对闭区间而言）。由局部推整体困难，但由被否定的整体推被否定局部则相对简单；由整体推局部殊不简单，但由被否定的局部推被否定的整体则不那么困难。因此，认为Borel定理是其余六条基本性质的逆否形式是合理的。 eq \o\ac(○,3)致密性定理和Cauchy收敛准则 下证致密性定理。设序列 SKIPIF 1 0 有界，则 SKIPIF 1 0 。设 SKIPIF 1 0 中只含 SKIPIF 1 0 的有限项或不含 SKIPIF 1 0 的任意项 SKIPIF 1 0 。由于 SKIPIF 1 0 中不含 SKIPIF 1 0 的任意项，故B非空。设 SKIPIF 1 0 ，则 SKIPIF 1 0 中总含 SKIPIF 1 0 的无穷项。对 SKIPIF