07/10/27 00:40:54
たまにこのスレもレス集中しますね。
例のあの人はやはりウr(ry
・・・て、余計にネタ振るとさらに荒れるのでやめとこう。
ええと、今更ですが
>>772の質問には悪いけど答えづらいですね・・・。
＞L[α](ω)やL[9](L[10](ω)) という記述があるので定義域は自然数じゃない
()の中はxは自然数、ω（又はλなど）は順序数と定義しているだけです。
＞φ_ωの定義がありませんが
説明不足でしたがlim L[α](φ_n) = L[α](φ_ω)と考えていいです。
これからはφ_ωに統一します。
＞これはどこを見れば書いてありますか
うーん、そのまま式を書いたとおりとしか答えようがありませんが・・・。
一般的にはλを順序数（の式）として、
L[a](λ+1) = L[a-1](L[a](λ))、 L[λ_ω](x) = L[λ_x](x)
と定義しています。
L[a](ω) = λ_aとおくと、
L[L[ω](ω)](x) = L[L[x](ω)](x)
が成り立つことになります。
L[ω](ω) はω*ω、ω^2などと同じく帰納的です。
それでもわからないなら
自分の書き方表現がわかりづらくて下手だと言っておきます。