現代数学の系譜工学物理雑談古典ガロア理論も読む46

[過去ﾛｸﾞ] 現代数学の系譜工学物理雑談古典ガロア理論も読む46 (692ﾚｽ)
上下前次 1-新
抽出解除必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞あぼーん

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

1(18): 現代数学の系譜雑談古典ガロア理論も読む ◆e.a0E5TtKE 2017/11/12(日)08:29 ID:cTg/FCp5(1/94) AAS
“現代数学の系譜物理工学雑談古典ガロア理論も読む”

数学セミナー時枝記事は、過去スレ39 で終わりました。39は、別名「数学セミナー時枝記事の墓」と名付けます。

皆さまのご尽力で、伝統あるガロアすれは、過去、数学板での勢いランキングで、常に上位です。（勢い１位の時も多い（＾＾）

このスレは、現代数学のもとになった物理工学の雑談スレとします。たまに、“古典ガロア理論も読む”とします。
それで良ければ、どうぞ。
後でも触れますが、基本は私スレ主のコピペ・・、まあ、言い換えれば、スクラップ帳ですな～（＾＾

話題は、散らしながらです。時枝記事は、気が向いたら、たまに触れますが、それは私スレ主の気ままです。
“時枝記事成立”を支持する立場からのカキコや質問は、基本はスルーします。それはコピペで流します。気が向いたら、忘れたころに取り上げます。

なお、
小学レベルとバカプロ固定
サイコパスのピエロ（不遇な「一石」外部ﾘﾝｸ:textream.yahoo.co.jp 表示名:ムダグチ博士 Yahoo! ID/ニックネーム:hyperboloid_of_two_sheets （Yahoo!でのあだ名が、「一石」）
（参考）外部ﾘﾝｸ:blog.goo.ne.jp サイコパスの特徴、嘘を平気でつき、人をだまし、邪悪な支配ゲームに引きずり込む 2007年04月06日
High level people
低脳幼稚園児のAAお絵かき
お断り！
小学生がいますので、18金よろしくね！（＾＾

High level people は自分達で勝手に立てたスレ28へどうぞ！sage進行推奨（＾＾；
旧スレが512KBオーバー（間近）で、新スレ立てる
（スレ主の趣味で上記以外にも脱線しています。ネタにスレ主も理解できていないページのURLも貼ります。関連のアーカイブの役も期待して。）

2(3): 現代数学の系譜雑談古典ガロア理論も読む ◆e.a0E5TtKE 2017/11/12(日)08:32 ID:cTg/FCp5(2/94) AAS
過去スレ（そのままクリックで過去ログが読める。また、ネット検索でも過去ログ結構読めます）
現代数学の系譜工学物理雑談古典ガロア理論も読む
45 2chｽﾚ:math
44 2chｽﾚ:math
43 2chｽﾚ:math （だれかが立ててスレ。私は行きません。このスレに不満な人は、そちらへ）
42 2chｽﾚ:math
41 2chｽﾚ:math
40 2chｽﾚ:math
（40以降現代数学の系譜工学物理雑談古典ガロア理論も読む)
（39以前現代数学の系譜古典ガロア理論を読む)
39 2chｽﾚ:math （別名数学セミナー時枝記事の墓）
38 2chｽﾚ:math
37 2chｽﾚ:math
36 2chｽﾚ:math
35 2chｽﾚ:math
(35以降現代数学の系譜古典ガロア理論を読む
34以前現代数学の系譜11 ガロア理論を読む)
34 2chｽﾚ:math
33 2chｽﾚ:math
32 2chｽﾚ:math
31 2chｽﾚ:math
30 2chｽﾚ:math
29 2chｽﾚ:math
28 (High level people が自分達で勝手に立てた時枝問題を論じるスレ) 2chｽﾚ:math
27 2chｽﾚ:math
26 2chｽﾚ:math

以下次レスへ

3(1): 現代数学の系譜雑談古典ガロア理論も読む ◆e.a0E5TtKE 2017/11/12(日)08:33 ID:cTg/FCp5(3/94) AAS
>>2つづき
24 2chｽﾚ:math
23 2chｽﾚ:math
22 2chｽﾚ:math
21 2chｽﾚ:math
25 2chｽﾚ:math
20 2chｽﾚ:math
19 2chｽﾚ:math
18 2chｽﾚ:math
17 2chｽﾚ:math
16 2chｽﾚ:math
15 2chｽﾚ:math
14 2chｽﾚ:math
13 2chｽﾚ:math
12 2chｽﾚ:math
11 2chｽﾚ:math
10 2chｽﾚ:math
9 2chｽﾚ:math
8 2chｽﾚ:math
7 2chｽﾚ:math
6 2chｽﾚ:math
5 2chｽﾚ:math
4 2chｽﾚ:math スレタイに4が抜けてますが(4)です
3 2chｽﾚ:math
2 2chｽﾚ:math
1 2chｽﾚ:math

