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

[過去ﾛｸﾞ] 現代数学の系譜工学物理雑談古典ガロア理論も読む45 (835ﾚｽ)
上下前次 1-新

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

1(18): 現代数学の系譜工学物理雑談古典ガロア理論も読む 2017/10/25(水)20:44 ID:W74q7CGQ(1/36) AAS
“現代数学の系譜物理工学雑談古典ガロア理論も読む”

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

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

このスレは、現代数学のもとになった物理工学の雑談スレとします。たまに、“古典ガロア理論も読む”とします。
それで良ければ、どうぞ。
後でも触れますが、基本は私スレ主のコピペ・・、まあ、言い換えれば、スクラップ帳ですな〜（＾＾
話題は、散らしながらです。時枝記事は、気が向いたら、たまに触れますが、それは私スレ主の気ままです。
“時枝記事成立”を支持する立場からのカキコや質問は、基本はスルーします。それはコピペで流します。気が向いたら、忘れたころに取り上げます。

なお、
小学レベルとバカプロ固定
省9

2(4): 現代数学の系譜工学物理雑談古典ガロア理論も読む 2017/10/25(水)20:45 ID:W74q7CGQ(2/36) AAS
過去スレ（そのままクリックで過去ログが読める。また、ネット検索でも過去ログ結構読めます）
現代数学の系譜工学物理雑談古典ガロア理論も読む
44 2chｽﾚ:math
43 2chｽﾚ:math （だれかが立ててスレ。私は行きません。このスレに不満な人は、そちらへ）
42 2chｽﾚ:math
41 2chｽﾚ:math
40 2chｽﾚ:math
（40以降現代数学の系譜工学物理雑談古典ガロア理論も読む)
（39以前現代数学の系譜古典ガロア理論を読む)
39 2chｽﾚ:math （別名数学セミナー時枝記事の墓）
省21

3: 現代数学の系譜工学物理雑談古典ガロア理論も読む 2017/10/25(水)20:46 ID:W74q7CGQ(3/36) AAS
>>2つづき
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

4: 現代数学の系譜工学物理雑談古典ガロア理論も読む 2017/10/25(水)20:46 ID:W74q7CGQ(4/36) AAS
以下、暫くテンプレ貼りを続けます。

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

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

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

5(1): 現代数学の系譜工学物理雑談古典ガロア理論も読む 2017/10/25(水)20:47 ID:W74q7CGQ(5/36) 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
(抜粋)
省11

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

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

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

”証明”とかいうらしいですね、数学では
省8

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

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

8(1): 現代数学の系譜工学物理雑談古典ガロア理論も読む 2017/10/25(水)20:48 ID:W74q7CGQ(8/36) 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 さん含め）の、数学ディベートもどきは面白いですね（＾＾；
省10

9: 現代数学の系譜工学物理雑談古典ガロア理論も読む 2017/10/25(水)20:49 ID:W74q7CGQ(9/36) AAS
過去スレより
2chｽﾚ:math
638 名前：現代数学の系譜古典ガロア理論を読む[sage] 投稿日：2017/07/11(火) 08:40:28.58 ID:+FRiTcES
>>630
おっちゃん、どうも、スレ主です。

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

いやいや、おっちゃんよりレベルの低い人と議論するつもりはないんだよ〜（＾＾
省13

10: 現代数学の系譜工学物理雑談古典ガロア理論も読む 2017/10/25(水)20:49 ID:W74q7CGQ(10/36) AAS
「現代数学のもとになった物理工学」の解題：
言わずもがなですが、数学の発展の大きな原動力は、物理です。数学の発展の大きな原動力は、工学です。

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

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

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

コンヌ先生もおっしゃっているそうですが、物理や工学の課題は、いままでもそうですが、現代数学のエネルギー源なのです。
省2

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

12(9): 現代数学の系譜工学物理雑談古典ガロア理論も読む 2017/10/25(水)20:51 ID:W74q7CGQ(12/36) 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をカバーする零集合を使う反例構成
省5

13(7): 現代数学の系譜工学物理雑談古典ガロア理論も読む 2017/10/25(水)20:52 ID:W74q7CGQ(13/36) 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が明示的構成を持たないこと、及び明示的構成を持たない集合例＞説明
省5

14(5): 現代数学の系譜工学物理雑談古典ガロア理論も読む 2017/10/25(水)20:52 ID:W74q7CGQ(14/36) 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＞
省3

15: 現代数学の系譜工学物理雑談古典ガロア理論も読む 2017/10/25(水)20:54 ID:W74q7CGQ(15/36) 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(2): 現代数学の系譜工学物理雑談古典ガロア理論も読む 2017/10/25(水)20:56 ID:W74q7CGQ(16/36) 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つの箱を選び、それ以外の全ての箱を開いて中の数字を見ることができる。
貴方は選んだ箱の中の数字を当てることができるか？
省7

17(4): 現代数学の系譜工学物理雑談古典ガロア理論も読む 2017/10/25(水)20:58 ID:W74q7CGQ(17/36) AAS
>>11 関連

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

18(4): 現代数学の系譜工学物理雑談古典ガロア理論も読む 2017/10/25(水)20:59 ID:W74q7CGQ(18/36) 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)をちょうど一つ取り出せる訳だ.
省8

19(7): 現代数学の系譜工学物理雑談古典ガロア理論も読む 2017/10/25(水)21:00 ID:W74q7CGQ(19/36) 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列の箱たちはまだ閉じたままにしておく.
省10

20(3): 現代数学の系譜工学物理雑談古典ガロア理論も読む 2017/10/25(水)21:01 ID:W74q7CGQ(20/36) AAS
>>19 つづき

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

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

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

