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

つづく

Fri, 18 Sep 2026 (showing 12 of 12 entries )
[1] arXiv:2609.20675 [pdf, html, other]
Limit theorems for Coulomb gases on a Jordan curve in an external potential
Kurt Johansson, Thomas Wolfs
Comments: 45 pages
Subjects: Complex Variables (math.CV)
[2] arXiv:2609.20607 [pdf, html, other]
On Simply Connected Domains Supporting an Unbounded Analytic Function with Bounded Derivative
Cameron MacMahon
Comments: 15 Pages, 4 Figures
Subjects: Complex Variables (math.CV)
[3] arXiv:2609.20288 [pdf, other]
Coefficient estimates and Hankel determinant for the class of leaf shaped starlike function
Shantanu Panja, Abhijit Banerjee, Sujoy Majumder
Subjects: Complex Variables (math.CV)
[4] arXiv:2609.20256 [pdf, html, other]
Sendov's conjecture holds for every degree n≥10200000
Teng Zhang
Comments: 29 pages. All comments are welcome!
Subjects: Complex Variables (math.CV)
[5] arXiv:2609.20196 [pdf, html, other]
Rigidity of symmetric holomorphic functions on infinite-dimensional sequence spaces
David Feldman, Jon Bannon
Comments: Comments welcome!
Subjects: Complex Variables (math.CV)

[1] 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)
We study the variation of the quasi-Assouad dimension of a set
moving under a holomorphic motion. We show that the reciprocal of
the quasi-Assouad dimension is inf-harmonic in the sense of
Fuhrer--Ransford--Younsi. As a consequence, we obtain quasiconformal
distortion bounds for quasi-Assouad dimension as well as
an improved version of Smirnov's celebrated theorem on the
dimension of quasicircles. Our approach is elementary in that
it does not require optimal Sobolev regularity for quasiconformal mappings.

[1] arXiv:2609.00326 [pdf, html, other]
On a construction of hermitian metrics on holomorphic vector bundles
Laszlo Lempert
Comments: The abstract already appeared, by mistake, accompanying submission arXiv:2608.22689. The mistake has since been corrected; this abstract here belongs to the current submission
Subjects: Complex Variables (math.CV); Algebraic Geometry (math.AG); Differential Geometry (math.DG)
[2] arXiv:2609.01561 [pdf, html, other]
Analytic discs and compactness of the ∂¯-Neumann operator
Qianyun Wang, Yuan Yuan, Xu Zhang
Subjects: Complex Variables (math.CV)
[3] arXiv:2609.02144 [pdf, html, other]
Integrable Generators of Polynomial Vector Fields for Complex Classical Lie Groups
Yiyang Jiang, Xudong Chen
Comments: 7 pages, 1 table
Subjects: Complex Variables (math.CV); Algebraic Geometry (math.AG); Rings and Algebras (math.RA)
[4] arXiv:2609.02513 [pdf, html, other]
Prescribed Lelong Numbers for One-Pole Green Functions on Complex Projective Space
Xiangsen Qin
Subjects: Complex Variables (math.CV); Algebraic Geometry (math.AG)
[5] arXiv:2609.02601 [pdf, html, other]
Energy asymptotics of holomorphic functions with application to Calderón-Zygmund theory in C
Hongrong Chen, Guokuan Shao, Jujie Wu, Wei Xia
Comments: 23 pages
Subjects: Complex Variables (math.CV)

こうかな？
Δ:X^2→N^2→Z
を決定番号dの差を対応させる写像とし
A={(x,y)∈X^2::Δ(x,y)>0}
とする
これがX^2の可測集合だとすると
Ay={x∈X::Δ(x,y)>0}
はどれもXで可測だけど特定のyについて
Δ(x,y)=d(x)-d(y)>0
とは
d(x)>d(y)（定数）
であることなのでnが確率変数では無いことから
どのAyも非可測
よってAも非可測ということか

>>862
>これがX^2の可測集合だとすると
>Ay={x∈X::Δ(x,y)>0}
>はどれもXで可測だけど特定のyについて
A⊂X^2={(x,y)::x,y∈X}
に対してy切片を
Ay={x∈X::(x,y)∈A}
とし
S={A⊂X^2::∀y∈X:Ay:Xの可測集合}
とするとこれは完全加法族
それは切片（を取る操作）が和積補集合と可換だから
可測なI,J⊂XについてI×J∈Sなので
Sの完全加法性により
I×Jで生成される完全加法族すなわちX^2の可測集合をすべて含む
よって
X^2の可測集合のy切片は全てXで可測