4: 現代数学の系譜雑談古典ガロア理論も読む ◆e.a0E5TtKE 2017/11/12(日)08:33 ID:cTg/FCp5(4/94) AAS
以下、暫くテンプレ貼りを続けます。

大学新入生もいると思うが、間違っても２ＣＨで数学の勉強なんて思わないことだ
このスレは、趣味と遊びのスレと思ってくれ（＾＾；

以下過去スレより再掲
2chｽﾚ:math
7 自分：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/04/19(水) 22:07:49.66 ID:gLi5Ebjw
まあ、過去何年かにわたって、猫さん、別名、￥ ◆2VB8wsVUooさんが、数学板を焼いていたからね
ガロアスレは別として、数学板は焼け跡かな

再生は無理だろう
そもそも、２ＣＨは、数学に向かない

アスキー字に制限され、本格的な数学記号が使えない
複数行に渡る記法ができない

複数行に渡る矢印や、図が描けない（ＡＡ（アスキーアート）で数学はできない）
大学数学用の掲示板を、大学数学科が主体となって、英語圏のような数学掲示板を作った方がいいだろうな、実名かせめてハンドルネーム必須でね、プロないしセミプロ用のを

5(1): 現代数学の系譜雑談古典ガロア理論も読む ◆e.a0E5TtKE 2017/11/12(日)08:33 ID:cTg/FCp5(5/94) AAS
個人的には、下記は、”知恵袋の人>>> 2ｃｈの人”と思うよ（＾＾

2chｽﾚ:math
494 現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/04/17(月) ID:mNM7pqkU
前にも紹介したが、新入生もいるだろうから、下記再掲しておく。なお、信用できないに、私スレ主も含めること。定義から当然の帰結だが（＾＾；

外部ﾘﾝｸ:note.chiebukuro.yahoo.co.jp
Yahoo 知恵袋
数学の勉強法　学部～修士
ライター：amane_ruriさん（最終更新日時:2012/8/6）
ナイス！：5閲覧数：11594
(抜粋)
私は修士1年生ですので、正直に言いますとこの部分はあまり書いているのが正しいとは思えません。趣味で書いているものだと認識していただければ良いのではないかと思っております。
大学3、4年に入ってまず怖いのが数学の本の氾濫でしょう。まず何を読んで何をすればいいのか分からなくなります。
そして、自分のやっていることがいかにちっぽけな存在なのかというのを実感させられます。（多分皆がそうでしょう。）そして、結果が問われてきます。
ここで、数学科は「入るのは易しいけどプロになるのは難しい」ということが実感させられてきます。
2012年8月3日現在、書泉グランデで有名数学者の薦める本がありました。森重文先生を初めとして本の多さに圧倒されました。（足立恒雄先生は信頼と安心のブレなさ）

2.2ｃｈの内容は信用できるか？
基本的に信用できません。先生＞周りの人＞＞＞ 2ｃｈや知恵袋の人です。何故かというといつも同じことしか言っていないから。多分きちんと検証していないで想像で議論しているだけではないのかと私は思っています。
（まあ、自分もあんまり信用できないけど）
数学をする場合は、問題が解けることも重要なのですが問題設定を作ることが大切です。そういう時に、どういう風に学んできたのかとか、正確な知識がどういう部分でどれだけ持っているのか、調和性や、生まれて来た環境っていうのが重要になってきます。
ただ、それがどうも2ｃｈの人は見られない（し、そもそも偉そうなことを言っている人が本当にできるかどうか分からない。）。こういう類のものは勉強不足ですとか、分かっていませんでしたで済まされるものではないと個人的には思うのですが。
(引用終り)

6(1): 現代数学の系譜雑談古典ガロア理論も読む ◆e.a0E5TtKE 2017/11/12(日)08:34 ID:cTg/FCp5(6/94) AAS
過去スレより
2chｽﾚ:math
338 現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/04/09(日) 23:46:26.46 ID:Rh9CzQs6
スレ主は、皆さんの言う通り、馬鹿であほですから、基本的に信用しないようにお願いします
大体、私は、自分では、数学的な内容は、筆を起こさない主義です

じゃ、どうするかと言えば、出典明示とそこからの(抜粋)コピペです
まあ、自分なりに、正しそうと思ったものを、(抜粋)コピペしてます

が、それも基本、信用しないように
数学という学問は特に、自分以外は信用しないというのが基本ですし

”証明”とかいうらしいですね、数学では
その”証明”がしばしば、間違っていることがあるとか、うんぬんとか

有名な話で、有限単純群の分類
”出来た！”と宣言した大先生が居て、みんな信用していたら、何年も後になって、”実は証明に大穴が空いていた”とか

おいおい、競馬じゃないんだよ（＾＾；

