[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む67 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
991(4): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2019/06/13(木) 13:11:06.92 ID:fIom6At7(8/11) AAS
>>989
(引用開始)
つまりあなたは
『決定番号が「ある有限値」以下でなければ時枝解法は不成立である』
と主張したのでしょうか？
(引用終わり)
いいえ
私の主張は、
『時枝解法とは、”ある有限値D を与えて、可算無限数列の決定番号がD以下になるようにできる”とすることで成立している』というもの
（具体的には、「加算無限数列のaD, aD+1,・・・・があれば、”aD+1,・・・・”を知って、aDが確率1-εで決められる」というものだと）
しかし、加算無限数列のaD, aD+1,・・・・など、関数論にしろ、形式的冪級数論の中で、簡単に実現できる
だが（関数論、形式的冪級数論では）「”aD+1,・・・・”を知って、aDが確率1-εで決められる」ことには、なっとらんぞと（反例はこれですよ）
＞では証明をどうぞ。
おれの（時枝不成立の）証明は、>>641＆>>520に示した反例構成（関数論および形式的冪級数）で終わっている
その流儀の証明が欲しければ、ID:xx1WPYaaさんへ頼め（＾＾；
993(3): １３２人目の素数さん [sage] 2019/06/13(木) 13:26:32.25 ID:DhrTdtd0(8/12) AAS
>>991
つまりあなたの主張は
『”ある有限値D を与えて、可算無限数列の決定番号がD以下になるようにできる”が時枝解法成立のための必要条件である』
ということでよいですね？
では上記条件が必要である理由を示して下さい。
994(1): １３２人目の素数さん [sage] 2019/06/13(木) 13:33:50.07 ID:DhrTdtd0(9/12) AAS
>>991
>おれの（時枝不成立の）証明は、>>641＆>>520に示した反例構成（関数論および形式的冪級数）で終わっている
勝手に勝利宣言されても困りますね。
あなたがやってることは
「俺には証明はできないので、俺の言いたいことを汲み取ってくれ」
と懇願しているだけですよ？
そのような懇願は、あなたの盟友 ID:xx1WPYaa さんへ頼んではいかがでしょう？
996(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2019/06/13(木) 13:49:40.48 ID:fIom6At7(9/11) AAS
>>994
＞と懇願しているだけですよ？
懇願などしていない
そのことは、大学レベルの関数論、あるいは形式的冪級数論を、かじった程度で、自明に分かる
（まあ、時間が経てば、そのうちそれが分かるだろう）
本来ヒントなど不要
ヒントを出して分からんレベルの人に、ご丁寧に説明する気は無い
（因みに、>>991もヒントになっているけどな）（＾＾
997(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2019/06/13(木) 14:01:27.31 ID:fIom6At7(10/11) AAS
>>993
ほいよ（＾＾
スレ47 2chｽﾚ:math
＜時枝問題（数学セミナー201511月号の記事）より＞
第1列〜第(k-1) 列，第(k+1)列〜第100列の箱を全部開ける.
第k列の箱たちはまだ閉じたままにしておく.
開けた箱に入った実数を見て，代表の袋をさぐり， s^1〜s^(k-l),s^(k+l)〜s^100の決定番号のうちの最大値Dを書き下す.
いよいよ第k列 の(D+1) 番目から先の箱だけを開ける：s^k(D+l)， s^k(D+2)，s^k(D+3)，・・・.いま
D >= d(s^k)
を仮定しよう.この仮定が正しい確率は99/100，そして仮定が正しいばあい，上の注意によってs^k(d)が決められるのであった.
おさらいすると，仮定のもと， s^k(D+1)，s^k(D+2)，s^k(D+3)，・・・を見て代表r＝r(s^k) が取り出せるので
列r のD番目の実数r(D)を見て， 「第k列のD番目の箱に入った実数はs^k(D)＝rDと賭ければ，めでたく確率99/100で勝てる.
確率1-ε で勝てることも明らかであろう.
(引用終わり)
↓
上記の通り、有限値Dを決める
↓
私の主張は、（>>991より）
『時枝解法とは、”ある有限値D を与えて、可算無限数列の決定番号がD以下になるようにできる”とすることで成立している』というもの
QED
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 2.157s*