>>857
(引用開始)
よって
決定番号を与える写像は非可測
よって
Xから独立な2つの実数（すなわち2^N＼Fの元）を取っても
それらに定義される決定番号m,nについて
この確率空間ではP(m>n)は定義されない
しかし
{m.n}からランダムに数xを選びyを残った方とすると
P(x>y)
は
m=nのとき0でｍ≠nのとき1/2
(引用終り)

ID:W6sOZSLm は、(ですね)人か （>>854より （イメージだけで何とかなると思っているようです） ）
ご苦労さまです（＾＾
結構細かい議論が得意なんだね

さて
君に送る （下記）「着眼大局、着手小局」
御大のごとく囲碁7段ともなると いわずもがな
有段者になれば、常に心がけるべきことだ
自分なりの大局観を持つべし（低段者は低段者なりのね。それが、上達のこつ。数学も同じ）

さて、上記での現代数学確率論での無定義用語”ランダム”の問題を 取り上げるよ
下記 Vitali setを [0, 1]に集めた集合から、”ランダム”に x,yを取る（簡便にx≠yを仮定する）
x＜y 又は x＞y のどちらかだ。ゆえに 確率 P(x＜y) =1/2は、正しいか？ 正しくないと思う数学徒が殆どだろう

この説明の対比として、[0, 1]の一様分布の任意実数を考えよう x,y ∈[0, 1]として
あとは 同様で 確率 P(x＜y) =1/2は、正しい（∵ 簡便に 正方形[0, 1]ｘ[0, 1] で 点(x,y) の分布を考えると
x＜y の占める面積は 正方形[0, 1]ｘ[0, 1]で 対角線 x＝y より上半分で 1/2）■

この議論は、可測だから可だが Vitali setではどうか？
同じように 正方形[0, 1]ｘ[0, 1]中の 点(x,y) x,y ∈Vitali[0, 1] とすると
当然 正方形[0, 1]ｘ[0, 1]中の面積は 非可測で 測度論に乗らないから まずい

さて、話は変るが x,y ∈Vitali[0, 1]で、具体的な数 例えば x＝π-3 ≒0.14・・とy=π^2-9≒0.95・・と
で x＜y 成立だ。この二つをシャッフルして a,b とする P(a＜b) =1/2は正しい！

もし、Vitali setを経由したから ”お手付き”とか 時枝さん みたいな言説は あきらかに変
つまり 集合としての Vitali非可測と、 Vitaliから有限個を取り出したときの 大小とは 議論を分けるべし！

これぞ、着眼大局なり（“big picture”Terence Tao とも ）

つづく

つづき

(参考)
https://ja.wikipedia.org/wiki/%E3%83%B4%E3%82%A3%E3%82%BF%E3%83%AA%E9%9B%86%E5%90%88
ヴィタリ集合（英: Vitali set）
R/Q の元は R の分割の1ピースである。そのピースは不可算個あり、各ピースはそれぞれ R の中で稠密である。R/Q の元はどれも [0, 1] と交わっており、選択公理によって [0, 1] の部分集合で、R/Q の代表系になっているものが取れる

＜“big picture”＞
https://terrytao.wordpress.com/career-advice/theres-more-to-mathematics-than-rigour-and-proofs/comment-page-1/
There’s more to mathematics than rigour and proofs Terence Tao
3. The “post-rigorous” stage, in which one has grown comfortable with all the rigorous foundations of one’s chosen field, and is now ready to revisit and refine one’s pre-rigorous intuition on the subject, but this time with the intuition solidly buttressed by rigorous theory. (For instance, in this stage one would be able to quickly and accurately perform computations in vector calculus by using analogies with scalar calculus, or informal and semi-rigorous use of infinitesimals, big-O notation, and so forth, and be able to convert all such calculations into a rigorous argument whenever required.) The emphasis is now on applications, intuition, and the “big picture”. This stage usually occupies the late graduate years and beyond.
https://terrytao.wordpress.com/career-advice/
Career advice Terence Tao

