Semi-protection-shackle.svg

自然數

維基百科,自由的百科全書
跳至導覽 跳至搜尋
各式各樣的
基本

NumberSetinC.svg

正數
自然數
正整數
小數
有限小數
無限小數
循環小數
有理數
代數數
實數
複數
高斯整數

負數
整數
負整數
分數
單位分數
二進分數
規矩數
無理數
超越數
虛數
二次無理數
艾森斯坦整數

延伸

二元數
四元數
八元數
十六元數
超實數
大實數
上超實數

雙曲複數
雙複數
複四元數
共四元數英語Dual quaternion
超複數
超數
超現實數

其他

質數
可計算數
基數
阿列夫數
同餘
整數數列
公稱值

規矩數
可定義數
序數
超限數
p進數
數學常數

圓周率
自然對數的底
虛數單位
無窮大

自然數(參考ISO 80000-2ISO 2382中所採用的定義)指非負整數 [1][2],為免歧義有時也直接以非負整數代替自然數使用。數學中,一般以代表以自然數組成的集合。自然數集是一個可數的,無上界無窮集合。非零自然數即指正整數

自然數可用於計數(如:桌子上有「三」個蘋果)和定序(如:國內「第三」大城市)。

符號

常用雙線的大寫 N 符號來表示自然數集合。

數學家們使用來表示所有自然數的集合。較早的教科書也有使用來表示這一集合的情況。[3]

為了消除是否包含0的歧義,有時通過上、下標的形式表示集合中是否包含0:[4]

  • 自然數:
  • 非零自然數:

定義

基於序數理論

基於序數理論提出的皮亞諾公理可以得到自然數的許多特性,這五條公理用非形式化的方法敘述如下:

  1. 0是自然數;
  2. 每一個確定的自然數a,都有一個確定的後繼數a' a' 也是自然數;
  3. 對於每個自然數bcb=c若且唯若b的後繼數=c的後繼數;
  4. 0不是任何自然數的後繼數;
  5. 任意關於自然數的命題,如果證明:它對自然數0是真的,且假定它對自然數a為真時,可以證明對a' 也真。那麼,命題對所有自然數都真。

其中,一個數的後繼數指緊接在這個數後面的數,例如,0的後繼數是1,1的後繼數是2等等;公理5保證了數學歸納法的正確性,從而被稱為歸納法原理。

基於基數理論

在基數理論中,集合論的一般做法是將0定義為空集後,將任一非零自然數看作是所有比該數小的自然數組成的集合,即

通過無窮公理,可以得到存在一個只包含全體自然數的自然數集

另外,在此定義下,在集合內就有個元素;而若小於,則會是 子集

性質

無限性

自然數的集合是無限集。根據定義,這種無限稱為可數無限。可以與自然數建立雙射關係的所有集合都具有這種無限性,稱作,這個集合的

可加性

自然數加法可經遞歸定義而成。因而得出交換么半群,是由生出的自由么半群,其中么元。此么半群服從消去律,可嵌入一內:最小的是整數群。

可乘性

同理,自然數乘法可經 得出。

加乘關係

亦是交換么半群;符合分配律

有序性

我們說若且唯若有自然數使得是一個良序集,即每個非空子集都有一個最小的自然數。

此序也和加法及乘法兼容,即若都是自然數且,則

可除性

給定兩個自然數,其中,可找到唯一的兩個自然數使得

稱為「商數」而稱為「餘數」。 若,則稱可被整除,記為

相關概念有輾轉相除質數及其它數論概念。

歷史與0的爭議

自然數由數數而起。古希臘人最早研究其抽象特性,當中畢達哥拉斯主義更視之為宇宙之基本。其它古文明也對其研究作出極大貢獻,尤其以印度對0的接受,為人稱道。

零早於公元前400年被巴比倫人用作數碼使用。瑪雅人於公元200年將零視為數字,但未與其它文明有所交流。現代的觀念由印度學者婆羅摩笈多於公元628年提出,經阿拉伯人傳至歐洲。歐洲人一開始仍對零作為數字感到抗拒,認為零不是一個「自然」數。

19世紀末,集合論者給自然數一個較嚴謹的定義。據此定義,把零(對應於空集)包括於自然數內更為方便。邏輯論者及計算機科學家,接受集合論者的定義。而其他一些數學家,主要是數論學家,則依從傳統把零拒之於自然數之外。

在全球範圍內,目前針對0是否屬於自然數的爭論依舊存在。

在中國大陸,2000年左右之前的中小學教材一般不將0列入自然數之內,或稱其屬於「擴大的自然數列」[5]。在2000年左右之後的新版中小學教材中,普遍將0列入自然數。[6][7]

認為自然數不包含零的其中一個理由是自然數所指為自然界中存在的數,例如一棵大樹、兩條魚、十億個細胞等等,而鮮少有人說零個物品。

國際標準ISO 31-11:1992英語ISO 31-11《量和單位 第十一部分:物理科學和技術中使用的數學標誌與符號》(已被ISO/IEC 80000-2英語ISO/IEC 80000取代)中,從集合論角度規定:符號 所表示的自然數集是包括正整數和0。

中國大陸於1993年制定的強制性國家標準《物理科學和技術中使用的數學符號》(GB 3102.11-93)參照國際標準ISO 31-11規定:表示「非負整數集;自然數集」,

推廣

自然數用於計數時稱之為基數,用於定序時稱之為序數。基數用於判定集合的大小,序數用作排列。

對於有限序列或有限集合,序數及基數皆與自然數同。

參考來源

  1. ^ Standard number sets and intervals. ISO 80000-2:2019 Quantities and units — Part 2: Mathematics. International Organization for Standardization. 2019-08: 6. 
  2. ^ Terms and definitions. Information technology — Vocabulary. International Organization for Standardization. 2015-05. 
  3. ^ Rudin, W. Principles of Mathematical Analysis. New York: McGraw-Hill. 1976: 25. ISBN 978-0-07-054235-8. 
  4. ^ 人民教育出版社 課程教材研究所。中國數學課程教材研究開發中心. 普通高中标准课程实验教科书 数学1 必修 A版. 人民教育出版社. 2004年5月. ISBN 9787107177057 (中文(簡體)‎). 
  5. ^ 王好民,《談談中學數學中的「0」》。曲阜師院學報(自然科學版),1979年03期。
  6. ^ (滄州市第一中學)李元星,潘峰,《關於0是自然數的探討》。教育實踐與研究,2004年01期。
  7. ^ (江蘇省連雲港市墟溝實驗小學)傅海洋,《「0是自然數」引發的教學問題》。現代中小學教育,2007年08期。