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

1 名前：現代数学の系譜 雑談 mailto:sage [2019/12/20(金) 23:28:06.21 ID:ZaXFXilg.net] 前スレ 現代数学の系譜　カントル　超限集合論 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- 736 名前：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [2020/03/26(Thu) 20:22:42 ID:+Ol1TdQp.net] >>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 言葉のサラダとは？ 「解体した会話」とはどのような会話なのでしょうか？ 「解体した会話」とは、「脈絡のない」「前後のつ� 737 名前：ﾈがりがない」「理解できない」会話と言えるでしょう。 これらの解体した会話がひどくなると、まったく脈絡なく単語が出てくる「言葉のサラダ」と呼ばれる状態になります。 引用文献：　図解　よくわかる統合失調症 [] [ここ壊れてます] 738 名前：１３２人目の素数さん [2020/03/26(Thu) 20:30:58 ID:/vnWknlA.net] >>674 意味は明瞭 決定番号ｎが標準自然数でも超準自然数でも、 ｎ＋１が存在するからその先の尻尾が得られる 一方∞が最大の要素であって、∞＋１が存在しないなら 決定番号が∞の場合、その先の尻尾が得られない 「箱入り無数目」の方法の妨げとなるものは 「決定番号の先の尻尾の非存在」しかない しかし、∞＋１が存在しない、という主張は ペアノの公理である後者の存在を真っ向から否定する 739 名前：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [2020/03/26(Thu) 20:36:50 ID:+Ol1TdQp.net] >>674 数学基礎論と消えたパラドックス/Ｈ. フリードマンの定理ｗ （＾＾； ”ペアノの算術の可算な超準モデルは、自らと同型な接頭部を持つ． 標準モデルはたった１つしかないが、 超準モデルは可算のものに限っても非可算無限個存在する．”ｗｗ （参考） https://sites.google.com/site/sendailogichomepage/files/ref/ref_07 Sendai Logic Homepage 仙台ロジック倶楽部ＯＬＤの関係資料ページを復旧したものです． 文章は田中一之先生によるものです．（旧ページ製作はNBZ先輩） ■ 読み物系 □数学基礎論と消えたパラドックス（『数学セミナー』1993年8月号より） パラドックスから数学基礎論の誕生，不完全定理への流れを解説． (抜粋) ■ Ｈ. フリードマンの定理 言葉の説明を後回しにして、定理を述べる． ペアノの算術の可算な超準モデルは、自らと同型な接頭部を持つ． 和積演算を伴った非負整数の集合をペアノの算術の“標準モデル”といい、 それと同型でない数学的構造でペアノの公理を満たすものを“超準モデル”という． 標準モデルはたった１つしかないが、 超準モデルは可算のものに限っても非可算無限個存在する． 超準モデルもペアノの公理を満たしているから、 その上に大小関係や和積演算が定義されている． モデルの要素を大きさの順に並べて、 あるところで大きい方と小さい方に分け、小さい方を“接頭部”と呼ぶ． どんな超準モデルも、 標準モデルと同型な接頭部を持つことが簡単に示せる． そして、どんな超準モデルも 自分の縮小コピーを接頭部として持ついうのがフリードマンの結果である． これは、自分と同じものは自分の中で造れないという第二不完全性（＋完全性定理）と矛盾するようだが、そうではない． なぜなら、接頭部の切り口が自分では見つけられない（定義できない）からである． 　この定理の証明がまた実に巧妙で面白い． 厳密な議論を紹介するスペースはないが、 以下に述べるアイデアからその卓抜さに共感戴ければ幸いである． (引用終り) 以上 740 名前：１３２人目の素数さん [2020/03/26(木) 20:41:47.12 ID:/vnWknlA.net] >>676 ＞超準モデルもペアノの公理を満たしている でしょう？ では∞について、∞＜∞＋１　となる∞＋１の存在を認めるね？ 741 名前：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [2020/03/26(Thu) 21:28:55 ID:+Ol1TdQp.net] ＜ヒルベルトの無限ホテルのパラドックス＞ ・自然数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 ヒルベルトの無限ホテルのパラドックス (抜粋) パラドックスの内容 それぞれに無限の乗客が乗った無限台の車がホテルに乗りつけたとする。 この場合、まず奇数号室を上のようにして� 742 名前：�け、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日 (抜粋) 目次 ガリレオのパラドックス ヒルベルトの無限ホテル 無限集合の不思議 [] [ここ壊れてます] 743 名前：１３２人目の素数さん [2020/03/26(Thu) 21:44:36 ID:/vnWknlA.net] （質問） ｎが超準自然数でも何の問題もなく「箱入り無数目」の方法が適用できて 超準自然数同士の大小の比較も可能で、箱の中身が的中できることは 全面的に認めますね？ 744 名前：１３２人目の素数さん [2020/03/26(Thu) 22:16:50 ID:w9QXoHzC.net] 自然数にも上限は無いがどの自然数も有限 コピペ馬鹿に数学は無理 745 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2020/03/27(金) 07:20:49.86 ID:PNCnIYnC.net] >>679 時枝は、 １．しっぽの同値類は可能 ２．決定番号を決めることは可能 ３．しかし、確率計算は正当化できない ってことでしょ 746 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2020/03/27(金) 07:31:23.83 ID:PNCnIYnC.net] >>680 >自然数にも上限は無いがどの自然数も有限 自然数に上限は無く どの自然数も有限でも しかし、超限順序数ωは ヒルベルト無限ホテルのパラドックスを使って （>>678ご参照） 直ちに実現できますねｗ（＾＾； （参考） https://ja.wikipedia.org/wiki/%E9%A0%86%E5%BA%8F%E6%95%B0 順序数 (抜粋) この定義と順序数の要素はまた順序数であるという性質から、すべての順序数は自分自身より小さな順序数全体の集合と等しいと言うことができる。 ω より小さな順序数（すなわち自然数）を有限順序数と呼び、ω 以上の（すなわち ω と等しいか ω より大きい）順序数を超限順序数と呼ぶ。 747 名前：１３２人目の素数さん [2020/03/27(金) 07:42:23.78 ID:asHKGG7T.net] >>681 ＞１．しっぽの同値類は可能 ＞２．決定番号を決めることは可能 ３．どの決定番号でも、その先の尻尾をとることが常に可能 ４．決定番号は整列順序により大小の比較が常に可能 したがって「箱入り無数目」は（100列が確定している場合）正しい 748 名前：１３２人目の素数さん [2020/03/27(金) 07:49:41.59 ID:asHKGG7T.net] >>682 超限順序数ωは超準自然数ではない 「箱入り無数目」で、R^NをわざわざR^(N∪{∞})に並べ替えて失敗させたところで 「箱入り無数目」の否定にはならない 749 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2020/03/27(金) 08:45:51.61 ID:PNCnIYnC.net] >>683-684 結局さ 大学教程の確率論を学んだ高い立場に立たないと 時枝理論のおかしさに気付かないし いつまでも、”はまって”抜け出せない 750 名前：１３２人目の素数さん [2020/03/27(金) 09:02:51 ID:asHKGG7T.net] >>685 まず、大学教程の自然数論を学ぶこと 基礎から積み上げないと数学は正しく理解できない 無限列をR^Nを定義したのだから、Nを理解すること Nの定義はペアノの公理 ・0はNの要素 ・nがNの要素なら、n+1はNの要素 2点目から、最後の自然数が存在しないことがわかる それで箱入り無数目は反駁不能とわかる 751 名前：１３２人目の素数さん [2020/03/27(金) 09:06:18 ID:asHKGG7T.net] 今日は在宅勤務？ HNとトリップは本スレッドでしか使用していないようだが 今後は自宅および職場からの投稿のどちらも トリップだけにしていただいて結構 長たらしいHNは無意味 752 名前：１３２人目の素数さん [2020/03/27(金) 09:1 ] [ここ壊れてます] 753 名前：5:57.45 ID:asHKGG7T.net mailto: IUTスレッドと分からない問題スレッドでは HNおよびトリップをつけていないようだが 本スレッドでも不要　 むしろつけることで誤りを認められなくなってるなら 外したほうがいい [] [ここ壊れてます] 754 名前：１３２人目の素数さん [2020/03/27(金) 09:27:00.52 ID:asHKGG7T.net] 日高、イナ、酒浸り、哀れな素人、Mara Papiyas等の 分かりやすいＨＮが好ましい 755 名前：１３２人目の素数さん [2020/03/27(金) 09:32:13.75 ID:asHKGG7T.net] もし私がつけていいなら「集合Ａ」を提案する 英語でいうと”Set A” https://www.youtube.com/watch?v=sTn6eaiYN1w ♪特別じゃない　どこにもいるさ　俺は集合A 756 名前：１３２人目の素数さん [2020/03/27(金) 09:59:30 ID:asHKGG7T.net] 本スレッドのスレッド名も陳腐なので 新しく立てるなら名前を変えたほうがいい たとえば「数理資本主義」とか 反資本主義の活動家が大量に押しかけてくるだろう 757 名前：現代数学の系譜 雑談 ◆e.a0E5TtKE mailto:sage [2020/03/27(金) 10:02:53 ID:JV2qk9Qn.net] おサル必死だな コテとトリップを付けるかどうかは おれは、専用ブラウザを使っているので 設定しておけば、簡単でね このスレでは、コテとトリップ あのスレでは、無しとかね なお、余談だが あと、sageとage もスレ毎に設定できる 別に、なんということもない 758 名前：現代数学の系譜 雑談 ◆e.a0E5TtKE mailto:sage [2020/03/27(金) 10:04:34 ID:JV2qk9Qn.net] >>691 今日は、ヒマか？ つうか、コロナでヒキコモに、好都合か ＞反資本主義の活動家が大量に押しかけてくるだろう ヒマ人の妄想も ここまで来れば立派 薬しっかり飲めよ 759 名前：１３２人目の素数さん [2020/03/27(金) 10:07:32 ID:asHKGG7T.net] >>692 ＞専用ブラウザを使っているので 承知している しかしHNのネーミングとか書き込みの内容は 専用ブラウザの使用とは無関係の書き手のセンスの問題 誤りに満ちた書き込みを固定ハンドルで書いても恥ずかしいだけだろう それなら全部匿名にしたほうがいい　違うかな？ 760 名前：１３２人目の素数さん [2020/03/27(金) 10:25:38 ID:asHKGG7T.net] >>693 職場から書き込みか？　コロナに感染するぞ 761 名前：現代数学の系譜 雑談 ◆e.a0E5TtKE mailto:sage [2020/03/27(金) 10:27:02 ID:JV2qk9Qn.net] >>669 補足 > https://fujicategory.hatenadiary.org/entry/20110721/1311211333 >数学基礎論の勉強ノート id:fujicategory > 2011-07-21 >レーヴェンハイム・スコーレムの定理！！ これ、面白い 図解が面白い 是非、ご一見願います（＾＾； 追加貼る 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.数理論理学の基礎を勉強するための参考になりそうな文献例 つづく 762 名前：現代数学の系譜 雑談 ◆e.a0E5TtKE mailto:sage [2020/03/27(金) 10:27:38 ID:JV2qk9Qn.net] >>696 つづき 2.レーベンハイム・スコーレムの定理 (Lowenheim-Skolem Theorem) とある勉強会で，連続体仮説の否定の無矛盾性の解説をするために レーベンハイム・スコーレムの定理を分かった気にさせる解説を執筆完（2018.09.29）． レーベンハイム・スコーレムの定理 (初出 1915年 ) は，一階述語論理のモデルの大きさに関する命題である．大雑把に言えば， その一階述語論理に用意された記号の集合が可算無限個のとき，その論理体系の中の 公理系がモデルを持てば，そのモデルの要素数（基数）を可算無限個まで絞ることも， 非可算無限個まで水増しすることもできるという内容である． www.cs-study.com/koga/set/pictures/LowenheimSkolem000.jpg これは，全体が可算個の集合からなる集合論のモデルを保証したり，自然数の集合のサイズが 非可算個でも矛盾がないことを意味し，一見，それまで築かれた数学的常識と 反するので，発見当初は，レーベンハイム・スコーレムのパラドクスとして 扱われた．その後，この定理の解釈が整理されるとともに，今は，特にパラドクスでは ないという認識になっていると思う． 私は，今，勉強会のためにこの解説を作りながら，この定理は 無限集合に関する我々自身の思考に関わるもので，とても 含蓄のある定理だと感じている． (引用終り) 以上 763 名前：１３２人目の素数さん [2020/03/27(金) 10:32:33 ID:asHKGG7T.net] ＞薬しっかり飲めよ こんな書き込みに真面目にレスポンスする人はいないだろうが ヒマなので書くことにしよう 薬は今は飲んでない 以前、突発性難聴にかかり後遺症の耳鳴りで 不眠症になったので睡眠薬を処方してもらったが それがよくなかった 結局やめるのに半年かかった 眠れないからといって薬を飲むのはよろしくない 764 名前：１３２人目の素数さん [2020/03/27(金) 10:35:55 ID:asHKGG7T.net] >>696-697 いくら読んでも「箱入り無数目」の否定は導けないよ 765 名前：１３２人目の素数さん [2020/03/27(金) 10:40:13 ID:asHKGG7T.net] 「箱入り無数目」は、列をS^O（Oは順序数）で表したとき Oが極限順序数であれば成立する 要するに「終端がない」ということが最も重要 N∪{∞}は、ω＋１であって、後続順序数だから終端がある 後続順序数で成立しない、といったところで意味がない なぜならN（＝ω）は極限順序数だから 766 名前：１３２人目の素数さん [2020/03/27(金) 10:45:07 ID:asHKGG7T.net] まったくどうでもいい話 レーベンハイムは４人の祖父母のうち１人がユダヤ人だったらしいが ナチ時代の法律で、３／４アーリア人として扱われたらしい 767 名前：現代数学の系譜 雑談 mailto:sage [2020/03/27(金) 10:53:34.19 ID:JV2qk9Qn.net] >>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 768 名前：つの面のどれかが出るわけですから、もちろん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 独立同分布 以上 [] [ここ壊れてます] 769 名前：１３２人目の素数さん [2020/03/27(金) 10:55:03.24 ID:asHKGG7T.net] もう「箱入り無数目」は終わりにしたほうがいいね 列に終端がない時点で否定の余地は全くないから このスレッドも要らないね 集合論には興味ないでしょ 全然理解もしてないしね 無理に「ベーリンガー・インゲルハイムがー」なんていわなくていいよ あ、それは製薬会社か https://www.boehringer-ingelheim.jp/ 770 名前：１３２人目の素数さん [2020/03/27(金) 10:58:44.95 ID:asHKGG7T.net] >>702 ＞ある箱の数当てが1-εにできる それ、記事の読み間違い 「当たる箱を選ぶ確率が1-εにできる」が正しい 箱の中身が固定だから、代表元と一致するかしないかしかない 確率でいえば１か０ １の箱が９９個で、０の箱が１個だから 箱をランダムに選べば１の箱を選ぶ確率は９９／１００ 771 名前：１３２人目の素数さん [2020/03/27(金) 11:04:39.72 ID:asHKGG7T.net] 結局「ある箱の数当てが1-εにできる」という誤解に対する否定だから 相手は記事の著者じゃなくて、自分自身 772 名前：１３２人目の素数さん [2020/03/27(金) 11:19:02.64 ID:asHKGG7T.net] ところで、無限列ｘと同値類の代表元ｒ（ｘ）を比較した場合 「第ｎ項が不一致」って事象は、任意有限個では独立だけど、 無限個で考えたら独立ではないね なぜなら自然数の無限部分集合について、 その要素となるｎ全部で「第ｎ項が不一致」 となることはないから （不一致となる項は有限個） 773 名前：現代数学の系譜 雑談 ◆e.a0E5TtKE mailto:sage [2020/03/27(金) 12:09:27 ID:JV2qk9Qn.net] >>702 補足 (引用開始) ４）可算無限個の箱がある。iid(独立同分布)を仮定する 　（ここは、大学の確率論の教程を学べば分かる） 　下記の通り、箱一つと同じ計算になる 　サイコロの目を入れたなら、確率 1/6 　どの箱も、例外無し！ (引用終り) これが理解できないんだ まあ、難しくないけど 「可算無限個の箱→可算無限の確率変数族」 という読み替えができるかどうか？ ここが大学の確率論の教程だけれど あとは、「iid(独立同分布)を仮定する」なんて 確率論の頻出で、いろはのい、初歩の初歩です 分からない人、あほのあ！ｗ（＾＾； 774 名前：１３２人目の素数さん [2020/03/27(金) 12:22:31.70 ID:asHKGG7T.net] >>707 ＞これが理解できないんだ あなたが？ ＞まあ、難しくないけど 理解できないのに易しいという？ もしかしてコロナに感染してる？ 775 名前：１３２人目の素数さん [2020/03/27(金) 12:28:35.04 ID:asHKGG7T.net] >>707 ＞・・・のあ 乃木坂の白石麻衣が、デビュー前ジャニーズの追っかけをやってたことは 知る人ぞ知る事実だが、その頃名乗っていた「安田のあ」という名前は 「安田（章大の愛人）のあ」の意味らしい 776 名前：現代数学の系譜 雑談 mailto:sage [2020/03/27(金) 13:58:35.77 ID:JV2qk9Qn.net] 分からない 落ちこぼれ の人、落ちこぼれ の "お" ！！ｗｗ(゜ロ゜; 777 名前：１３２人目の素数さん [2020/03/27(金) 14:25:49.26 ID:asHKGG7T.net] 「箱入り無数目」についての発言は諦めたんだね では、HNについて 職場から出すほうが短いので、 自宅から出すほうも同じく短くしようね もうガロアの話なんて全然してないしできないからね 正規部分群の定義も正しく理解できず 円分体の自己同型も間違えるんじゃ ガロア理論なんか絶対理解できるわけないからね 完全に断念したのは大正解　スレッドも一掃されたし 778 名前：１３２人目の素数さん [2020/03/27(金) 14:30:22.82 ID:asHKGG7T.net] このスレッドが終わったら次に立てるスレッドの名前は 「現代数学の系譜 雑談」がいいだろうね 雑談なら何を書いてもいいからね その時はHNは無しのほうがいいね 書くのは自分だけだろうけど、 HNが無ければどこの誰か詮索しないよ 間違えてもどこのだれかわからないし どうもHNがあると間違いを認めず 779 名前：に つっぱり続けるみたいだからね [] [ここ壊れてます] 780 名前：現代数学の系譜 雑談 mailto:sage [2020/03/27(金) 14:32:37.55 ID:JV2qk9Qn.net] >>702 補足 (引用開始) ４）可算無限個の箱がある。iid(独立同分布)を仮定する 　（ここは、大学の確率論の教程を学べば分かる） 　下記の通り、箱一つと同じ計算になる 　サイコロの目を入れたなら、確率 1/6 　どの箱も、例外無し！ (引用終り) これが理解できないんだ まあ、難しくないけど 「可算無限個の箱→可算無限の確率変数族」 という読み替えができるかどうか？ ここが大学の確率論の教程だけれど あとは、「iid(独立同分布)を仮定する」なんて 確率論の頻出で、いろはのい、初歩の初歩です おサルは、必死の”ひ”！ｗ（＾＾； 781 名前：現代数学の系譜 雑談 mailto:sage [2020/03/27(金) 14:35:00.16 ID:JV2qk9Qn.net] >>712 >このスレッドが終わったら次に立てるスレッドの名前は >「現代数学の系譜 雑談」がいいだろうね >雑談なら何を書いてもいいからね おサル、忘れたのか？ あれだけ 暴れたのにさｗ ガロアスレのスレタイは、下記だよ （参考） 現代数学の系譜 工学物理雑談 古典ガロア理論も読む83 https://rio2016.5ch.net/test/read.cgi/math/1581243504/ 782 名前：That's done [2020/03/27(金) 14:35:58.63 ID:asHKGG7T.net] 今、いいHNのアイデアがひらめいた 君にあげようかとおもったけど 自分で使うことにした >>713 That's done.　（それは終わったよ） 783 名前：１３２人目の素数さん [2020/03/27(金) 14:39:12.80 ID:asHKGG7T.net] >>714 誰も彼も同じ人物だと思い込む妄想が治らないね 過去のスレッドのタイトルなんて忘れなよ いい思い出なんて一つもなかっただろ？ 心機一転　新しいタイトルで出直しな HNも捨てていいよ　誰もそんなもの気にしないし 784 名前：That's done [2020/03/27(金) 14:41:02.14 ID:asHKGG7T.net] いかんいかん、HNが抜けたな 専用ブラウザなんて使ってないんだ 浪人買うなんて無駄金出すほど馬鹿じゃないし まさか、浪人買ってるの？　5ch中毒？ 785 名前：That's done [2020/03/27(金) 14:55:21.35 ID:asHKGG7T.net] 提案 １．HNとトリップは止めな　意味ないから ２．スレッドは立ててもいいけど　今後は分野特定せずに「雑談」にしな 786 名前：現代数学の系譜 雑談 mailto:sage [2020/03/27(金) 14:55:48.71 ID:JV2qk9Qn.net] 浪人使っているよ ・金には困っていない（これが一番ｗ） ・センブラは便利（これが二番） ・エロ アド（PR） がうざい（これも二番） ・まあ、”久米仙人”（下記）みたいなものよｗｗ(゜ロ゜; （参考） zizimuge.blog44.fc2.com/blog-entry-7.html さおのむかし 久米仙人は何故落ちたか？（１）2006.02.12 (抜粋) 久米仙人というのは、聖武帝の御世に生きた人だというから、実在したのだとすれば、ほぼ八世紀頃の人物である。吉野の龍門寺で仙法をきわめ、自在に空を飛翔するほどになったのだが、あるとき吉野河で洗濯をする女性の足に目を奪われて、河に墜落してしまったのだという。 この話は『今昔物語集』巻十一に、「久米仙人、始造久米寺語」（くめせんにん、はじめてくめでらをつくれること）という題で語られており、古来有名なものなのだが、どちらかと言えば、真面目な検討の対象になるというよりは、むしろ「女性の色香に惑わされて、験力を失った愚かな仙人」ということで、笑い話として扱われることが多いようである。 787 名前：現代数学の系譜 雑談 mailto:sage [2020/03/27(金) 14:58:30.69 ID:JV2qk9Qn.net] >>718 妄想がひどくない？ 薬、飲めよ！！ おまえは、自分が運営になったつもり？ おまえには、なんの権限も、力もないんだよｗ！！ｗｗ（＾＾； 788 名前：That's done [2020/03/27(金) 15:04:15.07 ID:asHKGG7T.net] 今のHNを英語に翻訳してみたことある？ The genealogy of modern mathematics, chat かな でもここでgenealogyなんて語ってないから余計だね ちなみに Mathematics Genealogy ProjectっていうHPは別にある 数学者の師弟関係を記録したサイトだね https://www.genealogy.math.ndsu.nodak.edu/ ここで語ってるのはせいぜいchat of modern mathematics だね どうみてもHNというよりスレッド名 だからスレッド名は次から「現代数学雑談」 工学とか物理とか要らない　 数学の人は現実にも 789 名前：実用性にも興味ないから [] [ここ壊れてます] 790 名前：That's done [2020/03/27(金) 15:24:00.07 ID:asHKGG7T.net] >>719 >金には困っていない 金がいくらあっても、数学書は買えても、数学の理解は買えないよ >久米仙人 数学を理解できないのは、エロとは無関係だな >>720 提案だよ　て・い・あ・ん 791 名前：現代数学の系譜 雑談 mailto:sage [2020/03/27(金) 15:35:35.76 ID:JV2qk9Qn.net] ＜再録＞ >>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(独立同分布)を仮定する」なんて 確率論の頻出で、いろはのい、初歩の初歩です 792 名前：That's done [2020/03/27(金) 15:41:49.60 ID:asHKGG7T.net] >>723 ＞”ある箱の数当て”が確率 …1-εにできる どうしてもその”誤り”にはまって抜け出せないね　何故？ 「ある箱の数当て」ではないよ 「当たる箱の選出」だよ 箱の中身は定数だからiidなんて無用　分布なんてないし That's done.　（それは終わったよ） 793 名前：That's done [2020/03/27(金) 15:45:34.23 ID:asHKGG7T.net] 無限列ｘとその同値類の代表元ｒ（ｘ）を比較した場合 任意の自然数ｎについて「第ｎ項が不一致」って事象は、 任意有限個では独立だけど、無限個で考えたら独立ではないね なぜなら自然数の無限部分集合について、その要素となるｎ全部で 「第ｎ項が不一致」となることはないから （不一致となる項は有限個） 794 名前：現代数学の系譜 雑談 mailto:sage [2020/03/27(金) 16:48:53.13 ID:JV2qk9Qn.net] おサル必死 くっ くっ く、 >>723ご参照 ww（＾＾； 795 名前：That's done [2020/03/27(金) 17:05:08 ID:asHKGG7T.net] >>726 That's done.　（それは終わったよ） 明日からHNとトリップ捨てて出直しなよ 796 名前：現代数学の系譜 雑談 ◆e.a0E5TtKE mailto:sage [2020/03/27(金) 17:12:37 ID:JV2qk9Qn.net] おサル必死 くっ くっ く、 >>723ご参照 ww（＾＾； 終わっているのは、お ま え ｗｗｗ 797 名前：That's done [2020/03/27(金) 17:17:17 ID:asHKGG7T.net] >>728 That's done.　（それは終わったよ） 明日からHNとトリップ捨てて出直しなよ 798 名前：That's done [2020/03/27(金) 17:22:21 ID:asHKGG7T.net] >>723 >>724 「ある箱の数当て」ではないよ 「当たる箱の選出」だよ 箱の中身は定数だからiidなんて無用 799 名前：１３２人目の素数さん [2020/03/27(金) 19:07:38 ID:WXxBUAbr.net] The Riddle も解らない馬鹿に数学は無理 800 名前：１３２人目の素数さん [2020/03/27(金) 19:12:36 ID:WXxBUAbr.net] >>681 >３．しかし、確率計算は正当化できない Ω={1,2,...,100} の離散一様分布が正当化できないと？ 脳みそコロナ感染してる？ 801 名前：１３２人目の素数さん [2020/03/27(金) 19:16:07 ID:WXxBUAbr.net] iidって要するに当てずっぽうでしょ？ そりゃ当てずっぽうじゃ当たらないわなｗ そんな話が数学セミナーの記事に？妄想もたいがいにしましょうねｗ 802 名前：１３２人目の素数さん [2020/03/27(金) 19:26:55.96 ID:WXxBUAbr.net] HNこれにしとけ 「自然数も分らない馬鹿」 時枝？ そりゃ自然数も分らない馬鹿には無理ですよｗ 803 名前：That's done [2020/03/27(金) 19:31:57.40 ID:asHKGG7T.net] >>733 あの人はiidばっかり繰り返してるけど 実はポイントはそこじゃなくて ある箱に絞った場合の条件つき確率 として考えることなんだけどね 例えばX_(n,m)（n列目のm番目の箱)に絞るとすると 当たる場合は、n列目の決定番号がm以下の場合だし 外れる場合は、n列目の決定番号がmより大きい場合 つまり 「全部の列の決定番号の最大値がmの場合」と 「全部の列の決定番号がmより大きくて 　n番目以外の列の決定番号の最大値がmの場合」 の確率を比較することになる だから前者が後者に比べて圧倒的に小さくてほぼ0になるということ だからといって「箱入り無数目」とは矛盾しないのでほっといていい 804 名前：１３２人目の素数さん [2020/03/27(金) 19:35:26 ID:asHKGG7T.net] >>734 AI(=Artificial Intelligence)に対抗して NI(=Natural Innocence)というのは如何？ 805 名前：１３２人目の素数さん mailto:sage [2020/03/27(金) 21:11:23 ID:BRYMq2Nk.net] >>702 >>707 > 「iidだからそれはおかしい」と即座に分かる > 「可算無限個の箱→可算無限の確率変数族」 https://ja.wikipedia.org/wiki/コーシー列 > 収束するかどうか調べるためには、その前に極限値がわからなければ > ならないのであるが 「その前に極限値がわからなければならない」から どの同値類に収束するか前もって分からないといけない 前もって収束する先の(R^Nでの)同値類を決めておくと 「iid」ではそのような数列を作ることはできない > どの箱も、例外無し！ 1つの箱にだけサイコロの目を入れるのと全ての箱にサイコロの目を入れるの では同値類は異なるよ 806 名前：１３２人目の素数さん [2020/03/28(土) 10:23:57 ID:+ARtdTH+.net] >>702 >５）ところが、時枝理論では、ある箱の数当てが 確率1/6ではなく、1-εにできるという 時枝先生はそんなこと言ってません。「固定された100列のいずれかをランダムに選択すればアタリ列を選ぶ確率は99/100以上になる」と言ってます。 そしてこれは完全に正しい。 全く分かってませんね� 807 名前：B時枝戦略を語りたいなら正しく理解することから始めましょう。 [] [ここ壊れてます] 808 名前：１３２人目の素数さん [2020/03/28(土) 10:29:53 ID:+ARtdTH+.net] >>682 >自然数に上限は無く どの自然数も有限でも >しかし、超限順序数ωは >ヒルベルト無限ホテルのパラドックスを使って >（>>678ご参照） >直ちに実現できますねｗ（＾＾； だからなに？ 箱入り無数目はR^Nですけど？ 809 名前：１３２人目の素数さん [2020/03/28(土) 10:40:16 ID:+ARtdTH+.net] 確率論があーが口癖の瀬田が一番確率分かってないね。 試しに時枝戦略の確率の確率空間書いてみ？ 810 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2020/03/28(土) 11:16:30.13 ID:MRwZqC/h.net] >>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つの箱にだけサイコロの目を入れるのと全ての箱にサイコロの目を入れるの >では同値類は異なるよ いわんとしていることが、正確には理解できないが 空の箱を許容するという意味なら、{実数＋Φ（空）} の可算無限列を作れば良い 811 名前：１３２人目の素数さん [2020/03/28(土) 11:25:58.72 ID:+ARtdTH+.net] >>741 箱入り無数目にコーシー列など不要 相変わらず馬鹿丸出し 812 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2020/03/28(土) 11:29:20.03 ID:MRwZqC/h.net] >>741 (引用開始) >1つの箱にだけサイコロの目を入れるのと全ての箱にサイコロの目を入れるの >では同値類は異なるよ いわんとしていることが、正確には理解できないが 空の箱を許容するという意味なら、{実数＋Φ（空）} の可算無限列を作れば良い (引用終り) この話は、非常に示唆に富んでいる つまり、箱に入れて良い要素を増やしても、同様に確率1-εが得られるというのが、時枝理論だ だが、明らかに、入れる要素を増やせば、一方入れる方があくまで実数しか入れないなら、的中率は下がる （この話は、>>525に書いた通り、実数→多元数の同値類 に拡張できる。そして、任意の多元数で 同じ 確率1-εが得られる 　しかし、入れる方があくまで実数しか入れないなら、的中率は下がるべき。これ、時枝理論の矛盾です （＾＾； ） 813 名前：１３２人目の素数さん [2020/03/28(土) 11:38:07.91 ID:hDJsRLVm.net] >>743 ＞箱に入れて良い要素を増やしても、同様に確率1-εが得られる そもそも「ある箱の数当て」ではないので当然 ＞これ、矛盾です ただの読み間違い 814 名前：１３２人目の素数さん [2020/03/28(土) 11:52:45 ID:+ARtdTH+.net] >>743 >だが、明らかに、入れる要素を増やせば、一方入れる方があくまで実数しか入れないなら、的中率は下がる まったく明らかじゃないｗ 妄想じゃなく数学語ってねｗ 815 名前：１３２人目の素数さん [2020/03/28(土) 11:54:18 ID:+ARtdTH+.net] >>743 >的中率は下がるべき 時枝解法を理解してないからそう思えるだけ 馬鹿丸出し 816 名前：１３２人目の素数さん [2020/03/28(土) 12:10:14 ID:+ARtdTH+.net] なんで確率空間書かないの？ 分からないの？ 確率勉強してね 817 名前：１３２人目の素数さん [2020/03/28(土) 12:19:07 ID:+ARtdTH+.net] 確率空間も書けないのに大学4年の確率論があって言ってたんですね 馬鹿丸出しですね 818 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2020/03/28(土) 12:43:45.86 ID:MRwZqC/h.net] (>>593より) ＜時枝理論の複数列の比較による確率計算を潰す試みｗ(゜ロ゜；　＞ により、時枝の複数列の比較は、数学的には本質ではない ことは、すでに示した さて、時枝の手法は、ある方法で 819 名前：、大きな数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つだ 　　（これ実は、けっこう重要なのだ） [] [ここ壊れてます] 820 名前：１３２人目の素数さん [2020/03/28(土) 13:08:32 ID:+ARtdTH+.net] >>749 >(>>593より) >＜時枝理論の複数列の比較による確率計算を潰す試みｗ(゜ロ゜；　＞ >により、時枝の複数列の比較は、数学的には本質ではない ことは、すでに示した >３．そして、２列だから、確率 P（d＜d'）＝1/2 というけれど（>>593） 言ってませんけど？ ぜんぜん解ってないね >１．ある方法で、d'が与えられたとする >５．結局、時枝の数当て 不成立です！ おまえの云うある方法≠時枝の方法　なので無意味 頭大丈夫ですか？時枝の方法じゃなきゃ当たらないのは当たり前ですね〜 821 名前：１３２人目の素数さん [2020/03/28(土) 13:16:08 ID:+ARtdTH+.net] >>593） >３．そして、２列だから、確率 P（d＜d'）＝1/2 というけれど 2列のいずれかをランダムに選ぶから1/2が言えるのであって、選ぶ列を固定したら1/2は言えません。 ていうかなんで1/2が言えると思ってるの？バカ？ 822 名前：１３２人目の素数さん [2020/03/28(土) 13:36:38 ID:/8rYWzo5.net] 学術の巨大掲示板群 - アルファ・ラボ ttp://x0000.net 数学 物理学 化学 生物学 天文学 地理地学 IT 電子 工学 言語学 国語 方言 など 823 名前：１３２人目の素数さん [2020/03/28(土) 15:43:02 ID:hDJsRLVm.net] >>749 「箱Xdを特定したとき、"rXd'＝Xd'"なる確率は0」 というのは「箱入り無数目」とは無関係 100列が決まっているときに、それぞれの列について 他の99列の決定番号の最大値をdとしたとき 100列のうち99列の箱について"rXd'＝Xd'"となるから ランダムに1列選んで"rXd'＝Xd'"となる確率が99/100 というのが「箱入り無数目」 824 名前：１３２人目の素数さん [2020/03/28(土) 16:00:58 ID:+ARtdTH+.net] ランダムが分からない瀬田 825 名前：１３２人目の素数さん [2020/03/28(土) 16:32:41 ID:hDJsRLVm.net] 「箱入り無数目」とは無関係の定理 ・番号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 826 名前：１３２人目の素数さん [2020/03/28(土) 16:43:14.55 ID:hDJsRLVm.net] 「箱入り無数目」の代表元は、確率変数の無限族の ”まるまるの”独立性を満たさない ・任意のnについて 　P(not(rXn＝Xn))=1 < 827 名前：br> ・任意有限個のn_iについて 　P(∧not(rXn_i＝Xn_i))=1 しかし ・無限個のn_iについて 　P(∧not(rXn_i＝Xn_i))=0 なぜなら、not(rXn＝Xn)となるnは有限個だから [] [ここ壊れてます] 828 名前：１３２人目の素数さん mailto:sage [2020/03/28(土) 20:40:48 ID:WA7Bn40i.net] >>741 > 空の箱を許容するという意味なら >>743 > 明らかに、入れる要素を増やせば、 ある箱だけに着目するのか全ての箱に着目するのか？ ということですよ ある箱にだけサイコロの目を入れるというのは 他の箱は実数を入れるんだから他の箱にサイコロの目の数字が入る確率は0でしょ 全ての箱に入れるんだったらある箱にサイコロの目が入っているのなら 他の箱にもサイコロの目が入っている確率は1 サイコロの目を入れるということは箱の中の数字を1から6の6通りに絞るということで 数当ての出題は箱の中の数字を1つに絞るということだから同様に考えると 出題者が実数から選んだ数字がある箱にだけ入っているのならば 他の箱に出題者が実数から選んだ数字が入る確率は0 全ての箱に出題者が実数から選んだ数字を入れるんだったら ある箱に出題者が実数から選んだ数字が入っているのなら 他の箱にも出題者が実数から選んだ数字が入っている確率は1 829 名前：１３２人目の素数さん mailto:sage [2020/03/28(土) 20:47:36 ID:WA7Bn40i.net] >>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が全て一致するから収束する 830 名前：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [2020/03/28(土) 21:27:42 ID:MRwZqC/h.net] >>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つの物のセットのことを表す」と覚えておいて下さい 831 名前：１３２人目の素数さん [2020/03/28(土) 21:41:33 ID:+ARtdTH+.net] >>759 箱入り無数目の確率空間になってないのでゼロ点 落ちこぼれには無理でした 832 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2020/03/28(土) 22:35:23.03 ID:MRwZqC/h.net] >>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)になる？？ 　　　・ 　　　・ 　あんたの数学は、属人的な数学かい？？ ばか言っているんじゃないよ、時枝さん 833 名前：１３２人目の素数さん [2020/03/28(土) 22:40:03.06 ID:+ARtdTH+.net] >>761 >２．ところで、時枝さんは、あるd番目の箱Xdの確率がP=1-εになるという だから箱を特定したらならないと何度言えば おまえ脳に障害あるだろ >ばか言っているんじゃないよ、時枝さん 馬鹿はおまえだよ瀬田 834 名前：１３２人目の素数さん [2020/03/29(日) 00:23:11 ID:ReTOy/u3.net] >>761 ＞d番目って、代表の取り方に依存する ＞ある人Aさんが選んだ代表では、d番目としても ＞別の人Bさんが選ぶ代表では、ｄ’番目(ｄ’≠d)になる？ ＞じゃ、また別の人Cさんが選ぶ代表では、ｄ’’番目(ｄ’’≠ｄ’≠d)になる？？ 「決定番号∞」の誤りを指摘されて諦めたと思ったら 今度は「選択関数は１つじゃない！」ですか？ 何人居ても選択関数は１つに決めるほうが当たる わざわざ変えて損する馬鹿はいませんよ ∞の件も同じ　R^Nだから当たるんで、 R^(N∪{∞})に並べ替えて損する馬鹿はいませんよ 835 名前：１３２人目の素数さん mailto:sage [2020/03/29(日) 01:24:32 ID:AAFtJXqL.net] >>761 > その1つ以外の箱の数当て確率は どうなる？ 箱に入れる数字は実数であるとして Aさんはサイコロを振って箱に入れる数字を決めて数列を出題する Bさんは袋に入っている数列をランダムに選んで出題する さて Aさんはサイコロを振って数列snを1つ作って出題することにする またその数列snだけが入った袋をBさんに渡す Bさんは袋から数列を選んで出題する s1, s2, ... , Xi, ... Xi = siである確率は1 回答者はどのような数列も自分が数当てに用いる袋の中の代表元の 先頭から有限個が変更されたものであると考える 箱の数当て確率は先頭から0がならび決定番号以降は1がならぶ 0, 0, ... , 0, 1, 1, ... , 1, ... 自分が数当てに用いる袋の中の代表元であるから 数列ごとに決定番号が定まる 836 名前：１３２人目の素数さん [2020/03/29(日) 09:49:02.91 ID:ReTOy/u3.net] https://rio2016.5ch.net/test/read.cgi/math/1582883006/518-520 匿名でも誰が書いたかわかるもんだな でもハンドル名要らないから 匿名なら生暖かく見守るだけ

---

---

[ 続きを読む ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef