TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
増田芳雄が増田哲也にしたことは躾か虐待か決着を
【未解決問題】奇数の完全数が存在しないことの証明4
未解決問題の証明論文は論文誌には載らない
現代数学の系譜 古典ガロア理論を読む36
■初等関数研究村■
   0.99999……は1ではない その10
数学の洋書vol.2
Putnam Examについて
Inter-universal geometry と ABC予想 37
現代数学の系譜 工学物理雑談 古典ガロア理論も読む47
3 :
(まあ、時枝記事が書いていることが分からないと、スレの住人も困るだろうから)

2.続けて時枝はいう

 私たちのやろうとすることはQのコーシー列の集合を同値関係で類別してRを構成するやりかた(の冒頭)に似ている.
但しもっときびしい同値関係を使う.
実数列の集合 R^Nを考える.
s = (s1,s2,s3 ,・・・),s'=(s'1, s'2, s'3,・・・ )∈R^Nは,ある番号から先のしっぽが一致する∃n0:n >= no → 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 ごっそり)が決められることに注意しよう.

4 :
(趣旨は同じ)

3.つづき

問題に戻り,閉じた箱を100列に並べる.
箱の中身は私たちに知らされていないが, とにかく第l列の箱たち,第2列の箱たち第100 列の箱たちは100本の実数列S^1,S^2,・・・,SlOOを成す(肩に乗せたのは指数ではなく添字).
これらの列はおのおの決定番号をもつ.
さて, 1〜100 のいずれかをランダムに選ぶ.
例えばkが選ばれたとせよ.
どの決定番号が他の列の決定番号どれよりも大きい確率は1/100に過ぎない.
 第1列〜第(k-1) 列,第(k+1)列〜第100列の箱を全部開ける.
第k列の箱たちはまだ閉じたままにしておく.
開けた箱に入った実数を見て,代表の袋をさぐり, S^1〜S^(k-l),S^(k+l)〜SlOOの決定番号のうちの最大値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)=r(D)と賭ければ,めでたく確率99/100で勝てる.
確率1-ε で勝てることも明らかであろう.

思考盗聴器を開発せよ
丸2日考えたけど一様収束と各点収束の違いが分からない
Inter-universal geometry と ABC予想 38
0.99999……は1ではない その2
素数について教えていただきたいのですが
作用素環論
面白い問題おしえて〜な 30問目
惑星ニビルの衝突
分からない問題はここに書いてね460
もし、体育教師が数学の授業をやったら?
--------------------
シマノリールスレ PART237
【mobage】アイドルマスターシンデレラガールズ23379人目
【onuk】ura part4【パクリ】
【死語】浜田剛史の漢のペピトーン【不良外人】
教師を辞めたい 7
●山岳用軽量テント●69張り目
【避難誘導】彼岸島松本光司丸太535本目
【食べ放題】雛鮨について語る【残すと罰金!?】
トランプ「シンゾウの言うことに従う、まとめてくれ」NHK「安倍首相の調整力でG7合意がまとまりました」→トランプ「合意は承認しない」 [965031448]
【ニューギン】 CRシュタインズ・ゲート 10周目 【シュタゲ】
言いたいことだけ言って立ち去るスレッドPart2725
プライベートジム、パーソナルトレーニング
▲▲ さよなら三角 ■■7連想目
●●インヴェガ、ゼプリオンについて Part5●●
宝塚 娘役について語るスレッド 233
【邪神乱禍】ランカ・リー 最強ヒドイン決定戦39.8戦目
お ま ん こ 舐 め た い★7
☆タックルしかねえ馬鹿スポーツがラグビーだからな 地下売上議論24083★
【シュート】不穏試合を語る Part 90 【セメント】
レピッシュしりとり
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