Index / Reload / Edit
これは確かにわかってしまえば当たり前なので、それを感じてもらえばと思います。時間があるときでよいので。
お忙しいところいつも教えて頂きありがとうございます。$f$ が $\omega_1$ 全体で定義されている場合の証明はできました。ただしフォドアの補題に適用する最後の部分で $f \in M$ という条件は必要だと思います。問題は$f$ の定義域 $S$ が $omega_1$全体でない場合ですが、こちらはもう少し考えさせて下さい。
2の逆も言えるので、Sが一般の定常集合の場合でも大丈夫ですね。すぐに気がつかなかったのが情けないです。
すみません。上のコメントは大嘘です。
これは確かにわかってしまえば当たり前なので、それを感じてもらえばと思います。時間があるときでよいので。
お忙しいところいつも教えて頂きありがとうございます。$f$ が $\omega_1$ 全体で定義されている場合の証明はできました。ただしフォドアの補題に適用する最後の部分で $f \in M$ という条件は必要だと思います。問題は$f$ の定義域 $S$ が $omega_1$全体でない場合ですが、こちらはもう少し考えさせて下さい。
2の逆も言えるので、Sが一般の定常集合の場合でも大丈夫ですね。すぐに気がつかなかったのが情けないです。
すみません。上のコメントは大嘘です。