外部ﾘﾝｸ:ja.wikipedia.org
単純群
1981年にモンスター群が構成されてからすぐに、群論の研究者たちがすべての有限単純群を分類したという、合計10,000ページにも及ぶ証明が作られ、1983年にダニエル・ゴレンスタインが勝利を宣言した。
これは時期尚早だった、というのはいくつかのギャップが、特に準薄群（英語版）の分類野中で発見されたからである。このギャップは2004年に1300ページに及ぶ準薄群の分類によって埋められており、これは現在は完璧であると一般に受け入れられている。

7(1): 現代数学の系譜雑談古典ガロア理論も読む ◆e.a0E5TtKE 2017/11/12(日)08:34 ID:cTg/FCp5(7/94) AAS
>>6 補足
2chｽﾚ:math
352 自分：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/04/29(土)
みんな、何に価値をおいているか、それぞれだろうが・・
個人的には、数学板で一番価値を置いているのは、確かな情報つまり根拠の明確な情報つまりコピペ

わけのわからん名無しさん（素数さん）のカキコを真に受けるとか、価値をおく人は少ないだろう
きちんと、大学教員レベルの証明があればともかく、匿名板でそれはない（名無しカキコは基本価値なし）

8(6): 現代数学の系譜雑談古典ガロア理論も読む ◆e.a0E5TtKE 2017/11/12(日)08:34 ID:cTg/FCp5(8/94) AAS
>>7 補足
＜数学ディベート＞について
過去スレより
2chｽﾚ:math
50 自分：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/05/06
どこの馬の骨ともしれん連中との、数学ディベートもどきより
URLとコピペやPDFの方によほど価値を見いだすスレ主です（＾＾；
2chｽﾚ:math
189 自分：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/05/09

いやはや、（文系） High level people たち（ ID:jEMrGWmk さん含め）の、数学ディベートもどきは面白いですね（＾＾；
”手強い？”とは・・、まさに、ディベートですね

私ら、理系の出典（URL)とコピペベース、ロジック（論証）＆証明重視のスタンスと、ディベートもどきスタイル（２ＣＨスタイル？）とは、明白に違いますね
私ら、（文系） High level people たちとの議論は、時間とスペースの無駄。レベルが高すぎてついていけませんね。典拠もなしによく議論しますね。よく分かりましたよ（＾＾；

190 自分返信：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/05/09
私ら、理系は、一応従来の議論は調べて、その上でしか議論はしません
そうしないと、大概二番煎じですし、車輪の再発明ですから

典拠もなしによく議論しますね～。よく分かりましたよ（＾＾；
私とは、議論がかみ合わないわけだ・・

”他サイトからのコピペでスレを埋め尽くす行為” なんて非難されましたけどね～（＾＾；
ディベートに勝ちたいからそういう発言なんですね～。典拠もなしで、出した典拠も読まない議論か・・。よく分かりましたよ（＾＾；

9: 現代数学の系譜雑談古典ガロア理論も読む ◆e.a0E5TtKE 2017/11/12(日)08:35 ID:cTg/FCp5(9/94) AAS
過去スレより
2chｽﾚ:math
638 名前：現代数学の系譜古典ガロア理論を読む[sage] 投稿日：2017/07/11(火) 08:40:28.58 ID:+FRiTcES
>>630
おっちゃん、どうも、スレ主です。

>>まあ、おっちゃんが、上記を理解したら、時枝は終わりにしよう
>マジメに時枝問題のことでスレ主に付き合う気はなく、
>もはやそういうことをする価値もない。
>スレ主自身の主張や考え方が大きく間違っていることを私のせいにするべきではない。

いやいや、おっちゃんよりレベルの低い人と議論するつもりはないんだよ～（＾＾
がまあ、おっちゃんのいう「価値もない」にも一理ある
ということで、皆さん悪いが、時枝は、一時棚上げだ。時々やろう

下記のパロディーで言えば、「数学雑談&ガロア理論～おっちゃんとボクと、時々、（時枝＆￥さん）～」かな（＾＾
まあ、話題を散らしながら、ゆっくりやりましょう（＾＾
おっちゃん！いま気になっていることを、好きに書いてくれ！（＾＾
外部ﾘﾝｸ:ja.wikipedia.org
東京タワー～オカンとボクと、時々、オトン～ - Wikipedia
(抜粋)
『東京タワー～オカンとボクと、時々、オトン～』（とうきょうタワーオカンとボクと、ときどき、オトン）は、リリー・フランキーの実体験を基にした長編小説である。
2006年と2007年にテレビドラマ化（単発ドラマと連続ドラマ）、2007年に映画化、舞台化されている。

2005年6月29日、扶桑社より発売された[1]。装丁もリリー本人。初版は3万部だった。2006年1月には100万部を突破。2006年10月31日には200万部（扶桑社発表）を越すベストセラーとなった。

