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

[表示 : 全て最新50 1-99 101- 201- 301- 401- 501- 601- 701- 801- 901- 1001- 2ch.scのread.cgiへ]
Update time : 04/11 12:40 / Filesize : 750 KB / Number-of Response : 1098
[このスレッドの書き込みを削除する]
[＋板最近立ったスレ＆熱いスレ一覧 : ＋板最近立ったスレ／記者別一覧] [類似スレッド一覧]


↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました

スレタイ箱入り無数目を語る部屋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.

つづく
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
①任意の実数列の決定番号は自然数である
②100列の決定番号はどれも自然数だから最大値がある
③最大決定番号の列は1列または複数列である。
　③-1 複数列なら100列のどの列を選んでも勝てる。
　③-2 1列ならその列以外を選べば勝てる。
④列選択はランダムだから勝率は99/100以上である。

①～④のどれが間違ってると？
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でも論破されてしまうし、世論調査による論法でも論破されてしまう。
詰んでいるとはこういうことを指す。スレ主が詰んでいるのだ。
937 名前：１３２人目の素数さん [2022/10/19(水) 21:29:54.16 ID:A9hrzJ1c.net]: >>849
iidを採用するのは出題者側でしょ
時枝戦略は回答者側の戦略じゃないの？
938 名前：１３２人目の素数さん [2022/10/19(水) 21:45:35.25 ID:X+a0QiIr.net]: >>853
>iidを採用するのは出題者側でしょ
Xiは実数列ではない
もう馬鹿過ぎて手が付けられない
939 名前：１３２人目の素数さん [2022/10/19(水) 21:47:14.66 ID:X+a0QiIr.net]: 箱の中には実数しか入れられない
いかなる実数も定数
中卒馬鹿に数学は無理
940 名前：１３２人目の素数さん [2022/10/20(木) 07:41:55.10 ID:0CBm2hkn.net]: >>853
>iidを採用するのは出題者側でしょ
>時枝戦略は回答者側の戦略じゃないの？

ありがと
だが、”iidを採用するのは出題者側”ではない
時枝のような確率を扱うときに（例えば、箱に一様にサイコロの目を入れる様なとき）
採用する現代確率論の手法が、iidですよ（現代確率論の教科書を読
941 名前：んでね） []: [ここ壊れてます]
942 名前：１３２人目の素数さん [2022/10/20(木) 07:47:44.05 ID:0CBm2hkn.net]: >>855
>箱の中には実数しか入れられない

時枝記事の箱の可算無限数列>>1を、形式的冪級数環の要素と見る立場で説明できる>>576
形式的冪級数環の係数は、複素数に拡張できる
従って、箱に複素数を入れても、全く同様の議論は可能ですｗ
943 名前：１３２人目の素数さん [2022/10/20(木) 08:01:38.28 ID:0CBm2hkn.net]: >>857
>形式的冪級数環の係数は、複素数に拡張できる

いや、任意の環に拡張できる
４元数でも８元数にでも
１６元数もあったかな？

本来は、
コイントス→サイコロの目→実数→複素数→多元数
と、問題の的中確率は、だんだん難しくなるべきところ

その困難さが切断されて、
箱に入れる数に対する依存性が消失している
これが、時枝記事のデタラメさの傍証ですよｗ
944 名前：１３２人目の素数さん [2022/10/20(木) 11:01:32.58 ID:4oX3YJho.net]: >>858
>箱に入れる数に対する依存性が消失している
　それはその通り
　しかし、それが正しいのだから
　あなたには反駁できない
>これが、時枝記事のデタラメさの傍証ですよ
　あなたは100人がそれぞれ異なる100列を選んで
　100人が100人とも外れるというのか？
　どうしてそんな嘘が平気で言えるのか？
　知能が無いのか？良心が無いのか？
　どっちだ？
945 名前：１３２人目の素数さん [2022/10/20(木) 11:05:32.55 ID:4oX3YJho.net]: >>859
箱入り無数目は
箱に入る候補の集合の濃度が2以上なら
必ず成り立つ
946 名前：１３２人目の素数さん mailto:sage [2022/10/20(木) 11:19:59.11 ID:0vqwNnbB.net]: >>858
それはパラドックスとしての不思議さを感情面で訴えているだけであって、
傍証にすらなってない。バナッハ・タルスキーのパラドックスで言えば、

「球を同じ半径の球2つに分割するよりも、3つ、4つ、5つ、…と多くの個数に
　分割する方がより困難なはずだが、それも同様にできてしまう。
　これが、バナッハ・タルスキーのパラドックスのデタラメさの傍証である」

と主張しているようなもの。単なる感想文にすぎない。
947 名前：１３２人目の素数さん mailto:sage [2022/10/20(木) 11:26:43.76 ID:0vqwNnbB.net]: >>858
＞その困難さが切断されて、
＞箱に入れる数に対する依存性が消失している
＞これが、時枝記事のデタラメさの傍証ですよｗ

スレ主は「選択公理は時枝記事にとって本質的ではない」と発言したことがあるが、全く同様に、

「コイントス→サイコロの目→実数→複素数→多元数という係数の拡張は、時枝記事にとって本質的ではない」

のである。なぜなら、100個の決定番号こそが「大きなヒント」として機能するからだ。
このことは>>808-809で説明済みだが、再掲する。

まず、>>581-583の場合は「出題者が回答者に100個の決定番号を手渡す」という設定であり、
そして100個の決定番号こそが回答者にとって「大きなヒント」として機能する。
よって、>581-583の場合は、回答者が高確率で勝てるのは当たり前。
実数を複素数や多元数に変更しても同じことで、それに対応した100個の決定番号がありさえすれば、
それが「大きなヒント」として機能する。このようなヒントを

「出題者が回答者に手渡す」

というのが>581-583の設定なのだから、この設定の場合、回答者が高確率で勝てるのは当たり前である。
コイントス→サイコロの目→実数→複素数→多元数という係数の拡張は本質的ではない。
948 名前：１３２人目の素数さん mailto:sage [2022/10/20(木) 11:30:06.41 ID:0vqwNnbB.net]: 一方で、時枝記事の場合は、出題者が回答者に100個の決定番号を渡してくれるわけではないので、
回答者が自前で100個の決定番号を所持していなければならない。
それも、100個の決定番号を「1組」所持しているだけでは意味がない。
あらゆる出題に対応できるように、必要な100個の決定番号の組は全て所持していなければならない。
そんな芸当を可能にするのが完全代表系である。完全代表系を手にした回答者は、晴れて

(☆)「どんな出題が来ても、その出題に対する大きなヒント(＝100個の決定番号)を既に所持している」

という "無敵の状態" になったので、回答者の勝率は 99/100 以上になる。このように考えると、
回答者が勝てるのは自明であり、この部分に関するパラドックスは解消される。
唯一、解消されないパラドックスは

「回答者が無敵になれること自体が不思議だ」

という部分。そして、回答者が無敵になれる原因は選択公理である。
つまり、「選択公理が人知を超えて無敵すぎる」ということ。
これはバナッハ・タルスキーのパラドックスと構図は同じ。
949 名前：１３２人目の素数さん mailto:sage [2022/10/20(木) 11:38:18.90 ID:0vqwNnbB.net]: スレ主は「箱に入れる数に対する依存性が消失している」と述べているが、
これは確率版に限った話ではなく、「100人の回答者」バージョンでも同じこと。

・背番号1から背番号100までの回答者を用意する。
・背番号 k の回答者は、番号kに対する時枝戦術を実行する。
・この場合、100人の回答者のうち少なくとも99人は何らかの箱の中身を当てる。

このように、100人版でも必ず99人以上が当たってしまうのだから、箱に入れる数に対する依存性が消失している。
しかも、係数を複素数や多元数に拡張しても同しで、やはり100人のうち99人以上�
950 名前：ﾍ当たってしまう。 そして、100人版には確率空間が登場せず、代数的な議論だけで済んでいるので、 スレ主も「正しい」と認めざるを得なくて、スレ主は100人版をスルーし続けているｗ 詰んでいるとはこういうことを指す。スレ主が詰んでいるのだ。 []: [ここ壊れてます]
951 名前：１３２人目の素数さん mailto:sage [2022/10/20(木) 11:48:38.69 ID:0vqwNnbB.net]: そして、100人版だろうが確率版だろうが、結局は「選択公理が人知を超えて無敵すぎる」のが
パラドックスの根源なのであって、要するにスレ主は

「選択公理はインチキだ」

と言っているのである。時枝記事に反論しているつもりが、
本質的には選択公理に反論しているのがスレ主なのである。

スレ主はそろそろ数学から引退すべきだなｗ
「時枝記事のタネ明かし」とやらも全く披露してくれないしな。何を勿体ぶってるんだろうね。
まあ、単純に「手駒」がないんだろうね。だからこそ、>>858みたいな感想文しか書けないわけだ。

詰んでいるとはこういうことを指す。スレ主が詰んでいるのだ。
952 名前：１３２人目の素数さん [2022/10/20(木) 12:34:25.64 ID:fszNwzQa.net]: >>856
>採用する現代確率論の手法が、iidですよ（現代確率論の教科書を読んでね）
現代確率論の手法？べつに手法の一つとして存在するぶんには構わんが、勝てないから無意味なだけ。
一方、時枝戦略なら確実に99/100以上の勝率で勝てる。
問われてるのは勝つ戦略があるかなので勝てない戦略を論じても無意味。中卒バカの存在と同様。
953 名前：１３２人目の素数さん [2022/10/20(木) 12:40:45.84 ID:fszNwzQa.net]: >>857
アホ
形式的べき級数はとりあえず忘れろ　無意味過ぎ

実数とか複素数とかを言ってるのではない
出題者の出題の仕方に反例は無いということを言ってる
954 名前：１３２人目の素数さん [2022/10/20(木) 12:44:56.98 ID:fszNwzQa.net]: >>858
なんの傍証にもなってない
傍証はいいから記事原文のどこがどう間違ってるのかズバリ示せ
できないなら妄想に過ぎない　おまえの妄想聞いても仕方ない　数学板は妄想を語る場ではない
955 名前：１３２人目の素数さん [2022/10/20(木) 18:05:16.42 ID:T5rDkYGh.net]: >>857-858 補足

