自然数

出典: フリー百科事典『ウィキペディア（Wikipedia）』

自然数（しぜんすう、Natural number）とは、ものの個数、もしくはものの順序（これは正確には有限順序数）という概念を表す数の一群のことである。文脈によっては、その一群に属する個々の数を指して自然数ということもある。0, 1, 2, 3, ... とどこまでも続き、その全体は可算無限集合である。

上記から0を除いた、1, 2, 3, ... を自然数とする流儀もある（詳しくは自然数の歴史と零の地位の節を参照）。この百科事典では0は自然数に含まれるものとして取り扱うが、このことが大きく問題となる場面においてはいちいちその取り扱いについて断るであろう。

非専門的な文脈において、正の整数ないしは負でない整数として説明されることもあるが、数学的には整数自体が自然数の拡張として定義されるので厳密な定義ではない。

無限に対する自然数の拡張・一般化には主に二つの方向性があり、それぞれ物の個数を数える基数と、物の順序を決める序数として定式化される。

[編集] 自然数の歴史と零の地位

自然数は「ものを数える言葉」を起源とし、1から始まる正の数であったと推定されている。

抽象化における最初の大きな進歩は数を表すための記数法の使用であった。これによって大きな数値を記録することが出来るようになったのである。例えば、バビロニア人は1と10に対応する数字を用いた60進の位取り記数法を開発していた（バビロニアの記数法(en:Babylonian numerals)）。

古代エジプト人は1から百万までの10の累乗それぞれに異なるヒエログリフを割り当てる記数法を用いていた。カルナックから出土して、現在はパリのルーヴル美術館にある、紀元前1500年頃のものとされる石の彫刻には276という数値が二つの百と七つの十と六つの一として表記されていた。また、4,622という数についても同様であった。

抽象化における更なる進歩は、固有の数字を用いた数としての零という概念である。バビロニア人は紀元前700年までには位取り記数法において零を表す桁というものを用いてはいたが、それは決して最終桁には用いられなかった。オルメカとマヤの文明では紀元前1世紀までには、数字を離して表記することで零を表す方法が独立に用いられていたが、それらがメソアメリカの外に出ることはなかった。現代的な概念は628年のインド人数学者ブラフマグプタにさかのぼる。全ての中世の暦算家(イースターの計算者)たちはディオニュシウス・エクシグウスが 525年に始めて以来、零を数として用いたものの、それを表すローマ数字は使われなかった。その代わりに「無」を表すラテン語の nullae が使われた。

抽象的な概念としての数の体系的な最初の研究は通常、古代ギリシアの哲学者、ピュタゴラスとアルキメデスに帰せられる。しかしながら、独立した研究が同時にインド、中国、メソアメリカにおいてなされている。

19世紀、自然数の集合論的な定義がなされた。この定義によれば零(空集合に対応する)を自然数に含める方がより便利である。ウィキペディアにおいては、集合論、論理学、計算機科学などの分野と同様にこの流儀に従う。

一方で他の数学、特に数論などの分野では0を自然数には含めない流儀が好まれることが多い。どちらの流儀をとるにしろ、通常は著作あるいは論文毎に定義や注釈で明示されるので、大きな混乱は生じない。とくに混乱を避けたい場合には0から始まる自然数を指すために非負整数という用語を用いることもよくある。また、日本の高等学校までの教育においては、自然数は1からはじまる、と指導される。

[編集] 形式的な定義

[編集] 自然数の公理

自然数がどんなものかは子供でも簡単に理解できるが、その定義は簡単ではない。自然数を初めに厳密に定義しようとしたのはペアノの公理によるものである（1891年、ジュゼッペ・ペアノ）。それによると以下のようになる（ただし、ペアノの原典においては以下とは少し違った形式で公理系が述べられている。ペアノの公理参照）。

自然数0が存在する。
任意の自然数 a にはその後者 (successor)、suc(a) が存在する（suc(a) は a + 1 の "意味"）。
0 はいかなる自然数の後者でもない（0 より前の自然数は存在しない）。
異なる自然数は異なる後者を持つ。つまり a ≠ b のとき suc(a) ≠ suc(b) となる。
0 がある性質を満たし、a がある性質を満たせばその後者 suc(a) もその性質を満たすとき、すべての自然数はその性質を満たす。

最後の公理は、数学的帰納法を正当化するものである。ここで、次のことを指摘しておくべきだろう。すなわち、この定義の中の "0" というのは我々が通常考えている数としての零と必ずしも対応する必要は無いと言うことである。ここでの "0" は単に、適切な後者関数と組み合わせた時にペアノの公理を満足するような要素を意味するに過ぎない。

集合論における標準的な自然数の構成は以下のとおりである。

空集合を 0 と定義する。

$0 := \emptyset = \{\}.$
任意の集合 a の後者は a と {a} の合併集合として定義される。

$\mathrm{suc}(a) := a \cup \{a\}.$
0 を含み後者関数について閉じている集合のひとつを M とする。
自然数は「後者関数について閉じていて、0 を含む M の部分集合の共通部分」として定義される。

無限集合の公理により集合 M が存在することが分かり、このように定義された集合がペアノの公理を満たすことが示される。このとき、それぞれの自然数は、その数より小さい自然数全てを要素とする数の集合、となる。

0 := {}
1 := suc(0) = {0} = {{}}
2 := suc(1) = {0, 1} = {0, {0}} = { {}, {{}} }
3 := suc(2) = {0, 1, 2} = {0, {0}, {0, {0}}} = { {}, {{}}, { {}, {{}} } }

等々である。

このように定義された集合 n は丁度（通常の意味で）n 個の元を含むことになる。また、これは有限順序数の構成であり、（通常の意味で）n ≤ m が成り立つことと n が m の部分集合であることは同値である。

以上のような自然数の構成は有用であるが、これが唯一の可能な構成と言うわけではない。例えば、0 := {}, suc(a) := {a} と定義したならば、

0 = {}
1 = {0} = {{}}
2 = {1} = {{{}}}

等となるし、また、0 := {{}}と定義することもできて、これと suc(a) := a ∪ {a} とを組み合わせれば、

0 = {{}}
1 = {{}, 0} = {{}, {{}}}
2 = {{}, 0, 1} = {{}, {{}}, {{},{{}}} }

となる。

以下においては、最初に述べた標準的な構成に従うこととする。

[編集] 加法と乗法

自然数の加法は再帰的に、以下のように定義できる。

すべての自然数 a に対して、a + 0 = a
すべての自然数 a, b に対して、a + suc(b) = suc(a + b)

suc(0) := 1 と定義するならば、suc(b) = suc(b + 0) = b + suc(0) = b + 1 となり、b の後者とは単に b + 1 のことである。

加法が定義されたならば、自然数の乗法は再帰的に、以下のように定義できる。

すべての自然数 a に対して a × 0 = 0
すべての自然数 a, b に対して a × suc(b) = (a × b) + a

加法、乗法とも (i) 0 に対する演算結果を定義し、(ii) ある自然数 b に対する演算結果を用いてその次の自然数 suc(b) に対する演算結果を定義する、と言う形式になっている。(i), (ii) をあわせることで、あらゆる自然数に対する演算結果が一意に得られることになる（数学的帰納法）。自然数は加法について、0を単位元とする可換モノイドになっている。また、乗法についても、1を単位元とする可換モノイドになっている。

加法と乗法は以下の法則を満たす。