>>62
>>41の
>f：R^N → R^N/〜 は全単射である.
は間違いで、この部分は
>fは 始集合R^N から 値域R^N/〜 への対応である。
>fの定義域は、コーシー列全体の集合D である。
>任意の {x_n}∈D に対して、g({x_n})＝f({x_n}) であるような、
>写像g：D → R^N/〜 は全射である。
と訂正。簡単には、
>任意の {y_n}∈R^N/〜 に対して、或る {x_n}∈R^N が存在して、{y_n}＝f({x_n})。
と訂正。あと、>>45の一番最後の行の()内の「ε＞99/100 」は「0＜ε≦1/2」と訂正。つまり、最後の行は
>(0＜ε≦1/2 のときは, 同様の賭けごとに)確率 1-ε で勝てることも明らかであろう.
と訂正。