久世光彦が「泣いてしまった…。これは、ひらかなで書かれた聖書である」と評価した。
(引用終り)

10: 現代数学の系譜雑談古典ガロア理論も読む ◆e.a0E5TtKE 2017/11/12(日)08:35 ID:cTg/FCp5(10/94) AAS
「現代数学のもとになった物理工学」の解題：
言わずもがなですが、数学の発展の大きな原動力は、物理です。数学の発展の大きな原動力は、工学です。

別に説明するほどのこともないですが。
古代の幾何学の背景に、実際の土地測量や巨大建築からの要請が原動力にあったことは間違いないでしょう。

ニュートン以来の解析や数論も同様。
で、物理学の背景に、工学に直結する日常のいろいろな事象がある。戦争というのも、大きな要因ではあります。仏エコールポリテクニークなども、ナポレオン戦争遂行のための工学校です。
（外部ﾘﾝｸ:ja.wikipedia.org エコール・ポリテクニーク 1804年にナポレオン・ボナパルトによって軍学校とされる）

工学が物理の進展を促した面は多々あります。有名なプランクの熱と光の放射の理論を研究した背景に、当時の工学的課題であった、高温物体を光学測定により正確な温度を知るため（今の光温度計）であったと言われています。
つまり、工学的課題「高温物体を光学測定により正確な温度を知るための光温度計」→物理的課題「高温物体の光放射理論構築」→プランクの量子仮説→量子力学の誕生→作用素環→非可換幾何（現代数学）ということなのです。

コンヌ先生もおっしゃっているそうですが、物理や工学の課題は、いままでもそうですが、現代数学のエネルギー源なのです。
京大数学科がだめになったのは、「20世紀の古い数学に閉じこもってしまった」というようなことがあるのではないでしょうか？新しい数学へのチャレンジが無い？
（参考過去スレ39 2chｽﾚ:math (抜粋)「自己顕示欲だけが目的で人生を送り、ほんで他人の邪魔ばっかししてるから筑波とか京大みたいになってアカン様になんのや。」）

11(3): 現代数学の系譜雑談古典ガロア理論も読む ◆e.a0E5TtKE 2017/11/12(日)08:36 ID:cTg/FCp5(11/94) AAS
なお、念のため時枝問題（数学セミナー201511月号の記事）まとめ関連リンク下記ご参照。
35 2chｽﾚ:math 時枝問題（数学セミナー201511月号の記事）
（過去スレで201611月号と誤記があるが、正しくは201511月号です）
（なお、上記の時枝記事引用は、スキャナーで読み込んでOCR変換のとき誤変換が存在するので、後に訂正版再掲します）

