教學(xué)單元-4.2自然數(shù)性質(zhì)

內(nèi)容提要2傳遞集傳遞集的等價條件遞歸定理、遞歸定義加m函數(shù)、加法乘m函數(shù)、乘法加法和乘法的運算律自然數(shù)集上的序3傳遞集A為傳遞集A的元素的元素還是A的元素

xy(

xy

yA

xA)4定理4.10?(1)

A為傳遞集

(2)

A

A

(3)

x(

xA

xA)

(4)

A

P(A)5例4.2下列集合是否傳遞集?A={,{},{{}}}B={0,1,2}C={{a}}D=<0,1>6例4.2：是否傳遞集?A={,{},{{}}}

是B={0,1,2}

是C={{a}}

不是D=<0,1>={{0},{0,1}}

不是自然數(shù)自然數(shù)集??7定理4.11定理4.11A為傳遞集

P(A)為傳遞證明

A為集傳遞集

A

P(A)

P(A)

P(A)

P(A)是傳遞集(

定理4.10

)(

A=P(A)

)(

定理4.10

)#8定理4.12定理4.12A為傳遞集

(A+)=A證明

(A+)=

(A{A})=(A)({A})=

(A)A=

A(A+定義)(

(AB)=(A)(B))(因為AA

)

#9定理4.13定理4.13

每個自然數(shù)都是傳遞集證明令S={n

|

nN

n是傳遞集}(1)0S:

顯然.

nN,

nS

n+S:

nS

n是傳遞集

(n+)=nn+(定理4.12)

n+是傳遞集(定理4.10)

n+S.

S=N

#10定理4.14定理4.14

自然數(shù)集N是傳遞集證明

令S

=

{

n

|

nN

nN

}(1)0S:

顯然.

nN,

nS

n+S:

nN

n{n}=n+NnS(

{n}N

)

n+S.

S=N,

即n(nNnN).由定理4.10,

N是傳遞集.

#11自然數(shù)集上的二元運算加法:+:NNN,+(<2,3>)=5,

2+3=5乘法::

NNN,(<2,3>)=6,

23=612N上的遞歸定理設(shè)A為集合,

aA,

F:AA,

則存在唯一函數(shù)h:NA,

使得h(0)=a,

且nN,h(n+)=F(h(n)).

#當F是單射時a=h(0)F(a)=F(h(0))=h(1)=h(0+)F2(a)=F(F(a))=F(h(1))=h(2)=h(1+)F3(a)=F(F2(a))=F(h(2))=h(3)=h(2+)F4(a)=F(F3(a))=F(h(3))=h(4)=h(3+)1301234遞歸定義aA,

F:AAh(0)=a

h(n+1)=F(h(n)),

nN遞歸定理說:

h:

NA

存在唯一14一元函數(shù)“加m”m固定, Am:

NN,Am(0)=m,Am(n+)=(Am(n))+.m15A

mm個一元函數(shù)“加m”舉例Am(n)=m+n

Am(0)=mAm(n+)=Am(n)+=(m+n)+=(m+n)+1=m+(n+1)=m+n+A2(3)=A2(2+)=A2(2)+=A2(1+)+=A2(1)++

=A2(0+)++

=A2(0)+++=2+++

=3++

=4+

=5.1617二元函數(shù)加法?

+

:

NNN,

m+n=Am(n)3+3

=

A3(3)=

A3(2+)

=

A3(2)+=A3(1+)+

=A3(1)++=

A3(0+)++

=

A3(0)+++=3+++

=4++

=5+

=618定理4.15定理4.15

m,nN,m+0=

mm+n+

=

(m+n)+證明

m+0=Am(0)=m.m+n+

=

Am(n+)(+定義)=(Am(n))+=(m+n)+(Am定義)(+定義)

.

#19定理m,nN,0+n

=

nm++n

=

(m+n)+用歸納法證明20加法交換律定理m,nN,m+n=n+m.證明

mN,

令S={n|nNm+n=n+m}0S: m+0

=

m

=

0+m.nS

n+S:m+n+=Am(n+)=Am(n)+=(m+n)+=(n+m)+=

n++m(歸納假設(shè))(前一個定理)

S

=

N.

#21加法性質(zhì)總結(jié)單位元:交換律:結(jié)合律:消去律:0+n

=

n+0

=

nn+m

=

m+n(m+n)+k

=

m+(n+k)m+k=n+k

m=n用歸納法證明乘法“乘m”:

m固定,

Mm:NN,Mm(0)

=

0,Mm(n+)

=

Mm(n)+m.乘法::NNN,mn=Mm(n)2223乘法性質(zhì)總結(jié)單位元: 1n

=

n1

=

n交換律: nm

=

mn結(jié)合律: (mn)k

=

m(nk)消去律:

mk=nk

m=n(k0)分配律: m(n+k)

=

(mn)+(mk)用歸納法證明24自然數(shù)的序“屬于等于”: mn

mn

m=n(線序,

良序)m<n

mnm>n