【教学课件】第二章实数理论.ppt
《【教学课件】第二章实数理论.ppt》由会员分享,可在线阅读,更多相关《【教学课件】第二章实数理论.ppt(50页珍藏版)》请在三一办公上搜索。
1、1,第二章 实数理论,郇中丹2006-2007年度第一学期,2,为什么要讲实数理论,以往教材上关于实数处理的方式:以Dedekind分割或Cauchy基本列方式定义以公理化方式定义实数来回避直接定义实数上述处理方式的缺陷:分割和基本列的方式定义需要引入一系列的工具,并且与中小学教材脱节公理化的方式使得学生困惑:实数变的难以理解了应当与中小学教材衔接并讲清实数:讲清十进小数,3,实数理论,1 数系理论发展简史2 定义实数遇到的困难3 我们如何定义实数4 有理数系的性质5 实数定义6 实数的完备性7 实数的运算性质8 记号和实数的进一步性质,4,1 数系理论发展简史,有趣的现象实数理论简史引入实数
2、的方法数系理论,5,有趣的现象,数的使用几乎与人类的历史一样长,有人通过观察推断:动物有数感.在人类文明史中,数的概念是逐步扩展开来的.然而数的严格意义上的理论直到在十九世纪后半叶才完成.虽然欧几里德几何原本中已经讨论了可公度比和无公度比,但没有定义什么叫无公度比的相等建立数系理论为了完善数学分析理论建立数系理论是要保证数学的真实性,非欧几何的出现,几何失去了其真实性;数学在哲学意义上的真实性应当建立在算术基础上(Gauss 1817),6,实数理论,是指以有理数系为基础建立实数理论以往的直观想法:有理数的极限,然而必须先存在才能谈极限William R.Hamilton,1833,1835提
3、出无理数的第一个处理,以时间作为实数的基础.提出用将有理数分成两类的方法定义无理数Weierstrass(1857),Mray(1869)Dedekind(1872),Cantor(1873)(来源于Kline IV P46-47),7,引入实数的方法,Weierstrass:有自然数出发定义正有理数,然后用无穷多个有理数集合定义实数Dedekind:有理数分割Canter:有理数基本列等价类,8,数系理论,欧几里德的几何原本中的比例理论以及讨论了现在有理数中的相关结果,但是在比例线段的术语下讨论的.Muller 1855一般算术和Grassmann 1861算术中有讨论,但是讲得不清楚Pea
4、no 1889算术原理新方法引入Peano公理系统解决了这个问题。他用了许多符号:,和N0表示自然数集。,9,2 定义实数遇到的困难,如何从有限小数过渡到无限小数基本想法都是利用有理数序列逼近(极限),这就有两个问题引入序列和极限等相关的概念即便如此,也要先定义清楚作为极限的实数虽然知道实数的众多性质,如何写出一个逻辑上正确、清晰和不难接受的实数理论仍然有待努力,10,3 我们如何定义实数,与中学实数定义衔接,用十进小数定义实数系,然后建立相关的性质建立实数的序建立实数的完备性利用有理数的运算和实数的完备性定义实数的运算,11,4 有理数系的性质,自然数系及其运算有理数系的建立有理数的运算性质
5、有理数的序性质和稠密性质有理数的不完备性,12,自然数系及其运算,已经完成了逻辑地引入自然数系N=0,1,2,的过程(上一章引入的)加法运算就是数数,乘法运算就是一类特殊数数的方法.减法:对小的数加多少的到大的数除法:分组带余除法:确定组数和余数归纳法是论证工具,13,有理数系Q的建立,有理数可以看成是由为了在自然数系中加、减、乘和除封闭而得到的最小集合自然数到有理数的逻辑扩展:由自然数及其笛卡尔积建立整数使得加、减、乘封闭;由整数及其笛卡尔积建立有理数使得加、减、乘和除封闭自然数到有理数的直观扩展:引入负数和所有正整数份数,14,有理数的运算性质,加法和乘法满足交换律:a+b=b+a,ab=
6、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:acb,16,有理数的不完备性,上界:设AQ,A,若bQ使得aA,ab,就称b为A的一个上界,并且说A是有
7、上界的上确界:设AQ,A,bQ叫做A的上确界,如果(1)b是A的上界,(2)cc上确界的惟一性序的完备性:任何有上界的集合都有上确界有理数的不完备性:存在有理数有上界而没有上确界的非空子集:例如aQ|a0,a22(习题),17,5 实数定义,实数的十进小数定义有理数的十进小数表示实数的序,18,实数的十进小数定义,实数的十进小数定义:实数集合R定义为:x:NZ|n0,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,
8、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是有限小数时,与有理数
9、中的序一致实数的序具有三歧性: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:整数子集具有完备性,并且
10、上确界在所讨论的集合中,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,xb
11、0+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,x
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 教学课件 教学 课件 第二 实数 理论

链接地址:https://www.31ppt.com/p-5661938.html