19/10/12 18:13:02.90 Vy+smElV.net
もしかしてxnのnが動いてるところのNとxnが動いてるF(Ω)を混同してるのかな？
Nは通常のωを想定して書いてます。
ホントは自然数と対応付くものならなんでもいいんですが混乱するのでN=ωにします。
それともう議論が発散するだけなので数列の順は降鎖でいきます。
もうそこで議論が発散するのは避けましょう。
とりあえず
--- claim(※) ---
S={ n | ∃(x1,x2,‥,xn), Ω=x1, x[i]∋x[i+1]}
には最大値が存在する。
---
このclaimにも名前をつけて(※)とします。
これを示すために(※)を否定して
--- Hypothesis (h) ---
S={ n | ∃(x1,x2,‥,xn), Ω=x1, x[i]∋x[i+1]}
には最大値が存在しない。
----
としましょう。
すると
X[m]:={(x1,x2,‥,xm) | x1=Ω, x[i]∋x[i+1]}‥‥(1)
とおくとき
--- ness. cond. (nc1) ---
全てのm∈Nに対してX(m)は空集合でない。
---
が導かれる。
ここまではいいでしょうか？