現代数学の系譜　カントル　超限集合論2

**現代数学の系譜雑談** ◆e.a0E5TtKE · 2019/12/20(金) 23:28:06.21

前スレ
現代数学の系譜　カントル　超限集合論
https://rio2016.5ch.net/test/read.cgi/math/1570237031/

関連スレ
１）現代数学はインチキのデパート
https://rio2016.5ch.net/test/read.cgi/math/1570145810/28-
直接には、ここの28からの続き

２）１）の前スレ
現代数学はインチキだらけ
https://rio2016.5ch.net/test/read.cgi/math/1567930973/1-

３）２）の中の正則性公理に関する議論の前のスレ（＾＾
現代数学の系譜工学物理雑談古典ガロア理論も読む77
https://rio2016.5ch.net/test/read.cgi/math/1568026331/1-

**１３２人目の素数さん** · 2020/03/26(木) 17:49:39.28

>>666
追伸
3進カントール集合は、3進無限小数のうち1が現れないもの
{0,2}^nと考えることができる
0.022…と０.200…は無限列としても数としても異なる

**１３２人目の素数さん** · 2020/03/26(木) 18:00:43.72

（質問）
もしかして

・数列　.9、.99、.999、…　の極限は.999…

・そして、数列の各項について
　.000…と.9000…は同値　（決定番号2）
　.000…と.9900…は同値　（決定番号3）
　.000…と.9990…は同値　（決定番号4）
　…

上記２点から

・.000…と.999…も同値　（決定番号∞）

という「論法」を用いてますか？

**現代数学の系譜雑談** ◆e.a0E5TtKE · 2020/03/26(木) 18:21:54.03

>>663
ｗ（＾＾；
https://fujicategory.hatenadiary.org/entry/20110721/1311211333
数学基礎論の勉強ノート id:fujicategory
2011-07-21
レーヴェンハイム・スコーレムの定理！！
(抜粋)
第５章
まずは定理の引用から。（新井敏康「数学基礎論」より）
定理５.１.７（上方(Upward)Lowenheim-Skolem 定理）
１．言語Ｌでの公理系Ｔがどんなにも大きい有限モデルをもてばあるいは無限モデルをもてば
　　どんな無限基数κ?card(L)についても
　　ＴのモデルNで濃度κのものが存在する．
すごいのは、この定理から導かれる系５.１.１０。
この系によれば、公理系Ｔが無限モデルをもてば、Ｔの濃度κのモデルＭで、Ｍで定義できる無限集合の濃度がすべてＭと同じκになるようなものが作れます。
すると、たとえばＺＦＣの(有限部分の)モデルで、モデル内で定義できる無限集合がすべて可算濃度ωになるものが存在します。

http://www.cs-study.com/koga/set/lowenheimSkolem.html
形式的論理体系の定義から
レーベンハイム・スコーレムの定理までの大急ぎのまとめ
by Akihiko Koga
17th Jan. 2019 (Update)
(抜粋)
目次
概要
記号論理の文法 (Syntax) と意味 (Semantics)
記号論理とモデルの説明（詳細編）
レーベンハイム・スコーレムの定理と集合論での解釈
レーベンハイム・スコーレムの定理の証明
完全性定理を使った証明のアウトライン
（補足）（ダウンワード）レーベンハイム・スコーレムの定理成立の本質
二階述語論理などの関連事項
雑感

（補足）
（ダウンワード）レーベンハイム・スコーレムの定理成立の本質
当然のことながら証明は厳密にしなければならないのだが，レーベンハイム・スコーレムの定理が成り立つ本質的な理由は，

有限，あるいは可算無限個の関数記号や述語記号から作り出すことができる要素の総体は可算無限個である
ことによる．これは上の証明の中の Termσ/～Σ を考えればわかる．
ちなみに我々の自然言語も有限のアルファベットあるいはかななどからなるので，それらの言葉で直接指し示すことができる数学的概念も，高々可算無限個である．我々が直接言葉で表すことができるものは結構少ないのだ． 2019.01.17 (木)

**１３２人目の素数さん** · 2020/03/26(木) 19:27:49.37

>>656
>１．決定番号∞について
>・この∞の意味は、言い換えれば、「決定番号d上限はない」あるいは「決定番号dは全ての自然数を渡る」ということ
バカの言ってることが正しいと仮定。
「決定番号dは全ての自然数を渡る」より d∈N
決定番号d=∞ より￢(d∈N)
矛盾が導かれたので仮定は偽。

数学のすの字も解ってないことを天下に晒して頂き本当に有難うございました。

**１３２人目の素数さん** · 2020/03/26(木) 19:59:07.97

>>670とは関係ないが・・・

∞が超準自然数だとしても「箱入り無数目」の障害にはならない

∞が最大の元となる場合のみ「箱入り無数目」の障害となるが、
最大の元としての∞はペアノの公理の１つである後者の存在と
矛盾するのであり得ない

2020/03/26(木) 20:15:21.72

>>670
レーヴェンハイム・スコーレムの定理を否定するとな？！ｗ（＾＾；
数学のすの字も解ってないことを天下に晒して頂き本当に有難うございました。

**１３２人目の素数さん** · 2020/03/26(木) 20:21:40.14

バカの一つ覚えｗ

2020/03/26(木) 20:22:42.82

>>671
(引用開始)
∞が超準自然数だとしても「箱入り無数目」の障害にはならない
∞が最大の元となる場合のみ「箱入り無数目」の障害となるが、
最大の元としての∞はペアノの公理の１つである後者の存在と
矛盾するのであり得ない
(引用終り)

意味不明だな
言葉のサラダ？
言葉のスパゲティー？ｗ（＾＾；

（参考）
https://hidamarikokoro.jp/blog/%E6%80%A5%E6%80%A7%E6%9C%9F%E3%81%AE%E9%99%BD%E6%80%A7%E7%97%87%E7%8A%B6%E3%80%80%E2%91%A2%E8%A7%A3%E4%BD%93%E3%81%97%E3%81%9F%E4%BC%9A%E8%A9%B1%E3%81%A8%E8%A7%A3%E4%BD%93%E3%81%97%E3%81%9F%E8%A1%8C/
クリニックブログ
2017.01.12
言葉のサラダとは？
「解体した会話」とはどのような会話なのでしょうか？
「解体した会話」とは、「脈絡のない」「前後のつながりがない」「理解できない」会話と言えるでしょう。
これらの解体した会話がひどくなると、まったく脈絡なく単語が出てくる「言葉のサラダ」と呼ばれる状態になります。

引用文献：　図解　よくわかる統合失調症

**１３２人目の素数さん** · 2020/03/26(木) 20:30:58.83

>>674
意味は明瞭

決定番号ｎが標準自然数でも超準自然数でも、
ｎ＋１が存在するからその先の尻尾が得られる

一方∞が最大の要素であって、∞＋１が存在しないなら
決定番号が∞の場合、その先の尻尾が得られない

「箱入り無数目」の方法の妨げとなるものは
「決定番号の先の尻尾の非存在」しかない

しかし、∞＋１が存在しない、という主張は
ペアノの公理である後者の存在を真っ向から否定する

2020/03/26(木) 20:36:50.35

>>674

