20/03/23 22:03:05 2vPoPtWs.net
>>625
> dmaxはいくらでも 大きく取れる
それは特定のある同値類(の代表元)に固定した場合であって
> ”有限の代表番号dの存在”は否定された
これは言えないよ
全ての同値類(ある1つの完全代表系に含まれる全ての代表元)について
は言えないから
もっと単純な例
実数を可算無限個の箱に入れていく
実数aに一致したら停止する
この場合aを固定したら有限回で停止しないと考えるのが妥当でも
実数のどれかに一致したら停止という条件なら有限回で停止する