スレタイ 箱入り無数目を語る部屋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. つづく 790 名前：１３２人目の素数さん mailto:sage [2022/10/11(火) 17:35:52.91 ID:JlXFWGwK.net] >>719 「必死だな」とかいう使い古された煽りは別の板でやってくれ。 ここは数学板なので、具体的な反論が無いなら そこで終わり。時枝記事は正しい。 791 名前：１３２人目の素数さん mailto:sage [2022/10/11(火) 19:01:27.72 ID:DT3AcY1E.net] >>705 >いくらでも しっぽを小さくできて、しっぽを無限小にできるということ >>707 >「無限小」の定義がないが >>712 >形式的べき級数 は、最低次の項が高いほど、0 に近いと考えて扱います。 >>713 >上記で定義した位相から、二つの式 F1,F2 の距離を以下の式で定める >｜F1-F2｜＝1/(k+1) >(注：k+1としたのは、定数項（0次）を扱うため) >つまり、上記の位相で、F1-F2が k次未満部分が一致して、 >はじめてk次で0で無い項がでるとき >二つの式の距離を、1/(k+1)とする なるほど 792 名前：１３２人目の素数さん mailto:sage [2022/10/11(火) 19:02:54.42 ID:DT3AcY1E.net] >>713 >原点に極を持たない超越関数τのx=0での冪級数展開に対し >τに収束する多項式のコーシー列が定義できる >｜τ-fn(x)｜＝1/(n+1) とできる >（fn(x)は、τのx=0での冪級数展開で、第n-1項までを取った多項式で、 >　τ-fn(x)は第n項から初めて0で無い項が出るとする） ここまではいいよ 問題はこの後 >この距離の定義で、τ-fn(x)のしっぽの長さを1/(n+1) とできる はい、ダメ、全然ダメ 距離＝しっぽの長さ、ではありません 距離が０でない限り、しっぽの長さは全部無限です >この場合、しっぽの長さは有限だが、 >多項式環の中で、0に収束するコーシー列が定義できる しっぽの長さは有限、が嘘 距離が０でない限り、しっぽの長さは全部無限です 793 名前：１３２人目の素数さん mailto:sage [2022/10/11(火) 19:04:08.50 ID:DT3AcY1E.net] >>714 >大して努力は、していない だから誤りにいつまでも気づけない >形式的冪級数の空間 K[[x]] と >数列空間K^N は同じ線形空間と見なせる事が分かる そして、多項式の空間 K[x} と 数列空間∪K^n (n∈N) も同じ線形空間と見なせる事が分かる で、尻尾の同値類の代表元全体の空間はK^N/∪K^n (n∈N)であることもわかる。 つまりK^Nを∪K^n (n∈N)ファイバー空間としたときの切断。 ∪K^n (n∈N)全体を1とするような測度が入れられるかといえば無理 なぜなら K^0+K^1+K^2+…=1 として、 K^0,K^1,K^2,…が、全部0なら、可算加法性から総和も0 K^0,K^1,K^2,…が、あるK^n で0より大きく、 かつ、任意のnで、K^n<K^(n+1)なら、 アルキメデスの性質と可算加法性から総和が∞ したがって、決定番号がnの集合は、nが何であれ非可測 794 名前：１３２人目の素数さん [2022/10/11(火) 21:31:16.56 ID:hfWoJpaE.net] >>721 >しっぽの長さは有限、が嘘 >距離が０でない限り、しっぽの長さは全部無限です 意味わかんないけど 距離、長さ 両方とも、計量の入れ方に依存すると思うよ で ”距離が０でない限り、しっぽの長さは全部無限です”？ 意味わかんないｗ 795 名前：１３２人目の素数さん [2022/10/11(火) 21:31:45.64 ID:hfWoJpaE.net] >>723 >アルキメデスの性質と可算加法性から総和が∞ >したがって、決定番号がnの集合は、nが何であれ非可測 その”したがって”は、 おかしくないか？ 「総和が∞」は、可測のうちだよ 下記ヴィタリ集合は、下記 ”一つの定数の無限和は 0 であるか無限大に発散するので、いずれにせよ [1, 3] の中には入らない。すなわち 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 ヴィタリ集合 ルベーグ非可測な実数集合の基本的な例である[1]。 構成と証明 一つの定数の無限和は 0 であるか無限大に発散するので、いずれにせよ [1, 3] の中には入らない。すなわち V は可測ではない。つまりルベーグ測度 λ はいかなる値も λ(V) の値として定義できない[3][4]。 796 名前：１３２人目の素数さん mailto:sage [2022/10/12(水) 00:35:52.53 ID:TRiiI02m.net] >>718 この定義、よく見たら時枝記事の同値関係とは別物になってるな (スレ主のおかしさを指摘する分には問題ないが)。 抜きしちゃイカンな。以下で正しく清書する。 797 名前：１３２人目の素数さん mailto:sage [2022/10/12(水) 00:37:08.14 ID:TRiiI02m.net] 定義1 s ＝ Σ[k＝0〜∞] s_k x^k と t ＝ Σ[k＝0〜∞] t_k x^k は形式的ベキ級数で、 ∃n≧0, ∀k≧n s.t. s_k＝t_k が成り立つとする。このとき s〜t と書くことにすれば、二項関係 〜 が K[[x]] 上に定義されたことになる。この 〜 は K[[x]] 上の同値関係になることが確認できる。 定義2 s,t∈K[[x]] は s〜t を満たすとする。よって ∃n≧0, ∀k≧n s.t. s_k＝t_k が成り立つわけだが、このような n には最小値が存在する。その n に対して、 Σ[k＝n〜∞] s_k x^k という形式的ベキ級数のことを、(s,t)に関する「しっぽ」あるいは「 n しっぽ 」と呼ぶことにする。 798 名前：１３２人目の素数さん mailto:sage [2022/10/12(水) 00:39:03.56 ID:TRiiI02m.net] 補題1 s,t∈K[[x]] は s〜t を満たすとする。さらに、(s,t)に関するしっぽは「 n しっぽ」かつ「 m しっぽ」だとする。 このとき、n＝m である。すなわち、「 n しっぽ 」の n は (s,t)に関して一意的である。 補題2 (1) s,t∈K[[x]] について、 s〜t が成り立つことと、s−t が多項式であることは同値である。 (2) s,t∈K[[x]] は、s−t が 0 でない多項式とする。その次数を d と置くとき、(s,t)に関するしっぽは「(d＋1)しっぽ」である。 (3) s,t∈K[[x]] は、s−t が 0 という多項式だとする。このとき、(s,t)に関するしっぽは「 0 しっぽ」である。 補題3 任意の s∈K[[x]] と任意の(大きな) m≧0 に対して、ある t∈K[[x]] が存在して、(s,t)に関するしっぽは「 m しっぽ 」である。 補題3の証明 s＝Σ[k＝0〜∞] s_k x^k と表したとき、t ＝ (s_m＋1)x^m＋Σ[k＝m＋1〜∞] s_k x^k と置けばよい。 799 名前：１３２人目の素数さん mailto:sage [[ここ壊れてます] .net] さて、ここからが本題。スレ主は「しっぽを無限小にできる」と言っている。 これが本来の意味での無限小なら、スレ主は次のように主張していることになる。 ・ ある s,t∈K[[x]] とある無限大超自然数 n* が存在して、(s,t)に関するしっぽは「 n* しっぽ 」である。 しかし、「 n しっぽ 」の n は必ず正整数なので、これはあり得ない。従って、スレ主が言うところの「無限小」は 単なるレトリックであり、「望むだけ小さくできる」という意味に過ぎない(エセ無限小)。となれば、スレ主は実際には 補題3(>>728) 任意の s∈K[[x]] と任意の(大きな) m≧0 に対して、ある t∈K[[x]] が存在して、(s,t)に関するしっぽは「 m しっぽ 」である。 と主張しているだけであり、これを "無限小" というレトリックで言い換えているだけ、ということになる。 では、上記の補題3の性質があると、時枝記事のどこが破綻するのか？いや、どこも破綻しない。 「 n しっぽ 」の n は常に正整数であり、これが正整数でありさえすれば、時枝記事は正しく機能するからだ。 n がどれだけ大きくても不都合は生じない。n は正整数でありさえすればよい。 というわけで、スレ主の目論見はここで崩壊する。 800 名前：１３２人目の素数さん mailto:sage [[ここ壊れてます] .net] ちなみに、スレ主は K[[x]] での極限を考えるのが好きらしいので、そのようなケースを考えてみよう。 まず、s,t ∈ K[[x]] が s〜t を満たさない場合を考察する。m≧0 に対して t^{m} ：＝ Σ[k＝0〜m−1] t_k x^k＋(s_m＋1)x^m＋Σ[k＝m＋1〜∞] s_k x^k と置けば、これは形式的ベキ級数であり、s 〜 t^{m} が成り立ち、(s, t^{m})に関するしっぽは「 m しっぽ 」である。 さて、t^{m} について、完備化されたK[[x]]の構造のもとで m→∞ の極限を考えると、 lim[m→∞] t^{m} ＝ t が成り立つことが確認できる。一方で、 (1) (s, t^{m})に関するしっぽは「 m しっぽ 」 なのだった。この(1)で m→∞ とすれば、t^{m} → t に注意して、 ・ (s, t)に関するしっぽは「 ＋∞ しっぽ 」である が成り立つかのように見える。しかし、今回は「 s〜t を満たさない」という仮定のもとで考えていたので、 (s,t)に対しては、「しっぽ」が定義できる文脈から外れている。これはどういうことかと言うと、単純に 「(1)の文章は m→∞ の極限と交換可能ではない」 ということ。ここがスレ主の間違いポイント。勝手に交換可能だと勘違いしているということ。 801 名前：１３２人目の素数さん mailto:sage [[ここ壊れてます] .net] では、s〜t が成り立つ場合はどうか？この場合、(s,t)に対して「しっぽ」が定義できる。 まず、s−t が 0 でない多項式の場合を考える。よって、s−t＝Σ[k＝0〜n_1] a_k x^k, a_{n_1}≠0 という形に表せる。特に、(s,t)に関するしっぽは「 (n_1＋1)しっぽ 」である。一方で、 (1) (s, t^{m})に関するしっぽは「 m しっぽ 」 なのだった。この(1)で m→∞ とすれば、t^{m} → t に注意して、 ・ (s, t)に関するしっぽは「 ＋∞ しっぽ 」である が成り立つかのように見える。しかし、(s,t)に関するしっぽは「 (n_1＋1)しっぽ 」なのだった。 これはどういうことかと言うと、単純に「(1)の文章は m→∞ の極限と交換可能ではない」ということ。 最後に、s−t＝0 という多項式の場合を考える。よって、(s,t)に関するしっぽは「 0 しっぽ」である。一方で、 (1) (s, t^{m})に関するしっぽは「 m しっぽ 」 なのだった。この(1)で m→∞ とすれば、t^{m} → t に注意して、 ・ (s, t)に関するしっぽは「 ＋∞ しっぽ 」である が成り立つかのように見える。しかし、(s,t)に関するしっぽは「 0 しっぽ 」なのだった。 これはどういうことかと言うと、単純に「(1)の文章は m→∞ の極限と交換可能ではない」ということ。 802 名前：１３２人目の素数さん mailto:sage [[ここ壊れてます] .net] 以上により、いずれの場合でも、(1)の文章は m→∞ の極限と交換可能ではない。 これはどういうことかと言うと、K[[x]] の完備性を用いたスレ主の屁理屈は意味を成さないということ。 誤解を恐れずに表現すれば、 ・ K[[x]] が完備であっても、"(1)の文章は m→∞ の極限に関して完備ではない" ということ。スレ主は K[[x]] の完備性を用いて時枝記事に反論しようと目論んでいたが、最後の最後で ・ "(1)の文章が m→∞ の極限に関して完備ではない" という大きな壁に阻まれて、スレ主の目論見は失敗するのである。 これは当たり前の話である。決定番号は必ず正整数なのだから、どんなに屁理屈を捏ねても 「決定番号は＋∞」なんて言えないし、それに類する "矛盾" も示せないのである。 そもそも、数学的に矛盾のない� 803 名前：�作だけを用いて決定番号に関する "矛盾" が導出できたなら、 それは「数学そのものの中に矛盾が見つかった」ことになって、大事件である。 [] [ここ壊れてます] 804 名前：１３２人目の素数さん mailto:sage [[ここ壊れてます] .net] あるいは、スレ主は 「極限を取っているのではない。m はいくらでも大きくできると言っているだけだ」 と反論するかもしれない。この場合、スレ主が言っていることは 補題3(>>728) 任意の s∈K[[x]] と任意の(大きな) m≧0 に対して、ある t∈K[[x]] が存在して、(s,t)に関するしっぽは「 m しっぽ 」である。 ということに過ぎない。スレ主は、この補題3を "無限小" というレトリックで言い換えているだけ、ということになる。 では、上記の補題3の性質があると、時枝記事のどこが破綻するのか？いや、どこも破綻しない。 「 n しっぽ 」の n は常に正整数であり、これが正整数でありさえすれば、時枝記事は正しく機能するからだ。 つまり、m→∞ の極限を取っても時枝記事の反論に失敗するし、 極限を取らずに「 m は望むだけ大きくできる」と考えても失敗する。 ここがスレ主の限界。多項式環・形式的ベキ級数環で いくら屁理屈をこねくり回しても無駄。 805 名前：１３２人目の素数さん mailto:sage [2022/10/12(水) 01:02:09.29 ID:TRiiI02m.net] 細かいことだが、添え字が若干ズレてたな。 >>728 × s＝Σ[k＝0〜∞] s_k x^k と表したとき、t ＝ (s_m＋1)x^m＋Σ[k＝m＋1〜∞] s_k x^k と置けばよい。 〇 s＝Σ[k＝0〜∞] s_k x^k と表したとき、t ＝ (s_{m−1}＋1)x^{m−1}＋Σ[k＝m〜∞] s_k x^k と置けばよい。 >>730 × t^{m} ：＝ Σ[k＝0〜m−1] t_k x^k＋(s_m＋1)x^m＋Σ[k＝m＋1〜∞] s_k x^k 〇 t^{m} ：＝ Σ[k＝0〜m−2] t_k x^k＋(s_{m−1}＋1)x^{m−1}＋Σ[k＝m〜∞] s_k x^k 806 名前：１３２人目の素数さん [2022/10/12(水) 06:21:38.07 ID:d1b0AKbp.net] >>724 ＞意味わかんないけど 　長さを定義しないから、意味がわかんないんだよ 　尻尾の長さは始まりから終わりまでの項の数 　終わりがなければ、当然無限 　こんな簡単なことわかんないって人間失格だな、マジで 807 名前：１３２人目の素数さん [2022/10/12(水) 06:24:07.34 ID:d1b0AKbp.net] >>725 ＞「総和が∞」は、可測のうちだよ 否定してるのは 「∪K^n (n∈N)全体を1とするような測度が入れられる」 だが？　日本語読めないか 808 名前：１３２人目の素数さん [2022/10/12(水) 06:32:06.79 ID:d1b0AKbp.net] >>727-733 要するに>>1は極限が分かってない 中卒・高卒・文系卒・工学部卒等にありがちな症状 809 名前：１３２人目の素数さん [2022/10/12(水) 07:01:23.57 ID:9R3xgkXT.net] >>736 >＞「総和が∞」は、可測のうちだよ >否定してるのは >「∪K^n (n∈N)全体を1とするような測度が入れられる」 >だが？　日本語読めないか そもそも>>725 (引用開始) >>723 >アルキメデスの性質と可算加法性から総和が∞ >したがって、決定番号がnの集合は、nが何であれ非可測 (引用終り) だったろ？ ”否定してるのは 「∪K^n (n∈N)全体を1とするような測度が入れられる」” ならば、最初からそう書けば？ｗ 「非可測」という用語の使い方がへんｗ おまえの論法ならば、 無限集合は、ほとんど非可測じゃね？ｗ 810 名前：１３２人目の素数さん [2022/10/12(水) 07:21:15.46 ID:9R3xgkXT.net] >>735 >＞意味わかんないけど >　長さを定義しないから、意味がわかんないんだよ >　尻尾の長さは始まりから終わりまでの項の数 だから、そういう定義では、 コーシー列は収束しないだろ？ 例えば、円周率π を、無限小数展開する π＝3.141592・・・ 一方、これから有限小数列を作る π1＝3,π2＝3.1,π3＝3,14,・・・ πn＝3.141592・・ (小数第n-1位まで) ｜π-πn｜を考えると、これはどんどん小さくなって、コーシー列としてπに収束する 項の数は、無限だろうが、 しっぽは、小さくなっていると思って良いんじゃね？ｗ >　終わりがなければ、当然無限 それで済むなら、無限公理はいらんわな 「限りが無い」＝「無限」だけれど そして、「いかなる有限よりも大きい」＝無限大 だけれど 数理哲学的には、可能無限と実無限に分けられるよ （無限公理で、実無限ができる） 例えば ”多項式空間 K[x] や形式的冪級数の空間 K[[x]] は無限次元”>>601 柳田伸太郎 名古屋大より これで ”形式的冪級数の空間 K[[x]] と数列空間K^N は同じ線形空間と見なせる”>>601（実無限）だけれど 多項式空間 K[x] は、可能無限であって、数列空間K^N （＝ K[[x]] ）の真部分集合でしかない 811 名前：１３２人目の素数さん [2022/10/12(水) 07:34:44.29 ID:9R3xgkXT.net] >>723 >で、尻尾の同値類の代表元全体の空間はK^N/∪K^n (n∈N)であることもわかる。 それ良いと思う で、なにか K^N の元が与えられたとき 同値類の代表は、∪K^n (n∈N)から一つ元を選んで その二つの元の和を考えれば良い つまり、100個の代表を考えるなら、 ∪K^n (n∈N)から100個の元を選べば済む だから、 選択公理を使わないで済ますことができる 812 名前：１３２人目の素数さん [2022/10/12(水) 08:10:33.22 ID:9R3xgkXT.net] >>705 補足 >つまり、”時枝記事の「99/100以上」という勝率”が、根本から間違っているってこと 別の説明として 「発散する非正則分布で、有限のd1,d2,・・d100 を使うと、ランダム性（無作為性）が成り立たない。 　だから、確率計算になってない」 と思うよ つまり、非正則分布の代表例として、自然数Ｎ＝{1,2,・・,n,・・}を考える これは明らかに、中央値や平均値が無限大に発散しているし、分散も発散している 一方、有限のd1,d2,・・d100は 中央値や平均値も有限で、分散も有限だから < 813 名前：br> 両者は、確率論の視点では全く別物 これが、時枝記事のトリックの一つです（非正則分布は、確率計算に使えないのに、ごまかして使っているってこと） なお、有限のd1,d2,・・d100は、 代数学なら全く問題なしです （確率論とは立脚点が違うのです） [] [ここ壊れてます] 814 名前：１３２人目の素数さん [2022/10/12(水) 08:22:24.99 ID:nK7Tso5i.net] >>741 >非正則分布は、確率計算に使えないのに、ごまかして使っているってこと だーかーらー 早く記事本文からエビデンスを引用してね 数学板は妄想を語る所ではありません 815 名前：１３２人目の素数さん [2022/10/12(水) 08:39:18.34 ID:nK7Tso5i.net] >>740 >100個の代表を考えるなら、 ∪K^n (n∈N)から100個の元を選べば済む 大間違い 100列の決定番号は列kを選択する前に決定していなければならない。 おまえが言ってるのは、くじを引いた後に当たり外れを決める様なもの。 816 名前：１３２人目の素数さん [2022/10/12(水) 08:43:05.42 ID:nK7Tso5i.net] >>739 >だから、そういう定義では、 コーシー列は収束しないだろ？ 何の問題も無い そもそも箱入り無数目ではコーシー列を考える必要がないから 817 名前：１３２人目の素数さん [[ここ壊れてます] .net] >>741 >”時枝記事の「99/100以上」という勝率”が、根本から間違っているってこと だーかーらー 早く記事のどこがどう間違ってるのか示してね 数学板は妄想を語る所ではありません 818 名前：１３２人目の素数さん mailto:sage [2022/10/12(水) 11:38:08.07 ID:TRiiI02m.net] >>741 ＞つまり、100個の代表を考えるなら、 ＞∪K^n (n∈N)から100個の元を選べば済む ＞だから、 ＞選択公理を使わないで済ますことができる まさしく選択公理を使わずに時枝記事と同等のゲームを記述したのが>>581-583。 しかもスレ主お得意の多項式環・ベキ級数環まで忠実に再現している。 その >581-583 をいつまでもスルーし続けているのがスレ主という構図。 819 名前：１３２人目の素数さん mailto:sage [2022/10/12(水) 11:40:42.13 ID:TRiiI02m.net] >>741 ＞「発散する非正則分布で、有限のd1,d2,・・d100 を使うと、ランダム性（無作為性）が成り立たない。 ＞　だから、確率計算になってない」 "無限小" が云々とかいうスレ主の詭弁は>>727-734で完全に論破したので、これでは困ったスレ主は、 再び「時枝記事は非正則分布を使っている」という詭弁に里帰りすることにしたようである。 だが、それも無駄である。時枝記事で使われている分布は ・ {1,2,…,100} 上の一様分布 なのであって、 ・ {d1,d2,…,d100} 上の一様分布 ではないからだ。スレ主は後者だと勘違いしている。実際は前者である。 そして、前者は {1,2,…,100} という固定された有界集合である。 つまり、「発散する非正則分布」なんぞ時枝記事では使われてないのである。 そもそも、スレ主の屁理屈を使えば、>>581-583でも回答者の勝率はゼロになってしまう。 しかし、>581-583では回答者の勝率は 99/100 以上である。 820 名前：１３２人目の素数さん mailto:sage [2022/10/12(水) 11:47:59.54 ID:TRiiI02m.net] >>741 ＞つまり、非正則分布の代表例として、自然数Ｎ＝{1,2,・・,n,・・}を考える ＞これは明らかに、中央値や平均値が無限大に発散しているし、分散も発散している 時枝記事では、そのような非正則分布は使ってない。 ＞一方、有限のd1,d2,・・d100は ＞中央値や平均値も有限で、分散も有限だから ほらね、ここがスレ主の勘違い。スレ主は {d1,d2,…,d100} 上の一様分布が使われていると勘違いしている。 そうじゃないだろ。時枝記事で使われている分布は {1,2,…,100} 上の一様分布だろ。日本語が読めないのか？ ＞両者は、確率論の視点では全く別物 両者が別物なのはその通り。そして、時枝記事ではスレ主が提唱するところの前者(非正則分布)を使ってないし、 スレ主が提唱するところの後者({d1,d2,…,d100} 上の一様分布)も使ってない。 つまり、時枝記事では、スレ主が提唱する前者・後者のどちらも使ってない。 スレ主は前者と後者が別物だと指摘しているが、時枝記事では前者も後者も使ってないのだから、 両者が別物だからって時枝記事とは何の関係もない。 時枝記事で使われてるのは {1,2,…,100} 上の一様分布にすぎない。 821 名前：１３２人目の素数さん mailto:sage [2022/10/12(水) 12:04:33.50 ID: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 名前：１３２人目の素数さん mailto:sage [2022/10/12(水) 12:13:20.46 ID: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 名前：１３２人目の素数さん [2022/10/12(水) 19:55:03.55 ID:d1b0AKbp.net] >>738 ＞「非可測」という用語の使い方がへんｗ ＞おまえの論法ならば、無限集合は、ほとんど非可測じゃね？ｗ 　おまえ、正真正銘の馬鹿だな いかなる無限集合も非可測だ、とはいってない ただ、例えば｛１，２，３，４，・・・｝という集合で ｍ（｛１｝）＜ｍ（｛２｝）＜ｍ（｛３｝）＜ｍ（｛４｝）＜・・・ かつ、Ｍ（｛１，２，３，４，・・・｝）＜∞（つまり有限） とすることはできない　これ初歩な　分からん馬鹿は大学入れない 万が一入れても出れない　ま、工学部とかいう「専門学校」は知らんけどな 専門学校は算数ができればサルでも入れて出られる 工学博士はサルでも取れるザル資格としてサルに大人気 825 名前：１３２人目の素数さん [2022/10/12(水) 20:03:09.32 ID:d1b0AKbp.net] >>739 ＞コーシー列 　大学でε-Ｎ論法が理解できない馬鹿に限って 　コーシー列とわめきつづけるのが面白い 　よっぽど理解できなかったことが屈辱なんだろう（嘲） 尻尾の同値類は∪K^n (n∈N)だが、これは>>713の距離付けで完備ではない なぜなら、どんどん次数があがる多項式の列は ∪K^n (n∈N)の中で極限を持たないから それどころか、いかなる他の同値類の点についても、 それを極限とするような多項式の点列を構成し得る つまりコーシー列を考えた瞬間、貴様は馬鹿として奈落に落ちたわけだ 馬鹿はわけもわからず考えて間違う　下手な考え休むに似たり 826 名前：１３２人目の素数さん [2022/10/12(水) 20:05:54.34 ID:d1b0AKbp.net] >>740 ＞＞尻尾の同値類の代表元全体の空間はK^N/∪K^n (n∈N)であることもわかる。 ＞　それ良いと思う ＞　だから、選択公理を使わないで済ますことができる 　　ダラズが 　　K^N/∪K^n (n∈N)を構成するのに選択公理が必要 　　おまえ脳ミソサナダムシに食われまくってスッカスカなのか？ 　　 827 名前：１３２人目の素数さん [2022/10/12(水) 20:12:40.28 ID: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 名前：１３２人目の素数さん [2022/10/13(木) 08:03:03.01 ID:MxOOS5Ta.net] >>753 >　　K^N/∪K^n (n∈N)を構成するのに選択公理が必要 ？？ 商集合の構成には、選択公理は不必要では？ 商集合に分けたものが、有限なら有限に対する選択公理 商集合に分けたものが、可算なら可算に対する選択公理 商集合に分けたものが、非可算なら非可算に対する選択公理 が、代表系を構成するのに、それぞれ必要ってことでしょ？ そして、非可算に対するフルパワー選択公理を使うと 非可測集合たるヴィタリ集合（R/Q の代表系よりなる） が構成できるということでしょ 829 名前：１３２人目の素数さん [[ここ壊れてます] .net] >>741 補足 ともかく １）時枝記事は、数学的には終わっている 　つまり、IID(独立同分布)を考えれば、確率変数Ｘｉ i∈Ｎで、 　時枝は終わっている 　つまり、確率99/100は否定される ２）残る問題は 　・時枝トリックの謎解き 　・もっと言えば、なぜ当たらないのに当たるように見えるか？ 　　ってことだけ ３）思うに 　”d1,d2,・・,d100 固定”が 　代数学としては許されるが 　確率計算としては、確率的には根拠レスで使えないってことじゃね？ｗ 830 名前：１３２人目の素数さん mailto:sage [2022/10/13(木) 12:52:16.65 ID: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 名前：１３２人目の素数さん mailto:sage [2022/10/13(木) 12:54:42.93 ID: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 名前：１３２人目の素数さん mailto:sage [2022/10/13(木) 12:58:36.07 ID: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 名前：１３２人目の素数さん mailto:sage [2022/10/13(木) 13:01:56.04 ID: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 名前：１３２人目の素数さん mailto:sage [2022/10/13(木) 13:09:27.28 ID:ve7b2LlS.net] 時枝記事も同じ立場を採用しており、出題を固定した状況で回答者の勝率が 99/100 以上であることを示している。 それが示せるなら、それに越したことはないのだから、結局、時枝記事は正しい。 あるいは、次のようにも言える。スレ主は「IID確率変数 X_i (i∈N)」にこだわっているが、それは 「出題がランダムなら、回答者には何のヒントもないのだから、回答者が当たるわけがない」 という直観に基づいている。では、出題を固定した場合には、回答者には どんなヒントが提供されるのか？ いや、何のヒントも提供されない。回答者から見れば、「どんな出題を固定したのか分からない。ヒントがない」 としか映らないからだ。よって、スレ主は 「出題を "固定" したって、回答者には何のヒントもないのだから、回答者が当たるわけがない」 という立場を取らなければダブルスタンダードである。ところが、スレ主は「固定はインチキだ」と言っている。 つまり、スレ主は暗黙のうちに 「出題を固定すること自体が、回答者にとっては大きなヒントになっている」 というパラドックスを前提にしていることになる。スレ主の立場はここで崩壊する。 結局、スレ主だけがずっと間違い続けている。 835 名前：１３２人目の素数さん mailto:sage [2022/10/13(木) 13:33:17.26 ID:ve7b2LlS.net] というわけで、 ＞３）思うに ＞　”d1,d2,・・,d100 固定”が ＞　代数学としては許されるが ＞　確率計算としては、確率的には根拠レスで使えないってことじゃね？ｗ これに対する反論は>>758-761で完結した。スレ主は 「 d を固定するのは代数学としては許されるが、確率論的には根拠がないのでナンセンスである」 と主張しているわけだが、ちゃんと確率論的な根拠と意味付けがあったわけだ(>>758-761)。 ただ単に、スレ主が確率論の基礎を理解してなかっただけの話。具体的に言えば、 「確率空間の積空間において、片方の空間の元を固定したときの切片として出現する事象の確率を計算する」 という行為を、スレ主は1ミリも理解してなかったということ。 おバカのスレ主のために、もっと簡単に説明してやると、出題を固定したって、回答者から見れば 「どんな出題を固定したのか分からない。ヒントがない」としか映らないのだから、 出題を固定すること自体が「確率論的な文脈を破壊する」なんて状況にはならない、ということｗ スレ主は「固定した時点で確率論的な文脈が破壊される」と思っているようだが、 それはスレ主の勘違いだということ。 836 名前：１３２人目の素数さん [2022/10/13(木) 14:01:01.40 ID:NWPTDBix.net] >>756 >つまり、IID(独立同分布)を考えれば、確率変数Ｘｉ i∈Ｎで、 それは時枝戦略の確率変数ではない。 記事のどこを読んでるの？日本語読めない？なら小学校の国語が先だね >　時枝は終わっている >　つまり、確率99/100は否定される 時枝戦略を否定したいなら時枝戦略を語って下さい。 違う話を語ってもただただナンセンスなだけ。 837 名前：１３２人目の素数さん [2022/10/13(木) 14:23:32.87 ID:NWPTDBix.net] >>755 >商集合の構成には、選択公理は不必要では？ 構成自体が要らない。 集合XとX上の同値関係〜を定めれば商集合X/〜も定まる。 >商集合に分けたものが、有限なら有限に対する選択公理 任意の有限族の選択関数の存在は自明だから余計な公理は不要。 838 名前：１３２人目の素数さん [2022/10/13(木) 14:30:32.40 ID:NWPTDBix.net] >>762 >スレ主は「固定した時点で確率論的な文脈が破壊される」と思っているようだが、 >それはスレ主の勘違いだということ。 その通り 中卒くんは何が定数で何が確率変数かの設定をまったく読み解けていない 数学の前に国語を勉強すべき 839 名前：１３２人目の素数さん mailto:sage [2022/10/13(木) 19:12:00.05 ID:AMr2WmgW.net] >>755 >商集合の構成には、選択公理は不必要では？ 商集合の元が同値類そのものなら不必要だが >>740では「同値類の代表元全体の空間」 といってるから、選択公理は必要 無駄なツッコミ５９６３ >商集合に分けたものが、有限なら有限に対する選択公理 >が、代表系を構成するのに、…必要ってことでしょ？ 1行目「、」の位置が不適切 正しい文章は「商集合に分けたものが有限なら、」な その上で、内容が誤り 商集合が有限なら、選択公理は必要ない。 で、>>754には反論できず悶死か　御愁傷様 840 名前：１３２人目の素数さん mailto:sage [2022/10/13(木) 19:12:32.37 ID:AMr2WmgW.net] >>756 ともかく、 １）望月論文は、数学的には終わっている 　つまり、平均化すれば　j^2キャンセルで、 　望月は終わっている 　つまり、Corollary3.12の証明は否定される ２）残る問題は 　・望月の宇宙際トリックの謎解き 　・もっといえば、なぜ証明できたように見えるか？ 　ってことだけ ３）思うに 　”入れ子の宇宙”が思考としては許されるが 　数学理論としては、何でも証明可（つまり矛盾）だから 　却下！ってオチじゃね？ え、ここ箱入り無数目スレ？・・・誤爆かｗ 841 名前：１３２人目の素数さん [2022/10/13(木) 23:33:07.75 ID:MxOOS5Ta.net] >>766 >商集合の元が同値類そのものなら不必要だが >>>740では「同値類の代表元全体の空間」 >といってるから、選択公理は必要 誤魔化しだな。>>740なんてかんけーねｗ 正確に引用するよ 　>>755より (引用開始) >>753 >　　K^N/∪K^n (n∈N)を構成するのに選択公理が必要 ？？ 商集合の構成には、選択公理は不必要では？ 商集合に分けたものが、有限なら有限に対する選択公理 商集合に分けたものが、可算なら可算に対する選択公理 商集合に分けたものが、非可算なら非可算に対する選択公理 が、代表系を構成するのに、それぞれ必要ってことでしょ？ そして、非可算に対するフルパワー選択公理を使うと 非可測集合たるヴィタリ集合（R/Q の代表系よりなる） が構成できるということでしょ (引用終り) 842 名前：１３２人目の素数さん [2022/10/13(木) 23:36:21.48 ID:MxOOS5Ta.net] >>767 それ面白いな １）望月論文は、数学的には、論文は受理され、査読され、出版された ２）シンポジウムも、多数ある ３）問題は、 ・望月の宇宙際トリックの謎解き ・もっと分かり易い説明が必要だ ４）それは、これからの仕事で� 843 名前：ｵょ [] [ここ壊れてます] 844 名前：１３２人目の素数さん [2022/10/13(木) 23:40:26.79 ID:MxOOS5Ta.net] >>756 補足 １）ともかく、大学教程の確率論、確率過程論を勉強して、ちゃんと単位を取った人は 　時枝記事などに惑わされることはない ２）可算無限数列のしっぽを使った決定番号 　そこから、d1,d2,・・・d100を使うトリック ３）結局ここで、確率論を踏み外しているんだｗ 845 名前：１３２人目の素数さん [2022/10/14(金) 00:42:25.36 ID:EE9vbJZt.net] >>770 具体的にお願いしますね 記事のどの部分がどう間違ってると？ 846 名前：１３２人目の素数さん [2022/10/14(金) 05:32:01.93 ID:jvsyohQG.net] >>771 中卒には無理だろ 大学教程の確率論、確率過程論を勉強したことなんて一度もない筈 だって大学に入れなかったんだから ああ、工学部は別な　あれ、ただの「専門学校」だから 奴等は算数はできるが、論理による思考はできない だから数学理論は全く理解できないし　証明も全く読めない 実数の公理を何の前提もなく証明しようとしてできず悶絶する馬鹿 それが中卒 847 名前：１３２人目の素数さん [2022/10/14(金) 05:35:27.56 ID:jvsyohQG.net] >>768 ＞誤魔化しだな。>>740なんてかんけーねｗ 　誤魔化してるのは中卒、 　論理が解らん馬鹿には 「同値類の空間」と「同値類の代表元全体の空間」 　の違いが理解できんｗ 　それから、有限の選択公理は必要ない 　有限なら力ずくで選択できるからｗｗｗ 848 名前：１３２人目の素数さん [2022/10/14(金) 06:01:48.55 ID:jvsyohQG.net] >>769 それつまらんわ ＞望月論文は、数学的には、論文は受理され、査読され、出版された 　重要な問題の証明なのに査読者は非公開 　SSの指摘に何の意味ある反論もなく受理、出版 　日本数学界の後進性を露骨に示す事例だな 　日本の知的レベルはアフガニスタンとかイエメン並み ＞シンポジウムも、多数ある 　でも肝心のCorollary 3.12の説明はなし 　そもそもそれ自体誤りの可能性大 　DupuyとHiladoは、まず、Corollary 3.12が 　「いかなる命題も導ける最強の前提」 　だと示すべきだったな 849 名前：１３２人目の素数さん [2022/10/14(金) 06:09:41.00 ID:jvsyohQG.net] >>769 ＞問題は、 ＞・望月の宇宙際トリックの謎解き ＞・もっと分かり易い説明が必要だ ＞それは、これからの仕事でしょ 「なぜ証明できたように見えるか？」分かりやすい説明が必要だ。 望月新一には無理だろう 説明するのはScholzeか？Dupuyか？それとも第三の男か？ 望月新一のIUTTが、ヒルベルト・プログラムだとしたら ヒルベルト・プログラムの破綻を示した不完全性定理にあたるのは何か そして、その何かを示すのは誰か？ 850 名前：１３２人目の素数さん [2022/10/14(金) 06:15:28.09 ID:jvsyohQG.net] では予言しておこう 851 名前：１３２人目の素数さん [2022/10/14(金) 06:16:33.61 ID:jvsyohQG.net] >>770 【予言】 自己言及、自己相似とパラドックスの関係を理解したならば IUTTなどに惑わされることはなくなるだろう 入れ子の宇宙、そして、宇宙のｎ倍を無理矢理元の宇宙につなげる エッシャ―の「プリント・ギャラリー」のようなトリック 結局、それが、理論全体の整合性を打ち壊している、と示される筈 852 名前：１３２人目の素数さん mailto:sage [2022/10/14(金) 06:27:50.53 ID:qAcMEQxL.net] 100枚の封筒(>>690-693)を例にとる。 スレ主は「出題を固定した時点で確率論的な文脈が破壊される」と勘違いしているが、 実際にはそうではない。出題 d を固定した時点で、 「もともとの事象の、d における断面」 が新たな事象として登場するだけであり、確率論的な文脈は この事象に引き継がれるだけである。 厳密に書けば、もともとの事象を B として、出題 d を固定したなら、B の d における切片 B_d が定義できて、 「確率論的な文脈は、この新たな事象 B_d に引き継がれるだけ」 である。つまり、出題 d を固定しても、確率論的な文脈は全く破壊されない。 853 名前：１３２人目の素数さん mailto:sage [2022/10/14(金) 06:28:24.60 ID:qAcMEQxL.net] 要するに、スレ主が「確率空間の積空間」の概念を全く理解してないというだけの話である。 ・ 積空間においては、片方の空間の元を固定すると、その元 854 名前：における断面として 　 新たな事象が出現し、確率論的な文脈はその事象に引き継がれる。 ・ ところが、「断面」という視点が抜け落ちたスレ主にとっては、 　「確率論的な文脈を引き継ぐ対象が存在しない」ように見えてしまう。 ・ だからこそ、スレ主は「固定した時点で確率論的な文脈が破壊される」と勘違いしているのだ。 ・ 実際には、確率論的な文脈は「断面」に引き継がれる。スレ主が「断面」という概念を理解してないだけ。 [] [ここ壊れてます] 855 名前：１３２人目の素数さん mailto:sage [2022/10/14(金) 06:38:20.27 ID:qAcMEQxL.net] >>770 ＞２）可算無限数列のしっぽを使った決定番号 ＞　そこから、d1,d2,・・・d100を使うトリック ＞３）結局ここで、確率論を踏み外しているんだｗ 全く踏み外していない。 ・ >>690-693の場合だと、d を固定したとき、A の d における断面 A_d が新たな事象として出現し、 　 確率的な文脈は A_d に引き継がれる。すなわち、d を固定しても確率論的な文脈は破壊されない。 　 別の言い方をすれば、d を固定することの確率論的な根拠と意味付けが断面 A_d によって担保される。 ・ A_d は確率空間(I, pow(I), η)において可測なので、η(A_d)が定義できて、しかも η(A_d) ≧ 99/100 である。 　 これが言えると何がうれしいのかと言うと、フビニの定理から直ちに P(A) ≧ 99/100 が従うのがうれしい。 ・ これは一般的に成り立つ。すなわち、B を事象として、もし ∀d∈N_100 s.t η(B_d) ≧ 99/100 が成り立つなら、 　 フビニの定理から直ちに P(B) ≧ 99/100 が従う。すなわち、η(B_d) ≧ 99/100 という性質は 　 P(B) ≧ 99/100 よりも深い性質を述べているのであり、η(B_d) ≧ 99/100 が示せるなら、それに越したことはない。 ・ そして、η(A_d) ≧ 99/100 は「 d を固定したときの回答者の勝率が 99/100 以上」という意味である。 　 これが示せるなら、それに越したことはないということ。時枝記事はまさにこれ。 以上の理由により、時枝記事は確率論を全く踏み外してない。 単にスレ主が、確率空間の積空間において出現する「断面」を見落としているだけ。 856 名前：１３２人目の素数さん [2022/10/14(金) 13:12:44.70 ID:EE9vbJZt.net] >>770 �@任意の実数列の決定番号は自然数である �A100列の決定番号はどれも自然数だから最大値がある �B最大決定番号の列は1列または複数列である。 　�B-1 複数列なら100列のどの列を選んでも勝てる。 　�B-2 1列ならその列以外を選べば勝てる。 �C列選択はランダムだから勝率は99/100以上である。 �@〜�Cのどれが間違ってると？ 857 名前：１３２人目の素数さん [2022/10/14(金) 20:43:58.48 ID:vJZfsUiI.net] >>770 補足 １）全国区世論調査に例えれば、時枝さんは、 　ランダムに抽出して世論調査をしたと言いながら 　その実、ランダムでなく偏りのある世論調査だってこと ２）全国区世論調査なら、北は北海道から南は九州沖縄まで、無作為抽出すべき 　ところが、南の九州の離れ小島だけ抽出したら？ 　それはまずい。島の人口100人で、99％の内閣支持率だという 　だけど、日本人口1億人の中では、ほとんど0でしょ。つまり、0*(99/100)＝0だ ３）同様に、d1,d2,・・・d100は、 　例えば自然数Ｎ全体からみれば 　原点0の近くの有限部分でしかない 　自然数Ｎ全体は、可算無限集合だから、 　d1,d2,・・・d100の最大値を超えた領域の方が圧倒的に大きい 　上記の世論調査と同様 d1,d2,・・・d100の領域は全体から見れば0に等しい 　よって、0*(99/100)＝0だなｗ 858 名前：１３２人目の素数さん [2022/10/14(金) 21:01:34.28 ID:jvsyohQG.net] >>782 中卒は平均がない分布で平均を考える、最低最悪の馬鹿ｗ 859 名前：１３２人目の素数さん [2022/10/14(金) 21:22:52.81 ID:EE9vbJZt.net] >>782 >１）全国区世論調査に例えれば 例えなくていいよ 記事原文のどこに間違いがあるかだけずばり答えて 860 名前：１３２人目の素数さん mailto:sage [2022/10/14(金) 21:33:53.82 ID:qAcMEQxL.net] >>782 ＞３）同様に、d1,d2,・・・d100は、 ＞　例えば自然数Ｎ全体からみれば ＞　原点0の近くの有限部分でしかない 間違っている。時枝記事では {d1,d2,…d100} 上の一様分布を採用しているのではなく、 {1,2,…,100} 上の一様分布を採用しているのである。{1,2,…,100} は固定された有界集合である。 ＞　自然数Ｎ全体は、可算無限集合だから、 ＞　d1,d2,・・・d100の最大値を超えた領域の方が圧倒的に大きい ＞　上記の世論調査と同様 d1,d2,・・・d100の領域は全体から見れば0に等しい ＞　よって、0*(99/100)＝0だなｗ 同様の屁理屈が>>581-583にも適用できてしまい、>581-583でも回答者の勝率はゼロになってしまう。 しかし、>581-583では回答者の勝率は 99/100 以上である。 そして、スレ主は>581-583をスルーし続けている。ここがスレ主の限界。 861 名前：１３２人目の素数さん mailto:sage [2022/10/14(金) 21:41:18.53 ID:qAcMEQxL.net] 100枚の封筒(>>690-693)を例にとる。この設定では、 封筒の中身は「確率 1/2^k で 4^k ドル」(k≧1) なので、金額に上限はない。 さて、出題者が d＝(d1,d2,…,d100)∈N_100 を固定するとき、回答者の勝率は 99/100 以上になるのだった。 厳密に書けば、A の d における切片 A_d について、η(A_d) ≧ 99/100 が成り立つのだった。 すると、フビニの定理によって P(A) ≧ 99/100 が成り立つのだった。 ところが、スレ主の屁理屈によると、次のようになる。 ・ 100枚の封筒の中身 d1,d2,…d100 に上限はないので、自然数Ｎ全体からみれば、 　 d1,d2,…d100 は原点0の近くの有限部分でしかない。すると、上記の世論調査と同様、 　 d1,d2,・・・d100の領域はＮ全体から見れば0に等しい。よって、0*(99/100)＝0 である。 　 つまり、P(A)＝0 である。 これがスレ主の言っていること。明確に間違っている。 862 名前：１３２人目の素数さん [2022/10/14(金) 21:41:26.96 ID:EE9vbJZt.net] >>770 もしかして >�@任意の実数列の決定番号は自然数である が間違いだと思ってる？ なら反例を挙 863 名前：げてみて [] [ここ壊れてます] 864 名前：１３２人目の素数さん mailto:sage [2022/10/14(金) 21:51:00.93 ID:qAcMEQxL.net] >>782 ＞　上記の世論調査と同様 d1,d2,・・・d100の領域は全体から見れば0に等しい ＞　よって、0*(99/100)＝0だなｗ この論法はスレ主がよく使う手口であるが、詭弁である。どこが詭弁なのかは、 このスレの前半部分で散々指摘しているのだが、ここで簡潔に再掲しよう。 閉区間[0,1]の中からランダムに1つ実数を選んで x とする。 x＞1/3 ならスレ主の勝ちで、x≦1/3 ならスレ主の負けとする。 このとき、スレ主の勝率は 2/3 であるが、スレ主の屁理屈によれば、次のようになる。 ・ 閉区間 [0,1] の中からどんな x を選んでも、その x という一点は閉区間 [0,1] の中で確率ゼロである。 ・ となれば、例えばの話として、もし x＝0.51 ならスレ主の勝ちだが、そもそも x＝0.51 が起こる確率はゼロである。 ・ 他の例としては、もし x＝0.9 ならスレ主の勝ちだが、そもそも x＝0.9 が起こる確率はゼロである。 ・ 同じように、a∈(1/3, 1] のとき、もし x＝a ならスレ主の勝ちだが、x＝a が起こる確率は a ごとに確率ゼロである。 ・ このように、スレ主が勝つような「x＝a」は、確かにその「x＝a」が発生しさえすればスレ主の勝ちなのだが、 　 そもそも「x＝a」が発生する確率自体が a ごとに常に確率ゼロになっている。 ・ ゆえに、スレ主が勝つ確率は実際にはゼロである。勝率 2/3 なんて大嘘である。 これがスレ主の言っていること。何が間違っているのかは明白で、単純に確率の計算方法が間違っている。 つまり、時枝記事が間違っているのではなく、スレ主が確率の計算を間違えているだけ。 865 名前：１３２人目の素数さん mailto:sage [2022/10/14(金) 22:06:56.24 ID:qAcMEQxL.net] >>782 ＞２）全国区世論調査なら、北は北海道から南は九州沖縄まで、無作為抽出すべき ＞　ところが、南の九州の離れ小島だけ抽出したら？ ＞　それはまずい。島の人口100人で、99％の内閣支持率だという 再び100枚の封筒(>>690-693)で説明するが、まず ∀d∈N_100 s.t η(A_d)≧99/100 が成り立っていて、 フビニの定理から P(A)≧99/100 を得るのだった。ここで、「 d ごとに η(A_d)≧99/100 が成り立つ」とは、 ・ 固定された100人において 99％の支持率 に対応する。ただし、勘違いしてはいけないのは、ある1つの d＝(d1,d2,…,d100)に対してのみ η(A_d) ≧ 99/100 が示せたのではなく、他の任意の d∈N_100 に対しても η(A_d)≧99/100 が 示せているということ。実際、∀d∈N_100 s.t η(A_d)≧99/100 という論理式にはちゃんと 「 ∀d∈N_100 」がついていることに注意せよ。つまり、 ・ ある島Vから選んだ100人で、99％の支持率 ・ 別の島Wから選んだ人口100人で、99％の支持率 ・ 北海道と沖縄から選んだ100人で、99％の支持率 ・ 東京都と京都と大阪から選んだ100人で、99％の支持率 ・ ある島Vと別の島Wと北海道と沖縄と大阪から選んだ100人で、99％の支持率 　　： 　　： というふうに、「日本全国から抽出した、あらゆる全ての100人の組み合わせ」に対して99％の支持率だということ。 それに対応するのが ∀d∈N_100 s.t η(A_d)≧99/100 だということ。 そして、それを示しているのが時枝記事だということ。つまり、時枝記事の確率計算には、 スレ主が言うところの「偏り」(一部の島でしか世論調査してないという偏り)なんぞ全く生じていない。 866 名前：１３２人目の素数さん [2022/10/14(金) 22:54:51.06 ID:vJZfsUiI.net] >>789 >スレ主が言うところの「偏り」(一部の島でしか世論調査してないという偏り)なんぞ全く生じていない。 発生している 正則分布なら、無作為抽出は可能でも 非正則分布では、無作為抽出（ランダム抽出）は、原理的に無理でしょ だって、コルモゴロフの確率公理を満たさないんだからｗ 867 名前：１３２人目の素数さん mailto:sage [2022/10/14(金) 23:30:12.80 ID:qAcMEQxL.net] >>790 [世論調査の場合] スレ主は世論調査をする。「日本全体から100人をピックアップして、その100人の中で支持率を算出する」 という方法を取る。スレ主としては、支持率がなるべく「低い」ような調査結果であってほしい。 そのためには、スレ主にとって「有利な100人」がピックアップされればよい。極端なことを言えば、 ある100人の中での支持率がゼロなら、スレ主は毎回その固定された100人にアンケートを取ればよい。 そうすれば、毎回必ず「支持率ゼロ」が実現できる。 では、どうやってそのような100人を見つけるのか？簡単である。日本全体から、 あらゆる全ての100人の組み合わせをピックアップして、それぞれの100人に対して支持率を調べればよい。 「支持率ゼロ」であるような100人が見つかれば成功である。ここでは、その結果が次のようになったとしよう。 ∀d ∈ {あらゆる100人の集合} s.t この d の中での支持率は99％以上. つまり、あらゆる100人の組み合わせについて、その100人の中での支持率は99%以上という結果になったとしよう。 この場合、スレ主にとって「有利な100人」は存在しないことになる。 868 名前：１３２人目の素数さん mailto:sage [2022/10/14(金) 23:35:55.45 ID:qAcMEQxL.net] 注意点：上記のように、 ∀d ∈ {あらゆる100人の集合} s.t この d の中での支持率は99％以上 が成り立っている場合(あくまでもそういう場合)、もはや「日本国民の無作為抽出」に拘っても 　意　味　が　な　い　 ことに注意せよ。� 869 名前：ﾈぜなら、たとえ無作為に100人を抽出しても、結局、 「その100人の中での支持率は99％以上」 になってしまうからだ。なぜそうなってしまうのかと言えば、 「あらゆる100人の組み合わせで支持率が99％」 だからだ。 [] [ここ壊れてます] 870 名前：１３２人目の素数さん mailto:sage [2022/10/14(金) 23:37:53.77 ID:qAcMEQxL.net] 　 [時枝記事の場合] スレ主は出題者である。スレ主は実数列を出題し、回答者は時枝戦術に沿って回答する。 1つの出題 s∈[0,1]^N に対して、s のみに依存した100個の決定番号 d＝(d1,d2,…,d100) が出力される。 回答者の勝率は、この d＝(d1,d2,…,d100) の良し悪しで決まる。 スレ主としては、回答者の勝率がなるべく「低い」ようになってほしい。 そのためには、スレ主にとって「有利な100個の決定番号」がピックアップされればよい。 極端なことを言えば、ある100個の決定番号のもとで「回答者の勝率がゼロ」なら、 スレ主は毎回その固定された100個の決定番号を出力すればよい(厳密に言えば、そのような (d1,d2,…,d100) が出力されるような実数列 s を毎回出題すればよい)。 そうすれば、毎回必ず「回答者の勝率はゼロ」が実現できる。 871 名前：１３２人目の素数さん mailto:sage [2022/10/14(金) 23:38:50.95 ID:qAcMEQxL.net] では、どうやってそのような100個を見つけるのか？ 簡単である。あらゆる全ての可能な100個の決定番号の組み合わせをピックアップして、 その100個に対する回答者の勝率を調べればよい。「勝率ゼロ」であるような100個が見つかれば成功である。 ところで、100個の決定番号は s∈[0,1]^N に依存して決まるので、これは結局、 「あらゆる s∈[0,1]^N をピックアップして、この s に対する回答者の勝率を調べればよい」 ということになる。その結果、時枝記事に書いてあるとおり、次のようになる。 ∀s ∈ [0,1]^N s.t 出題者がこの s を出題すると、回答者の勝率は 99/100 以上になる. つまり、あらゆる全ての可能な100個の決定番号の組み合わせについて、 その100個のもとでの回答者の勝率は99％以上であるということ。 これはどういうことかと言えば、スレ主にとって「有利な100個の決定番号」は存在しないということ。 872 名前：１３２人目の素数さん mailto:sage [2022/10/14(金) 23:44:39.36 ID:qAcMEQxL.net] 注意点： ∀s ∈ [0,1]^N s.t 出題者がこの s を出題すると、回答者の勝率は 99/100 以上になる が成り立つことから、もはや実数列 s∈[0,1]^N を一様分布に従ってランダムに出題することに拘っても 意味がないことに注意せよ。なぜなら、たとえランダムに s を出題しても、結局、 「その s では回答者が99/100 以上の勝率を誇る」からだ。 873 名前：１３２人目の素数さん mailto:sage [2022/10/14(金) 23:50:47.38 ID:qAcMEQxL.net] ご覧のとおり、世論調査と時枝記事で、論理的な構図が全く同じである。 ところで、スレ主は時枝記事に対して次のように主張していた。 ・ 時枝記事は、世論調査で言えば、ある島の100人のみを対象とした支持率を調査しているようなものであり、 　 日本国全体を考慮に入れているとは言えない。ここが時枝記事のタネだ！ しかし、これはスレ主の勘違いである。時枝記事では、「ある島の100人のみを対象としている」のではなくて、 「あらゆる全ての可能な100人の組み合わせ」をちゃんと調べているのである。すなわち、日本国全体を考慮に入れている。 そして、その結果、 「あらゆる全ての可能な100個の決定番号の組み合わせについて、その100個のもとでの回答者の勝率は99％以上である」 ということが時枝記事の中で導出されている。世論調査で言えば、 「あらゆる全ての100人の組み合わせについて、その100人の中での支持率は99%以上である」 という驚愕の事実が　実　際　に　言　え　て　い　る　のが時枝記事なのである。 そして、この驚愕の事実が実際に言えてしまった以上、もはや「日本国民の無作為抽出」に拘っても意味がない(>>792)。 以上により、世論調査を用いたスレ主の論法は崩壊した。 874 名前：１３２人目の素数さん [2022/10/15(土) 00:22:42.74 ID:CSS+wolk.net] >>790 >発生している >正則分布なら、無作為抽出は可能でも >非正則分布では、無作為抽出（ランダム抽出）は、原理的に無理でしょ 非正規分布を使っているエビデンスを記事原文から引用せよ 引用できなければチンピラの言いがかりと解釈させて頂きますね 875 名前：１３２人目の素数さん [2022/10/15(土) 02:01:29.77 ID:CSS+wolk.net] ×非正規分布　〇非正則分布 876 名前：１３２人目の素数さん [2022/10/15(土) 06:31:26.28 ID:fmV1e3Cz.net] >>773 >「同値類の空間」と「同値類の代表元全体の空間」 >　の違いが理解できんｗ 誤魔化しだな。>>768 理解できていないのは、あなた。それを指摘したのは私ですｗ>>755ｗｗｗ 877 名前：１３２人目の素数さん [2022/10/15(土) 09:03:56.29 ID:9USD/krw.net] >>799 なにいってんだこの中卒白痴ｗ K^N　を、ファイバー∪K^n (n∈N)のファイバー空間と考えるなら 底空間としてのK^N/∪K^n (n∈N)は、当然 「同値類の代表元全体の空間」でなければならない こんな初歩も分からん馬鹿は金輪際数学板に書くな（嘲） ウィキペディアの「ABC予想」でもっちー礼賛の💩文でも書いてろ 878 名前：１３２人目の素数さん [2022/10/16(日) 22:47:04.82 ID:QKipb+mA.net] >>800 >底空間としてのK^N/∪K^n (n∈N)は、当然 >「同値類の代表元全体の空間」でなければならない 意味不明 １）K^N/∪K^n (n∈N)は、当然同値類のことでしょ？ｗ ２）”X に同値関係 ～ を「x ～ y ?⇒ ある σ ∈ F2 が存在して y = σx」で定める． 　選択公理により商集合 X/ ～ の完全代表系 M を取ることができる．”(下記 関西すうがく徒のつどい @alg_d) (参考) http: 879 名前：//alg-d.com/math/ac/tsudoi3.pdf 第三回関西すうがく徒のつどい 数学の諸定理と選択公理の関係 @alg_d 2013 年 3 月 17 日 今回は「選択公理がないと宇宙がヤバイ」という話をします． Ｐ10 X に同値関係 ～ を「x ～ y ?⇒ ある σ ∈ F2 が存在して y = σx」で定める． 選択公理により商集合 X/ ～ の完全代表系 M を取ることができる． https://ja.wikipedia.org/wiki/%E5%90%8C%E5%80%A4%E9%A1%9E 同値類 ある集合 S の元が（同値関係として定式化される）同値の概念を持つとき，集合 S を同値類（どうちるい，英: equivalence class）たちに自然に分割できる． フォーマルには，集合 S と S 上の同値関係 ～ が与えられたとき，元 a の S における同値類は，a に同値な元全体の集合 {x∈ S ｜ x ～ a } である．「同値関係」の定義から同値類は S の分割をなす． この分割，同値類たちの集合，を S の ～ による商集合 (quotient set) あるいは商空間 (quotient space) と呼び，S/～ と表記する． https://www.math.nagoya-u.ac.jp/~yanagida/19S/20190411.pdf 2019/04/11 配布 数学演習 VII・VIII 4 月 11 日分問題 担当: 柳田伸太郎 1 復習 1 (集合と写像, 同値関係と商集合) 1.2 同値関係と商集合 [] [ここ壊れてます] 880 名前：１３２人目の素数さん [2022/10/17(月) 04:16:28.45 ID:Re5LW4T3.net] >>801 ＞１）K^N/∪K^n (n∈N)は、当然同値類のことでしょ？ｗ 　誤りｗ 　１同値類は∪K^nと同型 　同値類の１つ１つを要素とする集合がK^N/∪K^n (n∈N) 　 　例えば２で割った余りが同じ数を同値とする場合 　同値類は｛０，２，４，・・・｝と｛１，３，５，・・・｝の２つ 　それらを要素とする集合は 　｛｛０，２，４，・・・｝、｛１，３，５，・・・｝｝ 　で、代表元をとれば 　｛０．１｝ 　両者は全単射が存在するから集合として等しくはないが同型 881 名前：１３２人目の素数さん [2022/10/17(月) 06:49:29.06 ID:qQwmejim.net] >>801 補足 同値類は、置換の公理で済む。選択公理はいらないみたい つまり、下記 置換の公理→関係→同値関係→「したがって同値類や商集合が定義できます」 で、選択公理により、下記”単射 Y → X が存在する”の部分、つまり「各同値類から、完全代表系を作ることができる」が示せるってこと (参考) https://math-fun.net/20200113/4906/ 趣味の大学数学 公理的集合論をわかりやすく解説：ZFC公理系を例に 2022年2月19日 木村（@kimu3_slime） 置換の公理 置換の公理は、もしxに応じてある条件Φを満たすyが一意に存在するならば、そのような条件Φを満たすx,yx,yの組の集合が存在する、と言っていますね。「対応関係」を集合に置き換える公理です。 さらに同様のことをして、(A,B)の組のようなものが作れ、その和集合として直積が定義されます。 さらには、関係（relation）が定義できます。 それは、順序対の集合です。つまり、直積集合A×Bの部分集合Rを、二項関係（binary relation）と呼びます。もし(x,y)∈Rなら、x,yは関係していると考えるわけですね（直積がn個ならn項関係です。） そして関係を使えば、写像・関数（mapping, function）が定義できます。 公理から導かれる結果 関係からは同値関係が定義でき、したがって同値類や商集合が定義できます。 https://www.math.nagoya-u.ac.jp/~yanagida/19S/20190411.pdf 2019/04/11 配布 数学演習 VII・VIII 4 月 11 日分問題 担当: 柳田伸太郎 1 復習 1 (集合と写像, 同値関係と商集合) ｐ４ なお, 選択公理を仮定すると次の主張が示せる. 事実. 集合 X, Y について, 全射 f : X → Y が存在すれば単射 Y → X が存在する. 特に Card Y <= Card X. 証明は, 例えば参考文献 [斎藤 09] の命題 2.7.5 を参照すること. [斎藤 09] 斎藤毅 「集合と位相」 大学数学の入門 8, 東京大学出版会 (2009). https://ja.wikipedia.org/wiki/%E5%90%8C%E5%80%A4%E9%96%A2%E4%BF%82 同値関係 商集合 S の相異なるすべての同値類から代表元を1つずつ集めて作った S の部分集合のことを、集合 S における同値関係 ～ の（あるいは商集合 S/～ の）完全代表系 (complete system of representatives) と呼ぶ。 882 名前：１３２人目の素数さん [2022/10/17(月) 07:15:48.43 ID:qQwmejim.net] >>801 追加 alg-d 壱大整域 さんか、 下記なども面白いね alg-d.com/math/ac/ alg-d トップ > 数学 > 選択公理 TOP: 壱大整域 alg-d.com/math/ac/tsudoi4.pdf 第四回　関西すうがく徒のつどい「代数学における選択公理」　PDF版 2013 年 9 月 21 日 (抜粋) 1 Six Impossible Rings ZFC では存在できないとよく知られている環を 6 つ《構成》したという論文である． (正確に言えば，そのような環が存在する ZF のモデルを構成したということ．) 　以下，環とは単位元を持つ可換環を指す． 定理. ZF では以下のような環が存在しうる． (1) 極大イデアルを持たない整域で，任意のイデアルが有限生成となるもの． (引用終り) ”(1) 極大イデアルを持たない整域で，任意のイデアルが有限生成となるもの．” か 有限小数環とか 多項式環も 似た感じかもね ”★お知らせ★　このページの内容が紙の本になりました。 Amazonのこちらのページで購入することができます” とかあるね そうそう 時枝記事では、完全代表系は、必ずしも必要ない 例えば、100個の代表が必要なら、最小限100個の代表ですむ 当然ですが、有限の代表で済ますなら、有限選択公理で済む 可算の代表で済ますならば、可算選択公理で済む そして、この場合 可算選択公理で済むならば、ヴィタリ集合的な非可算は出ない>>725 ただし、全事象が発散するという非正則分布>>51には、なる 883 名前：１３２人目の素数さん [2022/10/17(月) 07:28:46.65 ID:qQwmejim.net] まず >>804 訂正 そして、この場合 可算選択公理で済むならば、ヴィタリ集合的な非可算は出ない>>725 　↓ そして、この場合 可算選択公理で済むならば、ヴィタリ集合的な非可測は出ない>>725 さて >>804 補足 >時枝記事では、完全代表系は、必ずしも必要ない >例えば、100個の代表が必要なら、最小限100個の代表ですむ >当然ですが、有限の代表で済ますなら、有限選択公理で済む >可算の代表で済ますならば、可算選択公理で済む >そして、この場合 可算選択公理で済むならば、ヴィタリ集合的な非可測は出ない>>725 >ただし、全事象が発散するという非正則分布>>51には、なる だから、時枝氏の記事>>1の 「選択公理→非可測集合」という論が可笑しいよね ”ZFCでは、実数Ｒ中に、ヴィタリ集合的な非可測が出るから 　ZFC中の測度論は、非可測を使っている”みたいな時枝氏の論は ちょっとね。 非可測集合の存在と ZFC中での 非可測集合を排除した測度論の存在とは 両立するよね 時枝も同じ>>1 最小限100個の代表ですむんだったら 「ヴィタリ集合的な非可測は、関係ない」よね （実数Ｒ+ZFCだから、即ヴィタリ集合で、”お手つき”みたいな意味不明な議論はやめてほしいよ） 884 名前：１３２人目の素数さん mailto:sage [[ここ壊れてます] .net] ・ 1つの出題 s に対しては100個の決定番号のみ必要。 ・ ある s_0∈[0,1]^N に対して「その出題 s_0 では回答者の勝率は 99/100 以上」を証明し、 　 なおかつ「他の出題 s に対する回答者の勝率は調べない」のであれば、 　 回答者は s_0 に対する100個の決定番号さえ所持していればよいので、選択公理は必要ない。 ・ 実際には、時枝記事では「 ∀s∈[0,1]^N s.t. その出題 s では回答者の勝率は 99/100 以上」 　を示しているので、回答者は任意の出題 s に対応できなければならず、 　 よって完全代表系が必要なので、選択公理が必要。 885 名前：１３２人目の素数さん mailto:sage [[ここ壊れてます] .net] 次のような言い方もできる。 ・「ある s_0∈[0,1]^N に対して回答者の勝率が 99/100 以上であれば、それでいい」のであれば、 　 回答者は s_0 に対する100個の決定番号さえ所持していればよいので、選択公理は必要ない。 　 ただし、出題者は回答者が所持する100個の決定番号が s_0 に対するものであることを知った上で、 　 わざわざ s_0 を出題しなければならない。この場合、回答者の勝率は 99/100 以上になる。 　 ただし、これでは出題者がわざと負けているのと同じ。出題者が勝ちたいなら、 　 回答者が対応できない別の実数列 s を出題すればよい。 　 この場合、回答者はそもそも s に対する100個の決定番号を持ってないので、時枝戦術が実行できない。 ・ 逆 886 名前：に、回答者が(選択公理によって)完全代表系を所持している場合、出題者がどんな実数列 s を出題しても、 　 回答者は s に対応する100個の決定番号を所持しているので、その出題 s に対する回答者の勝率は 99/100 以上になる。 　 これが時枝記事。 [] [ここ壊れてます] 887 名前：１３２人目の素数さん mailto:sage [2022/10/17(月) 11:22:06.26 ID:RYhCayMB.net] このように、 「出題 s ごとに100個の決定番号だけが必要だが、あらゆる出題に対応するためには完全代表系が必要」 という性質によって選択公理が必要になってしまうのだが、 これは回答者が自力で100個の決定番号を出力する場合の話にすぎない。 回答者のかわりに、出題者が100個の決定番号を回答者に手渡すようにすれば、 回答者は完全代表系を所持している必要はなく、そして出題者もまた完全代表系が必要ない。 このことを記述したのが>>581-583の設定で、選択公理を使わずに時枝戦術が実行可能になっている。 もちろん、>581-583 では回答者の勝率は 99/100 以上である。そして、>581-583 から何が分かるのかというと、 「出題者が回答者に手渡している100個の決定番号こそが、回答者にとって大きなヒントになっている」 ということ。しかも、回答者に手渡す100個の決定番号に、「品質」の点で優劣は存在しない。 すなわち、「出題 s に対する100個の決定番号」でありさえすれば、必ず回答者の勝率は 99/100 以上になる。 同じことだが、回答者の勝率が著しく低下するような "品質の低い100個の決定番号" は存在しない。 s に対する100個の決定番号でありさえすれば、どんな100個を回答者に手渡しても回答者が高確率で勝利する。 888 名前：１３２人目の素数さん mailto:sage [2022/10/17(月) 11:27:51.89 ID:RYhCayMB.net] では、出題者が回答者に100個の決定番号を渡すのをやめて、 回答者が自力で100個の決定番号を出力する設定に再び戻ってみよう。 この場合、あらゆる出題に対応した100個の決定番号を、回答者は予め全て所持している必要がある。つまり、 「あらゆる出題に対する "大きなヒント(＝100個の決定番号)" を、回答者は予め全て所持している必要がある」 ということ。もしそんな芸当が可能なら、出題者が何を出題したって、回答者が高確率で勝利するのは当たり前である。 なんたって、どんな出題が来ても、その出題に対応した "大きなヒント" を回答者は予め所持しているからだ。 問題となるのは、一体どうやってそんな芸当を可能にするのかということ。 …それこそが完全代表系である。完全代表系こそが、「あらゆる出題に対する大きなヒント」として機能するのである。 このように考えると、時枝記事が正しいのは自明である。 そして、完全代表系を得るには選択公理が必要で、ゆえに時枝記事では選択公理の文言が登場している。 たったそれだけの話にすぎない。 889 名前：１３２人目の素数さん [2022/10/17(月) 14:16:27.04 ID:a0k9no7O.net] >>805 >最小限100個の代表ですむんだったら 済まない 未だ分からんの？馬鹿なの？ 890 名前：１３２人目の素数さん [2022/10/17(月) 14:43:21.16 ID:a0k9no7O.net] >>805 kをランダム選択する前はどの箱も開けていないのだから、100列だけの代表列でよい といってもその100列が何か知り様が無い。 一方でkをランダム選択する前に100列それぞれの決定番号は定まっている必要がある。 　そうでないとハズレ列を引く確率=1/100とは言えない。 　白紙のくじを引いて、引いた後に当たりはずれを決めるようなもの。 なんでこんな簡単なことがいつまで経っても理解できないの？白痴だから？

---

---

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

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