999精品在线视频,手机成人午夜在线视频,久久不卡国产精品无码,中日无码在线观看,成人av手机在线观看,日韩精品亚洲一区中文字幕,亚洲av无码人妻,四虎国产在线观看 ?

皮亞諾公理體系下的自然數運算(一)

2017-02-14 03:37:33張新春
湖南教育 2017年3期
關鍵詞:定義意義數學

文︳張新春

皮亞諾公理體系下的自然數運算(一)

文︳張新春

現在,在皮亞諾公理體系下,盡管已經有了自然數系,但自然數系還非常簡單。我們要利用皮亞諾公理體系建立起更復雜的概念和運算。再一次提醒讀者朋友,請你把你現在所有的數學知識都忘記,只記住自然數和皮亞諾五公理。我們要在此基礎上一步步把運算及相應的運算定律定義推導出來,你將會看到數學是如何展開的,數學家是如何利用最簡單、最樸素的定義與公理得到越來越豐富的數學內容,培養出數學的參天大樹的。

1.加法

我們現在要來定義“一個自然數(比如m)加上另一個自然數(比如n)”是什么意思。

我們的辦法非常簡單,比如3+5,我們說3+5得到一個自然數,這個自然數就是2+5所得到的自然數的后面那個——即(2+5)的后繼。但馬上出現一個問題:2+5又是什么意思呢?因為只有知道了2+5是什么意思,才能確定(2+5)的后繼。我們說2+5是(1+5)的后繼,而1+5呢?我們說是(0+5)的后繼,那0+5呢?至此我們已經無路可退,于是我們就規定0+5=5。這樣一來,1+5是(0+5)的后繼,也就是5的后繼,是6;2+5就是6的后繼,是7;3+5是7的后繼,是8……

正式一點,我們可以這樣寫:

定義(自然數加法):設m是自然數,定義0+ m=m。若已經定義好了n+m,則(n+)+m=(n+m)+。

這個定義所采用的方法即是數學歸納法。這里的m是任意的。對任意的m,我們要規定所有的自然數與m相加的意義,若做到了這一點,那么任意的兩個自然數相加的意義就都規定了。但自然數的個數是無限的,我們如何能做到一一規定這無限多個自然數與m相加的意義呢?這里,就要用到皮亞諾公理5,即數學歸納法原理了。為了規定所有自然數與m相加的意義,根據皮亞諾公理5,我們只要做兩件事:

第一件,規定0+m的意義,這個我們已經做了,我們規定了0+m=m。

第二件,假定已經有了n+m的意義,再在此基礎上說明(n+)+m的意義(n+是n的后繼,到現在,+有了兩個意義:寫在兩個自然數之間,表示加;寫在一個自然數后面,表示這個自然數的后繼,通常不會引起混淆)。上述定義已經做好了這一工作,即規定(n+)+m=(n+m)+,簡單地說,即是“后繼的和等于和的后繼”。

根據上面的定義,0+m還是m,1是0的后繼,即0+,所以1+m就是(0+)+m,而(0+)+m=(0+m)+= m+,于是1+m有了定義。而2是1的后繼,這樣,2+m就是(1+m)的后繼,如此下去,所有自然數加上m都有了定義。而m是任意的,于是任意兩個自然數相加都有了定義。比如愛迪生問過的2+2,我們知道2是1的后繼,即2=1+,于是根據自然數加法的定義,2+2=(1+)+2=(1+2)+;而1是0的后繼,根據定義,1+2=(0+)+2=(0+2)+;而0+2=2,于是2+2=(2+)+,2+是3,3+是4,所以2+2=4。

簡單地說,加法是這樣定義的:0加一個數得它自己;1加一個數是這個數的后繼數,即這個數后面那個數;2加一個數是1加這個數的后繼數,也就是這個數的后繼數的后繼數,即它后面第二個數。類似地,3加一個數就是這個數的后繼數的后繼數的后繼數,也就是這個數后面的第三個數……或者說,加法就是重復的后繼。我們教一年級學生做加法時,有一種方法就是按這個定義做的:比如3+5,把5記在心里,往后數到第3個數:6、7、8,于是3+5=8。

以下一段的討論主要解決一個問題,證明加法滿足交換律。即證明:

加法交換律:對于任意的自然數a和b,有a+b=b+a。

我們將利用皮亞諾公理5,用數學歸納法證明這個結論。為此,我們把加法交換律理解為對任意的自然數b,以下的一系列命題均成立(用數學的行話是:固定b,對a作歸納):

0+b=b+0,

1+b=b+1,

2+b=b+2,

3+b=b+3,

……

為了證明這無限多個命題均成立,按數學歸納法原理,我們要完成以下兩項工作:

一、證明這些命題中的第一個成立。

二、再證明:若這些命題中的某一個成立,比如k+b=b+k成立,那么這個命題的下一個命題也成立,即有(k+)+b=b+(k+)(這里的k+指k的后繼數)。

我們依次完成這兩項工作,首先做第一件事。

證明:對于任何自然數n,有n+0=0+n。

我們定義了0+n=n,所以要證明n+0=0+n,只要證明n+0=n。

要證明對于任何自然數n,有n+0=n,事實上就是要證明以下一系列命題:

0+0=0,

1+0=1,

2+0=2,

3+0=3,

