前スレが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:t7Urne4X726132人目の素数さん
2026/09/18(金) 10:13:03.35ID:hATb5yTY >>723
その通り
その通り
727132人目の素数さん
2026/09/18(金) 10:20:56.33ID:s1M0a80e 素人🐒が理解できないこと
・実数、数列の収束、関数の各点連続、等の定義
・正方行列が線形同型写像となるための条件
・テンソル
・代数方程式の根がべき根で表せる場合、それを具体的に求める方法(注:べき根で表せる条件、の先の話)
・選択公理、順序数、基数、等の定義
・モデル
上記は
理工系学部1年生〜数学科3年生レベル
にあたるが、どれ一つ分かってないし知らない
素人🐒が生きていくには無縁なので、知らなくても構わないが
アマゾンのピダハンが、数を知らなくても生きていけるのと同じ
南無阿弥陀仏
・実数、数列の収束、関数の各点連続、等の定義
・正方行列が線形同型写像となるための条件
・テンソル
・代数方程式の根がべき根で表せる場合、それを具体的に求める方法(注:べき根で表せる条件、の先の話)
・選択公理、順序数、基数、等の定義
・モデル
上記は
理工系学部1年生〜数学科3年生レベル
にあたるが、どれ一つ分かってないし知らない
素人🐒が生きていくには無縁なので、知らなくても構わないが
アマゾンのピダハンが、数を知らなくても生きていけるのと同じ
南無阿弥陀仏
728132人目の素数さん
2026/09/18(金) 10:30:52.11ID:70F5iJtF [37] arXiv:2609.12939 [pdf, html, other]
A Cauchy--Riemann-Type CK Extension for Monogenic Functions
Dixan Peña Peña
Comments: 15 pages
Subjects: Complex Variables (math.CV)
[38] arXiv:2609.12654 [pdf, html, other]
Formal solution and strong asymptotic expansion of some initial value problem in two complex time variables, infinite order irregular singularities and Mahler transforms
Alberto Lastra, Stephane Malek
Subjects: Complex Variables (math.CV)
[39] arXiv:2609.12585 [pdf, html, other]
Mobius invariant weighted reduced quaternionic Qp-modules
Isidro Paulino-Basurto, José Oscar González-Cervantes, Juan Bory-Reyes, Lino Feliciano Reséndis-Ocampo
Subjects: Complex Variables (math.CV)
[40] arXiv:2609.12032 [pdf, html, other]
Relative Finite Energy Classes for Complex Hessian Equations with Prescribed Singularities
Truong Dinh Dat
Subjects: Complex Variables (math.CV)
[41] arXiv:2609.12838 (cross-list from math.NT) [pdf, html, other]
Projective Kernels and Replicability in Modular Function Theory
Hicham Saber, Abdellah Sebbar
Subjects: Number Theory (math.NT); Complex Variables (math.CV)
[42] arXiv:2609.12217 (cross-list from math.GT) [pdf, html, other]
Holomorphic realizations of pairs of foliations on Riemann surfaces
Nathaniel Sagman, Dragomir Saric
Subjects: Geometric Topology (math.GT); Complex Variables (math.CV); Differential Geometry (math.DG)
A Cauchy--Riemann-Type CK Extension for Monogenic Functions
Dixan Peña Peña
Comments: 15 pages
Subjects: Complex Variables (math.CV)
[38] arXiv:2609.12654 [pdf, html, other]
Formal solution and strong asymptotic expansion of some initial value problem in two complex time variables, infinite order irregular singularities and Mahler transforms
Alberto Lastra, Stephane Malek
Subjects: Complex Variables (math.CV)
[39] arXiv:2609.12585 [pdf, html, other]
Mobius invariant weighted reduced quaternionic Qp-modules
Isidro Paulino-Basurto, José Oscar González-Cervantes, Juan Bory-Reyes, Lino Feliciano Reséndis-Ocampo
Subjects: Complex Variables (math.CV)
[40] arXiv:2609.12032 [pdf, html, other]
Relative Finite Energy Classes for Complex Hessian Equations with Prescribed Singularities
Truong Dinh Dat
Subjects: Complex Variables (math.CV)
[41] arXiv:2609.12838 (cross-list from math.NT) [pdf, html, other]
Projective Kernels and Replicability in Modular Function Theory
Hicham Saber, Abdellah Sebbar
Subjects: Number Theory (math.NT); Complex Variables (math.CV)
[42] arXiv:2609.12217 (cross-list from math.GT) [pdf, html, other]
Holomorphic realizations of pairs of foliations on Riemann surfaces
Nathaniel Sagman, Dragomir Saric
Subjects: Geometric Topology (math.GT); Complex Variables (math.CV); Differential Geometry (math.DG)
729132人目の素数さん
2026/09/18(金) 10:34:12.93ID:70F5iJtF [1] arXiv:2609.19126 [pdf, html, other]
Beyond Sendov's conjecture: the quadratic Tang--Zhang inequality
Teng Zhang
Comments: 26 pages,3 figures. All comments are welcome!
Subjects: Complex Variables (math.CV)
[2] arXiv:2609.18785 [pdf, html, other]
Non-tangential ranges of holomorphic functions at Plessner points
Oleg Ivrii
Comments: 18 pages
Subjects: Complex Variables (math.CV)
[3] arXiv:2609.18557 [pdf, html, other]
A Uniform Divisor-Comparison Method for Meromorphic Identities
Henning Wunderlich
Subjects: Complex Variables (math.CV); Functional Analysis (math.FA)
[4] arXiv:2609.18171 [pdf, html, other]
An m-Hessian approach to Yau uniformization conjecture
Truong Dinh Dat
Subjects: Complex Variables (math.CV)
[5] arXiv:2609.18141 [pdf, html, other]
A solution to Berndtsson's problem and uniqueness of twisted KE currents
Yinji Li, Haoyuan Sun, Zhiwei Wang, Xiangyu Zhou
Comments: Comments welcome!
Subjects: Complex Variables (math.CV); Differential Geometry (math.DG)
[6] arXiv:2609.18579 (cross-list from math.DG) [pdf, html, other]
Chern-Ricci flow on Kato surfaces
Daniele Angella, Mauricio Corrêa
Subjects: Differential Geometry (math.DG); Complex Variables (math.CV)
Beyond Sendov's conjecture: the quadratic Tang--Zhang inequality
Teng Zhang
Comments: 26 pages,3 figures. All comments are welcome!
Subjects: Complex Variables (math.CV)
[2] arXiv:2609.18785 [pdf, html, other]
Non-tangential ranges of holomorphic functions at Plessner points
Oleg Ivrii
Comments: 18 pages
Subjects: Complex Variables (math.CV)
[3] arXiv:2609.18557 [pdf, html, other]
A Uniform Divisor-Comparison Method for Meromorphic Identities
Henning Wunderlich
Subjects: Complex Variables (math.CV); Functional Analysis (math.FA)
[4] arXiv:2609.18171 [pdf, html, other]
An m-Hessian approach to Yau uniformization conjecture
Truong Dinh Dat
Subjects: Complex Variables (math.CV)
[5] arXiv:2609.18141 [pdf, html, other]
A solution to Berndtsson's problem and uniqueness of twisted KE currents
Yinji Li, Haoyuan Sun, Zhiwei Wang, Xiangyu Zhou
Comments: Comments welcome!
Subjects: Complex Variables (math.CV); Differential Geometry (math.DG)
[6] arXiv:2609.18579 (cross-list from math.DG) [pdf, html, other]
Chern-Ricci flow on Kato surfaces
Daniele Angella, Mauricio Corrêa
Subjects: Differential Geometry (math.DG); Complex Variables (math.CV)
730132人目の素数さん
2026/09/18(金) 10:35:40.42ID:70F5iJtF [8] 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)
[9] arXiv:2609.16676 [pdf, html, other]
When can a power series be analytically continued?
Kei Beauduin
Comments: 18 pages
Subjects: Complex Variables (math.CV)
[10] 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)
[11] 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)
[12] 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)
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)
[9] arXiv:2609.16676 [pdf, html, other]
When can a power series be analytically continued?
Kei Beauduin
Comments: 18 pages
Subjects: Complex Variables (math.CV)
[10] 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)
[11] 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)
[12] 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)
731132人目の素数さん
2026/09/18(金) 10:45:21.92ID:hATb5yTY >>728-730
荒らし行為は遠慮してもらえますか?
荒らし行為は遠慮してもらえますか?
732132人目の素数さん
2026/09/18(金) 11:11:36.86ID:s1M0a80e 認知症老人の宣伝行為は大目にみるけど
自己愛性人格障害のコピペ&暴言マウンティングは撲滅対象
自己愛性人格障害のコピペ&暴言マウンティングは撲滅対象
733132人目の素数さん
2026/09/18(金) 11:31:07.48ID:70F5iJtF 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
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
734132人目の素数さん
2026/09/18(金) 14:40:46.39ID:hATb5yTY >>733
やるなと言うとムキになってやるね
やるなと言うとムキになってやるね
735132人目の素数さん
2026/09/18(金) 14:41:28.59ID:i6C3Vk5o 押すなよ、押すなよ…
736132人目の素数さん
2026/09/18(金) 17:06:52.19ID:j5n2ahRI 服従したら他人の上に立てないから
737132人目の素数さん
2026/09/18(金) 18:24:54.34ID:hATb5yTY >>685
>・『また、もし可測基数が存在するなら、冪集合操作を「定義可能な」程度に反復するよう抑えると、ゲーデルの構成可能宇宙 L が得られ、そこでは「可測基数が存在する」という主張は成立しなくなる (even though it contains the measurable cardinal as an ordinal)』
完全な嘘。
まず、LはVの内部モデルだから、L内にすべての順序数(したがって全ての基数)が存在する。つまり縦方向の高さはVと同じ。
もちろん可測基数λも存在する。但し、L内でλはその性質(λの存在⇒λ上の非自明なλ加法性を満たす測度の存在⇔λ完備な自由超フィルタの存在)を保てない、つまり有るけれどλと認識されない。
それが
>even though it contains the measurable cardinal as an ordinal
の意味。
まあ理論とモデルの区別すらあやふやなおサルさんの耳に念仏だろうけど
>・『また、もし可測基数が存在するなら、冪集合操作を「定義可能な」程度に反復するよう抑えると、ゲーデルの構成可能宇宙 L が得られ、そこでは「可測基数が存在する」という主張は成立しなくなる (even though it contains the measurable cardinal as an ordinal)』
完全な嘘。
まず、LはVの内部モデルだから、L内にすべての順序数(したがって全ての基数)が存在する。つまり縦方向の高さはVと同じ。
もちろん可測基数λも存在する。但し、L内でλはその性質(λの存在⇒λ上の非自明なλ加法性を満たす測度の存在⇔λ完備な自由超フィルタの存在)を保てない、つまり有るけれどλと認識されない。
それが
>even though it contains the measurable cardinal as an ordinal
の意味。
まあ理論とモデルの区別すらあやふやなおサルさんの耳に念仏だろうけど
レスを投稿する
ニュース
- 「日本は完璧」のはずが… アジア大会で崩れた神話、インド誌が痛烈批判「名声揺るがしかねない」 [首都圏の虎★]
- 副大臣に今井絵理子氏ら 政務官に生稲晃子氏、森下千里氏ら 第3次高市改造内閣 官房長官が名簿を発表【全員掲載】★2 [煮卵★]
- 【為替】円下落、一時157円台 日銀利上げ決定も「反対」2票で売り ★2 [蚤の市★]
- 【速報】農水省によると、コメ5キロの平均店頭価格が2年ぶりに2000円台となった [蚤の市★]
- 志らく、森本レオさん巡る紀藤弁護士の指摘に猛反論「人の心がないのか」「人の死を悼む。人間として当たり前。擁護でもなんでもない」 [Anonymous★]
- 「男のくせに」「男なんだから扉を開けたまま着替えろ」女性職員をパワハラ・セクハラで減給の懲戒処分=静岡県立病院機構 [少考さん★]
- 【高市悲報】ガルパンの「カチューシャ」ってよく考えるとヤバくね。糞ロリマンコなのに年齢的にはセックスOKなんだぜ🥺 [616817505]
- 【実況】博衣こよりのえちえちホロ甲2026_2年目夏大会🧪★2
- しょうがねぇのらねぇ…こりだからよぉ…(・o・🍬)🏰
- 【高市】Vtuberはなんか最終的にみんな炎上するから代わりに¥tuberを作ろう。今なら158円でホクホクタイム! [784319933]
- 【悲報】旅行に行くお金のなくなった日本人、美術館にバカみたいに押し寄せてまた激混みになる [268718286]
- BBC「イギリス国民よ、戦争が迫っているけど何をすべきかわかっているだろうか?」 政府は備蓄を呼びかけ [583597859]