Ch3极限续论(实数基本定理) 计划课时:12课时 P95-119 2004.12.08 Ch3实数基本定理(12时) §0连续统假设简介(2时) 数的发展简史 1.自然数的产生:十九世纪数学家 Leopold Kronecker说:上帝创造了整数,其余 则是我们人类的事了 2.从自然数系到有理数系: 3.算术连续统假设的建立及其破灭:不可公度性的发现及其深远影响 Pythagoras(约在纪元前六世纪), Hippasus, Leonardo da vinci称为“无 理的数”. Eudoxus, Euclid 4.微积分的建立: Newton, Leibniz; Euler, Lagrange,D′ Alembert, Laplace, Voltaire, B. Berkeley 十九世纪分析学理论的重建工作:B. Bolzano, A. Cauchy,Abel, Dirichlet Weierstrass, Archimedes数域 5.实数系的建立 十九世纪后半叶由 weierstrass,Mray, Dedekind, Cantor等完成 连续统假设: 1连续统假设:以 Cantor实数为例做简介. Cauchy(1789—1857,法), Bolzano (1781-1845), Cantor(18291920).在他们的著作中表现了实数连续性的观点 1900年,哥庭根大学教授 Hilbert(1862-1943,德)在巴黎国际数学家代表大会上 的致辞中,提出了二十三个研究课题,其中的第一题就是所谓连续统假设.首当其 冲的是关于连续统观点的算术陈述.(参阅D.J.斯特洛伊克著《数学简史》P160 161).连续统假设的研究现况. 三、实数基本定理 连续统假设的等价命题.共有九个定理,我们介绍其中的七个.另外还有上、下极限 定理和实数完备性定理 §1实数基本定理的陈述(4时 确界存在定理:回顾确界概念 Th1非空有上界数集必有上确界;非空有下界数集必有下确界 二、单调有界原理:回顾单调和有界概念
Ch 3 极限续论(实数基本定理) 计划课时:12 课时 P 95-119 2004.12.08. Ch 3 实数基本定理 ( 1 2 时) § 0 连续统假设简介 ( 2 时 ) 一、 数的发展简史 1.自然数的产生: 十九世纪数学家 Leopold Kronecker 说: 上帝创造了整数, 其余 则是我们人类的事了. 2. 从自然数系到有理数系: 3. 算术连续统假设的建立及其破灭 : 不可公度性的发现及其深远影响 . Pythagoras (约在纪元前六世纪), Hippasus, Leonardo da Vinci 称为“无 理的数”. Eudoxus , Euclid. 4. 微积分的建立: Newton , Leibniz ; Euler , Lagrange , D′Alembert , Laplace ; Voltaire , B. Berkeley . 十九世纪分析学理论的重建工作: B.Bolzano , A.Cauchy , Abel , Dirichlet, Weierstrass . Archimedes 数域. 5. 实数系的建立: 十九世纪后半叶由 Weierstrass , Meray , Dedekind , Cantor 等完成. 二、 连续统假设: 1 连续统假设: 以 Cantor 实数为例做简介. Cauchy ( 1789—1857, 法 ), Bolzano (1781—1845 ), Cantor ( 1829—1920 ).在他们的著作中表现了实数连续性的观点. 1900 年, 哥庭根大学教授 Hilbert( 1862—1943, 德 )在巴黎国际数学家代表大会上 的致辞中 , 提出了二十三个研究课题 ,其中的第一题就是所谓连续统假设. 首当其 冲的是关于连续统观点的算术陈述.( 参阅 D.J.斯特洛伊克著《数学简史》P160— 161 ).连续统假设的研究现况. 三、 实数基本定理: 连续统假设的等价命题. 共有九个定理, 我们介绍其中的七个. 另外还有上、下极限 定理和实数完备性定理. § 1 实数基本定理的陈述 ( 4 时 ) 一、 确界存在定理:回顾确界概念. Th 1 非空有上界数集必有上确界 ;非空有下界数集必有下确界 . 二、 单调有界原理: 回顾单调和有界概念
Th2单调有界数列必收敛 三、 Cantor闭区间套定理 1.区间套:设{[an,bn]}是一闭区间序列若满足条件 i>对Vn,有[an,bn]c[an,bn],即an≤anbn-an→0,(n→∞).即当n→>∞时区间长度趋于零.则称该闭区间 序列为一个递缩闭区间套,简称为区间套简而言之,所谓区间套是指一个“闭、 缩、套”区间列区间套还可表达为 ≤a2≤…≤an≤…∞).我们要提请大家注意的是,这里涉及两个数列{an}和{bn},其中{an} 递增,{bn}递减.例如{[ ]}和{[0,-]}都是区间套.但 {[1+ ,1+-]}、{(0,-]}和{[--,1+-]}都不是 n 2. Cantor区间套定理: Th3设{[an,bnl}是一闭区间套.则存在唯一的点,使对Vn有∈[an,bn] 简言之,区间套必有唯一公共点 四. Cauchy收敛准则—数列收敛的充要条件 1.基本列:回顾基本列概念.基本列的直观意义.基本列亦称为 Cauchy列 例1验证以下两数列为 Cauchy列 )x=09sin09+092siny09+…+09″sin√9 解()|xn。-xn|=1094si"09+…+096sm"09|s ≤0.9″ +0.9″+P0,为使|xm-xn|10.于是取N lg0.9 1)”2,(-1) a 2n+1 2(n+p)
Th 2 单调有界数列必收敛 . 三、 Cantor 闭区间套定理 : 1.区间套: 设 ba nn } ] , [ { 是一闭区间序列. 若满足条件 ⅰ> 对 , 有 ∀ n ] , [ , 即 ba nn ++ 11 ⊂ ] , [ ba nn ≤ ab nn →− ,0 n ∞→ )( . 即当 n → ∞ 时区间长度趋于零.则称该闭区间 序列为一个递缩闭区间套, 简称为区间套 .简而言之, 所谓区间套是指一个 “闭、 缩、套” 区间列.区间套还可表达为: , 21 aaa n n ≤≤∀ 0,为使 + .于是取 N = "" . ⑵ 1)(2 )1( 32 )1( 12 )1( || 2 3 1 −+ − ++ + − + + − =− + + ++ + nn pn aa n n pn npn " 71
(-1) n n 当p为偶数时,注意到上式绝对值符号内有偶数项和下式每个括号均为正号,有 1-1+ 2n+12n+3 2(n+p) > 2n+12n+3)(2 2(n+p)-32(n+p)-1 又 2n+12n+3 2(n+p)-1 2n+1(2n+32n+5 2(n+P)-52n+)-3)2(n+x 当p为奇数时 2n+12n+3 2(n+p)-1 ≥0 2n+12n+3 (n+p)-52(n+p)-3)2(m+p) 2n+12n+3 2(n+p) 2n+1(2n+32n+5 2(n+p)-32(n+p)-1)-2 综上,对任何自然数p,有 0≤ +P) n Cauchy列的否定: 例2x,=∑1.验证数列{x,;不是Caz列 k 取p=n,有 1n+2 因此,取E0 Cauchy收敛原理:
1)(2 )1( 32 1 12 1 1 −+ − ++ + − + = + nn pn p " . 当 p 为偶数时 , 注意到上式绝对值符号内有偶数项和下式每个括号均为正号 , 有 = −+ −+ + − + 1)(2 1 32 1 12 1 nn pn " 0 1)(2 1 3)(2 1 72 1 52 1 32 1 12 1 ≥ ⎟ ⎟ ⎠ ⎞ ⎜ ⎜ ⎝ ⎛ −+ − −+ ⎟ ++⎠ ⎞ ⎜ ⎝ ⎛ + − + ⎟ + ⎠ ⎞ ⎜ ⎝ ⎛ + − + nnnn pnpn " , 又 = −+ −+ + − + 1)(2 1 32 1 12 1 nn pn " ≤ −+ −⎟ ⎟ ⎠ ⎞ ⎜ ⎜ ⎝ ⎛ −+ − −+ ⎟ −−⎠ ⎞ ⎜ ⎝ ⎛ + − + − + = 1)(2 1 3)(2 1 5)(2 1 52 1 32 1 12 1 nnn pnpn pn " 12 1 + ≤ n . 当 p 为奇数时 , = −+ −+ + − + 1)(2 1 32 1 12 1 nn pn " 0 1)(2 1 3)(2 1 5)(2 1 32 1 12 1 ≥ −+ +⎟ ⎟ ⎠ ⎞ ⎜ ⎜ ⎝ ⎛ −+ − −+ ⎟ ++⎠ ⎞ ⎜ ⎝ ⎛ + − + = nn pnpn pn " , = −+ −+ + − + 1)(2 1 32 1 12 1 nn pn " 12 1 1)(2 1 3)(2 1 52 1 32 1 12 1 + ≤ ⎟ ⎟ ⎠ ⎞ ⎜ ⎜ ⎝ ⎛ −+ − −+ ⎟ −−⎠ ⎞ ⎜ ⎝ ⎛ + − + − + = nnn pnpn n " . 综上 , 对任何自然数 p , 有 12 1 1)(2 )1( 32 1 12 1 0 1 + ≤ −+ − ++ + − + ≤ + nn npn p " n 1 + ++ + + + + =− n n nn nn xx npn " . 因此, 取 2 1 ε 0 = ,…… 2. Cauchy 收敛原理: 72
Th4数列{an}收斂分{an}是 Cauchy列 要求学生复习函数极限、函数连续的 Cauchy准则,并以 Cauchy收敛原理为依据, 利用 Heine归并原则给出证明 五.致密性定理 数集的聚点(亦称为接触点) 定义设E是无穷点集.若在点ξ(未必属于E)的任何邻域内有E的无穷多个点 则称点5为E的一个聚点数集E={-}有唯一聚点0,但0∈E;开区间(0,1)的 全体聚点之集是闭区间[0,1];设Q是[0,1]中全体有理数所成之集,易见Q的聚 点集是闭区间[0,1] 1.列紧性:亦称为 Weierstrass收敛子列定理 Th5( Weierstrass)任一有界数列必有收敛子列 2.聚点原理: Weierstrass聚点原理 Ih6每一个有界无穷点集必有聚点 六. HeineBorel有限复盖定理: 1.复盖:先介绍区间族G={l2,A∈A} 定义(复盖)设E是一个数集,G是区间族,若对x∈E,彐4∈A,x∈l2 则称区间族G复盖了E,或称区间族G是数集E的一个复盖.记为 EcUl2A∈A.若每个都是开区间,则称区间族G是开区间族开区间族常 记为M={(a12,B2),a2<B2,A∈A} 定义(开复盖)数集E的一个开区间族复盖称为E的一个开复盖,简称为E的 个复盖 子复盖、有限复盖、有限子复盖 M={(x,3x),x∈(0,1)}复盖了区间(0,1),但不能复盖 b [0,1];H={(x ),x∈(a,b)}复盖[a,b),但不能复盖 [a,b] 2. Heine- Borel有限复盖定理: h7闭区间的任一开复盖必有有限子复盖 §1(附加)实数基本定理等价性的证明(4时) 证明若干个命题等价的一般方法本节证明七个实数基本定理等价性的路线:证明 按以下三条路线进行
Th 4 数列 } { 收敛 是 Cauchy 列. an ⇔ } { an ( 要求学生复习函数极限、函数连续的 Cauchy 准则,并以 Cauchy 收敛原理为依据, 利用 Heine 归并原则给出证明 ) 五. 致密性定理: 数集的聚点(亦称为接触点): 定义 设 E 是无穷点集. 若在点ξ (未必属于 E )的任何邻域内有 E 的无穷多个点, 则称点ξ 为 E 的一个聚点.数集 E = } 1 { n 有唯一聚点 0 , 但 0∉ E ; 开区间 的 全体聚点之集是闭区间 ; 设Q 是 中全体有理数所成之集, 易见 的聚 点集是闭区间 . ) 1 , 0 ( ] 1 , 0 [ ] 1 , 0 [ Q ] 1 , 0 [ 1. 列紧性: 亦称为 Weierstrass 收敛子列定理. Th 5 ( Weierstrass ) 任一有界数列必有收敛子列. 2. 聚点原理 : Weierstrass 聚点原理. Th 6 每一个有界无穷点集必有聚点. 六.Heine–Borel 有限复盖定理: 1. 复盖: 先介绍区间族 = λ Λ∈ } , { λ IG . 定义( 复盖 ) 设 E 是一个数集 , G 是区间族 . 若对∀ ∈ Ex ∃λ ∈ Λ , , ∋ λ ∈ Ix , 则称区间族 G 复盖了 E , 或称区间族 是数集 G E 的一个复盖 . 记 为 ⊂ λ Λ∈ . , λ λ ∪IE , ) , ( { 若每个 都是开区间, 则称区间族G 是开区间族 . 开区间族常 记为 λ I = α β α β , λ ∈< Λ } M λλ λ λ . 定义( 开复盖 ) 数集 E 的一个开区间族复盖称为 E 的一个开复盖, 简称为 E 的一 个复盖. 子复盖、有限复盖、有限子复盖. 例 1 } ) 1 , 0 ( ), 2 3 , 2 = ( { x ∈ xx M 复盖了区间 , 但不能复盖 ; ) 1 , 0 ( ] 1 , 0 [ } ) , ( , ) 2 , 2 ( { bax xb x xb xH ∈ − + − −= 复盖 , 但不能复盖 . ba ) , [ ba ] , [ 2. Heine–Borel 有限复盖定理: Th 7 闭区间的任一开复盖必有有限子复盖. § 1(附加) 实数基本定理等价性的证明 ( 4 时 ) 证明若干个命题等价的一般方法.本节证明七个实数基本定理等价性的路线 : 证明 按以下三条路线进行: 73
I:确界原理→单调有界原理→区间套定理→ Cauchy收敛准则→确 界原理 Ⅱ:区间套定理→致密性定理→ Cauchy收敛准则 Ⅲ:区间套定理→ Heine- Borel有限复盖定理→区间套定理 “I”的证明:(“确界原理→单调有界原理η已证明过 1.用“确界原理”证明“单调有界原理”: Th2单调有界数列必收敛.(证) 2.用“单调有界原理”证明“区间套定理” Th3设{[an,bl]}是一闭区间套.则存在唯一的点5,使对n有∈[an,b] 系1若ξ∈[an,bn]是区间套{[an,bn]}确定的公共点,则对VE>0,彐N,当 n>N时,总有[an,bn]cU(,E) 系2若5∈[an,bn]是区间套{[an,bn]}确定的公共点,则有an5,b~5, (n→∞) 3.用“区间套定理”证明“ Cauchy收敛准则” Th4数列{an}收敛{an}是 Cauchy列 引理 Cauchy列是有界列.(证) mh4的证明:(只证充分性)教科书P217-218上的证明留作阅读.现采用 [3]P70-71例2的证明,即三等分的方法,该证法比较直观 4.用“ Cauchy收敛准则”证明“确界原理”: Th1非空有上界数集必有上确界;非空有下界数集必有下确界 证(只证“非空有上界数集必有上确界”)设E为非空有上界数集.当E为有限 集时,显然有上确界下设E为无限集,取a不是E的上界,b1为E的上界 对分区间[a1,b1],取[a2,b2],使a2不是E的上界,b2为E的上界.依此得闭区 间列{[an,bn]}.验证{bn}为 Cauchy列,由 Cauchy收敛准则,{bn}收敛;同理 {an}收敛.易见bn、.设b、B.有anB.下证SupE=B.用反证法验证β的 上界性和最小性. Ⅱ”的证明: 1.用“区间套定理”证明“致密性定理” Th5( Weierstrass)任一有界数列必有收敛子列 证(突出子列抽取技巧) Th6每一个有界无穷点集必有聚点
Ⅰ: 确界原理 单调有界原理 区间套定理 ⇒ Cauchy 收敛准则 确 界原理 ; ⇒ ⇒ ⇒ Ⅱ: 区间套定理 ⇒ 致密性定理 ⇒ Cauchy 收敛准则 ; Ⅲ: 区间套定理 ⇒ Heine–Borel 有限复盖定理 ⇒ 区间套定理 . 一. “Ⅰ” 的证明: (“确界原理 ⇒ 单调有界原理”已证明过 ). 1. 用“确界原理”证明“单调有界原理”: Th 2 单调有界数列必收敛 .(证) 2. 用“单调有界原理”证明“区间套定理”: Th 3 设 ba nn } ] , [ { 是一闭区间套. 则存在唯一的点ξ ,使对 ∀ n 有ξ ∈ ] , [ ba nn . (证) 系 1 若ξ ∈ ] , [ ba nn 是区间套 ba nn } ] , [ { 确定的公共点, 则对 ∀ε > 0 , ∃N, 当 > Nn 时, 总有 ] , [ ba nn ⊂ ∪ ξ ε ) , ( . 系 2 若ξ ∈ ] , [ ba nn 是区间套 ba nn } ] , [ { 确定的公共点, 则有 ↗ an ξ , bn ↘ξ , n ∞→ ) ( . 3. 用“区间套定理”证明“Cauchy 收敛准则”: Th 4 数列 } { 收敛 是 Cauchy 列. an ⇔ } { an 引理 Cauchy 列是有界列. ( 证 ) Th 4 的证明: ( 只证充分性 ) 教科书 P217—218 上的证明留作阅读 . 现采用 [3]P70—71 例 2 的证明, 即三等分的方法, 该证法比较直观. 4.用“Cauchy 收敛准则” 证明“确界原理” : Th 1 非空有上界数集必有上确界 ;非空有下界数集必有下确界 . 证 (只证“非空有上界数集必有上确界”)设 E 为非空有上界数集 . 当 E 为有限 集时 , 显然有上确界 .下设 E 为无限集, 取 a1 不是 E 的上界, b1 为 E 的上界. 对分区间 ba 11 ] , [ , 取 ba 22 ] , [ , 使 a2 不是 E 的上界, b2 为 E 的上界. 依此得闭区 间列 . 验证 为 Cauchy 列, 由 Cauchy 收敛准则, 收敛; 同理 收敛. 易见 ↘. 设 ↘ } ] , [ { ba nn } {bn } {bn } { an bn bn β .有 an ↗ β .下证sup E = β .用反证法验证 β 的 上界性和最小性. 二、 “Ⅱ” 的证明: 1.用“区间套定理”证明“致密性定理”: Th 5 ( Weierstrass ) 任一有界数列必有收敛子列. 证 ( 突出子列抽取技巧 ) Th 6 每一个有界无穷点集必有聚点. 74
证 用对分法) 2.用“致密性定理”证明“ Cauchy收敛准则”: Th4数列{an}收敛→{an}是 Cauchy列 证(只证充分性)证明思路: Cauchy列有界→有收敛子列→>验证收敛子 的极限即为{an}的极限 三、“Ⅲ”的证明 1.用“区间套定理”证明“ Heine-Borel有限复盖定理”:(证 2.用“ Heine- Borel有限复盖定理”证明“区间套定理”: 证采用[3P72例4的证明 Ex P109 §2闭区间上连续函数性质的证明(4时) 有界性: Ih1f(x)∈C[a,b],→在[a,b]上f(x)=O(1) 证法一(用区间套定理).反证法 证法二(用列紧性).反证法 证法三(用有限复盖定理) 、最值性 Th2f(x)∈C[a,b],→∫(x)在[a,b]上取得最大值和最小值 证(用确界原理) 三、介值性:证明与其等价的“零点定理 Th3(零点定理) 证法-(用区间套定理) 证法二(用确界原理).不妨设∫(a)>0,∫(b)0,x∈[a,b]},则E非空有界 E有上确界.设 5=supE,有5∈[a,b].现证f(2)=0,(为此证明f(2)≥0且f(2)≤0) 取xn>5且xn→5,(n→∞).由f(x)在点5连续和∫(xn)≤0,→ f()=limf(xn)≤0,→5gE.于是彐ln∈E,3tn→5(n→∞).由f(x) 在点5连续和∫(tn)>0,→f(5)=limf(tn)≥0.因此只能有f(5)=0 证法三(用有限复盖定理) 四、反函数连续性定理 Ih4(反函数连续性定理) 五、一致连续性: Th5( Cantor定理)
证 ( 用对分法 ) 2.用“致密性定理” 证明“Cauchy 收敛准则” : Th 4 数列 } { 收敛 是 Cauchy 列. an ⇔ } { an 证 ( 只证充分性 )证明思路 :Cauchy 列有界→ 有收敛子列→验证收敛子列 的极限即为 的极限 } { . an 三、 “Ⅲ” 的证明: 1.用“区间套定理”证明“Heine–Borel 有限复盖定理”: (证) 2.用“Heine–Borel 有限复盖定理” 证明“区间套定理”: 证 采用[3]P72 例 4 的证明. Ex P109 . § 2 闭区间上连续函数性质的证明 ( 4 时 ) 一、有界性: Th 1 ∈ baCxf ] , [)( , ⇒ 在 上 ba ] , [ xf )( = O ) 1 ( . 证法 一 ( 用区间套定理 ). 反证法. 证法 二 ( 用列紧性 ). 反证法. 证法 三 ( 用有限复盖定理 ). 二、最值性: Th 2 ∈ baCxf ] , [)( ,⇒ xf )( 在 上取得最大值和最小值 ba ] , [ . 证 ( 用确界原理 ) 三、介值性: 证明与其等价的“零点定理 ”. Th 3 ( 零点定理 ) 证法 一 ( 用区间套定理 ) . 证法 二 ( 用确界原理 ). 不妨设 af > ,0)( bf baxxfxE } ] , [ , 0)( | { , 则 E 非空有界 , ⇒ E 有上确界 . 设 ξ = sup E ,有ξ ∈ ba ] , [ . 现证 f ξ = 0)( , ( 为此证明 f ξ )( ≥ 0 且 f ξ )( ≤ 0 ). 取 > n x ξ 且 n x → ξ n ∞→ ) ( , . 由 xf )( 在 点 ξ 连续和 ≤ 0)( n xf , ⇒ = ≤ 0)(lim)( ∞→ n n ξ xff ,⇒ ξ ∉ E . 于是∃ ∈ ∋ ntEt →→ ∞ ) ( , n n ξ . 由 在点 f x)( ξ 连续和 > 0)( , ntf ⇒ = ≥ 0)(lim)( ∞→ n n ξ tff . 因此只能有 f ξ = 0)( . 证法 三 ( 用有限复盖定理 ). 四、反函数连续性定理 Th 4 (反函数连续性定理) 五、一致连续性: Th 5 ( Cantor 定理 ) 75
证法 用区间套定理).参阅[]P229230[证法一] 证法二(用列紧性)参阅[P229230[证法二 Ex P119 习题课(4时) 实数基本定理互证举例: 例1用“区间套定理”证明“单调有界原理” 证设数列{xn}递增有上界.取闭区间[a1,b1],使a1不是{xn}的上界,b是 {xn}的上界.易见在闭区间[a1,b1]内含有数列{xn}的无穷多项,而在[a1,b] 外仅含有{xn}的有限项.对分[a1,b1],取[a2,b2]使有[a1,b]的性质.……∵于 是得区间套{[an,bn]},有公共点5.易见在点的任何邻域内有数列{xn}的无 穷多项而在其外仅含有{xn}的有限或,→imxn=5 例2用“确界原理”证明“区间套定理” 证{[Lan,b]}为区间套.先证每个an为数列{bn}的下界,而每个bn为数列的 上界.由确{an}界原理,数列{an}有上确界,数列{bn}有下确界.设 a= inf b B=sup{an}.易见有an≤a≤bn和an≤B≤bn,由 n-an→>0,(n→>∞) 例3用“有限复盖定理”证明“聚点原理” 证(用反证法)设S为有界无限点集,Sc[a,b].反设[a,b]的每一点都 不是S的聚点,则对Vx∈[a,b],存在开区间(a1,B),使在(a,B)内仅 有S的有限个点.… 例4用“确界原理”证明“聚点原理” 证设S为有界无限点集.构造数集E={x|E中大于x的点有无穷多个}.易见 数集E非空有上界,由确界原理,E有上确界.设B=supE.则对ⅤE>0,由 B-E不是E的上界,→E中大于B-E的点有无穷多个;由β+E是E的上界,→ E中大于B+E的点仅有有限个.于是,在(B-E,B+E)内有E的无穷多个点,即 B是E的一个聚点 实数基本定理应用举例: 例 设∫(x)是闭区间[a,b]上的递增函数,但不必连续如果
证法 一 ( 用区间套定理 ) . 参阅[1]P229—230 [ 证法一 ] 证法 二 ( 用列紧性 ). 参阅[1]P229—230 [ 证法二 ] Ex P119. 习题课 ( 4 时 ) 一、实数基本定理互证举例: 例 1 用“区间套定理”证明“单调有界原理”. 证 设数列 递增有上界. 取闭区间 , 使 不是 的上界, 是 的上界. 易见在闭区间 内含有数列 的无穷多项, 而在 外仅含有 的有限项. 对分 , 取 使有 的性质.…….于 是得区间套 ,有公共点 } { n x ] , [ 11 ba 1 a } { n x 1 b } { n x ] , [ 11 ba } { n x ] , [ 11 ba } { n x ] , [ 11 ba ] , [ 22 ba ] , [ 11 ba ] , [ { ba nn } ξ . 易见在点ξ 的任何邻域内有数列 的无 穷多项而在其外仅含有 的有限项, ⇒ } { n x } { n x = ξ ∞→ n n lim x . 例 2 用“确界原理”证明“区间套定理”. 证 为区间套. 先证每个 为数列 的下界, 而每个 为数列的 上界 . 由确 界原理 , 数列 有上确界 , 数列 有下确界 . 设 ] , [ { ba nn } am } {bn bm } { an } { an } {bn α = inf } {bn , β = sup } { an .易见有 n ≤ α ≤ ba n 和 n ≤ β ≤ ba n . 由 ab nn →− n ∞→ ) ( , 0 , α =⇒ β . 例 3 用“有限复盖定理”证明“聚点原理”. 证 ( 用反证法 ) 设 为有界无限点集, . 反设 的每一点都 不是 的聚点, 则对 , 存在开区间 S ⊂ baS ] , [ ba ] , [ S x ∈∀ ba ] , [ ) , (α β xx , 使在 ) , (α β xx 内仅 有 的有限个点 S . …… . 例 4 用“确界原理”证明“聚点原理”. 证 设 S 为有界无限点集. 构造数集 = | { ExE 中大于 x 的点有无穷多个} .易见 数集 E 非空有上界, 由确界原理, E 有上确界. 设 β = sup E . 则对 ∀ε > 0 ,由 β − ε 不是 E 的上界,⇒ E 中大于 β − ε 的点有无穷多个; 由 β + ε 是 E 的上界,⇒ E 中大于 β + ε 的点仅有有限个. 于是, 在 β − ε β + ε ) , ( 内有 E 的无穷多个点,即 β 是 E 的一个聚点 . 二、 实数基本定理应用举例: 例 1 设 xf )( 是闭区间 上的递增函数 ba ] , [ , 但不必连续 . 如 果 76
f(a)≥a,f(b)≤b,则彐x∈[a,b],使∫(x0)=x0.(山东大学研究生入学 试题) 证法 (用确界技术参阅[3]P76例10证法1)设集合 F={xf(x)≥x,a≤x≤b}.则a∈F,F不空;Fc[a,b],F有界 确界原理,F有上确界.设x。=SupF,则xo∈[a,b]下证∫(x0)=x.i>若 x∈F,有∫(x)≥x;又∫(x)≤∫(b)≤b,得∫(x0)∈[a,b].由f(x)递增 和∫(x0)≥x0,有f((x0)≥f(x0),可见f(x0)∈F,由x=SupF f∫(x0)≤x,于是,只能有∫(x)=x0,i)若x0F,则存在F内的数列{xn}, 使xn’x,(n→∞);也存在数列{tn},x0a,∫(b)c,取a1=c,b1=b; 若∫(c)an,∫(b)∞时an^xo bn、x0以及∫递增,就有 ang(b).试证明:方程f(x)=g(x)在区间(a,b)内有实 根.西北师大2001年硕士研究生入学试题) 证构造区间套{[an,bn]},使f(an)g(bn).由区间套定 理,彐5,使对n,有ξ∈[an,bn].现证f∫(5)=g(5).事实上,由g(x)在
)( ≥ aaf , )( ≤ bbf , 则 x0 ∈∃ ba ] , [ , 使 00 )( = xxf . ( 山东大学研究生入学 试题 ) 证 法 一 ( 用确界技术 . 参 阅 [3] P76 例 10 证 法 1 ) 设集合 = ≤≥ ≤ bxaxxfxF } , )( | { . 则 , 不空 ; , F 有界 . 由确界原理 , 有上确界. 设 , 则 ∈ Fa F F ⊂ ba ] , [ F sup Fx0 = x0 ∈ ba ] , [ .下证 0 0 )( = xxf .ⅰ> 若 x0 ∈ F , 有 )( ≥ xxf 00 ; 又 ≤ )()( ≤ bbfxf 0 , 得 xf 0 )( ∈ ba ] , [ . 由 递增 和 , 有 , 可 见 xf )( 00 )( ≥ xxf xff 0 ))(( ≥ )( 0 xf )( 0 xf ∈ F . 由 sup Fx0 = , . 于是 , 只能有 .ⅱ> 若 ⇒ )( 0 xf 0 ≤ x 00 )( = xxf x0 ∉ F , 则存在 内的数列 , 使 ↗ , ; 也存在数列 , F } { n x n x 0 x n ∞→ ) ( } { nt , 0 btx )( ,)( ccf = = bbca1 1 , ; 若 , 取 , 如此得一级区间 . 依此构造区间套 , 对 ,有 )( nn bgbf )()( = xgxf )()( 在区间 内有实 根 . 西北师大 2001 年硕士研究生入学试题 ) ba ) , ( 证 构造区间套 ] , [ { ,使 ba nn } )()( , )()( n bgbfagaf n .由区间套定 理, ∃ξ , 使对 , 有 ∀ n ξ ∈ ] , [ ba nn . 现证 ξ = gf ξ )()( . 事实上, 由 在 xg )( 77
[a,b]上的递增性和[an,b]的构造以及an5和b。丶5,有 f(an)<g(an)≤g(5)≤g(bn)<∫(bn).注意到f(x)在点5连续,由 Heine归并 原则,有limf(an)=f(5),limf(bn)=∫(5).→∫(5)≤g(5)≤∫(5),→ ∫(2)=g(5).5为方程f(x)=g(x)在区间(a,b)内的实根 例3试证明:区间[0,1]上的全体实数是不可列的 证(用区间套技术,具体用反证法)反设区间[0,1]上的全体实数是可列的, 即可排成一列:x1,x2,…,x 把区间[0,1]三等分,所得三个区间中至少有 个区间不含x1,记该区间为一级区间[a1,b1].把区间[a1,b]三等分,所得三个区 间中至少有一个区间不含x2,记该区间为二级区间[a2,b2] 依此得区间套 {[Lan,bn]},其中区间[an,bn]不含x1,x2…,xn,由区间套定理,彐5,使对 Vn,有5∈[an,b].当然有5∈[0,1].但对Vn,有xnE[an,bn]而 5∈[an,bn
ba ] , [ 上的递增性和 的构造以及 ba nn ] , [ an ↗ ξ 和 ↘n b ξ ,, 有 )()( )g( )()( n agaf n ξ n <≤≤< bfbg n .注意到 xf )( 在点ξ 连续,由 Heine 归并 原则, 有 n faf ξ )()(limn = ∞→ , n fbf ξ ).()(limn = ∞→ ⇒ ξ ≤ ξ ≤ fgf ξ )()()( , ⇒ f ξ = g ξ )()( . ξ 为方程 = xgxf )()( 在区间 ba ) , ( 内的实根. 例 3 试证明: 区间 ] 1 , 0 [ 上的全体实数是不可列的 . 证 ( 用区间套技术, 具体用反证法 ) 反设区间 上的全体实数是可列的, 即可排成一列: 把区间 三等分,所得三个区间中至少有一 个区间不含 ,记该区间为一级区间 . 把区间 三等分,所得三个区 间中至少有一个区间不含 ,记该区间为二级区间 . …… .依此得区间套 , 其中区间 不含 . 由区间套定理, ] 1 , 0 [ 21 xxx n ,,,, "" ] 1 , 0 [ 1 x ] , [ 11 ba ] , [ 11 ba 2 x ] , [ 22 ba ] , [ { ba nn } ] , [ ba nn n ,,, xxx 21 " ∃ξ , 使对 ∀ n , 有 ξ ∈ ] , [ ba nn . 当然有 ξ ∈ ] 1 , 0 [ .但对 ∀ n , 有 xn ∉ ] , [ ba nn 而 ξ ∈ ] , [ ba nn , ⇒ xn ≠ ξ . 矛盾 . 78