１）時枝氏の記事の原理は、>>1
　可算無限の数列のしっぽの同値類で
　問題の数列と、代表の数列との比較で、
　ある（箱の）番号から、先のしっぽが一致する決定番号なるものを用いるもの
２）つまり、決定番号dが何らかの手段で分かれば
　代表の数列は既知だから、
　問題の数列のd+1以降のしっぽの数列(共通部分)を知って、
　問題の数列の属する同値類を知り、代表の数列を知り
　d番目の箱の数は共通だから、
　”代表の数列d番目＝問題の数列d番目”となり
　問題の数列d番目が、箱を開けずに的中できるという
３）問題は、”決定番号dか、あるいはd以上の数を得る何らかの手段があるか無いか”であり
　決定番号dは、非正則分布>>51を成すから、上記の手段は”原理的に無い”のです！>>75

４）しかし、それをゴマカすために、時枝記事は、参照列を使う
　つまり、問題と別に可算無限の数列を作り、同様に決定番号d'を得る
　そして、「d＜d'の確率が1/2だ」と叫ぶｗ>>1
　上記２）項同様に、問題の数列のd'+1以降のしっぽの数列を知って
　問題の数列の属する同値類を知り、代表の数列から
　d'番目の箱の数は共通だから、
　”代表の数列d'番目＝問題の数列d'番目”として
　問題の数列d番目が、箱を開けずに確率1/2で的中できるという
５）さらに、時枝記事は、参照列を増やす
　つまり、問題と別に可算無限の数列を99作り、決定番号の最大値dmax99を得る
　そして、「d＜dmax99の確率が99/100だ」と叫ぶ
　上記２）項同様に、問題の数列のdmax99+1以降のしっぽの数列を知って
　問題の数列の属する同値類を知り、代表の数列から
　dmax99番目の箱の数は共通だから、
　”代表の数列dmax99番目＝問題の数列dmax99番目”となり
　問題の数列dmax99番目が、確率99/100で、箱を開けずに的中できるという>>1
　（さらに、99以上の任意のｎ個の参照列を使うのも可能という）
６）しかし、上記３）項で述べたように、
　決定番号dは、非正則分布を成すから、上記の手段は原理的に不成立！>>75
QED！ｗ
956 名前：１３２人目の素数さん [2022/10/20(木) 18:12:05.37 ID:T5rDkYGh.net]: >>869 リンク訂正（2ヶ所）

　決定番号dは、非正則分布>>51を成すから、上記の手段は”原理的に無い”のです！>>75
　　↓
　決定番号dは、非正則分布>>51を成すから、上記の手段は”原理的に無い”のです！>>705

　決定番号dは、非正則分布を成すから、上記の手段は原理的に不成立！>>75
　　↓
　決定番号dは、非正則分布を成すから、上記の手段は原理的に不成立！>>705
957 名前：１３２人目の素数さん [2022/10/20(木) 18:37:27.18 ID:fszNwzQa.net]: >>869
>決定番号dは、非正則分布>>51を成すから、上記の手段は”原理的に無い”のです！>>75
はい、大間違い。
100列の決定番号の組 (d1,d2,...,d100) は定数。
時枝戦略の確率変数は列インデックスkであり、kが従う確率分布は{1,2,...,100}上の一様分布。

記事原文からこれが読み取れないようなら国語からやり直した方がいい。
958 名前：１３２人目の素数さん [2022/10/20(木) 18:43:54. ]: [ここ壊れてます]
959 名前：99 ID:fszNwzQa.net mailto: >>869
>そして、「d＜d'の確率が1/2だ」と叫ぶｗ>>1
そんなことは一言も言っていない。
「d,d'のいずれかをランダムに選択した方をa、他方をa'としたとき、a≦a'の確率が1/2以上だ」と言っている
ランダム選択という手順が無ければ確率1/2は言えない。
馬鹿丸出し。 []: [ここ壊れてます]
960 名前：１３２人目の素数さん mailto:sage [2022/10/20(木) 20:23:50.77 ID:0vqwNnbB.net]: >>869
＞３）問題は、”決定番号dか、あるいはd以上の数を得る何らかの手段があるか無いか”であり
＞決定番号dは、非正則分布>>51を成すから、上記の手段は”原理的に無い”のです！>>75

ここが間違っている。決定番号 d：[0,1]^N → N は非可測関数であるが、
それにも関わらず、「d以上の数を得る手段」は存在している。

具体的にはどうすればいいのか？まず、出題者は s∈[0,1]^N を出題する。
ここから出力される100個の決定番号を d1,d2,…,d100 とする。1≦i≦100 なる i の中で

di ＞ max{ dj｜1≦j≦100, j≠i }

を満たす i は高々1つしか存在しない。その唯一の i を i_0 と置く。
よって、残りの99個の i は di ≦ max{ dj｜1≦j≦100, j≠i } を満たしている。
そして、回答者は 1,2,…,100 の中からランダムに番号 i を選ぶ。i≠i_0 でありさえすれば
di ≦ max{ dj｜1≦j≦100, j≠i } が成り立つ。この時点で、

max{ dj｜1≦j≦100, j≠i }

という量は「di以上の値」になっている。i≠i_0 が起きる確率は 99/100 以上なので、
以上により、「 99/100 以上の確率で、d以上の数を得ることができる」ということになる。

詰んでいるとはこういうことを指す。スレ主が詰んでいるのである。
961 名前：１３２人目の素数さん [2022/10/20(木) 20:29:18.93 ID:INDi1LEb.net]: >>833
＞数え上げ測度では
＞ヴィタリ集合V(非可算)は、その元を1と数えて、
＞∞に発散する測度が定義できるかも

かも、は要らん
論理がわかれば誰でもわかる
分からん中卒は論理が分からんエテ公（嘲）

実数に通常の測度を入れた場合、ヴィタリ集合は非可測
可算集合に対して、全体を１とし、単集合が皆同じ測度を持つような測度は存在しない

全く同じ論法　分からん中卒はエテ公（嘲）
962 名前：１３２人目の素数さん mailto:sage [2022/10/20(木) 20:34:30.43 ID:0vqwNnbB.net]: >>869
＞３）問題は、”決定番号dか、あるいはd以上の数を得る何らかの手段があるか無いか”であり
＞決定番号dは、非正則分布>>51を成すから、上記の手段は”原理的に無い”のです！>>75

あるいは、100人の回答者バージョンを考えれば、より簡単である。

・背番号1から背番号100までの回答者を用意する。
・背番号 k の回答者は、番号kに対する時枝戦術を実行する。
・この場合、100人の回答者のうち少なくとも99人は何らかの箱の中身を当てる。

これが100人バージョンであるが、ご覧のとおり、100人の中で少なくとも99人は
何らかの箱の中身を当てる。より具体的に言えば、

・ 100人の中で少なくとも99人は、その人の背番号を i とするとき、「 di 以上の数を得ている」

ということ。より厳密に書けば、

・ { i∈[1,100]｜背番号 i の回答者は di 以上の数を得る } という集合は少なくとも99個の要素を含む

ということ。スレ主は「d以上の数を得る手段が無い」と主張しているが、もしそれが正しいなら、
上記の集合は99個の要素を含むどころか「空集合」でなければおかしい。
この時点で、スレ主は大ウソをついていることが確定する。

しかも、100人バージョンには確率空間が登場せず、代数的な議論だけで済んでしまうので、
スレ主も認めざるを得なくて、スレ主は100人バージョンを完全スルーしている。

詰んでいるとはこういうことを指す。スレ主が詰んでいるのである。
963 名前：１３２人目の素数さん mailto:sage [2022/10/20(木) 20:52:13.99 ID:0vqwNnbB.net]: あるいは、スレ主は

「予め1つに固定された d に対して、回答者が高確率で d 以上の数を得られるような手段は無い
　(なぜなら N 全体は非有界であり、[1,d] に比べて (d,＋∞) の方が遥かに広大だから)」

と主張しているのかもしれない。し・か・し、その主張は時枝記事とは無関係。
このことは、>>875を見れば一目瞭然である。

・ 100人の中で少なくとも99人は、その人の背番号を i とするとき、「 di 以上の数を得ている」

ご覧のとおり、背番号 i の回答者が目指すべきなのは di 以上の数を得ることなのであって、
d 以上の数を得ることではない。100人の回答者それぞれに対して、目標とすべき di は異なっており、
1つに固定された d を100人全員が目標としているわけではない。すなわち、次のような状況になっている。

・背番号 i の回答者は、たとえ d を越えなくても、di さえ超えればそれでよい。
・そして、「背番号 i の回答者が di を越えられない」ような回答者は、100人の中で高々1人。

↑これこそが、100個の決定番号が上手く機能する理由である。
100人全員が同じ d を目標としているのではなく、背番号 i の回答者は、
たとえ d を越えなくても、di さえ超えればそれでよいのである。

もしこれが、100人全員が同じ d を目標とするなら、スレ主の直観は100人バージョンでも正しく機能する。
すなわち、およそどんな分布を採用しても、100人の中で d を超える回答者はゼロになるだろう。
しかし実際には、100人それぞれが異なる di を目標にしており、それさえ実現できれば当たりとなる。
そして、「背番号 i の回答者が di を越えられない」ような回答者は、100人の中で高々1人しかいない。

こうして、スレ主の言い分は完全に崩壊する。
964 名前：１３２人目の素数さん [2022/10/20(木) 23:02:16.88 ID:0CBm2hkn.net]: >>869-870 補足
(引用開始)
２）つまり、決定番号dが何らかの手段で分かれば
　代表の数列は既知だから、
　問題の数列のd+1以降のしっぽの数列(共通部分)を知って、
　問題の数列の属する同値類を知り、代表の数列を知り
　d番目の箱の数は共通だから、
　”代表の数列d番目＝問題の数列d番目”となり
　問題の数列d番目が、箱を開けずに的中できるという
３）問題は、”決定番号dか、あるいはd以上の数を得る何らかの手段があるか無いか”であり
　決定番号dは、非正則分布>>51を成すから、上記の手段は”原理的に無い”のです！>>705
(引用終り)

