2016新编关于实数七个基本定理等价性的证明.docVIP

关于实数七个基本定理等价性的证明 夏小月 中山大学应用数学04级 从开始学习数学分析至今，我们共学习了七个实数基本定理，他们分别是： 戴德金连续性准则 单调有界有极限定理 确界定理 区间套定理 Borel有限覆盖定理 Bolzano-Weierstrass定理 Cauchy收敛原理 书上证明各定理的思路是：从出发证明及，并证明、、相互等价，此过程中得到：“单调上升有上界数列的极限即为数列上确界”这一加强结论。由及此加强结论可证出，再由分别证出及，由证出。 下面给出这七个实数基本定理之间相互等价的证明，大概思路如下： 详细证明如下： 已知有区间套满足，。要证存在唯一的，且 记全体上界组成的集合为，。由，知。显然，，且，故知不空；由知不漏；，由于不是的上界，因此存在，使。而是上界之一，所以，故，即，故不乱，因此构成实数的一个分划。 由知，存在唯一的r，，有。下证，即 若，使，则，因此，而，与矛盾。。 同样，若，使，则，因此，而，与矛盾。。 也即。 下证： 时， ，即 最后证明是唯一的，若，使，由知，令得矛盾，至此区间套定理得证。 已知实数分划，求证存在唯一的使，。 任取，用中点二等分，若，则记，否则记；再用中点二等分，若，则记，否则记。……如此进行下去得一区间序列，显然，且。因此为区间套。由知，存在唯一的满足，且。。 下证，，用反证法： 若存在，使，则取 ， 时，。这与是实数分划