ペアノ計算とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > 百科事典 > ペアノ計算の意味・解説 

ペアノの公理

(ペアノ計算 から転送)

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2025/10/04 13:38 UTC 版)

ペアノの公理(ペアノのこうり、: Peano axioms) とは、自然数の全体を特徴づけ公理である。ペアノの公準: Peano postulates)あるいはデーデキント=ペアノの公理系: Dedekind-Peano axioms)と呼ばれる[1][2]1891年にイタリアの数学者ジュゼッペ・ペアノにより定式化された。自然数は数学における基本的対象であるが,これを経験的な特定対象物としてではなくいかなる性質を満たすべきものとして存在しているのかに答えるのが本公理系である.

ペアノの公理を起点とし、初等算術と整数有理数実数複素数の構成を実際に展開した古典的な書物に、ランダウによる『解析学の基礎』(Grundlagen der Analysis)(1930出版)がある。

公理

以下の公理系をデーデキント=ペアノの公理系という[3][注釈 1]

  • 0 N
  • 任意の n ∈ N について S(n) ∈ N
  • 任意の n ∈ N について S(n) ≠ 0
  • 任意の n, m ∈ N について nm ならば S(n) ≠ S(m)
  • 任意の E N について ( 0 ∈ E かつ任意の n ∈ N について nE S(n) ∈ E ) ならば E = N (数学的帰納法[注釈 2]

後述の通り,この公理系を満たす構造Nは(同型を除いて)一通りとなり自然数の特徴づけとなっている.したがってこれを で表すことが出来る.また の各要素を自然数と呼ぶ.S(n) を n後者: successor[注釈 3] ,Sをsuccessor functionと云う。またこの上での加法や常法の展開については例えば Henle (1986, pp. 17, 18, 103, 104) を見よ。

再帰定理

次の主張を再帰定理recursion theorem)という[5]

任意の集合 X と, x ∈ X写像 g: XX に対して,写像 がただひとつ存在し,

を満たす.

たとえば X = ℕ のとき写像 f は初項が x漸化式により定義される数列である。再帰定理はこのような再帰的に定義される写像の存在と一意性を数学的帰納法の原理により保証する。

数学的帰納法と範疇性

集合 ℕ^ と定数 0^ と関数 S^ がペアノの公理を満たすとき組 (ℕ^, 0^, S^)ペアノ構造Peano structure)という。ペアノ構造は数学的帰納法の原理により同型を除いてただ一つに定まる[注 1]、つまりペアノの公理は範疇的categorical)であることがわかる。

一方,後述するペアノ算術 (Peano arithmetic) は数学的帰納法の原理を弱めた公理系であり,レーヴェンハイム=スコーレムの定理から超準モデルを持ち,範疇的公理系ではない。

自然数の集合論的構成

ジョン・フォン・ノイマン[6]集合論における自然数の標準的な構成法を与えた.まず無限公理に基いて何かしらひとつ集合Aを得たのち,

とする.構造( , 0, S ) はDedekind-Peanoの公理系を満たす.

このとき具体的な自然数は

のようになる。

自然数の集合が定義されたとき、その構成と自然数上での帰納法から、自然数上の算術や順序を定めることができる。

加法

自然数の加法は次のように再帰的に定義される。

乗法

自然数の乗法は次のように再帰的に定義される。

順序

自然数の順序は次のように定義される。 ある k について

が成り立つとき

と定義する。

また nm かつ nm のとき n < m と定義する。

発表時の公理系

ペアノは 1889年に「Arithmetices Principia, nova methodo exposita(算術原理)」と題する論文のおいて自然数の公理の原型となるべきものを発表している[7][8].これらは自然数以外の公理を含み本来必要とされるよりも多くの命題が述べられているなど、自然数の公理系としては未整備であった。1889 年の記載は誤植の修正を除いて以下の通りである。当該論文では、この後、四則演算の定義などが続くが、ここでは明示的に自然数を定義しようとしている。

  1. 1 は自然数
  2. a が自然数なら a = a
  3. a, b が自然数で a = b なら b = a
  4. a, b, c が自然数で a = b, b = c なら a = c
  5. a = bb が自然数なら a は自然数
  6. a が自然数なら a + 1 は自然数
  7. a, b が自然数で a = b なら a + 1 = b + 1
  8. a が自然数なら、a + 1 と 1 は等しくない
  9. もし集合 K が、1 を含み かつ 自然数 xK に含まれるなら x + 1 が K に含まれる、という条件を満たすなら K は全ての自然数を含む

