TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
現代数学の系譜11 ガロア理論を読む22
dx dy の意味は?
【数学検定】数学検定(数検)総合スレッド Part.12
軍事機密にされた私が日本数学会事務局宛てに書いた素数の式。
軍事機密にされた私が日本数学会事務局宛てに書いた素数の式。
関数解析
Michael F. Atiyahがリーマン予想を証明しました。
ようじょですpart4
まだ中学生だけど大学の数学科に行きたい
人工知能は数学者になれるか?
2 :
前スレ>>699 再録 (現代数学の系譜11 ガロア理論を読む17)
1.時枝問題(数学セミナー201611月号の記事)の最初の設定はこうだった。
「箱がたくさん,可算無限個ある.箱それぞれに,私が実数を入れる.
どんな実数を入れるかはまったく自由,例えばn番目の箱にe^πを入れてもよいし,すべての箱にπを入れてもよい.
もちろんでたらめだって構わない.そして箱をみな閉じる.
今度はあなたの番である.片端から箱を開けてゆき中の実数を覗いてよいが,一つの箱は開けずに閉じたまま残さねばならぬとしよう.
どの箱を閉じたまま残すかはあなたが決めうる.
勝負のルールはこうだ. もし閉じた箱の中の実数をピタリと言い当てたら,あなたの勝ち. さもなくば負け.
勝つ戦略はあるでしょうか?」

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-ε で勝てることも明らかであろう.

5 :
>>2-4
つくづく、数学表現に不便な板だ
上付き添え字、下付添え字が使えない

おっと訂正
>>3
∃n0:n >= no → sn= s'n とき
 ↓
∃n0:n >= n0 → sn= s'n とき

>>4
S^1,S^2,・・・,SlOO
 ↓
S^1,S^2,・・・,S^lOO

(補足)
>>3
sD+1, sD+2,sD+3,・・・:D+1などは下付添え字

>>4
S^k(D+l), S^k(D+2),S^k(D+3),・・・:^kは上付き添え字、(D+l)などは下付添え字

0.99999……は1ではない その7
松坂君の日記
10以外で一番10に近い数を挙げたやつ優勝
馬鹿「大学の数学は哲学みたいなもの」
♂♂♂♂♂♂♂♂♂♂♂   生物実験 13
モンティーホール問題を高校生にわかるように説明してくれ
新井紀子スレッド
(・∀・)ヤコビヤーン! 2
【数学者】ID:JtmyZOC7【解析】
数学科の就職って……
--------------------
河合塾名駅校東大京大医進館【受かりSOW】part48
【バーチャルYoutuber】にじさんじ有ンチスレ18614【arkラグナロク賞味期限1週間】
魔進戦隊キラメイジャー エピソード10
【浦安〜原木】 浦安 行徳オフ11 【舞浜〜幕張】
【話題】実は「女医にかかれば長生きする」 明るみに出た医学界の闇、構造変革できるのか[08/22]
【USB】パソコン用ライト【LED】
☆歯科大学の役割は終了、即時廃校にせよ★
【韓国】 規制をかけたり緩めたり、韓国を揺さぶり続ける日本の「蛇口戦略」[08/09]
牛乳+イソジン=沃化脂乳液 がん患者の間で癌が治ると話題に。医師が提唱(※整形外科医)
緊急事態宣言はバイク乗ったら駄目なの? Part6
今回の山口のKのせいで最悪の3周年になった せめてリクアワが終わるまで黙ってろよ と、思ってるNGTヲタいる?
【食いてェ奴にゃ】ワンピースのサンジ応援スレ95【食わせてやる!!】
大園桃子がモバメをまったく送らなくなってしまった
【ファンスレ】のし部屋へ行こう!【(・ω・)ノシ】
【アニメ専用】AmazonプライムビデオPart4
池上「消費税は35%必要」<=よくぞ言った!1000兆もの借金があるなら増税は不可避。反対者は論理的に反論してくれ。 [623653551]
十万石饅頭スレ 十九個目
ショタは規制しなくていいの?
ブラックサタン(銀蝿一家)vsBARAKI
ドラゴンタクティクス 王女18人目
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