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