https://www.nishiwaki.or.jp/kens/cat1/index22.html
西脇病院院長西脇健三郎 長崎県
https://www.nishiwaki.or.jp/kens/0908/2009082041.html
Ken’s Lounge エッセイ 「着眼大局、着手小局」2009年8月20日木
(抜粋)
この「着眼大局、着手小局」は、太平洋戦争開戦時参謀本部に所属、終戦後はシベリヤに抑留され、帰国した後に伊藤忠商事の会長に就いた瀬島龍三の座右の銘であったと聞いている。

まぁ〜兎に角、私はこの言葉が好きである。常に日々の生活の中で心がけている。日常の些事を、出来ることであれば、手掛け、処理していきながら、地域社会、世界の将来を見据えることは大切なことではないだろうか。
(引用終り)
以上

（全く理解できないみたいですね）

テンプレです
>(引用開始)
>偶数と奇数m,nをAが選びカードに書いて箱に入れる
>選び方はAの自由
>ここで
>Bは箱の中からランダムにカードを1つ取り出す
>Aは残った方を取る
>偶数を引いた方が勝ち
>さてA,Bの勝つ確率は？
>(引用終り)
>
>良い指摘だ
>いま、箱の中は 偶数1枚と奇数1枚の計2枚のみとする
>全体の数が2枚で有限だから
>普通に確率計算が可能で
>A,Bの勝つ確率は 各1/2ずつ
自然数nをAが選ぶ
選び方はAの自由
Aは2枚のカードにnとn+1を書いて箱に入れる
ここで
Bは箱の中からランダムにカードを1つ取り出す
Aは残った方を取る
偶数を引いた方が勝ち
さてA,Bの勝つ確率は？

>>855
>Xn=X0+Dn
mod 1
ね

（彼の人は何も理解する気が無いのです）

>>865
＞「着眼大局、着手小局」
＞私はこの言葉が好きである。

うん、デカいことばっかりいうけど
円分方程式の根を根号をつかって表せる？
と聞くと全然できないっていう人が
好みそうな言葉ではある

>決定番号を与える写像は非可測
>よって
>Xから独立な2つの実数（すなわち2^N＼Fの元）を取っても
>それらに定義される決定番号m,nについて
>この確率空間ではP(m>n)は定義されない
ここまでの話と
>しかし
>{m.n}からランダムに数xを選びyを残った方とすると
>P(x>y)
>は
>m=nのとき0でｍ≠nのとき1/2
ここは別の確率空間の話なのにね

>「着眼大局、着手小局」
到達不能性の定義を理解できず「どうがんばっても到達できないんだああああああ」と連想ゲームで済ませる人が好きな言葉だそうです

