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

一. 确界原理 实数完备性基本定理的相互证明（ 30 个） 确界原理证明单调有界定理 证 不妨设 an 为有上界的单调递增数列 . 由确界原理，数列 an 有上确界，令 a sup an ，下面证明： lim an a . n 对任意的 0 ，由上确界的定义，存在数列 an 中某一项 a N , 使得： a aN . 由于 an 单调递增 , 故对任意的 n N ，有： a an aN . 另一方面 , 由于 a 是 an 的一个上界 , 故对任意的正整数 n 都有： an a a . 所以任意的 n N ，有： a an a ，即： an a . 由极限的定义， lim an n a . 同理可证单调递减有下界的数列必有极限，且其极限即为它的下确界 . 确界原理证明区间套定理 证明：设 an , bn 是一个闭区间套 . 令数集 S an . 由于任一 bn 都是数列 an 的上界，由确界原理，数集 S 有上确界，设 supS . 下证 属于每个闭区间 an ,bn n 1,2,3, 显然， an n 1,2,3, ，故只需证明对任意正整数 n ，都有 bn . 事实上，对任意正整数 n ， bn 都是 S 的上界，而上确界是最小上界，故必有 bn . 所以存在实数 ，使得 an , bn n 1,2,3, 下证唯一性，