前スレが1000近く又は1000超えになったので、新スレを立てる
(”ヘンテコスレ”が別にあります https://rio2016.5ch.io/test/read.cgi/math/1711570726/ 箱入り無数目を語る部屋19 )
https://rio2016.5ch.io/test/read.cgi/math/1789040887/
前スレ スレタイ箱入り無数目を語る部屋34(あほ二人の”アナグマの姿焼き"Part8w)
(参考)時枝記事
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などは下付添え字
つづく
スレタイ箱入り無数目を語る部屋35(あほ二人の”アナグマの姿焼き"Part9w)
2026/09/21(月) 10:33:33.85ID:Urlt9ysy
188132人目の素数さん
2026/09/24(木) 06:39:51.35ID:5ylgHcqL [2] arXiv:2609.26528 [pdf, html, other]
A first-jet characterization of Griffiths positivity
Yun-Heng Du, Song-Yan Xie
Subjects: Complex Variables (math.CV); Algebraic Geometry (math.AG)
[3] arXiv:2609.26504 [pdf, html, other]
Ample vector bundles without Griffiths-semipositive metrics
Yun-Heng Du, Song-Yan Xie
Subjects: Complex Variables (math.CV); Algebraic Geometry (math.AG)
A first-jet characterization of Griffiths positivity
Yun-Heng Du, Song-Yan Xie
Subjects: Complex Variables (math.CV); Algebraic Geometry (math.AG)
[3] arXiv:2609.26504 [pdf, html, other]
Ample vector bundles without Griffiths-semipositive metrics
Yun-Heng Du, Song-Yan Xie
Subjects: Complex Variables (math.CV); Algebraic Geometry (math.AG)
189132人目の素数さん
2026/09/24(木) 07:48:35.96ID:vEVWsws5190132人目の素数さん
2026/09/24(木) 08:23:36.38ID:5ylgHcqL [1] arXiv:2609.26706 [pdf, html, other]
A Conditional Oka Complex Structure of the Six-Sphere
Zhangchi Chen
Comments: 19 pages. With Open problems at the end
Subjects: Complex Variables (math.CV)
A Conditional Oka Complex Structure of the Six-Sphere
Zhangchi Chen
Comments: 19 pages. With Open problems at the end
Subjects: Complex Variables (math.CV)
レスを投稿する
ニュース
- 「QRコードオーダーが嫌…」居酒屋でのスマホオーダーに辟易。デジタル化に戸惑う50代男性…「これ、客の仕事」(FORZA) 2 [少考さん★]
- 出す意味がわからない」映像のプロも苦笑…高市首相NY到着時の“エアお手振り”写真に猛ツッコミ [バイト歴50年★]
- ソフトバンクG、オープンAIに100億ドル支払いのため、最高金利9.75%で社債発行 一度のジャンク債としては世界最高発行規模 [お断り★]
- 【米】ジェットコースター「X2」で過去100人超が脳損傷訴え、死亡や後遺症も 時速130キロ近く、座席は360度回転 [煮卵★]
- 【坂本美雨】坂本龍一さん娘、高市首相国連演説に痛烈苦言「空っぽな言葉」「いったい何のために行ったのか」 [少考さん★]
- DeNA・藤浪晋太郎、来季構想外…加入2年で1勝、制球難で結果残せず 現役続行希望 国内外含め模索 [征夷大将軍★]
- 【VR元年】VRゴーグル、「メガネ化」に成功してガチで流行りそうwwwwwwwwwwwwwwwwwwwwww [839150984]
- 【高市悲報】千葉県民「印旛沼排水出来ません😫」 [616817505]
- 【高市大悲報】台風26号もガチでまた千葉県に行きそう 千葉県「まー😭」 [616817505]
- 【動画】トランプ、キンペーのために空港までお出迎えwwwwwwwww [834922174]
- 【正論】坂本龍一さんの娘さん「高市は空っぽな言葉しか言えない世界の恥晒し」 [668024367]
- 5部以降のジョジョがあんまり面白くない理由 [305926466]