初等数学研究课件.ppt
《初等数学研究课件.ppt》由会员分享,可在线阅读,更多相关《初等数学研究课件.ppt(231页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、1.1 数系的扩充精品课件“数系”的历史扩展与逻辑扩展过程不同“数学史上这一系列事件的发生顺序是耐人寻味的,数学家们并不是按照先整数、分数,然后无理数、复数、代数学和微积分的顺序,而是按照相反的顺序与它们打交道的看来,他们进行逻辑化的工作是极不情愿的”M.Kline 数学确定性的丧失精品课件数学教育研究表明,人们认识负数比起认识无理数要容易些但是,历史有独特的自身发展逻辑 事实上,当人们还普遍怀疑负整数也是一种数时,人们就已经在研究正的有理数与无理数,甚至已经开始使用复数了 精品课件“数系”的历史扩展途径“数系”的逻辑扩展途径精品课件新数产生的原因数是抽象思维的产物真正与实体直接相关的、用日常
2、生活经验可以获得的数,只有自然数其他的数,都需要进行理性思考才能获得数的概念产生于对实物的计量在漫长的史前时代,人类已经认识了抽象的自然数随着人类文明的进步,数的概念从实体的测量发展为抽象的存在,如从正方形对角线的测量得到脱离经验的“无理数”接着是代数运算的需要,因减法、开方运算的需要产生了负数、无理数和复数到了近代,“数”不再只是单个的量的表示,人们为了追求运算的无矛盾性,接受了理想的“数”,包括复数、四元数、八元数等等精品课件“新数”为何最初不被承认?不能够测量并非非有不可不能够理解逻辑基础不清楚精品课件“新数”为何最终获得承认?“因为在数学中和在其他场合一样,成功是最高法庭,任何人都得服
3、从它的裁决.”D.Hilbert论无限精品课件算法合理性是“新数”获得承认的主要原因算术到代数的演进加速了数系的形成广泛的应用促进广泛的承认“理想数”的思想精品课件1.2 数系的构造理论 精品课件1.2.1自然数的定义自然数严格的抽象定义是由peano公理给出的,它刻画了自然数的本质属性,并导出了有关自然数的所有运算和性质。Peano公理陈述如下:(1)0是自然数;(2)每个自然数都有一个后继,a的后继记为a+;(3)没有自然数的后继为0;(4)不同的自然数有不同的后继,即若a+=b+,则a=b;(5)(归纳公理)如果0有某个属性,而且若自然数a有该属性则a+也有该属性,那么所有自然数都有该属
4、性。精品课件例 设m N,m0,那么,必有n N使得 n+=m 证明 设集合A由所有这样的自然数组成:它是某个自然数的后继.设S=0A.显然,0 S.若x S,由A的定义有x+A,因而x+S.由归纳公理知,S=N.因此,若m N,m0,就必有m A,即存在n N,使得 n+=m.该例题表明:每个不为0的自然数必为某个自然数的后继。精品课件加法定义1 自然数集N上的二元运算“+”称为加法,满足条件:(1)对任何aN,a+0=a(2)对任何a,bN a+b+=(a+b)+精品课件例 证明 2+3=5证明:2+0=22+1=2+0+=(2+0)+=2+=32+2=2+1+=(2+1)+=3+=42+
5、3=2+2+=(2+2)+=4+=5精品课件例 对任何aN,证明0+a=a+0.证明:利用数学归纳法证明当a=0时,结论显然成立。假使a=n时,结论成立,即0+n=n+0,则当a=n+时 0+n+=(0+n)+=(n+0)+=n+=n+0 结论亦成立。精品课件乘法定义2 自然数集N上的二元运算“”称为乘法,满足条件:(1)对任何aN,a0=0(2)对任何a,bN ab+=(ab)+a 精品课件例 证明 a3=a+a+a证明:a0=0a1=a0+=(a0)+a=0+a=a+0=aa2=a1+=(a1)+a=a+aa3=a2+=(a2)+a=a+a+a精品课件运算律定理2 对任何a,b,cN 有加
6、法交换律 a+b=b+a加法结合律 (a+b)+c=a+(b+c)加法相消律 若 a+b=a+c,则 b=c.若 b+a=c+a,则 b=c.乘法交换律 ab=ba乘法结合律 (ab)c=a(bc)乘法相消律 若 a0,ab=ac,则 b=c.若 a0,ba=ca,则 b=c.乘法对加法分配律 a(b+c)=ab+ac (a+b)c=ac+bc精品课件代数结构定理3 自然数集关于加法和乘法都是一个可交换的半群,0是其零元,1是其单位元。0的负元是0,1的逆元是1,除此之外其他自然数都没有负元和逆元。精品课件减法加法的相消律保证我们可以定义加法的逆运算减法。定义3 设a,bN,若存在xN,使x+
7、b=a,则称x=a-b.根据定义,有 (a-b)+b=a;除零元之外其他自然数都没有负元,这说明在整数集上减法不具有封闭性。精品课件例 证明不存在xN,使得x+2=1成立.证明:反证法 假使存在xN,满足x+2=1,则 (x+1)+=0+x+1=0 (x+0)+=0 x+=0 这与0不是任何自然数的后继相矛盾。精品课件除法乘法的相消律保证我们可以定义乘法的逆运算除法。定义4 设a,bN,b0,若存在xN,使xb=a,则称x=.根据定义,有 除单位元之外其他自然数都没有逆元,这说明在自然数集上除法不具有封闭性。精品课件例 证明不存在xN,使得x2=1成立.证明:反证法 假使存在xN,满足x2=1
8、,则 x+x=1 显然x0,可设x=y+,所以 y+y+=1 (y+y)+)+=0+(y+y)+=0 这与0不是任何自然数的后继相矛盾。精品课件自然数的序关系定义5 对给定的a,bN,若存在xN,使得b=a+x,则称ab,或 ba.定理5 关系“”()是自然数集上的全序关系,即满足自反性、反对称性、传递性和强连接性。定理6(最小自然数原理)(N,)是良序集,即N的每一个非空子集都有最小数。精品课件定理7 对任何aN,a0 定理8 若a,b,cN,则 当ab时,a+cb+c 当ab时,acbc所以,“”()是自然数集上的大小关系。精品课件定义6 若ab,且ab,则称aa.定理9 “)也是自然数集
9、上的大小关系。定理10(阿基米德性质)对于任意a,bN,a0,总存在nN,使nab.精品课件1.2.2从自然数到整数定义1 NN上的关系“”规定如下:对于任意(a,b),(c,d)NN,如果a+db+c,则称(a,b)(c,d).定理1:关系“”是NN上的一个等价关系,即满足自反性、对称性和传递性。定义2:NN按等价关系“”划分的等价类(以(a,b)表示(a,b)所属的等价类)叫做整数,一切整数组成的集合叫做整数集,记为Z.精品课件定理2 设Z+=(a,0)|aN-0 Z-=(0,a)|aN-0 则Z=Z+(0,0)Z-,且Z+,(0,0),Z-两两不相交.定义3 称Z+为正整数集,称Z-为负
10、整数集。精品课件整数集上的运算定义4(整数加法)整数集Z上的二元运算加法“+”规定如下:对于任意(a,b),(c,d)Z,(a,b)+(c,d)=(a+c,b+d)上述定义是合理的,可以证明Z中的加法运算与等价类代表的选取无关。即 若(a1,b1)(a2,b2),(c1,d1)(c2,d2),则(a1+c1,b1+d1)(a2+c2,b2+d2).精品课件定义5(整数乘法)整数集Z上的二元运算加法“”规定如下:对于任意(a,b),(c,d)Z,(a,b)(c,d)=(ac+bd,ad+bc)上述定义是合理的,可以证明Z中的乘法运算与等价类代表的选取无关。即 若(a1,b1)(a2,b2),(c
11、1,d1)(c2,d2),则(a1c1+b1d1,a1d1+b1c1)(a2c2+b2d2,a2d2+b2c2).精品课件定理3 对任何a,b,cZ 有加法交换律 a+b=b+a加法结合律 (a+b)+c=a+(b+c)加法相消律 若 a+b=a+c,则 b=c.若 b+a=c+a,则 b=c.乘法交换律 ab=ba乘法结合律 (ab)c=a(bc)乘法相消律 若 a0,0,ab=ac,则 b=c.若 a0,0,ba=ca,则 b=c.乘法对加法分配律 a(b+c)=ab+ac (a+b)c=ac+bc精品课件定理4 整数集是一个交换环,(a,a)是其零元,(a+1,a)是其单位元。(a,b)
12、的负元是(b,a),单位元的逆元是自身,除此之外其他整数都没有逆元。精品课件减法加法的消去律保证我们可以定义加法的逆运算减法。定义6 设a,bZ,若存在xZ,使x+b=a,则称x=a-b.整数都有负元保证了整数集上减法的封闭性。精品课件除法乘法的相消律保证我们可以定义乘法的逆运算除法。定义7 设a,bZ,b(0,0),若存在xZ,使xb=a,则称x=.除单位元之外其他整数都没有逆元,这说明在整数集上除法不具有封闭性。精品课件整数集上的序关系定义8 对于任意(a,b),(c,d)Z,如果a+db+c,则称(a,b)(c,d)定理5 关系“”是整数集上的全序关系,即满足自反性、反对称性、传递性和强
13、连接性。精品课件定理6 若a,b,cZ,则 当ab时,a+cb+c 当ab,(0,0)c时,acbc所以,“”是整数集上的大小关系。精品课件整数集是自然数集的扩张定理7 整数集Z是自然数集N的一个扩张,即存在一个N到Z上的一个一一映射f,使得(1)对于任意a,b N,都有 f(a+b)=f(a)+f(b)f(ab)=f(a)f(b)(2)对于任意a,b N,若ab,则f(a)f(b).证明:构造f:NZ如下 f(a)=(a,0)即可满足定理要求。精品课件因此,以后我们可以对a与(a,0)不加区别地使用,从而有Z+=N-0.因为(0,a)是(a,0)的负元,所以我们也用-a表示(0,a).精品课
14、件1.2.3从整数到有理数 记Z0=Z+Z-.定义1 ZZ0上的关系“”规定如下:对于任意(a,b),(c,d)ZZ0,如果adbc,则称(a,b)(c,d).定理1:关系“”是ZZ上的一个等价关系,即满足自反性、对称性和传递性。定义2:ZZ按等价关系“”划分的等价类(以(a,b)表示(a,b)所属的等价类)叫做有理数,一切有理数组成的集合叫做有理数集,记为Q.精品课件有理数集上的运算定义3(有理数加法)有理数集Q上的二元运算加法“+”规定如下:对于任意(a,b),(c,d)Q,(a,b)+(c,d)=(ad+bc,bd)上述定义是合理的,可以证明Q中的加法运算与等价类代表的选取无关。即 若(
15、a1,b1)(a2,b2),(c1,d1)(c2,d2),则(a1d1+b1c1,b1d1)(a2d2+b2c2,b2d2).精品课件定义4(有理数乘法)有理数集Q上的二元运算加法“”规定如下:对于任意(a,b),(c,d)Q,(a,b)(c,d)=(ac,bd)上述定义是合理的,可以证明Q中的乘法运算与等价类代表的选取无关。即 若(a1,b1)(a2,b2),(c1,d1)(c2,d2),则(a1c1,b1d1)(a2c2,b2d2).精品课件定理2 对任何a,b,c Q 有加法交换律 a+b=b+a加法结合律 (a+b)+c=a+(b+c)加法相消律 若 a+b=a+c,则 b=c.若 b
16、+a=c+a,则 b=c.乘法交换律 ab=ba乘法结合律 (ab)c=a(bc)乘法相消律 若 a(0,1),ab=ac,则 b=c.若 a(0,1),ba=ca,则 b=c.乘法对加法分配律 a(b+c)=ab+ac (a+b)c=ac+bc精品课件定理3 有理数集是一个域,(0,a)是其零元,(a,a)是其单位元。(a,b)的负元是(-a,b),(a,b)的逆元是(b,a).精品课件减法加法的消去律保证我们可以定义加法的逆运算减法。定义5 设a,bQ,若存在xQ,使x+b=a,则称x=a-b.有理数都有负元保证了有理数集上减法的封闭性。精品课件除法乘法的相消律保证我们可以定义乘法的逆运算
17、除法。定义6 设a,bQ,b(0,1),若存在xQ,使xb=a,则称x=.有理数都有逆元保证了有理数集上除法的封闭性。精品课件有理数集上的序关系定义7 对于任意(a,b),(c,d)Q,如果abd2cdb2,则称(a,b)(c,d).定理4 关系“”是有理数集上的全序关系,即满足自反性、反对称性、传递性和强连接性。精品课件定理5 若a,b,cQ,则 当ab时,a+cb+c 当ab,(0,1)c时,acbc所以,“”是有理数集上的大小关系。精品课件有理数集是整数集的扩张定理6 有理数Q是整数集Z的一个扩张,即存在一个Z到Q上的一个一一映射f,使得(1)对于任意a,b Z,都有 f(a+b)=f(
18、a)+f(b)f(ab)=f(a)f(b)(2)对于任意a,b Z,若ab,则f(a)f(b).证明:构造f:ZQ如下 f(a)=(a,1)即可满足定理要求。精品课件因此,以后我们可以对a与(a,1)不加区别地使用.因为(a,b)=,所以我们也用 表示(a,b).精品课件1.2.4实数的构造有理数集的缺陷有理数域缺乏连续性有理数域虽是稠密的,但它未铺满数轴,中间还有空隙。它不能与直线等量齐观,因为直线是连续的。有理数域缺乏完备性尽管有理数集是一个域,在加减乘除运算下都封闭,但它在极限运算下并不是一个封闭的数域。因为尽管某些有理序列本身收敛(cauchy序列意义下),但在有理数范围内找不到一个极
19、限值。正是对有理数域的缺陷两方面的思考,康托尔从完备性要求出发,戴德金从连续性要求(完备性的几何性质)出发,同时洞悉了无理数的本质,并得到了表示它们的两种形式,奠定了实数的构造理论。精品课件Cantor构造定义1 记所有有理数Cauchy序列的集合为.实际上,2NQ定义2 上的关系“”规定如下:对于任意(rn),(Sn),如果 ,则称(rn)(Sn).定理1:关系“”是上的一个等价关系,即满足自反性、对称性和传递性。精品课件定义3:按等价关系“”划分的等价类(以(rn)表示(rn)所属的等价类)叫做实数,一切实数组成的集合叫做实数集,记为R.精品课件实数集上的运算定义4(实数加法)实数集R上的
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 初等 数学 研究 课件
限制150内