19/01/26 13:12:15.53 JfQZB3iV.net
前スレ58 ｽﾚﾘﾝｸ(math板:812番)
812 自分：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 投稿日：2019/01/25(金) 21:15:16.76 ID:sw2GMLb3 [12/29]
>>804
選択公理なしで、R^Nから、時枝の数列のしっぽの同値類を作ることができる
ということの証明は？
(引用終り)
ここで何を問題にしているのは、下記の戸松玲治先生の「8 選択公理」PDFを見て頂きたいのだが
戸松玲治先生の教えるところ、下記のような、
”選択公理とは, このような無限回の操作が可能であることを認める公理である”ということなのだ
上記「R^Nから、時枝の数列のしっぽの同値類を作ることができる」というところで、”無限回の操作”をやっていないだろうか？
そこを、問題にしているのだ
選択公理と等価な命題で、”右逆写像の存在”などもある
同値類分類でやっていることは、簡単に言えば、
全体集合R^Nから、
非可算の同値類の族R^N/～へ
全ての元の数列 s = (s1，s2，s3 ，・・・)，s'=(s'1， s'2， s'3，・・・ ), ・・・∈R^N たちの
コピーを作って入れる
とする
そうすると、全ての元から、同値類の族R^N/～の元に対応がつき
これ即ち、選択関数が出来たということ
であれば、同値類が完成したあとで、いまさら選択関数を議論するなど、屋上屋でしょう
つまりは、同値類の族R^N/～を作る過程の”無限回の操作”として、選択公理を使っていますよねと
「いや、使ってないんだ」というなら、それ証明して下さいということ
証明を出して貰ったら、戸松玲治先生に手紙を送りますよｗ（＾＾；
まあ、出せない方に、100万円
URLﾘﾝｸ(www.math.sci.hokudai.ac.jp)
氏名: 戸松玲治 (とまつれいじ)
(抜粋)
1999年4月 東京大学理学部数学科 進学
2001年3月 同上卒業
つづく