ａ）簡単に補足しよう。いま、簡便�
965 名前：ﾉ>>51の例示通り 非正則な分布：一様分布の範囲を無限に広げた分布 と考えよう つまり、まさに自然数Ｎ n∈Ｎで、∀n の重み付けを1 とした分布だ ｂ）この場合、明らかに、この非正則な分布において 平均値や中央値は、発散して∞になっている 従い、分散や標準偏差も、同様に発散している（∞）と考えるべき ｃ）さて、このような分布において、二つの有限の値 n1,n2 を取ったとする 平均値は、(n1+n2)/2 となる 明らかに、二つの有限の値 n1,n2 は、非正則な分布を代表していない！のです ｄ）もっと言えば、ある有限値Ｍ∈Ｎを取って、max(n1,n2)＜M とできて 二つの有限の値 n1,n2 は、 0～Ｍの一様分布（正則な分布）内と考えることもできる ｅ）というか、0～Ｍの一様分布（正則な分布）の話だと （無自覚に）錯覚する人が、多いだろう これが、時枝記事のトリックの一つだね ｆ）つまり、確率論では、「非正則な分布自然数Ｎ n∈Ｎ」は、 扱わない（通常の確率論では扱えない）のだが しかし、代数学では、普通に「自然数Ｎ n∈Ｎ」として、何の問題もないので 多くの人は「それでいいのだぁ～！」と錯覚するのですｗｗ まあ、 こういうことですね 大学教程で、確率論の単位を落としたり、単位を取らなかった人 そういう人には、ここの理解は難しいでしょうねぇ～ｗｗｗ []: [ここ壊れてます]
966 名前：１３２人目の素数さん mailto:sage [2022/10/20(木) 23:25:10.88 ID:0vqwNnbB.net]: >>877
＞明らかに、二つの有限の値 n1,n2 は、非正則な分布を代表していない！のです

非正則分布は確率論の公理から外れたデタラメなので、n1,n2 が非正則分布を代表していないことは、
むしろ「確率論として健全な議論をしている」ことの証拠であるｗ

逆に、非正則分布を代表するような議論が時枝記事の中に現れたならば、
それこそが時枝記事の「間違い」である。一方でスレ主は、

「時枝記事では、非正則分布を代表していない n1,n2 を用いた議論を行っている」

と表明したわけだ。繰り返しになるが、n1,n2 が非正則分布を代表していないことは、
むしろ「確率論として健全な議論をしている」ことの証拠であるｗ

つまり、スレ主は「時枝記事は確率論として健全な議論をしている」と主張しているのである。
スレ主くんは、時枝記事が正しいことを認めたわけだ。めでたしめでたし。
967 名前：１３２人目の素数さん mailto:sage [2022/10/20(木) 23:33:44.67 ID:0vqwNnbB.net]: 何度も繰り返すが、時枝記事では非正則分布は使われていない。
時枝記事で示されていることは、世論調査で言えば

(☆)「あらゆる全ての100人の日本国民の組み合わせについて、その100人の中での支持率は99%以上である」

ということ。この(☆)を示すのに、非正則分布は使われていない。このことは>>839-846で指摘済み。
簡単におさらいすると、(☆)を示すのには、あらゆる全ての100人の組み合わせについて、その100人の中での
(支持している人数) / 100　を計算してみればよい。これが必ず 0.99 以上になっていればよい。

ところで、(支持している人数) / 100　という計算の中には、背番号の情報も「閉区間の長さ」も登場しない。
分母はずっと 100 のままだし、分子だって 0 ≦ (支持している人数) ≦ 100 を満たしている。
このように、常に 100 という固定された分母の中で計算されるので、スレ主が言うような非正則分布は、
(☆)の成否を確認する作業の中に全く登場しない。スレ主は

「二つの有限の値 n1,n2 は、非正則な分布を代表していない」

と主張しているが、これは当然のことであり、そもそも非正則分布なんて使われてないのだから、
n1,n2 が非正則分布を代表しているわけがないのだ。つまり、スレ主は

「非正則分布が使われてないことをスレ主自身の口から表明しただけ」

なのである。勝手に自爆して何がしたいんだか。
968 名前：１３２人目の素数さん mailto:sage [2022/10/20(木) 23:55:34.77 ID:0vqwNnbB.net]: >>877
＞　決定番号dは、非正則分布>>51を成すから、上記の手段は”原理的に無い”のです！>>705

これ、一応指摘しておくけど、写像 d：[0,1]^N → N は非正則分布を成すのではなくて、
ただ単にルベーグ非可測であるだけ。そして、ルベーグ非可測であることは、
非正則分布を成すこととは無関係。そもそも、分布とは人間が勝手に設定するものであって、

「写像を定義した瞬間に何らかの唯一無二の分布が勝手に付属する」

ようなものではない。つまり、スレ主が言うところの「写像 d は非正則分布を成す」とは、

「写像 d には非正則分布の構造を人間が勝手に定義することができる」

という意味にすぎない。しかし、時枝記事では非正則分布を使ってないのだから、
スレ主の方で勝手に非正則分布を定義して矛盾が起きたって、
それはスレ主が勝手に非正則分布とかいうデタラメを採用したのが原因にすぎないわけで、
時枝記事が間違っていることにはならない。
969 名前：１３２人目の素数さん mailto:sage [2022/10/21(金) 00:36:57.95 ID:/4AMHDZp.net]: おバカのスレ主のために、まとめておこう。

・ N には非正則分布の構造を人間が勝手に定義することができる。

・しかし、勝手に定義できるからといって、時枝記事でその構造が使われているとは限らない。
　非正則分布が使われていることを示すには、非正則分布の構造を代表した議論が記事の中に存在しなければならない。

・しかし、時枝記事では「全ての100人の日本国民の組み合わせについて、その100人の中での支持率は99%以上である」
　という内容を導出�
970 名前：ｵているのみ。しかも、そこで必要な計算は　(支持している人数) / 100　だけ。 ・これでは非正則分布の構造を代表していない。スレ主に言わせれば、 「二つの有限の値 n1,n2 は、非正則な分布を代表していない」ということ。 ・お分かりだろうか？非正則分布の構造を代表した議論を見つけなければならないのに、 非正則分布の構造を代表してない議論しか存在しないのである。 ・よって、時枝記事では非正則分布を使ってない。 ・別の言い方をすれば、時枝記事では非正則分布を使ってないのだから、 時枝記事の中で n1,n2 が非正則分布を代表してないのは当たり前ｗ []: [ここ壊れてます]
971 名前：１３２人目の素数さん [2022/10/21(金) 00:52:23.62 ID:dBYBl8GO.net]: >>877
「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる.
どんな実数を入れるかはまったく自由，例えばn番目の箱にe^nを入れてもよいし，すべての箱にnを入れてもよい.
もちろんでたらめだって構わない.そして箱をみな閉じる. 」
⇒この時点で出題列は固定される
　すなわち100列も固定される
　すなわち100列の決定番号の組(d1,d2,...,d100)も固定される

「今度はあなたの番である.片端から箱を開けてゆき中の実数を覗いてよいが，一つの箱は開けずに閉じたまま残さねばならぬとしよう.
どの箱を閉じたまま残すかはあなたが決めうる.
勝負のルールはこうだ. もし閉じた箱の中の実数をピタリと言い当てたら，あなたの勝ち. さもなくば負け.
勝つ戦略はあるでしょうか?」
⇒問われているのは、100列の決定番号の組(d1,d2,...,d100)が固定されている状況での勝つ戦略の存在性。

中卒馬鹿は問題文を読むところで既に躓いている。数学以前。国語からやり直せ。
972 名前：１３２人目の素数さん [2022/10/21(金) 01:49:22.58 ID:ppRukeKx.net]: 決定番号の分布って完全代表系が決まってたら出題者がどんな実数を箱に隠すかで決まる
箱の中の実数達をたとえば[0,1]の実数区間の独立な一様分布にしてやれば決定番号は非正則分布になる
973 名前：１３２人目の素数さん [2022/10/21(金) 01:56:14.83 ID:dBYBl8GO.net]: >>883
>決定番号の分布って
決定番号が定数でないと？
国語からやり直し
974 名前：１３２人目の素数さん [2022/10/21(金) 07:49:42.67 ID:JJUDruWB.net]: >>877 補足
(引用開始)
ａ）簡単に補足しよう。いま、簡便に>>51の例示通り
　非正則な分布：一様分布の範囲を無限に広げた分布
　と考えよう
　つまり、まさに自然数Ｎ n∈Ｎで、∀n の重み付けを1 とした分布だ
ｂ）この場合、明らかに、この非正則な分布において
　平均値や中央値は、発散して∞になっている
　従い、分散や標準偏差も、同様に発散している（∞）と考えるべき
ｃ）さて、このような分布において、二つの有限の値 n1,n2 を取ったとする
　平均値は、(n1+n2)/2 となる
　明らかに、二つの有限の値 n1,n2 は、非正則な分布を代表していない！のです
(引用終り)

・上記ｃ）の部分を補足する
・数学の試験で、学年の平均点が50点、標準偏差σ＝10点だったとする
・n1＝40,n2＝60 平均点50 で、平均点±1σに入っている
・ところが、n1＝3,n2＝7 平均点5 だと、平均点±4σから外れている

・同様に、時枝の決定番号 d1,・・,d100 では、平均値 (d1+・・+d100)/100 で有限になる
・これは、上記a)の非正則な分布自然数Ｎ n∈Ｎで、∀n の重み付けを1 とした分布から見るとヘン
・よって、d1,・・,d100を使って得た確率 99/100は、数学的な正当性を有していない！

補足の補足
・我々日常の計算は、デジタルコンピュータの中の有限の世界だ
・有限桁であり、有限小数だ
・代数学として、任意の自然数ｎとして何の問題もない。代数学ならね
・しかし、確率論になると別だ。自然数の集合Ｎは、上記のように非正則な分布だ
・それを、安易に使う確率計算は、正当な数学とは言えないのです！ｗ
975 名前：１３２人目の素数さん [2022/10/21(金) 08:57:59.51 ID:ppRukeKx.net]: >>884
その定数が決まるまでの過程の話
976 名前：１３２人目の素数さん [2022/10/21(金) 09:10:44.72 ID:dBYBl8GO.net]: >>886
>その定数が決まるまでの過程の話
その定数が決まってから回答者のターンとなる
つまり回答者にとっては最初から定数
国語からやり直し
977 名前：１３２人目の素数さん [2022/10/21(金) 09:13:57.46 ID:dBYBl8GO.net]: >>885
>これは、上記a)の非正則な分布自然数Ｎ n∈Ｎで、∀n の重み付けを1 とした分布から見るとヘン
決定番号は定数
ヘンなのは非正則分布に従って選出されると考えるおまえの頭
978 名前：１３２人目の素数さん [2022/10/21(金) 09:21:19.81 ID:ppRukeKx.net]: >>887
出題者にとっては最初から定数なんてことはない
出題者が何を箱に入れるかで決まる
出題者が確率に任せることにしたらその確率によって定まる
979 名前：１３２人目の素数さん [2022/10/21(金) 11:37:19.56 ID:dBYBl8GO.net]: >>889
>出題者にとっては最初から定数なんてことはない
ナンセンス
問われているのは「回答者の戦略として勝てるものが存在するか」なので回答者から見て定数であることが全て
数学以前　国語からやり直し
980 名前：１３２人目の素数さん [2022/10/21(金) 11:40:37.26 ID:dBYBl8GO.net]: >>889
>出題者が確率に任せることにしたらその確率によって定まる
出題者が確率的に定めようと他のどんな手段で定めようと、いったん定めたら定数。
その後に回答者のターンになるので、回答者にとっては定数。
問われているのは回答者の戦略。

