自然数

自然数︵しぜんすう、英: natural number︶とは、個数もしくは順番を表す一群の数のことである。集合論においては、自然数は物の個数を数える基数のうちで有限のものであると考えることもできるし、物の並べ方を示す順序数のうちで有限のものであると考えることもできる。

自然数を 1, 2, 3, … とする流儀と、0, 1, 2, 3, … とする流儀があり、前者は数論などでよく使われ、後者は集合論、論理学などでよく使われる︵詳しくは#自然数の歴史と零の地位の節を参照︶。日本では高校教育課程においては0を入れないが、大学以降では0を含めることも多い︵より正確には、代数学では0を含め、解析学では除外することが多い︶。いずれにしても、0 を自然数に含めるかどうかが問題になるときは、その旨を明記する必要がある。自然数の代わりに前者を正整数、後者を非負整数と言い換えることによりこの問題を避けることもある。

数学の基礎付けにおいては、自然数の間の加法についての形式的な逆元を考えることによって整数を定義する。正の整数ないしは負でない整数を自然数と同一視し、自然数を整数の一部として取扱うことができる。自然数と同様に整数の全体も可算無限集合である。

なお、文脈によっては、その一群に属する個々の数︵例えば3や18︶を指して自然数ということもある。

自然界において自然に出現する数は自然数である。

$\mathbb {N}$$\mathbb {N}$は自然数、$\mathbb {Z}$$\mathbb {Z}$は整数、$\mathbb {Q}$$\mathbb {Q}$は有理数、$\mathbb {R}$$\mathbb {R}$は実数。実数は複素数︵$\mathbb {C}$$\mathbb {C}$︶に含まれる。

記法

ℕ

自然数全体の成す集合は普通 Natural number の頭文字をとって Nまたは $\mathbb {N}$$\mathbb {N}$と表される。

0 を含むかどうかの曖昧さを避けるために、正の整数︵0 を含まない︶を次のように表すこともある:

●N⁺ ($\mathbb {N} ^{+}$$\mathbb {N} ^{+}$) または N₊ ($\mathbb {N} _{+}$$\mathbb {N} _{+}$)

●Z⁺ ($\mathbb {Z} ^{+}$$\mathbb {Z} ^{+}$) または Z₊ ($\mathbb {Z} _{+}$$\mathbb {Z} _{+}$) または Z_> 0 ($\mathbb {Z} _{>0}$$\mathbb {Z} _{>0}$)

また、非負整数︵0 を含む︶を表すのに、次の記法が使われることもある:

●N⁰ ($\mathbb {N} ^{0}$$\mathbb {N} ^{0}$) または N₀ ($\mathbb {N} _{0}$$\mathbb {N} _{0}$)

●Z⁺₀ ($\mathbb {Z} _{0}^{+}$$\mathbb {Z} _{0}^{+}$) または Z_≥ 0 ($\mathbb {Z} _{\geq 0}$$\mathbb {Z} _{\geq 0}$)

●Z⁺ ($\mathbb {Z} ^{+}$$\mathbb {Z} ^{+}$) または Z₊ ($\mathbb {Z} _{+}$$\mathbb {Z} _{+}$) はこちらの意味でも使われる

自然数の歴史と零の地位

自然数は﹁ものを数える言葉﹂を起源とし、1から始まる正の数であったと推定されている。文明が起こり、数字が考え出されたとき、ローマ数字、ギリシア数字、エジプト数字、バビロニア数字、マヤ数字、漢数字、等のどれもが1から始まる正の数字であった。つまり、﹁物がある﹂という概念を量的に表そうとしたのが数であり、﹁物がない﹂という概念は﹁無い﹂という言葉で充分だった。

最初の大きな進歩は、数を表すための記数法の発明であり、これで大きな数を記録することが出来るようになった。古代エジプト人は1から百万までの10の累乗それぞれに異なるヒエログリフを割り当てる記数法を用いていた。バビロニアでは、数字を離して表記することでその桁が 0 であることを示す六十進法の位取り記数法に似た方法が開発された。しかし、0 を表す文字がなかったため、例えば 10203 は 0 を空白にして "1 2 3" と正しく表記できるが、10200 は "1 2" となって 102 と区別できない欠点があった。オルメカとマヤの文明では紀元前1世紀までには、数字を離して 0 の桁を表す方法が独立に用いられていた。

