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

つづく

[9] arXiv:2609.19609 [pdf, html, other]
Target Geometry in Prescribed-Value Schwarz Lemmas for Harmonic Maps
Miljan Knežević, Miodrag Mateljević
Comments: 64 pages
Subjects: Complex Variables (math.CV)
[10] arXiv:2609.19522 [pdf, html, other]
Holomorphic motions, Assouad dimension and quasiconformal mappings
Katheryn Menssen, Malik Younsi
Comments: 23 pages
Subjects: Complex Variables (math.CV)
[11] arXiv:2609.20652 (cross-list from math.OA) [pdf, html, other]
Toeplitz C∗-algebras on radially weighted Fock spaces: commutativity and spectral representation
Khalid Bdarneh
Subjects: Operator Algebras (math.OA); Complex Variables (math.CV)
[12] arXiv:2609.20024 (cross-list from math.DS) [pdf, html, other]
Stability and Logarithmic Foliations on Complex Projective Spaces
Víctor León, Bruno Scárdua
Subjects: Dynamical Systems (math.DS); Complex Variables (math.CV)

>>808
>もし U∈V成立がいえるなら、そこから ZFCでも到達不能基数の存在が導けて 矛盾

Vから到達不能基数の非存在は導けないが

Vは、自明でないグロタンディク宇宙を持たない集合論の宇宙のみを指すものではない

任意の集合論の宇宙のみを指す

Vが自明でないグロタンディク宇宙Uを持たないこともあるが

持つとすれば U∈V

なぜなら、Uは集合だから

QED

>>810
>>R^N上のルベーグ測度は定義不可能だがすべての測度がそうではない。
>同意だが
同意だがって君、定義不可能の理由分かってんの？　分かってないでしょ　君が大好きな計量はまったく関係無いよ

>では、R^N上のルベーグ測度に代わる測度を示せ！
>そして それにより 確率理論を展開せよ！ｗ
不要。
箱入りの標本空間はR^Nではないから。

>一方で、札つきの決定番号 が有限n1 n2 となる確率は0だ
大嘘。
決定番号は確率変数にならない。つまり確率は0ではなく定義不能。

>∵ 有限決定番号nとは、無限長の対のサイコロの目が一致するという定義で 一つの目の一致が1/6ゆえ 無限長なら lim n→∞ (1/6)^n ＝0■
無駄計算

>>6^Nを[0,1]と見做せることすら分からないらしい。バカだね君。
>うん 1/6→1/2 になるだけだな
ぜんぜん違います。
[0,1]に属す実数を6進小数で表したものの全体が6^N。何進数で表そうと表し方の違いだけだから、[0,1] も {0,1}^N も 6^N も同じ集合と見做せる。

>無限長なら lim n→∞ (1/2)^n ＝0■
無駄計算

>あとは、ゴミだからいいだろう（＾＾
あとは理解できなかったということですね？

君は maturity of personality が低い

具体的にいえば、他人に勝つことしか頭にない

実に幼稚

そんなことは人生では何の意味もない