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

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

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

(参考)時枝記事
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などは下付添え字

つづく

>>941
そうね

>>940は
r∈R^N
d(r)が可測なら　max(d(r1),…,d(rn))も可測
そして
P(d(r)<=max(d(r1),…,d(rn)) = n/(n+1)

これを、dが可測でない場合にも
延長できる・・・かもしれないという話

>>943
>その話は 即ち
>非可測と、
>非可測集合から有限個を取り出したときの 大小とは
>議論を分けるべし！
>これぞ、着眼大局なり

全然見当違い
まず>>956読んでな
全く理解できんかもしれんけど

>>950
>�BXが確率空間であるにせよそうでないにせよ
>Ω={1,…n}
>はそれとは全く別の確率空間である
>との認識に至らないこと

Xが確率関数だとしても、
Xからn個、元をとったときの
条件つき確率で考える
というのがミソ

>>953
>その問題の答えは
>・この問題の方法は成り立たない
>・n1,n2は確率変数になっていないから
>・”ランダムに選んだ自然数のどちらが大きいか”みたいな話に結局なっちゃう
>・なるほどな 確かにそうだよな！
>にある通り

まったくの誤り
そもそもすでにn1,n2を選んだ後の確率なので、n1,n2は定数

そこが理解できないのが
現代数学の系譜 雑談 ◆yH25M02vWFhP
の誤り

>可算無限集合たる自然数Nから
>”ランダムに選んだ自然数 n1,n2のどちらが大きいか”
>P(n1<n2)=1/2 という論法は 不成立

その論法は、箱入り無数目では一切用いられていない

n1とn2は決まっている
例えばn1<n2とする

n1を選ぶ確率は1/2
n2を選ぶ確率は1/2

n1を選べば勝てる
n2を選べば負ける

それだけの話

それが理解できないのが
現代数学の系譜 雑談 ◆yH25M02vWFhP

>ゆえに サイコロの出る目の確率1/6を否定することはできない

上記が成立しても、
サイコロの出る目の確率1/6は否定されない

次スレ100で、箱入り無数目は正しいとして
スレ終了宣言したので、終戦

玉音放送

大戦終了。
よよよい、よい。
めでてえなw

◆yH25M02vWFhP　の言葉

朕深く板の大勢と 朕の現状とに鑑み
非常の措置をもって時局を収拾せんと欲し
ここに忠良なる汝板民に告ぐ

朕は　板民に対し その発言を受諾する旨通告せしめたり

そもそも板民の康寧をはかり 楽しみを共にするは
５ちゃんねるの規範にして 朕の拳々措かざる所

さきに不埒な板民に宣戦せる所以もまた
実に板の自存と安定とを庶幾するに出でて
他者の人権を排し他者の主張を侵すが如きは
もとより朕が志にあらず

然るに交戦既に四歳を閲し
朕が陸海将兵の勇戦
朕が百僚有司の励精
朕が一億衆庶の奉公
各々最善を尽くせるに拘らず
戦局必ずしも好転せず

板の大勢また我に利あらず
しかのみならず
敵は新たに残虐なる爆弾を使用して
しきりに無辜を殺傷し
惨害の及ぶところ真に測るべからざるに至る

しかもなお交戦を継続せんか
遂に朕の滅亡を招来するのみならず
ひいて朕の名誉をも破却すべし

かくの如くは 朕何をもってか　面目を保し 先祖の霊に謝せんや
是れ 朕が板民の発言に応せしむるに至れる所以なり

朕は板と共に 板の維持に協力せる諸君に対し
遺憾の意を表せざるを得ず
戦陣に死し 職域に殉じ 非命に倒れたる者及び
其の遺族に想いを致せば五内為に裂く
且つ戦傷を負い 災禍を被り
家業を失いたる者の厚生に至りては
朕の深く軫念する所なり

思うに今後朕の受くべき苦難はもとより尋常にあらず
朕の衷情もよく是れを知る
然れども朕は時運の赴く所 堪え難きを堪え 忍び難きを忍び
もって万世の為に太平を開かんと欲す

要約

なんかオレに逆らうヤツがいたから戦争したけど
全然こっちに有利にならんし
このままだとただのトンデモとして永遠に笑われるから
ここで謝っとくわ

てへぺろ

埋めるまえにスレ立てるなよ馬鹿

埋めたらスレ立てていいってもんじゃないけどな

大体数セミのたった２ｐの記事すら正しく読めず
トンチンカンなイチャモンつけるとかトンデモの極み

あの記事のどこにもR^N上での積分計算なんかない

単に決定番号単独最大の列を選ばない確率を
割り算で計算してるだけ　あほくさ

>>968
ですね

独立な確率変数の無限列における末尾事象の確率は、
コルモゴロフの0-1法則により、0か1のどちらか一方に定まる

一方、無限列の決定番号がｎであるというのは末尾事象ではない
なぜなら有限個の初期部分（最初の n 個など）の値を変えたら決定番号が変わるから

そんなことは決定番号の定義を理解していたら瞬時にわかる　あああ、あほくさ

Vωは濃度ℵ0の集合
その各要素は有限集合

V(ω+1)は濃度2^ℵ0の集合
その各要素はたかだか可算集合（有限集合論におけるクラス）

V(ω+2)は濃度2^(2^ℵ0)の集合
その各要素はたかだか濃度2^ℵ0の集合（有限集合におけるクラスの集まり）

実数論はせいぜいV(ω+2)の話か

>>971
＞実数論はせいぜいV(ω+2)の話か

といったが、有限集合論でいえばクラスどころか
その上のハイパークラス（？）の話だからなぁ

個々の実数がクラス
実数の集合はハイパークラス

ちなみに、自然数論は有限集合論における順序数の理論

代数方程式の解なんか数値解法で求めればいいんだよ（笑）

２次方程式の解の公式は、いろいろ都合がいいから教えるけど
３次、４次はそうじゃないから、学校では教えない

５次以降はなんで公式がないんだとかいって発●し
ガロア理論の本をむさぼり読むとかいうのは見当違い

解の公式がーとか
テンソルがーとか
高階論理がーとか
単純な上昇志向しかないよね

数学ってそういうもんじゃないよ

数学であれなんであれ
全知全能を目指すのは
…精神障害

集合論を正しく理解すると
全知全能が無理だと分かる

集合の全体は集合でない
順序数の全体は順序数でない

上に向かって開いている
これが数学の現実

手を動かしていれば、数学が目の前に具体的な形で存在しすぎているので思想信条は下らなく見えてくる
人間関係や人生や社会といったことも同じだと思う

雲を掴むような無意味なことをやっているように感じてくる
目の前に具体的に書かれた数式があって、とくに語ることはない。