




已阅读5页,还剩46页未读, 继续免费阅读
版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
1,第二章 实数理论,郇中丹2006-2007年度第一学期,2,为什么要讲实数理论,以往教材上关于实数处理的方式:以Dedekind分割或Cauchy基本列方式定义以公理化方式定义实数来回避直接定义实数上述处理方式的缺陷:分割和基本列的方式定义需要引入一系列的工具,并且与中小学教材脱节公理化的方式使得学生困惑: 实数变的难以理解了应当与中小学教材衔接并讲清实数: 讲清十进小数,3,实数理论,1 数系理论发展简史2 定义实数遇到的困难3 我们如何定义实数4 有理数系的性质5 实数定义6 实数的完备性7 实数的运算性质8 记号和实数的进一步性质,4,1 数系理论发展简史,有趣的现象实数理论简史引入实数的方法数系理论,5,有趣的现象,数的使用几乎与人类的历史一样长, 有人通过观察推断: 动物有数感. 在人类文明史中, 数的概念是逐步扩展开来的. 然而数的严格意义上的理论直到在十九世纪后半叶才完成. 虽然欧几里德几何原本中已经讨论了可公度比和无公度比,但没有定义什么叫无公度比的相等建立数系理论为了完善数学分析理论建立数系理论是要保证数学的真实性,非欧几何的出现,几何失去了其真实性;数学在哲学意义上的真实性应当建立在算术基础上 (Gauss 1817),6,实数理论,是指以有理数系为基础建立实数理论以往的直观想法: 有理数的极限, 然而必须先存在才能谈极限William R. Hamilton, 1833, 1835提出无理数的第一个处理, 以时间作为实数的基础.提出用将有理数分成两类的方法定义无理数Weierstrass (1857), Mray (1869) Dedekind (1872), Cantor (1873) (来源于Kline IV P46-47),7,引入实数的方法,Weierstrass: 有自然数出发定义正有理数,然后用无穷多个有理数集合定义实数Dedekind: 有理数分割Canter: 有理数基本列等价类,8,数系理论,欧几里德的几何原本中的比例理论以及讨论了现在有理数中的相关结果,但是在比例线段的术语下讨论的.Muller 1855一般算术和Grassmann 1861算术中有讨论, 但是讲得不清楚Peano 1889算术原理新方法引入Peano公理系统解决了这个问题。他用了许多符号: , 和N0表示自然数集。,9,2 定义实数遇到的困难,如何从有限小数过渡到无限小数基本想法都是利用有理数序列逼近(极限),这就有两个问题引入序列和极限等相关的概念即便如此, 也要先定义清楚作为极限的实数虽然知道实数的众多性质, 如何写出一个逻辑上正确、清晰和不难接受的实数理论仍然有待努力,10,3 我们如何定义实数,与中学实数定义衔接,用十进小数定义实数系,然后建立相关的性质建立实数的序建立实数的完备性利用有理数的运算和实数的完备性定义实数的运算,11,4 有理数系的性质,自然数系及其运算有理数系的建立有理数的运算性质有理数的序性质和稠密性质有理数的不完备性,12,自然数系及其运算,已经完成了逻辑地引入自然数系N=0,1, 2,的过程(上一章引入的)加法运算就是数数,乘法运算就是一类特殊数数的方法.减法: 对小的数加多少的到大的数除法: 分组带余除法: 确定组数和余数归纳法是论证工具,13,有理数系Q的建立,有理数可以看成是由为了在自然数系中加、减、乘和除封闭而得到的最小集合自然数到有理数的逻辑扩展: 由自然数及其笛卡尔积建立整数使得加、减、乘封闭; 由整数及其笛卡尔积建立有理数使得加、减、乘和除封闭自然数到有理数的直观扩展: 引入负数和所有正整数份数,14,有理数的运算性质,加法和乘法满足交换律: a+b=b+a, ab= ba与结合律:a+(b+c)=(a+b)+c, a(bc)= (ab)c乘法与加法之间满足分配律: a(b+c)= ab+ac0是加法零元: a: a+0=a1是乘法单位元: a: a1=a每个数a有负数-a: a+(-a)=0每个非零数a有倒数1/a: a(1/a)=1,15,有理数序的三歧性和稠密性,有理数序的三歧性: a,bQ, 则ab中有且仅有一种情形成立序与加法和乘法的关系:a,b,cQ, ab a+cb+ca,b,cQ且c0, ab acbc记号: ab表示ab或a=b有理数的稠密性: a,bQ, ab, cQ: ac0, a20,x(n)0,9;k0,nk, x(n)0, x(k)叫作x的第k位小数, 记作xk ;x也写成: x=x+0.x1x2记x= 0.x1x2叫作x的小数部分n0, sn(x)=x+0.x1x2xn叫作x的n位小数(舍值)近似, 也记s0(x)=x,19,有理数的十进小数表示,如果aZ, 自然地对应x: x(0)=a, k0, x(k)=0aQ, 如果a有十进小数表示: a=p+0.a1an, 对应的x: x(0)=p,0kn, x(k)=ak, kn, x(k)=0.称之为有限小数, 用Qf表示R中所有有限小数的集合.R中的其他数叫无限小数.aQ, 其十进小数是无限的, 则其十进小数是循环小数, 有引入有理数十进小数方式, 其十进小数不会有9循环(习题), 如此a=p+0.a1an 自然对应x: x(0)=p,k0, x(k)=ak注意这里用到整数部分而可能引起的与中学十进小数表示的差异,20,实数的序,实数序的定义: x,yR, x0时, kx注: 当x,y是有限小数时, 与有理数中的序一致实数的序具有三歧性: x,yR, 则xy中有且仅有一种情形成立证明: 任取x,yR, 若x=y, 由整数序的三歧性, 不会有xy成立; 若xy, 则nN:x(n)y(n), 有归纳法,可设n是满足这一性质的最小自然数, 因而由实数序的定义和整数序的三歧性可得有且仅有xy中的一个成立.,21,6 实数的完备性,实数集的上界和上确界实数的完备性实数完备性的推论常用记号和名词,22,实数集的上界和上确界,上界: 设AR, A, 若bR使得aA, ab, 就称b为A的一个上界, 并且说A是上有界的上确界:设AR, A, bR叫做A的上确界, 如果(1) b是A的上界, (2) cc 事实1: 确界的惟一性事实2: 整数子集具有完备性,并且上确界在所讨论的集合中,23,实数的完备性(I),R的非空有上界的子集必有上确界.证明: 设AR非空且有上界. 取定A的一个上界z. 下面归纳地构造A的上确界b.1. 考虑整数集合A0=x(0) | xA, 则x(0)z(0). 由整数序的完备性, A0有在其中的上确界b0. 即存在xA, x(0)=b0. 很自然地, b0R.若b0是A的上界,取b=b0就得到了上确界.否则考虑整数集A0=x(1)|xA, xb0 且A0有上界9,24,实数的完备性(II),2.然后重复上面的步骤做下去,在第k步得到b0+0.b1bk满足下列性质:xA, x(0)b0, xA满足x(0)=b0;h=0, k-1, Ah=x(h+1)| xA, xb0+0.b1bhh=1, k-1, bh+1是Ah的上确界并且xA满足x(n)=bn, n=0,h若b0+0.b1bk是A的上界,令b=b0+0.b1bk.就得到了上确界,否则考虑整数集Ak=x(k+1)|xA, xb0 +0.b1bk 其有上界9, 设bk+1为Ak的上确界,则xA满足x(h)=bh, h=1, k+1. 由归纳法就得到,25,实数的完备性(III),3. 下列两种可能性之一必成立: (1) A有有限小数上确界b=b0+0.b1bn; (2) 得到b: NZ, b(0) =b0Z, k0, b(k)=bk0,9,有无限多个bk 0, 满足xA, x(0)b0, xA满足x(0)=b0;hN, Ah=x(h+1)| xA, xb0+0.b1bhh N, bh+1是Ah的上确界并且xA满足x(n)=bn, n=0,h 下面证明, 由b可以构造出A的上确界.,26,实数的完备性(IV),4. 考虑两种情形: (1) 存在k0, nk, bk= 9, 如果k1, bk-1 1, 取b= b0+0.b1bk-1+1.为简单这里仅给出k=1时的证明, k1情形的证明留作习题.由xA, x(0)b0c(0),则xc. 如果c(0)=b0, 由m0, c(m)c. 因此b是A的上确界.,27,实数的完备性(V),6. 假设(2)成立, 则bR. 令b=b. 首先说明b是上界. 用反证法, 若b不是A的上界,则xA, xb, 这就存在k0, jb(k)=bk,这与bk的取法矛盾.证明b是A的上确界: 任取cR, cc. 这就得到b是A的上确界.这样实数的完备性就建立了. #,28,实数完备性的推论,实数集的下界和下确界:设AR, A, 若bR使得aA, ab, 就称b为A的一个下界, 并且说A是下有界的设bR是AR的下界, 如果cb, aA, a0, 而nk, x(n)=0. 负元-x定义为: k=0时, (-x)(0)=-x(0), (-x)(n)=0k0时, (-x)(0)=-x(0)-1, (-x)(k)=10- x(k); n1,k-1, (-x) (n) =9-x(n); nk, x(n)=0;即k=0时-x=-x; k0时-x=-x-1+0.(9-x1)(9-xk-1)(10-xk)若x为无穷小数, 负元-x定义为: (-x)(0)=-x(0)-1, n0, (-x)(n)=9-x(n).定义: 设x,yR. 定义x与y的差x-y为x+(-y).命题1: xR, -(-x)=x, x+(-x)=0.,34,实数的符号和绝对值,符号函数sgn: xR, 若x0, sgn(x)=1; 若x0时, x的倒数定义为: 1/x=supsn1/(sn(x)+10-n)|nN; 当x b a+cb+ca,b,cR且c0, ab acbc记号: ab表示ab或a=b实数的稠密性: a,bR, ab, cRQ, dQ, acd0, a22是Q中的有上界的非空集合, 但在Q中没有上确界.2.设x,yR. 证明sn(x)+sn(y) | nN, 且有上界x+y+2.3. 证明: xR, -(-x)=x, x+(-x)=0.4. 证明实数的稠密性: a,bR, ab, cRQ, dQ, acd0, xA, 使得x b-e.下确界: aR为集合A的下确界当且仅当: e 0, xA, 使得x0, xA, 使得xM.无下界: 非空集合A无下界当且仅当: M0, xA, 使得x-M.,45,记号,区间: a, bR, aa, (-,a) =xR | xa, R= (-,+), a,+) =xR | xa, (-,a 邻域: aR, (a-e,a+e)=xR | |x-a| e称为a的e邻域(简称邻域)空心邻域: aR, (a-e,a+e)a=xR|0|x-a|e称为a的e空心邻域(简称空心邻域),46,实数集的分离性,命题1. 设 A, BR非空. 如果aA, bB, 都有ab, 则c满足: aA, bB, acb.证明: 取定bB, 由aA, ab可知A有上界,由完备性, c=sup AR. 在利用B的每个点都是A的上界和c是A的最小上界, 就有bB, cb.#,47,闭区间套,闭区间套: 非空闭区间族M叫作闭区间套, 如果D1, D2M, D1D2与D2D1中必有一个成立.闭区间套引理: 任何闭区间套的所有闭区间一定有公共点, 即这些闭区间的交集不空.证明: 设M是个闭区间套. 1. 先证明M中的任何闭区间的左端点小于M中任何闭区间的右端点. 任取a,b, c,dM, 要证ad. 若a,bc,d, abd; 若c,da,b, ac0, a,bM, b-a0).由收缩闭区间套定义, a,bM, b-ae,由x,ya,b, e=y-xb-ae,#命题: 任何闭区间套的闭区间都能利用其端点定义一个序, 使得序号小的包含序号大的.,49,习题四 (I),1. 证明:任何闭区间套的闭区间都能利用其端点定义一个序, 使得序号小的包含序号大的.2. 证明确界的惟一性、上确界是最小上界和下确界是最大下界.3. 证明: a, bR, 如果ab与ab同时成立, 则a=b.,50,习题四 (II)
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 2025年二手车电商合作协议书
- 不等式的解集导学案
- 2025全新合同示范文本
- 2025年溴化锂制冷设备合作协议书
- 2025年年石化仓储项目合作计划书
- 2025年北京市企业厂房租赁合同范本
- 2025存量房买卖合同「官方版」
- 2025年锡压延加工材项目发展计划
- 2025年滋补类药品项目合作计划书
- 2025年成膜材料项目合作计划书
- 110kV电缆交流耐压试验方案
- 动力源开关电源说明书-dkd51系统维护手册
- 手弧焊的基本操作
- 新概念英语青少版-2B全单元课件-unit-25(共32张)
- 初中八年级上册信息技术《用Python编程》教学设计
- 施工项目安全交底确认书
- 国际机票后端引擎缓存系统架构
- 贵州干部履历表(2023版)
- 消火栓月检查表
- 高血压脑病-PPT课件
- 人防工程竣工资料(全套)
评论
0/150
提交评论