数学基礎論と消えたパラドックス/Ｈ. フリードマンの定理ｗ（＾＾；
”ペアノの算術の可算な超準モデルは、自らと同型な接頭部を持つ．
標準モデルはたった１つしかないが、
超準モデルは可算のものに限っても非可算無限個存在する．”ｗｗ
（参考）
https://sites.google.com/site/sendailogichomepage/files/ref/ref_07
Sendai Logic Homepage
仙台ロジック倶楽部ＯＬＤの関係資料ページを復旧したものです．
文章は田中一之先生によるものです．（旧ページ製作はNBZ先輩）
■ 読み物系
□数学基礎論と消えたパラドックス（『数学セミナー』1993年8月号より）
パラドックスから数学基礎論の誕生，不完全定理への流れを解説．
(抜粋)
■ Ｈ. フリードマンの定理

言葉の説明を後回しにして、定理を述べる．

ペアノの算術の可算な超準モデルは、自らと同型な接頭部を持つ．

和積演算を伴った非負整数の集合をペアノの算術の“標準モデル”といい、
それと同型でない数学的構造でペアノの公理を満たすものを“超準モデル”という．

標準モデルはたった１つしかないが、
超準モデルは可算のものに限っても非可算無限個存在する．

超準モデルもペアノの公理を満たしているから、
その上に大小関係や和積演算が定義されている．

モデルの要素を大きさの順に並べて、
あるところで大きい方と小さい方に分け、小さい方を“接頭部”と呼ぶ．

どんな超準モデルも、
標準モデルと同型な接頭部を持つことが簡単に示せる．

そして、どんな超準モデルも
自分の縮小コピーを接頭部として持ついうのがフリードマンの結果である．

これは、自分と同じものは自分の中で造れないという第二不完全性（＋完全性定理）と矛盾するようだが、そうではない．

なぜなら、接頭部の切り口が自分では見つけられない（定義できない）からである．

　この定理の証明がまた実に巧妙で面白い．
厳密な議論を紹介するスペースはないが、
以下に述べるアイデアからその卓抜さに共感戴ければ幸いである．
(引用終り)
以上

**１３２人目の素数さん** · 2020/03/26(木) 20:41:47.12

>>676
＞超準モデルもペアノの公理を満たしている

でしょう？

では∞について、∞＜∞＋１　となる∞＋１の存在を認めるね？

2020/03/26(木) 21:28:55.61

＜ヒルベルトの無限ホテルのパラドックス＞
・自然数N（1, 2, 3, …）を、奇数と偶数とに分ける
・奇数 1,3,5,・・・、偶数 2,4,6,・・・
・2つの数列を直列した数列奇数列＋偶数列：1,3,5,・・・,2,4,6,・・・
・上記の数列に先頭から番号を振ります：1→1,2→3,3→5,・・,n→2n+1・・,ω→2,ω+1→4,ω+2→6,・・・
・つまり、自然数Nは無限集合なので「その真部分集合である奇数号室すべての集合の基数と等しい」（ヒルベルトの無限ホテルのパラドックス）

（参考）
https://ja.wikipedia.org/wiki/%E3%83%92%E3%83%AB%E3%83%99%E3%83%AB%E3%83%88%E3%81%AE%E7%84%A1%E9%99%90%E3%83%9B%E3%83%86%E3%83%AB%E3%81%AE%E3%83%91%E3%83%A9%E3%83%89%E3%83%83%E3%82%AF%E3%82%B9
ヒルベルトの無限ホテルのパラドックス
(抜粋)
パラドックスの内容
それぞれに無限の乗客が乗った無限台の車がホテルに乗りつけたとする。
この場合、まず奇数号室を上のようにして空け、1台目の乗客を 3n（n = 1, 2, 3, …）号室に、2台目の乗客を 5n（n = 1, 2, 3, …）号室に、…というふうに入れる。i 台目の乗客は pn（ここで p は i + 1 番目の素数）に入れればよい。

現実にある（2室以上ある）有限ホテルでは、当然奇数号室の数は全室数より少ないが、無限ホテルではそうではない。
数学的には、全室からなる集合の基数（有限集合における要素の個数に当たる）は、その真部分集合である奇数号室すべての集合の基数と等しい。
これは無限集合の特徴である。
この可算無限集合の基数は N0（アレフ・ゼロ、アレフ・ヌル）と表される。

https://math-fun.net/20180731/996/
趣味の大学数学
ガリレオのパラドックスとヒルベルトの無限ホテルから感じる、無限集合の性質
2018年7月31日2019年10月25日
(抜粋)
目次
ガリレオのパラドックス
ヒルベルトの無限ホテル
無限集合の不思議

**１３２人目の素数さん** · 2020/03/26(木) 21:44:36.77

（質問）
ｎが超準自然数でも何の問題もなく「箱入り無数目」の方法が適用できて
超準自然数同士の大小の比較も可能で、箱の中身が的中できることは
全面的に認めますね？

**１３２人目の素数さん** · 2020/03/26(木) 22:16:50.30

自然数にも上限は無いがどの自然数も有限
コピペ馬鹿に数学は無理

2020/03/27(金) 07:20:49.86

>>679
時枝は、
１．しっぽの同値類は可能
２．決定番号を決めることは可能
３．しかし、確率計算は正当化できない
ってことでしょ

2020/03/27(金) 07:31:23.83

>>680
>自然数にも上限は無いがどの自然数も有限

自然数に上限は無くどの自然数も有限でも
しかし、超限順序数ωは
ヒルベルト無限ホテルのパラドックスを使って
（>>678ご参照）
直ちに実現できますねｗ（＾＾；

（参考）
https://ja.wikipedia.org/wiki/%E9%A0%86%E5%BA%8F%E6%95%B0
順序数
(抜粋)
この定義と順序数の要素はまた順序数であるという性質から、すべての順序数は自分自身より小さな順序数全体の集合と等しいと言うことができる。
ω より小さな順序数（すなわち自然数）を有限順序数と呼び、ω 以上の（すなわち ω と等しいか ω より大きい）順序数を超限順序数と呼ぶ。

**１３２人目の素数さん** · 2020/03/27(金) 07:42:23.78

>>681
＞１．しっぽの同値類は可能
＞２．決定番号を決めることは可能

３．どの決定番号でも、その先の尻尾をとることが常に可能
４．決定番号は整列順序により大小の比較が常に可能

したがって「箱入り無数目」は（100列が確定している場合）正しい

**１３２人目の素数さん** · 2020/03/27(金) 07:49:41.59

>>682
超限順序数ωは超準自然数ではない

「箱入り無数目」で、R^NをわざわざR^(N∪{∞})に並べ替えて失敗させたところで
「箱入り無数目」の否定にはならない

2020/03/27(金) 08:45:51.61

>>683-684
結局さ
大学教程の確率論を学んだ高い立場に立たないと
時枝理論のおかしさに気付かないし
いつまでも、”はまって”抜け出せない

**１３２人目の素数さん** · 2020/03/27(金) 09:02:51.08

>>685
まず、大学教程の自然数論を学ぶこと

基礎から積み上げないと数学は正しく理解できない

無限列をR^Nを定義したのだから、Nを理解すること

Nの定義はペアノの公理

・0はNの要素
・nがNの要素なら、n+1はNの要素

2点目から、最後の自然数が存在しないことがわかる

それで箱入り無数目は反駁不能とわかる

**１３２人目の素数さん** · 2020/03/27(金) 09:06:18.24

今日は在宅勤務？

HNとトリップは本スレッドでしか使用していないようだが
今後は自宅および職場からの投稿のどちらも
トリップだけにしていただいて結構

長たらしいHNは無意味