21(8): 現代数学の系譜工学物理雑談古典ガロア理論も読む 2017/10/25(水)21:01 ID:W74q7CGQ(21/36) AAS
>>20 つづき
数学セミナー201511月号P37 時枝記事より

「もうちょっと面白いのは，独立性に関する反省だと思う.
確率の中心的対象は，独立な確率変数の無限族
X1，X2，X3，…である.
いったい無限を扱うには，
(1)無限を直接扱う，
(2)有限の極限として間接に扱う，
二つの方針が可能である.
確率変数の無限族は，任意の有限部分族が独立のとき，独立，と定義されるから，(2)の扱いだ.
省9

22(2): 現代数学の系譜工学物理雑談古典ガロア理論も読む 2017/10/25(水)21:02 ID:W74q7CGQ(22/36) AAS
>>21 つづき
まず、数学セミナー201511月号の記事で、引用していなかった部分を、以下に引用する（＾＾；

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

この部分を掘り下げておくと
１．時枝氏は、この記事を、数学の定理の紹介とはしていないことに気付く
省10

23: 現代数学の系譜工学物理雑談古典ガロア理論も読む 2017/10/25(水)21:03 ID:W74q7CGQ(23/36) AAS
sage

24(1): 現代数学の系譜工学物理雑談古典ガロア理論も読む 2017/10/25(水)21:04 ID:W74q7CGQ(24/36) AAS
>>22 つづき
2chｽﾚ:math より
さて、時枝記事についての過去スレの議論をまとめておこう

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

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

25(1): 現代数学の系譜工学物理雑談古典ガロア理論も読む 2017/10/25(水)21:07 ID:W74q7CGQ(25/36) 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]
省10

26(5): 現代数学の系譜工学物理雑談古典ガロア理論も読む 2017/10/25(水)21:07 ID:W74q7CGQ(26/36) AAS
>>25 つづき

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としか言ってるようにしか見えないけど．
省11

27: 現代数学の系譜工学物理雑談古典ガロア理論も読む 2017/10/25(水)21:08 ID:W74q7CGQ(27/36) AAS
sage

28(1): 現代数学の系譜工学物理雑談古典ガロア理論も読む 2017/10/25(水)21:09 ID:W74q7CGQ(28/36) AAS
>>26 つづき

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]
省10

29(1): 現代数学の系譜工学物理雑談古典ガロア理論も読む 2017/10/25(水)21:09 ID:W74q7CGQ(29/36) AAS
>>28 つづき

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
省3

30(1): 現代数学の系譜工学物理雑談古典ガロア理論も読む 2017/10/25(水)21:10 ID:W74q7CGQ(30/36) AAS
>>29 つづき

530 返信：１３２人目の素数さん[sage] 投稿日：2016/07/03(日) 23:11:39.95 ID:/kjhINs/ [13/15]
>>527-529
サンクス。じゃあ考えを述べる
まず初めに言っておくと、あなたと俺と時枝氏の問題意識は同じだ

つまり、無限列x∈R^NがR~N上の確率分布P1(x)に従うとき、
[a]∈R^N/~が非可測であれば[a]が得られる確率P2([a])はP1(x)から計算することができない
したがってd∈Nが得られる確率分布P3(d)をP1(x)を用いて計算することもできない
これに関する時枝のコメントが>>5だと理解している

しかし一方で、写像h:x∈R^N→d∈NをXとY∈R^Nに施せば、2つの自然数d_X,d_Y∈Nが得られる
省8

31(2): 現代数学の系譜工学物理雑談古典ガロア理論も読む 2017/10/25(水)21:11 ID:W74q7CGQ(31/36) AAS
>>30 つづき

531 名前：１３２人目の素数さん[] 投稿日：2016/07/03(日) 23:11:40.23 ID:f9oaWn8A [10/13]
ああ，正しくはP(h(Y)≧h(Z))≧1/2か
まあどちらにせよhが可測性が問題となることは間違いない

532 返信：１３２人目の素数さん[] 投稿日：2016/07/03(日) 23:15:17.47 ID:f9oaWn8A [11/13]
>>530
>2個の自然数から1個を選ぶとき、それが唯一の最大元でない確率は1/2以上だ
残念だけどこれが非自明．
hに可測性が保証されないので，d_Xとd_Yの可測性が保証されない
そのためd_Xとd_Yがそもそも分布を持たない可能性すらあるのでP(d_X≧d_Y)≧1/2とはいえないだろう
省8

32(9): 現代数学の系譜工学物理雑談古典ガロア理論も読む 2017/10/25(水)21:11 ID:W74q7CGQ(32/36) AAS
>>31 つづき
535 名前：１３２人目の素数さん[] 投稿日：2016/07/03(日) 23:33:06.50 ID:f9oaWn8A [12/13]
>>534
非可測であることに目をつぶって計算することの意味をあまり感じないな
直感的に1/2とするのは微妙．
むしろ初めの問題にたちもどって，無限列から一個以外を見たとこでその一個は決定できないだろうと考えるのが
直感的にも妥当だろう

538 返信：１３２人目の素数さん[] 投稿日：2016/07/03(日) 23:54:57.90 ID:f9oaWn8A [13/13]
うーん，正直時枝氏が確率論に対してあまり詳しくないと結論せざるを得ないな

>確率変数の無限族は，任意の有限部分族が独立のとき，独立，と定義されるから，(2)の扱いだ.
省10

33(2): 現代数学の系譜工学物理雑談古典ガロア理論も読む 2017/10/25(水)21:12 ID:W74q7CGQ(33/36) AAS
>>32 つづき