数学以前　国語からやり直し
981 名前：１３２人目の素数さん mailto:sage [2022/10/21(金) 11:41:55.21 ID:/4AMHDZp.net]: >>885
まさし
982 名前：く、>>881で指摘した間違いをそのまま再現している。問題外である。 おそらく、スレ主は>>881を読んでないのだろう。 ＞つまり、まさに自然数Ｎ n∈Ｎで、∀n の重み付けを1 とした分布だ N上にそのような非正則分布を人間が勝手に定義することは可能である。 しかし、その非正則分布が時枝記事で使われているとは限らない。 非正則分布が使われていることを示すには、非正則分布の構造を代表した議論が記事の中に存在しなければならない。 ＞・同様に、時枝の決定番号 d1,・・,d100 では、平均値 (d1+・・+d100)/100 で有限になる ＞・これは、上記a)の非正則な分布自然数Ｎ n∈Ｎで、∀n の重み付けを1 とした分布から見るとヘン ご覧のとおり、時枝記事では「全ての100人の日本国民の組み合わせについて、その100人の中での支持率は99%以上である」 という内容を導出しているのみであり、そこで必要な計算は　(支持している人数) / 100　だけである。 つまり、分母は常に 100 なので、これでは非正則分布を代表していない。スレ主に言わせれば、 「二つの有限の値 n1,n2 は、非正則な分布を代表していない」ということである。あるいは、 「上記a)の非正則な分布自然数Ｎ n∈Ｎで、∀n の重み付けを1 とした分布から見るとヘン」ということである。 お分かりだろうか？非正則分布の構造を代表した議論を見つけなければならないのに、 非正則分布の構造を代表してない議論しか存在しないのである。 これはどういうことかと言えば、時枝記事では非正則分布なんぞ使ってないということ。 これにて、スレ主の詭弁は崩壊する。 []: [ここ壊れてます]
983 名前：１３２人目の素数さん [2022/10/21(金) 11:48:37.20 ID:dBYBl8GO.net]: 逆に、決定番号が何らかの確率分布に従って選出されるのはどのような問題か？
回答者が回答を決めた後に出題者が出題列を定めるような問題である
この場合回答者が勝つ戦略が存在しないのは自明
984 名前：１３２人目の素数さん mailto:sage [2022/10/21(金) 12:03:46.90 ID:/4AMHDZp.net]: >>885
＞同様に、時枝の決定番号 d1,・・,d100 では、平均値 (d1+・・+d100)/100 で有限になる
＞これは、上記a)の非正則な分布自然数Ｎ n∈Ｎで、∀n の重み付けを1 とした分布から見るとヘン

おバカなスレ主のために、簡単な具体例を1つ出そう。

・ここに1枚の封筒があり、確率 1/2^k で k ドル入っているとする(k≧1)。
・特に、封筒の中身はどんな N の値も取りうる。
・よって、N 上の非正則分布から見たときには、封筒の中身の平均値は発散して∞になっているはず。
・しかし、確率 1/2^k で k ドル入っているのだから、その平均値は Σ[k＝1～∞] k/2^k であり、有限値。
・これは、N上の非正則分布から見るとヘン。
・よって、Σ[k＝1～∞] k/2^k を使って得た平均値は、数学的な正当性を有していない！

これがスレ主の言っていること。どこが間違いなのかは明白。

数学的な正当性がないのは非正則分布の方である(デタラメな分布だから)。
そのような非正則分布を人間が勝手に定義することは可能だが、実際にその分布が使われているとは限らない。
上記の封筒の例では、非正則分布が使われていない。だからこそ、非正則分布から見るとヘンなのだ。
つまり、非正則分布から見たときにヘンであることは、非正則分布を使ってないことの証拠なのである。

時枝記事の確率計算も、非正則分布から見たときにヘンなので、
結局、時枝記事では非正則分布を使ってないことになる。
985 名前：１３２人目の素数さん mailto:sage [2022/10/21(金) 12:11:03.84 ID:/4AMHDZp.net]: これはスレ主のレスではないが、返答しておく。

>>883
＞箱の中の実数達をたとえば[0,1]の実数区間の独立な一様分布にしてやれば決定番号は非正則分布になる

間違っている。非正則分布とは、∫_R p(t)dt ≠ 1 が成り立つような可測関数 p(t) のことを指す。
出題者が一様分布に従って出題を選んでも、そこから決まる決定番号の "分布" はルベーグ非可測なので、
非正則分布にすらならない。

非正則分布は確率論的にはデタラメであるが、それでも用途はある。
具体的には、ベイズ改訂の事前分布として用いられることがある。
この用途の場合、少なくとも p(t) はルベーグ可測でなければならない。
よって、ルベーグ非可測な p(t) は、本当に使い道がない。
決定番号の分布は、そういうたぐいのもの。非正則分布ですらない。

そもそも、スレ主が言うところの「非正則分布」とは、実際には d から決まっているわけではなくて、
ただ単に「 N 上の非正則分布(任意のn∈N に対して重み1を与える)」のことを指しているだけであり、
d は何ら関与していない。だから、「写像 d は非正則分布を成す」というスレ主の言い方は、
本当はその時点でおかしいのである。
986 名前：１３２人目の素数さん [2022/10/21(金) 13:45:20.17 ID:ppRukeKx.net]: >>890
回答者の戦略は時枝戦略で決まってるのだから回答者は実は不要
後は出題者がどのように箱の中に実数を隠せばどうなるかを調べるだけ
987 名前：１３２人目の素数さん mailto:sage [2022/10/21(金) 13:51:51.37 ID:/4AMHDZp.net]: >>896
回答者をロボットと考えて出題者の一人遊びだと解釈する視点は>>660-662で説明済み。
この場合の「勝率 99/100」とは、

「ロボットを相手に一人遊びをしている出題者がどんな実数列 s_0 を厳選しても、
　出題者がその s_0 を毎回出題したときの、出題者の勝率は 1/100 以下である」

という意味。まあ分かってるとは思うが。
988 名前：１３２人目の素数さん [2022/10/21(金) 14:03:02.62 ID:ppRukeKx.net]: >>895
非可測関数が使い道がないにせよある箱の中身の決定方法によって決定番号がそのように決まるということはその先はふつうとは違うことを意味してないかな？たとえばこの問題はそのように箱の中を設定できるので問題として無効であるとか
989 名前：１３２人目の素数さん mailto:sage [2022/10/21(金) 14:09:26.28 ID:/4AMHDZp.net]: >>898
＞たとえばこの問題はそのように箱の中を設定できるので問題として無効であるとか

非可測な事象をわざと出現させるような設定は実際に可能である。
その場合、「その設定では確率が計算できない」という当たり前の結論になるだけ。
一方で、時枝記事ではそのような設定を採用していない。時枝記事では

「ロボットを相手に一人遊びをしている出題者がどんな実数列 s_0 を厳選しても、
　出題者がその s_0 を毎回出題したときの、出題者の勝率は 1/100 以下である」

としか言ってない。これは正しい。
990 名前：１３２人目の素数さん mailto:sage [2022/10/21(金) 14: ]: [ここ壊れてます]
991 名前：17:24.87 ID:/4AMHDZp.net mailto: >>898
＞たとえばこの問題はそのように箱の中を設定できるので問題として無効であるとか

あるいは、次のようにも言える。選択公理が登場しない「ごく普通の確率的ゲーム」であっても、
出題者がわざと非可測な方法で出題を行えば、その後の事象は非可測になってしまうので、確率が計算できない。
しかし、このことを以って「この問題はそのように設定できるので問題として無効である」と言ってみたところで、
それはナンセンス。つまり、「ごく普通の確率的ゲーム」の場合には、
その確率が可測な方法で導出できるような設定のみが(暗黙のうちに)対象になっている。

これは時枝記事でも同じこと。確率的ゲームの設定とは、
その確率が可測な方法で導出できるような設定のみを対象にするのが暗黙の了解である。
時枝記事の場合、出題者が出題を固定すると可測な事象のみが出現するので、
回答者の勝率が計算できて、99/100 という値が得られる。それは正しい。 []: [ここ壊れてます]
992 名前：１３２人目の素数さん [2022/10/21(金) 14:23:00.74 ID:ppRukeKx.net]: >>900
ということは箱入り無数目は箱の中の実数を決定番号が非可測になるように設定すると回答不能ってことでいい？
993 名前：１３２人目の素数さん mailto:sage [2022/10/21(金) 14:27:20.16 ID:/4AMHDZp.net]: >>901
写像 d は最初から非可測関数である。しかし、出題者が出題を固定すれば可測な事象しか登場しない。従って、

「決定番号が非可測になるように設定すると回答不能」

という言い方は正しくない。

「非可測な事象が登場して確率計算が続行不能になるような設定のもとでは回答不能だ」

という言い方なら正しい。しかし、この言い方はそもそもナンセンス。正しいことを言っているがナンセンス。
その理由は>>900で説明したとおり。確率的ゲームの設定とは、その確率が可測な方法で導出できるような設定のみを
対象にするのが暗黙の了解だからだ。
994 名前：１３２人目の素数さん [2022/10/21(金) 14:34:38.53 ID:ppRukeKx.net]: >>902
箱の中の実数の決め方自体は確率的方法に沿ってる
非可測をもたらしてるのは尻尾同値類の決定番号を求める過程
つまり時枝戦略を採用しなければ非可測にはならなかった
ただし時枝戦略ではないので99/100では勝てない
995 名前：１３２人目の素数さん mailto:sage [2022/10/21(金) 14:41:26.51 ID:/4AMHDZp.net]: >>903
確率的方法には様々な種類がある。一様分布に従ってランダムに選ぶという方法もあれば、
ただ1つの s_0 のみを出題するという方法もある(この場合、s_0 が確率1で選ばれるという確率的方法になる)。