抽象的な概念としての数の体系的な最初の研究は、古代ギリシアにおいてなされ、数論が高度にまで発達した。古代ギリシアの数学者エウクレイデスが編纂した﹃原論﹄の第7巻の冒頭で数の定義がなされている。

(一)単位とは存在するもののおのおのがそれによって1とよばれるものである。

(二)数とは単位から成る多である。

これは定規とコンパスによる作図で数を定義したものと解釈できる。すなわち、任意に与えた線分の長さを単位として1を定義する。そして、その線分を延長した直線上で単位を半径とする長さをコンパスで測り、その直線上でその単位を半径とする円との交点を作図し、その円の直径を2と定義する。同様にその直線上で円の直径に半径を繋いだ線分を作図し、その線分の長さを3と定義する。したがって、1は数ではなく単位であり、2, 3, 4, …が数になるため、古代ギリシア人は1を数として認識しなかったと言える。

1世紀頃、無名のインド人によって、初めて 0 を使った完全な位取り記数法が発明された。彼はソロバンとよく似たビーズ玉計算機で計算していたとき、数のない桁を 0 で書いて、ビーズ玉計算機上の各桁の数をそのまま並べて書き表すと、計算結果を素早く書き残せることに気づいた。この 0 は、インド人の言葉で空︵から︶の意味を表す﹁スーニャ﹂と呼ばれた。こうしてできた記数法は、数の記録と計算に一大革命をもたらす大発明となった。しかし、ここでの 0 は数としての 0 ではなく、空の桁を表す目印に過ぎないものであった。

数としての 0 の概念は628年のインド人数学者ブラーマグプタによって見出され、現代の 0 の概念と近い計算法が考え出された。

19世紀、自然数の集合論的な定義がなされた。この定義によれば零を自然数に含める方がより便利である。集合論、論理学などの分野ではこの流儀に従うことが多い一方、数論などの分野では 0 を自然数には含めない流儀が好まれることが多い。どちらの流儀をとるにしろ、通常は著作あるいは論文毎に定義や注釈で明示される。とくに混乱を避けたい場合には、0 から始まる自然数を指すために非負整数、1から始まる自然数を指すために正整数という用語を用いることもよくある。

計算機科学、特にプログラミングではよく 0, 1, 2, … が使われるが、これは記憶装置︵メモリー︶の住所︵アドレス︶の相対位置を表すことが多く、相対位置としては 0, -1, -2, … も処理の中で使われることから、自然数というよりは整数の範疇である。

19世紀のドイツの数学者レオポルト・クロネッカーが﹁整数は神の作ったものだが、他は人間の作ったものである﹂という言葉を残し、正の整数が自然な数と考えた頃から、自然数という用語が定着したとされる。

形式的な定義

自然数の公理

「ペアノの公理」も参照

自然数がどんなものかは子供でも簡単に理解できるが、その定義は簡単ではない。自然数を初めに厳密に定義可能な公理として提示されたものにペアノの公理があり︵1891年、ジュゼッペ・ペアノ︶、以下のように自然数を定義することができる。

●自然数 1が存在する。

●任意の自然数 aにはその後者 (successor) の自然数 suc(a) が存在する︵suc(a) は a+ 1の "意味"︶。

●異なる自然数は異なる後者を持つ。つまり a≠ bのとき suc(a) ≠ suc(b) となる。︵ある種の単射性︶

●1 はいかなる自然数の後者でもない︵1 より前の自然数は存在しない︶。

●1 がある性質を満たし、a がある性質を満たせばその後者 suc(a) もその性質を満たすとき、すべての自然数はその性質を満たす。

最後の公理は、数学的帰納法を正当化するものである。また、上の公理に現れる数字は 1だけであり、自然数 1からすべての自然数が作り出されることを意味している。一方、この公理の "1" を "0" に置き換えれば、自然数 0, 1, 2, 3, … を作り出せる。