**１３２人目の素数さん** · 2020/03/27(金) 09:15:57.45

IUTスレッドと分からない問題スレッドでは
HNおよびトリップをつけていないようだが
本スレッドでも不要　

むしろつけることで誤りを認められなくなってるなら
外したほうがいい

**１３２人目の素数さん** · 2020/03/27(金) 09:27:00.52

日高、イナ、酒浸り、哀れな素人、Mara Papiyas等の
分かりやすいＨＮが好ましい

**１３２人目の素数さん** · 2020/03/27(金) 09:32:13.75

もし私がつけていいなら「集合Ａ」を提案する
英語でいうと”Set A”

https://www.youtube.com/watch?v=sTn6eaiYN1w

♪特別じゃない　どこにもいるさ　俺は集合A

**１３２人目の素数さん** · 2020/03/27(金) 09:59:30.34

本スレッドのスレッド名も陳腐なので
新しく立てるなら名前を変えたほうがいい

たとえば「数理資本主義」とか

反資本主義の活動家が大量に押しかけてくるだろう

**現代数学の系譜雑談** ◆e.a0E5TtKE · 2020/03/27(金) 10:02:53.45

おサル必死だな
コテとトリップを付けるかどうかは
おれは、専用ブラウザを使っているので

設定しておけば、簡単でね
このスレでは、コテとトリップ
あのスレでは、無しとかね

なお、余談だが
あと、sageとage もスレ毎に設定できる
別に、なんということもない

**現代数学の系譜雑談** ◆e.a0E5TtKE · 2020/03/27(金) 10:04:34.14

>>691
今日は、ヒマか？
つうか、コロナでヒキコモに、好都合か

＞反資本主義の活動家が大量に押しかけてくるだろう

ヒマ人の妄想も
ここまで来れば立派
薬しっかり飲めよ

**１３２人目の素数さん** · 2020/03/27(金) 10:07:32.43

>>692
＞専用ブラウザを使っているので

承知している

しかしHNのネーミングとか書き込みの内容は
専用ブラウザの使用とは無関係の書き手のセンスの問題

誤りに満ちた書き込みを固定ハンドルで書いても恥ずかしいだけだろう
それなら全部匿名にしたほうがいい　違うかな？

**１３２人目の素数さん** · 2020/03/27(金) 10:25:38.50

>>693
職場から書き込みか？　コロナに感染するぞ

**現代数学の系譜雑談** ◆e.a0E5TtKE · 2020/03/27(金) 10:27:02.32

>>669
補足

> https://fujicategory.hatenadiary.org/entry/20110721/1311211333
>数学基礎論の勉強ノート id:fujicategory
> 2011-07-21
>レーヴェンハイム・スコーレムの定理！！

これ、面白い
図解が面白い
是非、ご一見願います（＾＾；

追加貼る
http://www.cs-study.com/koga/set/setTheory.html#about_CH
集合，位相，論理など
(Set, Topology, Logic, etc.)
28th Dec 2019 (Updated)
10th Oct. 2017 (First)
Akihiko Koga
(抜粋)
1)集合論の基礎
1.いろいろな集合論についてのおぼえ書き
-1.公理的集合論
-2.素朴集合論
-3.圏論ベースの集合論
-4.代替集合論 (Alternative Set Theories)
　某勉強会で発表してきたことを追加しました．(2019.06.22)
2.集合論の学習での重要なポイント
3.Zorn の補題と選択公理のお話
4.フォーシングと連続体仮説の否定の無矛盾性
5.基礎的な集合論の教科書
6.集合論についての素朴な(かなり，おまぬけな)疑問集
2)位相空間の基礎
　テキストや計算機応用の文献など
3)論理学の基礎
1.Hilbert の体系の例
2.レーベンハイム・スコーレムの定理 (Lowenheim-Skolem Theorem)
　某勉強会での連続体仮説解説の顛末追記
3.ゲーデルの不完全性定理について
　別のコーナーで書いた簡単な説明へのリンクです 2019.12.28
4.数理論理学の基礎を勉強するための参考になりそうな文献例

つづく

**現代数学の系譜雑談** ◆e.a0E5TtKE · 2020/03/27(金) 10:27:38.50

>>696

つづき
2.レーベンハイム・スコーレムの定理 (Lowenheim-Skolem Theorem)
とある勉強会で，連続体仮説の否定の無矛盾性の解説をするためにレーベンハイム・スコーレムの定理を分かった気にさせる解説を執筆完（2018.09.29）．

レーベンハイム・スコーレムの定理 (初出 1915年 ) は，一階述語論理のモデルの大きさに関する命題である．大雑把に言えば，その一階述語論理に用意された記号の集合が可算無限個のとき，その論理体系の中の公理系がモデルを持てば，そのモデルの要素数（基数）を可算無限個まで絞ることも，非可算無限個まで水増しすることもできるという内容である．

http://www.cs-study.com/koga/set/pictures/LowenheimSkolem000.jpg

これは，全体が可算個の集合からなる集合論のモデルを保証したり，自然数の集合のサイズが非可算個でも矛盾がないことを意味し，一見，それまで築かれた数学的常識と反するので，発見当初は，レーベンハイム・スコーレムのパラドクスとして扱われた．その後，この定理の解釈が整理されるとともに，今は，特にパラドクスではないという認識になっていると思う．

私は，今，勉強会のためにこの解説を作りながら，この定理は無限集合に関する我々自身の思考に関わるもので，とても含蓄のある定理だと感じている．
(引用終り)
以上

**１３２人目の素数さん** · 2020/03/27(金) 10:32:33.00

＞薬しっかり飲めよ

こんな書き込みに真面目にレスポンスする人はいないだろうが
ヒマなので書くことにしよう

薬は今は飲んでない

以前、突発性難聴にかかり後遺症の耳鳴りで
不眠症になったので睡眠薬を処方してもらったが
それがよくなかった
結局やめるのに半年かかった

眠れないからといって薬を飲むのはよろしくない

**１３２人目の素数さん** · 2020/03/27(金) 10:35:55.98

>>696-697
いくら読んでも「箱入り無数目」の否定は導けないよ

**１３２人目の素数さん** · 2020/03/27(金) 10:40:13.83

「箱入り無数目」は、列をS^O（Oは順序数）で表したとき
Oが極限順序数であれば成立する

要するに「終端がない」ということが最も重要

N∪{∞}は、ω＋１であって、後続順序数だから終端がある
後続順序数で成立しない、といったところで意味がない
なぜならN（＝ω）は極限順序数だから

**１３２人目の素数さん** · 2020/03/27(金) 10:45:07.41

まったくどうでもいい話

レーベンハイムは４人の祖父母のうち１人がユダヤ人だったらしいが
ナチ時代の法律で、３／４アーリア人として扱われたらしい

**現代数学の系譜雑談** ◆e.a0E5TtKE · 2020/03/27(金) 10:53:34.19

>>685 補足
(引用開始)
結局さ
大学教程の確率論を学んだ高い立場に立たないと
時枝理論のおかしさに気付かないし
いつまでも、”はまって”抜け出せない
(引用終り)

