19/04/21 22:23:27.77 mF1nMenr.net
>>842
ついでに
スレ47 ｽﾚﾘﾝｸ(math板:22番)
(引用開始)
数学セミナー201511月号P37 時枝記事に、次の一文がある
「R^N/～ の代表系を選んだ箇所で選択公理を使っている.
その結果R^N →R^N/～ の切断は非可測になる.
ここは有名なヴィタリのルベーグ非可測集合の例(Q/Zを「差が有理数」で類別した代表系， 1905年)にそっくりである.」
「しかし，選択公理や非可測集合を経由したからお手つき， と片付けるのは，面白くないように思う.」
(引用終り)
ここも、おかしい
（>>140より）
URLﾘﾝｸ(www.ma.huji.ac.il)
Sergiu HART The Hebrew University of Jerusalem
(抜粋)
URLﾘﾝｸ(www.ma.huji.ac.il)
PUZZLES
・Choice Games URLﾘﾝｸ(www.ma.huji.ac.il)
Some surprising results involving the Axiom of Choice, and also without it!
URLﾘﾝｸ(www.ma.huji.ac.il)
（>>32もご参照）
とあって、the Axiom of Choiceを使わない game2も、それを使うgame1と全く同様に成立つと書かれている
ならば、game2では、ヴィタリ類似のルベーグ非可測集合は出現しないので、無関係
よって「選択公理や非可測集合を経由したから」の記述は、ミスリードだね（時枝は、game2を知らなかったみたい）
（なお、余談だが、Sergiu Hart氏は、game2もgame1も、不成立を知って書いているようだ）