……

上述第一個命題(即0+0=0)顯然是成立的,因為這就是加法的定義——對任何m,0+m=m,只要讓m取0就行了。

若上述中的某一個命題成立,比如k+0=k成立,我們來看看它的下一個命題,即(k+)+0=k+是否成立。

根據定義:(k+)+0=(k+0)+,而k+0=k成立,所以(k+)+0=(k+0)+=k+。

根據數學歸納法原理,對于任意的自然數n,有n+0=n,從而n+0=0+n。

接下來做第二件事,即

在k+b=b+k成立的假設下,證明(k+)+b=b+(k+)也成立。

根據加法的定義,(k+)+b=(k+b)+。根據歸納假設,k+b=b+k,于是(k+)+b=(k+b)+=(b+k)+,于是只要證明(b+k)+=b+(k+)就行了。

為此,再次利用數學歸納法:固定k,對b作歸納法。

當b=0時,(0+k)+=k+=0+(k+)。

若(b+k)+=b+(k+),則

((b+)+k)+

=((b+k)+)+……(根據加法的定義(b+)+k

=(b+k)+)

=(b+(k+))+……(根據歸納假設:(b+k)+=b+

(k+))

=(b+)+(k+)……(再次根據加法的定義)

這樣,我們就完成了加法交換律的證明。

類似地,我們還可以證明加法的結合律:

加法結合律:對于任意的自然數a,b和c,有(a+b)+c=a+(b+c)。

為了完成這個證明,只需固定其中的兩個元,對第三個元作歸納法。我們把這個詳細證明留給感興趣的讀者。

當我們知道加法滿足交換律與結合律后,我們可以證明,對于任意有限多個數相加,可以任意選擇相加的順序,和不變。

數學教育的真功夫是對數學與數學教育的把握,唯此才能成就好的數學課堂。湖南數學教師的老朋友,《湖南教育》的申建春老師開通了微信公眾號“與數學老師談心”,請關注。

猜你喜歡
定義意義數學
一件有意義的事
新少年(2022年9期)2022-09-17 07:10:54
有意義的一天
我為什么怕數學
新民周刊(2016年15期)2016-04-19 18:12:04
數學到底有什么用?
新民周刊(2016年15期)2016-04-19 15:47:52
成功的定義
山東青年(2016年1期)2016-02-28 14:25:25
詩里有你
北極光(2014年8期)2015-03-30 02:50:51
數學也瘋狂
修辭學的重大定義
當代修辭學(2014年3期)2014-01-21 02:30:44
山的定義
公務員文萃(2013年5期)2013-03-11 16:08:37
錯在哪里
主站蜘蛛池模板: 福利视频99| 91久久精品国产| 久久精品一卡日本电影| 91小视频在线播放| 99人体免费视频| 免费 国产 无码久久久| 欧美天堂久久| 国内精品自在欧美一区| 亚洲激情99| 欧美在线黄| 国产91丝袜在线播放动漫| 精品91自产拍在线| 精品欧美视频| 亚洲欧美日韩中文字幕一区二区三区| 国产极品美女在线观看| 91精品国产91久久久久久三级| 国产在线精品美女观看| 亚洲男人天堂网址| 亚洲精品va| 97av视频在线观看| 国产黄网永久免费| a亚洲天堂| 欧美一区福利| 无码中文字幕精品推荐| 日韩无码视频播放| 色婷婷啪啪| 国产内射一区亚洲| 亚洲天堂久久新| 国产在线观看91精品亚瑟| 91久久夜色精品国产网站| 亚洲小视频网站| 国产精品手机在线播放| 成年免费在线观看| 就去色综合| 亚洲精品麻豆| 91精品啪在线观看国产| 视频二区亚洲精品| 久久99热这里只有精品免费看| 国产最爽的乱婬视频国语对白| 欧美另类图片视频无弹跳第一页| 欧美成人手机在线观看网址| 日韩无码白| 欧美日本在线一区二区三区| 国产成本人片免费a∨短片| 国产一区二区丝袜高跟鞋| 在线另类稀缺国产呦| 日本一区二区三区精品国产| 欧美日韩在线成人| 亚洲天堂网视频| 一级毛片不卡片免费观看| 欧美精品亚洲二区| 欧美日韩在线第一页| 国产精品久久久久久影院| 久久狠狠色噜噜狠狠狠狠97视色| 免费 国产 无码久久久| 欧美午夜理伦三级在线观看| 91无码视频在线观看| 国产又粗又猛又爽视频| 国产精品中文免费福利| 国产91线观看| 国产成人精品18| 免费观看国产小粉嫩喷水| 欧美亚洲国产精品久久蜜芽| av一区二区人妻无码| 二级毛片免费观看全程| 久久香蕉国产线看观看亚洲片| 国产激情影院| 成人无码一区二区三区视频在线观看 | 99热这里只有精品2| 日韩区欧美区| 凹凸国产分类在线观看| 思思热在线视频精品| 特级精品毛片免费观看| 国精品91人妻无码一区二区三区| 18黑白丝水手服自慰喷水网站| 久久99热这里只有精品免费看| 黑人巨大精品欧美一区二区区| 中文字幕在线欧美| 婷婷开心中文字幕| 中文字幕免费视频| 成人91在线| 国产精品自拍露脸视频|