集合.22　整列可能定理、超限帰納法

ホーム
大学数学, 集合と位相
集合.22　整列可能定理、超限帰納法

大学数学

2018.07.4

集合.22　整列可能定理、超限帰納法

整列集合と整列可能定理

前回定義した用語を用いて、整列集合を定義します。

◆Def.SetTop.2.22.1.

$X$ 上の順序 $\leq$ が整列順序であるとは、 $\leq$ が全順序であって、 $X$ の空でない任意の部分集合は必ず $\leq$ に関する最小元を持つことを言う。

整列順序 $\leq$ が定義された集合を整列集合という。

Rem.1. 定義から特に、 $X$ 自身に最小元が存在することに注意しましょう。 $X$ の最小元を $x_0$ とすると、これを除いた $X \verb|\| \{x_0\}$ にも定義から最小元 $x_1$ が存在します。求め方から、 $x_1$ は $x_0$ の次に小さな元です。同様のことを繰り返すと、 $X$ のすべての元は $x_0 \leq x_1 \leq x_2 \leq \cdots$ と小さいものから順に並べることができます。これが整列集合という名前の所以です。

◇Ex.SetTop.2.22.2.

自然数全体の集合 $\mathbb{N}$ で通常の大小関係を考えたものは整列集合です。実際、任意の空でない部分集合について、それに属する最小の自然数が存在します。

一方で、 $\mathbb{Z}$ で通常の大小関係を考えたものは整列集合ではありません。しかし、例えば

$0 < 1 < -1 < 2 < -2 < \cdots$

のように順序を定めれば、整列集合とすることができます。

このように、うまい順序を考えてやることで整列集合とすることができるのですが、実数全体の集合 $\mathbb{R}$ などとなってくるとさすがにうまい方法がわかりません。

しかしながら、選択公理と同値な命題である整列可能定理は、たとえ具体的に求めることができなくても、任意の集合は整列集合とすることができると言っています。

◆Thm.SetTop.2.22.3. （整列可能定理）

任意の集合は、適当な順序によって整列集合とすることができる。

超限帰納法

当ページでも何度か用いていますが、数学の命題の証明手法として数学的帰納法というものがあります。

どういうものか改めて説明しますと、自然数 $n$ についての命題 $P(n)$ があるとき、

１． $P(0)$ が成り立つ
２． $P(n)$ が成り立つならば、 $P(n+1)$ が成り立つ
３．したがって、すべての自然数 $n$ について $P(n)$ が成り立つ

という、あたかも帰納的に見える立派な演繹法です。２．によって最初の $P(0)$ が成り立つという性質がドミノ倒しのように伝播していき、すべての自然数について成り立つことがわかるというわけです。

２．の部分は次の２’．に置き換えることができます。

２’． $n$ 以下のすべての自然数 $k$ について $P(k)$ が成り立つならば、 $P(n+1)$ が成り立つ。

このようにすると、すべての $P(k)$ が仮定として使えるので、より強力なものになります。

さて、数学的帰納法でポイントになるのは２．（または２’．）から３．が言えるということで、このことは自然数というものの性質に根差しています。

自然数の定義の仕方には色々ありますが、総じて $n$ の次に $n+1$ がくるといったように帰納的に定義されており、実は定義そのものに数学的帰納法の手法を内包しています。ですから、自然数の定義を公理として認めるならば数学的帰納法の正しさが保証され、逆に数学的帰納法を公理として認めるならば自然数の定義が可能であるという表裏一体の関係になっています。