-
非負整數
鎖定
自然數(natural number),是非負(課本中已將0列為自然數)/正整數(1, 2, 3, 4……)。
自然數組成的集合是一個可數的,無上界的無窮集合。數學家一般以N來表示它。(以N*表示除0之外的自然數)自然數集上有加法和乘法運算,兩個自然數相加或相乘的結果仍為自然數。也可以作減法或除法,但相減和相除的結果未必都是自然數,所以減法和除法運算在自然數集中並不是總能成立的。
自然數是人們認識的數系中最基本的一類。為了使數的系統有嚴密的邏輯基礎,19世紀的數學家建立了關於自然數的兩種理論:自然數的序數理論和基數理論,使自然數的概念、運算和有關性質得到嚴格的論述。自然數的加法、乘法運算可以在序數或基數理論中給出定義,並且兩種理論下的運算是一致的。
在全球範圍內,針對0是否屬於自然數的爭論依舊存在。在中國大陸,2000年左右之前的中小學教材一般不將0列入自然數之內,或稱其屬於“擴大的自然數列”。在2000年左右之後的新版中小學教材中,普遍將0列入自然數。
- 中文名
- 非負整數
- 外文名
- nonnegative integer
- 分 類
- 奇偶性、因數個數
- 性 質
- 運算、帶餘除法等
- 別 名
- 自然數
- 類 型
- 數學名詞
非負整數定義
- 1是自然數;
- 每一個確定的自然數n都有一個確定的後繼者,記作n+1。n+1也是自然數;
- 如果m、n都是自然數,並且m+1 = n+1,那麼m = n;
- 1不是任何自然數的後繼者;
- 如果某個集合S具有性質:
- 1在S中;
- 若n在S中,則n+1也在S中。
那麼S=N。(公理5保證了數學歸納法的正確性,從而被稱為歸納法原理)
若將0也視作自然數,則第一條公理中的1要換成0,並且刪除第4條。
第五條是歸納公理,它確保了在自然數集中數學歸納法的成立,也是對自然數集形態的一種限定。因為即使是有限集,也存在環形映射滿足第二條(自單射)。而只有自然數集才能滿足所有這五條的限定。
戴德金-皮亞諾結構
一個戴德金-皮亞諾結構為一滿足下列條件的三元組(X,x,f):
- 則A=X。
- 集合論形式的構造
- 一個標準的構造方法如下:
- 然後對於任何集合a,設
- 如此,每個自然數都等同於由所有更小的自然數所組成的集合,即
- 在此定義下,在集合n內就有n個元素;而若n小於m,則n會是m的子集。
非負整數符號
數學家們使用 N 或
來表示所有自然數的集合。
為了明確的表示不包含0,正整數集合一般如下表示:
N+ 或 N* 或
Z+ 或
而非負整數集合一般如下表示:
N0 或
非負整數分類
非負整數奇偶性
1、奇數:不能被2整除的數叫奇數。
2、偶數:能被2整除的數叫偶數。
也就是説,一個自然數要麼是奇數,要麼就是偶數。
注:0是偶數。
非負整數因數個數
1、質數:只有1和它本身這兩個因數的自然數叫做質數。也稱作素數。
2、合數:除了1和它本身還有其它的因數的自然數叫做合數。
3、1:只有1個因數,就是它自身。它既不是質數也不是合數。
4、0和1一樣,既不是質數也不是合數。
非負整數性質
非負整數運算
a + 0 = a;
a + S(x) = S(a+x), 其中,S(x)表示x的後繼者。
如果我們將S(0)定義為符號“1”,那麼b + 1 = b + S(0) = S( b + 0 ) = S(b),即,“+1”運算可求得任意自然數的後繼者。
同理,乘法運算“×”定義為:
a × 0 = 0;
a × S(b) = a × b + a
(N,×)亦是交換幺半羣;
×和+符合分配律:
非負整數帶餘除法
一個例子是
,也就是
。這裏a=62,b=7,q=8,r=6。
帶餘除法在數論中有不少用途,比如説輾轉相除法的基本步驟就是帶餘除法。
非負整數序
我們説
當且僅當有自然數使得
。當
而a不等於b時,記作a<b。
二元關係
在自然數集上符合:
自反性:若a是自然數,則
;
反對稱性:設a,b是自然數。若
且
,則a=b;
傳遞性:設a,b,c都是自然數。若
且
,則
;
完全性:對於任意兩個自然數a,b,有且只有下列兩種關係之一:
或
。
(或者等價的三分性:a<b,a=b,或a>b)
因為符合以上的四種性質,所以
是一全序。
此序也和加法及乘法兼容,即若a,b,c都是自然數且
,則
及
。
非負整數無限性
- 自然數集是一個無窮集合,自然數列可以無止境地寫下去。
- 與有限集對比,無限集有一些特殊的性質,其一是它可能與自身的真子集有一一對應的關係,例如:
- 0 1 2 3 4 … (自然數集)
- ↕ ↕ ↕ ↕ ↕
- 1 3 5 7 9 …(奇數組成的集合)
- 和自然數集等勢的集合有:
非負整數自然數列
自然數列的通項公式an=n。
自然數列的前n項和Sn=n(n+1)/2。 Sn=na1+n(n-1)/2
非負整數歷史
自然數由數數而起。自然數最初的表示法是用一個符號代表每個物體,比如||||可以用來代表四個蘋果、或者四塊石頭、或者四頭牛。這種表示方法在古巴比倫(約公元前2000年)的記數法中有所體現
[1]
。
其後記數系統的創立,使得人們能以更少的符號去表示大數。巴比倫人便是使用六十進制的,比如數字75,他們便會以“1,15”表示(當然是用他們的符號)
[2]
。但如果觀察一下他們所使用的1至59的數,就會發現當中也有十進制的影子。
[3]
古埃及人也建立了十進制的記數系統,包括個位、十位…直至一百萬。
印度學者婆羅摩笈多於公元628年提出零的觀念,一般認為是首個接近現代意義上的0。
[5]
印度數字後來經阿拉伯人傳至歐洲。歐洲人起初仍對零作為數字感到抗拒,認為零不是一個“自然”數。認為自然數不包含零的其中一個理由是因為人們在開始學習數字的時候是由“一、二、三...”開始,而不是由“零、一、二、三...”開始, 因為這樣是很不自然的。
在中國古代也有0這個概念,但並沒有0這個阿拉伯數字的字樣,而是以空位表示。中國古代使用算籌進行計算,在算盤上,以空位表示0。公元1世紀的《九章算術》説:“正負術曰:同名相除,異名相益,正無入負之,負無入正之。其異名相除,同名相益,正無入正之,負無入負之。”
[6]
(這段話的大意是“減法:遇到同符號數字應相減其數值,遇到異符號數字應相加其數值,零減正數的差是負數,零減負數的差是正數。”)以上文字裏的“無入”通常被數學史家認為是零的概念。雖然如此,但是當時並沒有使用符號來表示零。
非負整數爭論
古希臘人最早研究數字的抽象特性,例如是古希臘哲學家畢達哥拉斯和阿基米德的研究。當中畢達哥拉斯學派更把數視為宇宙之基本。
[7]
有許多希臘數學家都不把1當成一個數,因而2就成了最小的數。在數學家歐幾里得所着的《幾何原本》中也有類似説法。
[8]
19世紀末,集合論者給予了自然數幾個較嚴謹的定義。據這些定義,把零對應於空集,包括於自然數內更為方便。邏輯論者及電算機科學家,接受集合論者的定義。而其他一些數學家,主要是數論學家,則依從傳統把零拒之於自然數之外。
在全球範圍內,針對0是否屬於自然數的爭論依舊存在。
在中國,2000年左右之前的中小學教材一般不將0列入自然數之內,或稱其屬於“擴大的自然數列”。在2000年左右之後的新版中小學教材中,普遍將0列入自然數。
國際標準ISO 31-11:1992《量和單位 第十一部分:物理科學和技術中使用的數學標誌與符號》(已被ISO/IEC 80000-2取代
[9]
)中,從集合論角度規定:符號
所表示的自然數集是包括正整數和0。新修訂的ISO/IEC 80000-2也規定:符號N或ℕ所表示的自然數集包括正整數和0。
中國於1993年制定的強制性國家標準《物理科學和技術中使用的數學符號》(GB 3102.11-93)參照國際標準ISO 31-11:1992規定
[10]
:
表示“非負整數集;自然數集”,
={0,1,2,3,...}。而正整數集應上標星號或下標加號,記作
或
。
[11]
- 參考資料
-
- 1. Michael Hallett.Cantorian Set Theory and Limitation of Size:Oxford University Press,1986:132
- 2. 時間為什麼用60進制? .新華網甘肅頻道[引用日期2013-11-24]
- 3. Babylonian numerals .MacTutor History of Mathematics[引用日期2013-11-24]
- 4. A history of Zero .MacTutor History of Mathematics[引用日期2013-11-24]
- 5. Origin of the numerals Zero Concept .arXiv[引用日期2013-11-24]
- 6. 九章算術卷第八 方程 .中國古籍全錄[引用日期2013-11-24]
- 7. 畢達哥拉斯及其學派的故事 .中國科普博覽[引用日期2013-11-22]
- 8. Euclid's Elements Book VII Definitions 1 and 2 .Euclid's Element[引用日期2013-11-24]
- 9. Quantities and units -- Part 2: Mathematical signs and symbols to be used in the natural sciences and technology .ISO[引用日期2013-11-24]
- 10. 《量和單位》系列國家標準簡介 .人民教育出版社[引用日期2013-11-24]
- 11. GB3102.11-93物理科學和技術中使用的數學符號 .中華人民共和國國家標準[引用日期2013-11-22]
- 收起