| |
|
自然数とは 0,1,2,3,....とどこまでも続く数のことをいう。英語で Natural Number と呼ばれているものの訳語である（しかしどの言語から訳されたのかは未詳<--fix me）。
上記から 0 を除いた、1,2,3,...を自然数とする流儀もある。 集合論、論理学、計算機科学などの分野では 0 も自然数のうちに含めていて、数論などの分野では 0 は自然数には含めていないとの見方もある。どちらの流儀をとるにしろ、通常は著作あるいは論文毎に定義や注釈で明示されるので、大きな混乱は生じない。とくに混乱を避けたい場合には 0 から始まる自然数を指すために非負整数という用語を用いることもよくある。 ただし、日本の高等学校までの教育においては、自然数は 1 からはじまる、と指導される。 この百科事典では自然数は 0 から始まるものとして取り扱う。 （議論の余地はあり。反論はノートへ）
自然数がどんなものかは子供でも簡単に理解できるが、その定義は簡単ではない。自然数を初めに厳密に定義しようとしたのはペアノの公理によるものである(1889年、ジュゼッペ・ペアノ)。それによると以下のようになる。
集合論における自然数の定義では、それぞれの自然数は、その数より小さい自然数全てを要素とする数の集合、と定義される；つまり 0 = {}、1 = {0} = 、2 = {0, 1} = { {}, }、3 = {0, 1, 2} = { {}, , { {}, } }・・・となる。通常自然数と呼ばれているものはこの集合をさしている。自然数の集合は普通 N または と表される。
自然数の集合は可算無限集合である。
更に進んで、加法、乗法、順序を定義していくことができる。"以下に具体的に書く"
| Table of contents |
|
2 関連項目 |
双子素数は無限にあるか、という問題は現在未解決（双子素数の予想）。
特殊な自然数
素数
自分自身と 1 以外の約数を持たない1より大きな自然数。無限に存在する。
次の数などがある。
cf. メルセンヌ数, フェルマー数双子素数
差が 2 であるような素数の組のこと。
例えば 3 と 5、41 と 43 などは双子素数である。完全数
自分自身を除く約数の和が自分自身と等しくなってしまう自然数。
次の数などがある。
奇数の完全数はないという予想がある。偶数の完全数は、メルセンヌ数と深い関係がある。関連項目