《北航-高等数学-张奇业》高数讲座第一讲-2014.pptxVIP

第一讲 实数系基本定理及其应用一、实数集不可数二、实数系基本定理三、基本定理的等价性四、应 用一、实数集不可数1、势目的:认识有限集与无限集的差别.定义1结论1: 有限集等势的充分必要条件是它们的元素个数相同.例1 正偶数集与自然数集等势.结论2: 无限集可以与其真子集等势.2、 稠密性(1)有理数集是稠密的: 任意两个有理数间必有一个有理数;(2)无理数集是稠密的: 任意两个无理数间必有一个无理数;(3)实数集是稠密的: 任意两个实数间必有一个实数.注记1：自然数集不稠密3、不可数性目的:认识同为无穷集的自然数集、偶数集、 有理数集和实数集的差别.定义2结论3: 正偶数集, 整数集是可数集.例2 [0,1]中的有理数构成的集合是可数集.引理 可数个可数集的并集是可数集. 证结论4: 有理数集是可数集.定理1 证 (反证法) 注记2：此方法称为对角线方法；可数集有时 也称为可列集.总结：有理数集是可数集; 无理数集是不可数集; 实数集是不可数集.二、实数系基本定理1. 确界存在定理2. 单调数列收敛定理3. 区间套定理4. 收敛子列定理(致密性定理)5. 柯西收敛原理1、确界存在定理首先定义数集的界, 上界, 下界.定义1定义2记定义2记注记1: 上确界意为最小上界;下确界意为最大下界.定理1(确界存在定理)非空有下界的数集必有下确界;(2)非空有上界的数集必有上确界.例12、单调数列收敛定理定理2单调有界数列有极限.3、区间套定理定义3例2定理3(Cantor)Cantor: 康托尔,1845—1918,德国4、致密性定理定理4(Bolzano—Weierstrass 致密性定理) 有界数列必有收敛子列. Bolzano:波尔察诺,1781—1848,捷克Weierstrass:维尔斯特拉斯,1815-1897,德国?5.柯西收敛原理定义4引理定理5(柯西收敛准则)Cauchy: 柯西,1789—1857,法国三、基本定理的等价性证明确界定理致密性柯西准则闭区间套单调有界1、确界定理 单调有界定理定理2单调有界数列有极限.2、单调有界定理区间套定理定义3定理3(Cantor)证 (1) 存在性(2) 唯一性3、区间套定理 致密性定理证4、致密性定理 柯西收敛准则定义4定理7(柯西收敛准则)引理证(必要性)（充分性）5、柯西收敛准则 确界定理定理1(确界存在定理)非空有下界的数集必有下确界;(2)非空有上界的数集必有上确界.定义2证 只证(2), (1)类似注记: 1.确界存在定理称为实数系的连续性定理,柯西 存在准则称为实数系的完备性定理,由上面的等 价性知连续性与完备性是等价的.2.完备性本质上是对极限运算封闭,有理数系是 不完备的.四、应用无界数列与无穷大数列的关系函数极限与数列极限的关系定理3. 闭区间上连续函数的性质(1) 有界性定理(2) 最大最小值定理(3)零点存在定理1. 无界数列与无穷大数列的关系推论: 不是无穷大量的无界数列一定有收敛子列.2、函数极限与数列极限的关系海涅定理3. 闭区间上连续函数的性质(1) 有界性定理区间套定理+局部有界性(2) 最值定理确界定理+致密性定理+连续定义+极限夹逼准则(3) 零点存在定理区间套定理+连续定义+局部保序性五、小结实数集不可数实数系五个基本定理的等价性闭区间上连续函数性质的证明作 业1.实数系基本定理等价性的其他证明.2.不是无穷大量的无界数列一定有收敛子列.3.利用确界定理证明闭区间上连续函数零点存在定理.参考书1.华东师大数学系.数学分析(第三版,上册),高等教育出版社.2.陈纪修,於崇华,金路.数学分析(第二版,上册),高等教育出版社.3.裴礼文. 数学分析中的典型问题与方法(第二版),高等教育出版社.(3) 零点存在定理/albums/72214/72214.html?/albums/72214/72214.html 波尔查诺（Bernard Bolzano），/view/6359.htm捷克数学家、哲学家。1781年 10月5日生于/view/4177.htm布拉格，1848年12月18日卒于布拉格。1796年入布拉格大学哲学院攻读哲学、物理学和数学，1800年又入神学院，1805年任该校宗教哲学教授。1815年成为波希米亚皇家学会的会员，1818年任该校哲学院院长。1819年因为宗教斗争失去教授及院长职位，并且受到政治监督，直到1825年 波尔查诺（Bernard Bolzano），捷克数学家、哲学家。1781年 10月5日生于布拉格，1848年12月18日卒于布拉格。1796年入布拉格大学哲学院攻读哲学、物理学和数学，1800年又入