单调有界定理的康托实数定义之证明.pdfVIP

1997年第3期 (台总第97期) ‘自格科学第 15卷第 l期 (总第25期)) 衡阿师专学报 NO3 1997，(CombinedSum 97) JouamalofHengyangTeachersCollege (Natura／ScienceVo1．15 N01) 7j一7 单调有界定理的康托实数定义之证明 曹 恒 0门／ 衡‘阳师专薮李票—磊雨 ，42l0o8) 摘 要 根据实数的康托定义，证明了实数的完备性定理之一——单调有界定理 。 关键词 ． 邀的鏖堑枣墨 苎塑直墨童垄 分类号 O17 众所厨知，单调递增有界的有理数列{f1+J。}在有理数集上不存在极限。而在实数 集上存在极限，这说明有理数集对于极限运算不一定封闭 。 但单调有界的实数列在实数集上 存在极限，这就是数学分析中有名的单调有界定理 。 本文根据实数的康托定义来证明该定 理，同时也直接证明了实数集的完备性。 1 实数的康托定义 定义1 设{z)是有理数序列，如果Ve0，jN∈N，V ，Ⅳ，有 lz一 le 则称{。)是一个有理数基本序列。 m 定义2 设{。)、{弘)都是有理数基本序列，如果li — (‘一弘)=0，则称{‘)和{．)是 o。 等价的，记作{z)～{}。 由[1]知，关系 ～”是一个等价关系。 定义3 (实数的康托定义)有理数基本序列的集合u按等价关系“～一划分的每一个等 价类称为一个实数。 如果用字母n、卢、7…表示实数，则有理数基本序列{z}是实数 的代表 ， 当且仅当{“) ∈d。 若r是一个有理数，则每一项都等于r的序列{rI)谢定了一个U的等价类 ，这个类里的 任一个有理数基本序列都以r为极限。该等价类可看作由r产生的 ，它确定的实数为有理实 收稿 日期I1997—03—10 74 蠢用师专学报(自搀科学) 第 15卷 数，记为 。 若有理数基本序列{rHl没有有理数的极限，则以它为代表的等价类所确定的实数为无 理实数 从[1]还知，实数集(域)不仅满足四则运算法则，而且还是一个阿基米德有序域，并且有 理实数在实数中仍然是 “无处不在”，还有下面结果： 定理 若有理数基本序列 )∈ ．则limr．~ 。 定义4 设{Pl是一个实数序列，如果VEO，jN∈N，Vmn·Ⅳ，有 }P～ I￡ 则称{)是一个实数基本序列 2 单调有界定理的证明 定理 1 单调有界序列存在极限 证明 仅证明单调递增序列的情形 设{)是单调递增有界的实效序列 则存在 O，使得