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