[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む45 (835ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
383(5): 現代数学の系譜 工学物理雑談 古典ガロア理論も読む 2017/11/04(土)15:13 ID:sjIJjomh(10/26) AAS
>>376 つづき
＜おちこぼれ達のための補習講座12＞
（決定番号の箱は、「開けちゃった」又は「開けちゃいました」の定理）
１．時枝記事はいう （>>19より）
”第k列 の(D+1) 番目から先の箱だけを開ける：s^k(D+l)， s^k(D+2)，s^k(D+3)，・・・.
・・・ s^k(d)が決められるのであった.”
２．つまり、(D+1) 番目から先の箱だけで、どの同値類に属するかが分る
(D+1) 番目からのずっと先、どこからかで、しっぽが一致する数列が存在するべきだ
３．いま、簡単のために、例えば同値類 Uπに係る出題が成されたとする
代表を＜補習講座11＞の数列 Rπ ＝(3,1,4,1,5,・・・）（形式的冪級数 A[[X]]π ＝3+1*X+4*X^2+1*X^3+5*X^4・・・）とする
(D+1) 番目からのずっと先、例えば(D+1+ j) 番目( j>1) から先が、数列 Rπとしっぽが一致することが分るわけだ
４．ということは、同値類 Uπの中には、同じように、
(D+1+j) 番目から先のしっぽが数列 Rπと一致する元もあれば、
(D+1+j+1) 番目から先のしっぽが数列 Rπと一致する元もあれば、
(D+1+j+j') 番目(j'>1) から先のしっぽが数列 Rπと一致する元もあるはずだ。
５．ところで、いままで簡単のために、代表を数列 Rπとしていたが、数学的に一般には代表はRπである必要はなく、平等に同値類 Uπの中から選ばれるべきだ
６．そうなると、＜補習講座10＞で示したように、多項式を選ぶのだから、(D+j+j') 次以上の多項式が選ばれる確率が、圧倒的に高い
７．もし、代表が、＜補習講座10＞における(D+j+j') 次以上の多項式が選ばれた場合、決定番号dは、d >=(D+1+j+j') となる
８．この場合、しっぽの箱を開けて、属する同値類 Uπが分った瞬間に、決定番号d>=(D+1+j+j') まですでに開けられてしまっており、”決定番号の箱は、「開けちゃった」又は「開けちゃいました」の定理”成立（＝時枝解法不成立）となる
つづく
384(4): 現代数学の系譜 工学物理雑談 古典ガロア理論も読む 2017/11/04(土)15:15 ID:sjIJjomh(11/26) AAS
>>383 つづき
＜補足＞
１．本来同値類と商集合とは、簡単には、同じ性質を持つものを集めて、一つに纏めて扱おうというもの。
（参考 外部ﾘﾝｸ:ja.wikipedia.org 同値類 ）
２．同値類の集合そのものを扱うよりも、代表を取り出して、それで商集合として扱うと話が簡単になる場合が多い。
３．ところで、ある集合の元が、ある一つの同値類属することが分っても、その同値類が共通に持つ性質は本来その元の持つ性質だから、それだけでは得られる情報は無いに等しい
４．また、その元と代表とは、同値類が共通に持つ性質が同じという以外には、本来共通する性質はないのが一般だ
５．だから、ある元が、しっぽの先の同値類で、しっぽの先の箱を開けて、ある同値類に属することが分ったら、その元と代表とで期待できるのは、co-tailの共有まで。
６．そう考えると、「開けちゃった」又は「開けちゃいました」の定理の成立は、当たり前と言えば当たり前にすぎない。
（しっぽの先の箱を開けて、ある同値類に属することが分ったということは、”co-tail”を含む情報が分ったということ。この後、代表を見ても、付け加わる情報は、一般的にはゼロってことで、納得できるだろう（＾＾ ）
以上
つづく
387: 2017/11/04(土)15:29 ID:FlBMOH6D(3/10) AAS
>>383
これは酷い
395: 2017/11/04(土)16:33 ID:aW5QzIg8(5/8) AAS
>>383
>(無限数列と代表の差となる)有限列を選ぶのだから、
>D次以上の有限列が選ばれる確率が、圧倒的に高い
>D次以上の有限列が選ばれた場合、決定番号dは、d >=D+1となる
今すぐ「箱入り無数目」の記事を読んで、Dの定義を確認しろ
Dは、100列の中から選んだ列以外の99列の決定番号の最大値
選んだ列の決定番号dが、Dより大きい確率はたかだか1/100
つまり圧倒的に低いｗ
790(4): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2017/11/11(土)15:16 ID:nimHTkvQ(18/25) AAS
落ちこぼれ衆は分ってないね
>>767
ここで、”When, in step 3, Bob reveals {(x0, f(x0)) ｜ x0 ≠ x }, you know what equivalence class f is in, because you know its values at all but one point. ”
とあるでしょ？（＾＾
だから、開けた箱は分る。同値類 >>383 ＜おちこぼれ達のための補習講座12＞ （決定番号の箱は、「開けちゃった」又は「開けちゃいました」の定理）の通り
なお、例えば循環小数のように、規則性がある場合には、開けた箱の情報から開けていない箱の推測がつくよ（＾＾
791(1): 2017/11/11(土)15:19 ID:zaTIv++V(4/12) AAS
>>790
>>383は代表元を確率変数にしてる時点でアウト！ゲームセット！
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.042s