時枝記事では後者を採用している。ただ1つの s_0 のみが毎回出題される。
この場合、可測な事象しか登場せず、回答者の勝率は 99/100 以上になる。
しかも、s_0 にはそれ以上の制限がない。つまり、時枝記事では

∀s∈[0,1]^N s.t. 出題者が毎回 s を出題するとき、回答者の勝率は 99/100 以上である

という性質が証明されている。これは正しい。

では、一様分布に従ってランダムに出題した場合はどうなるのか？
この場合、非可測な事象が登場して確率計算が続行不能になるので、回答不能である。
しかし、>>900で説明したとおり、これはナンセンス。確率的ゲームの設定とは、
その確率が可測な方法で導出できるような設定のみを対象にするのが暗黙の了解だからだ。
996 名前：１３２人目の素数さん [2022/10/21(金) 14:49:03.68 ID:ppRukeKx.net]: >>904
必ず時枝戦略を採用すべしって制限はないのだから時枝戦略を採用しなければたいてい非可測にはならない
元の問題は勝つ戦略はあるかなんだから
997 名前：１３２人目の素数さん [2022/10/21(金) 14:49:03.89 ID:3OMYDiSB.net]: 箱の中身を確率変数とすれば、当然、列から決定番号への関数は非可測だが
だからといって、100人がそれぞれ異なる100列を選んで、
それが100列とも決定番号が単独最大値になって外れる
といった馬鹿なことは絶対に起きえない

つまり、どの列も当たる確率が同じ99/100になる、と云えないだけで
もしある列の当たる確率が0なら、その他の列の当たる確率は必然的に1になる
つまり100列の当たる確率が存在するなら、その総和は99以上である
998 名前：１３２人目の素数さん mailto:sage [2022/10/21(金) 14:54:08.60 ID:/4AMHDZp.net]: >>905
＞必ず時枝戦略を採用すべしって制限はないのだから時枝戦略を採用しなければたいてい非可測にはならない
＞元の問題は勝つ戦略はあるかなんだから

なるほど、君はそういう立場なのか。だったら、時枝記事の設定を少し変更してみても、君は文句を言うまい。
具体的には、次のように変更してみよう。

(1) 出題者は実数列 s∈[0,1]^N を一様分布に従ってランダムに選ぶ。
(2) 回答者は、i＝(i_1,i_2,…)∈{1,2,…,100}^N を {1,2,…,100}^N 上の一様分布に従ってランダムに選ぶ。
(3) まず、回答者は番号 i_1 に対する時枝戦術を実行する。箱の中身の推測に成功したか失敗したかは記録を取っておく。
(4) 箱の中身を元通りにして、次は番号 i_2 に対する時枝戦術を実行し、成功したか失敗したか記録を取る。
(5) 箱の中身を元通りにして、次は番号 i_3 に対する時枝戦術を実行し、成功したか失敗したか記録を取る。
(6) この作業を、可算無限個ある全ての i_1,i_2,i_3,… に対して行う。

上記の設定のもとで、「1回でも箱の中身の推測に成功していたら回答者の勝利」とする(この勝利条件については、次のレスも参照のこと)。
ちなみに、i_1 が終わった時点で全ての箱の中身が回答者にバレているのだが、
回答者はその情報を(4)～(6)の作業で使�
999 名前：ｦない(番号 i_k に対する時枝戦術を バカ正直に実行することしか許されてない)ので、ここは問題にならない。 時枝記事の設定を上記のように変更すると、回答者が勝利するという事象は正式に可測になる。 出題者が出題を固定しても可測だし、一様分布に従ってランダムに選ぶようにしても可測になる。 そして、いずれのケースでも、回答者の勝率は正式に 99/100 以上になる。 []: [ここ壊れてます]
1000 名前：１３２人目の素数さん mailto:sage [2022/10/21(金) 14:55:16.75 ID:/4AMHDZp.net]: なお、「1回でも箱の中身の推測に成功していたら回答者の勝利とする」という条件は、
回答者に有利すぎると感じるかもしれない。この場合、次のような設定も可能である。

・ i_1 ～ i_n まで終了した時点での成功回数を S_n と置いたとき、
　 liminf[n→∞] S_n/n ≧ 99/100　が成り立っていたら回答者の勝率とする。

このように勝利条件を変更しても、回答者が勝利するという事象は正式に可測になり、
回答者の勝率は 99/100 以上になる。
1001 名前：１３２人目の素数さん [2022/10/21(金) 14:57:04.50 ID:ppRukeKx.net]: >>907
その箱入り無数目改なら時枝戦略は99/100で勝てる
元の箱入り無数目は時枝戦略でほんとに勝てるかどうか不明な場合がある
1002 名前：１３２人目の素数さん mailto:sage [2022/10/21(金) 15:11:41.16 ID:/4AMHDZp.net]: >>909
＞元の箱入り無数目は時枝戦略でほんとに勝てるかどうか不明な場合がある

それも微妙に見解が間違っている。もともとの時枝記事では

∀s∈[0,1]^N s.t. 出題者が毎回 s を出題するとき、回答者の勝率は 99/100 以上である

が示されている。これは正しい。一方で、君が言っているのは

「 s を一様分布に従ってランダムに出題したら回答不能だ(非可測な事象が出現して確率が計算できないので)」

ということ。それは確かに正しい意見なのだが、しかしナンセンス。理由は>>900で述べたとおり。
君はそのことについて「だったら必ず時枝戦略を採用すべしって制限すらないだろ」と反論してきたが、
その主張に沿って時枝記事を改変したのが>>907-908という構図。
そして、君は>>907-908なら回答者が勝てると認めた。

だったら、君にとってはもう何も不満はないことになる。
1003 名前：１３２人目の素数さん [2022/10/21(金) 15:16:49.75 ID:3OMYDiSB.net]: >>907-908
なんかめんどくさいな
単に同じ人が二回チャレンジしないといえばいいだけ
同じ問題を不特定多数の人が一回づつチャレンジする

その場合、当然１００列のそれぞれを選ぶ人はほぼ同数になる
外れは１列しかありえないのだから、確率は９９／１００になる
そういうこと　証明を読めばそういう解釈で計算しているとわかる
わからないなら日本語が読めない朝鮮人か論理がわからんニホンザルだろうｗ
1004 名前：１３２人目の素数さん mailto:sage [2022/10/21(金) 15:32:58.66 ID:/4AMHDZp.net]: >>911
別にそれでもいいが、正式に確率空間として記述したときに、対応が分かりやすいような書き方をしたつもり。
あと、自分でも書いてて混乱してしまったが、>>907の設定では

「1回でも箱の中身の推測に成功していたら回答者の勝利」

が勝利条件なので、回答者が勝利する確率は「 1 」になる。つまり、

・確率 1 で「少なくとも1回は箱の中身の推測に成功する」

ということ。>>908の場合はどうかというと、これもまた、回答者が勝利する確率は「 1 」になる。つまり、

・確率 1 で「 liminf[n→∞] S_n/n ≧ 99/100 」が発生する

ということ。もともとの時枝記事での「 99/100 」という性質は
「 liminf[n→∞] S_n/n ≧ 99/100 」の方に引き継がれて、
それが起きる確率が 1 であるということ(>907-908の設定のもとでは)。
1005 名前：１３２人目の素数さん [2022/10/21(金) 15:56:44.53 ID:ppRukeKx.net]: >>910
不満は箱入り無数目の問題が何の疑問もなく時枝戦略で勝てるのが不満
多少はケチがつかないとなんでも入れていい箱の中の実数が当たるのは不自然
1006 名前：１３２人目の素数さん mailto:sage [2022/10/21(金) 16:14:36.53 ID:/4AMHDZp.net]: >>913
＞多少はケチがつかないとなんでも入れていい箱の中の実数が当たるのは不自然

箱の中身の実数が当たってしまうのは、選択公理が原因。バナッハ・タルスキーのパラドックスと構図は同じ。
1つの球が、それと同じ半径の2つの球に分解できるなんて、こんなに不自然なことはない。
しかし、そんな不自然なことが数学的に正しく証明されている。時枝記事も同じこと。時枝記事では

∀s∈[0,1]^N s.t. 出題者が毎回 s を出題するとき、回答者の勝率は 99/100 以上である

が示されている。これは数学的に正しいので、君はケチをつけられない。一方で、君が言っているのは

「 s を一様分布に従ってランダムに出題したら回答不能だ(非可測な事象が出現して確率が計算できないので)」

ということ。それはそれで確かに正しい意見なのだが、しかしナンセンス。理由は>>900で述べたとおり。
そして、ランダムに出題した場合でも解答可能になるように時枝記事を修正したのが>>907-908であり、
君は>>907-908なら回答者が勝てると認めている。

結局、君が本当に不満に思っているのは「選択公理が人知を超えて無敵すぎる」ということ。
君は選択公理にケチをつけているのだ。
1007 名前：１３２人目の素数さん [2022/10/21(金) 16:33:27.32 ID:ppRukeKx.net]: 決定番号の異常性かな
たぶん実際の決定番号みたら桁数も桁数の桁数も見たことも想像したことない大きな数になってると思うから
1008 名前：１３２人目の素数さん mailto:sage [2022/10/21(金) 16:50:12.17 ID:/4AMHDZp.net]: >>915
決定番号の写像 d：[0,1]^N → N は完全代表系がないと定義できない。
そして、完全代表系は選択公理がないと作れない。
つまり、決定番号の異常性は選択公理が由来になっている。

つまり、君はやっぱり選択公理にケチをつけている。
別にそれはそれで構わんのだが、だから何だという話。
選択公理とは元々そういうものだろ。歴史的には、
バナッハ・タルスキーのパラドックスの時点で「だいぶおかしい」のだから。
1009 名前：１３２人目の素数さん [2022/10/21(金) 16:51:29.94 ID:dBYBl8GO.net]: >>896
>回答者の戦略は時枝戦略で決まってるのだから回答者は実は不要
そうだよ。誰も不要じゃないなんて言ってない。

>後は出題者がどのように箱の中に実数を隠せばどうなるかを調べるだけ
任意の固定された出題列で99/100以上の勝率で勝てるのが時枝戦略。
出題列の固定はルールとして明確に記載されている。

