いったんできるだけ を使わないように書き直します。これが意味があるかどうかはもう少し進めてみないとわかりません。
自然数の帰納的表記
を集合、、 とし、 は
(N1)「 が
- 、
を満たすならば 」であるとします。
となるので が
を満たすとすると、 の順序を
と定義すると全順序集合になります。
後で自然数の定義をしようとしているので、ここで が出てくるのは良くないのですが、何かの記法がないと書くことができません。そこで に を 回以上有限回適用したもの全体の集合を と表すことにします。この書き方は自然数の性質を使っているわけではないので許すことにします。
は(N2)
- (N2-1)
- (N2-2)
- (N2-3)
- (N2-4)
- (N2-5)
を満たすものとします。
すると(N2-1)、(N2-2) から は(N1)の の条件を満たすので(N1)より となって
と定義すると(N2-1)、(N2-3)、(N2-4)、(N2-5)より
となって、 は順序 によって全順序集合になります。
このとき
(N3) とすると は最小元を持ちます。
[証明] とし
とおくと
- が存在し なので
よって(N1)より 、 となる が存在します。すなわち
- (1) 任意の に対して
- (2) ある が存在して
となる が存在します。 は全順序集合なので (2) より 、よって となり、(1) より なので となります。よって (1) より は の最小元となります。[証明終わり]
、 とします。 を満たす が存在しないとすると、 は(N1)の の条件を満たすので となって矛盾。よって
- (N4) 、 ならば となる が存在します。
自然数の順序による表記
逆に を順序集合で
- (N3) ならば は最小元を持つ
とします。 とすると が最小元を持つので は全順序集合となります。 を
と定義します( は の最小元を表します)。 となります。
ならば となります。同様に ならば となります。よって
となります。
の最小元を とします。
- (N4) 、 ならば となる が存在する
とします。
このとき(N1)「 が
- 、
を満たすならば 」が成り立ちます。
[証明] を
- (1) 、
- (2)
を満たす集合とします。 とすると が存在します。 ならば 、すなわち となります。
とすると(1)に反します。 とすると、(N4)より となる が存在します。、 となって(2)に反します。よって となります。[証明終わり]
とおきます。 と は(N2)
- (N2-1)
- (N2-2)
- (N2-3)
- (N2-4)
- (N2-5)
を満たします。
は(N1)の の条件を満たすので(N1)より
となります。