TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
現代数学はインチキのデパート
中1の弟が数学好きなようだから先取りさせたい
数学板の天才方、表現論の教科書教えてください 数論方面で
【未解決問題】奇数の完全数が存在しないことの証明4
人工知能は数学者になれるか？
受験終わったから大学の数学に手を出したいんだけど
Inter-universal geometry と ABC予想 41
圏論、カテゴリー論
Inter-universal geometry と ABC予想 29
大学受験数学如きで挫折して文系に行くやつｗｗｗｗ
- 9 ：
- <時枝問題>
http://rio2016.2ch.sc/test/read.cgi/math/1466279209/2-7
過去スレ 再録
１．時枝問題（数学セミナー201611月号の記事）の最初の設定はこうだった。
「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる.
どんな実数を入れるかはまったく自由，例えばn番目の箱にe^πを入れてもよいし，すべての箱にπを入れてもよい.
もちろんでたらめだって構わない.そして箱をみな閉じる.
今度はあなたの番である.片端から箱を開けてゆき中の実数を覗いてよいが，一つの箱は開けずに閉じたまま残さねばならぬとしよう.
どの箱を閉じたまま残すかはあなたが決めうる.
勝負のルールはこうだ. もし閉じた箱の中の実数をピタリと言い当てたら，あなたの勝ち. さもなくば負け.
勝つ戦略はあるでしょうか?」
２．続けて時枝はいう
私たちのやろうとすることは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などは下付添え字
新井紀子スレッド
現代数学の系譜11 ガロア理論を読む28
ゲーム理論について
統計ソフトSTATAの部屋 Ver.2
もっと前頭葉を使いなさいよ
Inter-universal geometry と ABC予想 41
オススメ大学
【理3悲報】 高専＞理3
現代数学の系譜11 ガロア理論を読む29
巨大数探索スレッド14
--------------------
鈴木雅之 Part3
【豚】JGC豚乞食ブロガーを追放せよ【乞食】
【ヤフクソ】Yahoo!クラウドソーシング Part.62
ミラキュラス レディバグ&シャノワール★２
ゴキブリ料理について語るすれ！！！！！
【プリンセス・プリンシパル】アンジェは黒蜥蜴星人かわいい Part.2
テイルズ総合スレ part1082 ﾜｯﾁｮｲなし
鮎川哲也賞とその出身作家4
山本某なんて泡沫野党芸人応援しても無駄だと気づけよ、糞サヨク
ウイングスの最高傑作は？ ３
無双OROCHI総合 507K.O.COUNT
はやくｗはやくｗ続きをやって欲しいアニメinネ実
アルコールの尿を出す女
■ Intel CPU等に深刻な欠陥 24
■千円工房■夢蔵人〜ゆめくろーど〜■(株)寺子屋■
【CC2】テイルコンチェルト TAILCONCERTO part3
【GEO】オンラインDVDレンタル ぽすれん306【郵便】
かわいい<川原麻実>
バンド名募集・・・
ﾃﾞｨｽｶﾊﾞ★ﾅｼｮｼﾞｵ★ﾋｽﾄﾘ★ｱﾆﾌﾟﾗ【ﾄﾞｷｭﾒﾝﾀﾘｰ総合】807
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
