前スレが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などは下付添え字
つづく
スレタイ箱入り無数目を語る部屋34(あほ二人の”アナグマの姿焼き"Part8w)
1132人目の素数さん
2026/09/10(木) 20:48:07.13ID:t7Urne4X575132人目の素数さん
2026/09/15(火) 19:29:06.70ID:le0zyntg576132人目の素数さん
2026/09/15(火) 19:33:22.12ID:le0zyntg 国語っつーか書かれていることを書かれている通りに読む、勝手な妄想を入れずに読む訓練と言うべきか
君、書かれてないことを勝手に妄想する癖があるみたいだから
君、書かれてないことを勝手に妄想する癖があるみたいだから
577132人目の素数さん
2026/09/15(火) 22:18:13.31ID:+F8rhCvr Shannon Integrals and Applications to Reimann-Hilbert Problems
Yavar Abdolmaleki, Dan Kucerovsky
Yavar Abdolmaleki, Dan Kucerovsky
578132人目の素数さん
2026/09/16(水) 06:00:16.37ID:fWzdxVNa 無限集合の初歩から分かってない高卒君は
いくら専門用語を検索しても正しく読めないし
いくら解説しても正しく理解できないので
ウソ塗れにさせておくしかない
AIに言わせると、他人より上に立ちたいだけらしいから
ほっとくしか仕方ない
いくら専門用語を検索しても正しく読めないし
いくら解説しても正しく理解できないので
ウソ塗れにさせておくしかない
AIに言わせると、他人より上に立ちたいだけらしいから
ほっとくしか仕方ない
579132人目の素数さん
2026/09/16(水) 06:03:38.05ID:fWzdxVNa 物事が単純でないのに
単純な形で分かろうとする人は
真理が知りたいのではなく
ただ分かった気になりたいだけ
自分勝手に腰振って
かってにイキなさい
単純な形で分かろうとする人は
真理が知りたいのではなく
ただ分かった気になりたいだけ
自分勝手に腰振って
かってにイキなさい
580132人目の素数さん
2026/09/16(水) 06:06:29.63ID:fWzdxVNa 数直線の両端を無限遠でくっつけた円を作って
「これが射影直線 完全な直線だぁぁぁぁ!!!」
とかいってドヤる人はただ気持ちよくなりたいだけ
あああ、あほくさ
「これが射影直線 完全な直線だぁぁぁぁ!!!」
とかいってドヤる人はただ気持ちよくなりたいだけ
あああ、あほくさ
581132人目の素数さん
2026/09/16(水) 08:36:22.60ID:dEAKIDxD Optimal Linear Dependence on Boundary Type for Local Gromov Hyperbolicity of the Kobayashi Metric
Cheng Lou, Jianyong Qiao, Hongyu Wang, yumin Zh
Cheng Lou, Jianyong Qiao, Hongyu Wang, yumin Zh
レスを投稿する
ニュース
- 「洗濯物を回収するため」ベランダで全裸、公然わいせつ容疑で男逮捕 歩行中の女性が目撃 兵庫 ★2 [少考さん★]
- 【実況】ショートスリーパー堀大輔の1日30分睡眠チャレンジ★34 [爆笑ゴリラ★]
- 【ドジャース】大谷翔平に投手引退♀ゥ告 二刀流「共倒れ」危機で打者専念の時=米報道 [征夷大将軍★]
- 【NTTドコモ】利用者34万人分の個人情報を米アマゾン・ドット・コム日本法人に無断提供…設定ミスが原因 [ぐれ★]
- 【国際】米、対イラン作戦で深刻な弾薬不足 国防総省報告で限界浮き彫りに ★3 [ぐれ★]
- 「墜落」のグローバルホーク「任務中だった」 詳細明かされず [ぐれ★]
- 愚かな日本人、朝からローソンに大行列… [667744927]
- 【朗報】堀大輔さん、今日でついに1週間30分睡眠を完走してしまうw w w w w w w w w w w w w
- 中国で開催された国際会議、日本だけ参加できずw [668024367]
- 1日だけ好きな妖怪になれるとしたら何になりたい?
- 【高市悲報】トランプ「イラン戦を支援しなかった国は米国に補償しろ!」 [765551424]
- 日本の政治家の世襲率、マジでヤバかった [819729701]