22/10/12 08:22:24.99 nK7Tso5i.net
>>741
>非正則分布は、確率計算に使えないのに、ごまかして使っているってこと
だーかーらー
早く記事本文からエビデンスを引用してね
数学板は妄想を語る所ではありません
815:１３２人目の素数さん
22/10/12 08:39:18.34 nK7Tso5i.net
>>740
>100個の代表を考えるなら、
∪K^n (n∈N)から100個の元を選べば済む
大間違い
100列の決定番号は列kを選択する前に決定していなければならない。
おまえが言ってるのは、くじを引いた後に当たり外れを決める様なもの。
816:１３２人目の素数さん
22/10/12 08:43:05.42 nK7Tso5i.net
>>739
>だから、そういう定義では、
コーシー列は収束しないだろ？
何の問題も無い
そもそも箱入り無数目ではコーシー列を考える必要がないから
817:１３２人目の素数さん
[ここ壊れてます] .net
>>741
>”時枝記事の「99/100以上」という勝率”が、根本から間違っているってこと
だーかーらー
早く記事のどこがどう間違ってるのか示してね
数学板は妄想を語る所ではありません
818:１３２人目の素数さん
22/10/12 11:38:08.07 TRiiI02m.net
>>741
＞つまり、100個の代表を考えるなら、
＞∪K^n (n∈N)から100個の元を選べば済む
＞だから、
＞選択公理を使わないで済ますことができる
まさしく選択公理を使わずに時枝記事と同等のゲームを記述したのが>>581-583。
しかもスレ主お得意の多項式環・ベキ級数環まで忠実に再現している。
その >581-583 をいつまでもスルーし続けているのがスレ主という構図。
819:１３２人目の素数さん
22/10/12 11:40:42.13 TRiiI02m.net
>>741
＞「発散する非正則分布で、有限のd1,d2,・・d100 を使うと、ランダム性（無作為性）が成り立たない。
＞ だから、確率計算になってない」
"無限小" が云々とかいうスレ主の詭弁は>>727-734で完全に論破したので、これでは困ったスレ主は、
再び「時枝記事は非正則分布を使っている」という詭弁に里帰りすることにしたようである。
だが、それも無駄である。時枝記事で使われている分布は
・ {1,2,…,100} 上の一様分布
なのであって、
・ {d1,d2,…,d100} 上の一様分布
ではないからだ。スレ主は後者だと勘違いしている。実際は前者である。
そして、前者は {1,2,…,100} という固定された有界集合である。
つまり、「発散する非正則分布」なんぞ時枝記事では使われてないのである。
そもそも、スレ主の屁理屈を使えば、>>581-583でも回答者の勝率はゼロになってしまう。
しかし、>581-583では回答者の勝率は 99/100 以上である。
820:１３２人目の素数さん
22/10/12 11:47:59.54 TRiiI02m.net
>>741
＞つまり、非正則分布の代表例として、自然数Ｎ＝{1,2,・・,n,・・}を考える
＞これは明らかに、中央値や平均値が無限大に発散しているし、分散も発散している
時枝記事では、そのような非正則分布は使ってない。
＞一方、有限のd1,d2,・・d100は
＞中央値や平均値も有限で、分散も有限だから
ほらね、ここがスレ主の勘違い。スレ主は {d1,d2,…,d100} 上の一様分布が使われていると勘違いしている。
そうじゃないだろ。時枝記事で使われている分布は {1,2,…,100} 上の一様分布だろ。日本語が読めないのか？
＞両者は、確率論の視点では全く別物
両者が別物なのはその通り。そして、時枝記事ではスレ主が提唱するところの前者(非正則分布)を使ってないし、
スレ主が提唱するところの後者({d1,d2,…,d100} 上の一様分布)も使ってない。
つまり、時枝記事では、スレ主が提唱する前者・後者のどちらも使ってない。
スレ主は前者と後者が別物だと指摘しているが、時枝記事では前者も後者も使ってないのだから、
両者が別物だからって時枝記事とは何の関係もない。
時枝記事で使われてるのは {1,2,…,100} 上の一様分布にすぎない。
821:１３２人目の素数さん
22/10/12 12:04:33.50 TRiiI02m.net
「100枚の封筒」の設定における確率計算(>>690-697)を例にとる。>690の設定のもとで、
この設定を記述する確率空間は>691のように定義できて、「回答者が勝利する」という事象は
A ＝ { (d_1,d_2,…,d_100, i)∈Ω｜d_i≦max{d_j｜j≠i, 1≦j≦100} } (>692)
で定義される。よって、回答者の勝率は P(A) と書ける。>693 で書いたように、
d＝(d_1,…,d_100)∈N_100 を固定するごとに、A の d切片 A_d は
A_d ＝ {i∈I｜(d,i)∈A} ＝ {i∈I｜d_i≦max{d_j｜j≠i, 1≦j≦100} }
と表現できて、i ∈ I＝{1,2,…,100} の中で d_i＞max{d_j｜j≠i, 1≦j≦100} を満たす i は高々1つ。
よって、確率空間(I, pow(I), η)において自明に η(A_d) ≧ 99/100 が成り立つ。
すると、フビニの定理により、P(A) ≧ 99/100 が直ちに従う(>>693)。
スレ主はまず、上記の確率計算(>>690-693)を完璧に理解す�
822:ﾗきである。
823:１３２人目の素数さん
22/10/12 12:13:20.46 TRiiI02m.net
>>690の設定では、封筒の中身(d1,d2,…,d100)に上限はない。そして、>>749の確率計算では、
出題する d＝(d_1,…,d_100) を固定した上で η(A_d) ≧ 99/100 を導出しており、
これを経由して P(A) ≧ 99/100 を導出している。従って、スレ主の屁理屈によれば、
「有限の (d_1,…,d_100) を固定した確率計算は、非正則分布とは確率論的に全くの別物なので、
>749の確率計算はインチキだ。回答者の実際の勝率はゼロだ」
ということになってしまう。しかし、>749の確率計算にインチキの要素はどこにもない。
なぜなら、そもそも非正則分布なんぞ使ってないからだ(使われる確率空間は>691で全て明記してある)。
また、「 d を固定した上で η(A_d) ≧ 99/100 を導出する」という、スレ主にとっては
「それはもう確率じゃないよねｗ」
としか映らないシロモノを用いて P(A) ≧ 99/100 が正しく導出されるメカニズムもはっきりしている。
そう、フビニの定理を使うだけである(>>693)。スレ主にとっては「それはもう確率じゃないよね」
としか思えないシロモノが、ちゃんと P(A) ≧ 99/100 の導出に使えるのである。
つまり、「それはもう確率ではない」というスレ主の直観は間違いだったということ。
言い換えれば、d を固定することにインチキの要素はどこにもないということ。
これは当たり前の話である。なぜなら、d を固定したところで、回答者から見れば
「封筒の中身をどんな金額に固定したのか分からない。ヒントが全くない」からだ。
結局、スレ主だけがずっと間違え続けている。
824:１３２人目の素数さん
22/10/12 19:55:03.55 d1b0AKbp.net
>>738
＞「非可測」という用語の使い方がへんｗ
＞おまえの論法ならば、無限集合は、ほとんど非可測じゃね？ｗ
おまえ、正真正銘の馬鹿だな
いかなる無限集合も非可測だ、とはいってない
ただ、例えば｛１，２，３，４，・・・｝という集合で
ｍ（｛１｝）＜ｍ（｛２｝）＜ｍ（｛３｝）＜ｍ（｛４｝）＜・・・
かつ、Ｍ（｛１，２，３，４，・・・｝）＜∞（つまり有限）
とすることはできない これ初歩な 分からん馬鹿は大学入れない
万が一入れても出れない ま、工学部とかいう「専門学校」は知らんけどな
専門学校は算数ができればサルでも入れて出られる
工学博士はサルでも取れるザル資格としてサルに大人気
825:１３２人目の素数さん
22/10/12 20:03:09.32 d1b0AKbp.net
>>739
＞コーシー列
大学でε-Ｎ論法が理解できない馬鹿に限って
コーシー列とわめきつづけるのが面白い
よっぽど理解できなかったことが屈辱なんだろう（嘲）
尻尾の同値類は∪K^n (n∈N)だが、これは>>713の距離付けで完備ではない
なぜなら、どんどん次数があがる多項式の列は
∪K^n (n∈N)の中で極限を持たないから
それどころか、いかなる他の同値類の点についても、
それを極限とするような多項式の点列を構成し得る
つまりコーシー列を考えた瞬間、貴様は馬鹿として奈落に落ちたわけだ
馬鹿はわけもわからず考えて間違う 下手な考え休むに似たり
826:１３２人目の素数さん
22/10/12 20:05:54.34 d1b0AKbp.net
>>740
＞＞尻尾の同値類の代表元全体の空間はK^N/∪K^n (n∈N)であることもわかる。
＞ それ良いと思う
＞ だから、選択公理を使わないで済ますことができる
ダラズが
K^N/∪K^n (n∈N)を構成するのに選択公理が必要
おまえ脳ミソサナダムシに食われまくってスッカスカなのか？
827:１３２人目の素数さん
22/10/12 20:12:40.28 d1b0AKbp.net
任意の無限列a1,a2,a3,･･･について、この無限列に収束する
0,0,0,･･･
a1,0,0,･･･
a1,a2,0,･･･
という無限列の無限列が構成できる
そして、上記の無限列の中のいかなる無限列も
0,0,0,･･･ と同値である
しかし！
その「極限」である
a1,a2,a3,･･･ は
0,0,0,･･･ と同値ではない！
中卒馬鹿>>1は、
列のどの項も初項と同値なら、極限もまた初項と同値
という「独善的な馬鹿理屈」（もちろん誤り！）を
延々と唱え続けてその誤りに死ぬまで気づけない
828:１３２人目の素数さん
22/10/13 08:03:03.01 MxOOS5Ta.net
>>753
> K^N/∪K^n (n∈N)を構成するのに選択公理が必要
？？
商集合の構成には、選択公理は不必要では？
商集合に分けたものが、有限なら有限に対する選択公理
商集合に分けたものが、可算なら可算に対する選択公理
商集合に分けたものが、非可算なら非可算に対する選択公理
が、代表系を構成するのに、それぞれ必要ってことでしょ？
そして、非可算に対するフルパワー選択公理を使うと
非可測集合たるヴィタリ集合（R/Q の代表系よりなる）
が構成できるということでしょ
829:１３２人目の素数さん
[ここ壊れてます] .net
>>741 補足
ともかく
１）時枝記事は、数学的には終わっている
つまり、IID(独立同分布)を考えれば、確率変数Ｘｉ i∈Ｎで、
時枝は終わっている
つまり、確率99/100は否定される
２）残る問題は
・時枝トリックの謎解き
・もっと言えば、なぜ当たらないのに当たるように見えるか？
ってことだけ
３）思うに
”d1,d2,・・,d100 固定”が
代数学としては許されるが
確率計算としては、確率的には根拠レスで使えないってことじゃね？ｗ
830:１３２人目の素数さん
22/10/13 12:52:16.65 ve7b2LlS.net
>>756
＞ つまり、IID(独立同分布)を考えれば、確率変数Ｘｉ i∈Ｎで、
＞ 時枝は終わっている
＞ つまり、確率99/100は否定される
その手口は通用しない。時枝記事では出題は固定だからだ。しかも、スレ主が大好きな
「IID確率変数 X_i (i∈N)」
を一般的に論じているのが >>581-583 なのであって、スレ主はこの >581-583 を完全スルーしている。
そして、>581-583 では回答者の勝率は 99/100 以上である。
つまり、「IID確率変数 X_i (i∈N)」を考えれば時枝記事に
反論できると目論んでいたスレ主の計画は既に崩壊しているのである。
これが現実。
831:１３２人目の素数さん
22/10/13 12:54:42.93 ve7b2LlS.net
出題を固定した場合の確率が一体何を意味しているのかを、以下で詳細に述べる。
100枚の封筒(>>690-693)の例において、出題者が100枚の中身 d＝(d1,d2,…,d100) を固定すると、
回答者の勝率は 99/100 以上になるのだった。これはどういうことかというと、
「 "回答者が勝利する" という事象の、d における断面として出現する事象は 99/100 以上の確率を有している」
ということ。簡潔に書けば、>>692 の事象 A に対して、
「 A の d における切片 A_d は、確率空間(I, pow(I), η)において η(A_d) ≧ 99/100 を満たす」
ということ。一行で書けば、
∀d∈N_100 s.t η(A_d) ≧ 99/100
ということ。スレ主は「固定はインチキだ」と主張しているが、インチキでもなんでもなく、正しい計算である。
d を固定するごとに、A の d における切片 A_d が定義できて、この A_d は確率空間(I, pow(I), η)において
可測であり、よってη(A_d)が定義できて、しかも自明に η(A_d) ≧ 99/100 であるという、
そういう簡単な事実を述べているだけである。どこにもインチキの要素はない。
832:１３２人目の素数さん
22/10/13 12:58:36.07 ve7b2LlS.net
より一般的に、>>691 の確率空間(Ω,F,P)において、事象 B∈F を任意に取る。
(i) P(B)≧ 99/100
(ii) ∀d∈N_100 s.t η(B_d) ≧ 99/100
という2つの条件について考察する。まず、(ii)が成り立つ場合、フビニの定理から直ちに(i)が従う。
その計算方法は>>693と全く同じだが、一応書いておくと、
P(B) ＝ ∫_Ω 1_B(ω) dP ＝ ∫_{N_100}∫_I 1_B(d,i) dη dν_100
＝∫_{N_100}∫_I 1_{B_d}(i) dη dν_100 ＝ ∫_{N_100} η(B_d) dν_100
≧ ∫_{N_100} (99/100) dν_100 ＝ 99/100
ということ。よって、(ii)が成り立つなら(i)が成り立つ。逆に、(i)が成り立つとしても、必ずしも(ii)は成り立たない。
これはどういうことかというと、事象 B に関する構造について、
(ii)の方が(i)よりも詳細な構造を述べているということ。
同じことだが、(i)は荒い構造しか述べてないということ。要するに、
「(ii)が示せるなら、その方が価値が高い」
「(ii)が示せるなら、それに越したことはない」
ということ。
833:１３２人目の素数さん
22/10/13 13:01:56.04 ve7b2LlS.net
さて、>>692 の事象 A に対して、B＝A を適用すると、
(i) ⇔ 回答者の勝率は 99/100 以上
(ii) ⇔ 出題者が d を固定するごとに、回答者の勝率は 99/100 以上
という言い換えが成り立つ。そして、「(ii)が示せるなら、その方が価値が高い」のだったから、結局、
「出題を固定するごとに回答者の勝率が 99/100 以上であることが示せるなら、その方が価値が高い」
ということになる。
・ スレ主は「固定はインチキだ」とほざいていたが、現実は逆であり、むしろ固定した状況で
回答者の勝率が 99/100 以上であることが示せるなら、それに越したことはないのである。
・ スレ主は「IID確率変数 X_i (i∈N)」にこだわっていたが、現実は逆であり、むしろ固定した状況で
回答者の勝率が 99/100 以上であることが示せるなら、それに越したことはないのである。
834:１３２人目の素数さん
22/10/13 13:09:27.28 ve7b2LlS.net
時枝記事も同じ立場を採用しており、出題を固定した状況で回答者の勝率が 99/100 以上であることを示している。
それが示せるなら、それに越したことはないのだから、結局、時枝記事は正しい。
あるいは、次のようにも言える。スレ主は「IID確率変数 X_i (i∈N)」にこだわっているが、それは
「出題がランダムなら、回答者には何のヒントもないのだから、回答者が当たるわけがない」
という直観に基づいている。では、出題を固定した場合には、回答者には どんなヒントが提供されるのか？
いや、何のヒントも提供されない。回答者から見れば、「どんな出題を固定したのか分からない。ヒントがない」
としか映らないからだ。よって、スレ主は
「出題を "固定" したって、回答者には何のヒントもないのだから、回答者が当たるわけがない」
という立場を取らなければダブルスタンダードである。ところが、スレ主は「固定はインチキだ」と言っている。
つまり、スレ主は暗黙のうちに
「出題を固定すること自体が、回答者にとっては大きなヒントになっている」
というパラドックスを前提にしていることになる。スレ主の立場はここで崩壊する。
結局、スレ主だけがずっと間違い続けている。
835:１３２人目の素数さん
22/10/13 13:33:17.26 ve7b2LlS.net
というわけで、
＞３）思うに
＞ ”d1,d2,・・,d100 固定”が
＞ 代数学としては許されるが
＞ 確率計算としては、確率的には根拠レスで使えないってことじゃね？ｗ
これに対する反論は>>758-761で完結した。スレ主は
「 d を固定するのは代数学としては許されるが、確率論的には根拠がないのでナンセンスである」
と主張しているわけだが、ちゃんと確率論的な根拠と意味付けがあったわけだ(>>758-761)。
ただ単に、スレ主が確率論の基礎を理解してなかっただけの話。具体的に言えば、
「確率空間の積空間において、片方の空間の元を固定したときの切片として出現する事象の確率を計算する」
という行為を、スレ主は1ミリも理解してなかったということ。
おバカのスレ主のために、もっと簡単に説明してやると、出題を固定したって、回答者から見れば
「どんな出題を固定したのか分からない。ヒントがない」としか映らないのだから、
出題を固定すること自体が「確率論的な文脈を破壊する」なんて状況にはならない、ということｗ
スレ主は「固定した時点で確率論的な文脈が破壊される」と思っているようだが、
それはスレ主の勘違いだということ。
836:１３２人目の素数さん
22/10/13 14:01:01.40 NWPTDBix.net
>>756
>つまり、IID(独立同分布)を考えれば、確率変数Ｘｉ i∈Ｎで、
それは時枝戦略の確率変数ではない。
記事のどこを読んでるの？日本語読めない？なら小学校の国語が先だね
> 時枝は終わっている
> つまり、確率99/100は否定される
時枝戦略を否定したいなら時枝戦略を語って下さい。
違う話を語ってもただただナンセンスなだけ。
837:１３２人目の素数さん
22/10/13 14:23:32.87 NWPTDBix.net
>>755
>商集合の構成には、選択公理は不必要では？
構成自体が要らない。
集合XとX上の同値関係～を定めれば商集合X/～も定まる。
>商集合に分けたものが、有限なら有限に対する選択公理
任意の有限族の選択関数の存在は自明だから余計な公理は不要。
838:１３２人目の素数さん
22/10/13 14:30:32.40 NWPTDBix.net
>>762
>スレ主は「固定した時点で確率論的な文脈が破壊される」と思っているようだが、
>それはスレ主の勘違いだということ。
その通り
中卒くんは何が定数で何が確率変数かの設定をまったく読み解けていない
数学の前に国語を勉強すべき
839:１３２人目の素数さん
22/10/13 19:12:00.05 AMr2WmgW.net
>>755
>商集合の構成には、選択公理は不必要では？
商集合の元が同値類そのものなら不必要だが
>>740では「同値類の代表元全体の空間」
といってるから、選択公理は必要
無駄なツッコミ５９６３
>商集合に分けたものが、有限なら有限に対する選択公理
>が、代表系を構成するのに、…必要ってことでしょ？
1行目「、」の位置が不適切
正しい文章は「商集合に分けたものが有限なら、」な
その上で、内容が誤り
商集合が有限なら、選択公理は必要ない。
で、>>754には反論できず悶死か 御愁傷様
840:１３２人目の素数さん
22/10/13 19:12:32.37 AMr2WmgW.net
>>756
ともかく、
１）望月論文は、数学的には終わっている
つまり、平均化すれば j^2キャンセルで、
望月は終わっている
つまり、Corollary3.12の証明は否定される
２）残る問題は
・望月の宇宙際トリックの謎解き
・もっといえば、なぜ証明できたように見えるか？
ってことだけ
３）思うに
”入れ子の宇宙”が思考としては許されるが
数学理論としては、何でも証明可（つまり矛盾）だから
却下！ってオチじゃね？
え、ここ箱入り無数目スレ？・・・誤爆かｗ
841:１３２人目の素数さん
22/10/13 23:33:07.75 MxOOS5Ta.net
>>766
>商集合の元が同値類そのものなら不必要だが
>>>740では「同値類の代表元全体の空間」
>といってるから、選択公理は必要
誤魔化しだな。>>740なんてかんけーねｗ
正確に引用するよ
>>755より
(引用開始)
>>753
> K^N/∪K^n (n∈N)を構成するのに選択公理が必要
？？
商集合の構成には、選択公理は不必要では？
商集合に分けたものが、有限なら有限に対する選択公理
商集合に分けたものが、可算なら可算に対する選択公理
商集合に分けたものが、非可算なら非可算に対する選択公理
が、代表系を構成するのに、それぞれ必要ってことでしょ？
そして、非可算に対するフルパワー選択公理を使うと
非可測集合たるヴィタリ集合（R/Q の代表系よりなる）
が構成できるということでしょ
(引用終り)
842:１３２人目の素数さん
22/10/13 23:36:21.48 MxOOS5Ta.net
>>767
それ面白いな
１）望月論文は、数学的には、論文は受理され、査読され、出版された
２）シンポジウムも、多数ある
３）問題は、
・望月の宇宙際トリックの謎解き
・もっと分かり易い説明が必要だ
４）それは、これからの仕事で�
843:ｵょ
844:１３２人目の素数さん
22/10/13 23:40:26.79 MxOOS5Ta.net
>>756 補足
１）ともかく、大学教程の確率論、確率過程論を勉強して、ちゃんと単位を取った人は
時枝記事などに惑わされることはない
２）可算無限数列のしっぽを使った決定番号
そこから、d1,d2,・・・d100を使うトリック
３）結局ここで、確率論を踏み外しているんだｗ
845:１３２人目の素数さん
22/10/14 00:42:25.36 EE9vbJZt.net
>>770
具体的にお願いしますね
記事のどの部分がどう間違ってると？
846:１３２人目の素数さん
22/10/14 05:32:01.93 jvsyohQG.net
>>771
中卒には無理だろ
大学教程の確率論、確率過程論を勉強したことなんて一度もない筈
だって大学に入れなかったんだから
ああ、工学部は別な あれ、ただの「専門学校」だから
奴等は算数はできるが、論理による思考はできない
だから数学理論は全く理解できないし 証明も全く読めない
実数の公理を何の前提もなく証明しようとしてできず悶絶する馬鹿
それが中卒
847:１３２人目の素数さん
22/10/14 05:35:27.56 jvsyohQG.net
>>768
＞誤魔化しだな。>>740なんてかんけーねｗ
誤魔化してるのは中卒、
論理が解らん馬鹿には
「同値類の空間」と「同値類の代表元全体の空間」
の違いが理解できんｗ
それから、有限の選択公理は必要ない
有限なら力ずくで選択できるからｗｗｗ
848:１３２人目の素数さん
22/10/14 06:01:48.55 jvsyohQG.net
>>769
それつまらんわ
＞望月論文は、数学的には、論文は受理され、査読され、出版された
重要な問題の証明なのに査読者は非公開
SSの指摘に何の意味ある反論もなく受理、出版
日本数学界の後進性を露骨に示す事例だな
日本の知的レベルはアフガニスタンとかイエメン並み
＞シンポジウムも、多数ある
でも肝心のCorollary 3.12の説明はなし
そもそもそれ自体誤りの可能性大
DupuyとHiladoは、まず、Corollary 3.12が
「いかなる命題も導ける最強の前提」
だと示すべきだったな
849:１３２人目の素数さん
22/10/14 06:09:41.00 jvsyohQG.net
>>769
＞問題は、
＞・望月の宇宙際トリックの謎解き
＞・もっと分かり易い説明が必要だ
＞それは、これからの仕事でしょ
「なぜ証明できたように見えるか？」分かりやすい説明が必要だ。
望月新一には無理だろう
説明するのはScholzeか？Dupuyか？それとも第三の男か？
望月新一のIUTTが、ヒルベルト・プログラムだとしたら
ヒルベルト・プログラムの破綻を示した不完全性定理にあたるのは何か
そして、その何かを示すのは誰か？
850:１３２人目の素数さん
22/10/14 06:15:28.09 jvsyohQG.net
では予言しておこう
851:１３２人目の素数さん
22/10/14 06:16:33.61 jvsyohQG.net
>>770
【予言】
自己言及、自己相似とパラドックスの関係を理解したならば
IUTTなどに惑わされることはなくなるだろう
入れ子の宇宙、そして、宇宙のｎ倍を無理矢理元の宇宙につなげる
エッシャ―の「プリント・ギャラリー」のようなトリック
結局、それが、理論全体の整合性を打ち壊している、と示される筈
852:１３２人目の素数さん
22/10/14 06:27:50.53 qAcMEQxL.net
100枚の封筒(>>690-693)を例にとる。
スレ主は「出題を固定した時点で確率論的な文脈が破壊される」と勘違いしているが、
実際にはそうではない。出題 d を固定した時点で、
「もともとの事象の、d における断面」
が新たな事象として登場するだけであり、確率論的な文脈は この事象に引き継がれるだけである。
厳密に書けば、もともとの事象を B として、出題 d を固定したなら、B の d における切片 B_d が定義できて、
「確率論的な文脈は、この新たな事象 B_d に引き継がれるだけ」
である。つまり、出題 d を固定しても、確率論的な文脈は全く破壊されない。
853:１３２人目の素数さん
22/10/14 06:28:24.60 qAcMEQxL.net
要するに、スレ主が「確率空間の積空間」の概念を全く理解してないというだけの話である。
・ 積空間においては、片方の空間の元を固定すると、その元
854:における断面として 新たな事象が出現し、確率論的な文脈はその事象に引き継がれる。 ・ ところが、「断面」という視点が抜け落ちたスレ主にとっては、 「確率論的な文脈を引き継ぐ対象が存在しない」ように見えてしまう。 ・ だからこそ、スレ主は「固定した時点で確率論的な文脈が破壊される」と勘違いしているのだ。 ・ 実際には、確率論的な文脈は「断面」に引き継がれる。スレ主が「断面」という概念を理解してないだけ。
855:１３２人目の素数さん
22/10/14 06:38:20.27 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:１３２人目の素数さん
22/10/14 13:12:44.70 EE9vbJZt.net
>>770
①任意の実数列の決定番号は自然数である
②100列の決定番号はどれも自然数だから最大値がある
③最大決定番号の列は1列または複数列である。
③-1 複数列なら100列のどの列を選んでも勝てる。
③-2 1列ならその列以外を選べば勝てる。
④列選択はランダムだから勝率は99/100以上である。
①～④のどれが間違ってると？
857:１３２人目の素数さん
22/10/14 20:43:58.48 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:１３２人目の素数さん
22/10/14 21:01:34.28 jvsyohQG.net
>>782
中卒は平均がない分布で平均を考える、最低最悪の馬鹿ｗ
859:１３２人目の素数さん
22/10/14 21:22:52.81 EE9vbJZt.net
>>782
>１）全国区世論調査に例えれば
例えなくていいよ
記事原文のどこに間違いがあるかだけずばり答えて
860:１３２人目の素数さん
22/10/14 21:33:53.82 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:１３２人目の素数さん
22/10/14 21:41:18.53 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:１３２人目の素数さん
22/10/14 21:41:26.96 EE9vbJZt.net
>>770
もしかして
>①任意の実数列の決定番号は自然数である
が間違いだと思ってる？
なら反例を挙
863:げてみて
864:１３２人目の素数さん
22/10/14 21:51:00.93 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:１３２人目の素数さん
22/10/14 22:06:56.24 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:１３２人目の素数さん
22/10/14 22:54:51.06 vJZfsUiI.net
>>789
>スレ主が言うところの「偏り」(一部の島でしか世論調査してないという偏り)なんぞ全く生じていない。
発生している
正則分布なら、無作為抽出は可能でも
非正則分布では、無作為抽出（ランダム抽出）は、原理的に無理でしょ
だって、コルモゴロフの確率公理を満たさないんだからｗ
867:１３２人目の素数さん
22/10/14 23:30:12.80 qAcMEQxL.net
>>790
[世論調査の場合]
スレ主は世論調査をする。「日本全体から100人をピックアップして、その100人の中で支持率を算出する」
という方法を取る。スレ主としては、支持率がなるべく「低い」ような調査結果であってほしい。
そのためには、スレ主にとって「有利な100人」がピックアップされればよい。極端なことを言えば、
ある100人の中での支持率がゼロなら、スレ主は毎回その固定された100人にアンケートを取ればよい。
そうすれば、毎回必ず「支持率ゼロ」が実現できる。
では、どうやってそのような100人を見つけるのか？簡単である。日本全体から、
あらゆる全ての100人の組み合わせをピックアップして、それぞれの100人に対して支持率を調べればよい。
「支持率ゼロ」であるような100人が見つかれば成功である。ここでは、その結果が次のようになったとしよう。
∀d ∈ {あらゆる100人の集合} s.t この d の中での支持率は99％以上.
つまり、あらゆる100人の組み合わせについて、その100人の中での支持率は99%以上という結果になったとしよう。
この場合、スレ主にとって「有利な100人」は存在しないことになる。
868:１３２人目の素数さん
22/10/14 23:35:55.45 qAcMEQxL.net
注意点：上記のように、
∀d ∈ {あらゆる100人の集合} s.t この d の中での支持率は99％以上
が成り立っている場合(あくまでもそういう場合)、もはや「日本国民の無作為抽出」に拘っても
意 味 が な い
ことに注意せよ。�
869:ﾈぜなら、たとえ無作為に100人を抽出しても、結局、 「その100人の中での支持率は99％以上」 になってしまうからだ。なぜそうなってしまうのかと言えば、 「あらゆる100人の組み合わせで支持率が99％」 だからだ。
870:１３２人目の素数さん
22/10/14 23:37:53.77 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:１３２人目の素数さん
22/10/14 23:38:50.95 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:１３２人目の素数さん
22/10/14 23:44:39.36 qAcMEQxL.net
注意点：
∀s ∈ [0,1]^N s.t 出題者がこの s を出題すると、回答者の勝率は 99/100 以上になる
が成り立つことから、もはや実数列 s∈[0,1]^N を一様分布に従ってランダムに出題することに拘っても
意味がないことに注意せよ。なぜなら、たとえランダムに s を出題しても、結局、
「その s では回答者が99/100 以上の勝率を誇る」からだ。
873:１３２人目の素数さん
22/10/14 23:50:47.38 qAcMEQxL.net
ご覧のとおり、世論調査と時枝記事で、論理的な構図が全く同じである。
ところで、スレ主は時枝記事に対して次のように主張していた。
・ 時枝記事は、世論調査で言えば、ある島の100人のみを対象とした支持率を調査しているようなものであり、
日本国全体を考慮に入れているとは言えない。ここが時枝記事のタネだ！
しかし、これはスレ主の勘違いである。時枝記事では、「ある島の100人のみを対象としている」のではなくて、
「あらゆる全ての可能な100人の組み合わせ」をちゃんと調べているのである。すなわち、日本国全体を考慮に入れている。
そして、その結果、
「あらゆる全ての可能な100個の決定番号の組み合わせについて、その100個のもとでの回答者の勝率は99％以上である」
ということが時枝記事の中で導出されている。世論調査で言えば、
「あらゆる全ての100人の組み合わせについて、その100人の中での支持率は99%以上である」
という驚愕の事実が 実 際 に 言 え て い る のが時枝記事なのである。
そして、この驚愕の事実が実際に言えてしまった以上、もはや「日本国民の無作為抽出」に拘っても意味がない(>>792)。
以上により、世論調査を用いたスレ主の論法は崩壊した。
874:１３２人目の素数さん
22/10/15 00:22:42.74 CSS+wolk.net
>>790
>発生している
>正則分布なら、無作為抽出は可能でも
>非正則分布では、無作為抽出（ランダム抽出）は、原理的に無理でしょ
非正規分布を使っているエビデンスを記事原文から引用せよ
引用できなければチンピラの言いがかりと解釈させて頂きますね
875:１３２人目の素数さん
22/10/15 02:01:29.77 CSS+wolk.net
×非正規分布 〇非正則分布
876:１３２人目の素数さん
22/10/15 06:31:26.28 fmV1e3Cz.net
>>773
>「同値類の空間」と「同値類の代表元全体の空間」
> の違いが理解できんｗ
誤魔化しだな。>>768
理解できていないのは、あなた。それを指摘したのは私ですｗ>>755ｗｗｗ
877:１３２人目の素数さん
22/10/15 09:03:56.29 9USD/krw.net
>>799
なにいってんだこの中卒白痴ｗ
K^N を、ファイバー∪K^n (n∈N)のファイバー空間と考えるなら
底空間としてのK^N/∪K^n (n∈N)は、当然
「同値類の代表元全体の空間」でなければならない
こんな初歩も分からん馬鹿は金輪際数学板に書くな（嘲）
ウィキペディアの「ABC予想」でもっちー礼賛の💩文でも書いてろ
878:１３２人目の素数さん
22/10/16 22:47:04.82 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:１３２人目の素数さん
22/10/17 04:16:28.45 Re5LW4T3.net
>>801
＞１）K^N/∪K^n (n∈N)は、当然同値類のことでしょ？ｗ
誤りｗ
１同値類は∪K^nと同型
同値類の１つ１つを要素とする集合がK^N/∪K^n (n∈N)
例えば２で割った余りが同じ数を同値とする場合
同値類は｛０，２，４，・・・｝と｛１，３，５，・・・｝の２つ
それらを要素とする集合は
｛｛０，２，４，・・・｝、｛１，３，５，・・・｝｝
で、代表元をとれば
｛０．１｝
両者は全単射が存在するから集合として等しくはないが同型
881:１３２人目の素数さん
22/10/17 06:49:29.06 qQwmejim.net
>>801 補足
同値類は、置換の公理で済む。選択公理はいらないみたい
つまり、下記
置換の公理→関係→同値関係→「したがって同値類や商集合が定義できます」
で、選択公理により、下記”単射 Y → X が存在する”の部分、つまり「各同値類から、完全代表系を作ることができる」が示せるってこと
(参考)
URLﾘﾝｸ(math-fun.net)
趣味の大学数学
公理的集合論をわかりやすく解説：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）が定義できます。
公理から導かれる結果
関係からは同値関係が定義でき、したがって同値類や商集合が定義できます。
URLﾘﾝｸ(www.math.nagoya-u.ac.jp)
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).
URLﾘﾝｸ(ja.wikipedia.org)
同値関係
商集合
S の相異なるすべての同値類から代表元を1つずつ集めて作った S の部分集合のことを、集合 S における同値関係 ～ の（あるいは商集合 S/～ の）完全代表系 (complete system of representatives) と呼ぶ。
882:１３２人目の素数さん
22/10/17 07:15:48.43 qQwmejim.net
>>801 追加
alg-d 壱大整域 さんか、
下記なども面白いね
URLﾘﾝｸ(alg-d.com)
alg-d
トップ > 数学 > 選択公理 TOP: 壱大整域
URLﾘﾝｸ(alg-d.com)
第四回 関西すうがく徒のつどい「代数学における選択公理」 PDF版
2013 年 9 月 21 日
(抜粋)
1 Six Impossible Rings
ZFC では存在できないとよく知られている環を 6 つ《構成》したという論文である．
(正確に言えば，そのような環が存在する ZF のモデルを構成したということ．)
以下，環とは単位元を持つ可換環を指す．
定理. ZF では以下のような環が存在しうる．
(1) 極大イデアルを持たない整域で，任意のイデアルが有限生成となるもの．
(引用終り)
”(1) 極大イデアルを持たない整域で，任意のイデアルが有限生成となるもの．”
か
有限小数環とか
多項式環も
似た感じかもね
”★お知らせ★ このページの内容が紙の本になりました。
Amazonのこちらのページで購入することができます”
とかあるね
そうそう
時枝記事では、完全代表系は、必ずしも必要ない
例えば、100個の代表が必要なら、最小限100個の代表ですむ
当然ですが、有限の代表で済ますなら、有限選択公理で済む
可算の代表で済ますならば、可算選択公理で済む
そして、この場合 可算選択公理で済むならば、ヴィタリ集合的な非可算は出ない>>725
ただし、全事象が発散するという非正則分布>>51には、なる
883:１３２人目の素数さん
22/10/17 07:28:46.65 qQwmejim.net
まず
>>804 訂正
そして、この場合 可算選択公理で済むならば、ヴィタリ集合的な非可算は出ない>>725
↓
そして、この場合 可算選択公理で済むならば、ヴィタリ集合的な非可測は出ない>>725
さて
>>804 補足
>時枝記事では、完全代表系は、必ずしも必要ない
>例えば、100個の代表が必要なら、最小限100個の代表ですむ
>当然ですが、有限の代表で済ますなら、有限選択公理で済む
>可算の代表で済ますならば、可算選択公理で済む
>そして、この場合 可算選択公理で済むならば、ヴィタリ集合的な非可測は出ない>>725
>ただし、全事象が発散するという非正則分布>>51には、なる
だから、時枝氏の記事>>1の
「選択公理→非可測集合」という論が可笑しいよね
”ZFCでは、実数Ｒ中に、ヴィタリ集合的な非可測が出るから
ZFC中の測度論は、非可測を使っている”みたいな時枝氏の論は
ちょっとね。
非可測集合の存在と
ZFC中での 非可測集合を排除した測度論の存在とは
両立するよね
時枝も同じ>>1
最小限100個の代表ですむんだったら
「ヴィタリ集合的な非可測は、関係ない」よね
（実数Ｒ+ZFCだから、即ヴィタリ集合で、”お手つき”みたいな意味不明な議論はやめてほしいよ）
884:１３２人目の素数さん
[ここ壊れてます] .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:１３２人目の素数さん
[ここ壊れてます] .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:１３２人目の素数さん
22/10/17 11:22:06.26 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:１３２人目の素数さん
22/10/17 11:27:51.89 RYhCayMB.net
では、出題者が回答者に100個の決定番号を渡すのをやめて、
回答者が自力で100個の決定番号を出力する設定に再び戻ってみよう。
この場合、あらゆる出題に対応した100個の決定番号を、回答者は予め全て所持している必要がある。つまり、
「あらゆる出題に対する "大きなヒント(＝100個の決定番号)" を、回答者は予め全て所持している必要がある」
ということ。もしそんな芸当が可能なら、出題者が何を出題したって、回答者が高確率で勝利するのは当たり前である。
なんたって、どんな出題が来ても、その出題に対応した "大きなヒント" を回答者は予め所持しているからだ。
問題となるのは、一体どうやってそんな芸当を可能にするのかということ。
…それこそが完全代表系である。完全代表系こそが、「あらゆる出題に対する大きなヒント」として機能するのである。
このように考えると、時枝記事が正しいのは自明である。
そして、完全代表系を得るには選択公理が必要で、ゆえに時枝記事では選択公理の文言が登場している。
たったそれだけの話にすぎない。
889:１３２人目の素数さん
22/10/17 14:16:27.04 a0k9no7O.net
>>805
>最小限100個の代表ですむんだったら
済まない
未だ分からんの？馬鹿なの？
890:１３２人目の素数さん
22/10/17 14:43:21.16 a0k9no7O.net
>>805
kをランダム選択する前はどの箱も開けていないのだから、100列だけの代表列でよい
といってもその100列が何か知り様が無い。
一方でkをランダム選択する前に100列それぞれの決定番号は定まっている必要がある。
そうでないとハズレ列を引く確率=1/100とは言えない。
白紙のくじを引いて、引いた後に当たりはずれを決めるようなもの。
なんでこんな簡単なことがいつまで経っても理解できないの？白痴だから？
891:１３２人目の素数さん
22/10/17 14:48:44.37 a0k9no7O.net
>>805
というか、そもそもバカが示さなければいけないのは
「選択公理を仮定しても時枝戦略は不成立」
自分が何をしなければいけないかすら分かってない白痴。
892:１３２人目の素数さん
22/10/17 17:05:08.18 K1TMZqwC.net
【火葬場】 ブースター接種でフル稼働 【葬儀株】
://rio2016.2ch.sc/test/read.cgi/sousai/1651730253/l50
URLﾘﾝｸ(o.5ch.net)
893:１３２人目の素数さん
22/10/17 22:49:10.63 qQwmejim.net
>>805 補足
なんか、発狂している人いるねｗ
>>725 再録
URLﾘﾝｸ(ja.wikipedia.org)
ヴィタリ集合
ルベーグ非可測な実数集合の基本的な例である[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:１３２人目の素数さん
22/10/17 23:19:55.55 RYhCayMB.net
>>814
・ 時枝記事そのものについては、選択公理は必要(>>806-807)。
・ ただし、時枝記事と同等の戦術を、選択公理を使わない形で実行できるようにすることは可能(>>581-583)。
・ いずれの設定でも、回答者の勝率は 99/100 以上。
896:１３２人目の素数さん
22/10/18 12:59:33.93 21DTagbB.net
同値類、選択公理が分からん馬鹿に箱入り無数目は無理
897:１３２人目の素数さん
22/10/18 13:06:24.07 YgIxu5rz.net
>>815
うん、だから、選択公理は本質ではない
選択公理＋同値類＋代表で、即非可測になるみたいに
時枝さんは、言っているけど間違い
使う代表が、有限個だったり、高々可算だったりすれば、
その場合は、非可測にならないよね
>>816
分かってないのは、
おまえｗｗｗｗｗ
898:１３２人目の素数さん
22/10/18 13:47:31.87 V5yrTzmD.net
>>817
認識がズレている。
回答者が高確率で勝利できる仕組みの部分に関しては、選択公理は本質ではない(>>581-583で十分だから)。
しかし、その話にパラドックスとしての価値を持たせるためには、選択公理が必須。
同じことだが、選択公理を使わない>>581-583にはパラドックスとしての価値がなく、
時枝記事にはパラドックスとしての価値がある。
もちろん、どちらの設定でも回答者の勝率は 99/100 以上。
しかし、>581-583の設定だと、回答者が勝てるのは当たり前なので、パラドックスとしての不思議さはない。
一方で、時枝記事だと、回答者が勝てるのは不思議なので、パラドックスとしての価値がある。
このように、両者の違いは、パラドックスとしての不思議さが宿っているかどうか。
899:１３２人目の素数さん
22/10/18 13:51:41.93 V5yrTzmD.net
具体的に言うと、まず>>581-583は「出題者が回答者に100個の決定番号を手渡す」という設定であり、
そして100個の決定番号こそが回答者にとって「大きなヒント」として機能するので、
それを出題者が回答者に手渡すのなら、回答者が高確率で勝てても不思議はない。
つまり、>581-583の設定だと、回答者が勝てるのは当たり前であり、パラドックスではない。
一方で、時枝記事の場合は、出題者が回答者に100個の決定番号を渡してくれるわけではないので、
回答者が自前で100個の決定番号を所持していなければならない。
それも、100個の決定番号を「1組」所持しているだけでは意味がない。
あらゆる出題に対応できるように、必要な100個の決定番号の組は全て所持していなければならない。
そんな芸当を可能にするのが完全代表系であり、そして完全代表系を得るには選択公理が必要。
ゆえに、時枝記事の設定では選択公理が必要となる。
900:１３２人目の素数さん
22/10/18 14:00:45.16 V5yrTzmD.net
そして、完全代表系を手にした回答者は、晴れて
(☆)「どんな出題が来ても、その出題に対する大きなヒント(＝100個の決定番号)を既に所持している」
という "無敵の状態" になったので、回答者の勝率は 99/100 以上になる。
……このように考えると、別に時枝記事でも回答者が高確率で勝てるのは当たり前である。
では、時枝記事は一体どこが不思議だったのか？それは、
・ (☆)のような無敵の状態が実現できることそのものが不思議だ
ということ。これこそが、時枝記事の不思議さの根源である。
では、一体どうやって(☆)のような無敵の状態を作り出したのか？
それこそが完全代表系である。完全代表系がありさえすれば、回答者は無敵になれる。
しかし、肝心の完全代表系は選択公理がなければ作れない。だからこそ、時枝記事では選択公理が必須になっている。
901:１３２人目の素数さん
22/10/18 14:17:11.18 V5yrTzmD.net
まとめると、次のようになる。
・ 回答者が勝てる仕組みについては、選択公理は本質ではない(>>581-583で十分)。
・ しかし、>581-583にはパラドックスとしての価値がない(回答者が勝てるのは当たり前)。
一方で、時枝記事にはパラドックスとしての価値がある。
・ ただし、時枝記事でも、完全代表系を手にした回答者は
902: "無敵" なので、回答者が勝てるのは当たり前。 ・ では、時枝記事のどこが不思議なのかというと、回答者が無敵になれてしまうこと自体が不思議だということ。 ・ 回答者が無敵になれる原因は完全代表系であり、そして完全代表系は選択公理がないと作れない。 ・ つまり、時枝記事は実質的に「選択公理が人知を超えて無敵すぎる」と言っているのであり、 これはバナッハ・タルスキーのパラドックスと構図は同じ。
903:１３２人目の素数さん
22/10/18 19:31:42.25 neGyGAu2.net
>>814
＞ヴィタリ集合 Vは、その要素が不可算個であるから非可測集合なのであって
＞もし、その要素が有限であったり、可算無限であれば、
＞非可測集合にはなり得ないのですよ
はい、誤りｗ
例えば[0,1]の中の有理数全体の集合は可算集合だが
上記の集合の各点のみの集合が同じ測度をもち、
全体が１となるような測度は存在しないことが
ヴィタリ集合の非可測性と全く同じ推論で証明できるｗ
こんな初歩的なことも分からん中卒は人間失格のエテ公ｗｗｗ
904:１３２人目の素数さん
22/10/18 19:42:58.18 neGyGAu2.net
>>817
＞使う代表が、有限個だったり、高々可算だったりすれば、
＞その場合は、非可測にならないよね
使う代表がたった１個でも非可測になるｗ
例えば、ある桁から先が全部０の列だけを考える
もちろん全部同じ尻尾を持つから全部０の列と同値
で、０以外の桁は全部１だとするｗ
この場合
決定番号１ 00000…
決定番号２ 10000･･･
決定番号３ 01000･･･、11000･･･
決定番号４ 00100･･･ 10100･･･、01100･･･、11100･･･
･･･
したがって、決定番号が２以上の場合
決定番号２の列集合の測度
＜決定番号３の列集合の測度
＜決定番号４の列集合の測度
・・・
となる
そして、ある桁から先が全部０の０－１無限列全体の集合（可算集合）
の測度を１とした場合、上記の性質を満たす測度は存在しない
なぜなら、ある決定番号から先の測度が０より大きいなら全体の和が発散するし
さりとて、どの決定番号の測度も０なら、可算加法性から０になるから
これはヴィタリ集合の非可測性証明を一般化した論法である
こんな初歩的なことも分からん中卒は人間失格のエテ公ｗｗｗ
905:１３２人目の素数さん
22/10/18 19:45:44.21 neGyGAu2.net
０－１列を、各項が[0，1]の点の列に一般化しても
∪[0，1]^n（n∈N）の全体を１とする測度は設定できない
>>823と全く同じ論法で完全に証明し切れる
こんな初歩的なことも分からん中卒は人間失格のエテ公ｗｗｗ
906:１３２人目の素数さん
22/10/18 19:48:17.98 21DTagbB.net
>>817
選択公理と同値類が分かっていれば
「任意の実数列の決定番号は自然数」
も分かる。
分かってないのはおまえ
907:１３２人目の素数さん
22/10/18 19:53:01.32 neGyGAu2.net
１．[0,1]^Nの中で、[0,1]^N/∪[0，1]^n(n∈N)は、非可測集合
２．そして∪[0，1]^n(n∈N)の測度を１とするような測度は設定できない
つまり選択公理を使っても（１．）使わなくても（２．）
列を確率変数とする場合には測度論は全く使えない
こんな初歩的なことも分からん中卒は人間失格のエテ公ｗｗｗ
908:１３２人目の素数さん
22/10/18 19:57:15.53 neGyGAu2.net
>>825
中卒エテ公は、勝手に
「同値な列のコーシー列の収束先となる列もまた同値」
とかいう嘘定義をブチこんでいるが、その場合、任意の列が同値となるｗ
そして、「本来同値でないが、嘘定義により同値となる列」は決定番号∞となるｗ
要するに、中卒エテ公は、
任意の無限列と、ある項から先が全部０となる無限列を同じとみなし
形式的冪級数と、多項式を同じとみなす馬鹿ｗｗｗ
909:１３２人目の素数さん
22/10/18 23:54:06.26 Ad52aa1a.net
>>822
>はい、誤りｗ
>例えば[0,1]の中の有理数全体の集合は可算集合だが
>上記の集合の各点のみの集合が同じ測度をもち、
>全体が１となるような測度は存在しないことが
>ヴィタリ集合の非可測性と全く同じ推論で証明できるｗ
お主の頭、腐っているなｗ
下記”ヴィタリ集合”wikipediaを、ちゃんと読めよｗ
１）[0,1]の中の有理数全体の集合は可算集合で、ルベーグ測度では「可算集合である有理数全体の集合には 0 を割り当てる」だぞｗ
２）「一つの定数の（可算）無限和は 0 であるか無限大に発散する」だよ。
３）だから、上記で”全体が１となるような測度は存在しない”という結論は同じだが、
”ヴィタリ集合の非可測性と全く同じ推論”ではないぞｗｗｗ
（「 V は可測ではない。つまりルベーグ測度 λ はいかなる値も λ(V) の値として定義できない[3][4]」が、ヴィタリの結論だよｗ）
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
ヴィタリ集合
可測集合
区間 [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:１３２人目の素数さん
22/10/19 06:50:48.69 IlI3V106.net
>>828
＞「一つの定数の（可算）無限和は 0 であるか無限大に発散する」だよ。
中卒でもそのくらいのことはわかるんだな ほめてやるよ
＞だから、上記で”全体が１となるような測度は存在しない”という結論は同じだが、
「だから・・・同じ」 これで中卒エテ公は完全に死んだ
「だが」はない、「だが」はな！
＞”ヴィタリ集合の非可測性と全く同じ推論”ではないぞ
同じだ。確率を論じると決めた瞬間、全体の測度は１だと決めたことになる
したがってこの前提を否定して全体の測度を∞だとすることは許されない
中卒はこの初歩が理解できない大馬鹿野郎 人間失格のエテ公
911:１３２人目の素数さん
22/10/19 06:54:27.71 IlI3V106.net
箱入り無数目で、選択公理を前提する条件にしようが前提しない条件にしようが
１．∪X^n(n∈N) 全体の測度は１
２．Xの測度＜＝X^2の測度＜＝X^3の測度＜＝ ・・・
という２条件を満たした∪X^n(n∈N)の測度が設定できない
したがって測度論を用いた議論は全く不可能であり
中卒の測度論至上主義は完全に死んだ！
912:１３２人目の素数さん
22/10/19 08:05:33.46 xfu4AEGC.net
お主の頭、腐っているなｗ
まず、文字化け訂正>>828
URLﾘﾝｸ(ja.wikipedia.org)
ヴィタリ集合
可測集合
集合には '長さ' や '重さ' が定まるものがある。例えば、区間 [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(非可算)は、非可測です！
両者は、別物ですよｗｗｗ
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
数え上げ測度
数え上げ測度（かぞえあげそくど、英: counting measure; 計数測度）とは、集合の元の個数を数えるという方法でその "大きさ"（あるいは "容積"）を測る、ルベーグ積分における測度の一種である。
913:１３２人目の素数さん
22/10/19 11:55:32.93 BGJQFJat.net
何を論点にしているのか知らんが、時枝戦術が当たる戦術であることに異論がないなら
もう終わりだろう。
完全代表系を使っている以上、ルベーグ非可測な事象が登場するのは事実。
ただし、それは時枝戦術にとって本質的ではない。
なぜなら、記事内で使っている確率空間は {1,2,…,100} 上の一様分布であり、
非可測集合を回避しているからだ。最終的に示される結論は
「 ∀s∈[0,1]^N s.t. その出題 s に対する回答者の勝率は 99/100 以上」
というもの。世論調査で言えば、
「あらゆる全ての100人の日本国民の組み合わせについて、その100人の中での支持率は99%以上である」
という驚愕の事実を実際に示しているのが時枝記事。そして、この驚愕の事実が
実際に言えてしまった以上、もはや「日本国民の無作為抽出」に拘っても意味がない
914:(>>792)。 結局、時枝戦術は当たる戦術である。
915:１３２人目の素数さん
22/10/19 12:01:04.88 DwfAJI7Z.net
>>831 補足
>ヴィタリ集合V(非可算)は、非可測です！
数え上げ測度(下記)では
ヴィタリ集合V(非可算)は、その元を1と数えて、
∞に発散する測度が定義できるかも
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
数え上げ測度
定義
可測空間 S 上の数え上げ測度とは、任意の可測集合 A に対してその元の個数 |A| ∈ N ∪ {∞} を対応させる写像によって定義される測度のことである。ここで、N は自然数全体の成す集合 {0, 1, 2, ...} であり、A が有限でないならばその濃度に関わらず |A| = ∞ とする。
ここで、それが完全加法族である限りにおいて S 上の可測集合族 M の取り方によらず、
略
が成立する
などの事実は定義から直ちにわかる（2. は一つでも有限でないものがあれば両辺が ∞ として一致するという意味で成り立つから、全て有限のときを確かめればよいがこちらも明らかであろう）。
特に、任意の集合 A に対して μ(A) が定義できるので、可測集合族 M としては 2^S 全体をとることができて、(S, 2^S, μ) は測度空間になる。数え上げ測度が σ-有限であることと集合 S が可算であることは同値になる。
916:１３２人目の素数さん
22/10/19 12:02:00.21 DwfAJI7Z.net
>>832
慌てる乞食は貰いが少ない
917:１３２人目の素数さん
22/10/19 12:07:21.02 DwfAJI7Z.net
>>814 訂正
（細かいが、気づいたときに書いておく）
ヴィタリ集合 V の要素 v ∈ [0, 1]は、個々には単に区間 [0, 1]中の無理数でしかないのです
↓
ヴィタリ集合 V の要素 v ∈ [0, 1]は、一つの例外を除いて、個々には単に区間 [0, 1]中の無理数でしかないのです ＊）
（注＊）一つだけ、有理数の要素が代表として取れる。）
918:１３２人目の素数さん
22/10/19 12:58:39.61 BGJQFJat.net
>>834
時枝記事に反論できなくて困ってるんでしょ？
世論調査による論法は>>791-796で完全に論破してしまったからね。
スレ主は次の一手を考えている最中であり、
しかし新しい屁理屈が思いつかないので困っている、という構図だな。
あるいは、時枝戦術が勝てる戦術であることを
スレ主は既に納得してしまったが、今さら手のひらを返すわけにもいかないので、
議論の着地点をどうするのか考えているのかもしれない。
いずれにしても、手持無沙汰になったスレ主は、お茶を濁すかのように、
「お手つき」がどうこうの記述に難癖をつけている、ということだろう。
919:１３２人目の素数さん
22/10/19 13:07:58.59 BGJQFJat.net
しかし、時枝記事における「お手つき」の記述は "世間話" のたぐいであり、
時枝戦術の本体には何の影響も与えない。
よって、その部分に文句をつけても、時枝記事の本体には何も反論できない。
また、時枝記事の中で選択公理が使われていることの意義は>>818-821で説明したとおり。
全体として、時枝記事は次のように要約できる。
・ 完全代表系があれば回答者は無敵なので、回答者が高確率で当たるのは数学的には自明。
・ 時枝記事の本当の意義は、「回答者が無敵になれること自体がパラドックスである」という部分にある。
・ 回答者が無敵になれる原因は完全代表系であり、そして完全代表系は選択公理がなければ作れない。
つまり、「選択公理が人知を超えて無敵すぎる」と言っているのが時枝記事なのであって、
バナッハ・タルスキーのパラドックスなんかと構図は同じ。
結局、スレ主だけがずっと間違え続けているし、現状のスレ主は何がしたいのかも意味不明。
920:１３２人目の素数さん
22/10/19 18:22:45.49 DwfAJI7Z.net
時枝不成立は、非可測ではなく、非正則分布によるってこと
それを、はっきりさせようってこと
別に困ってないよｗ
921:１３２人目の素数さん
22/10/19 18:49:26.26 BGJQFJat.net
>>838
非正則分布に関するスレ主の勘違いを、世論調査を例にして説明しておこう。スレ主は、
「閉区間[a,b]上の一様分布でb→∞とした場合の非正則分布」
なるシロモノが時枝記事で使われていると発言したことがある。これは、世論調査で言えば、次のようになる。
・ 日本国民が可算無限人いたとする。それぞれの日本国民には、1,2,3,…と順番に背番号をつけることにする。
・ (☆)「あらゆる全ての100人の日本国民の組み合わせについて、その100人の中での支持率は99%以上である」
という驚愕の事実が成り立っているとする(従って、もはや "無作為抽出" に拘っても意味がない)。
・ さて、100人の日本国民を任意に選び、その背番号を
922: d1,d2,…,d100 とする。 ・ すると、背番号 d1～d100 は N 全体の中で非有界である。
923:１３２人目の素数さん
22/10/19 18:51:01.26 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:１３２人目の素数さん
22/10/19 18:52:13.56 BGJQFJat.net
ここでスレ主は、背番号 10^1, 10^2, …, 10^100 という100人の方が
閉区間の長さが大きくなっていることを根拠にして、
「閉区間[a,b]上の一様分布でb→∞とした場合の非正則分布」
なるシロモノを持ち出しているわけだが、これこそがスレ主の勘違い。
既に述べたように、どちらの100人でも、その中での支持率を計算するときには
(支持している人数) / 100
を計算すれば終わりであり、ここに背番号の情報も閉区間の長さも登場しない。
925:１３２人目の素数さん
22/10/19 18:54:41.03 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:１３２人目の素数さん
22/10/19 18:56:20.55 BGJQFJat.net
これは当たり前の話である。ここでの背番号は、区別のための識別番号(つまり名前)に過ぎないのだから、
背番号の情報や閉区間の長さが「100人の中での支持率の計算」に登場するわけがないのだ。
100人の中での支持率は、あくまでも (支持している人数) / 100 によって計算される。
これはどういうことかと言えば、スレ主が何かを盛大に勘違いしているということｗ
背番号の大きさが非有界であっても、「100人の日本国民」には質的な違いがないことを
スレ主は理解してないということ。別の言い方をすれば、質的な違いがないはずの100人について、
その背番号の大きさの違いに支離滅裂な幻想を抱き、質的な違いが生じていると勘違いしているということ。
927:１３２人目の素数さん
22/10/19 19:09:01.34 X+a0QiIr.net
>>838
>時枝不成立は、非可測ではなく、非正則分布によるってこと
じゃなんで非正則分布とやらを使ってるエビデンスを記事原文から引用しないの？
おまえの妄想聞いても仕方ない。数学板は妄想を語る場ではない。
928:１３２人目の素数さん
22/10/19 19:13:18.92 BGJQFJat.net
あるいは、次のような視点から述べることもできる。
まず、N 全体には標準的な無作為抽出は存在しない。一方で、>>839で書いたように、今回は
(☆)「あらゆる全ての100人の日本国民の組み合わせについて、その100人の中での支持率は99%以上である」
という仮定を置いている。この(☆)がある場合、N 上の如何なる "分布" も考える意味がない。
なぜなら、そのような分布に従って100人を抽出したところで、その100人の中での支持率は99％だからだ。
つまり、「無作為抽出の存在性」よりも「(☆)の成否」の方が優先順位が上なのだ。
(☆)が成り立つことが先に示せているのなら、もはや無作為抽出の存在性は論じる意味がないのである。
そして、時枝記事はまさしく(☆)を導出している。ゆえに、無作為抽出の存在性は論じる意味がない。
929:１３２人目の素数さん
22/10/19 19:21:39.70 BGJQFJat.net
もちろん、(☆)を導出するときに「非正則分布」が使われていては いけない。念のため、確認しておこう。
(☆)を示すには、あらゆる全ての100人の日本国民の組み合わせについて、その100人の中での
(支持している人数) / 100
を計算してみればよい。これが必ず 0.99 以上になっていればよいわけだ。
ところで、(支持している人数) / 100 という計算の中には、背番号の情報も閉区間の長さも登場しない。
分母はずっと「100」のままだし、分子だって「 0 ≦ (支持している人数) ≦ 100 」を満たしている。
このように、常に「100」という固定された分母の中で計算される。スレ主が言うような
「閉区間[a,b]上の一様分布でb→∞とした場合の非正則分布」
なるシロモノは、(☆)の成否を確認する作業の中に全く登場しない。
よって、(☆)を導出するときに「非正則分布」なんぞ使われていない。
そして、いったん(☆)が導出されれば、無作為抽出の存在性は論じる意味がないのだった。
�
930:ﾈ上の理由により、時枝記事では非正則分布なんぞ使われていない。スレ主だけがずっと間違え続けている。
931:１３２人目の素数さん
22/10/19 20:45:12.75 xfu4AEGC.net
必死だな
時枝記事不成立は、数学的事実なので
（現代数学の確率論 可算無限個のiidの確率変数 Xi i∈Ｎ で扱えるから、時枝は詰んでいる）
そんなことをしても、無駄だよ
あとは、なぜ不成立なのに
成立しているように見えるか
その数学的謎解きだけが、残っている
いま、それをしているだけ
932:１３２人目の素数さん
22/10/19 21:00:33.27 BGJQFJat.net
>>847
＞（現代数学の確率論 可算無限個のiidの確率変数 Xi i∈Ｎ で扱えるから、時枝は詰んでいる）
詰んでるのはスレ主。iid 確率変数 X_i を一般的に扱った設定は>>581-583にある。
その>581-583では、回答者の勝率は 99/100 以上であり、
なおかつ、スレ主は >581-583 を完全スルーして逃げ回っている。
詰んでいるとはこういうことを指す。スレ主が詰んでいるのだ。
933:１３２人目の素数さん
22/10/19 21:03:49.58 X+a0QiIr.net
>>847
>現代数学の確率論 可算無限個のiidの確率変数 Xi i∈Ｎ で扱えるから、時枝は詰んでいる
扱えても時枝戦略では扱っていない
なぜならその戦略は勝てない戦略であり、時枝戦略は勝てる戦略だから
バカ丸出し
934:１３２人目の素数さん
22/10/19 21:07:35.55 BGJQFJat.net
時枝記事に反論するためのスレ主の「手駒」は非常に限られている。
・ まず、世論調査によるスレ主の論法は>>791-796によって完全に論破されてしまった。
・ 次に、スレ主お得意の「非正則分布」については、逆に世論調査の論法を用いて
「非正則分布なんぞ使われてない」という反撃が>>839-846に書かれてしまった。
これにはスレ主も納得せざるを得ないので、スレ主にとっては手痛い。
・ 残った手駒は「 iid 確率変数 X_i 」であるが、その設定は>>581-583で既に扱っていて、
回答者の勝率は 99/100 以上である。そして、スレ主は>581-583を完全スルーしている。
・「非可測集合は時枝不成立とは関係がない」とスレ主は発言してしまったので、
非可測集合に文句をつけることもできない。
・ この他にスレ主の手駒は残されていない。スレ主は詰んでいる。
935:１３２人目の素数さん
22/10/19 21:08:43.65 BGJQFJat.net
ちなみに、スレ主が iid 確率変数 X_i に拘る理由は
「出題がランダムなら、回答者には何のヒントもないのだから、回答者が当たるわけがない」
という直観に基づいている。では、出題を固定した場合には、回答者には どんなヒントが提供されるのか？
いや、何のヒントも提供されない。回答者から見れば、「どんな出題を固定したのか分からない。ヒントがない」
としか映らないからだ。よって、スレ主は
「出題を "固定" したって、回答者には何のヒントもないのだから、回答者が当たるわけがない」
という立場を取らなければダブルスタンダードである。
ところが、スレ主は「固定はインチキだ」と言っている。つまり、スレ主は暗黙のうちに
「出題を固定すること自体が、回答者にとっては大きなヒントになっている」
というパラドックスを前提にしていることになる。スレ主の立場はここで崩壊する。
936:１３２人目の素数さん
22/10/19 21:27:14.44 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でも論破されてしまうし、世論調査による論法でも論破されてしまう。
詰んでいるとはこういうことを指す。スレ主が詰んでいるのだ。
937:１３２人目の素数さん
22/10/19 21:29:54.16 A9hrzJ1c.net
>>849
iidを採用するのは出題者側でしょ
時枝戦略は回答者側の戦略じゃないの？
938:１３２人目の素数さん
22/10/19 21:45:35.25 X+a0QiIr.net
>>853
>iidを採用するのは出題者側でしょ
Xiは実数列ではない
もう馬鹿過ぎて手が付けられない
939:１３２人目の素数さん
22/10/19 21:47:14.66 X+a0QiIr.net
箱の中には実数しか入れられない
いかなる実数も定数
中卒馬鹿に数学は無理
940:１３２人目の素数さん
22/10/20 07:41:55.10 0CBm2hkn.net
>>853
>iidを採用するのは出題者側でしょ
>時枝戦略は回答者側の戦略じゃないの？
ありがと
だが、”iidを採用するのは出題者側”ではない
時枝のような確率を扱うときに（例えば、箱に一様にサイコロの目を入れる様なとき）
採用する現代確率論の手法が、iidですよ（現代確率論の教科書を読
941:んでね）
942:１３２人目の素数さん
22/10/20 07:47:44.05 0CBm2hkn.net
>>855
>箱の中には実数しか入れられない
時枝記事の箱の可算無限数列>>1を、形式的冪級数環の要素と見る立場で説明できる>>576
形式的冪級数環の係数は、複素数に拡張できる
従って、箱に複素数を入れても、全く同様の議論は可能ですｗ