現在ペアノの公理系として知られる形のものが発表されたのは 1891年の「数の概念について」である。 この論文の中でペアノは次の 5 項目を自然数の満たすべき原始命題として与え、さらにこれら 5 つの命題が互いに独立であることを証明した。ペアノは現代の用語で言うところの公理推論規則を合わせて原始命題と呼んだ。ここで挙げているものは公理にあたる。

  1. 1 は自然数である
  2. 任意の自然数 a に対して、a+ が自然数を与えるような右作用演算 + が存在する
  3. もし a, b を自然数とすると、 a+ = b+ ならば a = b である
  4. a+ = 1 を満たすような自然数 a は存在しない
  5. 集合s が二条件「(i) 1 は s に含まれる, (ii) 自然数 as に含まれるならば a+s に含まれる」を満たすならば、あらゆる自然数は s に含まれる。

ペアノがこれらの原始命題によって自然数そのものを定義しようとはしなかった点には注意を払う必要がある。 彼は自然数の持つべき性質を挙げ、自然数 や 1 などの原始命題中に現れる用語を無定義述語として扱っている。 これは後にヒルベルトらによって強力に進められることになる、形式主義的方法の格好の例といえる。

ペアノ算術

Dedekind-Peanoの公理系における数学的帰納法の原理をいわゆる一階述語論理に弱めることで得られる体系をPeano arithmeticと云い,重要な研究対象である.非論理記号として定数記号 0 と関数記号 S, +, と述語記号 < をもつ等号つき一階述語論理形式言語上で、以下の公理系をペアノ算術Peano arithmetic)あるいは PA という[9].言語選択や公理設定は流行や流儀が存在し本質的に同じものが考察される:

自然数の標準モデル において真である Σ1論理式はペアノ算術から証明ができること(PA の Σ1 完全性)が知られている[10]

一方でゲーデルの第一不完全性定理によりペアノ算術からは証明も反証もできない命題が存在する。有名な例としてはグッドスタインの定理パリス=ハーリントンの定理がある。

脚注

注釈

  1. ^ 自然数を 0 からではなく 1 から始める流儀もある[4]。また、自然数の全体が順序数であることを意識するときには、ギリシャ文字の ω を用いることがある。
  2. ^ 任意の部分集合に関する量化を行っているので、これは一階述語論理では形式化できない。
  3. ^ 直観的な説明として、S は引き数の「次の」数を返す関数である。具体例として、(日常的に想像する実数としての)零から一へ、一から二へ、十五から十六へ対応付ける。
  1. ^ すなわち全単射 φ: ℕ → ℕ^φ(0) = 0^ かつ φS = S^ ∘ φ を満たすものが存在する。

出典

  1. ^ G. バーコフS. マクレーン『現代代数学概論』(改訂3版)白水社、1967年、82–86頁。NDLJP:2422244 
  2. ^ 菊池 2014, p. 98.
  3. ^ ハルモス 1975, p. 82.
  4. ^ 彌永 1972, p. 66.
  5. ^ 足立 2002, p. 77, 定理 3.2(回帰定理).
  6. ^ von Neumann 1923
  7. ^ ペアノ 1969
  8. ^ Peano 1889
  9. ^ 鹿島 2007, p. 64.
  10. ^ 鹿島 2007, p. 70.

参考文献

関連項目

外部リンク




英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「ペアノ計算」の関連用語

ペアノ計算のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



ペアノ計算のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアのペアノの公理 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。

©2025 GRAS Group, Inc.RSS