スレタイ箱入り無数目を語る部屋32(あほ二人の”アナグマの姿焼き"Part6ｗ)

前スレが1000近く又は1000超えになったので、新スレを立てる
(”ヘンテコスレ”が別にあります https://rio2016.5ch.io/test/read.cgi/math/1711570726/ 箱入り無数目を語る部屋19 )

https://rio2016.5ch.io/test/read.cgi/math/1780699023/
前スレ スレタイ箱入り無数目を語る部屋29(あほ二人の”アナグマの姿焼き"Part4ｗ)

(参考)時枝記事
https://imgur.com/uMqtRwr
時枝 箱入り無数目（数学セミナー201511月号の記事）の最初
https://imgur.com/YAdz2Mz
時枝 箱入り無数目（数学セミナー201511月号の記事）の最後

数学セミナー201511月号「箱入り無数目」
https://rio2016.5ch.io/test/read.cgi/math/1620904362/401-406 純粋・応用数学（含むガロア理論）8 より
１．時枝問題（数学セミナー201511月号の記事）の最初の設定はこうだった。
「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる.
どんな実数を入れるかはまったく自由，例えばn番目の箱にe^nを入れてもよいし，すべての箱にπを入れてもよい.
もちろんでたらめだって構わない.そして箱をみな閉じる.
今度はあなたの番である.片端から箱を開けてゆき中の実数を覗いてよいが，一つの箱は開けずに閉じたまま残さねばならぬとしよう.
どの箱を閉じたまま残すかはあなたが決めうる.
勝負のルールはこうだ. もし閉じた箱の中の実数をピタリと言い当てたら，あなたの勝ち. さもなくば負け.
勝つ戦略はあるでしょうか?」

２．続けて時枝はいう
　私たちのやろうとすることは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 ごっそり)が決められることに注意しよう.
(補足)
sD+1， sD+2，sD+3，・・・：ここでD+1などは下付添え字

つづく

>>719　オチコボレは理解の努力より権威にすがることを優先する

成立派に追加
アナーキストの法螺吹き野郎

成立派どんどん増えてて草
一方不成立派はサル二匹のみ

ちなみに以下の大学教授も成立派
　Stanford大学教授　時枝正
　Kusiel-Vorreuter大学教授　Sergiu Hart
　Baylor大学教授　Alexander Pruss

>>712
マンガに関する見解は、相違があるように思う。

>>723
吐くように嘘をつく

相違とは？

>>725
Stanford大学教授　時枝正
「第k列のD番目の箱に入った実数はS^k(D)＝r(D)と賭ければ，めでたく確率99/100で勝てる.確率1-εで勝てることも明らかであろう.」
数学セミナー201511月号「箱入り無数目」

Kusiel-Vorreuter大学教授　Sergiu Hart
「For every ε>0 Player 2 has a mixed strategy in game1 guaranteeing him a win with probability at least 1-ε.」
http://www.ma.huji.ac.il/hart/puzzle/choice.pdf?

Baylor大学教授　Alexander Pruss
「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.」
Alexander Pruss Dec 19, 2013 at 15:05
https://mathoverflow.net/questions/151286/probabilities-in-a-riddle-involving-axiom-of-choice

>吐くように嘘をつく
だね、君が

>>726
マンガで設定が変わっているって揉めてなかった？
マンガが出て来たところで、様子が少し違っていたようだったけど。

一方不成立を公言する大学教授は皆無
そりゃそうだ、箱入りの証明にギャップなんて無いからな　決定番号の分布？　それ、ギャップじゃなくストローマン論法な

成立派と不成立派の相違って意味？
それならあるよ　サルはR^Nと{1,2,3,4,5,6}^Nの違いを除いて箱入り＝札付きと言ってる　日本語読めないだけだけどなｗ

>>730
成立派と不成立派は全然違うから、問題にはしていないよ。
成立派のマンガに対する理解で、設定に関する相違がありそうという話だよ。
読者に分かりやすいように、設定が変更されていたとかいないとか。

正しくは
札付きで言うところの
「確率1/6」は出題が確率事象という前提がある。
「事象n(1)<n(2)」は列選択が固定という前提がある。また固定でも成立するように思わせるため対称性なる謎命題を仮定している。
これらは箱入りと異なる設定。

>>731
君のうろ覚えを言われてもなぁ
具体的に断定してくれないと話にならないよ

>>724
>マンガに関する見解は、相違があるように思う。
成立派の中では全く相違ないよ
>>728
>マンガで設定が変わっているって揉めてなかった？
成立派同士は全く揉めてないよ
>マンガが出て来たところで、様子が少し違っていたようだったけど。
不成立派が勝手に「我が意を得たり」と思い込んだだけ
>>731
>成立派のマンガに対する理解で、設定に関する相違がありそう
妄想だね　君、統失？　💊飲みなよ
>読者に分かりやすいように、設定が変更されていたとか
読者に分かりやすいように、ではなく、
非可測という結論を導くために、設定を変更している
数学科でのヴィタリ集合の非可測性の話を理解してる人なら誰でもわかること
分かんない奴はモグリ

>>723
既に論破しただろ、壊れたレコードかｗ

成立派は、定理と証明、書けよ
昔から言ってるのに、書けないｗ

もともとの箱入り無数目では、
そもそも出題は確率事象じゃないから
非可測性なんて全然出てこない

ただ、著者の時枝正はそこをしっかり理解してなくて
不用意に非可測性の話をしてしまったのがよくなかったね
責められるべきはそこ　
後半の非可測性と無限個の確率変数の独立性の話は
まったく見当違いなので不要
読んで真に受けると馬鹿になる

>>734
別に意見が一致してるのなら良いけど。

>>735　既に高卒素人の君が論破されてる
>>736　既に記事で書かれている　読めない奴が馬鹿

>>738　一致してます　残念だったね　●違いクン

>>735
誰がいつ何を論破したと？
君、頭だいじょうぶかい？　薬飲み忘れんなよ

>>736
成立派ではなく記事を読めない頭の悪い子に産んだ君の親に文句言いな

>>738
じゃあ一致してないとか言うなよｗ

「対称性」が出ていた時点でクソ漫画と思って最後まで読んでなかったが、
最終的にこの対称性を自己否定して不成立って結論してんだなｗ　アホ過ぎだろｗ
札付き不成立が箱入り不成立の根拠と言ってるサルと同レベルのアホｗ

>>743
いやいや、なんか怪しかったからね。

過去ログを辿るのはしんどいからね。
だったら有限加法族の勉強でもしていたい。

いや対称性を否定してるからサルよりはまともかｗ　まあクソ漫画であることに変わりはないがｗ

って言って、辿ったりするかもしれないのが私の性格w
気まぐれ自由人なので宜しく。

>>746
じゃ口出さなきゃいいだけじゃね？

>>749
過去ログ辿るかもしんないよw
超めんどいけど。

宜しかれない　うざい　消えろ

ここは5ch。
ルールにのっとって消してくれw
私の記憶力が良いのは大体分かっているだろ？
まあ、気まぐれに探すかもしんないから、忘れたころにでも対応してくれ。

>>745
怪しいのは君のほうだよ

>>746
永遠に黙ればいいのに
馬鹿ほど利口ぶりたがる

>>732
>固定でも成立するように思わせるため
>対称性なる謎命題を仮定している。

対称性＝積分順序の交換可能性、のことなら
いい性質の関数なら満たすので
それほど責められるべきものでもない
残念ながら、決定番号関数はいい性質の関数でなかったが

>>746
>過去ログを辿るのはしんどいからね。
>>748
>って言って、辿ったりするかもしれない
>>750
>過去ログ辿るかもしんないよ

精神患ってるんですね

お薬　飲みましょうね

>>754
利口ぶりたいんじゃなくて、意見の不一致があるのなら正したくなるじゃない。
今回はさすがに過去ログを見たくはないが、仲間同士でも話し合いはきちんとした方が良いと思うよ。
仲間なのか知らないがw

>756
俺は5次交代群に関する勘違いをきちんと指摘したし、青焼きの人の存在も証明した。
これ以上の実績を求められてもねぇw

>>757
>意見の不一致があるのなら正したくなるじゃない。

意見の不一致がないのにあると妄想するのは病気

お薬　のみましょうね

>>758
●違いクン　もう黙ろうか

>>755
>残念ながら、決定番号関数はいい性質の関数でなかったが
じゃダメじゃんｗ

ワケワカランこと口走るのは糖質？　ヤバい香りが漂ってるんだけど

残念な性質の関数を持ち出して
普通なら成立するはずのことを
否定するのが、●違いっぽい

>>762
フビニの定理の反例は、統失でヤバいってことですね

俺は〇〇したじゃんとか言われてもおまえ誰よ、おまえのことなんてトレースしてないんだがって感じなんだが
自意識過剰と妄想があるようで

持ち出すも何も「対称性からn(1)<n(2)」って書かれてるじゃん
君、頭だいじょうぶ？

「対称性からn(1)<n(2)の確率は1/2」

>>765
論文が書けずに博士課程を満期退学した人でしょう

アーメン

>>767
もし可測なら、対称性が示せるので、確率は1/2

なんで原本に書かれてることを引用すると「持ち出す」になっちゃうのか謎ｗ

その「もし」は無意味だろｗ

事実に反する仮定は無意味ってワカラン？
仮定法じゃないんだからｗ

君は積分の順序交換が不自然極まりない人為的な性質だと思うのかい？

私は積分の順序交換が成り立たないような関数のほうが不自然だと思うが

「対称性からn(1)<n(2)の確率は1/2」じゃない話してどうしたいの？
数学に自然とか不自然とか人為的とか関係なくね？　成立するか否かだろ

とはいえ、箱入り無数目では決定番号関数の可測性など必要ない、というのはその通り

>>775
何をイラついてるのかね　

精神患ってる？

お薬　のみましょうね

自然とか不自然とか人為的とか、主観の問題でしかない。数学において主観はどうでもよろしい。

なんで正論を言うとイラついてることにされてしまうのか謎ｗ

「対称性からn(1)<n(2)の確率は1/2」が未証明って話してんのに違う話持ち出す方が薬必要じゃね？

強制法は人為的だから連続体仮説のZFCからの独立性証明は間違いだぁー
とでも言いたいのだろうか？

そもそも世の中の公理系はすべて人為的なんだがな
あれはそう設定すると理論展開がうまくいくという経験則から決められてる、つまり究極的に人為的

経験則で決められたものだから究極の理論なんて無い。
集合論は数学のあらゆる対象を集合に還元する究極的理論かと思いきや、後に圏論が登場したりする。

>>780　
「対称性からn(1)<n(2)の確率は1/2」は証明できる　
証明できないのは、対称性

正確にいえば、決定番号を使った関数の対称性が証明できない

つまり経験不足が集合論＝究極の理論という幻想を生み出していた訳だ

>>709
>無限個の確率変数？　そんなものを考えるのは🐎🦌

下記重川を百回音読してね
”P47
第4章ランダム・ウォーク
定義1.1 時間 t∈Tをパラメーターとして持つ確率変数の族(Xt)を確率過程という．
Tとして[0,∞),Z+={0,1,2,・・・}などがよく使われる．
[0,∞)のとき連続時間
Z+のとき離散時間という．”

数学者が 公理的確率論を考える理由の一つがこれ
即ち、”確率変数の族(Xt) 確率過程
Tとして[0,∞),Z+={0,1,2,・・・}などがよく使われる．
[0,∞)のとき連続時間
Z+のとき離散時間という．”

連続無限、可算無限の
どちらもあり！ｗ （＾＾

　>>10より
https://www.math.kyoto-u.ac.jp/~ichiro/index_j.html
重川一郎
https://www.math.kyoto-u.ac.jp/~ichiro/lectures/2013bpr.pdf
2013年度前期 確率論基礎
Ｐ7
確率空間例サイコロ投げの場合
確率空間として次のものを準備すればよい．
Ω＝{1,2,・・・,6}^N∋ω＝{ω1,ω2,・・・}
ωnは1,2,・・・,6のいずれかで，n回目に出た目を表す．
確率はη1,η2,・・・ηnを与えて
P(ω1=η1,ω2=η2,・・・ωn=ηn)＝(1/6)^n
と定めればよい．これが実際にσ-加法的に拡張できることは明らかではないが，Kolmogorovの拡張定理と呼ばれる定理により証明できる．
P47
第4章ランダム・ウォーク
定義1.1 時間 t∈Tをパラメーターとして持つ確率変数の族(Xt)を確率過程という．
Tとして[0,∞),Z+={0,1,2,・・・}などがよく使われる．
[0,∞)のとき連続時間
Z+のとき離散時間という．
以下ではZ+の場合のみを扱う．この場合はtの代わりにnを用いる．

重川と箱入りは何の関係も無い
まーたストローマン論法かよ　好きだねえ君

>>787
>>無限個の確率変数？　そんなものを考えるのは🐎🦌
>重川を百回音読してね
>>788
>重川と箱入りは何の関係も無い

788が正しい
787の💩コテハンは全くの誤り

成立派ができるのは論理のすり替えと罵倒

>>705
(引用開始)
>3）つまり >>4の札つきより
>”それが属する同値類の代表元と
>１列目が一致し始めるのがn1個目とする
>２列目についてその代表元が一致し始めるのがn2番目とする”
>　とあるよね
>　この場合において n1個目以降が一致しているから
>　それは 箱入り無数目におけるしっぽ同値でもある（２列目についても同様）
>　だが、逆は不成立。つまり、箱入り無数目の同値類の中をさらに細分類したものが 札付きの同値になる
なに言ってんだ？この馬鹿。
空間がR^Nと{1,2,3,4,5,6}^Nで異なるが、有限個の項の違いを無視するという同値関係は同じだろ。
(引用終り)

うん そこ私の勘違いだった
箱入り無数目の しっぽ同値>>1と
札付>>4の 有限個の違いを無視する同値関係 とは
数学的には同じ
（札付では ダイスのcupの絵を使っているが 説明の都合上 箱で統一して説明する https://imgur.com/1E6b4P9）
（なお、箱入り無数目で 入れる数を1〜6に制限できることは明らかだが >>1の後半ページでも https://imgur.com/YAdz2Mz
　「勝手な集合Sの元の無限列S^N」可とあることを注意しておく ）

証明
１）箱入り無数目の しっぽ同値→ 札付 有限個の違いを無視する同値
　ほぼ自明だが 可算無限列のしっぽ同値 とは 「ある番号n0から先のしっぽが一致する」>>1
　という定義なので、違いは たかだか１〜n0-1 の有限のみ
２）札付 有限個の違いを無視する同値→ 箱入り無数目の しっぽ同値
　>>4の「１列目のサイコロの目を確認し
　それが属する同値類の代表元と
　１列目が一致し始めるのがn1個目とする」
　との記載の通り、違いは 先頭の たかだか１〜n1-1 の有限 部分であり
　n1以降のしっぽが一致しているので
　箱入り無数目の しっぽ同値の条件を満たす

上記１）２）より
箱入り無数目の しっぽ同値>>1と
札付>>4の 有限個の違いを無視する同値関係 とは
数学的に同じ■

>>790
>論理のすり替え
具体的に
またレス乞食かい？

>>695
>(有限個の項の違いを無視するという「札付きの定理」の同値関係は)
>箱入り無数目におけるしっぽ同値でもある
>だが、逆は不成立。
>つまり、箱入り無数目の同値類の中をさらに細分類したものが
>札付き（の定理）の同値になる

>>705
>>なに言ってんだ？
>>(尻尾同値は)有限個の項の違いを無視するという同値関係は同じだろ。

>>791
>うん そこ私の勘違いだった
>箱入り無数目の しっぽ同値と
>札付きの定理の 有限個の違いを無視する同値関係 とは
>数学的には同じ

こんな自明なことも即座に分からん奴は数学無理だから諦めろ

>>790　論理が分からんのは中卒の貴様（嘲）

>>791
レベルひくっ

>>791 つづき
さて、>>576に書いたが
箱入り無数目では
箱に入れる数を
「勝手な集合Sの元の無限列S^N」可とある

いま>>576に書いたが
S=Z/6Z={0,1,2,3,4,5} (剰余環)を考える

{0,1,2,3,4,5}
　↓↑
{1,2,3,4,5,6} (サイコロの目)
の対応付けで 札付のサイコロの目を
剰余環 Z/6Z に置き換える

そうすると >>20 の 都築暢夫 広島大で
可算無限列を 環R係数の 形式的冪級数とみて
しっぽ同値の 二つの 形式的冪級数の差から
多項式を作ることができる
つまり しっぽ同値を
形式的冪級数環 ”The ring of formal power series”https://en.wikipedia.org/wiki/Formal_power_series
と多項式環 ”Polynomial ring”https://en.wikipedia.org/wiki/Polynomial_ring
の関係に 落とせる

多項式環は、下記 都築暢夫の通り
”任意の自然数より大きい次元の部分空間を持つから無限次元である”

実数Rを係数とする 箱入り無数目の場合が、まさにこれ。
実数R→ 剰余環 Z/6Z（札付）の場合も ほぼ同様
実n次元R^nの空間が、整数格子の6^n の空間になるが
結局 n→∞ では
しっぽ同値の確率を考えることはできない！■

(参考)>>21より再録
www.math.sci.hiroshima-u.ac.jp/algebra/member/files/tsuzuki/04-21.pdf
代数学I 都築暢夫 広島大
F を体とする
P3
例3.2.多項式環F[x]. F[x]nは1,x,··· ,xnを基底に持つn+1次元線形空間である
F線形空間F[x]は任意の自然数より大きい次元の部分空間を持つから無限次元である
証明. 1,x,··· ,xnがF[x]nの基底になること: 1,x,··· ,xnがF[x]nを生成することは明らか
a0,··· ,an∈Fに対してa0+a1x+···+anxn=0とするとき、a0=a1=···an=0となることをnに関する帰納法で証明する
n=0のときは明らか。n−1まで成り立つとする。x=0とすると、a0=0である
(a1+ a2x+···+anxn−1)x=0より、a1+a2x+···+anxn−1=0である
帰納法の仮定から、a1=···an=0となる。よって、1,x,··· ,xnは一次独立である
したがって、1,x,··· ,xnはF[x]nの基底になる■

>>796 つづき

さて、しっぽ同値を使う 札付 確率1/2の補足

１）札付きの定理 >>4 より https://imgur.com/1E6b4P9
”次にサイコロの目の並び{1,2,3,4,5,6}^Nに
有限個の違いを無視する同値関係を入れる”
”１列目が一致し始めるのがn1個目とする *)”
２）つまり、n1個目以降の無限個のcup内のサイコロの目が一致している状態を言う
　一つの cup内のサイコロの目が一致する確率1/6 だから
　無限個のcup内のサイコロの目が一致する確率は(1/6)^N＝0
３）n2についても同様
　つまり n1<n2 だの なんだかんだの議論は 全て 確率０の事象の話であり
　「一致する確率は1/2以上」と言ったところで 所詮 (1/2)x0＝0■
４）なお、>>4 「この問題の方法は成り立たない
　n1,n2は確率変数になっていないから」https://imgur.com/wHI3DZv
　は、この事情を一言で表している
　さすが 吉田大学よ（＾＾

追記
・n1,n2 の対称性は、>>796 都築暢夫 広島大の議論で
　実数R→ 剰余環 Z/6Z（札付）に置き換えると
　どちらも同じ多項式環F[x]の無限次元空間であることから分かる
・だから 札付の 吉田大学の主張は n1,n2 の対称性は認めるが
　その対称性を使った1/2が 上記の通りナンセンスだという主張だね（＾＾

>>797 つづき

１）>>790 で ”箱入り無数目の しっぽ同値>>1と
札付>>4の 有限個の違いを無視する同値関係 とは
数学的には同じ”
　を、証明した
２）つまり、札付>>4は 箱入り無数目>>1 のミニモデルであって
　箱入り無数目に 包含されている
３）札付の不成立を示した >>797
　ゆえに 箱入り無数目論の反例が示された■
以上

>>798 補足の補足
>３）札付の不成立を示した >>797

まあ、もともと 札付のマンガの中で
きっちり 「1/2」は否定している >>4 より

https://imgur.com/wHI3DZv
数字であそぼ 第76話 札付きの定理 小学館 絹田村子 5 P64 251220.jpg
・この問題の方法は成り立たない
・n1,n2は確率変数になっていないから
https://imgur.com/iR4UNuV
数字であそぼ 第76話 札付きの定理 小学館 絹田村子 6 P66 251220.jpg
・”ランダムに選んだ自然数のどちらが大きいか”みたいな話に結局なっちゃう
・なるほどな 確かにそうだよな！
(引用終り)

しかし、所詮マンガだから ごたごたと仔細を書くのはヤボ
マンガのセリフに 短く 数学の本質を損なわずに うまく表現している
さすがは 吉田大学よ （＾＾

>>796
>しっぽ同値の確率を考えることはできない！■
誰も考えてまへんがな
で？

>>797
>さすが 吉田大学よ（＾＾
さすがも何も、対称性は嘘ってみんな言ってるんだけど？　頭だいじょうぶ？

>>797
>札付の 吉田大学の主張は n1,n2 の対称性は認めるが
はい、大嘘乙
札付きは対称性を認めてません（途中の認めるかのような発言は何なんだよという突っ込みはあるにせよ）

>>798
>証明した
証明になってません。証明とは何かから学びましょう。

>つまり、札付>>4は 箱入り無数目>>1 のミニモデルであって
はい、大嘘乙
そもそも基本設定がまったく異なります

>札付の不成立を示した >>797
>ゆえに 箱入り無数目論の反例が示された■
嘘証明乙

>>799
>きっちり 「1/2」は否定している
否定の根拠は対称性が不成立であること。
箱入りは対称性なるものをいっさい仮定していない。よって札付き不成立は箱入り不成立の何の根拠にもなっていない。

>さすがは 吉田大学よ （＾＾
吉田大学とやらは対称性が不成立という当たり前のことしか言ってない。（しかも途中ではあたかも成立するかのような読者を混乱させるようなクソっぷり）
それのどこがさすがなの？　頭大丈夫？

サルは相変わらず頭悪いねぇ
数学のすの字も分かってない

サルは
>箱入り無数目の しっぽ同値→ 札付 有限個の違いを無視する同値
が命題と思ってるらしい。命題とは何かから勉強し直した方が良い。

>>797
>一つ のcup内のサイコロの目が一致する確率が1/6 だから
>無限個のcup内のサイコロの目が一致する確率は(1/6)^N＝0

R^Nの中でR^nは測度0だから
その可算和∪(n∈N)(R^n)も測度0
と言いたいらしい

このこと自体は正しいが・・・何の意味もない

∪(n∈N)(R^n)の測度を1としたときの
R^nの測度は0ではない

なぜならもしそうだとすると
その可算和∪(n∈N)(R^n)も測度0で
0=1となって矛盾するから（笑）

したがって
∪(n∈N)(R^n)の測度を1としたときの
R^nの測度は非可測である
（そもそも∪(n∈N)(R^n)に
全体が１となる測度が入るかどうか
という問題があるが）

そして、今言ったことも
箱入り無数目では全く無意味である（笑）

無意味なことを考え、しかも間違ってる
まったく救いようがないニホンザル（嘲）

>>801
誤　対称性は嘘
正　「対称性が証明できる」は嘘

ただ、札付きの定理の確率が計算不能でも、
箱入り無数目には全く無関係

>>804
>否定の根拠は対称性が不成立であること。

「不成立」ではなく「証明不能」が正しい

したがって否定でなく証明不能

1以上の自然数を選ぶのに
1の確率が1/2
2の確率が1/4
…
nの確率が1/2^n
とすれば、
2つの自然数n1,n2を選んで
n1>n2となる確率、n1<n2となる確率
を計算した場合、両者は等しくなる

つまり性質のいい関数なら対称になる

無理矢理、残念な分布で考えるから狂う

大阪○○大学卒のニホンザル　貴様のことだぞ

時枝の過ち
定義、仮定を疎かにしたこと、応用数学者にありがちなこと

>>811
元の箱入り無数目の問題と
その説明は正しかった

しかし、その後の時枝正の解説が
（非可測＆無限個の確率変数の独立性）
大阪○○大学卒のニホンザルと
全く同じレベルで💩だった

１．出題を確率変数だと思い込むチョンボ
２．しかも各箱がランダムでそれぞれ独立とするチョンボ

>>811
>定義、仮定を疎かにした
具体的に
またレス乞食か？

>>812
>しかし、その後の時枝正の解説が
>（非可測＆無限個の確率変数の独立性）
>大阪○○大学卒のニホンザルと
>全く同じレベルで💩だった
私はそうは読みませんね
（彼の人と同じような）誤った考えに基づくとどういう思い込みになるかを書いているだけで
そのように考えてはいけないと言わんとしているのだと思いますね

>>813
ですね

>>814
君、大学教授は神様で、決して間違うことはない、と思ってるだろ？

残念ながら、そんなことはない

＞誤った考えに基づくとどういう思い込みになるかを書いているだけ
＞そのように考えてはいけないと言わんとしているのだ

卑屈だね　大学教授にパワハラでもされてんの？

ここが💩だよ　時枝正の解説　１

「R^N/〜 の代表系を選んだ箇所で選択公理を使っている.
その結果R^N →R^N/〜 の切断は非可測になる.
ここは有名なヴィタリのルベーグ非可測集合の例
(Q/Zを「差が有理数」で類別した代表系， 1905年)
にそっくりである.」

「逆に非可測な集合をこさえるには選択公理が要る
(ソロヴェイ， 1970年)から，
この戦略はふしぎどころか標準的とさえいえるかもしれない.
しかし，選択公理や非可測集合を経由したからお手つき，
と片付けるのは，面白くないように思う.」

「現代数学の形式内では確率は測度論によって解釈されるゆえ，
測度論は確率の基礎， と数学者は信じがちだ.
だが，測度論的解釈がカノニカル， という証拠はないのだし，
そもそも形式すなわち基礎， というのも早計だろう.
確率は数学を越えて広がる生き物なのである
(数学に飼いならされた部分が最も御しやすいけれど).」

そもそもR^N上の測度なんて全く使ってないので
非可測云々とか💩な言いがかりだし
それに対して測度論的解釈がカノニカルとはいえないとか
これまた💩な弁解である（嘲）

ここが💩だよ　時枝正の解説　２

「もうちょっと面白いのは，独立性に関する反省だと思う.
確率の中心的対象は，独立な確率変数の無限族X1，X2，X3，…である.
いったい無限を扱うには，
(1)無限を直接扱う，
(2)有限の極限として間接に扱う，
二つの方針が可能である.
確率変数の無限族は，任意の有限部分族が独立のとき，独立，と定義されるから，(2)の扱いだ.
(独立とは限らない状況におけるコルモゴロフの拡張定理なども有限性を介する.)
しかし，素朴に，無限族を直接扱えないのか?
扱えるとすると私たちの戦略は頓挫してしまう.
n番目の箱にXnのランダムな値を入れられて，ある箱の中身を当てようとしたって，
その箱のX と他のX1，X2，X3，・・・がまるまる無限族として独立なら，
当てられっこないではないか−−他の箱から情報は一切もらえないのだから.
勝つ戦略なんかある筈ない，と感じた私たちの直観は，無意識に(1)に根ざしていた，といえる.
ふしぎな戦略は，確率変数の無限族の独立性の微妙さをものがたる， といってもよい.」

そもそも、１つ１つの箱は確率変数ではないので
箱どうしの（確率変数としての）独立性とか💩な妄想だし
任意有限個独立だからといって無限個独立とは限らないとか
これまた💩な弁解である（嘲）

出題が確率事象で、しかも各項が確率変数で、それぞれが独立とか
もう二重三重に間違った妄想をしまくっている　

それを馬鹿素人が「大学教授様のいうことは全て正しい」と鵜呑みにする

だからおかしなことになる　大学教授だからいうことは皆正しい、と思ったら死ぬ（笑）

例え話なんかどうでもいいんだよｗ