TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
現代数学の系譜 古典ガロア理論を読む36
フィールズ賞 欲しい人スレ
□□□□□□□□□□□□   朝日生命 2
高校数学の質問スレPart400
未解決問題の証明論文は論文誌には載らない
(・∀・)ヤコビヤーン! 2
「理論物理学のための幾何学とトポロジー」
lim[n→1-0]{n} < 0.99999…(循環小数)
分布 distribution 超関数 hyperfunction一般化関数
P=NP
2 :
さて
(現代数学の系譜11 ガロア理論を読む18)>>2 再録 
1.時枝問題(「箱入り無数目」数学セミナー2015.11月号の記事)の最初の設定はこうだった。
「箱がたくさん,可算無限個ある.箱それぞれに,私が実数を入れる.
どんな実数を入れるかはまったく自由,例えばn番目の箱にe^πを入れてもよいし,すべての箱にπを入れてもよい.
もちろんでたらめだって構わない.そして箱をみな閉じる.
今度はあなたの番である.片端から箱を開けてゆき中の実数を覗いてよいが,一つの箱は開けずに閉じたまま残さねばならぬとしよう.
どの箱を閉じたまま残すかはあなたが決めうる.
勝負のルールはこうだ. もし閉じた箱の中の実数をピタリと言い当てたら,あなたの勝ち. さもなくば負け.
勝つ戦略はあるでしょうか?」

2.続けて時枝はいう
 私たちのやろうとすることは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などは下付添え字

文理融合のための数学教育
「何の役に立つんですか?」をタブー視する老害wwww
現代数学の系譜 工学物理雑談 古典ガロア理論も読む47
もし、体育教師が数学の授業をやったら?
フェルマーの最終定理の簡単な証明3
現代数学の系譜 工学物理雑談 古典ガロア理論も読む50
数学力と文章力にはなにか関係があるのか。
数学の洋書vol.2
現代数学の系譜 工学物理雑談 古典ガロア理論も読む80
□□□□□□□□□□□□   朝日生命 2
--------------------
裁判員 呼び出されても無断欠席36%
【新作】同人ゲーム情報共有報告スレ2【限定】
【刑訴法】刑事訴訟法の勉強法 第22部
宝塚最新情報 part1875
BiSH 清掃132回目
ハロプロよりも悲惨なものを挙げて慰めるスレ
ラグビーW杯 スコットランドが日本代表にイチャモン 『最後の(トライ決めた)スクラムあれ、ファールだろ』
しじん
仕事の出来ないダメリーマン集合!パート179
シャブケニア a.k.a RYKEY part.4
【アズレン】アズールレーン Part4009
卒業しても体操服を着たいと思うヤシの数→
【雑談】 スレを立てるまでもない相談・雑談スレ34
ぴたポン!
スーパーロボット大戦J 萌えスレ二十一夜目
【巡り合えたね】社労士合格?ヲチスレ16【再会編】
ハーメルン作者のスレ114
LOST ARK ロストアーク part1
【首都圏ネット】橋本奈穂子 25【小保方晴子】
【絵描き専用】何が何でも大手になりたい【オフ専用】◆6120
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