ただし、ペアノの原典においては上とは少し違った形式で公理系が述べられており、ペアノ自身は自然数そのものを定義しようとしたわけではなかった。

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

●空集合を 0 と定義する。
$0:=\emptyset =\{\}.$$0:=\emptyset =\{\}.$
●任意の集合 aの後者は aと {a} の合併集合として定義される。
${\displaystyle \mathrm {suc} ($a):=a\cup \{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の部分集合であることは同値である。

以上の構成は、自然数を表すのに有用で便利そうな定義を選んだひとつの結果であり、他にも自然数の定義は無限にできる。これはペアノの公理を満たす後者関数 suc(a) と最小値の定義が無限に選べるからである。

例えば、0 := {}, suc(a) := {a} と定義したならば、

●0 := {}

●1 := {0} = {{}}

●2 := {1} = {{{}}}

●3 := {2} = {{{{}}}}

と非常に単純な自然数になる。また、0 := {{}}, suc(a) := a∪ {a} と定義したならば、

●0 := {{}}

●1 := {{}, 0} = {{}, {{}}}

●2 := {{}, 0, 1} = {{}, {{}}, {{},{{}}} }

●3 := {{}, 0, 1, 2} = {{}, {{}}, {{},{{}}}, {{},{{}},{{},{{}}}} }

のような多少複雑な自然数になる。

加法と乗法

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

●すべての自然数 aに対して、a + 0 = a

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

1 := suc(0) と定義するならば、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を単位元とする可換モノイドになっている。

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

●結合法則
●(a + b) + c= a+ (b + c)

●(a × b) × c= a× (b × c)

●交換法則
●a + b= b+ a

●a× b= b× a

●分配法則
●a × (b + c) = (a × b) + (a × c)

以上の法則は加法、乗法の定義から数学的帰納法を用いて証明できる。

慣例として、a × bは abと略記され、乗法は加法より先に計算される。例えば、 a+ bcという式は a+ (b × c) を意味する。

順序

a+c=b となる自然数 cが存在するとき、またそのときに限って、 a≤ bと書いて自然数に対する全順序を定義する。この順序は自然数の演算に対して次の性質を満たす。

●任意の自然数 a, b, cに対して a ≤ b ならば
●a + c≤ b+ c

●ac≤ bc

順序に関して自然数が持つ重要な性質の一つは、それが整列集合であるということ、つまり自然数を要素とする空でない任意の集合は必ず最小元を持つということである。

除法

ある自然数を他の自然数で割った結果を自然数として得ることは一般には可能でないが、余りつきの除法は可能である。任意の二つの自然数 aと b︵ただし、b ≠ 0︶に対して次の性質を持つ二つの非負整数 qと rが求められる。

a = bq+ r︵ただし r< b︶

q と rはそれぞれ、a を bで割った商と余りといい、 aと bの任意の組み合わせに対して、一意に決まる。この除法は他のいくつかの性質︵整除性︶、アルゴリズム︵ユークリッドの互除法など︶、数論におけるアイデアにおいて鍵となる。

特殊な自然数

素数

自分自身と1以外の約数を持たない1より大きな (= 1 以外の)自然数を素数という。素数が無限に存在することの証明はエウクレイデスの﹃原論﹄に載っている。小さい方から列挙すると次の通りである。

2, 3, 5, 7, 11, 13, …

メルセンヌ数、フェルマー数も参照。

双子素数

差が2であるような素数の組のこと。例えば3と5、41と43などは双子素数である。小さい方から列挙すると次の通りである。

(3, 5), (5, 7), (11, 13), (17, 19), (29, 31), …

双子素数は無限にあるか、という﹁双子素数の予想﹂は未解決である。類似の概念に、三つ子素数、いとこ素数、セクシー素数などがある。

完全数

完全数は自分自身を除く約数の和が自分自身と等しい自然数である。小さい方から列挙すると次の通りである。

6, 28, 496, 8128, 33550336, 8589869056, 137438691328, 2305843008139952128, …

偶数の完全数はメルセンヌ数と深い関係がある。知られている完全数は全て偶数であり、奇数の完全数はないと予想されている。また、無限に存在するとも予想しているが、両者とも未解決である。類似の概念に、友愛数、社交数などがある。

いくつかの自然数へのリンク

2桁までの自然数

(0)	1	2	3	4	5	6	7	8	9
10	11	12	13	14	15	16	17	18	19
20	21	22	23	24	25	26	27	28	29
30	31	32	33	34	35	36	37	38	39
40	41	42	43	44	45	46	47	48	49
50	51	52	53	54	55	56	57	58	59
60	61	62	63	64	65	66	67	68	69
70	71	72	73	74	75	76	77	78	79
80	81	82	83	84	85	86	87	88	89
90	91	92	93	94	95	96	97	98	99
太字で表した数は素数である。

• 100 101 102 103 104 105 106 107 108 109
• 100 110 120 130 140 150 160 170 180 190
• 100 200 300 400 500 600 700 800 900
• 10 100 1000 10000 100000 1000000 10000000 100000000
• 3桁の自然数
• 1000から4294967296までの自然数

脚注

参考文献

●E・T・ベル﹃数学をつくった人びと﹄ 上・下、田中勇・銀林浩 訳、東京図書、1997年10月︵原著1962-1963︶。ISBN 4-489-00528-8 ISBN 4-489-00529-6。 
●E・T・ベル﹃数学をつくった人びと﹄ 1巻、田中勇・銀林浩 訳、森毅 解説、早川書房︿ハヤカワ文庫 NF 283 ︿数理を愉しむ﹀シリーズ﹀、2003年9月26日。ISBN 978-4-15-050283-6。 

●E・T・ベル﹃数学をつくった人びと﹄ 2巻、田中勇・銀林浩 訳、吉田武 解説、早川書房︿ハヤカワ文庫 NF 284 ︿数理を愉しむ﹀シリーズ﹀、2003年10月17日。ISBN 978-4-15-050284-3。 

●E・T・ベル﹃数学をつくった人びと﹄ 3巻、田中勇・銀林浩 訳、秋山仁 解説、早川書房︿ハヤカワ文庫 NF 285 ︿数理を愉しむ﹀シリーズ﹀、2003年11月19日。ISBN 978-4-15-050285-0。 

●ハイベア・メンゲ 編﹃ユークリッド原論﹄中村幸四郎・寺阪英孝・伊東俊太郎・池田美恵 訳・解説、共立出版。  - 全13巻の最初の邦訳。
●︵ハードカバー︶1971年7月。ISBN 4-320-01072-8

●︵縮刷版︶1996年6月。ISBN 4-320-01513-4

●︵追補版︶2011年5月。ISBN 978-4-320-01965-2

●von Neumann, Johann (1923), “Zur Einführung der trasfiniten Zahlen”, Acta litterarum ac scientiarum Ragiae Universitatis Hungaricae Francisco-Josephinae, Sectio scientiarum mathematicarum 1: 199-208, http://acta.bibl.u-szeged.hu/38552/1/math_001.pdf 
●von Neumann, John (January 2002) [1923], “On the introduction of transfinite numbers”, in Jean van Heijenoort, From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931 (3rd ed.), Harvard University Press, pp. 346-354, ISBN 0-674-32449-8  - (von Neumann 1923)の英訳。

関連文献

●足立恒雄﹃数　体系と歴史﹄朝倉書店、2002年1月20日。ISBN 4-254-11088-X。 

●足立恒雄﹃数とは何か　そしてまた何であったか﹄共立出版、2011年6月。ISBN 978-4-320-01971-3。 

●足立恒雄﹃フレーゲ・デデキント・ペアノを読む　現代における自然数論の成立﹄日本評論社、2013年4月8日。ISBN 978-4-535-78697-4。 

●足立恒雄﹃数の発明﹄岩波書店︿岩波科学ライブラリー 219﹀、2013年12月20日。ISBN 978-4-00-029619-9。 

●彌永昌吉﹃数の体系﹄ ︵上︶、岩波書店︿岩波新書︵青版︶815﹀、1972年3月25日。ISBN 978-4-00-416001-4。 

●彌永昌吉﹃数の体系﹄ ︵下︶、岩波書店︿岩波新書︵黄版︶43﹀、1978年4月20日。ISBN 978-4-00-420043-7。 

●チャールズ・サイフェ﹃異端の数ゼロ　数学・物理学が恐れるもっとも危険な概念﹄林大 訳、早川書房、2003年10月。ISBN 978-4-15-208524-5。 
●チャールズ・サイフェ﹃異端の数ゼロ　数学・物理学が恐れるもっとも危険な概念﹄林大 訳、早川書房︿ハヤカワ文庫 NF 349 ︿数理を愉しむ﹀シリーズ﹀、2009年5月8日。ISBN 978-4-15-050349-9。 

●島内剛一﹃数学の基礎﹄日本評論社︿日評数学選書﹀、2008年12月︵原著1971年3月30日︶。ISBN 978-4-535-60106-2。  - 2008年に復刊された。

●高木貞治﹁6. 自然数論﹂﹃近世数学史談・数学雑談﹄︵復刻版︶共立出版、1996年12月10日、234-274頁。ISBN 4-320-01551-7。 

●高木貞治﹃数の概念﹄︵改版︶岩波書店、1970年9月19日︵原著1949年8月20日︶。ISBN 4-00-005153-9。 
●高木貞治﹃数の概念﹄秋山仁 解説、講談社︿ブルーバックス B-2114﹀、2019年10月17日。ISBN 978-4-065-17067-0。 

●Dedekind, Richard (1963-06-01) [1901], Essays on the Theory of Numbers, Dover Books on Mathematics (Paparback ed.), Dover Publications, ISBN 978-0-486-21010-0 
●デーデキント 著、河野伊三郎 訳﹃数について――連続性と数の本質――﹄岩波書店︿岩波文庫 青924-1﹀、1961年11月16日。ISBN 978-4-00-339241-6。 

●リヒャルト・デデキント﹃数とは何かそして何であるべきか﹄渕野昌 訳・解説、筑摩書房︿ちくま学芸文庫 テ9-1 Math & Science﹀、2013年7月10日。ISBN 978-4-480-09547-3。  - ﹁数とは何かそして何であるべきか？﹂・﹁連続性と無理数﹂を収録。

●フレーゲ 著、野本和幸 編﹃算術の基本法則﹄勁草書房︿フレーゲ著作集3﹀、2000年9月20日。ISBN 4-326-14822-5。  - 歴史的著作。抄訳。

●ジュゼッペ・ペアノ﹃数の概念について﹄小野勝次・梅沢敏郎 訳・解説、共立出版︿現代数学の系譜2﹀、1969年8月30日。ISBN 978-4-320-01155-7。 

●保江邦夫﹃数の論理　マイナスかけるマイナスはなぜプラスか？﹄講談社︿ブルーバックス B-1397﹀、2002年12月20日。ISBN 4-06-257397-0。 

●Landau, Edmund (2001), Foundations of Analysis (Reprint ed.), Chelsea Pub Co., ISBN 0-8218-2693-X 
●エトムント・ランダウ 著、蟹江幸博 訳﹃数の体系　解析の基礎﹄丸善出版︿数学クラシックス 第28巻﹀、2014年1月。ISBN 978-4-621-08713-8。 

関連項目

• 完全数の一覧
• 奇数
• 偶数
• ゴットロープ・フレーゲ
• ジュゼッペ・ペアノ
• ジョン・フォン・ノイマン
• 数論
• 整数
• リヒャルト・デデキント

外部リンク

• 小学館 日本大百科全書『自然数』- Yahoo!百科事典 (archive.today へのリンク)
• 世界大百科事典 第2版『自然数』 - コトバンク
• Weisstein, Eric W. "Natural Number". mathworld.wolfram.com (英語).
• オンライン整数列大辞典の数列 A000027