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

有关实数系一些基本等价性质的互证 柯华忠 中山大学应用数学04级 实数系的七个基本性质的互相推证似乎不易掌握（要证次），但细细分析证明的思路，可发现一些共同的模式。但凡事有了套路都容易使人的思维产生惯性，十分不利于多角度、多侧面地认识客体。为此，本文在叙述笔者总结的模式以外，还提供几个不在模式内的证明。 I;三种模式 (i)“切” 所谓“切”，是指运用Dedekind分割的思路，根据实数连续性得到一个特殊的临界点。此思路最典型的运用非实数基本定理莫属。但考虑到实数基本定理中构造上类（或下类）往往循以下形式：B={x | x是满足性质P的数集的上界}（或A={x | x是满足性质P的数集的下界}），于是A|B所确定的唯一实数r是B的下确界（同时也是A的上确界），所以可运用实数基本定理的地方均可用确界定理处理。考虑到用确界定理叙述起来较方便，以下证明均采用确界定理。 单调有界定理和区间套定理：分别见课本P295-296 及P297 。 由此二处证明可见，证明的关键是存在性，而点的唯一性是由被证明定理本身的条件所保证的。这是一种一般性现象。除Borel有限覆盖定理外，其余六条基本性质均断言某种特殊点的“唯一存在”性质：这在实数基本定理是上类的最小值点或下类的最大值点，在确界定理是确界点，在单调有界定理是极限点，