補足：
１）数当てと言えば、確率ですね（下記 "chiebukuro.yahoo"）
２）いま、一つ箱があり、サイコロの目を入れた。確率 1/6
３）複数の箱がある。iid(独立同分布)を仮定する
　下記のiidの説明通り、箱一つと同じ計算になる
　サイコロの目を入れたなら、確率 1/6
４）可算無限個の箱がある。iid(独立同分布)を仮定する
　（ここは、大学の確率論の教程を学べば分かる）
　下記の通り、箱一つと同じ計算になる
　サイコロの目を入れたなら、確率 1/6
　どの箱も、例外無し！
５）ところが、時枝理論では、ある箱の数当てが確率1/6ではなく、1-εにできるという
　大学の確率論の教程を学べば、「iidだからそれはおかしい」と即座に分かる！！
QED
（＾＾；

（参考）
https://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q12157505717
mas********さん2016/3/2720:48:25 Yahoo
サイコロの目が出る確率は1/6ですが
サイコロの目を当てる確率はいくつですか？
私はランダムにサイコロの目を選ぶとその2倍当たりにくく1/12だと思うのですがどうなんですか？

回答1?1件/1件中
umi********さん 2016/3/2720:55:03
1/6 ですよ。
半分は国語の問題ですねw
「特定の」サイコロの目が出る確率は 1/6。
つまり 1の目が出て欲しいとき、それが出る確率は6つの面のどれかが出るわけですから、もちろん1/6です。

https://www.practmath.com/iid/
実用的な数学を
2019年6月20日投稿者: TAKAN
独立同分布である i.i.d. IID
(抜粋)
同じ分布のデータは互いに不干渉だよ
これは「確率変数を別々に扱えるよ」という『仮定』です。
これが仮定されていると、非常に計算がしやすくなります。
相関を考えなくて良いので、共分散などを使う必要がありません。

https://ja.wikipedia.org/wiki/%E7%8B%AC%E7%AB%8B%E5%90%8C%E5%88%86%E5%B8%83
独立同分布
以上

**１３２人目の素数さん** · 2020/03/27(金) 10:55:03.24

もう「箱入り無数目」は終わりにしたほうがいいね
列に終端がない時点で否定の余地は全くないから

このスレッドも要らないね
集合論には興味ないでしょ
全然理解もしてないしね
無理に「ベーリンガー・インゲルハイムがー」なんていわなくていいよ
あ、それは製薬会社か
https://www.boehringer-ingelheim.jp/

**１３２人目の素数さん** · 2020/03/27(金) 10:58:44.95

>>702
＞ある箱の数当てが1-εにできる

それ、記事の読み間違い

「当たる箱を選ぶ確率が1-εにできる」が正しい

箱の中身が固定だから、代表元と一致するかしないかしかない
確率でいえば１か０
１の箱が９９個で、０の箱が１個だから
箱をランダムに選べば１の箱を選ぶ確率は９９／１００

**１３２人目の素数さん** · 2020/03/27(金) 11:04:39.72

結局「ある箱の数当てが1-εにできる」という誤解に対する否定だから
相手は記事の著者じゃなくて、自分自身

**１３２人目の素数さん** · 2020/03/27(金) 11:19:02.64

ところで、無限列ｘと同値類の代表元ｒ（ｘ）を比較した場合
「第ｎ項が不一致」って事象は、任意有限個では独立だけど、
無限個で考えたら独立ではないね

なぜなら自然数の無限部分集合について、
その要素となるｎ全部で「第ｎ項が不一致」
となることはないから
（不一致となる項は有限個）

**現代数学の系譜雑談** ◆e.a0E5TtKE · 2020/03/27(金) 12:09:27.63

>>702 補足
(引用開始)
４）可算無限個の箱がある。iid(独立同分布)を仮定する
　（ここは、大学の確率論の教程を学べば分かる）
　下記の通り、箱一つと同じ計算になる
　サイコロの目を入れたなら、確率 1/6
　どの箱も、例外無し！
(引用終り)

これが理解できないんだ
まあ、難しくないけど
「可算無限個の箱→可算無限の確率変数族」
という読み替えができるかどうか？

ここが大学の確率論の教程だけれど
あとは、「iid(独立同分布)を仮定ｂｷる」なんて
確率論の頻出で、いろはのい、初歩の初歩です

分からない人、あほのあ！ｗ（＾＾；

**１３２人目の素数さん** · 2020/03/27(金) 12:22:31.70

>>707
＞これが理解できないんだ

あなたが？

＞まあ、難しくないけど

理解できないのに易しいという？

もしかしてコロナに感染してる？

**１３２人目の素数さん** · 2020/03/27(金) 12:28:35.04

>>707
＞・・・のあ

乃木坂の白石麻衣が、デビュー前ジャニーズの追っかけをやってたことは
知る人ぞ知る事実だが、その頃名乗っていた「安田のあ」という名前は
「安田（章大の愛人）のあ」の意味らしい

**現代数学の系譜雑談** ◆e.a0E5TtKE · 2020/03/27(金) 13:58:35.77

