实数系的连续性--实数系的基本定理
教案
实数系的连续性——实数系的基本定理
旦 大 学 陈纪修 於崇华 金路 复
1. 教学内容
利用实数的无限小数表示,证明非空有界的实数集合必有上确界与下确界,即最小上界与最大下界。
2. 指导思想
(1) Newton , Leibniz 建立微积分以来,它在解决实际问题上的正确性与在逻辑上的不严格性的矛盾困惑了一代又一代的数学家,不少人对微积分理论产生过怀疑,直到Cauchy , Weierstrass 建立了极限论的严格基础,人类科学史上最辉煌的成就之一——微积分理论的大厦才得以牢固建立。作为极限论的出发点,实数系的基本定理——实数系的连续性,在数学分析课程中占有重要的地位。
(2) 实数系的基本定理有多种表达方式:Dedkind 切割定理,确界存在定理,单调有界数列收敛定理,闭区间套定理,Bolzano-Weierstrass 定理,Cauchy 收敛原理和Cantor 定理。这些定理是等价的,其中每一个都可以作为极限论的出发点,建立起整个极限理论。
(3) 传统的教材常采用Dedkind 切割定理作为实数系连续性定理,并由此出发导出极限论的全部理论。但由于Dedkind 切割定理过分抽象,对大学一年级学生来说难以接受,而将实数连续性作为一个公理加以承认又使人感到极限理论不够完备。我们则采用对学生来说非常熟悉的实数的无限小数表示方法,直观而简明地证明了确界存在定理,既使得学生容易掌握,又使得本书的极限理论得以完备化。
(4) 通过本节的教学, 要求使学生了解人类对数的认识的发展历史;对实数系的连续性不仅能从几何上理解,还能从分析上掌握如何加以证明;并认识正是由于实数系的连续性,才使它成为整个数学分析课程的“活动舞台”。
3. 教学安排
(1) 讲述人类对数的认识的发展历史:
自然数⇒整数⇒有理数⇒实数。
讲解促使这一发展历史的原因和例子。指出整数系具有离散性, 有理数系具有稠密性, 对于实数系,让学生先从几何上理解它的连续性:实数布满整个数轴而无“空隙”。
(2) 先给出数集的最大数与最小数的定义: 设S 是一个数集,如果∃ξ∈S ,
有x ≤ξ,则称ξ是数集S 的最大数,记为ξ=max S ;如果∃η∈S ,使得∀x ∈S ,
使得∀x ∈S , 有x ≥η,则称η是数集S 的最小数,记为η=min S 。
当数集S 是非空有限集,即S 只含有有限个数时,max S 与min S 显然存在,
且max S 是这有限个数中的最大者,min S 是这有限个数中的最小者。但是当S 是无限集时,情况就不同了。例如 集合A ={x |x ≥0}没有最大数,但有最小数,
0;集合B ={x |0≤x
注意在证明数集S 没有最大数时,我们采用的思路是:∀x ∈S , ∃x ' ∈S :x ' >x 。
(3)给出数集的上确界与下确界的定义:设数集S 有上界,记U 为S 的上界全体所组成的集合,则显然U 不可能有最大数,但是U 是否一定有最小数? 如果U 有最小数β,就称β为数集S 的上确界,即最小上界, 记为
β = sup S 。
由定义,可知上确界β满足下述两性质:
(a )β是数集S 的上界:∀x ∈S ,有x ≤β;
(b ) 任何小于β的数不是数集S 的上界:∀ε>0,∃x ∈S , 使得x >β−ε。 (4)叙述实数的无限小数表示:任何一个实数x 可表示成
x =[x ]+(x ) ,
其中[x ]表示x 的整数部分,(x ) 表示x 的非负小数部分。例如对x =3. 4, 有
[x ]=3, (x ) =0. 4;对x =−2. 7, 有[x ]=−3, (x ) =0. 3。我们将(x ) 表示成无限小数的形式:
(x ) = 0. a 1a 2 a n ,
其中a 1,a 2, ,a n , 中的每一个都是数字0,1,2,…,9中的一个。若(x ) 是有限小数,则在后面接上无限个0,这称为实数的无限小数表示。注意无限小数0. a 1a 2 a p 000 (a p ≠0) 与无限小数0. a 1a 2 (a p −1) 999 是相等的,为了保持表示的唯一性,我们约定在(x ) 的无限小数表示中不出现后者。这样,任何一个实数集合S 就可以由一个确定的无限小数的集合来表示:
{a 0+0. a 1a 2 a n |a 0 =[x ], 0. a 1a 2 a n = (x ), x ∈S }。
(5)我们通过下述方法来找出数集的上确界:设数集S 有上界,则可令S 中元素的整数部分的最大者为α0(α0一定存在,否则的话,S 就不可能有上界) ,并记
S 0={x |x ∈S 并且[x ]=α0}。
显然S 0不是空集,并且∀x ∈S ,只要x ∉S 0,就有x <α0。
再考察数集S 0中元素的无限小数表示中第一位小数的数字,令它们中最大的为α1,并记
S 1={x |x ∈S 0并且x 的第一位小数为α1}。
显然S 1也不是空集,并且∀x ∈S ,只要x ∉S 1,就有x <α0+0.α1。 一般地,考察数集S n −1中元素的无限小数表示中第n 位小数的数字,令它们中最大的为αn ,并记
S n ={x |x ∈S n −1并且x 的第n 位小数为αn }。
显然S n 也不是空集,并且∀x ∈S ,只要x ∉S n ,就有x <α0+0.α1α2…αn 。 不断地做下去,我们得到一列非空数集S ⊃S 0⊃S 1⊃…⊃S n ⊃…,和一列数α0,α1,α2,…,αn , …,满足
α0∈Z ;
αk ∈{0,1,2, …,9},∀k ∈N 。
令
β = α0+0.α1α2…αn …,
这就是我们要找的数集S 的上确界。
(6)我们分两步证明β就是数集S 的上确界。
∀x ∈S ,或者存在整数n 0≥0,使得x ∉S n 0;或者对任何整数n ≥0, (a )
有x ∈S n 。若x ∉S n 0, 便有
x <α0+0.α1α2…αn 0≤β。
若x ∈S n (∀n ∈N ∪{0}) ,由S n 的定义并逐位比较x 与β的整数部分与每一个小数位上的数字,即知x = β。所以∀x ∈S ,有x ≤ β,即β是数集S 的上界。 (b) ∀ε>0,只要将自然数n 0取得充分大,便有
1
取x 0∈S n 0,则β与x 0的整数部分及前n 0位小数是相同的,所以
1β−x 0≤n 0
即
x 0>β−ε
即任何小于β的数β−ε不是数集S 的上界。
(7) 最后我们说明有理数集不具备“确界存在定理”,即有理数集是不连续的。
设T ={x |x ∈Q 并且x >0,x 2
证 用反证法。
假设T 在Q 内有上确界,记sup T =n (m ,n ∈N 且m ,n 互质),则显然有 m
n 2 1<() <3。 m
由于有理数的平方不可能等于2,于是只有下述两种可能:
n (a) 1<() 2<2: m
n n n n 2
记2−2=t ,则0<t <1。令r =t , 则+r >0, +r ∈Q ,并且 m m 6m m
(
这说明n 2n +r ) 2−2=r 2+r −t
n (b) 2<() 2<3: m
n 2n n n 记2−2=t , 则0<t <1。令r =t ,显然也有−r >0, −r ∈Q 并且 m m 6m m
n 2n −r ) 2−2=r 2−r +t >0。 m m
n n 这说明−r 也是T 的上界,与是T 的上确界矛盾。 m m (
由此得到结论:T 在Q 中没有上确界。
4. 注意点:
(1) 由于学生初学微积分,对极限论的抽象概念不易接受,应该在讲课中突出几何直观。如2位于有理数集合的“空隙”中, 应通过单位正方形的对角线在数轴上标出它的位置;在确界定理的叙述中,应指出若实数
系在数轴上有“空隙”, 则位于空隙左边的实数集合没有上确界,位于空隙右边的实数集合没有下确界。
(2) 本节课程中要遇到不少与一些抽象概念有关的命题,在给出它们的
分析证明时要教会学生正确的逻辑思维方法。如证明“集合S 没有最大数”的逻辑思路是证明:∀x ∈S , ∃x ' ∈S :x ' >x ;证明“β是集合S 的上
,且确界”的逻辑思路是证明:∀x ∈S :x ≤β(即β是S 的上界)
∀ε>0, ∃x ∈S :x >β−ε(即任意小于β的数不是上界);证明“有理数集合T =x :x ∈Q , x 2
sup T =x 0∈Q ,则可以找到有理数r >0,或者x 0+r ∈T (即x 0不是T 的
,从而推出矛盾。 上界),或者∀x ∈T , x ≤x 0−r (即x 0不是最小上界)
(3) 通过讲课,要让学生了解实数系的连续性有多种等价的表达形式,
这些等价的定理贯穿于极限论的整个理论,构成了极限论最基本、最丰富的内容。