离散数学实数集合与集合的基数.pptxVIP

集合的基数基数----集合中元素的个数.本章主要借助于函数讨论集合的所谓“大小”问题。

一.自然数定义:对任意集合A,定义A+=A∪?A?称A+为A的后继,A为A+的前驱.例:若A=Ф,则Ф+=(Ф+)+=.((Ф+)+)+=

一.自然数定义:集合0=Ф是一个自然数,若集合n是一个自然数,则集合n+1=n+也是一个自然数.0=Φ1=0+=0∪?0?=?0?2=1+=1∪?1?=?0,1?3=2+=2∪?2?=?0,1,2?…n+1=n+=?0,1,2,3,…,n?.

定义:设F是一个函数,A?domF,对?x?A,有F(x)?A,则称A在函数F下是封闭的.Peano系统是满足以下公理的有序三元组M,F,e,其中M为一个集合,F为函数,e为首元素.5条公理为(1)e?M.(2)M在F是封闭的.(3)e?ranF.(4)F是单射.(5)若M的子集A满足①e?A②A在F下是封闭的,则A=M定理.设N为自然数集合,σ:N→N,且σ(n)=n+,则N,σ,0是Peano系统.

注3:mn?m?n.注1：任何自然数都不是自己的元素。定理.对任意的自然数m和n,下列三式有且仅有一式成立：mn?m?n?nm注2：任何自然数都是它自己的子集。mn?m=n?mn（三歧性）。m?n?m?n?n≥m定义:对任意的自然数m和n.一.自然数

加法01定义:令+:N×N?N,且对?m,n?N02m,n?Am(n)记Am(n)=m+n.03其中Am(0)=m,Am(n+)=(Am(n))+,则称+为N上的加法运算.04例:由加法定义计算3+2.05自然数的运算

m+n+=Am(n+)=(Am(n))+=(m+n)+证明:m+0=Am(0)=m.(定义)0+m=m+0=m(加法规则1)例:利用加法规则计算3+20+m=A0(m)=A0((m-1)+)=…定理.设m,n?N,则m+n+=(m+n)+(加法规则2)

乘法定义:令?:N?N?N,且对?m,n?N,m,n?Mm(n),记作Mm(n)=m?n.其中Mm(0)=0,Mm(n+)=Mm(n)+m,则称?为N上的乘法运算.例:利用定义计算3?2.定理.设m,n?N,则m?0=0(乘法规则1)m?n+=m?n+m(乘法规则2)例:利用乘法规则1和2重新计算3?2.

定义:设⊙:N?N?N,且对?m,n?N,m,n?Em(n),记作:mn.称⊙为N上的指数运算.其中Em(0)=1,Em(n+)=Em(n)?m.例:用定义计算32.定理.对?m,n?N,有m0=1mn+=mn?m.指数运算

定理.设m,n,k?N,则m+(n+k)=(m+n)+km+n=n+mm?(n+k)=m?n+m?km?(n?k)=(m?n)?km?n=n?m性质

定义:对自然数集合N,令1Z+=N-?0?.2Z?=?0,n?n?Z+?.3Z=Z+∪?0?∪Z?.4则称Z+的元素为正整数,Z?的元素为负整数,Z的元素为整数.5整数集合Z

定义:设A,B为两个集合,如果存在A到B的双射函数,则称A和B等势,记A≈B.否则称A和B不等势,记?(A≈B)或?A≈B.例:N偶=?n?n?N?n为偶数.?N奇=?n?n?N?n为奇数.?N2n=?x?x=2n?n?N.?则N≈N偶,N≈N奇,N≈N2n集合的等势

解:取f:N?Z,且?n?N,贰例:N≈Z.壹或,取g:Z?N,对?n?Z叁

例:N≈Q.因为每个有理数都可以写成一个分数形式如下：可以从0/1开始按照箭头指定次序排列Q中元素所以N≈Q。另外Z×Z≈N如右图所示。0/11/12/13/1-1/1-2/1-3/1-1/2-2/2-3/20/21/22/23/20/31/32/33/3-1/3-2/3-3/3-1/4-2/4-3/40/41/42/43/4.............................................011223-1-1-2-2-3

定理.(康托尔定理)(1)?(N≈R)对任意的集合A,?(A≈P(A)).例:(0,1)≈R.解:?x?(0,1),f(x)=tgπ.例:[0,1]≈(0,1)

A定义:集合A是有限集合,当且仅当存在n?N,使n?A.否则,称A为无限集.B定理1.不存在与自己的真子集等势的自然数.C推论1.不存在与自己的真子集等势的有限集合.D推论2.