[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む46 (692ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
18(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2017/11/12(日)08:38 ID:cTg/FCp5(18/94)調 AAS
>>17 つづき
２．続けて時枝はいう
私たちのやろうとすることはQのコーシー列の集合を同値関係で類別してRを構成するやりかた(の冒頭)に似ている.
但しもっときびしい同値関係を使う.
実数列の集合 R^Nを考える.
s = (s1，s2，s3 ，・・・)，s'=(s'1， s'2， s'3，・・・ )∈R^Nは，ある番号から先のしっぽが一致する∃n0：n >= n0 → sn＝ s'n とき同値s 〜 s'と定義しよう(いわばコーシーのべったり版).
念のため推移律をチェックすると，sとs'が1962番目から先一致し，s'とs"が2015番目から先一致するなら，sとs"は2015番目から先一致する.
〜は R^N を類別するが，各類から代表を選び，代表系を袋に蓄えておく.
幾何的には商射影 R^N→ R^N/〜の切断を選んだことになる.
任意の実数列s に対し，袋をごそごそさぐってそいつと同値な(同じファイパーの)代表r= r(s)をちょうど一つ取り出せる訳だ.
sとrとがそこから先ずっと一致する番号をsの決定番号と呼び，d = d(s)と記す.
つまりsd，sd+1，sd+2,・・・を知ればsの類の代表r は決められる.
更に，何らかの事情によりdが知らされていなくても，あるD>=d についてsD+1， sD+2，sD+3，・・・
が知らされたとするならば，それだけの情報で既に r = r(s)は取り出せ， したがってd= d(s)も決まり，
結局sd (実はsd，sd+1，・・・，sD ごっそり)が決められることに注意しよう.
(補足)
sD+1， sD+2，sD+3，・・・：ここでD+1などは下付添え字
つづく
19(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2017/11/12(日)08:39 ID:cTg/FCp5(19/94)調 AAS
>>18 つづき
３．
問題に戻り，閉じた箱を100列に並べる.
箱の中身は私たちに知らされていないが， とにかく第l列の箱たち，第2列の箱たち第100 列の箱たちは100本の実数列s^1,s^2，・・・，s^100を成す(肩に乗せたのは指数ではなく添字).
これらの列はおのおの決定番号をもつ.
さて， 1〜100 のいずれかをランダムに選ぶ.
例えばkが選ばれたとせよ.
s^kの決定番号が他の列の決定番号どれよりも大きい確率は1/100に過ぎない.
第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-ε で勝てることも明らかであろう.
(補足)
s^k(D+l)， s^k(D+2)，s^k(D+3)，・・・, rD：ここで^kは上付き添え字、(D+l), Dなどは下付添え字
つづく
109(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2017/11/12(日)19:46 ID:cTg/FCp5(86/94)調 AAS
>>107
ところで、つまらん話だが
スレ44 2chｽﾚ:math
29 名前：１３２人目の素数さん[sage] 投稿日：2017/11/12(日) 17:42:33.20 ID:hePUuc7P
>>18
> ここでいいかな？
ダメです。下に回答されたし。
(引用終り)
と呼びに行ってくれた
で、
>>93 返信：１３２人目の素数さん[] 投稿日：2017/11/12(日) 17:48:53.87 ID:bcdob+HV [1/3]
>>69
どうもここにはあなたしか確率のことを理解できてる人はいないみたい
>>102 名前：１３２人目の素数さん[] 投稿日：2017/11/12(日) 18:25:41.86 ID:bcdob+HV [3/3]
>>101
ぷ
(引用終り)
という流れだ
だから、呼びかけたID:hePUuc7Pさんが、成りすましかどうか、一番分っているんじゃないかね？（＾＾
564(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2017/11/26(日)14:15 ID:1WQ1V5QH(11/34)調 AAS
>>533 補足
ここ、「ぷふ」さんの考えと私とは、微妙に異なる
つまり、時枝は、正確には、”x,y∈N”ではない
つまり、時枝は、自然数Nから直接選ぶでのはなく、一度同値類を経由して、代表元と問題の数列との一致部分の決定番号を使っているのだ（>>18）
だから、同値類をU、代表元r= r(s)（>>18）と問題の数列s（>>18）として、この決定番号の大小比較
もっと言えば、決定番号 d = d(s) ∈Nの問題であり
（直接の自然数の代表比較ではなく）代表元rと問題の数列sとの関係が優先なんだ
ここらのことは
>>12-15に書いた（＾＾
ただ、それを考えるのは落ちこぼれ素人衆には難しかろう
だから、「ぷふ」さんが分かり易く
>x,y∈N
>P(x<y)=1/2
>P(x<y0)=0
>これに尽きるねー
と例示したのはうなづける
>x,y∈N
>P(x<y)=1/2
>P(x<y0)=0
が理解できれば、
彼らにも、時枝も分るだろうということだね〜（＾＾
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.036s