541 名前：１３２人目の素数さん[sage] 投稿日：2016/07/04(月) 00:04:35.65 ID:hgUPmIoq [1/10]
>>538
> 可算族に対しては(1)も(2)も同値となる

ありがとう、勉強させてもらった
このスレにはそこまで理解している人間はいなかった
貴方がもっと早く現れていれば無駄な議論を重ねずに済んだのだが

542 名前：１３２人目の素数さん[] 投稿日：2016/07/04(月) 00:06:31.30 ID:1JE/S25W [1/3]
時枝氏の主な主張は次の２つだろうだろう
1. 確率論を測度論をベースに展開する必要が無い
省6

34(1): 現代数学の系譜工学物理雑談古典ガロア理論も読む 2017/10/25(水)21:13 ID:W74q7CGQ(34/36) AAS
>>33 つづき

547 名前：１３２人目の素数さん[sage] 投稿日：2016/07/04(月) 00:55:19.02 ID:l5brFViF
>>542
>しかし1に関していうと時枝氏の解法は，現在の測度論から導かれる解釈のほうが自然．
>（当てられっこないという直感どおり，実際当てられないという結論が導かれる）
測度論的確率論で、当てられる確率が「計算できない」ではなく、「０である」と言えるの？　どうやって？

560 名前：１３２人目の素数さん[] 投稿日：2016/07/04(月) 11:55:38.78 ID:1JE/S25W [2/3]
>>547
ごめん，現段階で0であるというのは言いすぎだったかもしれない
あなたの言うとおり計算できないってだけだ
省10

35: 現代数学の系譜工学物理雑談古典ガロア理論も読む 2017/10/25(水)21:14 ID:W74q7CGQ(35/36) AAS
なお、時枝記事が成立するという立場の方は、下記へどうぞ。（いまさら、「成立する」という人も居ないと思いますが）
28 (High level people が自分達で勝手に立てた時枝問題を論じるスレ) 2chｽﾚ:math

繰返しますが、
前39 で、数学セミナー時枝記事は終わりました。39は、別名数学セミナー時枝記事の墓と名付けます

ここは、現代数学のもとになった物理工学の雑談スレとします。たまに、“古典ガロア理論も読む”とします
それで良ければ、どうぞ

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

36: 現代数学の系譜工学物理雑談古典ガロア理論も読む 2017/10/25(水)21:14 ID:W74q7CGQ(36/36) AAS
以上、取り敢ず新スレを立てました
雑談希望の方は、どうぞ！（＾＾

37: 2017/10/25(水)22:26 ID:rTA9quFK(1) AAS
▂▅▇█▓▒ ▒▓█▇▅

38(1): 2017/10/26(木)01:30 ID:FlCy9rPW(1/5) AAS
>>704
＞”n番目の箱にXnのランダムな値を入れられて，ある箱の中身を当てようとしたって，
＞その箱のX と他のX1，X2，X3，・・・がまるまる無限族として独立なら，
＞当てられっこないではないか−−他の箱から情報は一切もらえないのだから.”
というのは
＞しかし，素朴に，無限族を直接扱えないのか?
＞扱えるとすると私たちの戦略は頓挫してしまう.
の「頓挫」の説明だよ。つまり無限族を直接扱えると仮定した場合の話。
なのでスレ主が「当てられない」という主張を正当化するには
無限族を直接扱えることを示さないといけない。
省2

39: 2017/10/26(木)01:35 ID:FlCy9rPW(2/5) AAS
仮定の話をあたかも事実であるかのように話す
これ詐欺師の常とう手段ね

40: 確率論の専門家 2017/10/26(木)06:15 ID:IhvGJ1uR(1/4) AAS
スレ主は>>19で引用した文章の内容を
理解できるまで読み返したほうがいい

