スレタイ 箱入り無数目を語る部屋3

1 名前：１３２人目の素数さん [2022/08/13(土) 16:51:12.04 ID:d42KNd2H.net] 前スレが1000近くなったので、新スレを立てる 前スレ 箱入り無数目を語る部屋2 https://rio2016.5ch.net/test/read.cgi/math/1629325917/ （参考） 時枝問題（数学セミナー201511月号の記事） 「箱入り無数目」抜粋 純粋・応用数学（含むガロア理論）8 https://rio2016.5ch.net/test/read.cgi/math/1620904362/401 時枝問題（数学セミナー201511月号の記事） 「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる. どんな実数を入れるかはまったく自由，例えばn番目の箱にe^πを入れてもよいし，すべての箱にπを入れてもよい. もちろんでたらめだって構わない.そして箱をみな閉じる. 今度はあなたの番である.片端から箱を開けてゆき中の実数を覗いてよいが，一つの箱は開けずに閉じたまま残さねばならぬとしよう. どの箱を閉じたまま残すかはあなたが決めうる. 勝負のルールはこうだ. もし閉じた箱の中の実数をピタリと言い当てたら，あなたの勝ち. さもなくば負け. 勝つ戦略はあるでしょうか?」 https://mathoverflow.net/questions/151286/probabilities-in-a-riddle-involving-axiom-of-choice Probabilities in a riddle involving axiom of choice asked Dec 9 '13 at 16:16 Denis （Denis質問） I think it is ok, because the only probability measure we need is uniform probability on {0,1,…,N?1}, but other people argue it's not ok, because we would need to define a measure on sequences, and moreover axiom of choice messes everything up. （Pruss氏） The probabilistic reasoning depends on a conglomerability assumption, ・・・and we have no reason to think that the conglomerability assumption is appropriate. （Huynh氏） If it were somehow possible to put a 'uniform' measure on the space of all outcomes, then indeed one could guess correctly with arbitrarily high precision, but such a measure doesn't exist. つづく 836 名前：１３２人目の素数さん [2022/10/13(木) 14:01:01.40 ID:NWPTDBix.net] >>756 >つまり、IID(独立同分布)を考えれば、確率変数Ｘｉ i∈Ｎで、 それは時枝戦略の確率変数ではない。 記事のどこを読んでるの？日本語読めない？なら小学校の国語が先だね >　時枝は終わっている >　つまり、確率99/100は否定される 時枝戦略を否定したいなら時枝戦略を語って下さい。 違う話を語ってもただただナンセンスなだけ。 837 名前：１３２人目の素数さん [2022/10/13(木) 14:23:32.87 ID:NWPTDBix.net] >>755 >商集合の構成には、選択公理は不必要では？ 構成自体が要らない。 集合XとX上の同値関係〜を定めれば商集合X/〜も定まる。 >商集合に分けたものが、有限なら有限に対する選択公理 任意の有限族の選択関数の存在は自明だから余計な公理は不要。 838 名前：１３２人目の素数さん [2022/10/13(木) 14:30:32.40 ID:NWPTDBix.net] >>762 >スレ主は「固定した時点で確率論的な文脈が破壊される」と思っているようだが、 >それはスレ主の勘違いだということ。 その通り 中卒くんは何が定数で何が確率変数かの設定をまったく読み解けていない 数学の前に国語を勉強すべき 839 名前：１３２人目の素数さん mailto:sage [2022/10/13(木) 19:12:00.05 ID:AMr2WmgW.net] >>755 >商集合の構成には、選択公理は不必要では？ 商集合の元が同値類そのものなら不必要だが >>740では「同値類の代表元全体の空間」 といってるから、選択公理は必要 無駄なツッコミ５９６３ >商集合に分けたものが、有限なら有限に対する選択公理 >が、代表系を構成するのに、…必要ってことでしょ？ 1行目「、」の位置が不適切 正しい文章は「商集合に分けたものが有限なら、」な その上で、内容が誤り 商集合が有限なら、選択公理は必要ない。 で、>>754には反論できず悶死か　御愁傷様 840 名前：１３２人目の素数さん mailto:sage [2022/10/13(木) 19:12:32.37 ID:AMr2WmgW.net] >>756 ともかく、 １）望月論文は、数学的には終わっている 　つまり、平均化すれば　j^2キャンセルで、 　望月は終わっている 　つまり、Corollary3.12の証明は否定される ２）残る問題は 　・望月の宇宙際トリックの謎解き 　・もっといえば、なぜ証明できたように見えるか？ 　ってことだけ ３）思うに 　”入れ子の宇宙”が思考としては許されるが 　数学理論としては、何でも証明可（つまり矛盾）だから 　却下！ってオチじゃね？ え、ここ箱入り無数目スレ？・・・誤爆かｗ 841 名前：１３２人目の素数さん [2022/10/13(木) 23:33:07.75 ID:MxOOS5Ta.net] >>766 >商集合の元が同値類そのものなら不必要だが >>>740では「同値類の代表元全体の空間」 >といってるから、選択公理は必要 誤魔化しだな。>>740なんてかんけーねｗ 正確に引用するよ 　>>755より (引用開始) >>753 >　　K^N/∪K^n (n∈N)を構成するのに選択公理が必要 ？？ 商集合の構成には、選択公理は不必要では？ 商集合に分けたものが、有限なら有限に対する選択公理 商集合に分けたものが、可算なら可算に対する選択公理 商集合に分けたものが、非可算なら非可算に対する選択公理 が、代表系を構成するのに、それぞれ必要ってことでしょ？ そして、非可算に対するフルパワー選択公理を使うと 非可測集合たるヴィタリ集合（R/Q の代表系よりなる） が構成できるということでしょ (引用終り) 842 名前：１３２人目の素数さん [2022/10/13(木) 23:36:21.48 ID:MxOOS5Ta.net] >>767 それ面白いな １）望月論文は、数学的には、論文は受理され、査読され、出版された ２）シンポジウムも、多数ある ３）問題は、 ・望月の宇宙際トリックの謎解き ・もっと分かり易い説明が必要だ ４）それは、これからの仕事で� 843 名前：ｵょ [] [ここ壊れてます] 844 名前：１３２人目の素数さん [2022/10/13(木) 23:40:26.79 ID:MxOOS5Ta.net] >>756 補足 １）ともかく、大学教程の確率論、確率過程論を勉強して、ちゃんと単位を取った人は 　時枝記事などに惑わされることはない ２）可算無限数列のしっぽを使った決定番号 　そこから、d1,d2,・・・d100を使うトリック ３）結局ここで、確率論を踏み外しているんだｗ 845 名前：１３２人目の素数さん [2022/10/14(金) 00:42:25.36 ID:EE9vbJZt.net] >>770 具体的にお願いしますね 記事のどの部分がどう間違ってると？ 846 名前：１３２人目の素数さん [2022/10/14(金) 05:32:01.93 ID:jvsyohQG.net] >>771 中卒には無理だろ 大学教程の確率論、確率過程論を勉強したことなんて一度もない筈 だって大学に入れなかったんだから ああ、工学部は別な　あれ、ただの「専門学校」だから 奴等は算数はできるが、論理による思考はできない だから数学理論は全く理解できないし　証明も全く読めない 実数の公理を何の前提もなく証明しようとしてできず悶絶する馬鹿 それが中卒 847 名前：１３２人目の素数さん [2022/10/14(金) 05:35:27.56 ID:jvsyohQG.net] >>768 ＞誤魔化しだな。>>740なんてかんけーねｗ 　誤魔化してるのは中卒、 　論理が解らん馬鹿には 「同値類の空間」と「同値類の代表元全体の空間」 　の違いが理解できんｗ 　それから、有限の選択公理は必要ない 　有限なら力ずくで選択できるからｗｗｗ 848 名前：１３２人目の素数さん [2022/10/14(金) 06:01:48.55 ID:jvsyohQG.net] >>769 それつまらんわ ＞望月論文は、数学的には、論文は受理され、査読され、出版された 　重要な問題の証明なのに査読者は非公開 　SSの指摘に何の意味ある反論もなく受理、出版 　日本数学界の後進性を露骨に示す事例だな 　日本の知的レベルはアフガニスタンとかイエメン並み ＞シンポジウムも、多数ある 　でも肝心のCorollary 3.12の説明はなし 　そもそもそれ自体誤りの可能性大 　DupuyとHiladoは、まず、Corollary 3.12が 　「いかなる命題も導ける最強の前提」 　だと示すべきだったな 849 名前：１３２人目の素数さん [2022/10/14(金) 06:09:41.00 ID:jvsyohQG.net] >>769 ＞問題は、 ＞・望月の宇宙際トリックの謎解き ＞・もっと分かり易い説明が必要だ ＞それは、これからの仕事でしょ 「なぜ証明できたように見えるか？」分かりやすい説明が必要だ。 望月新一には無理だろう 説明するのはScholzeか？Dupuyか？それとも第三の男か？ 望月新一のIUTTが、ヒルベルト・プログラムだとしたら ヒルベルト・プログラムの破綻を示した不完全性定理にあたるのは何か そして、その何かを示すのは誰か？ 850 名前：１３２人目の素数さん [2022/10/14(金) 06:15:28.09 ID:jvsyohQG.net] では予言しておこう 851 名前：１３２人目の素数さん [2022/10/14(金) 06:16:33.61 ID:jvsyohQG.net] >>770 【予言】 自己言及、自己相似とパラドックスの関係を理解したならば IUTTなどに惑わされることはなくなるだろう 入れ子の宇宙、そして、宇宙のｎ倍を無理矢理元の宇宙につなげる エッシャ―の「プリント・ギャラリー」のようなトリック 結局、それが、理論全体の整合性を打ち壊している、と示される筈 852 名前：１３２人目の素数さん mailto:sage [2022/10/14(金) 06:27:50.53 ID:qAcMEQxL.net] 100枚の封筒(>>690-693)を例にとる。 スレ主は「出題を固定した時点で確率論的な文脈が破壊される」と勘違いしているが、 実際にはそうではない。出題 d を固定した時点で、 「もともとの事象の、d における断面」 が新たな事象として登場するだけであり、確率論的な文脈は この事象に引き継がれるだけである。 厳密に書けば、もともとの事象を B として、出題 d を固定したなら、B の d における切片 B_d が定義できて、 「確率論的な文脈は、この新たな事象 B_d に引き継がれるだけ」 である。つまり、出題 d を固定しても、確率論的な文脈は全く破壊されない。 853 名前：１３２人目の素数さん mailto:sage [2022/10/14(金) 06:28:24.60 ID:qAcMEQxL.net] 要するに、スレ主が「確率空間の積空間」の概念を全く理解してないというだけの話である。 ・ 積空間においては、片方の空間の元を固定すると、その元 854 名前：における断面として 　 新たな事象が出現し、確率論的な文脈はその事象に引き継がれる。 ・ ところが、「断面」という視点が抜け落ちたスレ主にとっては、 　「確率論的な文脈を引き継ぐ対象が存在しない」ように見えてしまう。 ・ だからこそ、スレ主は「固定した時点で確率論的な文脈が破壊される」と勘違いしているのだ。 ・ 実際には、確率論的な文脈は「断面」に引き継がれる。スレ主が「断面」という概念を理解してないだけ。 [] [ここ壊れてます] 855 名前：１３２人目の素数さん mailto:sage [2022/10/14(金) 06:38:20.27 ID:qAcMEQxL.net] >>770 ＞２）可算無限数列のしっぽを使った決定番号 ＞　そこから、d1,d2,・・・d100を使うトリック ＞３）結局ここで、確率論を踏み外しているんだｗ 全く踏み外していない。 ・ >>690-693の場合だと、d を固定したとき、A の d における断面 A_d が新たな事象として出現し、 　 確率的な文脈は A_d に引き継がれる。すなわち、d を固定しても確率論的な文脈は破壊されない。 　 別の言い方をすれば、d を固定することの確率論的な根拠と意味付けが断面 A_d によって担保される。 ・ A_d は確率空間(I, pow(I), η)において可測なので、η(A_d)が定義できて、しかも η(A_d) ≧ 99/100 である。 　 これが言えると何がうれしいのかと言うと、フビニの定理から直ちに P(A) ≧ 99/100 が従うのがうれしい。 ・ これは一般的に成り立つ。すなわち、B を事象として、もし ∀d∈N_100 s.t η(B_d) ≧ 99/100 が成り立つなら、 　 フビニの定理から直ちに P(B) ≧ 99/100 が従う。すなわち、η(B_d) ≧ 99/100 という性質は 　 P(B) ≧ 99/100 よりも深い性質を述べているのであり、η(B_d) ≧ 99/100 が示せるなら、それに越したことはない。 ・ そして、η(A_d) ≧ 99/100 は「 d を固定したときの回答者の勝率が 99/100 以上」という意味である。 　 これが示せるなら、それに越したことはないということ。時枝記事はまさにこれ。 以上の理由により、時枝記事は確率論を全く踏み外してない。 単にスレ主が、確率空間の積空間において出現する「断面」を見落としているだけ。 856 名前：１３２人目の素数さん [2022/10/14(金) 13:12:44.70 ID:EE9vbJZt.net] >>770 �@任意の実数列の決定番号は自然数である �A100列の決定番号はどれも自然数だから最大値がある �B最大決定番号の列は1列または複数列である。 　�B-1 複数列なら100列のどの列を選んでも勝てる。 　�B-2 1列ならその列以外を選べば勝てる。 �C列選択はランダムだから勝率は99/100以上である。 �@〜�Cのどれが間違ってると？ 857 名前：１３２人目の素数さん [2022/10/14(金) 20:43:58.48 ID:vJZfsUiI.net] >>770 補足 １）全国区世論調査に例えれば、時枝さんは、 　ランダムに抽出して世論調査をしたと言いながら 　その実、ランダムでなく偏りのある世論調査だってこと ２）全国区世論調査なら、北は北海道から南は九州沖縄まで、無作為抽出すべき 　ところが、南の九州の離れ小島だけ抽出したら？ 　それはまずい。島の人口100人で、99％の内閣支持率だという 　だけど、日本人口1億人の中では、ほとんど0でしょ。つまり、0*(99/100)＝0だ ３）同様に、d1,d2,・・・d100は、 　例えば自然数Ｎ全体からみれば 　原点0の近くの有限部分でしかない 　自然数Ｎ全体は、可算無限集合だから、 　d1,d2,・・・d100の最大値を超えた領域の方が圧倒的に大きい 　上記の世論調査と同様 d1,d2,・・・d100の領域は全体から見れば0に等しい 　よって、0*(99/100)＝0だなｗ 858 名前：１３２人目の素数さん [2022/10/14(金) 21:01:34.28 ID:jvsyohQG.net] >>782 中卒は平均がない分布で平均を考える、最低最悪の馬鹿ｗ 859 名前：１３２人目の素数さん [2022/10/14(金) 21:22:52.81 ID:EE9vbJZt.net] >>782 >１）全国区世論調査に例えれば 例えなくていいよ 記事原文のどこに間違いがあるかだけずばり答えて 860 名前：１３２人目の素数さん mailto:sage [2022/10/14(金) 21:33:53.82 ID:qAcMEQxL.net] >>782 ＞３）同様に、d1,d2,・・・d100は、 ＞　例えば自然数Ｎ全体からみれば ＞　原点0の近くの有限部分でしかない 間違っている。時枝記事では {d1,d2,…d100} 上の一様分布を採用しているのではなく、 {1,2,…,100} 上の一様分布を採用しているのである。{1,2,…,100} は固定された有界集合である。 ＞　自然数Ｎ全体は、可算無限集合だから、 ＞　d1,d2,・・・d100の最大値を超えた領域の方が圧倒的に大きい ＞　上記の世論調査と同様 d1,d2,・・・d100の領域は全体から見れば0に等しい ＞　よって、0*(99/100)＝0だなｗ 同様の屁理屈が>>581-583にも適用できてしまい、>581-583でも回答者の勝率はゼロになってしまう。 しかし、>581-583では回答者の勝率は 99/100 以上である。 そして、スレ主は>581-583をスルーし続けている。ここがスレ主の限界。 861 名前：１３２人目の素数さん mailto:sage [2022/10/14(金) 21:41:18.53 ID:qAcMEQxL.net] 100枚の封筒(>>690-693)を例にとる。この設定では、 封筒の中身は「確率 1/2^k で 4^k ドル」(k≧1) なので、金額に上限はない。 さて、出題者が d＝(d1,d2,…,d100)∈N_100 を固定するとき、回答者の勝率は 99/100 以上になるのだった。 厳密に書けば、A の d における切片 A_d について、η(A_d) ≧ 99/100 が成り立つのだった。 すると、フビニの定理によって P(A) ≧ 99/100 が成り立つのだった。 ところが、スレ主の屁理屈によると、次のようになる。 ・ 100枚の封筒の中身 d1,d2,…d100 に上限はないので、自然数Ｎ全体からみれば、 　 d1,d2,…d100 は原点0の近くの有限部分でしかない。すると、上記の世論調査と同様、 　 d1,d2,・・・d100の領域はＮ全体から見れば0に等しい。よって、0*(99/100)＝0 である。 　 つまり、P(A)＝0 である。 これがスレ主の言っていること。明確に間違っている。 862 名前：１３２人目の素数さん [2022/10/14(金) 21:41:26.96 ID:EE9vbJZt.net] >>770 もしかして >�@任意の実数列の決定番号は自然数である が間違いだと思ってる？ なら反例を挙 863 名前：げてみて [] [ここ壊れてます] 864 名前：１３２人目の素数さん mailto:sage [2022/10/14(金) 21:51:00.93 ID:qAcMEQxL.net] >>782 ＞　上記の世論調査と同様 d1,d2,・・・d100の領域は全体から見れば0に等しい ＞　よって、0*(99/100)＝0だなｗ この論法はスレ主がよく使う手口であるが、詭弁である。どこが詭弁なのかは、 このスレの前半部分で散々指摘しているのだが、ここで簡潔に再掲しよう。 閉区間[0,1]の中からランダムに1つ実数を選んで x とする。 x＞1/3 ならスレ主の勝ちで、x≦1/3 ならスレ主の負けとする。 このとき、スレ主の勝率は 2/3 であるが、スレ主の屁理屈によれば、次のようになる。 ・ 閉区間 [0,1] の中からどんな x を選んでも、その x という一点は閉区間 [0,1] の中で確率ゼロである。 ・ となれば、例えばの話として、もし x＝0.51 ならスレ主の勝ちだが、そもそも x＝0.51 が起こる確率はゼロである。 ・ 他の例としては、もし x＝0.9 ならスレ主の勝ちだが、そもそも x＝0.9 が起こる確率はゼロである。 ・ 同じように、a∈(1/3, 1] のとき、もし x＝a ならスレ主の勝ちだが、x＝a が起こる確率は a ごとに確率ゼロである。 ・ このように、スレ主が勝つような「x＝a」は、確かにその「x＝a」が発生しさえすればスレ主の勝ちなのだが、 　 そもそも「x＝a」が発生する確率自体が a ごとに常に確率ゼロになっている。 ・ ゆえに、スレ主が勝つ確率は実際にはゼロである。勝率 2/3 なんて大嘘である。 これがスレ主の言っていること。何が間違っているのかは明白で、単純に確率の計算方法が間違っている。 つまり、時枝記事が間違っているのではなく、スレ主が確率の計算を間違えているだけ。 865 名前：１３２人目の素数さん mailto:sage [2022/10/14(金) 22:06:56.24 ID:qAcMEQxL.net] >>782 ＞２）全国区世論調査なら、北は北海道から南は九州沖縄まで、無作為抽出すべき ＞　ところが、南の九州の離れ小島だけ抽出したら？ ＞　それはまずい。島の人口100人で、99％の内閣支持率だという 再び100枚の封筒(>>690-693)で説明するが、まず ∀d∈N_100 s.t η(A_d)≧99/100 が成り立っていて、 フビニの定理から P(A)≧99/100 を得るのだった。ここで、「 d ごとに η(A_d)≧99/100 が成り立つ」とは、 ・ 固定された100人において 99％の支持率 に対応する。ただし、勘違いしてはいけないのは、ある1つの d＝(d1,d2,…,d100)に対してのみ η(A_d) ≧ 99/100 が示せたのではなく、他の任意の d∈N_100 に対しても η(A_d)≧99/100 が 示せているということ。実際、∀d∈N_100 s.t η(A_d)≧99/100 という論理式にはちゃんと 「 ∀d∈N_100 」がついていることに注意せよ。つまり、 ・ ある島Vから選んだ100人で、99％の支持率 ・ 別の島Wから選んだ人口100人で、99％の支持率 ・ 北海道と沖縄から選んだ100人で、99％の支持率 ・ 東京都と京都と大阪から選んだ100人で、99％の支持率 ・ ある島Vと別の島Wと北海道と沖縄と大阪から選んだ100人で、99％の支持率 　　： 　　： というふうに、「日本全国から抽出した、あらゆる全ての100人の組み合わせ」に対して99％の支持率だということ。 それに対応するのが ∀d∈N_100 s.t η(A_d)≧99/100 だということ。 そして、それを示しているのが時枝記事だということ。つまり、時枝記事の確率計算には、 スレ主が言うところの「偏り」(一部の島でしか世論調査してないという偏り)なんぞ全く生じていない。 866 名前：１３２人目の素数さん [2022/10/14(金) 22:54:51.06 ID:vJZfsUiI.net] >>789 >スレ主が言うところの「偏り」(一部の島でしか世論調査してないという偏り)なんぞ全く生じていない。 発生している 正則分布なら、無作為抽出は可能でも 非正則分布では、無作為抽出（ランダム抽出）は、原理的に無理でしょ だって、コルモゴロフの確率公理を満たさないんだからｗ 867 名前：１３２人目の素数さん mailto:sage [2022/10/14(金) 23:30:12.80 ID:qAcMEQxL.net] >>790 [世論調査の場合] スレ主は世論調査をする。「日本全体から100人をピックアップして、その100人の中で支持率を算出する」 という方法を取る。スレ主としては、支持率がなるべく「低い」ような調査結果であってほしい。 そのためには、スレ主にとって「有利な100人」がピックアップされればよい。極端なことを言えば、 ある100人の中での支持率がゼロなら、スレ主は毎回その固定された100人にアンケートを取ればよい。 そうすれば、毎回必ず「支持率ゼロ」が実現できる。 では、どうやってそのような100人を見つけるのか？簡単である。日本全体から、 あらゆる全ての100人の組み合わせをピックアップして、それぞれの100人に対して支持率を調べればよい。 「支持率ゼロ」であるような100人が見つかれば成功である。ここでは、その結果が次のようになったとしよう。 ∀d ∈ {あらゆる100人の集合} s.t この d の中での支持率は99％以上. つまり、あらゆる100人の組み合わせについて、その100人の中での支持率は99%以上という結果になったとしよう。 この場合、スレ主にとって「有利な100人」は存在しないことになる。 868 名前：１３２人目の素数さん mailto:sage [2022/10/14(金) 23:35:55.45 ID:qAcMEQxL.net] 注意点：上記のように、 ∀d ∈ {あらゆる100人の集合} s.t この d の中での支持率は99％以上 が成り立っている場合(あくまでもそういう場合)、もはや「日本国民の無作為抽出」に拘っても 　意　味　が　な　い　 ことに注意せよ。� 869 名前：ﾈぜなら、たとえ無作為に100人を抽出しても、結局、 「その100人の中での支持率は99％以上」 になってしまうからだ。なぜそうなってしまうのかと言えば、 「あらゆる100人の組み合わせで支持率が99％」 だからだ。 [] [ここ壊れてます] 870 名前：１３２人目の素数さん mailto:sage [2022/10/14(金) 23:37:53.77 ID:qAcMEQxL.net] 　 [時枝記事の場合] スレ主は出題者である。スレ主は実数列を出題し、回答者は時枝戦術に沿って回答する。 1つの出題 s∈[0,1]^N に対して、s のみに依存した100個の決定番号 d＝(d1,d2,…,d100) が出力される。 回答者の勝率は、この d＝(d1,d2,…,d100) の良し悪しで決まる。 スレ主としては、回答者の勝率がなるべく「低い」ようになってほしい。 そのためには、スレ主にとって「有利な100個の決定番号」がピックアップされればよい。 極端なことを言えば、ある100個の決定番号のもとで「回答者の勝率がゼロ」なら、 スレ主は毎回その固定された100個の決定番号を出力すればよい(厳密に言えば、そのような (d1,d2,…,d100) が出力されるような実数列 s を毎回出題すればよい)。 そうすれば、毎回必ず「回答者の勝率はゼロ」が実現できる。 871 名前：１３２人目の素数さん mailto:sage [2022/10/14(金) 23:38:50.95 ID:qAcMEQxL.net] では、どうやってそのような100個を見つけるのか？ 簡単である。あらゆる全ての可能な100個の決定番号の組み合わせをピックアップして、 その100個に対する回答者の勝率を調べればよい。「勝率ゼロ」であるような100個が見つかれば成功である。 ところで、100個の決定番号は s∈[0,1]^N に依存して決まるので、これは結局、 「あらゆる s∈[0,1]^N をピックアップして、この s に対する回答者の勝率を調べればよい」 ということになる。その結果、時枝記事に書いてあるとおり、次のようになる。 ∀s ∈ [0,1]^N s.t 出題者がこの s を出題すると、回答者の勝率は 99/100 以上になる. つまり、あらゆる全ての可能な100個の決定番号の組み合わせについて、 その100個のもとでの回答者の勝率は99％以上であるということ。 これはどういうことかと言えば、スレ主にとって「有利な100個の決定番号」は存在しないということ。 872 名前：１３２人目の素数さん mailto:sage [2022/10/14(金) 23:44:39.36 ID:qAcMEQxL.net] 注意点： ∀s ∈ [0,1]^N s.t 出題者がこの s を出題すると、回答者の勝率は 99/100 以上になる が成り立つことから、もはや実数列 s∈[0,1]^N を一様分布に従ってランダムに出題することに拘っても 意味がないことに注意せよ。なぜなら、たとえランダムに s を出題しても、結局、 「その s では回答者が99/100 以上の勝率を誇る」からだ。 873 名前：１３２人目の素数さん mailto:sage [2022/10/14(金) 23:50:47.38 ID:qAcMEQxL.net] ご覧のとおり、世論調査と時枝記事で、論理的な構図が全く同じである。 ところで、スレ主は時枝記事に対して次のように主張していた。 ・ 時枝記事は、世論調査で言えば、ある島の100人のみを対象とした支持率を調査しているようなものであり、 　 日本国全体を考慮に入れているとは言えない。ここが時枝記事のタネだ！ しかし、これはスレ主の勘違いである。時枝記事では、「ある島の100人のみを対象としている」のではなくて、 「あらゆる全ての可能な100人の組み合わせ」をちゃんと調べているのである。すなわち、日本国全体を考慮に入れている。 そして、その結果、 「あらゆる全ての可能な100個の決定番号の組み合わせについて、その100個のもとでの回答者の勝率は99％以上である」 ということが時枝記事の中で導出されている。世論調査で言えば、 「あらゆる全ての100人の組み合わせについて、その100人の中での支持率は99%以上である」 という驚愕の事実が　実　際　に　言　え　て　い　る　のが時枝記事なのである。 そして、この驚愕の事実が実際に言えてしまった以上、もはや「日本国民の無作為抽出」に拘っても意味がない(>>792)。 以上により、世論調査を用いたスレ主の論法は崩壊した。 874 名前：１３２人目の素数さん [2022/10/15(土) 00:22:42.74 ID:CSS+wolk.net] >>790 >発生している >正則分布なら、無作為抽出は可能でも >非正則分布では、無作為抽出（ランダム抽出）は、原理的に無理でしょ 非正規分布を使っているエビデンスを記事原文から引用せよ 引用できなければチンピラの言いがかりと解釈させて頂きますね 875 名前：１３２人目の素数さん [2022/10/15(土) 02:01:29.77 ID:CSS+wolk.net] ×非正規分布　〇非正則分布 876 名前：１３２人目の素数さん [2022/10/15(土) 06:31:26.28 ID:fmV1e3Cz.net] >>773 >「同値類の空間」と「同値類の代表元全体の空間」 >　の違いが理解できんｗ 誤魔化しだな。>>768 理解できていないのは、あなた。それを指摘したのは私ですｗ>>755ｗｗｗ 877 名前：１３２人目の素数さん [2022/10/15(土) 09:03:56.29 ID:9USD/krw.net] >>799 なにいってんだこの中卒白痴ｗ K^N　を、ファイバー∪K^n (n∈N)のファイバー空間と考えるなら 底空間としてのK^N/∪K^n (n∈N)は、当然 「同値類の代表元全体の空間」でなければならない こんな初歩も分からん馬鹿は金輪際数学板に書くな（嘲） ウィキペディアの「ABC予想」でもっちー礼賛の💩文でも書いてろ 878 名前：１３２人目の素数さん [2022/10/16(日) 22:47:04.82 ID:QKipb+mA.net] >>800 >底空間としてのK^N/∪K^n (n∈N)は、当然 >「同値類の代表元全体の空間」でなければならない 意味不明 １）K^N/∪K^n (n∈N)は、当然同値類のことでしょ？ｗ ２）”X に同値関係 ～ を「x ～ y ?⇒ ある σ ∈ F2 が存在して y = σx」で定める． 　選択公理により商集合 X/ ～ の完全代表系 M を取ることができる．”(下記 関西すうがく徒のつどい @alg_d) (参考) http: 879 名前：//alg-d.com/math/ac/tsudoi3.pdf 第三回関西すうがく徒のつどい 数学の諸定理と選択公理の関係 @alg_d 2013 年 3 月 17 日 今回は「選択公理がないと宇宙がヤバイ」という話をします． Ｐ10 X に同値関係 ～ を「x ～ y ?⇒ ある σ ∈ F2 が存在して y = σx」で定める． 選択公理により商集合 X/ ～ の完全代表系 M を取ることができる． https://ja.wikipedia.org/wiki/%E5%90%8C%E5%80%A4%E9%A1%9E 同値類 ある集合 S の元が（同値関係として定式化される）同値の概念を持つとき，集合 S を同値類（どうちるい，英: equivalence class）たちに自然に分割できる． フォーマルには，集合 S と S 上の同値関係 ～ が与えられたとき，元 a の S における同値類は，a に同値な元全体の集合 {x∈ S ｜ x ～ a } である．「同値関係」の定義から同値類は S の分割をなす． この分割，同値類たちの集合，を S の ～ による商集合 (quotient set) あるいは商空間 (quotient space) と呼び，S/～ と表記する． https://www.math.nagoya-u.ac.jp/~yanagida/19S/20190411.pdf 2019/04/11 配布 数学演習 VII・VIII 4 月 11 日分問題 担当: 柳田伸太郎 1 復習 1 (集合と写像, 同値関係と商集合) 1.2 同値関係と商集合 [] [ここ壊れてます] 880 名前：１３２人目の素数さん [2022/10/17(月) 04:16:28.45 ID:Re5LW4T3.net] >>801 ＞１）K^N/∪K^n (n∈N)は、当然同値類のことでしょ？ｗ 　誤りｗ 　１同値類は∪K^nと同型 　同値類の１つ１つを要素とする集合がK^N/∪K^n (n∈N) 　 　例えば２で割った余りが同じ数を同値とする場合 　同値類は｛０，２，４，・・・｝と｛１，３，５，・・・｝の２つ 　それらを要素とする集合は 　｛｛０，２，４，・・・｝、｛１，３，５，・・・｝｝ 　で、代表元をとれば 　｛０．１｝ 　両者は全単射が存在するから集合として等しくはないが同型 881 名前：１３２人目の素数さん [2022/10/17(月) 06:49:29.06 ID:qQwmejim.net] >>801 補足 同値類は、置換の公理で済む。選択公理はいらないみたい つまり、下記 置換の公理→関係→同値関係→「したがって同値類や商集合が定義できます」 で、選択公理により、下記”単射 Y → X が存在する”の部分、つまり「各同値類から、完全代表系を作ることができる」が示せるってこと (参考) https://math-fun.net/20200113/4906/ 趣味の大学数学 公理的集合論をわかりやすく解説：ZFC公理系を例に 2022年2月19日 木村（@kimu3_slime） 置換の公理 置換の公理は、もしxに応じてある条件Φを満たすyが一意に存在するならば、そのような条件Φを満たすx,yx,yの組の集合が存在する、と言っていますね。「対応関係」を集合に置き換える公理です。 さらに同様のことをして、(A,B)の組のようなものが作れ、その和集合として直積が定義されます。 さらには、関係（relation）が定義できます。 それは、順序対の集合です。つまり、直積集合A×Bの部分集合Rを、二項関係（binary relation）と呼びます。もし(x,y)∈Rなら、x,yは関係していると考えるわけですね（直積がn個ならn項関係です。） そして関係を使えば、写像・関数（mapping, function）が定義できます。 公理から導かれる結果 関係からは同値関係が定義でき、したがって同値類や商集合が定義できます。 https://www.math.nagoya-u.ac.jp/~yanagida/19S/20190411.pdf 2019/04/11 配布 数学演習 VII・VIII 4 月 11 日分問題 担当: 柳田伸太郎 1 復習 1 (集合と写像, 同値関係と商集合) ｐ４ なお, 選択公理を仮定すると次の主張が示せる. 事実. 集合 X, Y について, 全射 f : X → Y が存在すれば単射 Y → X が存在する. 特に Card Y <= Card X. 証明は, 例えば参考文献 [斎藤 09] の命題 2.7.5 を参照すること. [斎藤 09] 斎藤毅 「集合と位相」 大学数学の入門 8, 東京大学出版会 (2009). https://ja.wikipedia.org/wiki/%E5%90%8C%E5%80%A4%E9%96%A2%E4%BF%82 同値関係 商集合 S の相異なるすべての同値類から代表元を1つずつ集めて作った S の部分集合のことを、集合 S における同値関係 ～ の（あるいは商集合 S/～ の）完全代表系 (complete system of representatives) と呼ぶ。 882 名前：１３２人目の素数さん [2022/10/17(月) 07:15:48.43 ID:qQwmejim.net] >>801 追加 alg-d 壱大整域 さんか、 下記なども面白いね alg-d.com/math/ac/ alg-d トップ > 数学 > 選択公理 TOP: 壱大整域 alg-d.com/math/ac/tsudoi4.pdf 第四回　関西すうがく徒のつどい「代数学における選択公理」　PDF版 2013 年 9 月 21 日 (抜粋) 1 Six Impossible Rings ZFC では存在できないとよく知られている環を 6 つ《構成》したという論文である． (正確に言えば，そのような環が存在する ZF のモデルを構成したということ．) 　以下，環とは単位元を持つ可換環を指す． 定理. ZF では以下のような環が存在しうる． (1) 極大イデアルを持たない整域で，任意のイデアルが有限生成となるもの． (引用終り) ”(1) 極大イデアルを持たない整域で，任意のイデアルが有限生成となるもの．” か 有限小数環とか 多項式環も 似た感じかもね ”★お知らせ★　このページの内容が紙の本になりました。 Amazonのこちらのページで購入することができます” とかあるね そうそう 時枝記事では、完全代表系は、必ずしも必要ない 例えば、100個の代表が必要なら、最小限100個の代表ですむ 当然ですが、有限の代表で済ますなら、有限選択公理で済む 可算の代表で済ますならば、可算選択公理で済む そして、この場合 可算選択公理で済むならば、ヴィタリ集合的な非可算は出ない>>725 ただし、全事象が発散するという非正則分布>>51には、なる 883 名前：１３２人目の素数さん [2022/10/17(月) 07:28:46.65 ID:qQwmejim.net] まず >>804 訂正 そして、この場合 可算選択公理で済むならば、ヴィタリ集合的な非可算は出ない>>725 　↓ そして、この場合 可算選択公理で済むならば、ヴィタリ集合的な非可測は出ない>>725 さて >>804 補足 >時枝記事では、完全代表系は、必ずしも必要ない >例えば、100個の代表が必要なら、最小限100個の代表ですむ >当然ですが、有限の代表で済ますなら、有限選択公理で済む >可算の代表で済ますならば、可算選択公理で済む >そして、この場合 可算選択公理で済むならば、ヴィタリ集合的な非可測は出ない>>725 >ただし、全事象が発散するという非正則分布>>51には、なる だから、時枝氏の記事>>1の 「選択公理→非可測集合」という論が可笑しいよね ”ZFCでは、実数Ｒ中に、ヴィタリ集合的な非可測が出るから 　ZFC中の測度論は、非可測を使っている”みたいな時枝氏の論は ちょっとね。 非可測集合の存在と ZFC中での 非可測集合を排除した測度論の存在とは 両立するよね 時枝も同じ>>1 最小限100個の代表ですむんだったら 「ヴィタリ集合的な非可測は、関係ない」よね （実数Ｒ+ZFCだから、即ヴィタリ集合で、”お手つき”みたいな意味不明な議論はやめてほしいよ） 884 名前：１３２人目の素数さん mailto:sage [[ここ壊れてます] .net] ・ 1つの出題 s に対しては100個の決定番号のみ必要。 ・ ある s_0∈[0,1]^N に対して「その出題 s_0 では回答者の勝率は 99/100 以上」を証明し、 　 なおかつ「他の出題 s に対する回答者の勝率は調べない」のであれば、 　 回答者は s_0 に対する100個の決定番号さえ所持していればよいので、選択公理は必要ない。 ・ 実際には、時枝記事では「 ∀s∈[0,1]^N s.t. その出題 s では回答者の勝率は 99/100 以上」 　を示しているので、回答者は任意の出題 s に対応できなければならず、 　 よって完全代表系が必要なので、選択公理が必要。 885 名前：１３２人目の素数さん mailto:sage [[ここ壊れてます] .net] 次のような言い方もできる。 ・「ある s_0∈[0,1]^N に対して回答者の勝率が 99/100 以上であれば、それでいい」のであれば、 　 回答者は s_0 に対する100個の決定番号さえ所持していればよいので、選択公理は必要ない。 　 ただし、出題者は回答者が所持する100個の決定番号が s_0 に対するものであることを知った上で、 　 わざわざ s_0 を出題しなければならない。この場合、回答者の勝率は 99/100 以上になる。 　 ただし、これでは出題者がわざと負けているのと同じ。出題者が勝ちたいなら、 　 回答者が対応できない別の実数列 s を出題すればよい。 　 この場合、回答者はそもそも s に対する100個の決定番号を持ってないので、時枝戦術が実行できない。 ・ 逆 886 名前：に、回答者が(選択公理によって)完全代表系を所持している場合、出題者がどんな実数列 s を出題しても、 　 回答者は s に対応する100個の決定番号を所持しているので、その出題 s に対する回答者の勝率は 99/100 以上になる。 　 これが時枝記事。 [] [ここ壊れてます] 887 名前：１３２人目の素数さん mailto:sage [2022/10/17(月) 11:22:06.26 ID:RYhCayMB.net] このように、 「出題 s ごとに100個の決定番号だけが必要だが、あらゆる出題に対応するためには完全代表系が必要」 という性質によって選択公理が必要になってしまうのだが、 これは回答者が自力で100個の決定番号を出力する場合の話にすぎない。 回答者のかわりに、出題者が100個の決定番号を回答者に手渡すようにすれば、 回答者は完全代表系を所持している必要はなく、そして出題者もまた完全代表系が必要ない。 このことを記述したのが>>581-583の設定で、選択公理を使わずに時枝戦術が実行可能になっている。 もちろん、>581-583 では回答者の勝率は 99/100 以上である。そして、>581-583 から何が分かるのかというと、 「出題者が回答者に手渡している100個の決定番号こそが、回答者にとって大きなヒントになっている」 ということ。しかも、回答者に手渡す100個の決定番号に、「品質」の点で優劣は存在しない。 すなわち、「出題 s に対する100個の決定番号」でありさえすれば、必ず回答者の勝率は 99/100 以上になる。 同じことだが、回答者の勝率が著しく低下するような "品質の低い100個の決定番号" は存在しない。 s に対する100個の決定番号でありさえすれば、どんな100個を回答者に手渡しても回答者が高確率で勝利する。 888 名前：１３２人目の素数さん mailto:sage [2022/10/17(月) 11:27:51.89 ID:RYhCayMB.net] では、出題者が回答者に100個の決定番号を渡すのをやめて、 回答者が自力で100個の決定番号を出力する設定に再び戻ってみよう。 この場合、あらゆる出題に対応した100個の決定番号を、回答者は予め全て所持している必要がある。つまり、 「あらゆる出題に対する "大きなヒント(＝100個の決定番号)" を、回答者は予め全て所持している必要がある」 ということ。もしそんな芸当が可能なら、出題者が何を出題したって、回答者が高確率で勝利するのは当たり前である。 なんたって、どんな出題が来ても、その出題に対応した "大きなヒント" を回答者は予め所持しているからだ。 問題となるのは、一体どうやってそんな芸当を可能にするのかということ。 …それこそが完全代表系である。完全代表系こそが、「あらゆる出題に対する大きなヒント」として機能するのである。 このように考えると、時枝記事が正しいのは自明である。 そして、完全代表系を得るには選択公理が必要で、ゆえに時枝記事では選択公理の文言が登場している。 たったそれだけの話にすぎない。 889 名前：１３２人目の素数さん [2022/10/17(月) 14:16:27.04 ID:a0k9no7O.net] >>805 >最小限100個の代表ですむんだったら 済まない 未だ分からんの？馬鹿なの？ 890 名前：１３２人目の素数さん [2022/10/17(月) 14:43:21.16 ID:a0k9no7O.net] >>805 kをランダム選択する前はどの箱も開けていないのだから、100列だけの代表列でよい といってもその100列が何か知り様が無い。 一方でkをランダム選択する前に100列それぞれの決定番号は定まっている必要がある。 　そうでないとハズレ列を引く確率=1/100とは言えない。 　白紙のくじを引いて、引いた後に当たりはずれを決めるようなもの。 なんでこんな簡単なことがいつまで経っても理解できないの？白痴だから？ 891 名前：１３２人目の素数さん [2022/10/17(月) 14:48:44.37 ID:a0k9no7O.net] >>805 というか、そもそもバカが示さなければいけないのは 「選択公理を仮定しても時枝戦略は不成立」 自分が何をしなければいけないかすら分かってない白痴。 892 名前：１３２人目の素数さん [2022/10/17(月) 17:05:08.18 ID:K1TMZqwC.net] 【火葬場】　ブースター接種でフル稼働　【葬儀株】 ://rio2016.5ch.net/test/read.cgi/sousai/1651730253/l50 https://o.5ch.net/1zk1l.png 893 名前：１３２人目の素数さん [2022/10/17(月) 22:49:10.63 ID:qQwmejim.net] >>805 補足 なんか、発狂している人いるねｗ 　>>725 再録 https://ja.wikipedia.org/wiki/%E3%83%B4%E3%82%A3%E3%82%BF%E3%83%AA%E9%9B%86%E5%90%88 ヴィタリ集合 ルベーグ非可測な実数集合の基本的な例である[1]。 構成と証明 有理数体 Q は実数体 R の普通の加法についての部分群を成す。なので加法の商群 R/Q (つまり、有理数分の差を持つ実数同士を集めた同値類による剰余群) は有理数集合の互いに交わらない"平行移動コピー"によって出来ている。この群の任意の元はある r 894 名前： ∈ R についての Q + r として書ける。 R/Q の元は R の分割の1ピースである。そのピースは不可算個あり、各ピースはそれぞれ R の中で稠密である。R/Q の元はどれも [0, 1] と交わっており、選択公理によって [0, 1] の部分集合で、R/Q の代表系になっているものが取れる。このようにして作られた集合がヴィタリ集合と呼ばれているものである。すなわち、ヴィタリ集合 V は [0, 1] の部分集合で、各 r ∈ R に対して v - r が有理数になるような一意的な v を要素に持つものである。ヴィタリ集合 V は不可算であり、 u,v∈ V,u≠vであれば v - u は必ず無理数である。 (引用終り) 以上のことから、 ヴィタリ集合 V の要素 v ∈ [0, 1]は、個々には単に区間 [0, 1]中の無理数でしかないのです 例えば、明らかに 無理数π/4 ∈ [0, 1] を代表にとって、ヴィタリ集合 V の要素 とすることができる さて、そのような要素π/4をつかったら、即 「非可測集合を使ったから、お手つき～！」などと叫ぶ人がいれば それは、全くおかしな主張でしょ？ 時枝さんｗ つまり、ヴィタリ集合 Vは、その要素が不可算個であるから非可測集合なのであって もし、その要素が有限であったり、可算無限であれば、非可測集合にはなり得ないのですよ [] [ここ壊れてます] 895 名前：１３２人目の素数さん mailto:sage [2022/10/17(月) 23:19:55.55 ID:RYhCayMB.net] >>814 ・ 時枝記事そのものについては、選択公理は必要(>>806-807)。 ・ ただし、時枝記事と同等の戦術を、選択公理を使わない形で実行できるようにすることは可能(>>581-583)。 ・ いずれの設定でも、回答者の勝率は 99/100 以上。 896 名前：１３２人目の素数さん [2022/10/18(火) 12:59:33.93 ID:21DTagbB.net] 同値類、選択公理が分からん馬鹿に箱入り無数目は無理 897 名前：１３２人目の素数さん [2022/10/18(火) 13:06:24.07 ID:YgIxu5rz.net] >>815 うん、だから、選択公理は本質ではない 選択公理＋同値類＋代表で、即非可測になるみたいに 時枝さんは、言っているけど間違い 使う代表が、有限個だったり、高々可算だったりすれば、 その場合は、非可測にならないよね >>816 分かってないのは、 おまえｗｗｗｗｗ 898 名前：１３２人目の素数さん mailto:sage [2022/10/18(火) 13:47:31.87 ID:V5yrTzmD.net] >>817 認識がズレている。 回答者が高確率で勝利できる仕組みの部分に関しては、選択公理は本質ではない(>>581-583で十分だから)。 しかし、その話にパラドックスとしての価値を持たせるためには、選択公理が必須。 同じことだが、選択公理を使わない>>581-583にはパラドックスとしての価値がなく、 時枝記事にはパラドックスとしての価値がある。 もちろん、どちらの設定でも回答者の勝率は 99/100 以上。 しかし、>581-583の設定だと、回答者が勝てるのは当たり前なので、パラドックスとしての不思議さはない。 一方で、時枝記事だと、回答者が勝てるのは不思議なので、パラドックスとしての価値がある。 このように、両者の違いは、パラドックスとしての不思議さが宿っているかどうか。 899 名前：１３２人目の素数さん mailto:sage [2022/10/18(火) 13:51:41.93 ID:V5yrTzmD.net] 具体的に言うと、まず>>581-583は「出題者が回答者に100個の決定番号を手渡す」という設定であり、 そして100個の決定番号こそが回答者にとって「大きなヒント」として機能するので、 それを出題者が回答者に手渡すのなら、回答者が高確率で勝てても不思議はない。 つまり、>581-583の設定だと、回答者が勝てるのは当たり前であり、パラドックスではない。 一方で、時枝記事の場合は、出題者が回答者に100個の決定番号を渡してくれるわけではないので、 回答者が自前で100個の決定番号を所持していなければならない。 それも、100個の決定番号を「1組」所持しているだけでは意味がない。 あらゆる出題に対応できるように、必要な100個の決定番号の組は全て所持していなければならない。 そんな芸当を可能にするのが完全代表系であり、そして完全代表系を得るには選択公理が必要。 ゆえに、時枝記事の設定では選択公理が必要となる。 900 名前：１３２人目の素数さん mailto:sage [2022/10/18(火) 14:00:45.16 ID:V5yrTzmD.net] そして、完全代表系を手にした回答者は、晴れて (☆)「どんな出題が来ても、その出題に対する大きなヒント(＝100個の決定番号)を既に所持している」 という "無敵の状態" になったので、回答者の勝率は 99/100 以上になる。 ……このように考えると、別に時枝記事でも回答者が高確率で勝てるのは当たり前である。 では、時枝記事は一体どこが不思議だったのか？それは、 ・ (☆)のような無敵の状態が実現できることそのものが不思議だ ということ。これこそが、時枝記事の不思議さの根源である。 では、一体どうやって(☆)のような無敵の状態を作り出したのか？ それこそが完全代表系である。完全代表系がありさえすれば、回答者は無敵になれる。 しかし、肝心の完全代表系は選択公理がなければ作れない。だからこそ、時枝記事では選択公理が必須になっている。 901 名前：１３２人目の素数さん mailto:sage [2022/10/18(火) 14:17:11.18 ID:V5yrTzmD.net] まとめると、次のようになる。 ・ 回答者が勝てる仕組みについては、選択公理は本質ではない(>>581-583で十分)。 ・ しかし、>581-583にはパラドックスとしての価値がない(回答者が勝てるのは当たり前)。 　 一方で、時枝記事にはパラドックスとしての価値がある。 ・ ただし、時枝記事でも、完全代表系を手にした回答者は 902 名前： "無敵" なので、回答者が勝てるのは当たり前。 ・ では、時枝記事のどこが不思議なのかというと、回答者が無敵になれてしまうこと自体が不思議だということ。 ・ 回答者が無敵になれる原因は完全代表系であり、そして完全代表系は選択公理がないと作れない。 ・ つまり、時枝記事は実質的に「選択公理が人知を超えて無敵すぎる」と言っているのであり、 　 これはバナッハ・タルスキーのパラドックスと構図は同じ。 [] [ここ壊れてます] 903 名前：１３２人目の素数さん [2022/10/18(火) 19:31:42.25 ID:neGyGAu2.net] >>814 ＞ヴィタリ集合 Vは、その要素が不可算個であるから非可測集合なのであって ＞もし、その要素が有限であったり、可算無限であれば、 ＞非可測集合にはなり得ないのですよ はい、誤りｗ 例えば[0,1]の中の有理数全体の集合は可算集合だが 上記の集合の各点のみの集合が同じ測度をもち、 全体が１となるような測度は存在しないことが ヴィタリ集合の非可測性と全く同じ推論で証明できるｗ こんな初歩的なことも分からん中卒は人間失格のエテ公ｗｗｗ 904 名前：１３２人目の素数さん [2022/10/18(火) 19:42:58.18 ID:neGyGAu2.net] >>817 ＞使う代表が、有限個だったり、高々可算だったりすれば、 ＞その場合は、非可測にならないよね 使う代表がたった１個でも非可測になるｗ 例えば、ある桁から先が全部０の列だけを考える もちろん全部同じ尻尾を持つから全部０の列と同値 で、０以外の桁は全部１だとするｗ この場合 決定番号１　00000… 決定番号２　10000･･･ 決定番号３　01000･･･、11000･･･ 決定番号４　00100･･･　10100･･･、01100･･･、11100･･･ ･･･ したがって、決定番号が２以上の場合 　決定番号２の列集合の測度 ＜決定番号３の列集合の測度 ＜決定番号４の列集合の測度 ・・・ となる そして、ある桁から先が全部０の０−１無限列全体の集合（可算集合） の測度を１とした場合、上記の性質を満たす測度は存在しない なぜなら、ある決定番号から先の測度が０より大きいなら全体の和が発散するし さりとて、どの決定番号の測度も０なら、可算加法性から０になるから これはヴィタリ集合の非可測性証明を一般化した論法である こんな初歩的なことも分からん中卒は人間失格のエテ公ｗｗｗ 905 名前：１３２人目の素数さん [2022/10/18(火) 19:45:44.21 ID:neGyGAu2.net] ０−１列を、各項が[0，1]の点の列に一般化しても ∪[0，1]^n（n∈N）の全体を１とする測度は設定できない >>823と全く同じ論法で完全に証明し切れる こんな初歩的なことも分からん中卒は人間失格のエテ公ｗｗｗ 906 名前：１３２人目の素数さん [2022/10/18(火) 19:48:17.98 ID:21DTagbB.net] >>817 選択公理と同値類が分かっていれば 「任意の実数列の決定番号は自然数」 も分かる。 分かってないのはおまえ 907 名前：１３２人目の素数さん [2022/10/18(火) 19:53:01.32 ID:neGyGAu2.net] １．[0,1]^Nの中で、[0,1]^N/∪[0，1]^n(n∈N)は、非可測集合 ２．そして∪[0，1]^n(n∈N)の測度を１とするような測度は設定できない つまり選択公理を使っても（１．）使わなくても（２．） 列を確率変数とする場合には測度論は全く使えない こんな初歩的なことも分からん中卒は人間失格のエテ公ｗｗｗ 908 名前：１３２人目の素数さん [2022/10/18(火) 19:57:15.53 ID:neGyGAu2.net] >>825 中卒エテ公は、勝手に 「同値な列のコーシー列の収束先となる列もまた同値」 とかいう嘘定義をブチこんでいるが、その場合、任意の列が同値となるｗ そして、「本来同値でないが、嘘定義により同値となる列」は決定番号∞となるｗ 要するに、中卒エテ公は、 任意の無限列と、ある項から先が全部０となる無限列を同じとみなし 形式的冪級数と、多項式を同じとみなす馬鹿ｗｗｗ 909 名前：１３２人目の素数さん [2022/10/18(火) 23:54:06.26 ID:Ad52aa1a.net] >>822 >はい、誤りｗ >例えば[0,1]の中の有理数全体の集合は可算集合だが >上記の集合の各点のみの集合が同じ測度をもち、 >全体が１となるような測度は存在しないことが >ヴィタリ集合の非可測性と全く同じ推論で証明できるｗ お主の頭、腐っているなｗ 下記”ヴィタリ集合”wikipediaを、ちゃんと読めよｗ １）[0,1]の中の有理数全体の集合は可算集合で、ルベーグ測度では「可算集合である有理数全体の集合には 0 を割り当てる」だぞｗ ２）「一つの定数の（可算）無限和は 0 であるか無限大に発散する」だよ。 ３）だから、上記で”全体が１となるような測度は存在しない”という結論は同じだが、 　”ヴィタリ集合の非可測性と全く同じ推論”ではないぞｗｗｗ 　（「 V は可測ではない。つまりルベーグ測度 λ はいかなる値も λ(V) の値として定義できない[3][4]」が、ヴィタリの結論だよｗ） (参考) https://ja.wikipedia.org/wiki/%E3%83%B4%E3%82%A3%E3%82%BF%E3%83%AA%E9%9B%86%E5%90%88 ヴィタリ集合 可測集合 区間 [0, 1]は長さ1を持つと思われる。; もっと一般的に、区間[a, b] (a ? b) は長さ b ? a を持つと思われる。集合 [0, 1] ∪ [2, 3] は長さ1の二つの区間の合併であるので、この集合の全長は2と考える。重さで考えても同様に2と考えられる。ここで自然に次の問題が発生する: 実数直線の任意の部分集合 E に対して、必ず '重さ' や '全長'は得られるのか? 例えば、[0, 1] 上の有理数集合はどんな重さになるであろうか。有理数集合は実数直線の中で稠密なので、非負の値が適切であろう。重さに最も近い一般化はσ-加法性を持つルベーグ測度である。この測度は [a, b] の長さに b ? a を割り当て、可算集合である有理数全体の集合には 0 を割り当てる。ルベーグ測度が定められる集合をルベーグ可測集合と呼ぶ。しかし、ルベーグ測度の構成（カラテオドリの拡張定理を使う）自体からは非可測集合の存在は明らかに分かることではない。その問題に対する答えは選択公理を仮定するかどうかをも問うことになる。 構成と証明 一つの定数の無限和は 0 であるか無限大に発散するので、いずれにせよ [1, 3] の中には入らない。すなわち V は可測ではない。つまりルベーグ測度 λ はいかなる値も λ(V) の値として定義できない[3][4]。 910 名前：１３２人目の素数さん [2022/10/19(水) 06:50:48.69 ID:IlI3V106.net] >>828 ＞「一つの定数の（可算）無限和は 0 であるか無限大に発散する」だよ。 　中卒でもそのくらいのことはわかるんだな　ほめてやるよ ＞だから、上記で”全体が１となるような測度は存在しない”という結論は同じだが、 　「だから・・・同じ」　これで中卒エテ公は完全に死んだ 　「だが」はない、「だが」はな！ ＞”ヴィタリ集合の非可測性と全く同じ推論”ではないぞ 　同じだ。確率を論じると決めた瞬間、全体の測度は１だと決めたことになる 　したがってこの前提を否定して全体の測度を∞だとすることは許されない 　中卒はこの初歩が理解できない大馬鹿野郎　人間失格のエテ公 911 名前：１３２人目の素数さん [2022/10/19(水) 06:54:27.71 ID:IlI3V106.net] 箱入り無数目で、選択公理を前提する条件にしようが前提しない条件にしようが １．∪X^n(n∈N)　全体の測度は１ ２．Xの測度＜＝X^2の測度＜＝X^3の測度＜＝　・・・ という２条件を満たした∪X^n(n∈N)の測度が設定できない したがって測度論を用いた議論は全く不可能であり 中卒の測度論至上主義は完全に死んだ！ 912 名前：１３２人目の素数さん [2022/10/19(水) 08:05:33.46 ID:xfu4AEGC.net] お主の頭、腐っているなｗ まず、文字化け訂正>>828 https://ja.wikipedia.org/wiki/%E3%83%B4%E3%82%A3%E3%82%BF%E3%83%AA%E9%9B%86%E5%90%88 ヴィタリ集合 可測集合 集合には '長さ' や '重さ' が定まるものがある。例えば、区間 [0, 1]は長さ1を持つと思われる。; もっと一般的に、区間[a, b] (a <= b) は長さ b - a を持つと思われる。このような区間を一様な密度の金属棒と見ると、同じように重さも定義可能である。集合 [0, 1] ∪ [2, 3] は長さ1の二つの区間の合併であるので、この集合の全長は2と考える。重さで考えても同様に2と考えられる。ここで自然に次の問題が発生する: 実数直線の任意の部分集合 E に対して、必ず '重さ' や '全長'は得られるのか? 例えば、[0, 1] 上の有理数集合はどんな重さになるであろうか。有理数集合は実数直線の中で稠密なので、非負の値が適切であろう。重さに最も近い一般化はσ-加法性を持つルベーグ測度である。この測度は [a, b] の長さに b - a を割り当て、可算集合である有理数全体の集合には 0 を割り当てる。ルベーグ測度が定められる集合をルベーグ可測集合と呼ぶ。しかし、ルベーグ測度の構成（カラテオドリの拡張定理を使う）自体からは非可測集合の存在は明らかに分かることではない。その問題に対する答えは選択公理を仮定するかどうかをも問うことになる。 (引用終り) つまり、ヴィタリ集合V(非可算)は、実数Ｒのルベーグ測度中では、0,∞を含むいかなる値も不可だということ>>828 しかし、自然数Ｎや有理数Ｑは、可算だから、0か∞は可 付言すると、実数Ｒのルベーグ測度の対極に、下記数え上げ測度がある 数え上げ測度中では、自然数Ｎや有理数Ｑは、∞ 数え上げ測度の意味で、非正則分布である自然数Ｎがある！>>51 いずれにせよ、自然数Ｎや有理数Ｑ（可算）は、可測集合です！ｗ ヴィタリ集合V(非可算)は、非可測です！ 両者は、別物ですよｗｗｗ (参考) https://ja.wikipedia.org/wiki/%E6%95%B0%E3%81%88%E4%B8%8A%E3%81%92%E6%B8%AC%E5%BA%A6 数え上げ測度 数え上げ測度（かぞえあげそくど、英: counting measure; 計数測度）とは、集合の元の個数を数えるという方法でその "大きさ"（あるいは "容積"）を測る、ルベーグ積分における測度の一種である。 913 名前：１３２人目の素数さん mailto:sage [2022/10/19(水) 11:55:32.93 ID:BGJQFJat.net] 何を論点にしているのか知らんが、時枝戦術が当たる戦術であることに異論がないなら もう終わりだろう。 完全代表系を使っている以上、ルベーグ非可測な事象が登場するのは事実。 ただし、それは時枝戦術にとって本質的ではない。 なぜなら、記事内で使っている確率空間は {1,2,…,100} 上の一様分布であり、 非可測集合を回避しているからだ。最終的に示される結論は 「 ∀s∈[0,1]^N s.t. その出題 s に対する回答者の勝率は 99/100 以上」 というもの。世論調査で言えば、 「あらゆる全ての100人の日本国民の組み合わせについて、その100人の中での支持率は99%以上である」 という驚愕の事実を実際に示しているのが時枝記事。そして、この驚愕の事実が 実際に言えてしまった以上、もはや「日本国民の無作為抽出」に拘っても意味がない 914 名前：(>>792)。 結局、時枝戦術は当たる戦術である。 [] [ここ壊れてます] 915 名前：１３２人目の素数さん [2022/10/19(水) 12:01:04.88 ID:DwfAJI7Z.net] >>831 補足 >ヴィタリ集合V(非可算)は、非可測です！ 数え上げ測度(下記)では ヴィタリ集合V(非可算)は、その元を1と数えて、 ∞に発散する測度が定義できるかも (参考) https://ja.wikipedia.org/wiki/%E6%95%B0%E3%81%88%E4%B8%8A%E3%81%92%E6%B8%AC%E5%BA%A6 数え上げ測度 定義 可測空間 S 上の数え上げ測度とは、任意の可測集合 A に対してその元の個数 |A| ∈ N ∪ {∞} を対応させる写像によって定義される測度のことである。ここで、N は自然数全体の成す集合 {0, 1, 2, ...} であり、A が有限でないならばその濃度に関わらず |A| = ∞ とする。 ここで、それが完全加法族である限りにおいて S 上の可測集合族 M の取り方によらず、 略 が成立する などの事実は定義から直ちにわかる（2. は一つでも有限でないものがあれば両辺が ∞ として一致するという意味で成り立つから、全て有限のときを確かめればよいがこちらも明らかであろう）。 特に、任意の集合 A に対して μ(A) が定義できるので、可測集合族 M としては 2^S 全体をとることができて、(S, 2^S, μ) は測度空間になる。数え上げ測度が σ-有限であることと集合 S が可算であることは同値になる。 916 名前：１３２人目の素数さん [2022/10/19(水) 12:02:00.21 ID:DwfAJI7Z.net] >>832 慌てる乞食は貰いが少ない 917 名前：１３２人目の素数さん [2022/10/19(水) 12:07:21.02 ID:DwfAJI7Z.net] >>814 訂正 （細かいが、気づいたときに書いておく） ヴィタリ集合 V の要素 v ∈ [0, 1]は、個々には単に区間 [0, 1]中の無理数でしかないのです 　↓ ヴィタリ集合 V の要素 v ∈ [0, 1]は、一つの例外を除いて、個々には単に区間 [0, 1]中の無理数でしかないのです ＊） （注＊）一つだけ、有理数の要素が代表として取れる。） 918 名前：１３２人目の素数さん mailto:sage [2022/10/19(水) 12:58:39.61 ID:BGJQFJat.net] >>834 時枝記事に反論できなくて困ってるんでしょ？ 世論調査による論法は>>791-796で完全に論破してしまったからね。 スレ主は次の一手を考えている最中であり、 しかし新しい屁理屈が思いつかないので困っている、という構図だな。 あるいは、時枝戦術が勝てる戦術であることを スレ主は既に納得してしまったが、今さら手のひらを返すわけにもいかないので、 議論の着地点をどうするのか考えているのかもしれない。 いずれにしても、手持無沙汰になったスレ主は、お茶を濁すかのように、 「お手つき」がどうこうの記述に難癖をつけている、ということだろう。 919 名前：１３２人目の素数さん mailto:sage [2022/10/19(水) 13:07:58.59 ID:BGJQFJat.net] しかし、時枝記事における「お手つき」の記述は "世間話" のたぐいであり、 時枝戦術の本体には何の影響も与えない。 よって、その部分に文句をつけても、時枝記事の本体には何も反論できない。 また、時枝記事の中で選択公理が使われていることの意義は>>818-821で説明したとおり。 全体として、時枝記事は次のように要約できる。 ・ 完全代表系があれば回答者は無敵なので、回答者が高確率で当たるのは数学的には自明。 ・ 時枝記事の本当の意義は、「回答者が無敵になれること自体がパラドックスである」という部分にある。 ・ 回答者が無敵になれる原因は完全代表系であり、そして完全代表系は選択公理がなければ作れない。 　 つまり、「選択公理が人知を超えて無敵すぎる」と言っているのが時枝記事なのであって、 　 バナッハ・タルスキーのパラドックスなんかと構図は同じ。 結局、スレ主だけがずっと間違え続けているし、現状のスレ主は何がしたいのかも意味不明。 920 名前：１３２人目の素数さん [2022/10/19(水) 18:22:45.49 ID:DwfAJI7Z.net] 時枝不成立は、非可測ではなく、非正則分布によるってこと それを、はっきりさせようってこと 別に困ってないよｗ 921 名前：１３２人目の素数さん mailto:sage [2022/10/19(水) 18:49:26.26 ID:BGJQFJat.net] >>838 非正則分布に関するスレ主の勘違いを、世論調査を例にして説明しておこう。スレ主は、 「閉区間[a,b]上の一様分布でb→∞とした場合の非正則分布」 なるシロモノが時枝記事で使われていると発言したことがある。これは、世論調査で言えば、次のようになる。 ・ 日本国民が可算無限人いたとする。それぞれの日本国民には、1,2,3,…と順番に背番号をつけることにする。 ・ (☆)「あらゆる全ての100人の日本国民の組み合わせについて、その100人の中での支持率は99%以上である」 　 という驚愕の事実が成り立っているとする(従って、もはや "無作為抽出" に拘っても意味がない)。 ・ さて、100人の日本国民を任意に選び、その背番号を 922 名前： d1,d2,…,d100 とする。 ・ すると、背番号 d1〜d100 は N 全体の中で非有界である。 [] [ここ壊れてます] 923 名前：１３２人目の素数さん mailto:sage [2022/10/19(水) 18:51:01.26 ID:BGJQFJat.net] ・ しかし、背番号が非有界だからと言って、「100人の日本国民」に質的な違いはない。 ・ たとえば、「背番号1,2,…100という100人」「背番号 10^1, 10^2, 10^3, …, 10^100 という100人」の2種類を考える。 ・ 1,2,…,100を全て格納できる閉区間のうち、長さが最小のものは[1,100]であり、その長さは 100−1 (＝99) である。 　 一方で、10^1, 10^2, …, 10^100 を全て格納できる閉区間のうち、長さが最小のものは[10^1, 10^100]であり、 　 その長さは 10^100−10^1 である。 ・ このように、100人の背番号を全て格納できる閉区間の長さは、後者の方が長くなっている。 ・ しかし、それは背番号の話にすぎず、「100人の日本国民」としては、両者に質的な違いはない。 ・ 具体的に言えば、どちらの100人でも、その中での支持率を計算するときには 　 (支持している人数) / 100 を計算すれば終わりであり、ここに背番号の情報も閉区間の長さも登場しない。 924 名前：１３２人目の素数さん mailto:sage [2022/10/19(水) 18:52:13.56 ID:BGJQFJat.net] ここでスレ主は、背番号 10^1, 10^2, …, 10^100 という100人の方が 閉区間の長さが大きくなっていることを根拠にして、 「閉区間[a,b]上の一様分布でb→∞とした場合の非正則分布」 なるシロモノを持ち出しているわけだが、これこそがスレ主の勘違い。 既に述べたように、どちらの100人でも、その中での支持率を計算するときには (支持している人数) / 100 を計算すれば終わりであり、ここに背番号の情報も閉区間の長さも登場しない。 925 名前：１３２人目の素数さん mailto:sage [2022/10/19(水) 18:54:41.03 ID:BGJQFJat.net] 一方で、スレ主の屁理屈(非正則分布)によれば、確率の分母には閉区間の長さが登場することになる。 特に、背番号1,2,…100の場合には (よく分からない何らかのデータ) / (100−1) を計算することになり、背番号 10^1, 10^2, …, 10^100 の場合には (よく分からない何らかのデータ) / (10^100 − 10^1) を計算することになる。しかし、このような計算に何の意味があるのか？ 我々は「100人の中での支持率」を計算するのではなかったのか？100人の中での支持率は (支持している人数) / 100　によって算出されるのであり、分母は必ず「100」である。 つまり、分母に「99−1」や「10^100 − 10^1」が登場することはない。 926 名前：１３２人目の素数さん mailto:sage [2022/10/19(水) 18:56:20.55 ID:BGJQFJat.net] これは当たり前の話である。ここでの背番号は、区別のための識別番号(つまり名前)に過ぎないのだから、 背番号の情報や閉区間の長さが「100人の中での支持率の計算」に登場するわけがないのだ。 100人の中での支持率は、あくまでも　(支持している人数) / 100　によって計算される。 これはどういうことかと言えば、スレ主が何かを盛大に勘違いしているということｗ 背番号の大きさが非有界であっても、「100人の日本国民」には質的な違いがないことを スレ主は理解してないということ。別の言い方をすれば、質的な違いがないはずの100人について、 その背番号の大きさの違いに支離滅裂な幻想を抱き、質的な違いが生じていると勘違いしているということ。 927 名前：１３２人目の素数さん [2022/10/19(水) 19:09:01.34 ID:X+a0QiIr.net] >>838 >時枝不成立は、非可測ではなく、非正則分布によるってこと じゃなんで非正則分布とやらを使ってるエビデンスを記事原文から引用しないの？ おまえの妄想聞いても仕方ない。数学板は妄想を語る場ではない。 928 名前：１３２人目の素数さん mailto:sage [2022/10/19(水) 19:13:18.92 ID:BGJQFJat.net] あるいは、次のような視点から述べることもできる。 まず、N 全体には標準的な無作為抽出は存在しない。一方で、>>839で書いたように、今回は (☆)「あらゆる全ての100人の日本国民の組み合わせについて、その100人の中での支持率は99%以上である」 という仮定を置いている。この(☆)がある場合、N 上の如何なる "分布" も考える意味がない。 なぜなら、そのような分布に従って100人を抽出したところで、その100人の中での支持率は99％だからだ。 つまり、「無作為抽出の存在性」よりも「(☆)の成否」の方が優先順位が上なのだ。 (☆)が成り立つことが先に示せているのなら、もはや無作為抽出の存在性は論じる意味がないのである。 そして、時枝記事はまさしく(☆)を導出している。ゆえに、無作為抽出の存在性は論じる意味がない。 929 名前：１３２人目の素数さん mailto:sage [2022/10/19(水) 19:21:39.70 ID:BGJQFJat.net] もちろん、(☆)を導出するときに「非正則分布」が使われていては いけない。念のため、確認しておこう。 (☆)を示すには、あらゆる全ての100人の日本国民の組み合わせについて、その100人の中での (支持している人数) / 100 を計算してみればよい。これが必ず 0.99 以上になっていればよいわけだ。 ところで、(支持している人数) / 100　という計算の中には、背番号の情報も閉区間の長さも登場しない。 分母はずっと「100」のままだし、分子だって「 0 ≦ (支持している人数) ≦ 100 」を満たしている。 このように、常に「100」という固定された分母の中で計算される。スレ主が言うような 「閉区間[a,b]上の一様分布でb→∞とした場合の非正則分布」 なるシロモノは、(☆)の成否を確認する作業の中に全く登場しない。 よって、(☆)を導出するときに「非正則分布」なんぞ使われていない。 そして、いったん(☆)が導出されれば、無作為抽出の存在性は論じる意味がないのだった。 � 930 名前：ﾈ上の理由により、時枝記事では非正則分布なんぞ使われていない。スレ主だけがずっと間違え続けている。 [] [ここ壊れてます] 931 名前：１３２人目の素数さん [2022/10/19(水) 20:45:12.75 ID:xfu4AEGC.net] 必死だな 時枝記事不成立は、数学的事実なので （現代数学の確率論 可算無限個のiidの確率変数 Xi i∈Ｎ で扱えるから、時枝は詰んでいる） そんなことをしても、無駄だよ あとは、なぜ不成立なのに 成立しているように見えるか その数学的謎解きだけが、残っている いま、それをしているだけ 932 名前：１３２人目の素数さん mailto:sage [2022/10/19(水) 21:00:33.27 ID:BGJQFJat.net] >>847 ＞（現代数学の確率論 可算無限個のiidの確率変数 Xi i∈Ｎ で扱えるから、時枝は詰んでいる） 詰んでるのはスレ主。iid 確率変数 X_i を一般的に扱った設定は>>581-583にある。 その>581-583では、回答者の勝率は 99/100 以上であり、 なおかつ、スレ主は >581-583 を完全スルーして逃げ回っている。 詰んでいるとはこういうことを指す。スレ主が詰んでいるのだ。 933 名前：１３２人目の素数さん [2022/10/19(水) 21:03:49.58 ID:X+a0QiIr.net] >>847 >現代数学の確率論 可算無限個のiidの確率変数 Xi i∈Ｎ で扱えるから、時枝は詰んでいる 扱えても時枝戦略では扱っていない なぜならその戦略は勝てない戦略であり、時枝戦略は勝てる戦略だから バカ丸出し 934 名前：１３２人目の素数さん mailto:sage [2022/10/19(水) 21:07:35.55 ID:BGJQFJat.net] 時枝記事に反論するためのスレ主の「手駒」は非常に限られている。 ・ まず、世論調査によるスレ主の論法は>>791-796によって完全に論破されてしまった。 ・ 次に、スレ主お得意の「非正則分布」については、逆に世論調査の論法を用いて 　「非正則分布なんぞ使われてない」という反撃が>>839-846に書かれてしまった。 　 これにはスレ主も納得せざるを得ないので、スレ主にとっては手痛い。 ・ 残った手駒は「 iid 確率変数 X_i 」であるが、その設定は>>581-583で既に扱っていて、 　 回答者の勝率は 99/100 以上である。そして、スレ主は>581-583を完全スルーしている。 ・「非可測集合は時枝不成立とは関係がない」とスレ主は発言してしまったので、 　 非可測集合に文句をつけることもできない。 ・ この他にスレ主の手駒は残されていない。スレ主は詰んでいる。 935 名前：１３２人目の素数さん mailto:sage [2022/10/19(水) 21:08:43.65 ID:BGJQFJat.net] ちなみに、スレ主が iid 確率変数 X_i に拘る理由は 「出題がランダムなら、回答者には何のヒントもないのだから、回答者が当たるわけがない」 という直観に基づいている。では、出題を固定した場合には、回答者には どんなヒントが提供されるのか？ いや、何のヒントも提供されない。回答者から見れば、「どんな出題を固定したのか分からない。ヒントがない」 としか映らないからだ。よって、スレ主は 「出題を "固定" したって、回答者には何のヒントもないのだから、回答者が当たるわけがない」 という立場を取らなければダブルスタンダードである。 ところが、スレ主は「固定はインチキだ」と言っている。つまり、スレ主は暗黙のうちに 「出題を固定すること自体が、回答者にとっては大きなヒントになっている」 というパラドックスを前提にしていることになる。スレ主の立場はここで崩壊する。 936 名前：１３２人目の素数さん mailto:sage [2022/10/19(水) 21:27:14.44 ID:BGJQFJat.net] ＞現代数学の確率論 可算無限個のiidの確率変数 Xi i∈Ｎ で扱えるから、時枝は詰んでいる おバカのスレ主のために、ここも世論調査で説明してやろう。まず、時枝記事では (☆)「あらゆる全ての100人の日本国民の組み合わせについて、その100人の中での支持率は99%以上である」 という驚愕の事実が導出されている。正確に書けば、 (★) ∀ s∈[0,1]^N s.t. その出題 s に対する回答者の勝率は 99/100 以上 が導出されている。 いったん(☆)が導出されたならば、日本国民の無作為抽出に拘っても意味がないことに注意せよ。 日本国民を無作為に100人選んでも、結局、その100人の中での支持率は99％である。 なぜなら、あらゆる全ての100人の組み合わせについて、その100人の中での支持率は99%だからだ。 同じように、いったん(★)が導出されたならば、実数列 s の無作為抽出に拘っても意味がないことに注意せよ。 s∈[0,1]^N を一様分布(>>396)に従ってランダムに選んでも、結局、その出題 s に対する回答者の勝率は 99/100 以上である。 なぜなら、あらゆる出題 s∈[0,1]^N に対して、その出題 s に対する回答者の勝率は 99/100 以上だからだ。 このように、スレ主お得意の iid は、>>581-583でも論破されてしまうし、世論調査による論法でも論破されてしまう。 詰んでいるとはこういうことを指す。スレ主が詰んでいるのだ。

---

---

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

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