探検


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

1132人目の素数さん
垢版 |
2026/09/10(木) 20:48:07.13ID:t7Urne4X
前スレが1000近く又は1000超えになったので、新スレを立てる
(”ヘンテコスレ”が別にあります https://rio2016.5ch.io/test/read.cgi/math/1711570726/ 箱入り無数目を語る部屋19 )

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

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

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

2.続けて時枝はいう
 私たちのやろうとすることは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などは下付添え字

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

ふっふ、ほっほ

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

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

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

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

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

2人は同じ選択関数を用いる
したがって対称だと認めるならば
外れる確率は1/2以下にならざるを得ない
874132人目の素数さん
垢版 |
2026/09/20(日) 16:47:12.95ID:W6sOZSLm
>>872
ですね
875132人目の素数さん
垢版 |
2026/09/20(日) 18:20:07.59ID:NSZaZtFQ
>>820
>倒錯も ここまで来たら 病気だな
自分で倒錯だああああああと言ったのに、結局どこがどう倒錯してるか説明できなかったね。
君はいつもそうだね、忍者ハッタリ君
2026/09/20(日) 18:24:14.17ID:ODW/GSLt
ニンニン、伊東四朗
877132人目の素数さん
垢版 |
2026/09/20(日) 18:33:13.02ID:W6sOZSLm
緩衝材になると思っているのか
ただのマーキングか
いずれにせよ下らん
878132人目の素数さん
垢版 |
2026/09/20(日) 18:53:59.41ID:W6sOZSLm
もっと単純にしよう
[0,1]の非可測部分集合であるVitali集合を1つ考えて
Aは2つの異なる実数をそのVitali集合から任意に選んで箱の中に入れ
Bは箱の中から
ランダムに数を1つ取りだして
Aは残った方を取りだして
大きい方が勝ち
というゲームでもそれぞれの勝つ確率は1/2
879132人目の素数さん
垢版 |
2026/09/20(日) 18:58:41.57ID:W6sOZSLm
もっともっと単純にしよう
AはVitali集合から任意の元を1つ選んで箱の中に入れ
Bは箱の中から数を1つ取りだして
それがそのVitali集合の元であれば勝ち
というゲームで
Bの勝つ確率は定義できてそれは1
2026/09/20(日) 20:00:03.70ID:ODW/GSLt
ただ言いたいだけ。
ほろ酔いのおにぃw
881132人目の素数さん
垢版 |
2026/09/20(日) 20:07:20.70ID:eawBTR5P
[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
2026/09/20(日) 20:14:45.87ID:ODW/GSLt
ニキニン!
喉のイガイガにはジキニンw
883132人目の素数さん
垢版 |
2026/09/20(日) 20:41:09.67ID:W6sOZSLm
単純化しすぎて面白味が無かったかも
[0,1]のVitali集合VとV+1/2 mod 1に共通部分は無い
AはVとV+1/2からそれぞれx,yを選んで箱に入れる
選び方はAの任意
Bは箱からランダムに数を取りだしてAは残った方を取る
大きい方が勝ち
A,Bの勝つ確率は?
884132人目の素数さん
垢版 |
2026/09/20(日) 20:44:54.00ID:W6sOZSLm
[0,1]のVitali集合VとV+1/2 mod 1に共通部分は無い
AはVとV+1/2からそれぞれx,yを選んで箱に入れる
選び方はAの任意
Bは箱からランダムに数を取りだしてAは残った方を取る
Vの元を引いた方が勝ち
A,Bの勝つ確率は?
885132人目の素数さん
垢版 |
2026/09/20(日) 23:32:55.83ID:W6sOZSLm
時枝さんがVitali集合に言及してる所って
「選択公理やVitali集合を使っているから箱入り無数目が成り立たない」
と主張するのは詰まらないといってるところね
「Vitali集合を経由しているから成立しない」
という主張をしているのではないことに気が付いてないとは
2026/09/20(日) 23:39:37.33ID:ZHwOKVWx
>>866
>(全く理解できないみたいですね)

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

 >>864で示したことは
1)全事象Ωを考えたとき それが 非可測 Vitali set類似だと 確率空間が作れないのだと
 (なお 述べなかったが Ωが大きすぎる(無限大発散)も同様で それが箱入り無数目)
2)一方、全事象Ωが非可測であれ 大きすぎも含め そこから有限個を取り出して
 大小比較をする場合、全事象Ω→Ω'(有限個)に変っているから
 Ω'(有限個)なら、数え上げ測度で 確率空間を構築しなおせるけど
3)箱入り無数目の時枝さんの混乱は、上記1)と2)の区別がついていないってこと
 不適切な全事象Ω(箱入り無数目ではΩが大きすぎる 即ち 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で悦に入っている■)

そのトリックは、箱入りも 札つきも同様
レスを投稿する


ニューススポーツなんでも実況