实数系的连续性-实数系的基本定理

《实数系的连续性-实数系的基本定理》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、教案实数系的连续性——实数系的基本定理复旦大学陈纪修於崇华金路1．教学内容利用实数的无限小数表示，证明非空有界的实数集合必有上确界与下确界，即最小上界与最大下界。2．指导思想（1）Newton,Leibniz建立微积分以来，它在解决实际问题上的正确性与在逻辑上的不严格性的矛盾困惑了一代又一代的数学家，不少人对微积分理论产生过怀疑，直到Cauchy,Weierstrass建立了极限论的严格基础，人类科学史上最辉煌的成就之一——微积分理论的大厦才得以牢固建立。作为极限论的出发点，实数系的基本定理——实数系的连续性，在数学分析课程中占有

2、重要的地位。（2）实数系的基本定理有多种表达方式：Dedkind切割定理，确界存在定理，单调有界数列收敛定理，闭区间套定理，Bolzano-Weierstrass定理，Cauchy收敛原理和Cantor定理。这些定理是等价的，其中每一个都可以作为极限论的出发点，建立起整个极限理论。（3）传统的教材常采用Dedkind切割定理作为实数系连续性定理，并由此出发导出极限论的全部理论。但由于Dedkind切割定理过分抽象，对大学一年级学生来说难以接受，而将实数连续性作为一个公理加以承认又使人感到极限理论不够完备。我们则采用对学生来说非常熟

3、悉的实数的无限小数表示方法，直观而简明地证明了确界存在定理，既使得学生容易掌握，又使得本书的极限理论得以完备化。（4）通过本节的教学，要求使学生了解人类对数的认识的发展历史；对实数系的连续性不仅能从几何上理解，还能从分析上掌握如何加以证明；并认识正是由于实数系的连续性，才使它成为整个数学分析课程的“活动舞台”。3．教学安排（1）讲述人类对数的认识的发展历史：自然数⇒整数⇒有理数⇒实数。讲解促使这一发展历史的原因和例子。指出整数系具有离散性,有理数系具有稠密性,对于实数系，让学生先从几何上理解它的连续性：实数布满整个数轴而无“空隙”

4、。（2）先给出数集的最大数与最小数的定义：设S是一个数集，如果∃∈ξS，使得∀x∈S，有x≤ξ，则称ξ是数集S的最大数，记为ξ=maxS；如果∃η∈S，使得∀x∈S,有x≥η，则称η是数集S的最小数，记为η=minS。当数集S是非空有限集，即S只含有有限个数时，maxS与minS显然存在，且maxS是这有限个数中的最大者，minS是这有限个数中的最小者。但是当S是无限集时，情况就不同了。例如集合A={

5、xx≥0}没有最大数，但有最小数，且minA=0；集合B=≤{

6、xx0<1}没有最大数，但有最小数。注意在证明数集S没有最大数时，

7、我们采用的思路是：∀x∈S,∃x'∈S:x'>x。（3）给出数集的上确界与下确界的定义：设数集S有上界，记U为S的上界全体所组成的集合，则显然U不可能有最大数，但是U是否一定有最小数?如果U有最小数β，就称β为数集S的上确界，即最小上界,记为β=supS。由定义，可知上确界β满足下述两性质：（a）β是数集S的上界：∀x∈S，有x≤β；（b）任何小于β的数不是数集S的上界：∀ε>0，∃x∈S,使得x>β−ε。（4）叙述实数的无限小数表示：任何一个实数x可表示成x=［x］+(x)，其中［x］表示x的整数部分，(x)表示x的非负小数部分

8、。例如对x=34.,有[]x=3,(x)=04.；对x=−27.,有[]x=−3,(x)=03.。我们将(x)表示成无限小数的形式：(x)=0.aa""a,12n其中aa，，"，，a"中的每一个都是数字0，1，2，⋯，9中的一个。若(x)12n是有限小数，则在后面接上无限个0，这称为实数的无限小数表示。注意无限小数0.aa""a000(a≠0)与无限小数0.(aa"a−1)999"是相等的，为了保持12pp12p表示的唯一性，我们约定在(x)的无限小数表示中不出现后者。这样，任何一个实数集合S就可以由一个确定的无限小数的集合来表示

9、：｛a+0.aa"a"｜a=［x］,0.aa"a"=(x),x∈S｝。012n012n（5）我们通过下述方法来找出数集的上确界：设数集S有上界，则可令S中元素的整数部分的最大者为α(α一定存在，否则的话，S就不可能有上界)，00并记S=∈{

10、xxS并且[x]=α}。00显然S不是空集，并且∀x∈S，只要x∉S，就有x＜α。000再考察数集S中元素的无限小数表示中第一位小数的数字，令它们中最大0的为α，并记1S=∈{

11、xxS并且x的第一位小数为α}。101显然S也不是空集，并且∀x∈S，只要x∉S，就有x＜α+0.α。1101一般地

12、，考察数集S中元素的无限小数表示中第n位小数的数字，令它们n−1中最大的为α，并记nS=∈{

13、xxS并且x的第n位小数为α}。nnn−1显然S也不是空集，并且∀x∈S，只要x∉S，就有x＜α+0.αα⋯α。nn012n不断地做下去，我们得到一列非空