反論があるなら、記事原文のどの部分がどう間違ってるのか具体的に指摘せよ。
数学板は妄想を語る場ではない。
1010 名前：１３２人目の素数さん [2022/10/21(金) 17:01:14.44 ID:dBYBl8GO.net]: >>898
句読点が無いのは百歩譲るとして

>非可測関数が使い道がないにせよある箱の中身の決定方法によって決定番号がそのように決まるということはその先はふつうとは違うことを意味してないかな？たとえばこの問題はそのように箱の中を設定できるので問題として無効であるとか？
ある箱ってどの箱？
そのようにってどのように？
その先ってどの先？
ふつうの定義は？
この問題ってどの問題？
そのようにってどのように？

日本語でお願いしますね
1011 名前：１３２人目の素数さん [2022/10/21(金) 17:04:55.31 ID:ppRukeKx.net]: 時枝戦略推しって何人もいてそれぞれの人に対して説明しなきゃいけないのかな？
1012 名前：１３２人目の素数さん mailto:sage [2022/10/21(金) 17:21:19.33 ID:/4AMHDZp.net]: >>919
推しも何も、時枝記事そのものは正しいのだから、文句のつけようがないでしょ。時枝記事では

∀s∈[0,1]^N s.t. 出題者が毎回 s を出題するとき、回答者の勝率は 99/100 以上である

が示されているに過ぎない。これは数学的に正しいので、君はケチをつけられない。
君が言うところの「出題をランダムにしたらどうなるか？」という疑問は、
時枝記事そのものに対する疑問ではなくて、

・時枝 "戦術" を利用した色々なバリエーションの中で、出題をランダムにしたケースではどうなるのか？

ということに過ぎない。このケースは、記事の中では語られていない。君が勝手に持ち出したバリエーションにすぎない。
そして、このケースでは非可測集合が登場して確率計算ができないので、回答不能である。
ただし、これはナンセンス。理由は>>900で説明したとおり。
そして、時枝 "戦術" を利用した色々なバリエーションを考えるのなら、>>907-908を考えればいい。
これなら、出題がランダムでも可測のままで、回答者が勝てる。君もそのことは認めている。

これ以上、何が不満なんだ？ダダをこねているだけか？
1013 名前：１３２人目の素数さん [2022/10/21(金) 17:27:29.14 ID:dBYBl8GO.net]: >>903
>非可測をもたらしてるのは尻尾同値類の決定番号を求める過程
なんらかの集合なり写像なりが非可測だとしても
「任意の実数列の決定番号は自然数」は真であり、それゆえ時枝戦略は成立する

おまえは何が非可測だと言っているのか？
それが非可測だとなぜ時枝戦略が不成立になるのか？
が分かるように書け
1014 名前：１３２人目の素数さん [2022/10/21(金) 17:31:06.12 ID:dBYBl8GO.net]: >>905
>必ず時枝戦略を採用すべしって制限はないのだから時枝戦略を採用しなければたいてい非可測にはならない
>>921

>元の問題は勝つ戦略はあるかなんだから
そうだよ。
時枝戦略は勝つ戦略だから「存在する」が答え。
1015 名前：１３２人目の素数さん [2022/10/21(金) 17:31:49.64 ID:3OMYDiSB.net]: 選択公理を全く使わない版もある

例えば出題者は自然数をランダムに100個選ぶ
回答者は100個の自然数の中から1つを選び
その2進数表現の桁数より大きな自然数を言えたら勝ちとする

で、回答者は自分が選んだ自然数以外の99個については
その中身を見ることができるので、その桁数の最大値を答えれば
自分が選んだ自然数の桁数がそれを超える確率は1/100だから
確率99/100で勝てる、という寸法

これを
10進表現にしようが、
階乗進表現にしようが、
一進表現にしようが、
全く同じ論法で証明できる

階乗進法
https://ja.wikipedia.org/wiki/%E9%9A%8E%E4%B9%97%E9%80%B2%E6%B3%95
一進法
https://ja.wikipedia.org/wiki/%E4%B8%80%E9%80%B2%E6%B3%95

ああ、下らんｗ
1016 名前：１３２人目の素数さん [2022/10/21(金) 17:32:36.80 ID:dBYBl8GO.net]: >>909
>元の箱入り無数目は時枝戦略でほんとに勝てるかどうか不明な場合がある
どんな場合か具体的に
1017 名前：１３２人目の素数さん [2022/10/21(金) 17:33:24.39 ID:ppRukeKx.net]: >>921
箱の中の実数を確率変数にした時に箱の中の実数から決定番号への写像
それが非可測なおかげで
1018 名前：箱の中の実数が確率変数であっても決定番号の確率計算はできない []: [ここ壊れてます]
1019 名前：１３２人目の素数さん [2022/10/21(金) 17:36:15.55 ID:3OMYDiSB.net]: で、もし自然数の出現の仕方が
例えば幾何分布になってるとすれば
完全に確率論で証明できる

つまりそういう意味では「箱入り無数目」は
確率論に沿った自然な結論の延長でしかないｗ
1020 名前：１３２人目の素数さん [2022/10/21(金) 17:37:31.54 ID:dBYBl8GO.net]: >>913
>不満は箱入り無数目の問題が何の疑問もなく時枝戦略で勝てるのが不満
勝率99/100以上で勝てるんだから文句言ってもしょうがない

>多少はケチがつかないとなんでも入れていい箱の中の実数が当たるのは不自然
勝率99/100以上で勝てないなら、記事のどこかに間違いがあるはず。
おまえがその間違いを具体的に指摘すればいいだけ。
分からないなら黙る以外にない。数学板で感想文を書いてもナンセンス。
1021 名前：１３２人目の素数さん [2022/10/21(金) 17:40:50.75 ID:dBYBl8GO.net]: >>915
>決定番号の異常性かな
>たぶん実際の決定番号みたら桁数も桁数の桁数も見たことも想像したことない大きな数になってると思うから
なんの異常も無いじゃんｗ
自然数が従う定理に大きな自然数は従わないとでも？
1022 名前：１３２人目の素数さん [2022/10/21(金) 17:41:19.58 ID:3OMYDiSB.net]: 分布が変数の交換による対称性を保つかどうかがカギ
分布が明確なら直接確かめればいいだけ
分布が定義できない場合には対称性が示せない、というだけ
しかし、もし１００個の自然数を定数としてしまえば
そこから１個をランダムに選ぶ、という前提によって
対称性がいえてしまうので、証明できる

そこが解らん馬鹿がいつまでもいつまでもギャアギャア騒ぐ
中卒高卒には数学は無理だから諦めて死ね
1023 名前：１３２人目の素数さん [2022/10/21(金) 17:43:15.35 ID:3OMYDiSB.net]: >>928
自然数がいかほど大きな桁数になろうが何の問題もない
そういうことが理解できない素人は数学に興味を持っても無駄だから
諦めてセックスでもしてろ　セックスしか能がない猿なんだから（嘲）
数学者は童貞でも猿よりは遥かに価値がある・・・数学的にはｗ
1024 名前：１３２人目の素数さん [2022/10/21(金) 17:51:40.36 ID:dBYBl8GO.net]: >>925
時枝先生は時枝戦略なら勝率99/100以上で勝てる、つまり勝つ戦略はあるとおっしゃっている。
もし勝つ戦略が無いと主張したいなら、記事のどこにどんな間違いがあるかを具体的に指摘すればいいだけ。どうぞ。

>箱の中の実数を確率変数にした時
は勝つ戦略ではないから、考えるだけ無駄。
あんた自分で
>元の問題は勝つ戦略はあるかなんだから
って言ったじゃんｗ　分かる？ｗ
1025 名前：１３２人目の素数さん [2022/10/21(金) 17:57:04.71 ID:dBYBl8GO.net]: >>930
それは>>915に言えやｗ
1026 名前：１３２人目の素数さん [2022/10/21(金) 17:57:04.76 ID:3OMYDiSB.net]: >>931
戦略ではなく問題設定

確率99/100だといえないが、確率0ともいえない
そういう意味では、中卒の主張は、非可測性から否定されるｗ
1027 名前：１３２人目の素数さん [2022/10/21(金) 17:57:57.64 ID:3OMYDiSB.net]: >>932
915に言ってる　いちいち発狂すんなやセックス難民ｗ
1028 名前：１３２人目の素数さん [2022/10/21(金) 18:00:57.23 ID:dBYBl8GO.net]: >>934
発狂してるのはアンカすらまともに書けないおまえなｗ
1029 名前：１３２人目の素数さん [2022/10/21(金) 18:02:43.30 ID:3OMYDiSB.net]: non-conglomerableな場合というのは
自然な対称性を持たないような
場合分けの仕方も可能になるから
対称性を前提した自然な結論を
否定する計算方法も可能にはなる

ただし、そのような場合でも
全ての列で当たる確率が０になるなんてことは不可能ｗ
せいぜいある特定の１列の当たる確率を０にできるだけ
そういう意味では中卒の「当たりっこない」は
数学として完全に否定される
理解できない中卒は、順序の初等的性質すら否定する大馬鹿野郎ｗ
1030 名前：１３２人目の素数さん [2022/10/21(金) 18:03:57.77 ID:3OMYDiSB.net]: >>935
発狂してんのはアンカで脊髄反射するサルのオマエな（嘲）
1031 名前：１３２人目の素数さん [2022/10/21(金) 18:04:58.07 ID:3OMYDiSB.net]: ま、はよこのクソスレ埋めようやｗ
1032 名前：１３２人目の素数さん [2022/10/21(金) 18:06:59.90 ID:3OMYDiSB.net]: で、「中卒と遊ぶスレ」と改題した隔離スレ
誰か立ててくんない？
隔離スレは２つも３つも要らんからｗ
1033 名前：１３２人目の素数さん [2022/10/21(金) 18:09:38.84 ID:3OMYDiSB.net]: タイトルは、”「スレ主」と遊ぼう”　でもいいよ