41(2): 確率論の専門家 2017/10/26(木)06:21 ID:IhvGJ1uR(2/4) AAS
時枝記事で証明しているのは
P(s^i_{D^i}=s'^i_{D^i})>=99/100
です

確率変数は実はs^iのiだけです
それが分かるのはこの箇所です
「さて1〜100のいずれかをランダムに選ぶ。」

もちろんs^1〜s^100の中身はどんな実数でも構いません
しかし、確率計算においては、 s^1〜s^100は変化させていません
やってることは、どのs^iを選ぶかだけ
つまり変化するのはiだけです
省8

42(2): 確率論の専門家 2017/10/26(木)06:51 ID:IhvGJ1uR(3/4) AAS
>>26の519の質問の答えが
>>41で述べた以下の文章
「確率計算においては、 s^1〜s^100は変化させていません」

>>31の531の発言
「2個の自然数が与えられたとして確率を計算している」
は>>41の以下の文章
「さて1〜100のいずれかをランダムに選ぶ。（中略）
　D >= d(s^k) を仮定しよう.この仮定が正しい確率は99/100，　」
で述べられた数列の決定番号に基づく計算を指していると考えられる

>>32の535
省5

43: 確率論の専門家 2017/10/26(木)07:04 ID:IhvGJ1uR(4/4) AAS
>>32の538だが、時枝記事による予測の成功は
数列の各項の独立性とは無関係である
(非可測性や独立性にとらわれると時枝記事を理解できない
　そもそもXが確率変数ではないからだ）

>>34の564
「時枝氏の方法は「確率は計算できない」が今の確率論の答えだと思う．」
は時枝氏の方法を誤解したが故の誤りだといわざるを得ない

Ｘを確率変数とした計算でない、というだけであって
iを確率変数とすれば、確率論により初等的に計算できる

44(1): 2017/10/26(木)20:07 ID:FlCy9rPW(3/5) AAS
その初等算数さえ理解できないサルがいるらしい

45(2): 現代数学の系譜工学物理雑談古典ガロア理論も読む 2017/10/26(木)22:37 ID:tcu7t5ik(1/7) AAS
追加テンプレ

44 2chｽﾚ:math
462 名前：現代数学の系譜工学物理雑談古典ガロア理論も読む[sage] 投稿日：2017/10/16(月) 20:55:29.14 ID:bqiuLoxO [3/9]
さて、本題
>>457
>100個の決定番号から1個を選ぶから99/100。
&
>>458
>Dとは、d(S^k)以外の99個の決定番号d(S^1)〜d(S^100)の最大値
>そして、それがd(S^1)〜d(S^100)全体の最大値と
省13

46(4): 現代数学の系譜工学物理雑談古典ガロア理論も読む 2017/10/26(木)22:37 ID:tcu7t5ik(2/7) AAS
>>45 つづき

463 自分返信：現代数学の系譜工学物理雑談古典ガロア理論も読む[sage] 投稿日：2017/10/16(月) 20:55:58.49 ID:bqiuLoxO [4/9]
>>420 つづき

１．まず、そもそも話が有限ですむ場合は、”当たらない（＝箱に数を入れる主題者勝率１、回答者勝率０）”ってことは、おっちゃん以外の全員が、同意している
　　実際にも、>>87に引用したSergiu Hart氏のPDF 外部ﾘﾝｸ[pdf]:www.ma.huji.ac.il にも下記があるよ（これには全員同意だよ）
P2 の最後 “Remark. When the number of boxes is finite Player 1 can guarantee a win
with probability 1 in game1, and with probability 9/10 in game2, by choosing the xi independently and uniformly on [0, 1] and {0, 1, ・・・, 9}, respectively.”とある
つまり、意訳すると
“リマーク：箱の数が有限の場合、プレーヤー1は勝利を保証することができます。
[0、1]と{0、1、・・・、9}上で＊）、xiを独立で一様に選択することによって、game1の勝利確率1とgame2の勝利確率9/10になる。”と
省5

47(1): 現代数学の系譜工学物理雑談古典ガロア理論も読む 2017/10/26(木)22:38 ID:tcu7t5ik(3/7) AAS
>>46 つづき

464 自分返信：現代数学の系譜工学物理雑談古典ガロア理論も読む[sage] 投稿日：2017/10/16(月) 20:58:32.31 ID:bqiuLoxO [5/9]
>>463 つづき (すまん、訂正 >>420 つづき →>>462 つづき)

３．”勝つ確率は 99/100”は、上記>>164 東北大尾畑伸明先生を含む、標準的な現代確率論の数理と矛盾するよ（＾＾

以上

170 返信：１３２人目の素数さん[sage] 投稿日：2017/09/07(木) 16:37:17.53 ID:kjL7MoYs [8/14]
>>169
＞>時枝記事は有限個の点からなる零集合かつ可測空間からなる確率空間を扱っているから、
＞>ゲームに勝つ確率を求めるだけなら、高校数学までの確率を求めるとき
＞>と同じように考えればそのゲームに勝つ確率は 99/100 と求まる。
省11

48(3): 現代数学の系譜工学物理雑談古典ガロア理論も読む 2017/10/26(木)22:42 ID:tcu7t5ik(4/7) AAS
さらに追加テンプレ

44 2chｽﾚ:math
465 現代数学の系譜工学物理雑談古典ガロア理論も読む2017/10/16(月)
>>464 関連
スレ41”>>164 東北大尾畑伸明先生”を抜粋再録
過去スレ41 2chｽﾚ:math
(抜粋)
164 現代数学の系譜工学物理雑談古典ガロア理論も読む 20170907
>>162
>>まあ、ピエロが幼稚なくせに、クソ粘りしているからなんだがね〜。その一言に尽きるよ〜（＾＾
省21

49: 現代数学の系譜工学物理雑談古典ガロア理論も読む 2017/10/26(木)22:44 ID:tcu7t5ik(5/7) AAS
>>44
ピエロご苦労（＾＾
ここ数日で、あなた達落ちこぼれは、一気に化けの皮が剥がれましたね（＾＾

50(1): 現代数学の系譜工学物理雑談古典ガロア理論も読む 2017/10/26(木)22:50 ID:tcu7t5ik(6/7) AAS
>>42
>「非可測であることに目をつぶって計算することの意味を感じないな」
>だが、確率変数がＸではなくｉであることを理解したならば

なんですか？それ？
>>48引用の東北大学大学院情報科学研究科システム情報科学専攻尾畑伸明の確率モデル論 PDFご参照

まあ、このPDF貴方たちには読めないんだろうが・・
確率変数が理解出来ていないということがまるわかり（＾＾

51(1): 現代数学の系譜工学物理雑談古典ガロア理論も読む 2017/10/26(木)22:56 ID:tcu7t5ik(7/7) AAS
>>38
ピエロくん、小学生レベルで無理しなくて良いよ（＾＾

>＞しかし，素朴に，無限族を直接扱えないのか?
>＞扱えるとすると私たちの戦略は頓挫してしまう.
>の「頓挫」の説明だよ。つまり無限族を直接扱えると仮定した場合の話。
>なのでスレ主が「当てられない」という主張を正当化するには
>無限族を直接扱えることを示さないといけない。
>まずは無限族が独立であることを有限族を使わずに定義するところから。
>がんばってね〜

おまえ、ほんとに分ってないね〜（＾＾
省3

52: 2017/10/26(木)23:20 ID:FlCy9rPW(4/5) AAS
>>51
おまえ、ほんとに分ってないね〜（＾＾
＞「(1)という強い仮定をしたら勝つ戦略なんてあるはずがない」時枝氏の主張ははっきり言ってナンセンス
を支持するってことは、お前の主張「勝つ戦略なんてあるはずがない」はナンセンスってことじゃんｗ
自分で自分の主張をナンセンスだと言いたいわけね？　アホ丸出しｗ

53: 2017/10/26(木)23:23 ID:FlCy9rPW(5/5) AAS
>>32
＞非可測であることに目をつぶって計算することの意味をあまり感じないな
これは酷い

54: 2017/10/27(金)00:50 ID:SVjfq/DC(1/2) AAS
＞非可測であることに目をつぶって計算することの意味をあまり感じないな
うーん，正直この発言主は時枝問題を全く理解していないと結論せざるを得ないな

55: 2017/10/27(金)06:12 ID:VfX/6LjR(1/4) AAS
>>45
>>Dとは、d(S^k)以外の99個の決定番号d(S^1)〜d(S^100)の最大値
>>そして、それがd(S^1)〜d(S^100)全体の最大値と
>>一致しないようなkは高々１個しか存在しない
>まずここから
>あなた方の議論では、列の長さが有限でも無限でも、関係なく成り立つよね

しかし、決定番号より先の尻尾が必ず存在する、という性質は
列の長さが有限長の場合には成立しない

このことを決して忘れてはならない

56(1): 2017/10/27(金)06:16 ID:VfX/6LjR(2/4) AAS
>>47
>なんで、有限では不成立で、無限なら成立なんだ？
>”99/100”は両者で変わらないはずだろ？（＾＾

有限長では、決定番号が列の最後の位置を示す場合
その先の尻尾が存在しない
したがって尻尾の情報から代表元をとることができない

無限長では、決定番号がいかなる値であっても
その先の尻尾が存在する
したがって尻尾の情報から代表元をとることができる

あなたはなぜこの明確な違いを理解できないのか？

57: 2017/10/27(金)06:24 ID:VfX/6LjR(3/4) AAS
>>48
>現代確率論で、無限列を扱う理論は、すでに確立されているわけで
>時枝記事は、それに矛盾しているって、知らないのか？

ところであなたのいう「万能理論」によれば
無限列とその代表元の対応する桁は、
確率的に独立なのかい？

58(1): 2017/10/27(金)06:27 ID:VfX/6LjR(4/4) AAS
>>50
>>だが、確率変数がＸではなくｉであることを理解したならば
>なんですか？それ？

毎回の試行で変化するのが、箱の中身か、選択する列かってこと

>確率変数が理解出来ていないということがまるわかり（＾＾

何が変数が認識できていないうちは、あなたには時枝記事が理解できない

59(1): 現代数学の系譜工学物理雑談古典ガロア理論も読む 2017/10/27(金)22:07 ID:WCWdzXyv(1/9) AAS
ここに来て、すっかり馬脚を現すというか、化けの皮が剥がれましたね

60(1): 現代数学の系譜工学物理雑談古典ガロア理論も読む 2017/10/27(金)22:08 ID:WCWdzXyv(2/9) AAS
結局、あなた方は、確率過程論とか、ランダム現象の数理が、全く分っていない

61(1): 現代数学の系譜工学物理雑談古典ガロア理論も読む 2017/10/27(金)22:08 ID:WCWdzXyv(3/9) AAS
だから、確率変数と普通の変数の区別がついていないのではないか？

62(1): 現代数学の系譜工学物理雑談古典ガロア理論も読む 2017/10/27(金)22:08 ID:WCWdzXyv(4/9) AAS
固定とか（＾＾

63(1): 現代数学の系譜工学物理雑談古典ガロア理論も読む 2017/10/27(金)22:09 ID:WCWdzXyv(5/9) AAS
なので、>>48 東北大尾畑伸明先生のPDFをお薦めしますよ

64(4): 現代数学の系譜工学物理雑談古典ガロア理論も読む 2017/10/27(金)22:12 ID:WCWdzXyv(6/9) AAS
ところで、”シュレーディンガーの猫”分りますか？（＾＾
>>20で引用した時枝の文で、一部カットした部分があります
”「R^N/〜の代表系を選んだ箇所で選択公理を使っている.”
の直前に下記の”シュレーディンガーの猫”の一文が入っています（＾＾

「このふしぎな戦略を反省してみよう.
Rより一般に，勝手な集合Sの元の無限列S^Nを使
った構成も異曲同工.特に， {O，1}を使って
シュレーディンガーの猫みたいなお話が紡げる.」とありますよ（＾＾

外部ﾘﾝｸ:ja.wikipedia.org
シュレーディンガーの猫
省10

65(2): 現代数学の系譜工学物理雑談古典ガロア理論も読む 2017/10/27(金)22:12 ID:WCWdzXyv(7/9) AAS
>>64 つづき

で、これが>>21の
”独立な確率変数の無限族
X1，X2，X3，…”

につながっていきます。
つまり、あなたの>>58みたいな解釈なら、”シュレーディンガーの猫”になりませんね

つづく

66(2): 現代数学の系譜工学物理雑談古典ガロア理論も読む 2017/10/27(金)22:13 ID:WCWdzXyv(8/9) AAS
>>65 つづき

時枝先生は、>>21のように
”n番目の箱にXnのランダムな値を入れられて，ある箱の中身を当てようとしたって，
その箱のX と他のX1，X2，X3，・・・がまるまる無限族として独立なら，
当てられっこないではないか−−他の箱から情報は一切もらえないのだから.”
と書かれています。

”X1，X2，X3，…”は、独立な確率変数の無限族です
別に貴方の独自確率解釈が、直ちに否定されるわけではないが
ちょっと、普通の解釈ではないし
しっかり、足下を固めることをお薦めしますよ（あなた足下があやふやと思いますよ）

67(5): 現代数学の系譜工学物理雑談古典ガロア理論も読む 2017/10/27(金)22:14 ID:WCWdzXyv(9/9) AAS
さて

>>56
>有限長では、決定番号が列の最後の位置を示す場合
>その先の尻尾が存在しない
>したがって尻尾の情報から代表元をとることができない
>
>無限長では、決定番号がいかなる値であっても
>その先の尻尾が存在する
>したがって尻尾の情報から代表元をとることができる
>
省15

68(1): 2017/10/27(金)23:09 ID:l8PdC9WS(1) AAS
>>67
> なので、列の長さが可算無限個になれば、決定番号が有限の範囲に来る確率は０です。

へー。
じゃあそれ、R^Nの確率空間から出発して証明してくれる？
厳密にね。

69(1): 2017/10/27(金)23:59 ID:SVjfq/DC(2/2) AAS
> なので、列の長さが可算無限個になれば、決定番号が有限の範囲に来る確率は０です。
バカ丸出しｗ

70: 2017/10/28(土)00:32 ID:ZyG6hqd9(1) AAS
広義数学者俊太郎@reviewer_amzn_m
母の無神経な言動に腹が立ったので「じゃあ自殺してやるよ」と返したら黙った。お金と精神に余裕あったら一人暮らししてるってつい最近言ったはずなのに。
誰が嫌で家にいないか部屋の外にいない時間が長いのか分かってない。産んでおきながら無責任かつ無自覚なら産むなよ。産まされた側の苦しみも何も考えてない。数学がなかったら10年前に自殺してる。23年10ヶ月生きたけど家庭はまだ平和にならない。

71: 2017/10/28(土)09:11 ID:MCAUNIig(1/8) AAS
>>59-63
>ここに来て、すっかり馬脚を現すというか、化けの皮が剥がれましたね
>結局、あなた方は、確率過程論とか、ランダム現象の数理が、全く分っていない
>だから、確率変数と普通の変数の区別がついていないのではないか？
>固定とか（＾＾
>なので、東北大尾畑伸明先生のPDFをお薦めしますよ
外部ﾘﾝｸ[pdf]:www.math.is.tohoku.ac.jp

たった5行の記事を5つに分けるとか池沼か？ｗｗｗ
上記PDFには「箱入り無数目」の記事の内容を否定する記述はないぞ
いったいPDFのどこで箱入り無数目の記事が否定されると思ったんだ？
省1

72: 2017/10/28(土)09:19 ID:MCAUNIig(2/8) AAS
>>64
＞「このふしぎな戦略を反省してみよう.
＞　Rより一般に，勝手な集合Sの元の無限列S^Nを使った構成も異曲同工.
＞　特に， {O，1}を使ってシュレーディンガーの猫みたいなお話が紡げる.」

上記文章は”ふしぎな戦略”の方法に関する説明に非ず
なんで”ふしぎな戦略”の方法の説明文章を読まない？

>>65
＞もうちょっと面白いのは，独立性に関する反省だと思う.
＞確率の中心的対象は，独立な確率変数の無限族
＞X1，X2，X3，…である.
省2

73: 2017/10/28(土)09:48 ID:MCAUNIig(3/8) AAS
>>66
＞n番目の箱にXnのランダムな値を入れられて，ある箱の中身を当てようとしたって，
＞その箱のX と他のX1，X2，X3，・・・がまるまる無限族として独立なら，
＞当てられっこないではないか−−他の箱から情報は一切もらえないのだから.

実際にはX1，X2，X3，・・・によって構成される数列の代表元
X’1，X’2，X’3，・・・から情報がもらえるけどな

で、あんたは肝心な箇所を読んでないから気づいてないと思うけど
当てる箱は「箱の中身によらず一定」じゃなくて、回答者が選ぶんだぞ
列を選んで、選んだ列以外の決定番号の最大値Dを求める
選んだ列S＾ｉのD＾ｉの位置の箱が、当てる箱だぞ
省10

74: 2017/10/28(土)09:54 ID:MCAUNIig(4/8) AAS
>>67
＞有限長で当てられない要因は２つ。
＞１）決定番号が、最後の箱に偏在すること
＞２）最後の箱が、決定番号だと、開けるべき”D+1”の箱が存在しないこと
＞（「(D+1) 番目から先の箱だけを開ける」とある）

その通り

＞上記２つの要素の内、
＞１）の”決定番号が、最後の箱に偏在する”が特に重要です
＞２）の”最後の箱が、決定番号だと、開けるべき”D+1”の箱が存在しない”は、
＞列が長くなれば、むしろ影響は小さくなりますよ
省4

75: 2017/10/28(土)10:00 ID:MCAUNIig(5/8) AAS
>>67
＞もし1〜L番までの箱が、均等に決定番号になり得るとすると、
＞最後の箱が決定番号になる確率は1/Lにすぎない。
＞Lが大きくなれば、1/Lは小さくなる

同値類から勝手に１個選ぶ場合には、均等にならないがな

この場合、もとの有限列と同値類の箱の関係でいえば
それぞれの最後の箱同士だけが一致し（当然独立でない）
それ以外の箱同士は全部独立である

で、最後の箱が決定番号になる確率は列の長さによらず一定
逆に先頭が決定番号になる確率が
省3

76: 2017/10/28(土)10:06 ID:MCAUNIig(6/8) AAS
>>67
＞１）の”決定番号が、最後の箱に偏在する”で、
＞列の長さでLが大きくなれば、決定番号はどんどん大きくなり、
＞先頭には来ません

その通り

＞なので、列の長さが可算無限個になれば、
＞決定番号が有限の範囲に来る確率は０です。

誤りｗ

耄碌爺さんによれば、
「決定番号が無限の範囲に来る確率は１」
省13

77: 2017/10/28(土)10:12 ID:MCAUNIig(7/8) AAS
>>68-69
耄碌爺さんには是非以下を示してもらいたいもんだ
「ペアノの自然数の公理から矛盾を導く証明」

最後の箱がある、ってことは、最後の自然数がある、ってこと
つまり、N＋１が存在しない自然数Nがあるってこと　だからな
耄碌爺さんの”直観”とかいう妄想でなく
論理による証明としてそのことを示してくれ

自然数論が矛盾するんなら、たしかに「箱入り無数目」は無意味だな
つーか、現代数学そのものが完全に無意味になるけどなｗｗｗ

78(1): 2017/10/28(土)11:00 ID:UBL7F5V2(1/5) AAS
結論　サルに数学は無理ゲー

79(4): 哀れな素人 2017/10/28(土)11:27 ID:u+Ker7gW(1/5) AAS
そもそも同値類などという概念自体が間違いなのだから、
時枝問題などを論じることには何の意味もないだろう(笑

>>78
お前がサルでないなら、以下の問に答えてくれ(笑

０から１までの間に

１　自然数はいくつあるか。
２　有理数はいくつあるか。
３　無理数はいくつあるか。
４　実数はいくつあるか。
５　有理数と無理数ではどちらが多いか。
省2

80: 2017/10/28(土)11:36 ID:IQQzJPDY(1/4) AAS
>>79
> そもそも同値類などという概念自体が間違いなのだから、

同値類の概念自体は無限と無関係だからオマエが否定する理由はなにもないんだがｗ

81: 2017/10/28(土)13:54 ID:bgVhJR7k(1) AAS
哀れなド素人のクルクルパーの頭では、

「違うものは違うものなのであり、イコールにはならない」

としか思ってないのだろう。すなわち、哀れなド素人は

「違うものを完全なるイコールと見なすのが同値関係であり、これはイカサマである」

と勘違いしているのであろう。
実際には、違うものをいくつかの「種類」に分類して別々の集合にまとめておくという
日常的な行為が同値関係なのだから、こいつは同値関係のことを何１つとして理解していないことになる。
たとえば、いろいろな種類のゴミを「燃えるゴミ」「燃えないゴミ」「スチール缶」・・・
などに分類してポリ袋にまとめるという行為は、１つの同値関係を定めるのである。
省9

82: 2017/10/28(土)14:15 ID:UBL7F5V2(2/5) AAS
素人爺さん
この前教えてやったのにもう忘れたのか？痴呆症か？
同値類を否定するなら曜日を使っちゃダメ
今度の日曜日なんて言っちゃダメ、2017年10月29日と言わなきゃ
曜日というのは日数を7で割った剰余による同値類なんだから

83: 2017/10/28(土)14:17 ID:UBL7F5V2(3/5) AAS
定休日なんて表現するの大変だぞ？
日曜日と書けば済むところ
2017年10月29日、2017年11月5日、2017年11月12日、2017年11月19日、・・・
とひたすら書かなきゃいけなくなるぞ？

84: 2017/10/28(土)14:21 ID:IQQzJPDY(2/4) AAS
>>79
> そもそも同値類などという概念自体が間違いなのだから、

これは訂正しておいたほうがいいと思われｗ
良く知らないものを片っ端から否定しちゃダメ。
意地を張りすぎるとスレ主と同じって言われちゃうよ？

85: 2017/10/28(土)14:30 ID:UBL7F5V2(4/5) AAS
痴呆老人にとっては自分が理解できないもの＝間違いなんだろう
どこかのサルと同じ

86: 2017/10/28(土)15:33 ID:MCAUNIig(8/8) AAS
>>79
>そもそも同値類などという概念自体が間違いなのだから、
>時枝問題などを論じることには何の意味もないだろう(笑

「同値類」が「無限」だったら、今までの主張通りだったんだが・・・

87(2): 2017/10/28(土)19:16 ID:yL8vvd3S(1) AAS
‪【チャレンジャー求む！天才、光吉の日本一難解な人工知能動画Part1】　
生田よしかつ菅原道仁光吉俊二メラニー

動画ﾘﾝｸ[YouTube]

88(2): 哀れな素人 2017/10/28(土)22:40 ID:u+Ker7gW(2/5) AAS
例によってイミフなアホレスが一杯(笑

では同値類とは何なのだ(笑
お前らは１と1.00000……と0.99999……は同値だ、
と言っているのではないのか？(笑

同値類とはそういう意味ではないなら別に文句はない(笑
同値類がそういう意味なら、それは間違いだと言っているのだ(笑

ところでお前らは>>79の質問に答えない(笑
なぜ答えないのだ(笑
アホ回答をして笑われるのが怖いからか(笑

>>79の問題なんて有理数と無理数の知識さえあれば
省8

89(2): 2017/10/28(土)22:43 ID:UBL7F5V2(5/5) AAS
＞例によってイミフなアホレスが一杯(笑
同値類の定義さえ知らずに同値類は間違いと言ってるお前がイミフなアホなだけ

90: 哀れな素人 2017/10/28(土)22:45 ID:u+Ker7gW(3/5) AAS
そもそもお前らは
ケーキを食べ尽くすことはできない。
1/2＋1/4＋1/8＋……は１にはならない。
0.99999……は１ではない。
ということは理解できたのか？(笑

その話はもううんざりだというが、理解できたのか？(笑

はっきりいうが、お前らはこんな基本的なことさえ
理解できていないのだ(笑
だからお前らはサルなのだ(笑
お前らは数学をやるような人間ではないのだ(笑

91: 哀れな素人 2017/10/28(土)22:51 ID:u+Ker7gW(4/5) AAS
>>89
同値類の定義なんて知らないし、知りたいとも思わない(笑
１と1.00000……と0.99999……は同値ではない。
それだけ分っていれば十分だ(笑

ところがこのことをお前らも日本の数学者も
世界の数学者も分っていないのである(笑
度し難いアホ揃いだというしかない(笑

92: 哀れな素人 2017/10/28(土)22:56 ID:u+Ker7gW(5/5) AAS
お前らは非可算無限などという概念が
アホ概念であるということすら分っていない(笑
無限集合なんて実際は存在しない、ということすら分っていない(笑
その他、お前らが習った実数論とか無限集合論なんて
みんな間違いなのに、お前らはそれが分っていない(笑

というわけで、お前らのようなサルを相手にしても無駄なのだ(笑

93(2): 2017/10/28(土)22:58 ID:IQQzJPDY(3/4) AAS
>>88

5 名前：１３２人目の素数さん[sage] 投稿日：2017/10/01(日) 17:47:38.91 ID:RDeomlGb
> 無限公理とは可能無限公理にすぎないのである(笑
>
> いくらでも作れるが無限個は作れない(笑
> どんなに作っても有限個である(笑

へえー可能無限公理にすぎないのか。それ証明しろ。
無限公理の主張∃A（φ∈A ∧ ∀x∈A（x∪{x}∈A））が可能無限公理に等しいことを証明しろや。
そもそも可能無限公理ってなんだよ？まずはその公理をきちんと書き下してみろや。
お前の数学における「公理」「用語の定義」をきちんと提示したうえで、
省24

94(1): 2017/10/28(土)23:07 ID:IQQzJPDY(4/4) AAS
>>88
オマエ、どうせまともな論証ができないだろ？
>>93（＝2chｽﾚ:math）にもマトモに答えられないだろ？
そもそもケーキと0.999....以外の言葉で数学を語れたためしがあったっけ？
オマエ独り身で寂しいんだろ？ｗ
本を書いて自己主張しても誰も読んでくれないしな。
みんなに注目されたいのに誰も振り向いてくれないのはつらいよなｗ
2chだけがオマエのよりどころ。寂しいよな。
他人をバカにすれば誰かがオマエをバカにして、とりあえずのcommunicationはできるわなｗ
バカにしあうだけの人生、せいぜいあと1、2年がんばって生き抜けや。

95(1): 2017/10/29(日)09:41 ID:BhVhj2R/(1/12) AAS
ところでスレ主は息してるか？
さっさと、ペアノの自然数の公理から矛盾を導いてくれ！

最後の箱がある、ってことは、最後の自然数がある、ってこと
つまり、ｎ＋１が存在しない自然数ｎがある、ってことだからな

”直観”とかいう妄想でなく論理による証明を示してくれ

ま、どうせ、こんなんだろうけどｗｗｗ

「｛１、・・・、ｎ｝は最大元ｎをもつ
　だからｌｉｍ（ｎ→∞）｛１、・・・、ｎ｝は最大元∞をもつ！！！」

96(5): 哀れな素人 2017/10/29(日)09:46 ID:qEFBvodp(1/5) AAS
>>93-94
アホレス乙(笑

ペアノの公理とか無限公理とかは、要するに、
自然数はいくらでもありますよ、
自然数はいくらでも作れますよ、
という公理である(笑

ところが、いくらでもある、いくらでも作れる、ということは、
いくらでもある、いくらでも作れるが有限個にすぎない、
ということなのである(笑

このことをくどいほど説明したが、お前らは理解しなかった(笑
省5

97(2): 現代数学の系譜工学物理雑談古典ガロア理論も読む 2017/10/29(日)10:05 ID:5HglMdE7(1/25) AAS
>>95-96
哀れな素人さん、どうも。スレ主です。
ご苦労さまです

まあ、ピエロと哀れな素人さんとは、良い論争相手ですな（＾＾
無限公理に、反例だとさ（＾＾

お手数だが
ピエロとの論争よろしくね（＾＾

スレ42 2chｽﾚ:math
(抜粋)
782 返信：１３２人目の素数さん[sage] 投稿日：2017/10/01(日) 13:47:11.73 ID:uIo4DGr8
省9

98(1): 2017/10/29(日)10:05 ID:l3pTI3GL(1/19) AAS
>>96
＞自然数をいくら作っても有限個にすぎない、
＞と解説しているだろう(笑
URL貼って

99(1): 現代数学の系譜工学物理雑談古典ガロア理論も読む 2017/10/29(日)10:06 ID:5HglMdE7(2/25) AAS
可能無限とか実無限とか
未定義用語で数学ごっこ

ピエロは子供だね（＾＾
そういう話、おれ好きだけどね（＾＾

スレ44 2chｽﾚ:math
18 名前：１３２人目の素数さん[sage] 投稿日：2017/10/01(日) 19:36:45.54 ID:uIo4DGr8
(抜粋)
2chｽﾚ:math

ペアノの公理
・０は自然数
省10

100(4): 2017/10/29(日)10:07 ID:l3pTI3GL(2/19) AAS
>>97
＞ピエロとの論争よろしくね（＾＾
逃亡宣言ｗ

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

あと 735 ﾚｽあります
ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 1.239s*