21/11/13 04:01:21.63 c0RFxVGB.net
>>318
>無理に対応漬けするならば
対応”漬け”? 漬物でもつくるのかい?
>0,1,・・・,n,n+1
> 対応↓
>ω,n,・・・,1,0
>つまり、上の列1に対応する有限のnを選ばざるを得ず
>結果、列の長さは有限にせざるを得ない
ああ、そうだよ
>だから、自然数の集合では、無限長の降鎖は、作れないことになる
ωだけでなく、いかなる順序数でもそうなる
超限帰納法で証明できるよ
極限順序数λについて、x<λとなる任意のxで降下列が有限なら
λについても降下列は有限 だってλ>xで、長さが+1されるだけだから
結局、極限順序数から降りるときには無限個の元をすっ飛ばすしかない
ω1を最初の非可算無限順序数とする
ω1>xとなるxは可算順序数だから
xとω1の間には非可算個の順序数があるが
降りるときには当然すっ飛ばすしかない
順序数aの要素を昇順に並べたとすれば、
いくらでも長い無限上昇列が存在するけど
それをただひっくり返しても無限降下列にはならないんだよ
整列順序の順序を逆転させても整列順序にならないんだから
整列順序で、空集合以外のいかなる部分集合にも
最大元が存在するかい?存在しないだろ?