15/12/30 03:40:39.33 2X+yPHPV.net
この証明は誤りだわ、どこが誤りかわかりますか？
難しいのは、ある S~∈R^N/～ のどの S,S'∈S~ も ある n0 から先は一致しているはずなのに、
そのような n0 全体の集合 N0 を考えたとき、N0 は上に有界でないんだなあ。
もし上に有界だと仮定すると、maxN0=m0 が存在するが、m0+1 以降しか一致しない
実数列が存在して、同じ S~ に属すはずだから矛盾する。
15/12/30 03:40:39.33 2X+yPHPV.net
この証明は誤りだわ、どこが誤りかわかりますか？
難しいのは、ある S~∈R^N/～ のどの S,S'∈S~ も ある n0 から先は一致しているはずなのに、
そのような n0 全体の集合 N0 を考えたとき、N0 は上に有界でないんだなあ。
もし上に有界だと仮定すると、maxN0=m0 が存在するが、m0+1 以降しか一致しない
実数列が存在して、同じ S~ に属すはずだから矛盾する。