21/08/22 08:56:46.28 IiHHGUmS.net
>>124
つづき
ここ、私も時枝先生にミスリードされて
”逆に非可測な集合をこさえるには選択公理が要る(ソロヴェイ， 1970年)”が正しいと、思い込んでいたけれど
渕野先生によれば、微妙に違うみたい。非可測集合の構成に選択公理を使ったことは確かだが、必須ではないみたい
よって、>>3では ”ヴィタリのような非可測は否定される”→”ヴィタリのような非可測は必須ではない”かな
そもそも、R^N（無限次元）には、そのままでは計量が入らない
Ｒ（一次元）とは、全く異なる
だから、「選択公理を使っている.その結果R^N →R^N/～ の切断は非可測になる.」が、よく考えると噴飯物の議論です
R^N（無限次元）に計量が入らない以上、ここを処理しないで「R^N/～ の切断は非可測」なんて、飛躍もいいところですね
以上
126:１３２人目の素数さん
21/08/22 09:40:15.51 IiHHGUmS.net
>>118
>また，シュタインハウス[註 58] とミチェルスキは 1962 年の
>論文で，現在では決定性の公理 (Axiom of Diterminacy (AD)) と呼ばれている公
>理 (と選択公理以外の集合論の公理) から，すべての図形に体積が定義できること
>を証明しています．
決定性公理は、旧ガロアスレでも取り上げた
まあ、下記でも。なお、日wikipediaでは足りないことが多い。英wikipediaが有用だね。wikipediaの左の欄の他言語版 Englishから飛べる
URLﾘﾝｸ(ja.wikipedia.org)
決定性公理（けっていせいこうり、英: axiom of determinacy）とは、1962年にミシェルスキー（英語版）、ユゴー・スタインハウス（英語版）によって提出された集合論の公理である。もとの決定性公理はゲーム理論に言及し、可算無限の長さをもったある特定の二人完全情報ゲームについて（後述）、どちらかのプレイヤーは必ず必勝法を持つことを主張する。
決定性公理は公理的集合論の選択公理と矛盾する。決定性公理を仮定すると、実数の任意の部分集合について「ルベーグ可測である」「ベールの性質を持つ」「完全集合性（英語版）を持つ」ことが従う。とくに実数の任意の部分集合が完全集合性を持つことは「実数の部分で非可算なる集合は実数と同じ濃度を持つ」という弱い形の連続体仮説が成り立つことに換言される。 選択公理からは「実数の部分集合でルベーグ可測でないものが存在する」ことが導かれるが、この事実からも決定性公理と選択公理が相容れないことが分かる。
URLﾘﾝｸ(en.wikipedia.org)
Axiom of determinacy
つづく
127:１３２人目の素数さん
21/08/22 09:40:39.43 IiHHGUmS.net
>>126
つづき
URLﾘﾝｸ(en.wikipedia.org)
AD+
URLﾘﾝｸ(en.wikipedia.org)
Axiom of real determinacy
In mathematics, the axiom of real determinacy (abbreviated as ADR) is an axiom in set theory. It states the following:
Axiom ? Consider infinite two-person games with perfect information. Then, every game of length ω where both players choose real numbers is determined, i.e., one of the two players has a winning strategy.
The axiom of real determinacy is a stronger version of the axiom of determinacy (AD), which makes the same statement about games where both players choose integers; ADR is inconsistent with the axiom of choice. It also implies the existence of inner models with certain large cardinals.
ADR is equivalent to AD plus the axiom of uniformization.
URLﾘﾝｸ(en.wikipedia.org)(set_theory)
Uniformization (set theory)
つづく
128:１３２人目の素数さん
21/08/22 09:41:02.48 IiHHGUmS.net
>>127
つづき
URLﾘﾝｸ(www.ms.u-tokyo.ac.jp)
第２５回高木レクチャー招待講演
２０２０年６月２１日（日）
京都大学数理解析研究所大講義室420号室
講義1: AD+双対性プログラム
講義2: 究極L予想
W. Hugh Woodin
(Harvard University)
Abstract
決定性公理の文脈での記述集合論の研究は50年以上前に始まった。この研究の文脈は現在では、決定性公理ADの改良版である公理AD+であると理解される。この研究の対象は、ボレル集合族を拡張した実数の集合のクラスである。
このことは集合論のおそらく中心的な双対性プログラムに導く。それは公理AD+が成り立つような実数の集合Aと、ゲーデルによって構成された集合の宇宙の内部モデルであるLの一般化の関係である。
このことは次にゲーデルの公理V=Lの究極のバージョンの同定に導く。この鍵となる予想は究極L予想であり、これはもし正しければすべての無限に関する公理たちと両立する一つの公理を導き、またZFC公理系に追加されればカントールの連続体仮説のような、コーエンの強制法によって決定不能であることが示されたすべての問題を、無限に関する公理たちの仮定の下で解決する。
究極L予想は数論的なステートメントであり、数学的真理というものを合理的な範囲でどのようにとらえても、真か偽かのどちらかであるはずである。
(引用終り)
以上
129:１３２人目の素数さん
21/08/22 09:46:52.19 lyzOU1Jb.net
〇〇公理〇〇非可測もいいけど、どんどん時枝戦略理解から遠ざかってるなｗ
時枝戦略理解に必要なのは選択公理くらいだよｗ
130:１３２人目の素数さん
21/08/22 10:01:50.73 QZFJZsWw.net
>>124
Rが整列可能なら、Rの部分集合に関する選択は可能じゃね？
要は、Rだけのことなら、全集合に関する選択公理は必要ないっていうだけ
1は、ホント論理が全然分かってないなｗ
131:１３２人目の素数さん
21/08/22 10:04:01.42 QZFJZsWw.net
>>129
端的にいえば、
「各同値類に対して必ず１つは代表が存在する」
と認めるだけのこと
「どう選出するかわからないから、そんなこといえない」
とかいう人は、要するに選択公理を否定してる
1はとにかく具体的構成バカだから、上記のようなこと平気でいいそうｗ
132:１３２人目の素数さん
21/08/22 12:46:48.15 IiHHGUmS.net
>>125 補足
>そもそも、R^N（無限次元）には、そのままでは計量が入らない
>Ｒ（一次元）とは、全く異なる
>だから、「選択公理を使っている.その結果R^N →R^N/～ の切断は非可測になる.」が、よく考えると噴飯物の議論です
>R^N（無限次元）に計量が入らない以上、ここを処理しないで「R^N/～ の切断は非可測」なんて、飛躍もいいところですね
下記と記号Ｒが重なっているが
半径Ｒの超球の体積 Vn(R)= {π^n/2}/{Γ(n/2 +1)} R^n（下記）
同様に考えて、一辺Ｒの超立方体の体積はVn＝R^n
ｎ→∞で
R<1なら、Vn→0
R=1なら、Vn＝1
R>1なら、Vn→∞
つまり、R^N（無限次元）には単純には、計量が入らない
だから、「選択公理を使っている.その結果R^N →R^N/～ の切断は非可測になる.」って、R^N（無限次元）にどんな計量を入れることができるかが、大問題で
うまい計量が入らないならば、「R^N/～ の切断は非可測になる」がナンセンスですね
URLﾘﾝｸ(ja.wikipedia.org)
超球の体積
初等幾何学における球体は決められた点から決められた距離以内にある点の全体が空間において占める領域であった。同様のことを n-次元ユークリッド空間で行って n-次元超球体が定義される。n-次元超球体の体積率[注釈 1]は数学全般を通して現れる重要な定数の一種である。
目次
1 公式
1.1 明示公式
1.2 漸化式
1.3 高次元の場合における体積の評価
1.4 表面積との関係
2 証明
2.1 体積は半径の n 乗に比例する
2.2 2次元漸化式
2.3 1次元漸化式
2.4 球座標における直接積分
2.5 ガウス積分
3 Lp-ノルムに関する球体
明示公式
半径 R の n-次元ユークリッド球面の体積は
Vn(R)= {π^n/2}/{Γ(n/2 +1)}R^n
で与えられる[1]。ただし、Γ はオイラーのガンマ函数（階乗函数の非整数引数への一般化）である。
(引用終り)
以上
133:１３２人目の素数さん
21/08/22 13:28:57.78 lyzOU1Jb.net
時枝戦略が理解できないので大量コピペでごまかすの図
134:１３２人目の素数さん
21/08/22 15:50:32.01 IiHHGUmS.net
>>37 追加
時枝記事に合わせて書き直す
1．いま、100列ある。1列を残して、99列を開ける。数列が分かる。その各同値類99個を作ることができる。代表も99個決められる
2．99列の決定番号の最大値をDmax99とする
3．さて、問題の1列で、Dmax99+1から先の箱を開けて、しっぽの情報を得る
4．しっぽの情報から、同値類が決まり、決定番号が決まる
5．このとき、二つのことが起きる
a)代表としっぽの一致が、開けた列中で 既に終わっているとき、つまり問題の列の決定番号をdとして、d＞Dmax99+1のとき（この場合は失敗です）
b)d≦Dmax99+1のとき、つまりDmax99+1より先の数が問題の列と代表が一致している。このとき、Dmax99の箱について、「代表のDmax99と同じ」とするのが時枝の戦略です
6．明らかに、上記a)の確率が圧倒的に大です。∵ 決定番号には上限がなく、その分布の総和又は積分は発散しているから
7．だが、これで終わっては面白くない。a)の場合は、代表を選び直しても良いとする。上記b)の場合になるように出来るとする
こうしても、ルール上は回答者の権利。結局、こうすると、Dmax99+1から先が一致している代表の候補の中から、Dmax99の箱が一致する列を選ぶことが出来るか（出来ているか＊））が問題となる
その確率は0。つまり、Dmax99の箱には任意の実数が入っている。だが、任意の実数1点の測度は0でしかないので、的中確率は0
（ ＊）上記の5-b)の場合です）
8．まとめると、時枝さんのパズルは
1）Dmax99+1と問題の列の決定番号dとの大小比較で、決定番号は上限が無限大に発散し裾が減衰しない非正則分布を成すから、基本はd＞Dmax99+1となり、当たらない
2）当てやすくルールを変更して、d≦Dmax99+1となるように代表の列を選び直し可としても＊）、Dmax99の箱の数と代表のDmax99番目の数が一致する列を 代表の候補から選ぶ適当な手段はなく、その成功確率もまた0
（ ＊）上記の5-b)の場合は、選び直しは不要）
つづく
135:１３２人目の素数さん
21/08/22 15:51:03.22 IiHHGUmS.net
>>134
つづき
これが、時枝さんのパズルの種明かしです（当てようとする箱一つが開けられる前に、その箱に関係する代表が1つ決めるられるのならば、箱は幾つ開けても無問題です）
なお、念押しですが、上記では同値類100個の代表しか使わない。だから、選択公理は不要。よってソロベイの定理により、ZFCではヴィタリ風の非可測集合はできないのです
ヴィタリ集合についても、時枝さんは、ミスリードしています
可測性が保証されない理由は、ヴィタリではなく、総和（連続分布なら全体の積分）が無限大に発散する非正則分布を使った確率計算をしていることにあります
これが、時枝パズルのタネです
以上
136:１３２人目の素数さん
21/08/22 16:07:08.15 QZFJZsWw.net
>>134
>結局･･･、Dmax99+1から先が一致している代表の候補の中から、
>Dmax99の箱が一致する列を選ぶことが出来るか（出来ているか＊）が問題となる
はい、選択公理も理解できずに、自分で選択する大馬鹿野郎 1
そういうバカをやりつづける限り、
1ことセタには、箱入り無数目は何べん死んでも理解できませ～んｗｗｗ
137:１３２人目の素数さん
21/08/22 16:13:47.94 QZFJZsWw.net
代表を選びなおす、という1ことセタの考えは実に白痴であるｗ
選ぶのは代表ではなく100列のうちの1列である
どんな100列を取ってきても、その中で他より大きな決定番号を持つ列はたかだか1つしかない
その1つを選ばなければ、自動的にd≦Dmax99となるのであるｗ
100人がそれぞれ100列のうちの異なる列を選べば99人は当たってしまうのである
これが箱入り無数目のからくりである
こんな簡単なことが理解できない1ことセタは小学校の算数も分からん白痴であるｗ
小学生でも100個の自然数のうち、他より大きな数はたかだか1個しかないとわかる
もし2個あったら、互いに相手より大きいことになって、順序の性質と矛盾するｗ
138:１３２人目の素数さん
21/08/22 16:38:00.48 eKKDKpfQ.net
え、何この問題
こんなん当てるの無理でしょ
139:１３２人目の素数さん
21/08/22 21:02:22.87 lyzOU1Jb.net
>>134
>1．いま、100列ある。1列を残して、99列を開ける。数列が分かる。その各同値類99個を作ることができる。代表も99個決められる
1行目から大間違い。
同値類は同値関係を定義した瞬間に決まる。
代表系は予め決めておけば勝てる（正しい時枝戦略）のにわざわざ改悪しておいて勝てないと主張しても無意味でしかない。
>1）Dmax99+1と問題の列の決定番号dとの大小比較で、決定番号は上限が無限大に発散し裾が減衰しない非正則分布を成すから、基本はd＞Dmax99+1となり、当たらない
代表系を予め決めておけば100列の決定番号はどれも自然数の定数。なぜ上限が無限大に発散するの？アホ？
dはランダム選択した列の決定番号だからd＞Dmax99となる確率は1/100以下。アホ？
時枝戦略を否定したいなら時枝戦略を論じてください。改悪版を論じても無意味。バカですか？
140:１３２人目の素数さん
21/08/22 22:40:07.61 lyzOU1Jb.net
>>135
勝手に改悪して当てられないと吠えることの無意味さを理解できないバカに数学は無理
141:１３２人目の素数さん
21/08/22 22:45:28.22 lyzOU1Jb.net
>>135
>可測性が保証されない理由は、ヴィタリではなく、総和（連続分布なら全体の積分）が無限大に発散する非正則分布を使った確率計算をしていることにあります
デマ流すのはやめてもらっていいですか？
「さて， 1～100 のいずれかをランダムに選ぶ. 例えばkが選ばれたとせよ. s^kの決定番号が他の列の決定番号どれよりも大きい確率は1/100に過ぎない. 」
この確率計算はどう読んでも正則分布ですけど？
ランダムが分からないならご自分で調べたらいかがでしょう？あなたは3才児ですか？
142:１３２人目の素数さん
21/08/22 22:50:06.20 lyzOU1Jb.net
>もし2個あったら、互いに相手より大きいことになって、順序の性質と矛盾するｗ
おバカさんは自然数の集合が全順序であることも分かってないんでしょう。
こんなアホに数学なんて到底無理。
143:１３２人目の素数さん
21/08/22 22:55:50.23 lyzOU1Jb.net
ID:IiHHGUmSへ
時枝先生の問いは「勝つ戦略はあるでしょうか?」です。
改悪版時枝戦略が勝つ戦略ではないことを示してもただただ無意味なだけです。
わかりませんか？わからないなら数学板から去りましょう。
144:１３２人目の素数さん
21/08/24 10:24:56.68 mDjtEC5i.net
>>138
＞え、何この問題
＞こんなん当てるの無理でしょ
ID:eKKDKpfQさん、どうも
レスありがとう
その感覚正しい！！（＾＾
145:１３２人目の素数さん
21/08/24 11:14:44.18 0pWlESke.net
>>144
5年以上かけて辿り着いた結論がそれかｗ
数学なんて到底無理じゃん
146:１３２人目の素数さん
21/08/24 11:21:09.87 mDjtEC5i.net
>>145
おまえがな～！ｗｗｗ
147:１３２人目の素数さん
21/08/24 12:44:47.40 gYdG/W74.net
論理が理解できないから、最期に行き着くのは
「俺の直感」というだけの工学バカ脳
148:１３２人目の素数さん
21/08/24 14:17:40.11 mDjtEC5i.net
>>147
おまえがな～！ｗｗｗｗ
149:１３２人目の素数さん
21/08/24 14:36:55.21 +fPGMa7d.net
箱入り無数目みたいに発展性も応用性も何にも見つからない数学パズルもつまらんな
150:１３２人目の素数さん
21/08/24 14:46:52.85 0pWlESke.net
数学パズルに応用性を求める人が要るんだね
151:１３２人目の素数さん
21/08/24 14:53:38.79 +fPGMa7d.net
>>150
一般に、数学は考え方次第で応用出来なくもない
152:１３２人目の素数さん
21/08/24 15:12:34.80 gYdG/W74.net
ID:+fPGMa7dは、たったこれだけの書き込みで既に「おっちゃん臭」がしているなｗ
発展性がないと言うが、同じ原理に基づくパズルはいくつか発表されている。
そして、箱入り無数目の成立原理は示唆に富んでいる。
おっちゃんの言う「応用」とは、「俺の未解決問題の（トンデモ）証明に使えないな」
ってことなんだけど、こいつが数学理論のまともな「応用」など出来た験しがない。
何よりも、肝心の箱入り無数目の証明が絶対に理解できていない。
153:１３２人目の素数さん
21/08/24 15:18:32.00 +fPGMa7d.net
>>152
待ち行列とかの方が遥かに応用性がある
154:１３２人目の素数さん
21/08/24 15:34:37.91 +fPGMa7d.net
>「俺の未解決問題の（トンデモ）証明に使えないな」ってことなんだけど、
>こいつが数学理論のまともな「応用」など出来た験しがない。
嫉妬ご苦労さん
155:１３２人目の素数さん
21/08/24 15:44:00.26 gYdG/W74.net
>>149って、理解できないから"酸っぱい葡萄"ってことでしょ。
これこそ嫉妬でしょｗ
トンデモに嫉妬するバカはいない。
「嫉妬されている」と思い込むのは歪んだ自己愛の表れ。
156:１３２人目の素数さん
21/08/24 15:54:08.67 +fPGMa7d.net
>>155
2^e は超越数ですが
証人もいる
157:１３２人目の素数さん
21/08/24 15:58:16.95 +fPGMa7d.net
>>155
時枝記事の理解に必要なのは非可測集合を除けば選択公理だけ
158:１３２人目の素数さん
21/08/24 16:22:33.29 G84zhHew.net
選択公理を採用する場合と採用しない場合で結果が変わってくる例題になってるな
159:１３２人目の素数さん
21/08/24 16:24:27.91 gYdG/W74.net
>>156
未解決問題なんでしょ。
URLﾘﾝｸ(ja.wikipedia.org)
それを解いたと言うわけね。
言うのは勝手だが、誰も信用しないね。
>>157
スレで言われてたことを聞きかじって
さも自分も分かってるように言ってるだけだね。
貴方には絶対に理解できないと確信しているねｗ
そもそも、「確率1-εは確率1と同義だ」と言う誤った主張も酷かったが
そんな枝葉に引っ掛かかってるバカに、本論が理解できてるわけがないんだな。
（論理が理解できないから、"1-ε"という"式"に反応しただけ）
160:１３２人目の素数さん
21/08/24 16:35:00.56 +fPGMa7d.net
>>159
>言うのは勝手だが、誰も信用しないね。
論文にしていないから当然のこと
>(後半の>>157のレス)
私は時枝記事が書かれた数セミの雑誌は持っていないし、パソコンで確認するより他ない
時枝記事を丁寧に読んで理解できる状況にはない
161:１３２人目の素数さん
21/08/24 16:37:17.87 +fPGMa7d.net
>>159
まあ、下らないことで他人の揚げ足取りをする癖は止めた方がいい
162:１３２人目の素数さん
21/08/24 16:49:43.42 +fPGMa7d.net
基本的に Wikipedia は英語が参考になる
163:１３２人目の素数さん
21/08/24 16:55:09.89 0pWlESke.net
>>157
>時枝記事の理解に必要なのは非可測集合を除けば選択公理だけ
時枝戦略の勝率計算に非可測集合は無関係だけど？
どっかのアホがやれ非可測だやれ裾の重い分布だと訳も分からず騒いでるだけ
逆に同値類の知識は必要。
どっかのアホは箱を開けて数列を特定して関係する同値類を作るとか訳の分からないこと言ってるけど。
164:１３２人目の素数さん
21/08/24 17:01:14.43 +fPGMa7d.net
>>163
＞>時枝記事の理解に必要なのは非可測集合を除けば選択公理だけ
＞時枝戦略の勝率計算に非可測集合は無関係だけど？
これは時枝記事を読む上での話
ヴィタリの非可測集合に似た非可測集合が記事の最初の方に出て来たと思うが
165:１３２人目の素数さん
21/08/24 17:05:06.93 0pWlESke.net
>>160
>時枝記事を丁寧に読んで理解できる状況にはない
箱入り無数目を語る部屋の先頭に全文引用されてるがな
読んで理解する気が無いだけ
やらない奴はいつもこういう言い訳をする
166:１３２人目の素数さん
21/08/24 17:06:59.81 0pWlESke.net
>>164
>ヴィタリの非可測集合に似た非可測集合が記事の最初の方に出て来たと思うが
最初じゃない。証明の後。
証明を理解していれば証明と無関係なことが分かる。
167:１３２人目の素数さん
21/08/24 17:15:41.64 +fPGMa7d.net
>>166
数セミの雑誌で時枝記事の現物を読んではいないので、詳細は知らない
手元の記事では、そのようなことが数セミの何ページに書かれているというような文は幾つかあった
168:１３２人目の素数さん
21/08/24 17:17:55.20 +fPGMa7d.net
>>165
時枝記事をプリンターで印刷してまで読む気はない
169:１３２人目の素数さん
21/08/24 17:22:50.11 0pWlESke.net
箱入り無数目を語る部屋で箱入り無数目を読まない言い訳を並べられてもなあ
170:１３２人目の素数さん
21/08/24 17:30:53.53 +fPGMa7d.net
>>169
時枝記事に執着する理由がよく分からない
171:１３２人目の素数さん
21/08/24 17:50:55.10 0pWlESke.net
>>170
なら来なければいんじゃね？
172:１３２人目の素数さん
21/08/24 19:48:49.06 przAL1mY.net
「箱入り無数目」 時枝正
（数学セミナー201511月号の記事）
箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる.
どんな実数を入れるかはまったく自由，例えばn番目の箱にe^πを入れてもよいし，すべての箱にπを入れてもよい.
もちろんでたらめだって構わない.そして箱をみな閉じる.
今度はあなたの番である.片端から箱を開けてゆき中の実数を覗いてよいが，一つの箱は開けずに閉じたまま残さねばならぬとしよう.
どの箱を閉じたまま残すかはあなたが決めうる.
勝負のルールはこうだ. もし閉じた箱の中の実数をピタリと言い当てたら，あなたの勝ち. さもなくば負け.
勝つ戦略はあるでしょうか?
173:１３２人目の素数さん
21/08/24 19:49:29.72 przAL1mY.net
>>172の続き
ばかばかしい，当てられる筈があるものか，と感じられるだろう.
何か条件が抜け落ちているのではないか，と疑う読者もあろう.問題を読み直していただきたい.
条件はほんとうに上記のとおり.無限個の実数が与えられ，一個を除いてそれらを見た上で，除いた一個を当てよ，というのだ.
ところがところが--本記事の目的は，確率99%で勝てそうな戦略を供することにある.
この問題はPeter Winkler氏との茶のみ話がてら耳にした.氏は原型をルーマニアあたりから仕入れたらしい.
174:１３２人目の素数さん
21/08/24 19:50:12.64 przAL1mY.net
>>173の続き
私たちのやろうとすることはQのコーシー列の集合を同値関係で類別してRを構成するやりかた(の冒頭)に似ている.
但しもっときびしい同値関係を使う.
実数列の集合 R^Nを考える.
s = (s1，s2，s3 ，・・・)，s'=(s'1， s'2， s'3，・・・ )∈R^Nは，ある番号から先のしっぽが一致する∃n0：n >= n0 → sn＝ s'n とき同値s ～ s'と定義しよう(いわばコーシーのべったり版).
念のため推移律をチェックすると，sとs'が1962番目から先一致し，s'とs"が2015番目から先一致するなら，sとs"は2015番目から先一致する.
～は R^N を類別するが，各類から代表を選び，代表系を袋に蓄えておく.
幾何的には商射影 R^N→ R^N/～の切断を選んだことになる.
任意の実数列s に対し，袋をごそごそさぐってそいつと同値な(同じファイパーの)代表r= r(s)をちょうど一つ取り出せる訳だ.
sとrとがそこから先ずっと一致する番号をsの決定番号と呼び，d = d(s)と記す.
つまりsd，sd+1，sd+2,・・・を知ればsの類の代表r は決められる.
更に，何らかの事情によりdが知らされていなくても，あるD>=d についてsD+1， sD+2，sD+3，・・・
が知らされたとするならば，それだけの情報で既に r = r(s)は取り出せ， したがってd= d(s)も決まり，
結局sd (実はsd，sd+1，・・・，sD ごっそり)が決められることに注意しよう.
175:１３２人目の素数さん
21/08/24 19:51:08.73 przAL1mY.net
>>174の続き
問題に戻り，閉じた箱を100列に並べる.
箱の中身は私たちに知らされていないが， とにかく第l列の箱たち，第2列の箱たち第100 列の箱たちは100本の実数列s^1,s^2，・・・，s^100を成す(肩に乗せたのは指数ではなく添字).
これらの列はおのおの決定番号をもつ.
さて， 1～100 のいずれかをランダムに選ぶ.
例えばkが選ばれたとせよ.
s^kの決定番号が他の列の決定番号どれよりも大きい確率は1/100に過ぎない.
第1列～第(k-1) 列，第(k+1)列～第100列の箱を全部開ける.
第k列の箱たちはまだ閉じたままにしておく.
開けた箱に入った実数を見て，代表の袋をさぐり， s^1～s^(k-l),s^(k+l)～s^100の決定番号のうちの最大値Dを書き下す.
いよいよ第k列 の(D+1) 番目から先の箱だけを開ける：s^k(D+l)， s^k(D+2)，s^k(D+3)，・・・.いま
D >= d(s^k)
を仮定しよう.この仮定が正しい確率は99/100，そして仮定が正しいばあい，上の注意によってs^k(d)が決められるのであった.
おさらいすると，仮定のもと， s^k(D+1)，s^k(D+2)，s^k(D+3)，・・・を見て代表r＝r(s^k) が取り出せるので
列r のD番目の実数r(D)を見て， 「第k列のD番目の箱に入った実数はs^k(D)＝rDと賭ければ，めでたく確率99/100で勝てる.
確率1-ε で勝てることも明らかであろう.
176:１３２人目の素数さん
21/08/24 19:52:20.60 przAL1mY.net
>>175の続き
R^N/～ の代表系を選んだ箇所で選択公理を使っている.
その結果R^N →R^N/～ の切断は非可測になる.
ここは有名なヴィタリのルベーグ非可測集合の例(Q/Zを「差が有理数」で類別した代表系， 1905年)にそっくりである.
177:１３２人目の素数さん
21/08/24 19:53:24.90 przAL1mY.net
>>176の続き
逆に非可測な集合をこさえるには選択公理が要る(ソロヴェイ， 1970年)から，この戦略はふしぎどころか標準的とさえいえるかもしれない.
しかし，選択公理や非可測集合を経由したからお手つき， と片付けるのは，面白くないように思う.
現代数学の形式内では確率は測度論によって解釈されるゆえ，測度論は確率の基礎， と数学者は信じがちだ.
だが，測度論的解釈がカノニカル， という証拠はないのだし，そもそも形式すなわち基礎， というのも早計だろう.
確率は数学を越えて広がる生き物なのである(数学に飼いならされた部分が最も御しやすいけれど).
178:１３２人目の素数さん
21/08/25 12:01:21.83 xsBK3A/h.net
>>174
急に出て来たsdってなんぞ
179:１３２人目の素数さん
21/08/25 12:32:45.28 c2qgYuN3.net
実数列sの第d項
180:１３２人目の素数さん
21/08/25 22:39:12.95 tA+nCR0P.net
>>173
(引用開始)
ばかばかしい，当てられる筈があるものか，と感じられるだろう.
何か条件が抜け落ちているのではないか，と疑う読者もあろう.問題を読み直していただきたい.
条件はほんとうに上記のとおり.無限個の実数が与えられ，一個を除いてそれらを見た上で，除いた一個を当てよ，というのだ.
ところがところが--本記事の目的は，確率99%で勝てそうな戦略を供することにある.
この問題はPeter Winkler氏との茶のみ話がてら耳にした.氏は原型をルーマニアあたりから仕入れたらしい.
(引用終り)
さて
1．これは、明らかに”おとぎ話”か、”なぞなぞ”か、”パズル”かでしょうね
ともかく、数学ならば、論文か教科書に記載があるはずが、その種の文書は全く無いのです
2．考えてみると、各箱が独立とすれば、
問題の一個から見れば、無関係な箱を回りに持って来て、それを開ければ、問題の一個の箱の数が当たるという
恐ろしいほどのトンデモ論になってします
3．明らかに、これはおかしいですね
各箱がiid（独立同分布）とすれば、どの一つの箱も例外は無い
4．例外の箱ができるのは、iidと矛盾するので、
これは反例になります
以上
181:１３２人目の素数さん
21/08/25 23:11:14.85 c2qgYuN3.net
>>180
>1．これは、明らかに”おとぎ話”か、”なぞなぞ”か、”パズル”かでしょうね
数学パズルの定理です。
> ともかく、数学ならば、論文か教科書に記載があるはずが、その種の文書は全く無いのです
論文、教科書に記載なければ偽が無根拠。
>2．考えてみると、各箱が独立とすれば、
> 問題の一個から見れば、無関係な箱を回りに持って来て、それを開ければ、問題の一個の箱の数が当たるという
> 恐ろしいほどのトンデモ論になってします
選択公理を仮定したうえで「どの列の決定番号も自然数」を否定したらトンデモ論になってしまいます。
>3．明らかに、これはおかしいですね
おかしいのは5年間もトンデモ論を唱え続けるあなたの頭ですね。
182:１３２人目の素数さん
21/08/25 23:16:55.09 c2qgYuN3.net
>>180
> ともかく、数学ならば、論文か教科書に記載があるはずが、その種の文書は全く無いのです
数学セミナー2015.11月号に記載ありますよ？
間違っていると言うなら日本評論社にクレームを申し立ててはいかがですか？
183:１３２人目の素数さん
21/08/26 06:59:22.07 V/6zn5VS.net
>>181-182
1．日本評論社には、何の責任もない
査読した記事を載せる雑誌ではないし
また、記事の責任は全部筆者にあるのは常識です
2．数学セミナーの記事の数学の内容は、基本は既にある数学理論の分かり易い紹介記事ですよ
例外は、エレガントな回答とか、素人読者の数学研究記事くらい
3．され、時枝さんの記事には、確率論の裏付けがない
つまり、確率論の教科書なり、確率論の論文の裏付けがない
つまりは、Peter Winkler氏>>180との茶のみ話がてらの話の”おちゃらけ記事”だってことです
明らかに”おとぎ話”か、”なぞなぞ”か、”パズル”です>>180
以上
184:１３２人目の素数さん
21/08/26 07:07:41.83 nh9rPfQz.net
>>180
>各箱が独立とすれば、
「各箱が独立」って、>>172-175のどこに書いてあります
どこにも「独立」なんて二文字は書いてないですけど
1ことセタには、書いてない文字が見えるのか？
それ 幻視ですから 残念！！！
>問題の一個から見れば、無関係な箱を回りに持って来て、
>それを開ければ、問題の一個の箱の数が当たる
>という恐ろしいほどのトンデモ論になってします
もし、「問題の一個」が固定で、数列を任意に選ぶなら、ね
しかし、もし、数列が固定で、「問題の一個」を任意に選ぶとしたら？
そのときは、当たりの箱が無限個で外れの箱は有限個だからほとんど確実に当たるね
実は1ことセタのほうがトンデモだった、というヲチね
185:１３２人目の素数さん
21/08/26 07:16:16.35 nh9rPfQz.net
>>181
>選択公理を仮定したうえで「どの列の決定番号も自然数」を否定したら
>トンデモ論になってしまいます。
そうね それ
１．同値類の代表元が同値類のどの元とも同値 （代表元の定義）
２．列s^1とs^2が、尻尾の同値関係で同値とは
ある自然数ｎが存在して、両者のｎ番目以降の項が全て等しくなること
（尻尾の同値関係の定義）
※上記のｎを「（両者の）一致番号」とすると、
決定番号は「列自身とその同値類の代表元との一致番号」として定義される
を否定することになるから
結局アホの1ことセタは
「選択公理なんか正しくなぁぁぁぁぁい！
こんなヘンな同値関係で同値類の代表元なんか具体的に選択できなぁぁぁぁぁい！
具体的に実現できないことなんて正当化できなぁぁぁぁぁい！」
ってわめきだすに違いないｗ
186:１３２人目の素数さん
21/08/26 07:24:49.68 nh9rPfQz.net
>>183
>時枝さんの記事には、確率論の裏付けがない
そもそも箱入り無数目では箱の中身は確率変数ではない
実際、>>175には、箱の中身の確率分布なんて一切でてこない
そんなの必要ないかな
187:１３２人目の素数さん
21/08/26 08:19:10.82 vnXBTCGK.net
>>183
>1．日本評論社には、何の責任もない
出版責任がある。
> 査読した記事を載せる雑誌ではないし
関係無い。
> また、記事の責任は全部筆者にあるのは常識です
そう思うなら時枝先生にクレームを申し立てればよい。
>2．数学セミナーの記事の数学の内容は、基本は既にある数学理論の分かり易い紹介記事ですよ
> 例外は、エレガントな回答とか、素人読者の数学研究記事くらい
>3．され、時枝さんの記事には、確率論の裏付けがない
ある。
> つまり、確率論の教科書なり、確率論の論文の裏付けがない
ある。
100本のくじから1本のハズレを引く確率は1/100なんてのは小学校か中学の教科書あたりにあるんじゃないの？
> つまりは、Peter Winkler氏>>180との茶のみ話がてらの話の”おちゃらけ記事”だってことです
なんで正しい数学を茶飲みがてらに話しちゃいけないの？
> 明らかに”おとぎ話”か、”なぞなぞ”か、”パズル”です>>180
数学パズルの定理です。
188:１３２人目の素数さん
21/08/26 08:35:16.86 vnXBTCGK.net
>>183
>3．され、時枝さんの記事には、確率論の裏付けがない
> つまり、確率論の教科書なり、確率論の論文の裏付けがない
論点を絞ろう。
君は
「選択公理を仮定すれば、どの実数列の決定番号も自然数」
を認めるの？
これだけY/Nで答えて。決定番号の分布がーなんて余計なことは答えなくていいよ。
189:１３２人目の素数さん
21/08/26 10:22:26.69 dl10YEoF.net
>>177 補足
＞しかし，選択公理や非可測集合を経由したからお手つき， と片付けるのは，面白くないように思う.
これ、完全に時枝氏のミスリード
１．まず、ヴィタリ集合の話で、確かに、選択公理によって完全代表系が作れるが、
時枝記事では、完全代表系は必ずしも必要とされないのです
２．即ち、たった100個の代表さえあれば、足りるから、
有限個の選択で足りる
３．例えば、同値類は先に、完全に作っておくとして
代表は、ある同値類が指定されたときにのみ、一つ選べば足りる
こうすれば、代表は100個で済む
（問題の数列を知らずに代表を選ぶ必要があれば、例えば、目隠しをして同値類を適当に選ぶことにすれば良い）
４．さらに、余談だが、いまｎ個の実数（超越数） α1,α2,・・αn があるとして
α1,α2,・・αnたちが、異なるヴィタリの同値類に属するようにすることは簡単なこと
（つまりは、∀i,j i≠j αi-αj≠q∈Q とすることは容易です）
このような、ｎ個の実数（超越数）を選んだら、
「非可測集合を経由したからお手つきだぁ！」by 時枝
私「？ 時枝先生、何言っているの？
単に、ｎ個の実数（超越数）を選んだら、
”非可測集合を経由した”？
時枝先生、お気は確か？？」
ってことですｗ（＾＾
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
ヴィタリ集合
構成と証明
有理数体 Q は実数体 R の普通の加法についての部分群を成す。なので加法の商群 R/Q (つまり、有理数分の差を持つ実数同士を集めた同値類による剰余群) は有理数集合の互いに交わらない"平行移動コピー"によって出来ている。この群の任意の元はある r ∈ R についての Q + r として書ける。
つづく
190:１３２人目の素数さん
21/08/26 10:22:56.44 dl10YEoF.net
>>189
つづき
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 が可測だったとして矛盾を導く。
(引用終り)
以上
191:１３２人目の素数さん
21/08/26 10:37:37.99 nh9rPfQz.net
>>189-190
1 >>188に答えられず惨敗
>君は
>「選択公理を仮定すれば、どの実数列の決定番号も自然数」
>を認めるの？
>これだけY/Nで答えて。
Yと答えれば、箱入り無数目が自動的に成立して惨敗
Nと答えれば、尻尾の同値関係と、同値類の代表元の定義に反して惨敗
答えなければ負けない？
あいかわらず底抜けにバカだねぇｗｗｗｗｗｗｗ
要するに1ことセタが何の考えもなく
「何ぃ？確率99/100で当たるだとぉ？ マチガッテル！」
と記事も読まず（読めず）に脊髄反射で書き込んだのが間違い
192:１３２人目の素数さん
21/08/26 10:55:39.85 nh9rPfQz.net
無限列１００列に対して、それぞれ代表元をとったとすれば
無限列－代表元という差をとり、差がない場合空とすることで
長さ上限なしの有限列１００列に置き換えられる
上記の置き換えによって、箱入り無数目は「空箱を当てるゲーム」となる
無限個ある箱の中で、空でない箱は有限個しかないんだから、
そもそも空でない箱を選ぶほうが難しい
しかし一方で、数列を確率変数として、選ぶ箱は固定とすると
「箱の中身が空」である確率は限りなく小さくなる
なぜなら、どんな自然数ｎを選んでも、上限のない有限長の列の中から
勝手にある列を選んだばあい、その長さがｎ以上である確率はほぼ１だから
（ただ、上限のない有限長の列全体から列の長さへの関数は
厳密にいえば非可測である、なぜならどのｎについても
長さｎの列の測度はほぼ０の筈だが、その可算和は全体空間となり
その測度は１にならないとおかしいから）
193:１３２人目の素数さん
21/08/26 14:24:26.65 dl10YEoF.net
>>192
＞しかし一方で、数列を確率変数として、選ぶ箱は固定とすると
おっさん、おっさん
おっさんの”確率変数”の理解が怪しいな
これでも嫁め（下記）ｗｗｗ
URLﾘﾝｸ(www.smapip.is.tohoku.ac.jp)
物理フラクチュオマティクス論Physical Fluctuomatics第3回確率変数，確率分布，確率密度関数
田中和之(Kazuyuki Tanaka)
東北大学大学院情報科学研究科応用情報科学専攻田中和之(Kazuyuki Tanaka) 2007/5/1
確率と確率変数
各事象に番号を割り当て，その番号に対する変数を導入する．この変数を確率変数(Random Variable)という．
194:１３２人目の素数さん
21/08/26 14:55:11.07 nh9rPfQz.net
>>193
実際には「数列の各項が確率変数」だが、大した違いではない
それより>>188に答えられないことが
1ことセタの不用意な発言の
間違いの証明だと気づいたかい？
195:１３２人目の素数さん
21/08/26 15:03:07.72 nh9rPfQz.net
U＝∪R^n（n∈N）を考える
R^nの中で、R^m (m<n)は測度0だが
これをそのままUにもっていくと
Uの中でR^nは測度０になるように見える
しかし、ここで測度０だと言い切ると
測度の定義の１つである可算加法性に反する
なぜならUは、全ての自然数ｎについての
R^nの和集合であって、自然数の個数は
可算個であるから、Ｕ全体も測度０になってしまう
R^∞の中でのUの測度、ということならそれでもいいが
ここではUに0でない有限の測度を入れたいのだから
R^nの測度が0、ではNGということになる
これが数学である
自分の決めつけが絶対正しいと考えるのは
宗教であって数学ではない
1ことセタ、君のことだぞｗ
196:１３２人目の素数さん
21/08/26 17:09:33.54 Q+cKLF7w.net
>>175
>確率1-ε で勝てることも明らかであろう.
εがいきなり出て来て「明らか」というような書き方をしているが、
どういう状況の中で「明らか」と書いたと考えればよいんだ？
100個の箱の実数を当てる文章の続きで書いたのか？
これなら勝てる確率は 1-ε ではなく勝てる確率は1か 99/100 になる
それとも、2個以上の有限個の箱の実数を考えたときの別の話として書いた文なのか？
197:１３２人目の素数さん
21/08/26 17:23:26.30 nh9rPfQz.net
>>196
100列じゃなく、もっと多数の列を使えば
ε＝1/n(nは列の数)だから、いくらでもεを小さくできる
頭蓋骨の中に脳味噌があるなら明らかだが
君の頭蓋骨の中には味噌はないのか？ｗ
198:１３２人目の素数さん
21/08/26 17:33:18.20 Q+cKLF7w.net
>>197
いや、何通りかの読み方が出来てしまうからな
199:１３２人目の素数さん
21/08/26 17:38:16.35 nh9rPfQz.net
頭蓋骨の中に味噌がない人のために行間に『』で囲った記載を追加した
１．「s^kの決定番号『d(s^k)』が他の列の決定番号どれよりも大きい
『すなわち、他の列の決定番号の最大値をDとしたとき、D＜d(s^k)となる』
確率は1/100に過ぎない.」
２．「いま
D >= d(s^k)
を仮定しよう.この仮定『すなわちD ＜ d(s^k)の否定』が正しい確率は
『1-1/100=』99/100」
３．「列r のD番目の実数r(D)を見て，
「第k列のD番目の箱に入った実数はs^k(D)＝rD」と賭ければ，
めでたく確率『1-1/100=』99/100で勝てる.
『100列を10000列でも1000000列でも好きなだけ多くすることができる.
εをD＜d(s^k)の確率としたとき、列の数をnとして1/nとなるから』
確率1-ε で勝てることも明らかであろう.」
200:１３２人目の素数さん
21/08/26 17:39:54.50 nh9rPfQz.net
>>198
いや、一通りも読めてないでしょ 乙クン
201:１３２人目の素数さん
21/08/26 17:43:10.91 nh9rPfQz.net
さて
「列を無限個にすれば確率１で勝てるといえるじゃないか」
という人がいるとしたら、そいつは何も考えてない軽率な馬鹿野郎であるｗ
そもそも列を無限個にした場合、
自分以外の列の決定番号の最大値Ｄが
存在しない可能性がある
それでは意味がない
202:１３２人目の素数さん
21/08/26 17:45:34.61 Q+cKLF7w.net
>>200
普通、1ヶ所だけ「明らか」とか「自明」という言葉で済ませるような書き方はしない
203:１３２人目の素数さん
21/08/26 18:09:01.91 vnXBTCGK.net
>>196
出題列sをn列に分ければ勝率(n-1)/n以上
ε=1/nとおけば(1-ε)/1以上
それだけのこと
204:１３２人目の素数さん
21/08/26 18:09:55.45 nh9rPfQz.net
>>202
この場合は「明らか」でしょう
決定番号が他の列の決定番号どれよりも大きい列は
全体の個数に限らず１個ですから
そこが分かっていれば、全体の個数を増やすことで
失敗確率をいくらでも小さくできることは明らか
分からないとしたら、記事が読めてないってことです
たかだか２ｐの数セミの記事も読めないんじゃ、数学書は読めないね
205:１３２人目の素数さん
21/08/26 18:14:13.23 nh9rPfQz.net
>>203
セタにしても乙にしても、論理的思考力は著しく低いので
いちいち、ステップを踏んで説明しないと理解しないよ
小学生だと思って説明しないとね
ほんと、大阪大とか東京理科大とかいってるけど、ウソだろって感じ（マジ）
206:１３２人目の素数さん
21/08/26 18:14:53.70 vnXBTCGK.net
>>202
じゃ著者にメールでも送れば？
おまえの書き方は普通じゃないと
207:１３２人目の素数さん
21/08/26 18:16:24.00 nh9rPfQz.net
>>203
あと、このスレに書く時はe-mail欄にsageって書いてね
こんなスレが上位にあがってると
「数学板って、バカしか書かないのか？」
ってなめられるからさ
208:１３２人目の素数さん
21/08/26 18:17:54.77 nh9rPfQz.net
>>206
ほんと、君が数学板荒らしじゃないなら
このスレに書く時はe-mail欄にsageって書いてくれるかな？
209:１３２人目の素数さん
21/08/26 18:19:57.82 vnXBTCGK.net
数学板はバカが来るところだよ それが現実
繕う必要なんて無い
210:１３２人目の素数さん
21/08/26 18:21:20.90 nh9rPfQz.net
>>209
>数学板はバカが来るところだよ
荒らしは失せてくれるかな
211:１３２人目の素数さん
21/08/26 18:22:10.50 nh9rPfQz.net
vnXBTCGKがバカだからって、みんなバカってことにはならないよ
212:１３２人目の素数さん
21/08/26 19:30:19.59 vnXBTCGK.net
実際ID:nh9rPfQzというバカが来てるだろ？
213:１３２人目の素数さん
21/08/26 19:40:24.48 vnXBTCGK.net
>>210
じゃおまえが去れよ
214:１３２人目の素数さん
21/08/26 19:52:07.94 nh9rPfQz.net
>>213
荒らしの貴様が去れよ バカ
215:１３２人目の素数さん
21/08/26 19:52:58.65 nh9rPfQz.net
vnXBTCGKは誰にでも噛みつく狂犬かよ 死ねよバカ
216:１３２人目の素数さん
21/08/26 19:53:28.31 nh9rPfQz.net
狂犬vnXBTCGKは死ねよ バカ
217:１３２人目の素数さん
21/08/26 19:56:32.86 nh9rPfQz.net
このスレの三バカ大将ｗ
1ことセタ
乙
狂犬
218:１３２人目の素数さん
21/08/26 19:58:07.34 nh9rPfQz.net
セタ 阪大卒といってるがどうみてもFラン大レベル
乙 理科大卒といってるがどうみても大学入れなかったレベル
狂犬 中卒ｗ
219:１３２人目の素数さん
21/08/26 19:59:40.78 vnXBTCGK.net
ID:nh9rPfQz
発狂すんなよ
荒らすなら失せてくれるかな？
220:１３２人目の素数さん
21/08/26 19:59:54.32 nh9rPfQz.net
セタはとにかく文章が読めない
だから物事の論理が全く理解できない
221:１３２人目の素数さん
21/08/26 20:00:28.64 nh9rPfQz.net
>>219
発狂してるのは貴様
狂犬は失せろ シッシッ（嘲）
222:１３２人目の素数さん
21/08/26 20:00:55.26 nh9rPfQz.net
狂犬はセタに勝ちたいらしいが
実際はセタよりはるかにバカｗ
223:１３２人目の素数さん
21/08/26 20:00:58.26 vnXBTCGK.net
>>217
確率試行も分からんかったおまえに言われとーないわｗ
224:１３２人目の素数さん
21/08/26 20:01:58.64 vnXBTCGK.net
>>222
小学生でも正答できる問題に誤答したおまえに言われとーないわｗ
225:１３２人目の素数さん
21/08/26 20:03:56.72 vnXBTCGK.net
［問題］
箱が1個ある.
私がサイコロを振って出た目を紙に書いて箱に入れる. そして箱を閉じる.
今度はあなたの番である.
勝負のルールはこうだ. もし閉じた箱の中の数を確率1/6以上で言い当てたらあなたの勝ち. さもなくば負け.
勝つ戦略はあるでしょうか?
［小学生A君の答え］
「箱の中の数は１」と答えれば確率1/6で言い当てられます。これが勝つ戦略です。
［自称大卒B君（ID:nh9rPfQz）の答え］
箱の中の数を何と答えても実際の箱の中の数と一致してなければ確率０でしか言い当てられないので勝つ戦略はありません。
［先生］
えっとー・・・B君？・・・（汗）
226:１３２人目の素数さん
21/08/26 20:04:31.99 nh9rPfQz.net
>>223
確率試行って何すか？
227:１３２人目の素数さん
21/08/26 20:05:20.82 vnXBTCGK.net
箱の中の数を何と答えても実際の箱の中の数と一致してなければ確率０でしか言い当てられないので勝つ戦略はありません。
↑
こんな恥ずかしいことよく言えるな
小学校の教科書読み直せｗ
228:１３２人目の素数さん
21/08/26 20:06:01.24 vnXBTCGK.net
>>226
バカは去れよ
ここは数学板だ
229:１３２人目の素数さん
21/08/26 20:07:46.55 nh9rPfQz.net
>>225
間違ってるのは小学生の狂犬君だよｗ
サイコロの目が4だとしよう
その場合、何十篇、何百編、1と答え続けても当たらない
毎回自分がサイコロを振ってその目を答える戦略なら
確率1/6で1と答えることになり、その場合当たる
アタマつかえよ 小学生ｗｗｗｗｗｗｗ
230:１３２人目の素数さん
21/08/26 20:08:41.34 vnXBTCGK.net
箱の中の数を何と答えても実際の箱の中の数と一致してなければ確率０でしか言い当てられないので勝つ戦略はありません。
↑
確率が根本的に分かってないｗ
バカは去りましょうね。ここは数学板です。
231:１３２人目の素数さん
21/08/26 20:09:58.91 vnXBTCGK.net
>>229
毎回ってなんだよｗ
やっぱりなーーーーーーーーーーーーーーーんにも分かってないｗ
バカはお断り。ここは数学板。
232:１３２人目の素数さん
21/08/26 20:10:16.16 nh9rPfQz.net
＞箱の中の数を何と答えても
＞実際の箱の中の数と一致してなければ
＞確率０でしか言い当てられない
事実だから仕方ない
箱の中身は定数だと狂犬は言い切ったよな
その瞬間貴様は負けたんだ 死んだんだ
丸焼きにされて俺様に食われたんだｗｗｗｗｗｗｗ
え？イヌを食うのは韓国人？知るかよ
イヌに生まれた貴様がバカなんだ
貴様を産んだクソな両親を呪えｗｗｗｗｗｗｗ
233:１３２人目の素数さん
21/08/26 20:10:56.85 vnXBTCGK.net
>>225のどこをどう読んだら「毎回」ってワードが出て来るの？
バカは確率が根本的に分かってないｗ
当然時枝戦略も分からないｗ
234:１３２人目の素数さん
21/08/26 20:11:43.06 nh9rPfQz.net
>>231
＞毎回ってなんだよｗ
確率試行が理解できない狂犬ｗｗｗｗｗｗｗ
分かってないのはおめえだよｗｗｗｗｗｗｗ
235:１３２人目の素数さん
21/08/26 20:12:44.86 vnXBTCGK.net
>>232
君に箱入り無数目は無理だからどっか行ってくれる？
236:１３２人目の素数さん
21/08/26 20:13:05.32 nh9rPfQz.net
>>233
でてこないから1回だと思う狂犬がバカｗｗｗｗｗｗｗ
確率がわかってねえのは狂犬の貴様だよｗｗｗｗｗｗｗ
237:１３２人目の素数さん
21/08/26 20:13:30.59 vnXBTCGK.net
>>234
小学生でも答えられる問題に誤答したアホが何言っても無駄
238:１３２人目の素数さん
21/08/26 20:14:54.43 nh9rPfQz.net
毎回箱の中身を入れ替えるなら 箱の中身が確率変数
毎回回答が変えられるなら、回答が確率変数
箱の中身と回答は、もちろん実体として異なる
そこがわからない小学生の狂犬ｗｗｗｗｗｗｗ
239:１３２人目の素数さん
21/08/26 20:15:47.58 nh9rPfQz.net
>>237
小学生の間違いに気づかない狂犬ｗｗｗｗｗｗｗ
【結論】狂犬の知能は小学生ｗｗｗｗｗｗｗ
240:１３２人目の素数さん
21/08/26 20:16:41.72 nh9rPfQz.net
率直にいって狂犬の間違いが一番低劣
こいつ絶対中卒のDQNだわｗｗｗｗｗｗｗ
241:１３２人目の素数さん
21/08/26 20:50:02.70 vnXBTCGK.net
>>240
小学生以下のおまえに言われてもなあ
242:１３２人目の素数さん
21/08/26 23:14:37.23 vnXBTCGK.net
>>225
「箱の中の数は１」と答えるものとする。
>［小学生A君の答え］
>「箱の中の数は１」と答えれば確率1/6で言い当てられます。これが勝つ戦略です。
箱の中の数が１となる事象①は確率1/6で起こる。
事象①が起きることと答えが当たることは同値だから、当たる確率＝1/6。よって正解。
>［自称大卒B君（ID:nh9rPfQz）の答え］
>箱の中の数を何と答えても実際の箱の中の数と一致してなければ確率０でしか言い当てられないので勝つ戦略はありません。
当たる確率０は事象①以外が起きたことを勝手に仮定したうえでの結論であるから間違い。
自称大卒B君（ID:nh9rPfQz）は小学生に負けました。
243:１３２人目の素数さん
21/08/27 06:52:18.23 sn4OgIup.net
>>242
小学生の誤り
>箱の中の数が１となる事象①は確率1/6で起こる。
これ誤りね
「箱の中は確率変数じゃなく定数」
だと君が云い切った瞬間、
まっさきに上記は否定される
それとも箱の中は確率変数だと言い張る？
その場合、「箱入り無数目」問題の箱の中身も確率変数だよ
そしたら、記事の証明は全く正当化されなくなるけど、いいの？
君、どっちにしても負けだね
マラパッピーに負けるか、1に負けるか、どっちの負けを選ぶ？
244:１３２人目の素数さん
21/08/27 07:02:46.07 I3UTm6gC.net
>>204-205
一カ所だけ具体的にどういう命題を指して「明らか」と書いたのかが不明な書き方になっている
ゼミでそのように具体的に命題を書かずに「明らか」または「自明」という言葉を使って
書くと、指導教官から間違いなく突っ込まれる
245:１３２人目の素数さん
21/08/27 08:11:56.60 wvnuK5m/.net
指導教官に突っ込まれるのは自分の頭で理解してないのに
分かったつもりになってるときで、それに対して
「この参考文献が目に入らぬか～」と
参考文献や引用で逃げ切ることができると思ってるのが
乙やセタ。しかしワカランチンであることがバレバレなので
「君、数学辞めた方がいいんじゃない？」
と宣告されるのがオチ。
246:１３２人目の素数さん
21/08/27 08:21:33.03 I3UTm6gC.net
>>245
元の時枝記事は、多義的な解釈が出来る曖昧な書き方になっているから、一意に理解しようがない
時枝記事はそのような記事になっている
時枝記事を一意に理解出来ると思ったら大間違い
247:１３２人目の素数さん
21/08/27 09:04:01.67 Z8s+4ycY.net
この問題がそんなに面白いとは不思議だ。
248:１３２人目の素数さん
21/08/27 09:09:37.21 wvnuK5m/.net
>>246
記事の前半と後半では意味が違うという点と
自分の不理解から1-εの意味が理解できなかった点を
混同しようとする卑劣な乙。
249:１３２人目の素数さん
21/08/27 09:23:02.96 I3UTm6gC.net
>>248
時枝記事は、肝心要なところが多義的な解釈が出来る書き方になっているから、一意に解釈して理解しようがない
つまり、私の時枝記事の解釈にも思い込みが入っていたが、君の時枝記事の解釈にも思い込みが入っていたということ
時枝記事をマジメに読むとそうなる
>>247
な、結局私が以前書いた時枝記事の見解と似た見解になるだろう
250:１３２人目の素数さん
21/08/27 09:28:34.14 wvnuK5m/.net
前スレで、乙が「確率1-εは1と同義」を示すのに
無理数論における有理数近似の書き方を
形だけ覚えて真似て、訳も分からず
論じている「つもり」になってた
書き込みがあってけど、あれはヤバイだろ。
乙にしてみれば、「本に書いてあることを
吸収して自分のモノにできてる俺偉い」
ってことなんだろうけど、ハタから見れば
お前何も分かってないじゃん、無理数論も
箱入り無数目も、何から何まで全然
分かってないじゃんと見透かされるだけ。
251:１３２人目の素数さん
21/08/27 09:38:36.67 wvnuK5m/.net
「1-εは1と同義」とかアホなこと言ってる乙は
「アーベルの連続性定理」を勉強してみろ。
252:１３２人目の素数さん
21/08/27 09:46:44.92 I3UTm6gC.net
>>250
>確率1-ε で勝てることも明らかであろう.
この部分はせめて
>nを2以上の正整数としてn個の箱の中の実数を当てることを考えたとき
>確率 1-1/n で勝てることも明らかであろう.
というようにでも書くべきだな
そうすれば、多義的な解釈は生じず、一意に解釈して理解出来るようになる
何しろその文だけが別の話をしていることになっているからな
253:１３２人目の素数さん
21/08/27 09:53:47.84 I3UTm6gC.net
>>251
εと 1/n は違う
254:１３２人目の素数さん
21/08/27 09:56:15.67 Z8s+4ycY.net
そういう無意味な話を面白がる不思議さ
255:１３２人目の素数さん
21/08/27 09:58:47.15 I3UTm6gC.net
>>254
時枝記事は数学としてつまらない
256:１３２人目の素数さん
21/08/27 10:06:44.03 /5Yy2c1H.net
>>243
>「箱の中は確率変数じゃなく定数」
>だと君が云い切った瞬間、
何の話？
>>225にはそんなこと一言も書かれてないけど？
257:１３２人目の素数さん
21/08/27 10:08:55.96 /5Yy2c1H.net
>>243
書かれても無いことが見えるって君幻覚症？病院行った方がいいよ
258:１３２人目の素数さん
21/08/27 10:12:56.34 7hdMp1M1.net
>>252
n個なのは箱じゃなくて列数だと思うが
列数を増やせばεはいくらでも小さくなる
259:１３２人目の素数さん
21/08/27 10:38:59.91 /5Yy2c1H.net
>>255
だからそう思うならここに来なきゃいいだろｗ
260:１３２人目の素数さん
21/08/27 10:41:03.51 Z8s+4ycY.net
ここに来る面々の思考または嗜好に興味がある
261:１３２人目の素数さん
21/08/27 10:46:34.47 /5Yy2c1H.net
>>225
>［自称大卒B君（ID:nh9rPfQz）の答え］
>箱の中の数を何と答えても実際の箱の中の数と一致してなければ確率０でしか言い当てられないので勝つ戦略はありません。
この屁理屈が通るなら、
「どの列を選択してもそれがハズレ列だったら確率０でしか言い当てられないので勝つ戦略はありません。」
となるなｗ
262:１３２人目の素数さん
21/08/27 10:52:42.11 wvnuK5m/.net
箱入り無数目は面白いと思うよ。
「面白くない」と言うのは勝手だが、言ってる2人が
理解せずに言ってるのだとすれば醜い。
言っとくけど、「理解する」というのは
字面として「読めている」という意味ではないからｗ
263:１３２人目の素数さん
21/08/27 17:23:27.49 Jbu9nela.net
>>262
面白さのポイントを解説してくれ
264:１３２人目の素数さん
21/08/27 17:49:31.86 P9O+RCwg.net
>>263
よこだが
時枝記事の面白味は
時枝先生の間違い探しだな
時枝先生は、沢山の間違ったことを書いているよ
それを探すんだよｗ
265:１３２人目の素数さん
21/08/27 18:29:58.97 GXPmOk9+.net
それはニュータイプでよいかもしれない
266:１３２人目の素数さん
21/08/27 18:57:21.81 /5Yy2c1H.net
>>263
>>264みたいなアホが引っかかるところ
>>264
>>188への回答まだ？
267:１３２人目の素数さん
21/08/28 07:48:41.81 ExfHaBfA.net
>>264
時枝正に嫉妬してる？
１５歳で画家志望してフランスへ
→古典言語学に目覚める
→その後、数学を学ぶために渡米
大学入ったとたん数学に挫折した、どこかの誰かとは大違いだね
嫉妬した？な、嫉妬した？
URLﾘﾝｸ(www.teglet.co.jp)
268:１３２人目の素数さん
21/08/28 07:57:20.69 ExfHaBfA.net
>>225
[さしこだZ君の答え]
「箱の中身がLOVE」のとき
「箱の中身=LOVE」と答えれば勝てる確率１
「箱の中身≠ME」と答えれば勝てる確率０ (ME≠LOVE）
269:１３２人目の素数さん
21/08/28 09:30:16.89 GCjKdMkP.net
>>268
ME≠LOVEなら箱の中身≠MEの確率は１だが
「箱の中身≠ME」と答えれば、否定回答はルール違反だから反則負けで勝てる確率０
270:１３２人目の素数さん
21/08/28 09:35:55.90 ExfHaBfA.net
>>268
「箱の中身はME」と答えるのだが、
グループ名が≠MEなんで・・・いや、こっちの話ｗ
271:１３２人目の素数さん
21/08/28 10:47:52.82 j6A6Uinw.net
>>267
下記は、有名な話だが、時枝先生は、正規の理系学部の講義を受けていないし、単位も取っていないらしい
だから、普通の理系の常識が欠落しているように見える（それが、強みでもあり、弱みでもある）
例えば、確率論があやしい(可測性の保証)
確率変数の無限族の独立性の理解もあやふや
ヴィタリ集合もあやしい。実数Rには普通に測度を入れることができて、可測集合もできる。そのR中での、ヴィタリ集合の非可測だ
ところが、R^N(無限次元ベクトル空間)には、普通に測度を入れることができない ∵例えば、ｎ次の超立体 一辺dの超体積V=d^nで、n→∞ V=d^n→∞ （d> 1のとき。d<1のときは、0に潰れる）
そんなR^Nの中で、しっぽの同値類だから、ヴィタリそっくりで、非可測になるとか、無茶苦茶な議論
”お手つき”>>177もおかしい。>>189に書いたが、ｎ個の実数（超越数） α1,α2,・・αn があるとして
α1,α2,・・αnたちが、異なるヴィタリの同値類に属するとする
α1,α2,・・αnたちが、区間[r1,r2] (L=r2-r1)内にあるとする
（商R/Qの断面を[r1,r2]に取れることに注意して）
下記の「ヴィタリ集合 構成と証明」の一般化で、区間[r1-L,r2]の”有理数の数え上げ”を考えれば、
全く同様に区間[r1,r2]に非可測のヴィタリ集合ができる
で、そもそも、α1,α2,・・αnたちは、異なるヴィタリの同値類に属するのが普通であるから、
だから”非可測集合を経由したからお手つき”とか、無茶苦茶ですがなｗ
笑える記事ですよ（＾＾
(参考)
URLﾘﾝｸ(kankyodou.blog.ss-blog.jp)
環虚洞 / 一日十書 百学連環
「プロの数学者」になるには・・（時枝正ケンブリッジ大Trinity Hall 数学主任）2015-10-30
卒論のめどがついた時分、ひょんなめぐりあわせからランダウ Л. Д. Ланда?у の伝記を繙いた。
つづく
272:１３２人目の素数さん
21/08/28 10:48:52.31 j6A6Uinw.net
>>271
つづき
ランダウは53歳のとき自動車事故に遭い、ふた月も死境をさまよったが、やっと意識を回復した朝、息子がたまたまアカデミー病院に見舞いに来ていた。月並な偉人伝ならお涙頂戴場面。しかしこの伝記によればなんと、目覚めたランダウ先生、息子を相手に早速 「dx/sinxの積分はどうやって求める？」と口頭試問を始めた。そしてつまった息子に対し「どうしたんだ。こんなのがむずかしいのか」と笑ったという。
この一笑が私にはこたえた。文系では優等生で通してきたのに、「dx/sinxの積分」の題意からしてちんぷんかんぷんではないか。憤慨した私は、そこで、積分とやらの水準まで数学を独習しよう、と決心した。独習するにはどうしたらよいか？同伝記中、物理を志した若者にランダウが「数学を身につけるには、教科書ではなく、問題集ーどんなものでもよいが、ただし問題がたくさんのっているものーが主要な役割を演じます」と諭すくだりがあった。相談のつてとて他になし、ランダウの諭告を真に受け、なるべく大きな問題集を探して掘り出したのが・・・（ここに、ロシア語の著者名、問題集の表題が示されてあるのだが、引用不可。総問3084あるという。関心ある方は、本文にあたり確認されたし）。言語が商売のてまえ、ロシア語だっておどろかない。一冬投資、ロシア語を学びながら дпк に取り組んだ。毎日7、8時間がんばった。なぜあんなに熱中しえたか不思議である。約1/3進んだ一節で ∫ dx/sinx＝1ｎtg x/2 が求まるようになったが、勢いにのって進み（ロシア語と数学同時に進歩するので2乗に加速する）、余寒すぎにはいつしか問題数十を余すのみとなり、ロシア語もすらすら読めるようになっていた。
つづく
273:１３２人目の素数さん
21/08/28 10:49:26.34 j6A6Uinw.net
>>272
つづき
この期に及び私はふたつの事実に勘づいた。
ⅰ）自分はこの手の問題がけっこうできる。
ⅱ）しかしどうも数学にはこの手の問題があるらしい・・・
次の秋、私は数学の学部課程を正規に修むべく、British Councilの奨学金を懐に、オックスフォードに学士入学した。
講義らしい講義とてなかった。前の上智では散発的聴講がせいぜい、後のプリンストンでも大学院の講義は皆無であった。いったい数学の講義はされる側よりする側が勉強になるもので、講義にかよって単位を取る、という体験がぬけたまま自分が講義する側になりおおせた私は、得をした、ともいえる。小学校の代理教員以来、される側に随分迷惑をかけたろう。今でもあちこちでさせてもらうたびに勉強になる。
URLﾘﾝｸ(ja.wikipedia.org)
ヴィタリ集合
構成と証明
略
(引用終り)
以上
274:１３２人目の素数さん
21/08/28 11:43:06.13 GCjKdMkP.net
>>271
不成立の何の根拠にもなってない
275:１３２人目の素数さん
21/08/28 11:43:37.43 GCjKdMkP.net
>>271
>>188への回答まだ？
276:１３２人目の素数さん
21/08/28 15:13:06.18 ExfHaBfA.net
>>271
「箱入り無数目」に確率論は必要ない
箱の中身の範囲の集合がいかなるものでも成立する
箱の中身の確率分布は必要ない
確率変数の無限族の独立性も関係ない
非可測性も関係ない
277:１３２人目の素数さん
21/08/28 15:26:55.98 j6A6Uinw.net
>>276
なるほど
その時枝氏の間違いの指摘
だいたい当たっているな（＾＾
278:１３２人目の素数さん
21/08/28 15:35:09.40 GCjKdMkP.net
>>277
>>188への回答まだ？
279:１３２人目の素数さん
21/08/28 15:37:45.54 ExfHaBfA.net
>>277 いや、君の間違いの指摘だよ 痴弁1君
>>278 クソスレあげんなｗ
280:１３２人目の素数さん
21/08/28 20:14:43.83 j6A6Uinw.net
>>276
>>276 補足
>箱の中身の範囲の集合がいかなるものでも成立する
>非可測性も関係ない
1．コイントスなら確率1/2、サイコロなら1/6、トランプゲーム52枚なら1/52、
宝くじ100万枚に一等1枚なら1/100万
任意の自然数 n∈N 的中なら、1/可算無限
任意の実 数 r∈R 的中なら、1/連続無限
2．時枝記事は、上記のどの確率現象によるかに無関係に
的中確率99/100だという
3．これで、”なんか、おかしい”と感じないようならば、
かなり、数理のセンス悪いというべき
4．あきらかに、可測性が保証されない確率計算を、
時枝さんは、していると判断できるよね
数理のセンスが良ければねｗ
281:１３２人目の素数さん
21/08/28 20:47:05.01 GCjKdMkP.net
>>280
100列の決定番号はどれも自然数だから、単独最大決定番号の列は1列以下。
ランダム選択でその列を引く確率は1/100以下。
これで、”なんか、おかしい”と感じるようならば、数理のセンスを問う以前のど阿呆。
自分の阿呆さを自覚できずに時枝先生が間違ってると妄想するに至っては狂人。
282:１３２人目の素数さん
21/08/28 21:17:17.84 ExfHaBfA.net
>>280
>コイントスなら確率1/2、サイコロなら1/6、トランプゲーム52枚なら1/52、
>宝くじ100万枚に一等1枚なら1/100万
>任意の自然数 n∈N 的中なら、1/可算無限
>任意の実 数 r∈R 的中なら、1/連続無限
>時枝記事は、上記のどの確率現象によるかに無関係に的中確率99/100だという
ええ、上記の確率現象とは無関係ですから
問題にはそんな確率現象は全く存在しませんから
数列は定数です 確率現象による確率変数ではありません
そして、いかなる数列を設定しても、
「箱入り無数目」で選択できる候補の100箱のうち99箱は
代表値と一致しているので当たってしまいます
そこだけが確率現象です
そのことに気づけない数理センスの持ち主の1には数学は無理です
基本列も行列式も知らん1に数学を語る能力はありません
諦めましょう
283:１３２人目の素数さん
21/08/28 21:23:11.50 ExfHaBfA.net
>>281
>あきらかに、可測性が保証されない確率計算を、
>時枝さんは、していると判断できるよね
してませんよ
例えば時枝氏は、
「数列100列全体の測度を1としたときの
1列目が決定番号単独最大となる100列全体の集合Ｓの測度」
なんて一切計算してませんよ
計算できるわけありません Ｓは非可測ですから
しかし、そんな計算必要ないんですよ
数列は定数だから、数列100列の空間の測度なんて必要ない
当然非可測集合もでてこない
ザンネンでした
284:１３２人目の素数さん
21/08/28 22:25:11.23 GCjKdMkP.net
>>280
>>188への回答まだ？
この程度も回答できずに時枝先生批判？阿呆もここまで来るとピエロだなｗ
285:１３２人目の素数さん
21/08/28 22:37:51.26 j6A6Uinw.net
>>284
ピエロはお前だ
アホ！ｗ
286:１３２人目の素数さん
21/08/28 23:02:17.27 GCjKdMkP.net
>>285
減らず口は>>188に回答した後でお願いしますね
287:１３２人目の素数さん
21/08/29 07:30:05.01 OVMh0lsj.net
j6A6Uinw=1のテーマ曲
URLﾘﾝｸ(www.youtube.com)
288:１３２人目の素数さん
21/08/29 09:57:27.89 7niZQGlq.net
>>271 補足
（参考）>>1より
時枝問題（数学セミナー201511月号の記事） 「箱入り無数目」抜粋
純粋・応用数学（含むガロア理論）8
ｽﾚﾘﾝｸ(math板:401番) 以下406まで
時枝問題（数学セミナー201511月号の記事）
URLﾘﾝｸ(mathoverflow.net)
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.
(引用終り)
1．決定番号は、非正則分布を成す>>13-14
2．例えば、宝くじで、例えば発行枚数がM＝100万枚とします。連番が0～99999まで振ってあるとする
1枚買った人が、番号を見ると1だったとすると、ビックリしますよね。「珍しい」と
確率1/100万ですからね。しかし、番号1も他の数ｎも同じ確率なのです
3．ここで、M→∞、つまり、発行枚数を無限大とします
1枚買った人が、番号を見ると1だったとする。確率1/∞＝0ですが、ありうる
同様に、他の数ｎも同じ確率で、確率1/∞＝0ですが、ありうる
つづく
289:１３２人目の素数さん
21/08/29 09:58:25.57 7niZQGlq.net
>>288
つづき
4．さて、この時点で、既に標準的な”測度論的確率論”から外れてしまっています（＾＾；
つまり、当りくじ1枚で残り外れ。当りの確率1/∞＝0、外れ確率1
しかし、全事象の和(又は積分)が無限大に発散しているので、全事象を1とするコルモゴロフの確率公理を満たさない
5．同様に、決定番号は自然数N全体を渡る
n個の決定番号d1,d2,・・dn ≦ ｍ（ここに、ｍはn個の決定番号の最大値（有限））とする
自然数N全体は無限大なので、”d1,d2,・・dn ≦ ｍ（有限）”となる確率0
6．つまり、時枝氏の記事は、”確率0”の世界で成り立つ、おとぎ話でしかないのです
∵ 自然数N全体は無限大で、非正則分布を使ってしまったから
以上
290:１３２人目の素数さん
21/08/29 10:05:24.82 OVMh0lsj.net
>>289
>”d1,d2,・・dn ≦ ｍ（有限）”となる確率0
7niZQGlq=1に質問
「任意のd1,d2,…,dn∈Nに対して
あるm∈Nが存在し
d1,d2,・・dn ≦ m
となる」
Y or N? 答えてみ
291:１３２人目の素数さん
21/08/29 10:11:24.71 OVMh0lsj.net
A．あるm∈Nが存在し
任意のd1,d2,…,dn∈Nに対して
d1,d2,…,dn ≦ m
となる
B．任意のd1,d2,…,dn∈Nに対して
あるm∈Nが存在し
d1,d2,…,dn ≦ m
となる
AとBは異なる
Aのｍは、d1,d2,…,dnに依存しない定数mだが
Bのｍは、d1,d2,…,dnに依存する関数m(d1,d2,…,dn)である
1は、述語論理の基本である限量子の順序の意味すら知らんらしい
292:１３２人目の素数さん
21/08/29 10:47:52.98 L/zTES0x.net
>>288
それDec 9ですよ？以下はDec 19ですよ？この意味があなたに分かりますか？
What we have then is this: For each fixed opponent strategy, if i is chosen uniformly independently of that strategy (where the "independently" here
isn't in the probabilistic sense), we win with probability at least (n-1)/n. That's right. But now the question is whether we can translate this to
a statement without the conditional "For each fixed opponent strategy". ? Alexander Pruss Dec 19 '13 at 15:05
293:１３２人目の素数さん
21/08/29 10:52:12.94 L/zTES0x.net
>>288
>1．決定番号は、非正則分布を成す>>13-14
つまり、「どの列の決定番号も自然数である」を認めるということですね？
では「100列中単独最大決定番号の列は1列以下」は避けようのない真理ですから
「ランダム選択すれば敗率1/100以下」も避けようのない真理です。
これが理解できないなら中学1年からやり直した方が良いでしょう。
294:１３２人目の素数さん
21/08/29 11:00:09.26 L/zTES0x.net
>>289
>4．さて、この時点で、既に標準的な”測度論的確率論”から外れてしまっています（＾＾；
> つまり、当りくじ1枚で残り外れ。当りの確率1/∞＝0、外れ確率1
時枝戦略の確率空間を誤解しているだけですね。
「さて， 1～100 のいずれかをランダムに選ぶ. 例えばkが選ばれたとせよ. s^kの決定番号が他の列の決定番号どれよりも大きい確率は1/100に過ぎない.」
と明記されているのになんで誤解するんですか？日本語読めないんですか？では数学の前に日本語を勉強して下さい。あなたに数学は早過ぎます。
295:１３２人目の素数さん
21/08/29 11:09:24.28 L/zTES0x.net
>>289
>5．同様に、決定番号は自然数N全体を渡る
時枝戦略では{d(s)|s∈R^N}のいずれかをランダムに選ぶようなことはしてません。
このスレで発言するなら時枝戦略を語って頂けませんか？無関係なことを語られても迷惑なだけです。
296:１３２人目の素数さん
21/08/29 11:18:39.76 L/zTES0x.net
>>289
>n個の決定番号d1,d2,・・dn ≦ ｍ（ここに、ｍはn個の決定番号の最大値（有限））とする
> 自然数N全体は無限大なので、”d1,d2,・・dn ≦ ｍ（有限）”となる確率0
命題Pを仮定しておきながら、Pが真である確率＝０とな？
これは酷い、酷過ぎる
297:１３２人目の素数さん
21/08/29 11:30:47.25 L/zTES0x.net
>>288 >>289
あなたは5年前からいつも「当たりっこない」としか言ってない。
しかし時枝戦略はあなたの考えてる「当て方」ではないのでまったくナンセンス。
このスレで発言するなら時枝戦略を語って頂けませんか？無関係なことを語られても迷惑なだけです。
298:１３２人目の素数さん
21/08/29 13:40:09.06 7niZQGlq.net
>>292
下記の数学DRのPruss、2018年のInfinity, Causation, and Paradox (Oxford University Press, 2018) が、時間的にはあとですよ
>>1にあるように
mathoverflowでは、質問者のDenisが、数学ド素人らしく、可測 or 非可測の議論について行けないのです
それに対して、数学DRのPruss氏があの手この手で説明したのです。数学DRのPruss氏は、”the conglomerability assumption”というはんば哲学系の概念で、”Probabilities in a riddle involving axiom of choice”の説明をしています
なお、既に述べたように>>189「選択公理によって完全代表系が作れるが、時枝記事では、完全代表系は必ずしも必要とされないのです」
(参考)
前スレ 箱入り無数目を語る部屋
ｽﾚﾘﾝｸ(math板:56番)
Alexander Pruss氏の前振りの部分だけをつまみ食いするのはいかがか？
氏の結論部分は、はっきりと質問のstrategyを否決しています！（＾＾
なお、Alexander Pruss氏は
（>>50 の”the conglomerability assumption”）
2018年のInfinity, Causation, and Paradox (Oxford University Press, 2018)
で
conglomerability について
P75-202 に記載があります
どうぞ、お読みください
（参考）
URLﾘﾝｸ(www.google.co.jp)
Infinity, Causation, and Paradox (Oxford University Press, 2018)
URLﾘﾝｸ(en.wikipedia.org)
Alexander Pruss
(引用終り)
以上
299:１３２人目の素数さん
21/08/29 14:25:33.58 L/zTES0x.net
>>298
>下記の数学DRのPruss、2018年のInfinity, Causation, and Paradox (Oxford University Press, 2018) が、時間的にはあとですよ
箱入り無数目（=The modification）と無関係なものを引き合いに出してあなたは一体何がしたいの？気でも触れたの？
>mathoverflowでは、質問者のDenisが、数学ド素人らしく、可測 or 非可測の議論について行けないのです
あなたが時枝戦略の確率空間を誤解しているだけです。
「さて， 1～100 のいずれかをランダムに選ぶ. 例えばkが選ばれたとせよ. s^kの決定番号が他の列の決定番号どれよりも大きい確率は1/100に過ぎない.」
と明記されているのになんで誤解するんですか？日本語読めないんですか？では数学の前に日本語を勉強して下さい。あなたに数学は早過ぎます。
>それに対して、数学DRのPruss氏があの手この手で説明したのです。
いいえ、Purssは時枝戦略成立を認めました。デマ流すのはやめてもらえますか？
「For each fixed opponent strategy, if i is chosen uniformly independently of that strategy (where the "independently" here isn't in the probabilistic sense), we win with probability at least (n-1)/n. That's right.」
>なお、既に述べたように>>189「選択公理によって完全代表系が作れるが、時枝記事では、完全代表系は必ずしも必要とされないのです」
「選択公理を仮定すれば時枝戦略が成立する」を否定したいなら「選択公理を仮定しても時枝戦略は成立しない」を示してください。
選択公理不要論はまったく筋違いでナンセンスです。
>Alexander Pruss氏の前振りの部分だけをつまみ食いするのはいかがか？
「For each fixed opponent strategy, if i is chosen uniformly independently of that strategy (where the "independently" here isn't in the probabilistic sense), we win with probability at least (n-1)/n. That's right.」
が前振りに見えるということは、あなたには時枝戦略がまったく理解できてないということです。
300:１３２人目の素数さん
21/08/29 14:26:05.19 L/zTES0x.net
>>298
>氏の結論部分は、はっきりと質問のstrategyを否決しています！（＾＾
デマ流すのはやめてもらえますか？
「But now the question is whether we can translate this to a statement without the conditional "For each fixed opponent strategy". ?」
は箱入り無数目とは異なります。箱入り無数目では出題列は固定されていますから。英文が読めないのにデマを流さないで頂きたい。
>conglomerability について
>P75-202 に記載があります
>どうぞ、お読みください
箱入り無数目（=The modification）では conglomerability を考える必要がありません。
あなたがバカであることを晒すのはあなたの勝手ですが、分かった風を装うのはいかがなものか？ましてデマを流す行為は悪質です。やめて頂きたい。
301:１３２人目の素数さん
21/08/29 14:36:45.83 L/zTES0x.net
ID:7niZQGlq
あなたには英語も日本語も読めない。
読めたと妄想してデマを流すのはやめてもらいたい。
風説の流布は立派な刑事犯罪ですよ？
302:１３２人目の素数さん
21/08/29 15:37:21.64 OVMh0lsj.net
>>298
箱入り無数目にもThe Riddleにも、非可測性やconglomerablilityは関係しません
あくまで、箱の中身を確率変数とした「拡大問題」に対して
非可測性やconglomerablilityが現れるだけです
そして、箱入り無数目やThe Riddleで、箱の中身を確率変数とするのは
明らかにPrussやHuynhの取り違えです
(Denisも取り違えているなら、その取り違えた問題で
Prussの指摘はあてはまりますが、Huynhの主張は
正当化できませんので、1の主張も同様に却下されます
その理由はまさにPrussのいうnon-conglomerableです)
303:１３２人目の素数さん
21/08/29 16:03:06.36 OVMh0lsj.net
What we have then is this: For each fixed opponent strategy,
if i is chosen uniformly independently of that strategy
(where the "independently" hereisn't in the probabilistic sense),
we win with probability at least (n-1)/n. That's right.
But now the question is whether we can translate this to a statement
without the conditional "For each fixed opponent strategy". ?
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
>>52の翻訳
我々の共通認識は以下：固定された出題実数列のそれぞれに対し、
iが出題実数列と独立に一様分布で選ばれたなら
（ここで言う”独立に”は確率論的な意味ではない）、
我々は少なくとも確率(n-1)/nで勝つ。それは正しい。
しかし今の問題は、これを"固定された出題実数列のそれぞれに対し"
という条件無しの文章に置き換えられるか否かだ。
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
"For each fixed opponent strategy,"は正しくは
「固定された出題実数列のそれぞれに対し、」じゃなく
「固定された回答者の戦略に対し」だな
つまり、正しい翻訳は以下の通り
我々の共通認識は以下：固定された「回答者の戦略」に対し、
iが「戦略」と独立に一様分布で選ばれたなら
（ここで言う”独立に”は確率論的な意味ではない）、
我々は少なくとも確率(n-1)/nで勝つ。それは正しい。
しかし今の問題は、これを"固定された「回答者の戦略」に対し"
という条件無しの文章に置き換えられるか否かだ。