分からない落ちこぼれの人、落ちこぼれの "お" ！！ｗｗ(゜ロ゜;

**１３２人目の素数さん** · 2020/03/27(金) 14:25:49.26

「箱入り無数目」についての発言は諦めたんだね

では、HNについて
職場から出すほうが短いので、
自宅から出すほうも同じく短くしようね
もうガロアの話なんて全然してないしできないからね
正規部分群の定義も正しく理解できず
円分体の自己同型も間違えるんじゃ
ガロア理論なんか絶対理解できるわけないからね
完全に断念したのは大正解　スレッドも一掃されたし

**１３２人目の素数さん** · 2020/03/27(金) 14:30:22.82

このスレッドが終わったら次に立てるスレッドの名前は
「現代数学の系譜雑談」がいいだろうね

雑談なら何を書いてもいいからね

その時はHNは無しのほうがいいね
書くのは自分だけだろうけど、
HNが無ければどこの誰か詮索しないよ
間違えてもどこのだれかわからないし

どうもHNがあると間違いを認めずに
つっぱり続けるみたいだからね

**現代数学の系譜雑談** ◆e.a0E5TtKE · 2020/03/27(金) 14:32:37.55

>>702 補足
(引用開始)
４）可算無限個の箱がある。iid(独立同分布)を仮定する
　（ここは、大学の確率論の教程を学べば分かる）
　下記の通り、箱一つと同じ計算になる
　サイコロの目を入れたなら、確率 1/6
　どの箱も、例外無し！
(引用終り)

これが理解できないんだ
まあ、難しくないけど
「可算無限個の箱→可算無限の確率変数族」
という読み替えができるかどうか？

ここが大学の確率論の教程だけれど
あとは、「iid(独立同分布)を仮定する」なんて
確率論の頻出で、いろはのい、初歩の初歩です

おサルは、必死の”ひ”！ｗ（＾＾；

**現代数学の系譜雑談** ◆e.a0E5TtKE · 2020/03/27(金) 14:35:00.16

>>712
>このスレッドが終わったら次に立てるスレッドの名前は
>「現代数学の系譜雑談」がいいだろうね
>雑談なら何を書いてもいいからね

おサル、忘れたのか？
あれだけ暴れたのにさｗ
ガロアスレのスレタイは、下記だよ

（参考）
現代数学の系譜工学物理雑談古典ガロア理論も読む83
https://rio2016.5ch.net/test/read.cgi/math/1581243504/

**That's done** · 2020/03/27(金) 14:35:58.63

今、いいHNのアイデアがひらめいた

君にあげようかとおもったけど
自分で使うことにした

>>713
That's done.　（それは終わったよ）

**１３２人目の素数さん** · 2020/03/27(金) 14:39:12.80

>>714
誰も彼も同じ人物だと思い込む妄想が治らないね

過去のスレッドのタイトルなんて忘れなよ
いい思い出なんて一つもなかっただろ？

心機一転　新しいタイトルで出直しな
HNも捨てていいよ　誰もそんなもの気にしないし

**That's done** · 2020/03/27(金) 14:41:02.14

いかんいかん、HNが抜けたな

専用ブラウザなんて使ってないんだ
浪人買うなんて無駄金出すほど馬鹿じゃないし

まさか、浪人買ってるの？　5ch中毒？

**That's done** · 2020/03/27(金) 14:55:21.35

提案
１．HNとトリップは止めな　意味ないから
２．スレッドは立ててもいいけど　今後は分野特定せずに「雑談」にしな

**現代数学の系譜雑談** ◆e.a0E5TtKE · 2020/03/27(金) 14:55:48.71

浪人使っているよ
・金には困っていない（これが一番ｗ）
・センブラは便利（これが二番）
・エロアド（PR）がうざい（これも二番）
・まあ、”久米仙人”（下記）みたいなものよｗｗ(゜ロ゜;

（参考）
http://zizimuge.blog44.fc2.com/blog-entry-7.html
さおのむかし
久米仙人は何故落ちたか？（１）2006.02.12
(抜粋)
久米仙人というのは、聖武帝の御世に生きた人だというから、実在したのだとすれば、ほぼ八世紀頃の人物である。吉野の龍門寺で仙法をきわめ、自在に空を飛翔するほどになったのだが、あるとき吉野河で洗濯をする女性の足に目を奪われて、河に墜落してしまったのだという。

この話は『今昔物語集』巻十一に、「久米仙人、始造久米寺語」（くめせんにん、はじめてくめでらをつくれること）という題で語られており、古来有名なものなのだが、どちらかと言えば、真面目な検討の対象になるというよりは、むしろ「女性の色香に惑わされて、験力を失った愚かな仙人」ということで、笑い話として扱われることが多いようである。

**現代数学の系譜雑談** ◆e.a0E5TtKE · 2020/03/27(金) 14:58:30.69

>>718
妄想がひどくない？
薬、飲めよ！！

おまえは、自分が運営になったつもり？
おまえには、なんの権限も、力もないんだよｗ！！ｗｗ（＾＾；

**That's done** · 2020/03/27(金) 15:04:15.07

今のHNを英語に翻訳してみたことある？

The genealogy of modern mathematics, chat かな

でもここでgenealogyなんて語ってないから余計だね
ちなみに Mathematics Genealogy ProjectっていうHPは別にある
数学者の師弟関係を記録したサイトだね
https://www.genealogy.math.ndsu.nodak.edu/

ここで語ってるのはせいぜいchat of modern mathematics だね
どうみてもHNというよりスレッド名
だからスレッド名は次から「現代数学雑談」
工学とか物理とか要らない　
数学の人は現実にも実用性にも興味ないから

**That's done** · 2020/03/27(金) 15:24:00.07

>>719
>金には困っていない
金がいくらあっても、数学書は買えても、数学の理解は買えないよ
>久米仙人
数学を理解できないのは、エロとは無関係だな

>>720
提案だよ　て・い・あ・ん

**現代数学の系譜雑談** ◆e.a0E5TtKE · 2020/03/27(金) 15:35:35.76

＜再録＞
>>685 補足
(引用開始)
大学教程の確率論を学んだ高い立場に立たないと
時枝理論のおかしさに気付かないし
いつまでも、”はまって”抜け出せない
(引用終り)

補足：
１）数当てと言えば、確率ですね（下記 "chiebukuro.yahoo"）
２）いま、一つ箱があり、サイコロの目を入れた。確率 1/6
３）複数の箱がある。iid(独立同分布)を仮定する
　下記のiidの説明通り、箱一つと同じ計算になる
　サイコロの目を入れたなら、確率 1/6
４）可算無限個の箱がある。iid(独立同分布)を仮定する
　（ここは、大学の確率論の教程を学べば分かる）
　下記の通り、箱一つと同じ計算になる
　サイコロの目を入れたなら、確率 1/6
　どの箱も、例外無し！
５）ところが、時枝理論では、ある箱の数当てが確率1/6ではなく、1-εにできるという
　大学の確率論の教程を学べば、「iidだからそれはおかしい」と即座に分かる！！
QED
（＾＾；

（参考）
https://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q12157505717
mas********さん2016/3/2720:48:25 Yahoo
サイコロの目が出る確率は1/6ですが
サイコロの目を当てる確率はいくつですか？
回答
umi********さん 2016/3/2720:55:03
1/6 ですよ。
半分は国語の問題ですねw

https://www.practmath.com/iid/
実用的な数学を
2019年6月20日投稿者: TAKAN
独立同分布である i.i.d. IID
(抜粋)
同じ分布のデータは互いに不干渉だよ
これは「確率変数を別々に扱えるよ」という『仮定』です。
これが仮定されていると、非常に計算がしやすくなります。
相関を考えなくて良いので、共分散などを使う必要がありません。

https://ja.wikipedia.org/wiki/%E7%8B%AC%E7%AB%8B%E5%90%8C%E5%88%86%E5%B8%83
独立同分布

>>702 補足
これが理解できないんだ
まあ、難しくないけど
「可算無限個の箱→可算無限の確率変数族」
という読み替えができるかどうか？

ここが大学の確率論の教程だけれど
あとは、「iid(独立同分布)を仮定する」なんて
確率論の頻出で、いろはのい、初歩の初歩です

**That's done** · 2020/03/27(金) 15:41:49.60

>>723
＞”ある箱の数当て”が確率 …1-εにできる

どうしてもその”誤り”にはまって抜け出せないね　何故？

「ある箱の数当て」ではないよ
「当たる箱の選出」だよ

箱の中身は定数だからiidなんて無用　分布なんてないし

That's done.　（それは終わったよ）

**That's done** · 2020/03/27(金) 15:45:34.23

無限列ｘとその同値類の代表元ｒ（ｘ）を比較した場合
任意の自然数ｎについて「第ｎ項が不一致」って事象は、
任意有限個では独立だけど、無限個で考えたら独立ではないね

なぜなら自然数の無限部分集合について、その要素となるｎ全部で
「第ｎ項が不一致」となることはないから
（不一致となる項は有限個）

**現代数学の系譜雑談** ◆e.a0E5TtKE · 2020/03/27(金) 16:48:53.13

おサル必死
くっくっく、 >>723ご参照 ww（＾＾；

**That's done** · 2020/03/27(金) 17:05:08.21

>>726
That's done.　（それは終わったよ）

明日からHNとトリップ捨てて出直しなよ

**現代数学の系譜雑談** ◆e.a0E5TtKE · 2020/03/27(金) 17:12:37.93

おサル必死
くっくっく、 >>723ご参照 ww（＾＾；
終わっているのは、おまえｗｗｗ

**That's done** · 2020/03/27(金) 17:17:17.63

>>728
That's done.　（それは終わったよ）

明日からHNとトリップ捨てて出直しなよ

**That's done** · 2020/03/27(金) 17:22:21.52

>>723
>>724

「ある箱の数当て」ではないよ
「当たる箱の選出」だよ

箱の中身は定数だからiidなんて無用

**１３２人目の素数さん** · 2020/03/27(金) 19:07:38.91

The Riddle も解らない馬鹿に数学は無理

**１３２人目の素数さん** · 2020/03/27(金) 19:12:36.16

>>681
>３．しかし、確率計算は正当化できない
Ω={1,2,...,100} の離散一様分布が正当化できないと？
脳みそコロナ感染してる？

**１３２人目の素数さん** · 2020/03/27(金) 19:16:07.48

iidって要するに当てずっぽうでしょ？
そりゃ当てずっぽうじゃ当たらないわなｗ
そんな話が数学セミナーの記事に？妄想もたいがいにしましょうねｗ

**１３２人目の素数さん** · 2020/03/27(金) 19:26:55.96

HNこれにしとけ
「自然数も分らない馬鹿」

時枝？
そりゃ自然数も分らない馬鹿には無理ですよｗ

**That's done** · 2020/03/27(金) 19:31:57.40

>>733
あの人はiidばっかり繰り返してるけど
実はポイントはそこじゃなくて
ある箱に絞った場合の条件つき確率
として考えることなんだけどね

例えばX_(n,m)（n列目のm番目の箱)に絞るとすると
当たる場合は、n列目の決定番号がm以下の場合だし
外れる場合は、n列目の決定番号がmより大きい場合

つまり
「全部の列の決定番号の最大値がmの場合」と
「全部の列の決定番号がmより大きくて
　n番目以外の列の決定番号の最大値がmの場合」
の確率を比較することになる

だから前者が後者に比べて圧倒的に小さくてほぼ0になるということ

だからといって「箱入り無数目」とは矛盾しないのでほっといていい

**１３２人目の素数さん** · 2020/03/27(金) 19:35:26.30

>>734
AI(=Artificial Intelligence)に対抗して
NI(=Natural Innocence)というのは如何？

**１３２人目の素数さん** · 2020/03/27(金) 21:11:23.61

>>702 >>707

> 「iidだからそれはおかしい」と即座に分かる
> 「可算無限個の箱→可算無限の確率変数族」

https://ja.wikipedia.org/wiki/コーシー列
> 収束するかどうか調べるためには、その前に極限値がわからなければ
> ならないのであるが

「その前に極限値がわからなければならない」から
どの同値類に収束するか前もって分からないといけない

前もって収束する先の(R^Nでの)同値類を決めておくと
「iid」ではそのような数列を作ることはできない

> どの箱も、例外無し！

1つの箱にだけサイコロの目を入れるのと全ての箱にサイコロの目を入れるの
では同値類は異なるよ

**１３２人目の素数さん** · 2020/03/28(土) 10:23:57.30

>>702
>５）ところが、時枝理論では、ある箱の数当てが確率1/6ではなく、1-εにできるという
時枝先生はそんなこと言ってません。「固定された100列のいずれかをランダムに選択すればアタリ列を選ぶ確率は99/100以上になる」と言ってます。
そしてこれは完全に正しい。

全く分かってませんね。時枝戦略を語りたいなら正しく理解することから始めましょう。

**１３２人目の素数さん** · 2020/03/28(土) 10:29:53.43

>>682
>自然数に上限は無くどの自然数も有限でも
>しかし、超限順序数ωは
>ヒルベルト無限ホテルのパラドックスを使って
>（>>678ご参照）
>直ちに実現できますねｗ（＾＾；
だからなに？
箱入り無数目はR^Nですけど？

**１３２人目の素数さん** · 2020/03/28(土) 10:40:16.26

確率論があーが口癖の瀬田が一番確率分かってないね。
試しに時枝戦略の確率の確率空間書いてみ？

2020/03/28(土) 11:16:30.13

>>737
だれか知らないが、コーシー列を誤読しているよ

https://ja.wikipedia.org/wiki/コーシー列
> 収束するかどうか調べるためには、その前に極限値がわからなければ
> ならないのであるが

正確には、下記だ。つまり、
”収束の定義に基づいて点列 (xn) の収束性を判定する場合、極限値 x を推定した上で |xn - x| を評価する必要がある。つまりこの方法で収束するかどうか調べるためには、その前に極限値がわからなければならないのであるが、コーシーの方法ならば極限値の推定は不要であるという利点がある。”
です。上記とは、真逆の意味だよ。分かりますか？
https://ja.wikipedia.org/wiki/%E3%82%B3%E3%83%BC%E3%82%B7%E3%83%BC%E5%88%97
コーシー列
(抜粋)
実数におけるコーシー列
|xn - xm| を評価してコーシー列か判定すれば、極限値を仮定することなく収束性が判定できる。また本質的に同じことだが、級数の収束性を和を仮定せずに判定することもできる。
コーシーの収束判定基準という。
収束の定義に基づいて点列 (xn) の収束性を判定する場合、極限値 x を推定した上で |xn - x| を評価する必要がある。つまりこの方法で収束するかどうか調べるためには、その前に極限値がわからなければならないのであるが、コーシーの方法ならば極限値の推定は不要であるという利点がある。

コーシー列の収束性と空間の完備性
距離空間 (X,d) は、その任意のコーシー列が X 上に極限を持つとき完備であるといい、完備である距離空間を完備距離空間、または単に完備空間という。
“実数の連続性”は、実数全体の成す距離空間 R が完備であることを意味している。すでに述べたように、Rk や Ck などもすべて完備である。一方、有理数全体の成す集合 Q やユークリッド空間内の有理点全体 Qkなどを完備でない距離空間の例としてあげることができる。

実数の構成
実数の構成法の一つに、完備化と呼ばれる有理コーシー列から実数を定めるものがある。
(引用終り)

>1つの箱にだけサイコロの目を入れるのと全ての箱にサイコロの目を入れるの
>では同値類は異なるよ

いわんとしていることが、正確には理解できないが
空の箱を許容するという意味なら、{実数＋Φ（空）} の可算無限列を作れば良い

**１３２人目の素数さん** · 2020/03/28(土) 11:25:58.72

>>741
箱入り無数目にコーシー列など不要
相変わらず馬鹿丸出し

2020/03/28(土) 11:29:20.03

>>741
(引用開始)
>1つの箱にだけサイコロの目を入れるのと全ての箱にサイコロの目を入れるの
>では同値類は異なるよ
いわんとしていることが、正確には理解できないが
空の箱を許容するという意味なら、{実数＋Φ（空）} の可算無限列を作れば良い
(引用終り)

この話は、非常に示唆に富んでいる
つまり、箱に入れて良い要素を増やしても、同様に確率1-εが得られるというのが、時枝理論だ
だが、明らかに、入れる要素を増やせば、一方入れる方があくまで実数しか入れないなら、的中率は下がる

（この話は、>>525に書いた通り、実数→多元数の同値類に拡張できる。そして、任意の多元数で同じ確率1-εが得られる
　しかし、入れる方があくまで実数しか入れないなら、的中率は下がるべき。これ、時枝理論の矛盾です（＾＾；）

**１３２人目の素数さん** · 2020/03/28(土) 11:38:07.91

>>743
＞箱に入れて良い要素を増やしても、同様に確率1-εが得られる

そもそも「ある箱の数当て」ではないので当然

＞これ、矛盾です

ただの読み間違い

**１３２人目の素数さん** · 2020/03/28(土) 11:52:45.22

>>743
>だが、明らかに、入れる要素を増やせば、一方入れる方があくまで実数しか入れないなら、的中率は下がる
まったく明らかじゃないｗ
妄想じゃなく数学語ってねｗ

**１３２人目の素数さん** · 2020/03/28(土) 11:54:18.25

>>743
>的中率は下がるべき
時枝解法を理解してないからそう思えるだけ
馬鹿丸出し

**１３２人目の素数さん** · 2020/03/28(土) 12:10:14.99

なんで確率空間書かないの？
分からないの？
確率勉強してね

**１３２人目の素数さん** · 2020/03/28(土) 12:19:07.64

確率空間も書けないのに大学4年の確率論があって言ってたんですね
馬鹿丸出しですね

2020/03/28(土) 12:43:45.86

(>>593より)
＜時枝理論の複数列の比較による確率計算を潰す試みｗ(゜ロ゜；　＞
により、時枝の複数列の比較は、数学的には本質ではないことは、すでに示した

さて、時枝の手法は、ある方法で、大きな数d'を与えて
問題の数列の決定番号dに対し d＜d' とできれば
列Xにおいて、Xd'+1から先のしっぽの箱を開けて
列Xの代表（rXとする）を知り、"rXd=Xd"と推測が的中できるというもの

これが成立たないことも、すでに>>593に説明した

さらに、ここを掘り下げてみよう！
１．ある方法で、d'が与えられたとする
２．問題の数列 X：X1,X2,・・Xd',Xd'+1,・・において
　しっぽの箱 Xd'+1,・・たちを開けて、列Xの同値類を決める
３．そして同値類の代表列 rXが分かる
４．このとき、2つの場合がおきる
　１）開けた Xd'+1,・・たちとの比較で、d'＜dとなってしまっている場合（開けたところまでで、すでに代表列rXの箱の数と不一致がある場合）
　　（実は、こうなる確率が１なのだが*) ）この場合、"rXd=Xd"は無意味だ
　　∵ Xdは、すでに開封された箱だから "rXd=Xd"は無意味
　２）もし、d<=d'+1となっている場合(開けたd'+1までの箱の全部が一致の場合)
　　しかしこの場合でも、d=d'+1の可能性が大なのだ
　　∵ d'の箱の比較で、"rXd'≠Xd'"の可能性大。つまり、任意の2つの実数を比較して、"rXd'＝Xd'"なる確率は0にすぎない
５．結局、時枝の数当て不成立です！！
QED
（＾＾；