数学板で「スレ主」といえばある特定の個人を指すってみんな分かってっからｗ
1034 名前：１３２人目の素数さん [2022/10/21(金) 18:29:36.41 ID:dBYBl8GO.net]: >>937
>アンカで脊髄反射する
意味不明すぎて草
1035 名前：１３２人目の素数さん [2022/10/21(金) 18:30:46.80 ID:dBYBl8GO.net]: >>938
おまえが出ていけばいいだけｗ
1036 名前：１３２人目の素数さん [2022/10/21(金) 18:30:58.24 ID:ppRukeKx.net]: >>930
あまり大きいとその数を表記する術がなく
1037 名前：なる AとB二つのとても大きな数があった時にどちらが大きいか判断する術がなくなる []: [ここ壊れてます]
1038 名前：１３２人目の素数さん [2022/10/21(金) 18:31:24.79 ID:dBYBl8GO.net]: >>939
おまえが立てればいいだけｗ
1039 名前：１３２人目の素数さん [2022/10/21(金) 18:33:26.03 ID:dBYBl8GO.net]: >>943
自然数が従う定理に表記できないほど大きい自然数は従わないと？
1040 名前：１３２人目の素数さん [2022/10/21(金) 18:46:11.09 ID:ppRukeKx.net]: >>945
従うだろうけど従ってるかどうか確認できない
1足しても2掛けても大きくなってるかどうかわからない
1041 名前：１３２人目の素数さん [2022/10/21(金) 19:11:51.84 ID:3OMYDiSB.net]: >>942
お前が出て行けよ　数学知らんド素人馬鹿野郎ｗ
1042 名前：１３２人目の素数さん [2022/10/21(金) 19:14:25.84 ID:3OMYDiSB.net]: >>946
表記する必要はないけどな
順序の性質を満たしていることを受け入れればいいだけ
君、否定すんの？根拠ある？ないだろ
あんた統合失調症の可能性あるから精神科で診てもらい
いまどきはエエクスリあるよ　エビリファイとかレキサルティとか
1043 名前：１３２人目の素数さん [2022/10/21(金) 19:14:47.25 ID:dBYBl8GO.net]: >>947
発狂すんなよ　みっともない
1044 名前：１３２人目の素数さん [2022/10/21(金) 19:17:21.85 ID:3OMYDiSB.net]: >>949
発狂したのはお前だろ　この自己愛性人格障害の変態野郎ｗ
1045 名前：１３２人目の素数さん [2022/10/21(金) 19:19:17.18 ID:3OMYDiSB.net]: 自然数が順序の性質を満たしてるから、どう表現されようが
他の自然数より大きな数はたかだか１つしかない
それだけで「箱入り無数目」は成立する
自然数の桁数なんか一切考える必要がない
考える必要がないことを考える奴は正真正銘の馬鹿ｗｗｗ
1046 名前：１３２人目の素数さん [2022/10/21(金) 19:20:38.20 ID:3OMYDiSB.net]: 数学板も９割は馬鹿
大学行ってない中卒高卒馬鹿か
大学で数学学んだことが全くない文系馬鹿だろう
もっとも工学部あたりも論理的思考が全然できない計算馬鹿ばっかだがｗ
1047 名前：１３２人目の素数さん [2022/10/21(金) 19:22:01.24 ID:3OMYDiSB.net]: 物理学科でも数学理論が分からん馬鹿が多いが
数学科でも論理が分からん馬鹿が少なくない

そのくせ数理論理学とか数学じゃねえと馬鹿にする
おまえらみたいな述語論理も理解できない命題論理馬鹿に馬鹿にされたくねえなｗ
1048 名前：１３２人目の素数さん [2022/10/21(金) 19:26:10.70 ID:3OMYDiSB.net]: バラモン　　　　数理論理学専攻
ーーーーーーーーーーーーーーーー
クシャトリア　　数学科卒
ーーーーーーーーーーーーーーーー
ヴァイシャ　　　理系学部卒
ーーーーーーーーーーーーーーーー
シュードラ　　　文系学部卒
ーーーーーーーーーーーーーーーー
アウトカースト　中卒・高卒
1049 名前：１３２人目の素数さん [2022/10/21(金) 19:26:36.84 ID:dBYBl8GO.net]: >>950
自分でアンカ間違えといて逆ギレしたあげく勝手に発狂してらー
薬飲み忘れちゃダメだよ
1050 名前：１３２人目の素数さん [2022/10/21(金) 19:27:33.23 ID:3OMYDiSB.net]: >>955
アンカだけで判断するアスペの貴様が馬鹿ｗ
1051 名前：１３２人目の素数さん [2022/10/21(金) 19:29:17.39 ID:3OMYDiSB.net]: アスペdBYBl8GOは文章読めない　文字認識しかできない発達障害
1052 名前：１３２人目の素数さん [2022/10/21(金) 19:30:22.03 ID:3OMYDiSB.net]: ま、アスペ馬鹿ごとこのスレ埋め殺すぜｗ
1053 名前：１３２人目の素数さん [2022/10/21(金) 19:31:50.47 ID:3OMYDiSB.net]: アスペルガーの人は、多くの非アスペルガーの人と同様か、
またはそれ以上に強く感情の反応をするが、
何に対して反応するかは常に違う。
彼らが苦手なものは
「他人の情緒を理解すること」
「言葉やジェスチャーの裏に隠された意味を理解すること」
「非言語コミュニケーションを図ること」
である。
1054 名前：１３２人目の素数さん [2022/10/21(金) 19:32:43.05 ID:3OMYDiSB.net]: アスペルガーをもつ子供は、言われたことを額面どおり真に受けることが多い。
これは「言葉の名称」や「意味する表現方法」を知らない場合に多かったり
言われた言葉と同じ言い方で聞き返す癖があることや、
抽象的な言われ方では納得の出来ない性格などが原因で、
客観的には額面どおりに真に受けていると思われることもあるため
判断をするには長期的な付き合いが必要となる。
1055 名前：１３２人目の素数さん [2022/10/21(金) 19:34:18.05 ID:dBYBl8GO.net]: >>928としたのは>>915の間違いでした。ごめんなさい。

