離散數學與數論 · 自然數

自然數

計數用的數:0, 1, 2, 3, …。兩個自然數相加或相乘,結果一定是自然數;相減或相除則不一定。

本視覺化中的自然數

自然數是計數用的數:0,1,2,3,…0, 1, 2, 3, \dots,從0開始,每次加1,沒有最大的數。其集合記為N\mathbb{N}。本頁可選兩個自然數aa與bb,以及四則運算之一:小圓片實際做出運算,數線標示結果的位置,而0到20的所有aa與bb的表格顯示結果何時仍是自然數。

本頁採用的約定
N={0,1,2,3,… }\mathbb{N} = \{0, 1, 2, 3, \dots\}

0是自然數嗎?

沒有統一的約定。本頁依國際標準ISO 80000-2將0納入:沒有東西時,數量就是0。也有許多書從1開始。需要區分時,可使用明確的名稱:非負整數 {0,1,2,… }\{0, 1, 2, \dots\},常記為N0\mathbb{N}_0;以及正整數 {1,2,3,… }\{1, 2, 3, \dots\},常記為N+\mathbb{N}^{+}或Z+\mathbb{Z}^{+}。在其他地方閱讀公式前,先確認採用哪一種約定。

表格顯示什麼

兩堆合在一起再數,仍得到個數;aa列、每列bb個也一樣。因此自然數的和與積仍是自然數,加法表與乘法表全部亮起。拿走東西必須有足夠數量:a−ba - b是自然數,恰好等同於a≥ba \ge b,對應減法表的對角線與下方格子。

當b>0b > 0,將aa個物件平均分成bb組,只有bb整除aa時才正好分完。否則仍可用自然數透過有餘數的除法描述:a=qb+ra = qb + r,其中qq、rr是自然數,且0≤r<b0 \le r < b。7個分成2組,每組3個、餘1個,即7=3×2+17 = 3 \times 2 + 1。餘下的1個也分掉,每組得到3+123 + \tfrac{1}{2},所以商7÷2=3.57 \div 2 = 3.5在3與4之間。除以0則不同:a÷ba \div b是乘bb得aa的數,而任何數乘0都是0。因此a≠0a \ne 0時,a÷0a \div 0沒有值;0÷00 \div 0則沒有唯一的值。兩種情況都未定義:不是自然數以外的數,而是根本沒有結果。

為了讓所有減法都能進行,將數擴充到加入−1,−2,…-1, -2, \dots的整數 Z\mathbb{Z};為了能除以任何非零數,再擴充到有理數 Q\mathbb{Q}。在每個階段,除以0仍未定義。

值得留意

  • 6÷26 \div 2與3.03.0都是自然數:它們都是3,只是寫法不同。決定的是數本身,而不是寫法。

操作方式

  • 點選表格中的格子,同時選擇aa與bb。

相關概念