实数基本定理的相互证明.docxVIP

实数基本定理的相互证明

袁文俊

（广州大学数学与信息科学学院院，510405）

【摘要】本文给出实教理论的8个基本定理的两两相互证明。

【关键词】实教基本定理；等价性；数列；极限；收敛。

【中图分类号】O174.5【文献标识码】A

引言

实教基本定理以不同的形式刻划了实教的连续性和完备性，实教基本定理是建立与发展微积分学的基础。因此掌握这部分内容是十分必要的，特别是可通过这部分内容的学习与钻研，培养严密的逻辑思维能力。本文主要给出实教理论的8个基本定理的两两相互证明。

实数基本定理的陈述

定理1（确界原理）非空有上（下）界教集，必有上（下）确界。

定理2（单调有界原理）任何单调有界教列必有极限。

定理3（Cantor区间套定理）若｛/,b］｝是一个区间套，则存在唯一一点，使得nn

非［a,b］,n=1,2,。

定理4（Heine-Borel有限覆盖定理）设［a,b］是一个闭区间，H为［a,b］上的一个开覆盖，则在H中存在有限个开区间，它构成［a,b］上的一个覆盖。

定理5（Weierstrass聚点原理）直线上的有解无限点集至少有一个聚点。

定理6（Bolzano致密性定理）有界无穷数列必有收敛子列。

定理7（Cauchy收敛准别）教列也｝收敛=对任给的正数e，总存在某一个自然教N，使得Pm,nN时，都有Ia-；。

定理8