Edit Comment on
20090203-1
n[0] = "くるる"; m[0] = "これは確かにわかってしまえば当たり前なので、それを感じてもらえばと思います。時間があるときでよいので。"; d[0] = "2009-02-04 23:25:58"; n[1] = "かがみ"; m[1] = "お忙しいところいつも教えて頂きありがとうございます。$f$ が $\omega_1$ 全体で定義されている場合の証明はできました。ただしフォドアの補題に適用する最後の部分で $f \in M$ という条件は必要だと思います。問題は$f$ の定義域 $S$ が $omega_1$全体でない場合ですが、こちらはもう少し考えさせて下さい。"; d[1] = "2009-02-05 16:35:47"; n[2] = "かがみ"; m[2] = "2の逆も言えるので、Sが一般の定常集合の場合でも大丈夫ですね。すぐに気がつかなかったのが情けないです。"; d[2] = "2009-02-06 09:33:44"; n[3] = "かがみ"; m[3] = "すみません。上のコメントは大嘘です。"; d[3] = "2009-02-06 21:49:58";
(password)