离散数学 实数集合与集合的基数(精品).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(20页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、集合的基数集合的基数v基数基数-集合中元素的个数集合中元素的个数.v本章主要本章主要借助于函数借助于函数讨论集合的所谓讨论集合的所谓“大小大小”问题。问题。一一.自然数自然数v定义定义:对任意集合对任意集合A,定义定义vA+=A A v称称A+为为A的后继的后继,A为为A+的前驱的前驱.v例例:若若A=,则则v+=v(+)+=.v(+)+)+=一一.自然数自然数v定义定义:集合集合0=是一个自然数是一个自然数,若集合若集合n是一是一个自然数个自然数,则集合则集合n+1=n+也是一个自然数也是一个自然数.v0=v1=0+=0 0=0 v2=1+=1 1=0,1 v3=2+=2 2=0,1,2 v
2、vn+1=n+=0,1,2,3,n.v定义定义:设设F是一个函数是一个函数,A dom F,对对 x A,有有F(x)A,则称则称A在函数在函数F下是封闭的下是封闭的.vPeano系统系统是满足以下公理的有序三元组是满足以下公理的有序三元组,其中其中M为一个集合为一个集合,F为函数为函数,e为首元素为首元素.5条条公理为公理为v(1)e M.v(2)M在在F是封闭的是封闭的.v(3)e ranF.v(4)F是单射是单射.v(5)若若M的子集的子集A满足满足v e Av A在在F下是封闭的下是封闭的,则则A=Mv定理定理.设设N为自然数集合为自然数集合,:NN,且且(n)=n+,则则是是Pean
3、o系统系统.一一.自然数自然数v定义定义:对任意的自然数对任意的自然数m和和n.vmmvm nm nnmv定理定理.对任意的自然数对任意的自然数m和和n,下列三式有且仅有一下列三式有且仅有一式成立:式成立:v mn(三歧性)。(三歧性)。v注注1:任何自然数都不是自己的元素。:任何自然数都不是自己的元素。v注注2:任何自然数都是它自己的子集。:任何自然数都是它自己的子集。v注注3:mnm n.自然数的运算自然数的运算v1.加法加法v定义定义:令令+:NNN,且对且对 m,n NvAm(n)记记Am(n)=m+n.v其中其中Am(0)=m,Am(n+)=(Am(n)+,则则称称+为为N上的加法运
4、算上的加法运算.v例例:由加法定义计算由加法定义计算3+2.v定理定理.设设m,n N,则则v0+m=m+0=m (加法规则加法规则1)vm+n+=(m+n)+(加法规则加法规则2)v证明证明:m+0=Am(0)=m.(定义定义)v0+m=A0(m)=A0(m-1)+)=vm+n+=Am(n+)=(Am(n)+=(m+n)+v例例:利用加法规则计算利用加法规则计算3+2乘法乘法v定义定义:令令 :N NN,且对且对 m,n N,v Mm(n),记作记作Mm(n)=m n.v其中其中Mm(0)=0,Mm(n+)=Mm(n)+m,则称则称 为为N上的乘法运算上的乘法运算.v例例:利用定义计算利用定
5、义计算3 2.v定理定理.设设m,n N,则则 vm 0=0 (乘法规则乘法规则1)vm n+=m n+m (乘法规则乘法规则2)v例例:利用乘法规则利用乘法规则1和和2重新计算重新计算3 2.指数运算指数运算v定义定义:设设:N NN,且对且对 m,n N,Em(n),记作记作:mn.称称 为为N上的指数运算上的指数运算.其中其中Em(0)=1,Em(n+)=Em(n)m.v例例:用定义计算用定义计算32.v定理定理.对对 m,n N,有有vm0=1vmn+=mn m.性质性质v定理定理.设设m,n,k N,则则v(1)m+(n+k)=(m+n)+kv(2)m+n=n+mv(3)m(n+k)
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 离散数学 实数集合与集合的基数精品 实数 集合 基数 精品
![提示](https://www.taowenge.com/images/bang_tan.gif)
限制150内