メインコンテンツへスキップ

整列原理(Well-Ordering Principle)

··780 文字·2 分·
数学 帰納法 整列原理
著者
a
目次

簡単に教えろ
#

一つ以上の自然数の集まりを考えると必ず最小の数が存在する。

例えば {10, 432534, 8, 42, 1, 99999999, 1} \{10, \space 432534, \space 8, \space 42, \space 1, \space 99999999, \space 1 \} という自然数の集まりを考えると、11がその中の最小のものである。

直感的にはまあ当たり前の話だ。

整列原理(Well-Ordering Principle)
#

任意の空でないN\natnums(自然数全体の集合)の部分集合SSは最小元をもつというのが整列原理の主張だ。

紛らわしいので記号でも書いておく SNS S \subset \natnums \land S \neq \empty であればSSは最小元をもつ。

大した違いはないがここでは0N0 \in \natnumsであるとする。

証明
#

0S0 \in Sであれば00は最小の自然数であり、N\natnumsの最小元なのでSSは最小元をもつ。

0knkS0 \leqq k \leqq n \land k \in SのときSSが最小元をもつと仮定する。

そのとき0kn+1kS0 \leqq k \leqq n +1 \land k \in SであればSSが最小元をもつことを示す。

SSn+1n+1未満の元を持たなければ、n+1n+1が最小元である。

それ以外の場合は、SS \neq \emptyなので仮定より主張が成立する。

補足
#

帰納法が分かりにくかったので帰納の具体例を書いておく。

0k0kS0 \leqq k \leqq 0 \land k \in SならばSSは最小元00をもつ。

つぎに0k1kS0 \leqq k \leqq 1 \land k \in Sの場合を考える。
0S0 \in Sであれば00SSの最小元である。
0S0 \notin Sであれば11SSの最小元である。

つぎに0k2kS0 \leqq k \leqq 2 \land k \in Sの場合を考える。
SS22未満の元を持たない場合、22SSの最小元である。
その他の場合、先程のステップでSSが最小元を持つことが示されている。

これを繰り返せばSSが空でなければ最小元をもちそうなことがわかる。

感想
#

重要らしいが自分のレベルが低いのでよくわからなかった。

Related

商ベクトル空間に関する同値類の性質
·214 文字·1 分
数学 線形代数 商ベクトル空間 同値類 ベクトル空間
引っかかったので
零行列、零変換、零変換の表現行列
··1397 文字·3 分
数学 線形代数 零行列 零変換 表現行列
行列の計算で行列を列ベクトルや行ベクトルの集まりとみなして計算して本当に良いのか?
··1591 文字·4 分
数学 線形代数 行列