- 2022年5月1日
ペアノの公理系
- 対象
- 大学2.0年
- 前提知識
- 集合の基礎
- 写像
- 集合族の共通部分
自然数が満たすべき性質をまとめたペアノの公理系は有名で,巷で盛んに紹介されています.自然数全体の集合は数学において基本的なものですから,自然数とはそもそも何かを追求するのは健全な姿勢です.自然数について紹介しているウェブページは沢山ありますが,この文書では自然数を知る上でかなり重要な概念である「再帰性定理(recursion theorem)」について掘り下げて解説します.
漸化式による数列の定義は認められる?
まずは再帰性定理を学ぶ意義について軽く解説します.例えば, で定義される数列 なんてものを平然と扱いますが,一般項が初等的に表せなくてもそのような数列を数学では扱うことができます.つまり,実際に計算せずとも,すべての自然数 に対して がただ一つ確定している,としてよいのです.このような漸化式によって数列が確定するという事実は,再帰性定理によるものなのです.中間値の定理や平均値の定理のように,具体的に幾つかは不明だけど,それを満足する実数は存在する,そんな感覚に似ています.
他にも,再帰性定理があるがゆえに自然数同士の和や積,冪乗,階乗などを論理的に定義でき,なおかつ数々の諸性質を証明することができるのです.あと,大学数学でやたら登場する帰納的に閉区間の列 を定義する,といった帰納的写像の定義も再帰性定理を用いています.
みなさんがもし大学の数学を学んでいるのならば,絶対にどこかで知らないうちに再帰性定理を使っています.その定理をちゃんと証明して,いかに自然数が崇高な概念を実感してもらいたいと思います.
ペアノの公理系
自然数とは何かを考えるので, や といった記号は一旦使わないことにします.ただし,箇条書きの (1) や (2) などは容赦ください.
さて,ペアノの公理系を集合論の言葉で書き直したものが以下です.
定義
自然数の体系
集合 と, と,写像 が以下を満たすとき, を自然数の体系と呼ぶ.
- .
- .
- が以下を満たすとき,.
- .
- .
無味乾燥な定義ですが,用語を定義すると雰囲気が伝わってきます.
定義
を自然数の体系とする. の元を自然数と呼び,特に, を最初の自然数と呼ぶ.また, に対する を の後者(後継者) と呼び, を満たす を, の前者 と呼ぶ.
このように定義すると,ペアノの公理系の主張を言語的に理解できるようになります.
まず, ゆえに,最初の自然数が に存在します.また, が写像であることより,どんな自然数にも後者がただ一つ存在することになります. と加法の定義をのちにしますが,いずれ であることが分かります.
P1 は, はどんな自然数の後者にはなりえない,と読めます.P2 は, の単射性を表しますが,自然数に前者が存在するとしたら,ただ一つに限ることを意味します(一つって言葉,使っていいのかな).P3 は後述しますが,(数学的)帰納法が正しい証明法であることと同値です.
最初の自然数 は origin の o で, に見立ていますが,人によって と考えても構いません.ただし, と考えた人と と考えた人で加法や乗法の定義が変わってくるので注意が必要です.この文書では は のつもりでいきます.
定義
記号 を以下で定義する:
2桁以上の数はあとで定義します.
自然数の体系は存在するか
以下,ペアノの公理系を満たす が存在することを前提として話を進めます.気になるのは,そのような が数学の枠組(集合論)の中において具体的に存在するかです.主旨から外れるので,簡単に説明します(途端に難しくなるのでとばしてもOK).自然数は空集合 だけで定義される,そんな話を聞いたことがあるでしょうか.
と,前の自然数全体を次の自然数とするという規則で自然数を定義し,このようにして定義できるものすべてを考えたいのです.しかし,そのようにして定まるモノ全体を,集合として扱えるかを議論しなくてはなりません.ここら辺になってくると,集合が存在するということはどういうことか,という話になってくるので詳しくは説明しませんが,ともかく,現代数学(集合論)では無限公理と呼ばれる性質
を満たす集合 が少なくとも一つ存在することを仮定しています.無限公理を満たす に対し,共通部分 は無限公理を満たし,なおかつ よりも小さな集合です.それで,なるべく小さな無限公理を満たす集合を考えるのです.具体的には,無限公理を満たす集合 を固定し, の部分集合で無限公理を満たす集合 全体の共通部分は, のとりかたによらずただ一つ定まるので,それを とかきます.共通部分をとっている点から, は無限公理を満たす集合で最小の集合です.ここで写像 を で定義すると, はペアノの公理系を満たすことが(そんなに簡単ではありませんが)証明できます.一応,現代数学ではこのようにして自然数を取り入れています.
余談ですが,このような話を聞くと, は空集合 のことだと思い込んでしまう人がいるかも知れませんが,例えば実数全体 の元としての は ではありません. の部分集合としての は, とまったく同じ性質をもった別の集合なのです.この話に関してはいつか説明しましょう.
基本命題
以下,を自然数の体系とし,基本的な性質を示していきます.
命題
数学的帰納法の原理
を についての命題(論理式)とする.このとき,以下を満たせば .
- .
- .
先述しましたが,加法を定義すると が分かるので,まさしく帰納法の原理を表しています.
証明
を満たす 全体を とする.すなわち,.(1) より が成り立つから . とすると が成り立つから (2) より も成り立ち,.(P3) より.ゆえに .
命題
前者の存在
.すなわち, 以外の自然数は前者をもつ.
はある に対し と表せる自然数全体ですので,前者をもつ自然数全体を表します.また, は,集合 の直和を表す記号です.
証明
(P1)より,.よって は直和. とおくと,.また, とすると, だから,.(P3)より .
命題
.
自然数とその後者は必ず異なることを主張しています.
証明
とおく.(P1) より . とすると,. は単射だから .ゆえに .(P3) より .
ペアノの公理系をすべて用いる気持ちのよい証明です.
次のページで再帰性定理を証明します.