[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋4 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
866(2): 2022/11/06(日)21:00 ID:4rX/NHRo(20/23) AAS
>>850
>「問題が出される前に、参照列（＝代表系）を作るという。これが初期設定です。」
>と認めた瞬間、せたぼんの主張から
>「１００列全てについて、他の列よりも決定番号が大きい」
>という矛盾が導かれるので
矛盾が導かれるのは、時枝記事が矛盾しているからだよ
まあ、次のスレ立て準備しとくよ
省3
867(1): 2022/11/06(日)21:01 ID:+0wVTm4U(34/43) AAS
>>841
>Q1) 決定番号が”固定”とは？ どのようなことか？
定数として与えられていること
>Q2）固定により排除される番号はあるのか？
与えられた定数以外は排除される
>Q2）逆に、固定により決定番号となりうる番号は何か？
与えられた定数
省2
868: 2022/11/06(日)21:04 ID:aV+KEqav(43/54) AAS
>>863
＞＞＞Q1) 決定番号が”固定”とは？ どのようなことか？
＞＞ 定数
＞時枝を誤読しているな、こいつ
箱入り無数目、な
著者に嫉妬してんのかこの馬鹿ｗ
＞箱に入れる数が変われば、決定番号も変わるべきだぜｗ
省5
869: 2022/11/06(日)21:07 ID:aV+KEqav(44/54) AAS
>>867
＞矛盾が導かれるのは、時枝記事が矛盾しているからだよ
ノーノ―ノー、せたぼんのブルシット計算が矛盾してるからｗ
＞おれは完全勝利した
ノーノ―ノー、せたぼんは勝手に自爆し完敗
これほどヒドイ馬鹿は見たことないね
さすが工業高校１年中退の中卒（嘲）
870(1): 2022/11/06(日)21:08 ID:aV+KEqav(45/54) AAS
>>866
＞まあ、次のスレ立て準備しとくよ
勝ったんならスレ立て要らんじゃん
さっさと北朝鮮帰れ この受話器頭のデブのキムジョンウンがｗ
871(2): 2022/11/06(日)21:16 ID:aV+KEqav(46/54) AAS
せたぼんは>>656でオレサマMara Papiyasが
「Q 参照列は箱の中身を見て決めますか？見ることなく決めますか？
見る/見ない、のいずれかでお答えいただけますか？」
と尋ねたときにこう答えるべきだった
「見て決めます
そもそも回答者は自分が得た情報だけから判断すべきでしょう
代表の選択もまたそうであるべきだと考えます
省7
872(3): 2022/11/06(日)21:17 ID:4rX/NHRo(21/23) AAS
>>865
なんだ
まあ、その定義は想定通りだけどね
確認しとかないとね
１）まず、100列の決定番号d1,d2・・d100で
一般的な仮定として、どの二つも等しくない
とするのが普通だろう
省11
873(1): 2022/11/06(日)21:18 ID:4rX/NHRo(22/23) AAS
>>870
> 勝ったんならスレ立て要らんじゃん
いやいや
適当に遊んでやるからさｗｗ
874: 2022/11/06(日)21:21 ID:aV+KEqav(47/54) AAS
>>871
何がいいたいかといえば
１．代表選出の関数は確かに存在するがそれは一意ではない
２．１００列を尻尾を見た場合に代表選出を行うことは可能である
３．しかしそれはあくまで見た情報に基づいて行うと解釈しても
不自然ではなく、その場合、情報の与えられ方によって
異なる代表選出が為されるとしても、不自然ではない
省7
875: 2022/11/06(日)21:25 ID:+0wVTm4U(35/43) AAS
>>841
>はっきり言って、あんたらの決定番号の”固定”は、胡散臭いぞｗ
何がどう胡散臭いのか具体的に
876: 2022/11/06(日)21:27 ID:aV+KEqav(48/54) AAS
>>872
何度繰り返してもダメダメｗ
>>663で
「問題が出される前に、参照列（＝代表系）を作るという。これが初期設定です。」
っていいきっちゃったじゃん
そしたら、kが1〜100のどの場合でも
「確率はP(Xdk<=dmax99)=0 とすべきだ」
省7
877: 2022/11/06(日)21:29 ID:+djpuSor(7/15) AAS
>>872
どうした？何の返答にもなってないぞ？
「あんたらの主張する "固定" は胡散臭い」
と言っていたよな？だが、固定の意味は>>844で書いたぞ？
＞・ 時枝記事は「1種類の実数列から出題」のケース。
＞・ >>839は「3種類の実数列から出題」のケース。
これの1行目が「出題を固定する」の正確な意味だよ。
省2
878: 2022/11/06(日)21:29 ID:aV+KEqav(49/54) AAS
>>873
＞適当に遊んでやるからさ
かわいそうに、せたぼん
妻にも子供にも愛想つかされてんだｗ
オマエ、家では完全な暴君っぽいもんな
879: 2022/11/06(日)21:29 ID:+djpuSor(8/15) AAS
>>839の設定の場合：
出題者は3種類の s_1,s_2,s_3∈R^N を任意に選ぶ権利が与えられている。
ただし、1ゲームごとに s_1,s_2,s_3∈R^N を選び直せる権利は持っておらず、
最初に選んだ s_1,s_2,s_3∈R^N を毎回使い回す権利しか持ってない。
つまり、ひとたび s_1,s_2,s_3∈R^N を選んだら、そこから先は
「毎回この s_1,s_2,s_3 の3種類からランダムに出題する」ということ。
880: 2022/11/06(日)21:30 ID:+0wVTm4U(36/43) AAS
>>842
>決定番号使うでしょ？ 決定番号自身が非正則分布を成すよ
だから成さないと何度言えば分かるのか？
都合が悪くなると言葉が分からないサルのふりするのやめれ
881: 2022/11/06(日)21:31 ID:+djpuSor(9/15) AAS
この場合の確率計算は>>839のようになる。たとえば、
・ s_1 から出力される100個の決定番号には単独最大値が存在しない
・ s_2 から出力される100個の決定番号には単独最大値が存在しない
・ s_3 から出力される100個の決定番号には単独最大値が存在する
というケースだと、次が成り立つ。
・ 出題者が s_1, s_2 の2種類から毎回ランダムに選んで出題した場合には、
回答者の勝率は 1 である。
省4
882: 2022/11/06(日)21:32 ID:aV+KEqav(50/54) AAS
ところで有理数の小数展開列の問題の場合は
標準的な代表の選定ができるから
>>871の言い訳は通用しない
つまり箱入り無数目の戦略は完全に適用できる！！！
883(6): 2022/11/06(日)21:33 ID:+djpuSor(10/15) AAS
時枝記事の場合：
出題者は s_1∈R^N を任意に選ぶ権利が与えられている。
ただし、1ゲームごとに s_1∈R^N を選び直せる権利は持っておらず、
最初に選んだ s_1∈R^N を毎回使い回す権利しか持ってない。
つまり、ひとたび s_1∈R^N を選んだら、そこから先は
「毎回この s_1 の1種類からランダムに出題する」ということ。
要するに、単に毎回この s_1 を出題するということ。
884: 2022/11/06(日)21:35 ID:+djpuSor(11/15) AAS
この場合の確率計算は、時枝記事で述べられているとおり。最も簡単なケースは
・ s_1 から出力される100個の決定番号には単独最大値が存在しない
というケース。この場合、次のようになる。
・ 出題者が毎回 s_1 を出題した場合には、回答者の勝率は 1 である。
では、
省6
885: 2022/11/06(日)21:37 ID:aV+KEqav(51/54) AAS
ところで有理数100個を出題する場合
別に完全にランダムに出すことにこだわらなければ
可測な分布が可能である
そしてその場合、確率分布による計算でも
箱入り無数目の結論が導ける
めんどくさいので確認しないが
ヒマな人はやってごらん せたぼん ヒマだろ？ｗ
886(1): 2022/11/06(日)21:38 ID:4rX/NHRo(23/23) AAS
新スレ立てました
適当に遊んで下さい
私も、完全勝利宣言は済んだので
適当に遊びますｗ（＾＾
スレタイ 箱入り無数目を語る部屋5
2chｽﾚ:math
887: 2022/11/06(日)21:40 ID:aV+KEqav(52/54) AAS
>>886
誤 完全勝利宣言
正 完全自爆宣言
ブルシットせたぼん 御愁傷様
888(1): 2022/11/06(日)21:48 ID:+0wVTm4U(37/43) AAS
>>863
>確認だが>>839の「単独最大値」の定義は？
>それが分からない
ええええええええええええええええ
6年以上経つのにそこ分かってなかったんかいｗ
889: 2022/11/06(日)21:51 ID:aV+KEqav(53/54) AAS
>>888
ブルシットせたぼんは、自分の直感に反する結論に
脊髄反射で反対してるだけなので、
実は簡単にわかる事柄も全然考えておらず理解してない
ということが実にしばしばある
そして「完全勝利！」といって書いた文章で初歩的矛盾を晒して自爆する
次スレの6でも恥晒しな自爆文書いてたのでアホにも分かる指摘を10で書いてやった
省1
890: 2022/11/06(日)21:53 ID:aV+KEqav(54/54) AAS
ペーター・ショルツェも望月新一のIUTT論文見て
「こいつ、ほんとに数学者か？こんなん完全にパラドックスだって気づかないんか？」
と思っただろうなあ
891(1): 2022/11/06(日)22:21 ID:+djpuSor(12/15) AAS
ここまでの流れ。Q がスレ主。
A「時枝記事では出題は固定なので、非正則分布とやらは登場しない」
Q「そもそも、あんたらの言う "固定" は胡散臭い」
A「出題を固定するとは、"1種類の実数列から出題する" という意味だ」
Q「面白いことを考えるね。確認だが、"単独最大値"の定義は？」
A「単独最大値の定義は>>865だ」
Q「定義は想定通りだな。しかし、各 d1,d2・・d100が それぞれ非正則分布をなし
省10
892(1): 2022/11/06(日)22:29 ID:+0wVTm4U(38/43) AAS
>>842
>時枝の元の問題で、直接非正則分布を使わないことを示してください
時枝証明において非正則分布の使用を前提としなければ成立しない推論はずばりどれ？
示せなければ言いがかりと見做させて頂きます。
893: 2022/11/06(日)22:40 ID:+djpuSor(13/15) AAS
スレ主は新スレに移行したようだから、こっちは適当に埋めといていいんじゃないかな。
894: 2022/11/06(日)22:44 ID:+0wVTm4U(39/43) AAS
>>842
>時枝の元の問題で、直接非正則分布を使わないことを示してください
ちなみにこのような「無いこと」の証明は悪魔の証明と呼ばれます。
詐欺師セタらしい手口ですね。
895: 2022/11/06(日)22:51 ID:+djpuSor(14/15) AAS
新スレの>>7-16に、
「箱入り無数目の連続版(このスレの>>753)」を(勝手に)清書して書いておいた。
この設定の優秀なところは、決定番号の写像 d が
d：([0,1)→R) → [0,1) となり、つまり d は最初からずっと有界であること。
当然ながら d(f_1)〜d(f_100) は [0,1) に属するので、
スレ主お得意の "非正則分布" の論法が使えない。
ま、おバカのスレ主は内容を理解できずにスルーするかもしれんがね。
896: 2022/11/06(日)22:51 ID:+0wVTm4U(40/43) AAS
>>863
>”どんな実数を入れるかはまったく自由”>>1で
誰もそれを否定していないｗ
>箱に入れる数が変われば、
「・・・そして箱をみな閉じる.今度はあなたの番である.・・・」
言葉が分からないなら幼稚園からやり直しましょう
897: 2022/11/06(日)22:54 ID:+djpuSor(15/15) AAS
時枝記事で述べられているのは
∀s∈R^N s.t. 出題者が s を出題したとき、この出題に対して回答者が何度も時枝戦術を
テストして時枝戦術の性能を試すと、その性能は「 99/100 以上の確率で回答者が勝つ」
というもの。「 ∀s∈R^N 」の部分に注目せよ。
・ s∈R^N は任意でよい。
・ どんな s∈R^N でも構わない。
・ どんな実数を入れるかは全く自由。
省3
898: 2022/11/06(日)22:55 ID:+0wVTm4U(41/43) AAS
>>866
完全勝利の妄想に浸ってるところすまないが
>矛盾が導かれるのは、時枝記事が矛盾しているからだよ
記事の矛盾箇所を具体的に示してくれる？
899: 2022/11/06(日)23:01 ID:+0wVTm4U(42/43) AAS
>>872
>各 d1,d2・・d100が それぞれ非正則分布をなし
>>892
900: 2022/11/06(日)23:14 ID:+0wVTm4U(43/43) AAS
>>891
>↑ご覧のとおり、スレ主の最後の主張は会話が成立していない。
都合が悪くなると言葉が通じないサルのふりするのが彼奴の常とう手段
901(1): 2022/11/07(月)00:04 ID:WoK78tgd(1/4) AAS
>>883
最初にs_1を[0,1]xNから選ぶ時はやっぱりs_1は確率変数になるんじゃないかな
2回目以降は定数だけど
902: 2022/11/07(月)00:40 ID:e0OEzaz4(1/15) AAS
>>901
その文章を書いたのは自分だが、「 s_1∈R^N を任意に選ぶ権利が与えられている」
と書いたように、>>883で想定しているのは
∀s_1∈R^N s.t. ・・・
という意味での権利である。もちろん、時枝記事での実数列の選び方もこれ。
一方で君は、「任意に選ぶ権利が与えられている」という記述を見て、なぜか
「確率変数による記述によってランダムに選ぶ」
省1
903: 2022/11/07(月)00:41 ID:e0OEzaz4(2/15) AAS
もしそういう設定にしたいなら、予め確率空間を設定しておいて、
その確率空間のもとで出題すると明言するよ。たとえば、
確率空間([0,1]^N,F_N,μ_N) ([0,1]^N 上の一様分布が実現される)を
直前に明記しておいて、
「 s_1∈[0,1]^N を、一様分布に従ってランダムに選ぶ権利が与えられている」
と書くよ。そういう設定にしたいならね。
でも、>>883は違うんだ。そういう設定のつもりで書いたわけではない。
省4
904: 2022/11/07(月)00:46 ID:e0OEzaz4(3/15) AAS
で、>>883とは独立した設定として、
「 s_1∈[0,1]^N を、一様分布に従ってランダムに選ぶ権利が与えられている 」
のような設定を個別に考えることはもちろん可能。
ただし、それは君のオリジナル設定にすぎなくて、
>>883で意図した設定(＝時枝記事での設定)とは異なる。
特に、君のオリジナル設定のもとで何が言えても、時枝記事とは無関係。
そんだけ。
905(1): 2022/11/07(月)00:49 ID:e0OEzaz4(4/15) AAS
というか、君、毎回現れては最終的に論破されて黙り込んで逃げ出して、
日を改めて別のIDになったら しれっと再登場して、
懲りずに前回と似たような主張を繰り返すよね。いい加減にしろよ。
「著者が意図していた設問(時枝記事の設問)」には勝つ戦略があり、
「読者オリジナル設問」には勝つ戦略も負ける戦略もない(非可測なので)。
君は「読者オリジナル設問の方が気分がいい」と主張したが、
それはただの負け惜しみ(>>605)。
省1
906: 2022/11/07(月)01:14 ID:e0OEzaz4(5/15) AAS
そもそも、>>883の設定ではずっと同じ s_1 を使うのだから、
「∀s_1∈R^N s.t.・・・」
という設定と
「s_1∈[0,1]^Nを一様分布に従ってランダムに選ぶ」
という設定とで結論は変わらないはず。
省4
907(1): 2022/11/07(月)01:19 ID:e0OEzaz4(6/15) AAS
すると、>>297の(☆)により、そもそも
∀s_1∈[0,1]^N s.t. η(A_{s_1}) ≧ 99/100
という強い性質が最初から成り立っているので、
s_1∈[0,1]^Nを一様分布に従ってランダムに選ぶ場合にも、
当然ながら η(A_{s_1}) ≧ 99/100 が成り立っている。
というわけで、>>883はどちらの解釈でも結論は変わらない。
908(1): 2022/11/07(月)01:46 ID:WoK78tgd(2/4) AAS
>>907
最初の1回だけの試行は非可測で0以上として2回目以降と合計で99/100以上になるんじゃないかな
909: 2022/11/07(月)02:03 ID:WoK78tgd(3/4) AAS
>>905
24時間連続で書き込み続けなきゃいけないの？
910(1): 2022/11/07(月)02:25 ID:e0OEzaz4(7/15) AAS
>>908
この観点から記述すると、1回目だけの試行は非可測だろうな。ただし、
「 "lim[n→∞] (n回目までの勝利回数) / n ≧ 99/100" が確率 1 で発生する 」
のであって、時枝記事はこれを主張していることになるので、
どのみち時枝記事は正しい。
911: 2022/11/07(月)02:57 ID:e0OEzaz4(8/15) AAS
>>910
これ、「1回目だけの試行は非可測」と書いたが、それも事象の捉え方によって
可測・非可測が変わってしまうな。ちゃんと確率空間を設定しないと説明しきれん。
912: 2022/11/07(月)03:01 ID:e0OEzaz4(9/15) AAS
出題者が s∈[0,1]^N を出題するごとに、
回答者はこの s に対して時枝戦術を可算無限回テストすることにする。
具体的には、回答者は i＝(i_1,i_2,…)∈{1,2,…,100}^N をランダムに選び、
n回目のテストでは番号 i_n に対する時枝戦術を実行することにする。
よって、この i＝(i_1,i_2,…) には回答者の可算無限回分の行動が
全て記述されていることになり、回答者は i＝(i_1,i_2,…)に沿った
時枝戦術を機械的に実行することになる。
省2
913: 2022/11/07(月)03:01 ID:e0OEzaz4(10/15) AAS
この状況を記述する確率空間を以下で定義する。>>293の確率空間 (I,G,η) を取り、
これを可算無限個用意して直積確率空間を作る。それを (I^N,G_N,η_N) と置く。
この確率空間は、i＝(i_1,i_2,…)∈I^N＝{1,2,…,100}^N を一様分布に従って
ランダムに選ぶ操作を実現する確率空間である。
>>291の確率空間([0,1]^N, F_N, μ_N)と上記の(I^N, G_N, η_N)の積空間を、
ここでは (Ω,F,P) と書くことにする。この確率空間の完備化を(Ω,F_w,P_w)と書く。
914: 2022/11/07(月)03:03 ID:e0OEzaz4(11/15) AAS
出題者が実数列 s∈[0,1]^N を選び、回答者が行動予定表 i∈I^N を選んだとき、
n回目までの時枝テストが終わった時点での回答者の勝利回数を S_n(s,i) と置く。そして、
A ＝ { (s,i)∈Ω｜liminf[n→∞] S_n(s,i) / n ≧ 99/100 }
と置く。実は、A∈F_w かつ P_w(A) ＝ 1 が成り立つことが言える。すなわち、
P_w.a.e.(s,i)∈Ω s.t. liminf[n→∞] S_n(s,i) / n ≧ 99/100
が成り立つ。これは、
省4
915(2): 2022/11/07(月)03:04 ID:e0OEzaz4(12/15) AAS
次に、s∈[0,1]^N と 1≦k≦100 に対して、
出題 s のもとで回答者が番号 k での時枝戦術を実行して
回答者が勝つときに f(s,k)：＝1 と置き、回答者が負けるときに f(s,k)：＝0 と置く。
このとき、i∈I^N に対して S_n(s,i)＝Σ[k＝1〜n] f(s,i_k) が成り立つことに注意せよ。
A_1：＝{ (s,i)∈Ω｜f(s,i_1)＝1 }
と置くと、この A_1 は「回答者が1回目の時枝テストで勝利する」という事象になっている。
916: 2022/11/07(月)03:05 ID:e0OEzaz4(13/15) AAS
任意の s∈[0,1]^N に対して、A_1 の s における断面 (A_1)_s は (I^N,G_N,η_N)において可測である。
実際、(A_1)_s ＝ { i∈I^N｜f(s,i_1)＝1 } ＝ { i_1∈I｜f(s,i_1)＝1 } × I^N
である。C_1：＝ { i_1∈I｜f(s,i_1)＝1 } と置くと、C_1∈pow(I)＝G である。
特に C_1×I^N ∈ G_N である。よって、(A_1)_s は可測である。
917: 2022/11/07(月)03:10 ID:e0OEzaz4(14/15) AAS
一方で、A_1 そのものは非可測である。実際、g：([0,1]^N×I)×I^N → [0,1]^N×I^N (＝Ω) を
g( (s,i_1), (i_2,i_3,…) )：＝ ( s, (i_1,i_2,i_3,…) ) と定義し、さらに
B：＝{(s,i_1)∈[0,1]^N×I｜f(s,i_1)＝1}
と置く。すると、A_1 ＝ g(B×I^N) と表せる。
B は確率空間 ([0,1]^N×I, F_N×G, μ_N×η)の完備化の中で非可測(スレの中盤で証明したとおり)
なので、A_1 ＝ g(B×I^N) は確率空間 (Ω,F_w,P_w) の中で非可測であることが示せる。
証明の概略だけ書くと、もし A_1 が可測なら、g^{-1}(A_1) も可測、すなわち B×I^N は可測。
省2
918: 2022/11/07(月)03:13 ID:e0OEzaz4(15/15) AAS
よって、A_1 は非可測だが、s∈[0,1]^N ごとに、A_1 の s における断面 (A_1)_s は可測である。
919(1): 2022/11/07(月)07:49 ID:K/UclYxR(1/21) AAS
ところで、100個の有理数の小数展開から桁を１つ選んで当てる件は
有理数の選出確率分布を可測関数とすれば、計算可能
しかし、ブルシットせたぼんは一度もやろうとしない
自分の主張が否定されるのがイヤなんだろう チキンな野郎だｗ
920: 2022/11/07(月)07:50 ID:K/UclYxR(2/21) AAS
ブルシットせたぼんは、ひろゆきと同じで、ただ議論に勝ちたいだけ
真実とかどうでもいいサイコパス
921(1): 2022/11/07(月)07:56 ID:K/UclYxR(3/21) AAS
>>919
無限列についても
「各箱の確率分布は独立」
とかいう設定を止めて、例えば
「かならずある箇所から先が０になる列」
だけに限りしかも０でない項が先に現れるほど
出現確率が小さくなるようにうまく設定すれば
省5
922(1): 2022/11/07(月)19:55 ID:WoK78tgd(4/4) AAS
>>921
そのように出題者が実数列を設定してくれたらいつでも時枝戦略が有効って事なんでしょ
それ出題者が箱の中の実数を自由に設定してないじゃないか
923: 2022/11/07(月)19:59 ID:K/UclYxR(4/21) AAS
>>922
いや、有効であることが計算でもわかる、ということ
それだけ
924: 2022/11/07(月)20:49 ID:K/UclYxR(5/21) AAS
スレ埋葬します
925: 2022/11/07(月)20:50 ID:K/UclYxR(6/21) AAS
海行かば
926: 2022/11/07(月)20:51 ID:K/UclYxR(7/21) AAS
水漬くかばね
927: 2022/11/07(月)20:51 ID:K/UclYxR(8/21) AAS
山行かば
928(2): 2022/11/07(月)20:51 ID:K/UclYxR(9/21) AAS
草生すかばね
929: 2022/11/07(月)20:52 ID:K/UclYxR(10/21) AAS
おお 君の屁にこそ死なめ
930(1): 2022/11/07(月)20:52 ID:K/UclYxR(11/21) AAS
顧みはせじ
931: 2022/11/07(月)20:53 ID:K/UclYxR(12/21) AAS
なんか歌詞違った？ｗ
932(1): 2022/11/07(月)20:59 ID:K/UclYxR(13/21) AAS
あんまり大きな声では言えないが
933: 2022/11/07(月)21:00 ID:K/UclYxR(14/21) AAS
時枝正さんはボクより年下だった
934(1): 2022/11/07(月)21:00 ID:K/UclYxR(15/21) AAS
あたりまえだが
935: 2022/11/07(月)21:00 ID:K/UclYxR(16/21) AAS
あたりまえだが
936: 2022/11/07(月)21:01 ID:K/UclYxR(17/21) AAS
望月新一氏もボクより年下
937(1): 2022/11/07(月)21:04 ID:K/UclYxR(18/21) AAS
玉川安騎男もボクより年下
938: 2022/11/07(月)21:05 ID:K/UclYxR(19/21) AAS
加藤文元もボクより年下
939: 2022/11/07(月)21:06 ID:K/UclYxR(20/21) AAS
だからどうってこともないけどｗ
940: 2022/11/07(月)21:09 ID:K/UclYxR(21/21) AAS
ということで
941: 2022/11/08(火)08:15 ID:+tJNUyFp(1/9) AAS
日曜日のID:nNTYWkJtですが、「選択公理を超える仮定が必要」とは勘違いでした。
解法をアルゴリムとして考えたので、「選択函数φに対してφ(a)の値が計算できるとは限らない」
ということがひっかかったんですね。
が、「選択公理だけ」で成立することが分かりました。m(__)m
選択函数φ、出題列A、100列への分割、そしてどの列iを選ぶかを決めれば
どの箱を残すかは自動的に決まっている。
i=1〜100に応じて100個の箱が定まる。
省2
942: 2022/11/08(火)08:19 ID:+tJNUyFp(2/9) AAS
セタぼんの疑問1
「選択公理と言いながら、解法には100個の値しか使ってないじゃないか」
答え
出題列Aが定まってからはその通り。しかし、出題者が
R^Nの任意の元を出題しうるなら、解法を保証するためには
R^N/〜のフルの選択公理が必要。
セタぼんの疑問2
省8
943: 2022/11/08(火)08:30 ID:+tJNUyFp(3/9) AAS
>列の選び方100通り、したがって残す箱の100通り
定まった一つの出題列Aに対してということね。
944(4): 2022/11/08(火)17:31 ID:+tJNUyFp(4/9) AAS
「選択公理だけ」で成立するメカニズムはあるが
「箱の中身をぴたりと当てる」ためには
φ(a)の値を知ることは絶対に必要。
従ってそれを認めなければ、解法は不成立。
「中身が代表列と一致する箱がある」くらいしか言えない。
その位置の特定には決定番号の入手が必要であり
それにもφ(a)の値は必要。
省2
945: 2022/11/08(火)17:41 ID:+tJNUyFp(5/9) AAS
なので、どちらかというと不成立に傾いている。
セタぼんとは違う理由だが。
そもそもセタぼんが阿呆でなければ
こんなに長く続いている話であるわけがない。
946: 2022/11/08(火)17:46 ID:+tJNUyFp(6/9) AAS
上げときます。
上下前次1-新書関写板覧索設栞歴
あと 56 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.036s