>>852
>ふっふ、ほっほ
>２列が対称であることと、
>無限列の正規サイコロの目の的中が
>確率論通り どれも1/6となることとは
>両立する
(中略）
>普通に考えて
>n2の可能性は 1〜∞まであるから
>n2は 想定される有限のn1∈N より
>つねに大きくなる
>即ち 具体的なn2を見たら
>「あら もう明けちゃったよ そこ！」になる

ふっふ、ほっほ

高卒🐒は
中略の後の発言が
中略の前の「２列が対称」を
完全否定してることに気づかない🤣

>一見矛盾の理由は、
>決定番号n1,n2はあくまで存在のみの保証の具体性のない数だから
>「どちらが大きい」という問いは 事前には決まらないという事実から従う

選択関数が存在するならば、決定番号は具体的に決まる
つまり事前に決まる

２列のそれぞれを選んで、それぞれ決定番号が相手より大きい、ということはない
そして一方の確率が大きければ、他方の確率が小さくなるから、対称でなくなる

２人がそれぞれ異なる選択関数を用いるのは
問題設定を誤解しているので却下

２人は同じ選択関数を用いる
したがって対称だと認めるならば
外れる確率は１／２以下にならざるを得ない

>>872
ですね

>>820
>倒錯も ここまで来たら 病気だな
自分で倒錯だああああああと言ったのに、結局どこがどう倒錯してるか説明できなかったね。
君はいつもそうだね、忍者ハッタリ君

ニンニン、伊東四朗

緩衝材になると思っているのか
ただのマーキングか
いずれにせよ下らん

もっと単純にしよう
[0,1]の非可測部分集合であるVitali集合を1つ考えて
Aは2つの異なる実数をそのVitali集合から任意に選んで箱の中に入れ
Bは箱の中から
ランダムに数を1つ取りだして
Aは残った方を取りだして
大きい方が勝ち
というゲームでもそれぞれの勝つ確率は1/2

もっともっと単純にしよう
AはVitali集合から任意の元を1つ選んで箱の中に入れ
Bは箱の中から数を1つ取りだして
それがそのVitali集合の元であれば勝ち
というゲームで
Bの勝つ確率は定義できてそれは1

ただ言いたいだけ。
ほろ酔いのおにぃw

[20] arXiv:2609.17114 [pdf, html, other]
Fejér-Rogosinski theorem for the Neil algebra
Nilanjan Das, Jaydeb Sarkar
Comments: 9 pages
Subjects: Complex Variables (math.CV); Functional Analysis (math.FA); Operator Algebras (math.OA)
[21] arXiv:2609.16676 [pdf, html, other]
When can a power series be analytically continued?
Kei Beauduin
Comments: 18 pages
Subjects: Complex Variables (math.CV)
[22] arXiv:2609.17513 (cross-list from math.AG) [pdf, html, other]
Chern bounds and tangent geometry of polarized Calabi-Yau threefolds
Atsushi Kanazawa
Subjects: Algebraic Geometry (math.AG); High Energy Physics - Theory (hep-th); Complex Variables (math.CV)
[23] arXiv:2609.17142 (cross-list from math.AG) [pdf, other]
A new degenerated second main theorem for meromorphic mappings with hypersurfaces
Gerd Dethloff (LMBA), Si Duc Quang
Journal-ref: Vietnam Journal of Mathematics, 2026
Subjects: Algebraic Geometry (math.AG); Complex Variables (math.CV)
[24] arXiv:2609.17133 (cross-list from math.FA) [pdf, html, other]
Composition operators and Carleson embeddings for the Nevanlinna class of Dirichlet series
Vasudevarao Allu, Dipon Kumar Mondal
Comments: Comments are welcome. 38pp
Subjects: Functional Analysis (math.FA); Complex Variables (math.CV)
[25] arXiv:2609.16250 (cross-list from math.QA) [pdf, html, other]
Boundedness in Strict Deformation Quantization
Michael Heins

ニキニン！
喉のイガイガにはジキニンw

単純化しすぎて面白味が無かったかも
[0,1]のVitali集合VとV+1/2 mod 1に共通部分は無い
AはVとV+1/2からそれぞれx,yを選んで箱に入れる
選び方はAの任意
Bは箱からランダムに数を取りだしてAは残った方を取る
大きい方が勝ち
A,Bの勝つ確率は？

[0,1]のVitali集合VとV+1/2 mod 1に共通部分は無い
AはVとV+1/2からそれぞれx,yを選んで箱に入れる
選び方はAの任意
Bは箱からランダムに数を取りだしてAは残った方を取る
Vの元を引いた方が勝ち
A,Bの勝つ確率は？

時枝さんがVitali集合に言及してる所って
「選択公理やVitali集合を使っているから箱入り無数目が成り立たない」
と主張するのは詰まらないといってるところね
「Vitali集合を経由しているから成立しない」
という主張をしているのではないことに気が付いてないとは

>>866
>（全く理解できないみたいですね）

なるほど・・・
その一言で分ったよ
君は、学部で終わったのか？
（Terence Tao “big picture”まで到達できていない人なんだ）
そして、確率論は未履修とみた
（御大が、>>881でドカンのダメだししてる（＾＾）

　>>864で示したことは
１）全事象Ωを考えたとき それが 非可測 Vitali set類似だと 確率空間が作れないのだと
　（なお 述べなかったが Ωが大きすぎる（無限大発散）も同様で それが箱入り無数目）
２）一方、全事象Ωが非可測であれ 大きすぎも含め そこから有限個を取り出して
　大小比較をする場合、全事象Ω→Ω'(有限個）に変っているから
　Ω'(有限個）なら、数え上げ測度で 確率空間を構築しなおせるけど
３）箱入り無数目の時枝さんの混乱は、上記１）と２）の区別がついていないってこと
　不適切な全事象Ω（箱入り無数目ではΩが大きすぎる 即ち d→∞ で 頻度が減少しない）
　なのに それに気付かず 99/100 として 平気の平左 それがまずい
　かつ、大きな勘違いは d1,d2,・・,d100 は 選択公理まかせだと定まらないってことに気付いていない
（その具体例として >>864-865を書いた。いま、説明を追加すると Vitali[0, 1] から可算無限個の数をとって
　v1<v2<・・<vn<・・, n∈N と出来たとしよう。これは選択公理で可能。
　だが、{v1、v2、・・、vn、・・} は 具体的には書けないでしょ？（Vitali[0, 1]に具体性がないから）
　その類似が 100個の決定番号 d1,d2,・・d100で ここで 時枝さん 思わず知らず トリックに嵌って 確率99/100で悦に入っている■）

そのトリックは、箱入りも 札つきも同様

（何かを頼りに理解した気分になっているだけ見たいです）

（決定番号が確率変数にならない証明を読んで理解はできてないみたいですね）

（m≠nでπ:N^2→2:(m,n)→1 for m>n, 0 for m<nと確率空間を構築し直すのは許さないみたいです）

時枝さんは「選択公理やVitali集合を使うからこの話は成り立たない」とは言ってません
それは面白くないとは書いてますね
さらに
「選択公理やVitali集合を使って非可測になる」ことは測度による確率の定義を取ることによる帰結だとして
それ以外の確立の概念も有り得るだろうとは書いてますが
それは単に書いただけですね
特にそれ以上掘り下げては居ません

>>886
>そして、確率論は未履修とみた
計量がああああとか言ってる人は未履修どころか一度も勉強したことが無いとみた

>１）全事象Ωを考えたとき それが 非可測 Vitali set類似だと 確率空間が作れないのだと
なんか数学用語を組み合わせれば正しいことを言えると思ってる？

>　（なお 述べなかったが Ωが大きすぎる（無限大発散）も同様で それが箱入り無数目）
大嘘。
Ωが無限集合だと確率空間が作れないなんてことはありません。
しかも箱入りのΩは有限集合です。
何重にも間違ってる。

>２）一方、全事象Ωが非可測であれ 大きすぎも含め そこから有限個を取り出して
>　大小比較をする場合、全事象Ω→Ω'(有限個）に変っているから
>　Ω'(有限個）なら、数え上げ測度で 確率空間を構築しなおせるけど
君、確率論を一度も勉強したこと無いでしょ

>３）箱入り無数目の時枝さんの混乱は、上記１）と２）の区別がついていないってこと
記事後半はともかく前半はまったく正しい
というより前半で使っている確率は高校レベル
君が理解できてないだけ

>　不適切な全事象Ω（箱入り無数目ではΩが大きすぎる 即ち d→∞ で 頻度が減少しない）
だから箱入りのΩは有限集合だと何度言わせるのか
しかもΩと確率分布を混同している
まったくデタラメ

>　なのに それに気付かず 99/100 として 平気の平左 それがまずい
箱入りのΩは有限集合だからまったくまずくない
君が理解できてないだけ

>　かつ、大きな勘違いは d1,d2,・・,d100 は 選択公理まかせだと定まらないってことに気付いていない
構成的でないことと定まらないことを混同している
確率だけじゃなく選択公理も分かってない

>（その具体例として >>864-865を書いた。いま、説明を追加すると Vitali[0, 1] から可算無限個の数をとって
>　v1<v2<・・<vn<・・, n∈N と出来たとしよう。これは選択公理で可能。
>　だが、{v1、v2、・・、vn、・・} は 具体的には書けないでしょ？（Vitali[0, 1]に具体性がないから）
書けるか否かは証明内か否かによる。証明内なら存在例化推論規則によって具体的に書ける。

>　その類似が 100個の決定番号 d1,d2,・・d100で ここで 時枝さん 思わず知らず トリックに嵌って 確率99/100で悦に入っている■）
99/100の計算にd1,d2,・・d100を使っているという前提が妄想。
君、10年以上やっててまだ99/100の計算が分かってないの？　ほんとバカだね。そんな君にも理解できるように教えてあげるから理解するんだよ。

箱入りの確率空間は ({1,2,...,100},2^{1,2,...,100},(P:2^{1,2,...,100}→[0,1],P(f)=|f|/100))。
100列のうち単独最大決定番号の列はたかだか1列で、それを選んだ場合だけ代表からのカンニングに失敗、すなわちアタリ全体の集合の濃度は99以上。勝つ確率=アタリのいずれかを選ぶ確率=P(アタリ全体の集合)≧99/100。
ヒトならこれで分かる。分からなきゃサル。

>そのトリックは、箱入りも 札つきも同様
大嘘。
箱入りの確率事象と札付きの確率事象はまったく異なる。
札付きが不成立だから同じことにしたいんでしょ？　この愚か者が。