注*)（上記の「実は、こうなる確率が１」の説明）
１．dが自然数N全体を渡るとき、有限d'で分けて、n<=d'なるnは有限だが、d'<n なるnは無限
２．従って、自然数N全体からnをランダムに選ぶと、確率 P(n<=d')＝0
　（もっとも、これは正統な確率計算ではない ∵ 自然数Nの一様分布は、正則分布ではないから）
３．なお、時枝記事では、実は、我々は決定番号dを選ぶことができず、ただ代表列rXを選ぶしことしかできない
　　にも関わらず、決定番号dを選ぶことができるが如く錯覚させていることも、時枝トリックの1つだ
　　（これ実は、けっこう重要なのだ）

**１３２人目の素数さん** · 2020/03/28(土) 13:08:32.77

>>749
>(>>593より)
>＜時枝理論の複数列の比較による確率計算を潰す試みｗ(゜ロ゜；　＞
>により、時枝の複数列の比較は、数学的には本質ではないことは、すでに示した

>３．そして、２列だから、確率 P（d＜d'）＝1/2 というけれど（>>593）
言ってませんけど？
ぜんぜん解ってないね

>１．ある方法で、d'が与えられたとする
>５．結局、時枝の数当て不成立です！
おまえの云うある方法≠時枝の方法　なので無意味
頭大丈夫ですか？時枝の方法じゃなきゃ当たらないのは当たり前ですね～

**１３２人目の素数さん** · 2020/03/28(土) 13:16:08.51

>>593）
>３．そして、２列だから、確率 P（d＜d'）＝1/2 というけれど
2列のいずれかをランダムに選ぶから1/2が言えるのであって、選ぶ列を固定したら1/2は言えません。
ていうかなんで1/2が言えると思ってるの？バカ？

**１３２人目の素数さん** · 2020/03/28(土) 13:36:38.47

学術の巨大掲示板群 - アルファ・ラボ
ttp://x0000.net

数学物理学化学生物学天文学地理地学
IT 電子工学言語学国語方言など

**１３２人目の素数さん** · 2020/03/28(土) 15:43:02.87

>>749
「箱Xdを特定したとき、"rXd'＝Xd'"なる確率は0」

というのは「箱入り無数目」とは無関係

100列が決まっているときに、それぞれの列について
他の99列の決定番号の最大値をdとしたとき
100列のうち99列の箱について"rXd'＝Xd'"となるから
ランダムに1列選んで"rXd'＝Xd'"となる確率が99/100
というのが「箱入り無数目」

**１３２人目の素数さん** · 2020/03/28(土) 16:00:58.06

ランダムが分からない瀬田

**１３２人目の素数さん** · 2020/03/28(土) 16:32:41.33

「箱入り無数目」とは無関係の定理
・番号dを特定したとき、ランダムに列Xを選べば"rXd＝Xd'"なる確率は0
・列sを特定したとき、ランダムに番号Nを選べば"rsN＝sN'"なる確率は1
（いずれも大文字が確率変数）

dがsの決定番号のとき
d<=NなるNで、rsN＝sN
N<=dなるNは有限だが、d<=N なるNは無限
自然数全体からNをランダムに選ぶと、確率 P(d<=N)＝1
したがってP(rsN＝sN)=1

**１３２人目の素数さん** · 2020/03/28(土) 16:43:14.55

「箱入り無数目」の代表元は、確率変数の無限族の
”まるまるの”独立性を満たさない

・任意のnについて
　P(not(rXn＝Xn))=1
・任意有限個のn_iについて
　P(∧not(rXn_i＝Xn_i))=1

しかし
・無限個のn_iについて
　P(∧not(rXn_i＝Xn_i))=0

なぜなら、not(rXn＝Xn)となるnは有限個だから

**１３２人目の素数さん** · 2020/03/28(土) 20:40:48.97

>>741
> 空の箱を許容するという意味なら
>>743
> 明らかに、入れる要素を増やせば、

ある箱だけに着目するのか全ての箱に着目するのか？
ということですよ

ある箱にだけサイコロの目を入れるというのは
他の箱は実数を入れるんだから他の箱にサイコロの目の数字が入る確率は0でしょ

全ての箱に入れるんだったらある箱にサイコロの目が入っているのなら
他の箱にもサイコロの目が入っている確率は1

サイコロの目を入れるということは箱の中の数字を1から6の6通りに絞るということで
数当ての出題は箱の中の数字を1つに絞るということだから同様に考えると

出題者が実数から選んだ数字がある箱にだけ入っているのならば
他の箱に出題者が実数から選んだ数字が入る確率は0

全ての箱に出題者が実数から選んだ数字を入れるんだったら
ある箱に出題者が実数から選んだ数字が入っているのなら
他の箱にも出題者が実数から選んだ数字が入っている確率は1

**１３２人目の素数さん** · 2020/03/28(土) 20:47:36.90

>>741
> コーシー列を誤読しているよ

時枝記事の数列はコーシー列ではないんですよ

an = 0: 0, 0, 0, ... , 0, ...
an = 1/n: 1, 1/2, ... , 1/n, ...
これらが属する同値類をr(an = 0), r(an = 1/n)などと書くことにする

an = 0とan = 1/n (> 0)の数列の値の極限値はともに0であるが数列の値の極限値
は数当ての出題には使えない
箱の中の数字を1つに絞ることができないから

有限数列: 1, 1/2, ... , 1/kを数列の値の極限値が0であるような無限数列にする
sn: 1, 1/2, ... , 1/kをsn→0 (n→∞)となるようにすると
1, 1/2, ... , 1/k, 0, 0, ... , 0, ...
1, 1/2, ... , 1/k, 1/(k+1), ... , 1/n, ...
1, 1/2, ... , 1/k, 1/2(k+1), ... , 1/2n, ... など1つに絞れない

箱の中の数字を1つに絞るには無限数列が属する同値類を極限値として考えることになる
sn→r(an = 0) (n→∞)
1, 1/2, ... , 1/k, 0, 0, ... , 0, ...
sn→r(an = 1/n) (n→∞)
1, 1/2, ... , 1/k, 1/(k+1), ... , 1/n, ...
sn→r(an = 1/2n) (n→∞)
1, 1/2, ... , 1/k, 1/2(k+1), ... , 1/2n, ...

> 極限値 x を推定した上で |xn - x| を評価する必要がある。

無限数列が属する同値類を推定してその代表元rnに対して |sn - rn| を評価すると
s1-r1, s2-r2, ... , s(d-1)-r(d-1), 0, 0, ... , 0となるから収束する

つまり決定番号dが有限でd以降のsnとrnが全て一致するから収束する

2020/03/28(土) 21:27:42.03

>>723 補足
　確率空間？（>>747-748）ｗｗ
iid(独立同分布)を仮定すると
可算無限個の箱があっても
箱が1つの場合と同じ確率空間で扱える

これ、確率論の常識ですょ！！
ほとんど、自明でしょｗ
例えば、サイコロの場合、下記です（＾＾；

（参考）
https://ja.wikipedia.org/wiki/%E7%A2%BA%E7%8E%87%E7%A9%BA%E9%96%93
確率空間
(抜粋)
定義
数学、特に確率論において、確率測度（かくりつそくど）とは、可測空間 (S, E) に対し、E 上で定義され P(S) = 1 を満たす測度 P のことである。
このとき、三つ組 (S, E, P) のことを確率空間と呼ぶ。さらに、集合 S を標本空間、S の元を標本あるいは標本点、完全加法族 E の元を事象あるいは確率事象と呼ぶ。また、E の元としての S を全事象という。
事象 E に対し、P の E における値 P(E) を、事象 E の確率という。つまり、E は確率が定義できることがらの集まりである。
必ずしも S の部分集合全てが事象とはならないことに注意されたい。

例
・実数からなる区間 [0, 1] とそのボレル集合族 B からなる可測空間 ([0, 1], B) 上でルベーグ測度 μ を考えれば、μ([0, 1]) の値は区間の長さ |[0, 1]| = 1 ? 0 = 1 に等しいので、μ は ([0, 1], B) 上の確率測度であり、三つ組 ([0, 1], B, μ) は確率空間になる。
・サイコロ投げの確率空間は次のようなものである：
　S = {1, 2, 3, 4, 5, 6}, E = 2^S, P({k}) = 1/6 (k = 1, 2, 3, 4, 5, 6)

https://mathtrain.jp/probspace
確率空間の定義と具体例（サイコロ，コイン） | 高校数学の美しい物語 2015/11/06
(抜粋)
確率空間とは (Ω,F,P) の三つ組のことを言います
ただし，
・Ω は集合
・F は Ω の部分集合族（σ -加法族）
・P は F から実数への非負関数（確率測度）
これだけだとよく分からないと思うので，以下で一つずつ解説していきます。
とりあえず「測度論的確率論では，確率を議論するときには確率空間というものの上で考える。そして，確率空間は3つの物のセットのことを表す」と覚えておいて下さい

**１３２人目の素数さん** · 2020/03/28(土) 21:41:33.99

>>759
箱入り無数目の確率空間になってないのでゼロ点
落ちこぼれには無理でした

2020/03/28(土) 22:35:23.03

>>759 補足

１．大学確率論で、普通にiid(独立同分布)を考えれば、
　箱にサイコロの目を入れるとして、
　P({k}) = 1/6 (k = 1, 2, 3, 4, 5, 6)
２．ところで、時枝さんは、あるd番目の箱Xdの確率がP=1-εになるという
　じゃ、その1つ以外の箱の数当て確率はどうなる？
　iid(独立同分布)通り、P({k}) = 1/6 (k = 1, 2, 3, 4, 5, 6)だと？
　バカ言ってるんじゃない
３．d番目って、代表の取り方に依存する
　ある人Aさんが選んだ代表では、d番目としても
　別の人Bさんが選ぶ代表では、ｄ’番目(ｄ’≠d)になる？
　じゃ、また別の人Cさんが選ぶ代表では、ｄ’’番目(ｄ’’≠ｄ’≠d)になる？？
　　　・
　　　・
　あんたの数学は、属人的な数学かい？？

ばか言っているんじゃないよ、時枝さん

**１３２人目の素数さん** · 2020/03/28(土) 22:40:03.06

>>761
>２．ところで、時枝さんは、あるd番目の箱Xdの確率がP=1-εになるという
だから箱を特定したらならないと何度言えば
おまえ脳に障害あるだろ

>ばか言っているんじゃないよ、時枝さん
馬鹿はおまえだよ瀬田

**１３２人目の素数さん** · 2020/03/29(日) 00:23:11.47

>>761
＞d番目って、代表の取り方に依存する
＞ある人Aさんが選んだ代表では、d番目としても
＞別の人Bさんが選ぶ代表では、ｄ’番目(ｄ’≠d)になる？
＞じゃ、また別の人Cさんが選ぶ代表では、ｄ’’番目(ｄ’’≠ｄ’≠d)になる？？

「決定番号∞」の誤りを指摘されて諦めたと思ったら
今度は「選択関数は１つじゃない！」ですか？

何人居ても選択関数は１つに決めるほうが当たる
わざわざ変えて損する馬鹿はいませんよ

∞の件も同じ　R^Nだから当たるんで、
R^(N∪{∞})に並べ替えて損する馬鹿はいませんよ

**１３２人目の素数さん** · 2020/03/29(日) 01:24:32.99

>>761
> その1つ以外の箱の数当て確率はどうなる？

箱に入れる数字は実数であるとして
Aさんはサイコロを振って箱に入れる数字を決めて数列を出題する
Bさんは袋に入っている数列をランダムに選んで出題する
さて
Aさんはサイコロを振って数列snを1つ作って出題することにする
またその数列snだけが入った袋をBさんに渡す

Bさんは袋から数列を選んで出題する

s1, s2, ... , Xi, ...
Xi = siである確率は1

回答者はどのような数列も自分が数当てに用いる袋の中の代表元の
先頭から有限個が変更されたものであると考える

箱の数当て確率は先頭から0がならび決定番号以降は1がならぶ
0, 0, ... , 0, 1, 1, ... , 1, ...

自分が数当てに用いる袋の中の代表元であるから
数列ごとに決定番号が定まる

**１３２人目の素数さん** · 2020/03/29(日) 09:49:02.91

https://rio2016.5ch.net/test/read.cgi/math/1582883006/518-520

匿名でも誰が書いたかわかるもんだな

でもハンドル名要らないから

匿名なら生暖かく見守るだけ

2020/03/29(日) 09:57:36.13

>>765
おまえの勝手だが
おまえはIUTについて語れるレベルに達していないことは明白だよｗ