大附录目录.docVIP

极限论—实数-函数-极限-连续 第二版 139 第六章 闭区间的连续函数 §1 反映实数系完备性定理的补充 实数系完备性定理主要指以下定理： 1817年，波尔查诺(B.Bolzano, 1781-1848)提出的“确界原理”； 1817年，波尔查诺和19世纪60年代魏尔斯特拉斯提出的“聚点 定理”； 1821年,柯西(A.-L.Cauchy, 1789-1857)提出的“收敛准则” 1860年代，魏尔斯特拉斯提出的“单调有界原理” 1872年，海涅(H.E.Heine, 1821-1881)和1895年波莱尔 (E.Borel,1871-1956)提出的“有限覆盖定理”； 1872年，戴德金提出的“分割理论”； 1892年，巴赫曼(S.Bachman, 1837-1920)提出的“区间套定理”。 这些定理都反映了实数系的完备性，并且它们是互相等价的。本书第一章介绍了最界（确界）存在定理，第三章介绍了单调有界数列极限存在定理与柯西数列极限存在准则。本节补充介绍闭区间套定理、有限覆盖定理与聚点定理。 闭区间套定理 定理1 （闭套缩定理） 设有一串无穷多个闭区间，满足条件 ⑴ 套：； ⑵ 缩：； 则存在唯一的公共点，。□ 注1、定理的结论的一个等价表示是：满足本定理条件一串无穷多个闭区间的交集是独点集，即 注2、本定理的成立，“闭”、“套”、“缩”三者缺一不可。解释如下： 140 第六章 闭区间的连续函数 §1反映实数系完备性定理的补充 “闭” 举个反例：一串无穷多个半开半闭区间 显然满足“套”与“缩”两条件，但是，这一串无穷多个开区间没有公共点。 “套” 举个反例：一串无穷多个区间 显然满足“闭”与“缩”两条件，但是，它们没有公共点。 “缩”在于保证公共点的唯一性；反例：一串无穷多个区间 （满足“闭”与“套”！）有无穷多个公共点，而不是唯一的点。 注3、区间套定理同样反映了实数系的完备性。比如，若实数中没有数0 ，则一串闭区间 虽然满足“闭”、“套”、“缩”三个条件，但是没有公共点。 定理1的证明 本定理用最界（确界）定理证明，或用单调有界数列收敛定理证明都很方便。为了完成诸多反映实数系完备性定理的等价性证明，这里采用柯西数列收敛定理证明如下： 首先证明闭区间套左端点形成的数列是柯西数列。这是因为数列单调不减并有上界（任何一个都是它的上界），由于第三章练习题59，所以满足柯西数列收敛定理的条件。设；并由单调性及极限的不等性定理知道 。 若另有，则 可见。即有唯一的点，。□ 极限论—实数-函数-极限-连续 第二版 141 1-2有限覆盖定理 定义 ⑴（集族覆盖集合的定义） 设是以集合为元素的集合（也 称为集合的族），是一个集合.如果对于任意,总存在,使得，则称覆盖; ⑵ （集族有限覆盖集合的定义）设是以集合为元素的集合，是一个集合,并设覆盖.如果中存在有限多个元素(设为个)同样覆盖,即存在,使得对于任意的,总存在,使得,也就是 。 则称有限覆盖.□ 定理2 （有限覆盖定理） 设是以开区间为元素的集合覆盖闭区间,则有限覆盖.□ 注1、本定理成立的条件是：无穷多个“开”区间的集合覆盖了一个“闭”区间.否则，定理的结论（有限覆盖闭区间）不成立。如 无穷多个闭区间 的族覆盖了闭区间=，但不能有限覆盖=. 无穷多个开区间 的族覆盖了开区间=，但不能有限覆盖=. 注2、本定理同样反映了实数集合的完备性。例如，在集合上，是闭区间。开区间族 ，，…，，… 142 第六章 闭区间的连续函数 §1反映实数系完备性定理的补充 覆盖了闭区间，但不能有限覆盖. 注3、如果把本定理的结论理解为“有限个开区间覆盖一个闭区间”，则是断章取义的错误。本定理从一个新的侧面反映了实数的完备性。 为了正确并深入理解本定理的作用，特别安排在本定理证明之前，先用本定理证明“闭区间连续函数的有界性”，即用有限覆盖定理证明下面的 辅助定理 若函数在闭区间连