关于实数系完备性的七个等价命题的证明.pdf

维普资讯 每 冢 巧 第 l9卷第3期 西安地质学院学报 VoLl9 No．3 1996年 9月 JOURNALOFXIANCOLLEGEOFGEOLOGY Sep． 1997 ／7／ 关于实数系完备性的七个等价命题的证明 周 明 (西安工程学院基葺部，西安710054) 在数学分析的理论中，有这样七个龠题即： 命题一 任何由实数构成的基本序列都收敛； 命题= 单调有界序列必收敛 ‘ 命题三 有上(下)界的序列必有上(下)确界 ‘ 命题四 有界序列必至步有一收敛子列； 命题五 实数的分軎I都是有隙的； 命题六 有一列 ，，61]3 [如，62]3……3 [d．，6-]3 ……，且 一a．一O，则盛有且只有一点 ，使 ∈ ， ]对一切n成立} 命题七 在闭区间的任何开复盖中必可选出有限个开区间加以复盖。 这 七个命题也是数学分析的最基本的定理，由这些定理可以得出数学分析中许多重要的结论，因此这七 个定理是数学分析的理论基础。然而我们可以证明在实数系中，这七个龠题是相互等价的。下面就来证明这七 个命题的等价性。为了简便清晰起见，证明路线见框图。 压日 一压固 一压固 一压圃 一圃 一田 - 困 一困 一困 附图 证明七个龠题的等价性路线框图 证明：命题一一龠题=。 实数基本列就是指对一实数序列{)若它j霸足v o，jN，当 Ⅳ时，有 ld一d．1 或 la。一 dl十．1e对一切正整数P成立，则称{a．)为一基本序列。 设 {a．》为一单调有界序列，不持设a．≤a．+≤M， 盎 l，2，…)，要证 {d)是收敛的，只要证明{d)是基 本序列即可。 假设{a．)不是基本序列，剜存在某一正数 ，对任一m不能使 ld．一d+，l 对一切户(正整数)成立， 所以 。，对于 。有n，，使 l 一d-il≥ ，31 t对n1有 ，使 lⅡ．1一。，l≥ ，啦nl，设r是正整数t对斯一L 有 嘶使 l。～1一ml≥ 啦一l，园ta)单增有界 ，于是a，≥n．』 ≥…… ≥a耳0+ ，取Z充分大，可 一 使。 + M，所IV, M，这与{a．)有界矛盾，故 {a．)为一基本序刊。再由命题一知 {a．)收敛． 命题=一命题六。 设一无穷区间刊{ ，6^])适舍下面两个条件： (1)后一区间在前一区间之内，即对任一正整数n，有a．≤a+6-+，≤ } 维普资讯 ll2 西安地质学院学报 19卷 (2)当n一。。时．区间列的长度(6-一d．)所成的散刊收敛于零t即llm(以一a)一0。 现证区间的端点所成两散刊{a．)及f6-)收敛于同一极限}t且 }是所有区间的唯一公共点。 由条件(1)知{Ⅱ．)是单调增加有上界的散列，{以)是单调减少有下界的散列+根据命题=，{4．}、{b．)的极 限都存在，也即对任何正整散 有a≤lirad．， ≥1im +因{d)、{6-)的极限都存在，由条件(2)则有llm(b． t ● t ● ∞