关于实数理论的几点思考(精)

关于实数理论的几点思考数学与应用数学专业04级郑维坚

请证明

两者的

等价性

这对实数系来说，当然是这样。但前三条都与实数系的“序”有关，而柯西列却与“序”无关，所以完备性不叫连续性一、实数理论的引入

实数理论的引入是具有其历史必然性的。尽管牛顿、莱布尼兹早在十七世纪时便建立了微积分的演算体系，但这套微积分的概念与演算，是以直观的基础的，概念并不准确，推导公式有明显的逻辑矛盾。直至19世纪，矛盾已积累到非解决不可的程度，于是在这种形势下，实数理论作为极限理论的坚实基础被引入了，并使微积分的演算体系严格化。

（以上内容参考了《数学分析简明教程》）

二、实数系各种性质的等价表述概论

经过这几个月来的学习，我对实数理论有了一些自己的体会。我认为，对实数系中与实数有关的各种性质（如实数连续性、完备性、实数闭区间的紧致性，连通性等）的描述，无外乎有两种方式：一种是用集合的观点来阐述，如戴德金分划，非空有上界的实数子集有上确界、有限覆盖定理、区间套定理及聚点定理，另一种是用序列的观点来描述，如有理数基本列的等价类，单调上升有上界的序列有极限，紧致性定理以及柯西收敛原理。

1、实数的连续性

对于数系的连续性戴德金是这样定义的：如果一个有大小顺序的稠密的数系S，它的任一个分划都有S中唯一的数存在，它不小于下类中的每一个数，也不大于上类中的每一个数，那么称数系S是连续的。

以上的定义是通过集合（即下类与上类）来表述的，不过我觉得也能按照康托的思路用序列的方式加以定义，即对于一个有大小顺序的稠密数系S，若所有（有理数）基本列的等价类与S中的所有数一一对应，则称S是连续的。

言归正传，实数连续性是极限理论的基础，微积分正是在实数系这样一个连续的数系中才有了大显身手的舞台。

关于实数连续性的等价描述共有三种：

(1) 对于实数系的每一个分划A∣B，存在唯一的实数r，使得对任意a ∈A，b∈B,有a≤r≤b

(2) 非空有上界的实数子集必有上确界存在。

(3) 单调上升有上界的实数列必有极限存在。

[我认为其实柯西收敛原理也反映了实数连续性，而且如果我先前补充的定义可行的话，则康托对实数的定义“每一个（有理数）基本列的等价类都代表一个实数”也可视为实数连续性的一种描述，不过它是建立在另一种定义之上的]

下面谈谈我对这三个等价描述的理解：

（1）很直观的描述了实数连续性。

（2）（3）的表述则较为“含蓄”一些，

其实（2）与（3）描述实数连续性的思路是一样的，即表明实数系在数轴上的任何地方都没有空隙，二者所不同的只是（2）从集合的角度来描述，而（3）从序列的角度来表述。

课本中已证明了（1）⇔（2），（1）⇔（3）及（2）⇒（3），现在证明（3）⇒（2）。

设M为实数子集E的上界，来证明r = supE∈R。若有E最大值，则此最大值即为上确界。若E无最大值，任取x0∈E，将[x0，M]二等分，若右半区间含有E中的点，则记右半区间为[a1, b1],否则就记左半区间为[a1,b1]。然后将[a1,b1]再二等分，用同样的方法选出[a2,b2]，如此无限分下去，我们便得到一个闭区间的集合{[a n ,b n]}，同时得到两串序列{a n}，{b n}，其中{a n}单调上升有上界（如b1）, {b n}单调下降有下界（如a1），且b n– a n = ( b1 –a1 ) / 2n →0(n→∞时）。由单调上升有上界知有r存在，

使得r = lim

n→∞a n , 又b n=a n + ( b1 – a1 ) / 2n 知

对任意r∈[a n , b n] (对任意n) ，又由于{a n}单调上升，r = lim

n→∞a n≥a n . 若

存在k∈N , s.t. E中有一点x1∈[r, b k],则按二等分法的规则，a k > r , 这与

r≥a n(对任意n) 相矛盾。所以E中任何一点x ≤ r.又由lim

n→∞a n= r知对任意

ε，存在N，s.t. ∣a N–r∣<ε⇒a N > r–ε.这也就是说存在x2∈E，s.t.x2≥

a N > r–ε.于是就证明了r 是E的上确界。

2、实数闭区间的紧致性

紧致性是点集拓扑中的概念，它是用来描述一类集合的，在R k中，集合E是紧致的⇔ E是闭且有界的⇔ E的每个无限子集在E内有极限点。实数闭区间是R中既闭且有界的集合，因此实数闭区间具有紧致性，这是实数开区间所不具备的一个性质。

（以上关于紧致性的介绍参考了Rudin的《数学分析原理》）

对于实数闭区间的紧致性，我们也可以从集合与序列的角度分别加以描述。

(1) 紧致性定理是从序列的角度来描述实数闭区间紧致性的，下面用紧致

性定理证明单调上升有上界的实数列有极限。

设{Xn}单调上升有上界，由紧致性定理，{ Xn }存在收敛子序列{ Xn k },

设a = lim

k→∞Xn k

∵{ Xn }单调上升，{ Xn k }为其子序列

∴对任意n > n1 , ∃k, s. t. Xn

k

≤Xn ≤ Xn k+1

∵n →∞时k →∞

∴由夹逼性定理知lim

n→∞Xn存在且等于a

(2) 区间套定理与有限覆盖定理是从集合的角度来描述实数闭区间紧致性

的。

我个人觉得这两个定理是作为一对矛盾而对立统一地存在的，理由如下：①有限覆盖定理中描述紧致性的工具是开区间，而区间套定理描述紧致性的工具是闭区间。闭区间与开区间本身便是一对矛盾，对立而统一的。

②有限覆盖定理说的是有限个小的开区间覆盖住一个大的闭区间，其功能在于把每一点的局部性质转化到整个闭区间上，这即是由局部到整体的思想；而区间套定理说的是一个大区间里套一个小区间，小区间里再套一个小小区间，如此下去，最后套出一个点来，其功能是由点集的整体性质得出某一点的局部性质，这即是由整体到局部的思想。

从以上两点来看，有限覆盖定理与区间套定理是非常辩证地联系在一起的。

尽管这两个定理归根到底都是运用集合的语言阐述闭区间的紧致性（这正是它们的“统一”之所在），但在实际应用时，我们却可通过它们相互“对立”的方面来判断对于一个命题证明用哪一个定理更方便。

1。对于那些由整体到局部的命题常常适合用区间套定理来证明。如

确界定理、单调有界原理、柯西收敛原理的充分性、紧致性定理、

聚点原理都属于这一类型，它们都指出，在某一条件下，作为整

体的实数闭区间中有某种“点”存在（这种“点”包括确界点，

极限点，收敛点以及聚点）

下面举几个例子

①用区间套定理证明非空有界的实数子集必有上确界：