現代数学の系譜工学物理雑談古典ガロア理論も読む56

[過去ﾛｸﾞ] 現代数学の系譜工学物理雑談古典ガロア理論も読む56 (768ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

718: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [] 2018/12/31(月) 12:51:11.41 ID:PWZHndJJ

>>715
必死に言い訳をするピエロちゃん ッﾌﾟ（＾＾

>箱の数を、無限個と考える。

無限個で無ければならない理由は？？

実際、時枝記事の”ふしぎな戦略”において、
お説（>>709）のように、時枝記事は”１）選択公理、２）数列しっぽの同値類”で成り立っている

既に、確認したように、貴方がすがっていた「選択公理」は、無限集合に限定されず、「選択公理」でできることは有限集合でも同じことは可能だ
”数列しっぽの同値類”は、上記（>>717）のように、有限長数列でも可能だ
また、同値類から導かれる代表元と決定番号もまた、有限長数列でも可能だ

なので、有限長の数列で論理が破綻するなら、無限長でも論理が破綻するだろう

というより、何よりも、反例は一つで良い。

有限長の数列ではあるけれども、そこに反例が存在するならば
「無限」という要素を加えて、”無限長ゆえに成り立つ”ということを、改めて証明すべき

ところで、時枝記事を読む限り
時枝記事前半の”ふしぎな戦略”の説明において、無限長で無ければならない数学的要素は、一つも無い
（繰返すが、時枝記事は”１）選択公理、２）数列しっぽの同値類”で成り立っている）

全て、有限長数列でも可能な数学的要素のみしか使われていない
（これについては、例えば、時枝記事アスキー版 スレ47ご参照 https://rio2016.5ch.net/test/read.cgi/math/1512046472/18-25 ）

有限で、唯一の不具合は、有限の場合、「D=m の場合、開けるべき箱が無い」(>>682)ということだが
”c')ここで、簡単のために、部分集合として、決定番号が、1<= d <=(m-1)の場合を考える”とすること（>>706）で、この不具合は回避できる

どうぞ、”数列が無限長で無ければならない理由”を説明してください
というより、”数列が無限長で無ければならない理由”が説明できない以上、それは数学ではない！！

そして、”数列が無限長で無ければならない理由”を説明する過程で、
貴方は「なぜ時枝の”ふしぎな戦略”が成り立たないか」を自得するだろう

以上

http://rio2016.5ch.net/test/read.cgi/math/1544924705/718