この一言が言えず逆ギレしたあげく発狂して喚き散らすのはなに？
人格障害？発達障害？ちゃんと病院行きな
1056 名前：１３２人目の素数さん [2022/10/21(金) 19:34:42.47 ID:3OMYDiSB.net]: インターネット依存症
アスペルガー症候群の人物は、インターネット依存症になりやすい。
2019年に発表された日本の研究によると、
インターネットの依存度をテストするYIAT (Young's Internet Addiction Test) において、
70点以上をインターネット依存症とした時、一般人口と比較して
アスペルガー症候群では約3.72倍、
アスペルガー症候群に加えてADHDと診断されたものでは約6.89倍も
その割合が大きかった。
なお、ADHDのみの場合は、約4.31倍であった。

やべぇなｗ
1057 名前：１３２人目の素数さん [2022/10/21(金) 19:38:11.09 ID:3OMYDiSB.net]: >>961
そもそも、>>915と書かねばならない、と考えるのがアスペ馬鹿ｗ

>>928を読んで書いたのだからアンカは正しい
だからといって>>928を書いた人だけに云ってる
と考えるアスペ馬鹿一匹が完全に人間として間違ってる

治らない？じゃ死ね今死ねここで死ね　貴様の肉はブタが食うとさ
人はいつか死ぬ　今ここで死ぬことを恐れるな　貴様の人生には何の価値もないｗ
５ｃｈで屁理屈こくなんて落伍者のすること　さっさとクビ掻き切って死ね！！！
1058 名前：１３２人目の素数さん [2022/10/21(金) 19:38:16.16 ID:dBYBl8GO.net]: >>956
>アンカだけで判断するアスペの貴様が馬鹿ｗ
すごいねこの人
「悪いのは誤字を見抜けなかったおまえ、誤字した俺様は一つも悪くない」
だってさ

大丈夫かな、社会でやっていけるの？
病院行くべきだよ　周りがみんな迷惑してるよ
1059 名前：１３２人目の素数さん [2022/10/21(金) 19:39:04.59 ID:3OMYDiSB.net]: アスペ馬鹿などその場で斬首するのが当然の畜生
1060 名前：１３２人目の素数さん [2022/10/21(金) 19:41:12.17 ID:3OMYDiSB.net]: >>964
誤字ではない
そもそもアンカを見て「アンカーの記事を書いた俺だけに云ってる」
と考える貴様がアスペ馬鹿野郎
貴様のそのアスペが人間失格の畜生　さっさと死ね
死ぬ以外に貴様の罪は償えない　なんならオレが今ここで斬首してやる
どうだ嬉しいだろう　死んだら天国に行けるぞ（大嘘ｗ）
1061 名前：１３２人目の素数さん [2022/10/21(金) 19:42:32.85 ID:dBYBl8GO.net]: >>963
>>>928を読んで書いたのだからアンカは正しい
「>」で始まる行は他レスの引用なんだよ　知らないの？
君の無知の責任をこっちに擦り付けられても困るんだけど
発達障害は病院行って治しなよ　君誰からも相手にされないでしょ
1062 名前：１３２人目の素数さん [2022/10/21(金) 19:42:44.27 ID:3OMYDiSB.net]: 大体、中卒に限らずこのアスペ馬鹿も
「非可測」と聞くと発狂して
「勝てない戦略」とか馬鹿語を絶叫する
数学のスの字も分からん中卒高卒馬鹿の典型ｗ
1063 名前：１３２人目の素数さん [2022/10/21(金) 19:44:22.13 ID:dBYBl8GO.net]: >>965
じゃあ自分の首斬れば？誰も止めないよ
1064 名前：１３２人目の素数さん [2022/10/21(金) 19:45:48.54 ID:3OMYDiSB.net]: ＞「>」で始まる行は他レスの引用なんだよ　知らないの？
もちろん知っている。

「>>928」と書いたからといって、
>>928を書いた奴だけに言ったと
思う貴様がキチガイアスペ野郎だといってる

キチガイは死ぬしかない　俺が斬首してやる
一瞬で死ねるぞ　喜べ　貴様は死ぬことで全人類から感謝されるんだ
生きてるだけで貴様はそのキチガイぶりで全人類から憎悪される
さっさと死ねイ！！！
1065 名前：１３２人目の素数さん [2022/10/21(金) 19:46:52.96 ID:3OMYDiSB.net]: >>969
まずアスペ馬鹿の貴様の首を斬る
その後俺も首斬ってやるよ（大嘘ｗ）
1066 名前：１３２人目の素数さん [2022/10/21(金) 19:47:40.88 ID:3OMYDiSB.net]: アスペ馬鹿の癖に数学分かったような顔すんなよ
どうせ計算しかできない計算馬鹿なんだろｗ
1067 名前：１３２人目の素数さん [2022/10/21(金) 19:48:50.81 ID:3OMYDiSB.net]: 日本で数学が得意とか言ってる奴は大体計算しか能がない計算馬鹿
まあ、計算すら正しくできない正真正銘の馬鹿よりはマシかもしれんが
今�
1068 名前：ﾍ計算だけならEXCELでできるから正真正銘の馬鹿と大してかわらんか(嘲) []: [ここ壊れてます]
1069 名前：１３２人目の素数さん [2022/10/21(金) 19:49:38.07 ID:dBYBl8GO.net]: >>968
時枝先生の問いは「勝つ戦略はあるか？」だろ？
「勝てない戦略」ってのはそうでない戦略のことね
国語からやり直せば？
1070 名前：１３２人目の素数さん [2022/10/21(金) 19:52:20.21 ID:3OMYDiSB.net]: 論理が分かるかどうかは重要
しかも論理は文系・理系を問わず全ての学問で重要
しかしなぜか日本では数学科・物理学科・他の理系・文系
全ての学問で論理の初歩すら分かってない馬鹿が沢山いる
そういう奴がクソ論文を書いて学者ヅラしてるのは有害である
日本は知的発展途上国　しかも最後尾発展途上国である
発展途上のレベルでいえば
ラオスとかアフガニスタンとかイエメンとか
そういうレベル
1071 名前：１３２人目の素数さん [2022/10/21(金) 19:53:23.71 ID:dBYBl8GO.net]: >>970
>「>>928」と書いたからといって、
>>>928を書いた奴だけに言ったと
>思う貴様がキチガイアスペ野郎だといってる
少なくとも>>915を書いた奴に言うべきで、アンカは「>>915」と書くべきだよね
なに苦しい言い訳してんの？
でなんでそんなにしつこいの？
一言謝れば済む話なのに
1072 名前：１３２人目の素数さん [2022/10/21(金) 19:53:40.19 ID:3OMYDiSB.net]: >>974
ハイ馬鹿ｗ
言葉だけに脊髄反射するアスペ馬鹿の典型

箱の中身を確率変数とするかしないかは問題設定の違いであって
戦略とは全然関係ない　それがわからないのは論理が分からんエテ公ｗ
1073 名前：１３２人目の素数さん [2022/10/21(金) 19:55:37.66 ID:3OMYDiSB.net]: >>976
＞少なくとも>>915を書いた奴に言うべきで、
　読めば915を書いた奴に云ってるとわかる
　分からんのはアスペ馬鹿の貴様だけｗｗｗ
＞アンカは「>>915」と書くべきだよね
　そう思うのもアスペ馬鹿の貴様だけｗｗｗ

アスペ馬鹿は俺様ルールを全人類のルールだと
勝手に妄想するから困る　死んでくれ
貴様は人間じゃない　サルなんだ
サルが人間ヅラすんな　迷惑だｗ
1074 名前：１３２人目の素数さん [2022/10/21(金) 19:57:02.25 ID:dBYBl8GO.net]: >>975
>論理が分かるかどうかは重要
自分のミスを他人のせいにして、逆ギレして、苦しい言い訳し続けて、罵りまくる
論理が分かる分からない以前に人格が破綻してるよ君
1075 名前：１３２人目の素数さん [2022/10/21(金) 19:57:55.72 ID:3OMYDiSB.net]: >>976
＞一言謝れば済む話なのに
　なぜアスペ馬鹿のエテ公に人間様が謝る必要がある？ｗ
　ないな　俺様に首斬られて死ね　エテ公ｗ
1076 名前：１３２人目の素数さん [2022/10/21(金) 19:58:34.76 ID:dBYBl8GO.net]: >>978
>読めば915を書いた奴に云ってるとわかる
じゃやっぱり>>915と書くべきを誤字したんじゃねーかｗ
語るに落ちた馬鹿ｗ
1077 名前：１３２人目の素数さん [2022/10/21(金) 20:00:22.24 ID:dBYBl8GO.net]: >>980
>なぜアスペ馬鹿のエテ公に人間様が謝る必要がある？ｗ
誤字したから
自分の誤字を他人のせいにしたから
苦しい言い訳で自分を正当化して他人を罵りまくったから
おまえの存在自体が迷惑だから
1078 名前：１３２人目の素数さん [2022/10/21(金) 20:00:31.86 ID:3OMYDiSB.net]: >>979
　ミスではない
　つまり>>915を書いた人間に対する言葉であることを示すために
　>>915とアンカーをつけねばならないとかいう馬鹿ルールなどないｗ
　貴様が馬鹿ルールを捨てて、ああこの言葉は俺にいってるのではないな
　と理解すればいいだけのこと　貴様が馬鹿から利口になればいいだけのこと
　ま、しかしアスペ馬鹿には無理だろう　
　だから今ここで俺様に斬首されて死ねイ！！！
1079 名前：１３２人目の素数さん [2022/10/21(金) 20:01:28.06 ID:3OMYDiSB.net]: >>981
誤字ではないよ　アスペ馬鹿ｗ
>>982
誤字ではないよ　アスペ馬鹿ｗ
1080 名前：１３２人目の素数さん [2022/10/21(金) 20:02:21.05 ID:3OMYDiSB.net]: dBYBl8GOは、自分のルールが自分一匹のルールでしかないことが理解できない
それはアスペ馬鹿のエテ公ｗ
1081 名前：１３２人目の素数さん [2022/10/21(金) 20:02:26.79 ID:dBYBl8GO.net]: >>978
>アスペ馬鹿は俺様ルールを全人類のルールだと
>勝手に妄想するから困る　死んでくれ
じゃ死ねば？
そっくり君じゃんそれ
1082 名前：１３２人目の素数さん [2022/10/21(金) 20:03:18.56 ID:3OMYDiSB.net]: ああ面白い　アスペ馬鹿のアスペっぷりをあざ笑うのは
エテ公を発狂させるのは最高の見世物だｗｗｗｗｗｗｗ
1083 名前：１３２人目の素数さん [2022/10/21(金) 20:03:36.93 ID:dBYBl8GO.net]: >>983
>　つまり>>915を書いた人間に対する言葉であることを示すために
>　>>915とアンカーをつけねばならないとかいう馬鹿ルールなどないｗ
へえ
じゃあ何のためにアンカつけんの？
1084 名前：１３２人目の素数さん [2022/10/21(金) 20:03:56.08 ID:3OMYDiSB.net]: >>986
＞じゃ死ねば？
　おまえがな　アスペエテ公
1085 名前：１３２人目の素数さん [2022/10/21(金) 20:05:41.88 ID:3OMYDiSB.net]: >>988
＞じゃあ何のためにアンカつけんの？
　話の流れを示すため
　しかし、それはアンカーを付けた相手一匹に言うためではない
　貴様がアスペで勝手に馬鹿ルールを妄想しただけｗ
1086 名前：１３２人目の素数さん [2022/10/21(金) 20:07:18.71 ID:3OMYDiSB.net]: ま、要するにアスペエテ公は
自分がセックスしか能がないサルだと
わかってるから発狂したんだろうｗ
1087 名前：１３２人目の素数さん [2022/10/21(金) 20:07:47.58 ID:dBYBl8GO.net]: >>983
>　貴様が馬鹿ルールを捨てて、ああこの言葉は俺にいってるのではないな
>　と理解すればいいだけのこと　貴様が馬鹿から利口になればいいだけのこと
つまり
「アンカをどうつけようと俺様の勝手
読む側が俺様の真意を読み取ればいいだけ
読み取れないのは読む側のせい」
と、そう言いたいのね？

君よく社会で生きてられるね　親の遺産かなんか？　親が泣いてるぞ
1088 名前：１３２人目の素数さん [2022/10/21(金) 20:09:32.63 ID:dBYBl8GO.net]: >>990
>話の流れを示すため
急に抽象的になったなｗ
どうアンカ付けると話の流れをどう示せるのか具体的に言ってみて
1089 名前：１３２人目の素数さん [2022/10/21(金) 20:09:52.82 ID:3OMYDiSB.net]: >>930
＞素人は数学に興味を持っても無駄だから諦めてセックスでもしてろ　
＞セックスしか能がない猿なんだから（嘲）
＞数学者は童貞でも猿よりは遥かに価値がある・・・数学的にはｗ

まあ、自然界ではセックスしか能がないサルのほうが生き残るんだろう
つまり数学のような無駄に知的な思索にふけるのは不健全極まりないとｗ

しかしここはそういう不健全な人間の巣なのだから
健全なサルは用がないってこった　シッシッｗ
1090 名前：１３２人目の素数さん [2022/10/21(金) 20:11:23.12 ID:3OMYDiSB.net]: >>992
＞「アンカをどうつけようと俺様の勝手
＞　読む側が俺様の真意を読み取ればいいだけ
＞　読み取れないのは読む側のせい」
＞と、そう言いたいのね？
　アンカのつけ方には任意性がある
　読み手が融通を聞かせるのは当然
　アスペエテ公には難しいかｗｗｗ
1091 名前：１３２人目の素数さん [2022/10/21(金) 20:12:26.10 ID:3OMYDiSB.net]: >>993
>>話の流れを示すため
>　急に抽象的になったなｗ
　　どこがだよ　オマエも中卒？ｗ
1092 名前：１３２人目の素数さん [2022/10/21(金) 20:13:20.42 ID:dBYBl8GO.net]: >>995
>読み手が融通を聞かせるのは当然
君が読む側だったら逆のこと言いそうｗ
世界は君中心に回ってる訳じゃないよ　人格障害くん
1093 名前：１３２人目の素数さん [2022/10/21(金) 20:13:22.90 ID:3OMYDiSB.net]: >>993
>どうアンカ付けると話の流れをどう示せるのか具体的に言ってみて
　アスペエテ公には理解できないだろｗ

　おまえどうせ工員かなんかだろｗｗｗ
1094 名前：１３２人目の素数さん [2022/10/21(金) 20:13:54.20 ID:3OMYDiSB.net]: >>997
中卒はラジオでも組み立ててろ　ばぁかｗ
1095 名前：１３２人目の素数さん [2022/10/21(金) 20:14:04.50 ID:3OMYDiSB.net]: じゃな！
1096 名前：1001 [Over 1000 Thread.net]: このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 69日 3時間 22分 52秒
1097 名前：過去ログ ★ [[過去ログ]]: ■ このスレッドは過去ログ倉庫に格納されています

[ 新着レスの取得/表示 (agate) ] / [ 携帯版 ]

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