07/10/22 21:26:21
>>695
681は定義だとは書いてないけど。
＞こんな説明では不十分だし、
というか、こんな説明は6-655に書いてある、
っていえばいいんじゃない？
実際こう書いてあるし。
＞Γ_0 への収束列は
＞Γ_0[0]=φ_0(0), Γ_0[k+1]=φ_{Γ_0[k]}(0)
＞で定められる。
計算すれば、>>681で書いてあることと同じになるよね。
07/10/22 21:26:21
>>695
681は定義だとは書いてないけど。
＞こんな説明では不十分だし、
というか、こんな説明は6-655に書いてある、
っていえばいいんじゃない？
実際こう書いてあるし。
＞Γ_0 への収束列は
＞Γ_0[0]=φ_0(0), Γ_0[k+1]=φ_{Γ_0[k]}(0)
＞で定められる。
計算すれば、>>681で書いてあることと同じになるよね。