12(4): 現代数学の系譜雑談古典ガロア理論も読む ◆e.a0E5TtKE 2017/11/12(日)08:36 ID:cTg/FCp5(12/94) AAS
>>11 つづき
さらに、時枝記事の議論のリンクを貼る
38 2chｽﾚ:math 時枝記事の解法の不成立の証明
38 2chｽﾚ:math (補足) 「時枝記事の解法をブラックボックスに入れてしてしまうこと」“任意に実数列をひとつ選べ、その実数列の特定のk番目の実数を、“これこれこのようにして”当ててみせよう”
38 2chｽﾚ:math (補足) 特定のk番目の問題
38 2chｽﾚ:math (補足)“時枝記事の解法をブラックボックスに入れてしてしまう”ことと、時枝理論（略証”TE理論”）と標準確率論（略証”SP理論”）
38 2chｽﾚ:math (補足)＜ステップ４＞を認めたら、自動的に＜ステップ５＞まで行く
40 2chｽﾚ:math 時枝記事の不遇な小学生に対する零集合を使う反例構成
40 2chｽﾚ:math時枝記事の先頭の有限範囲を巨大数でカバーする零集合を使う反例構成
40 2chｽﾚ:math時枝記事のDをカバーする零集合を使う反例構成
40 2chｽﾚ:math時枝記事の零集合を使う反例構成の要点説明
40 2chｽﾚ:math時枝記事そのままの入れ方で、決定番号が、１からｎの間に来る確率は、０（ゼロ）の証明
41 2chｽﾚ:math ＜時枝数列の同値類のしっぽの共有部分が空集合でないことについて＞証明と説明
41 2chｽﾚ:math しっぽの共通部分(co-tail）の存在と一致番号が有限範囲に留まることはありえないことの説明

つづく

13(5): 現代数学の系譜雑談古典ガロア理論も読む ◆e.a0E5TtKE 2017/11/12(日)08:36 ID:cTg/FCp5(13/94) AAS
>>12 つづき

42 2chｽﾚ:math しっぽの共通部分(co-tail）の存在と一致番号が有限範囲に留まることはありえないことの補足説明
42 2chｽﾚ:math ＜時枝数列の同値類のしっぽの共有部分が空集合でないことについて＞の補足説明1
42 2chｽﾚ:math ＜時枝数列の同値類のしっぽの共有部分が空集合でないことについて＞の補足説明2
42 2chｽﾚ:math ＜co-tailを{s_n, s_(n+1),...}と書くことはできない＞ことの説明
42 2chｽﾚ:math ＜有限個の数列の場合のしっぽの共有部分と、”co-tail” の存在＞証明
42 2chｽﾚ:math ＜共有するしっぽの部分 co-tail'_d について＞証明
42 2chｽﾚ:math ＜集合族の”単調減少列”と“極限と数学的帰納法の違い”＞説明
42 2chｽﾚ:math ＜“極限と数学的帰納法の違い”＞補足説明
42 2chｽﾚ:math ＜co-tailが明示的構成を持たないこと、及び明示的構成を持たない集合例＞説明
42 2chｽﾚ:math ＜co-tailが明示的構成を持たないこと＞追加説明
42 2chｽﾚ:math ＜自然数Nと無限大∞を加えた拡張自然数N~との対比＞説明
42 2chｽﾚ:math ＜自然数Nと無限大∞を加えた拡張自然数N~との対比＞追加説明
42 2chｽﾚ:math ＜εN論法の丸暗記でない方法「・・・は、任意の有限部分が○○のとき、○○ 」という言い方がキモ＞の説明

つづく

14(4): 現代数学の系譜雑談古典ガロア理論も読む ◆e.a0E5TtKE 2017/11/12(日)08:37 ID:cTg/FCp5(14/94) AAS
>>13 つづき

＜おちこぼれ達のための補習講座＞
44 2chｽﾚ:math ＜おちこぼれに対する数学の説明＞（同値類補足説明）と（無限について補足説明）
44 2chｽﾚ:math ＜おちこぼれ達のための補習講座＞同値類
44 2chｽﾚ:math ＜おちこぼれ達のための補習講座2＞
44 2chｽﾚ:math ＜おちこぼれ達のための補習講座3＞
44 2chｽﾚ:math ＜おちこぼれ達のための補習講座4＞
44 2chｽﾚ:math ＜おちこぼれ達のための補習講座5＞
44 2chｽﾚ:math ＜おちこぼれ達のための補習講座6＞
44 2chｽﾚ:math ＜おちこぼれ達のための補習講座7＞
44 2chｽﾚ:math ＜おちこぼれ達のための補習講座8＞
44 2chｽﾚ:math ＜おちこぼれ達のための補習講座9＞

以上

15(2): 現代数学の系譜雑談古典ガロア理論も読む ◆e.a0E5TtKE 2017/11/12(日)08:37 ID:cTg/FCp5(15/94) AAS
>>14 関連
（参考）High level peopleの主張する＜”固定”や”Fix”潰し＞スレ39より
スレ39 2chｽﾚ:math （スレ主の”固定”とか”Fix”潰し）
スレ39 2chｽﾚ:math （ピエロの”固定”とか”Fix”潰し（ピエロ最大の功績！（＾＾））
スレ39 2chｽﾚ:math （High level peopleの所感）
スレ39 2chｽﾚ:math （スレ主の所感）

なお、”Fix”潰しは、ピエロの最大の功績！（＾＾

16: 現代数学の系譜雑談古典ガロア理論も読む ◆e.a0E5TtKE 2017/11/12(日)08:38 ID:cTg/FCp5(16/94) AAS
>>11 関連
なお、念のため時枝問題（数学セミナー201511月号の記事）最初の投稿下記（2015/12/20(日)）
17 2chｽﾚ:math 最初の数学セミナー『箱入り無数目』紹介（by High level people T さん）
314 名前：１３２人目の素数さん[sage] 投稿日：2015/12/20(日) 11:37:12.83 ID:d5oIGObW [1/10]
数学セミナー2015年11月号の記事『箱入り無数目』より要略
---------
[問題]
可算無限個の閉じた箱がある。1つの箱には1つの実数が入っている。
貴方は1つの箱を選び、それ以外の全ての箱を開いて中の数字を見ることができる。
貴方は選んだ箱の中の数字を当てることができるか？

答えは『（選択公理を用いて）できる』。

しかし直観的には不可能だ。各々の箱の数字は独立なのだから、
ある1つの箱について他の箱から意味のある情報が得られる訳がない。
この戦略は選択公理を用い、非可測集合を経由する。それがイケナイと片付けるのは面白くない。
筆者には確率変数の無限族の独立性の微妙さを物語っているように思える。
---------
(引用終り)

17(1): 現代数学の系譜雑談古典ガロア理論も読む ◆e.a0E5TtKE 2017/11/12(日)08:38 ID:cTg/FCp5(17/94) AAS
>>11 関連

35 2chｽﾚ:math 時枝問題（数学セミナー201511月号の記事）
（以下時枝記事をもう一度貼り直す。上記の時枝記事引用は、スキャナーで読み込んでOCR変換のとき誤変換が存在するので、誤記修正も含めて訂正版を再掲する。）
過去スレ20 再録 2chｽﾚ:math
１．時枝問題（数学セミナー201511月号の記事）の最初の設定はこうだった。
「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる.
どんな実数を入れるかはまったく自由，例えばn番目の箱にe^πを入れてもよいし，すべての箱にπを入れてもよい.
もちろんでたらめだって構わない.そして箱をみな閉じる.
今度はあなたの番である.片端から箱を開けてゆき中の実数を覗いてよいが，一つの箱は開けずに閉じたまま残さねばならぬとしよう.
どの箱を閉じたまま残すかはあなたが決めうる.
勝負のルールはこうだ. もし閉じた箱の中の実数をピタリと言い当てたら，あなたの勝ち. さもなくば負け.
勝つ戦略はあるでしょうか?」

つづく

18(3): 現代数学の系譜雑談古典ガロア理論も読む ◆e.a0E5TtKE 2017/11/12(日)08:38 ID:cTg/FCp5(18/94) AAS
>>17 つづき

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

つづく

19(3): 現代数学の系譜雑談古典ガロア理論も読む ◆e.a0E5TtKE 2017/11/12(日)08:39 ID:cTg/FCp5(19/94) AAS
>>18 つづき

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

(補足)
s^k(D+l)， s^k(D+2)，s^k(D+3)，・・・, rD：ここで^kは上付き添え字、(D+l), Dなどは下付添え字

つづく

20: 現代数学の系譜雑談古典ガロア理論も読む ◆e.a0E5TtKE 2017/11/12(日)08:39 ID:cTg/FCp5(20/94) AAS
sage

21(2): 現代数学の系譜雑談古典ガロア理論も読む ◆e.a0E5TtKE 2017/11/12(日)08:40 ID:cTg/FCp5(21/94) AAS
>>19 つづき

さらに、数学セミナー201511月号P37 時枝記事に、次の一文がある

「R^N/～の代表系を選んだ箇所で選択公理を使っている.
その結果R^N →R^N/～の切断は非可測になる.
ここは有名なヴィタリのルベーグ非可測集合の例(Q/Zを「差が有理数」で類別した代表系， 1905年)にそっくりである.」

さらに、過去スレでは引用しなかったが、続いて下記も引用する
「逆に非可測な集合をこさえるには選択公理が要る(ソロヴェイ， 1970年)から，この戦略はふしぎどころか標準的とさえいえるかもしれない.
しかし，選択公理や非可測集合を経由したからお手つき，と片付けるのは，面白くないように思う.
現代数学の形式内では確率は測度論によって解釈されるゆえ，測度論は確率の基礎，と数学者は信じがちだ.
だが，測度論的解釈がカノニカル，という証拠はないのだし，そもそも形式すなわち基礎，というのも早計だろう.
確率は数学を越えて広がる生き物なのである(数学に飼いならされた部分が最も御しやすいけれど).」

つづく

22(5): 現代数学の系譜雑談古典ガロア理論も読む ◆e.a0E5TtKE 2017/11/12(日)08:41 ID:cTg/FCp5(22/94) AAS
>>21 つづき
数学セミナー201511月号P37 時枝記事より

「もうちょっと面白いのは，独立性に関する反省だと思う.
確率の中心的対象は，独立な確率変数の無限族
X1，X2，X3，…である.
いったい無限を扱うには，
(1)無限を直接扱う，
(2)有限の極限として間接に扱う，
二つの方針が可能である.
確率変数の無限族は，任意の有限部分族が独立のとき，独立，と定義されるから，(2)の扱いだ.
(独立とは限らない状況におけるコルモゴロフの拡張定理なども有限性を介する.)
しかし，素朴に，無限族を直接扱えないのか?
扱えるとすると私たちの戦略は頓挫してしまう.
n番目の箱にXnのランダムな値を入れられて，ある箱の中身を当てようとしたって，
その箱のX と他のX1，X2，X3，・・・がまるまる無限族として独立なら，
当てられっこないではないか－－他の箱から情報は一切もらえないのだから.
勝つ戦略なんかある筈ない，と感じた私たちの直観は，無意識に(1)に根ざしていた，といえる.
ふしぎな戦略は，確率変数の無限族の独立性の微妙さをものがたる，といってもよい.」

つづく

23(1): 現代数学の系譜雑談古典ガロア理論も読む ◆e.a0E5TtKE 2017/11/12(日)08:41 ID:cTg/FCp5(23/94) AAS
>>22 つづき
まず、数学セミナー201511月号の記事で、引用していなかった部分を、以下に引用する（＾＾；

”ばかばかしい，当てられる筈があるものか，と感じられるだろう.
何か条件が抜け落ちているのではないか，と疑う読者もあろう.問題を読み直していただきたい.
条件はほんとうに上記のとおり.無限個の実数が与えられ，一個を除いてそれらを見た上で，除いた一個を当てよ，というのだ.
ところがところが--本記事の目的は，確率99%で勝てそうな戦略を供することにある.
この問題はPeter Winkler氏との茶のみ話がてら耳にした.氏は原型をルーマニアあたりから仕入れたらしい.”
(引用終り)

この部分を掘り下げておくと
１．時枝氏は、この記事を、数学の定理の紹介とはしていないことに気付く
２．”Peter Winkler氏との茶のみ話がてら耳にした.氏は原型をルーマニアあたりから仕入れたらしい.”と
３．まあ、お気楽な、おとぎ話とまでは言ってないとしても、その類いの話として紹介しているのだった

ついでに”コルモゴロフの拡張定理”について、時枝記事は上記に引用の通りだが
１．”確率変数の無限族は，任意の有限部分族が独立のとき，独立，と定義されるから，(2)の扱いだ.(独立とは限らない状況におけるコルモゴロフの拡張定理なども有限性を介する.)”と
　　そして、”しかし，素朴に，無限族を直接扱えないのか? 扱えるとすると私たちの戦略は頓挫してしまう.”とも
　　記事の結論として、”勝つ戦略なんかある筈ない，と感じた私たちの直観は，無意識に(1)に根ざしていた，といえる.
ふしぎな戦略は，確率変数の無限族の独立性の微妙さをものがたる，といってもよい”と締めくくっているのだった
２．言いたいことは、”コルモゴロフの拡張定理”を使えば、この時枝解法が成り立つという主張にはなってないってこと
３．そして、”コルモゴロフの拡張定理”を使ってブラウン運動を記述できるなら、ブラウン運動こそ、”他から情報は一切もらえない”を実現しているように思えるのだが？

つづく

24(1): 現代数学の系譜雑談古典ガロア理論も読む ◆e.a0E5TtKE 2017/11/12(日)08:42 ID:cTg/FCp5(24/94) AAS
>>23 つづき
2chｽﾚ:math より
さて、時枝記事についての過去スレの議論をまとめておこう

私スレ主は、時枝解法は成り立たないと思っている。その理由は次の通り

１．時枝自身が「n番目の箱にXnのランダムな値を入れられて，ある箱の中身を当てようとしたって，・・・当てられっこないではないか－－他の箱から情報は一切もらえないのだから.」と
　　つまり、時枝自身が認めているような、”ランダムな値”が可能なら、時枝解法の反例成立
２．さて数学から離れて、自然界には”乱数”というものがある。例えば右のサイト「乱数列」外部ﾘﾝｸ:ja.wikipedia.org
　　そういうものから、ランダムな値を発生させることが可能だと
３．数学界でも、ブラウン運動の数理がある。>>xxの引用とか、過去スレ外部ﾘﾝｸ[pdf]:www.math.u-ryukyu.ac.jp 数理解析学特別講義Ⅰ確率微分方程式杉浦誠琉球大 2010
　　で、「コルモゴロフの拡張定理→ブラウン運動という流れ」が説かれている。強調したいことは、上記の「コルモゴロフの拡張定理を使って、完全にランダムな」状況を構成したと
(引用終り)
以上

25: 現代数学の系譜雑談古典ガロア理論も読む ◆e.a0E5TtKE 2017/11/12(日)08:42 ID:cTg/FCp5(25/94) AAS
sage

26(4): 現代数学の系譜雑談古典ガロア理論も読む ◆e.a0E5TtKE 2017/11/12(日)08:44 ID:cTg/FCp5(26/94) AAS
>>24 関連

さて
＜以下、私スレ主が、確率論の専門家さんと呼ぶ人の議論を貼っておく＞
（確率論の専門家さんは、ID:f9oaWn8A と ID:1JE/S25W ）

20 2chｽﾚ:math
512 名前：１３２人目の素数さん[] 投稿日：2016/07/03(日) 21:42:44.04 ID:f9oaWn8A [1/13]
時枝解法について議論してるのはわかるけど
そこから∞をNに含めるかどうかで議論してる理由がいまいちわからない
お互いどういう主張なんだ？

517 名前：１３２人目の素数さん[] 投稿日：2016/07/03(日) 22:10:03.52 ID:f9oaWn8A [3/13]
時枝解法自体は怪しそう
100列並べた時に99/100ということだけど
まず，各列の独立性が怪しいし，そもそも可測性が成り立つかどうかすら微妙そう

518 名前：１３２人目の素数さん[sage] 投稿日：2016/07/03(日) 22:17:03.90 ID:/kjhINs/ [9/15]
>>517
あなた俺と議論してみる？
俺の主張は下記>>343だ。>>239 >>249もよかったら読んでおいて

>>343
>「選択公理を認め、かつ非可測集合R^N/~を"経由"してよいとするならば、記事の戦略の論理に穴はない」

つづく

27(1): 現代数学の系譜雑談古典ガロア理論も読む ◆e.a0E5TtKE 2017/11/12(日)08:44 ID:cTg/FCp5(27/94) AAS
>>26 つづき
20 2chｽﾚ:math
519 名前：１３２人目の素数さん[] 投稿日：2016/07/03(日) 22:27:11.14 ID:f9oaWn8A [4/13]
>>518
X=(X_1,X_2,…)をR値の独立な確率変数とする．
時枝さんのやっていることは
無限列x=(x_1,x_2,…)から定められた方法によって一つの実数f(x)を求める．
無限列x=(x_1,x_2,…）から定められた方法によって一つの自然数g(x)を求める．
P(f(X)=X_{g(X)})=99/100
ということだが，それの証明ってあるかな？
100個中99個だから99/100としか言ってるようにしか見えないけど．

521 名前：１３２人目の素数さん[sage] 投稿日：2016/07/03(日) 22:36:32.49 ID:/kjhINs/ [10/15]
>>519
記事のどこが疑問なのか明確にしてもらえますか？
説明不足でよく分からない

522 名前：１３２人目の素数さん[] 投稿日：2016/07/03(日) 22:40:29.88 ID:f9oaWn8A [5/13]
面倒だから二列で考えると
Y=(X_1,X_3,X_5,…）とZ=(X_2,X_4,X_6,…)独立同分布
実数列x=(x_1,x_2,…)から最大番号を与える関数をh(x)とすると
P(h(Y)>h(Z))=1/2であれば嬉しい．
hが可測関数ならばこの主張は正しいが，hが可測かどうか分からないのでこの部分が非自明

つづく

28: 現代数学の系譜雑談古典ガロア理論も読む ◆e.a0E5TtKE 2017/11/12(日)08:45 ID:cTg/FCp5(28/94) AAS
sage

29(2): 現代数学の系譜雑談古典ガロア理論も読む ◆e.a0E5TtKE 2017/11/12(日)08:45 ID:cTg/FCp5(29/94) AAS
>>27 つづき
20 2chｽﾚ:math
523 名前：１３２人目の素数さん[sage] 投稿日：2016/07/03(日) 22:42:43.83 ID:/kjhINs/ [11/15]
>>522
OK、理解した
最大番号というのは決定番号のことだね？
まずは確認させてくれ

524 名前：１３２人目の素数さん[] 投稿日：2016/07/03(日) 22:44:59.25 ID:f9oaWn8A [6/13]
>>523
そうそう，決定番号で合ってるよ

526 名前：１３２人目の素数さん[sage] 投稿日：2016/07/03(日) 22:47:57.61 ID:/kjhINs/ [12/15]
>>524
もう1つすまん、前提を伝えておく
>>522の問題設定（2列の無限列）の場合、時枝が主張するのは勝つ確率が1/2"以上"であって、1/2"ぴったり"ではない
記事を読めば"99/100"ぴったり"と解釈してしまうのは無理もないが、まあそこは行間を読んでほしい
ぴったりかそうでないかは些細なことだ

これを把握したことを確認してほしい。面倒をかけてすまんね。

527 名前：１３２人目の素数さん[] 投稿日：2016/07/03(日) 22:57:09.15 ID:f9oaWn8A [7/13]
>>526
1/2以上でもいいよ

つづく

30(1): 現代数学の系譜雑談古典ガロア理論も読む ◆e.a0E5TtKE 2017/11/12(日)08:47 ID:cTg/FCp5(30/94) AAS
>>29 つづき
20 2chｽﾚ:math

528 名前：１３２人目の素数さん[] 投稿日：2016/07/03(日) 23:03:57.29 ID:f9oaWn8A [8/13]
おれが問題視してるのはの可測性
正確にかくために確率空間(Ω,F,P)を設定しよう
Y,Zはそれぞれ(Ω,F)から(R,B(R))の可測関数である．
もしhが(R,B(R))から(N,2^N)への可測関数ならば
h(Y),h(Z)はそれぞれ可測関数となって{ω|h(Y(ω))>h(Z(ω)}∈FとなりP({ω|h(Y(ω))>h(Z(ω)})=1/2となるけど
hが(R,B(R))から(N,2^N)への可測関数とは正直思えない

529 名前：１３２人目の素数さん[] 投稿日：2016/07/03(日) 23:04:46.18 ID:f9oaWn8A [9/13]
>>528
自己レス
(R,B(R))ではなくすべて(R^N,B(R^N))だな

つづく

上下前次 1-新書関写板覧索設栞歴

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ

ぬこの手ぬこTOP 0.053s