TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
Inter-universal geometry と ABC予想 否定派
【数セミ】エレガントな解答をもとむ2【2016.11】
暗号数学について語ろう。ROUND 5
P=NP
荻野暢也
関数解析(Functional Analysis)
0.99999……は1ではない その5
現代数学の系譜 工学物理雑談 古典ガロア理論も読む45
【未解決問題】奇数の完全数が存在しないことの証明3
Putnam Examについて
- 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-ε で勝てることも明らかであろう.
なぜ数学板は廃墟と化したのか
面白い問題おしえて〜な 27問目
サイコロはどの目も出る確率が6分の1←根拠は?
一つの整数を二つの平方数の差で表す方法
P vs NP
山口大学理学部数理科学科
ルジャンドル予想を証明したかもしれない
なんじゃこら哲也
Inter-universal geometry と ABC予想 29
現代数学の系譜11 ガロア理論を読む34
--------------------
2020年レディース福袋6
【VW】ゴルフ5専用 その30【GOLF】
☆鉄柱特攻ドイツラリー最下位でクサクサしてマツダ社長宛怪文書公開デナイノ@チャンゲ国沢639★
【五等分の花嫁】中野四葉ちゃんは巨乳天使かわいい 2
【3DS】世界樹の迷宮X(クロス) 182F
MM-88じみて来た新型コロナ。異常な感染率に加え回復後にも再感染すると判明。次は夏にも感染する?
成文憲法の必要性は無いと思う
【AKB/NMB48卒業生】市川美織応援スレ☆257【フレッシュレモン・みおりん・広島レモン大使】
バツイチ男、一緒にがんばろうぜ! Part120
典韋に貴重な無双モード枠を割いたことが許せない
◇インド 印度 INDIA part 100◇
2/15(土) 第55回 デイリー杯クイーンカップ(GIII)
【さようなら】キドリキドリ【洋楽コンプレックス】
三沢さんにエルボーを習おう
Jリーグ日程をコソーリ教えあうスッドレ Part42
PC-98を懐かしむスレ32【非エロ】
【違法】ライトを点滅させてる人 95人目【犯罪】
ヘッドライトスレ
【新型コロナ】日本ってマジで今後どうなると思う?東京閉鎖ありえるかな? [298176652]
西東京市のいい加減さをKしちゃいます
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