スレタイ箱入り無数目を語る部屋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などは下付添え字

つづく

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

あの記事のどこにも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)の話か

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

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

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

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

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

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

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

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

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

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

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

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

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

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

981

982

983

984

P

985

987

988

989

ピ

990

992

993

994

あは～ん

995

997

998

999

1000

このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 11日 0時間 37分 43秒