[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)
[7] arXiv:2609.18067 (cross-list from math.DG) [pdf, html, other]
Generalized Einstein Laurent polynomials, Toric Kähler-Einstein Rigidity, and Finite Exponential Families
Shaosai Huang
Subjects: Differential Geometry (math.DG); Complex Variables (math.CV); Statistics Theory (math.ST)
スレタイ箱入り無数目を語る部屋34(あほ二人の”アナグマの姿焼き"Part8w)
682132人目の素数さん
2026/09/17(木) 18:42:39.76ID:DRmnnqk9683132人目の素数さん
2026/09/17(木) 18:42:39.90ID:DRmnnqk9 [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)
[7] arXiv:2609.18067 (cross-list from math.DG) [pdf, html, other]
Generalized Einstein Laurent polynomials, Toric Kähler-Einstein Rigidity, and Finite Exponential Families
Shaosai Huang
Subjects: Differential Geometry (math.DG); Complex Variables (math.CV); Statistics Theory (math.ST)
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)
[7] arXiv:2609.18067 (cross-list from math.DG) [pdf, html, other]
Generalized Einstein Laurent polynomials, Toric Kähler-Einstein Rigidity, and Finite Exponential Families
Shaosai Huang
Subjects: Differential Geometry (math.DG); Complex Variables (math.CV); Statistics Theory (math.ST)
684132人目の素数さん
2026/09/17(木) 18:45:31.61ID:DRmnnqk9 [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)
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)
685132人目の素数さん
2026/09/17(木) 18:46:37.16ID:00atQ2KQ >>672
>数学には 便利な言葉 ”非自明な”があるよ
あるなら使えよ あるのに使えない君が馬鹿なだけ
>つまり 非自明グロタンディーク宇宙Uは 到達不能基数が存在する宇宙であり
大嘘。
κ∉Vκ=U。
>数学には 便利な言葉 ”非自明な”があるよ
あるなら使えよ あるのに使えない君が馬鹿なだけ
>つまり 非自明グロタンディーク宇宙Uは 到達不能基数が存在する宇宙であり
大嘘。
κ∉Vκ=U。
686132人目の素数さん
2026/09/17(木) 18:47:39.27ID:DRmnnqk9 [15] arXiv:2609.15911 [pdf, html, other]
The Cesaro operator is cyclic on Hp
Anil Belli, Ugur Gul, William T. Ross, Aristomenis G. Siskakis
Comments: 6 pages
Subjects: Complex Variables (math.CV)
[16] arXiv:2609.15805 [pdf, html, other]
Shannon Integrals and Applications to Reimann-Hilbert Problems
Yavar Abdolmaleki, Dan Kucerovsky
Subjects: Complex Variables (math.CV)
[17] arXiv:2609.15698 [pdf, html, other]
Sharp degree bound for rational proper maps from B2 to B4
Tianzhi Hu, Mai Shi, Pingsan Yuan
Comments: 42 pages, comments are welcome
Subjects: Complex Variables (math.CV); Algebraic Geometry (math.AG); Differential Geometry (math.DG)
[18] arXiv:2609.15599 [pdf, html, other]
On the uniform flatness of polynomial graphs
Xieping Wang, Li Zhang
Comments: 9 pages; completed in July 2025; published in BLMS in March 2026
Subjects: Complex Variables (math.CV)
[19] arXiv:2609.15582 [pdf, html, other]
On questions posed by Gundersen and Yang concerning a certain binomial differential equation
Xuxu Xiang, Jianren Long
Subjects: Complex Variables (math.CV)
The Cesaro operator is cyclic on Hp
Anil Belli, Ugur Gul, William T. Ross, Aristomenis G. Siskakis
Comments: 6 pages
Subjects: Complex Variables (math.CV)
[16] arXiv:2609.15805 [pdf, html, other]
Shannon Integrals and Applications to Reimann-Hilbert Problems
Yavar Abdolmaleki, Dan Kucerovsky
Subjects: Complex Variables (math.CV)
[17] arXiv:2609.15698 [pdf, html, other]
Sharp degree bound for rational proper maps from B2 to B4
Tianzhi Hu, Mai Shi, Pingsan Yuan
Comments: 42 pages, comments are welcome
Subjects: Complex Variables (math.CV); Algebraic Geometry (math.AG); Differential Geometry (math.DG)
[18] arXiv:2609.15599 [pdf, html, other]
On the uniform flatness of polynomial graphs
Xieping Wang, Li Zhang
Comments: 9 pages; completed in July 2025; published in BLMS in March 2026
Subjects: Complex Variables (math.CV)
[19] arXiv:2609.15582 [pdf, html, other]
On questions posed by Gundersen and Yang concerning a certain binomial differential equation
Xuxu Xiang, Jianren Long
Subjects: Complex Variables (math.CV)
687132人目の素数さん
2026/09/17(木) 18:49:45.38ID:00atQ2KQ688132人目の素数さん
2026/09/17(木) 18:54:01.55ID:Pl29pfSO はらたいらさんに3000票
689132人目の素数さん
2026/09/17(木) 18:54:29.10ID:Pl29pfSO 全く世代ではないおにぃなのであったw
690132人目の素数さん
2026/09/17(木) 19:54:14.73ID:00atQ2KQ 嘘デタラメを大量に吐き散らかすサルにも困ったものだ
なんで数学板にいるんだろう 嘲笑されるだけなのに
なんで数学板にいるんだろう 嘲笑されるだけなのに
691132人目の素数さん
2026/09/17(木) 19:55:54.78ID:00atQ2KQ ワンチャン数学を理解できると思ってるんだろうか
可能性ゼロ 連想ゲームとめくらコピペしかしないサルに数学が分かるはずが無い
可能性ゼロ 連想ゲームとめくらコピペしかしないサルに数学が分かるはずが無い
692132人目の素数さん
2026/09/17(木) 19:56:52.54ID:00atQ2KQ まずは妄想癖と脊椎反射癖を治さないと数学どころではない
693132人目の素数さん
2026/09/17(木) 20:47:10.88ID:IQGfpquH 「現代数学の系譜 雑談 ◆yH25M02vWFhP」が理解できそうなこと
三角関数に周期があり
d(sinΘ)/dΘ=cosΘ
d(cosΘ)/dΘ=-sinΘ
の場合、周期は2πとなること
三角関数に周期があり
d(sinΘ)/dΘ=cosΘ
d(cosΘ)/dΘ=-sinΘ
の場合、周期は2πとなること
694現代数学の系譜 雑談 ◆yH25M02vWFhP
2026/09/17(木) 20:52:05.64ID:4BQwkV3n >>681
>>>671
>完全性って言葉を連発してるけど、それぞれどういう意味?
>君、読んで理解したからコピペしたんだよね? 説明してみて
答える前に
ちょっと説明しておくが 私は
1)大体は 主張の根拠文典をURLとともに つけている
2)主張に係る部分は、URLより前に抜粋を添付して強調している
3)強調部分以外も 補強で引用している。引用は 著者と投稿時期などをつけている(通常論文と同様の作法)
4)強調部分以外は 流し読みのときもある。というか、真意は基本著者に直接聞け。私の回答はあくまで私の解釈だ
その上で
(付禄)
Vの存在状態
クラスVは数学の大部分の領域であると考えられるため、それが何らかの意味で「存在する」ことを立証することが重要です。存在は難しい概念であるため、通常は存在の問題を無矛盾性の問題、つまり概念に矛盾がないかどうかの問題に置き換えます。大きな障害となるのはゲーデルの不完全性定理であり、これはZF集合論自体が実際に無矛盾であるならば、ZF集合論自体の中でZF集合論の無矛盾性を証明することは不能であることを事実上意味します。[ 12 ]
フォン・ノイマン宇宙の完全性は、構成におけるランクパラメータとして機能する順序数の完全性と、順序数とフォン・ノイマン宇宙の両方が構築される超限帰納法の完全性に根本的に依存している。順序数構成の完全性は、フォン・ノイマンの1923年と1928年の論文に基づいていると言える。[ 13 ]超限帰納法によるVの構成の完全性は、その後、ツェルメロの1930年の論文で確立されたと言える。[ 5 ]
(引用終り)
ここな
・フォン・ノイマン宇宙の完全性は、多分 下記ゲーデルの完全性定理の意味だろう
・順序数の完全性は、想像だが カントールの順序数を その公理系からすべて導出可能ということだろう
・超限帰納法の完全性も、超限帰納法を使って 必要な定理が すべて導出可能ということだろう
なお、ゲーデルの不完全性定理の「完全」と、完全性定理の「完全」とは、意味が微妙に異なるとよく注意されることを指摘しておく
(参考)
https://ja.wikipedia.org/wiki/%E3%82%B2%E3%83%BC%E3%83%87%E3%83%AB%E3%81%AE%E5%AE%8C%E5%85%A8%E6%80%A7%E5%AE%9A%E7%90%86
ゲーデルの完全性定理(英: Gödel's completeness theorem、独: Gödelscher Vollständigkeitssatz)とは、一階述語論理の恒真な論理式はその公理系からすべて導出可能であることを示した定理を言う[1]。1929年にクルト・ゲーデルが証明した。
>>>671
>完全性って言葉を連発してるけど、それぞれどういう意味?
>君、読んで理解したからコピペしたんだよね? 説明してみて
答える前に
ちょっと説明しておくが 私は
1)大体は 主張の根拠文典をURLとともに つけている
2)主張に係る部分は、URLより前に抜粋を添付して強調している
3)強調部分以外も 補強で引用している。引用は 著者と投稿時期などをつけている(通常論文と同様の作法)
4)強調部分以外は 流し読みのときもある。というか、真意は基本著者に直接聞け。私の回答はあくまで私の解釈だ
その上で
(付禄)
Vの存在状態
クラスVは数学の大部分の領域であると考えられるため、それが何らかの意味で「存在する」ことを立証することが重要です。存在は難しい概念であるため、通常は存在の問題を無矛盾性の問題、つまり概念に矛盾がないかどうかの問題に置き換えます。大きな障害となるのはゲーデルの不完全性定理であり、これはZF集合論自体が実際に無矛盾であるならば、ZF集合論自体の中でZF集合論の無矛盾性を証明することは不能であることを事実上意味します。[ 12 ]
フォン・ノイマン宇宙の完全性は、構成におけるランクパラメータとして機能する順序数の完全性と、順序数とフォン・ノイマン宇宙の両方が構築される超限帰納法の完全性に根本的に依存している。順序数構成の完全性は、フォン・ノイマンの1923年と1928年の論文に基づいていると言える。[ 13 ]超限帰納法によるVの構成の完全性は、その後、ツェルメロの1930年の論文で確立されたと言える。[ 5 ]
(引用終り)
ここな
・フォン・ノイマン宇宙の完全性は、多分 下記ゲーデルの完全性定理の意味だろう
・順序数の完全性は、想像だが カントールの順序数を その公理系からすべて導出可能ということだろう
・超限帰納法の完全性も、超限帰納法を使って 必要な定理が すべて導出可能ということだろう
なお、ゲーデルの不完全性定理の「完全」と、完全性定理の「完全」とは、意味が微妙に異なるとよく注意されることを指摘しておく
(参考)
https://ja.wikipedia.org/wiki/%E3%82%B2%E3%83%BC%E3%83%87%E3%83%AB%E3%81%AE%E5%AE%8C%E5%85%A8%E6%80%A7%E5%AE%9A%E7%90%86
ゲーデルの完全性定理(英: Gödel's completeness theorem、独: Gödelscher Vollständigkeitssatz)とは、一階述語論理の恒真な論理式はその公理系からすべて導出可能であることを示した定理を言う[1]。1929年にクルト・ゲーデルが証明した。
695132人目の素数さん
2026/09/17(木) 21:31:37.02ID:D5Z+zs9x696132人目の素数さん
2026/09/17(木) 21:35:29.51ID:D5Z+zs9x697132人目の素数さん
2026/09/17(木) 21:35:46.23ID:D5Z+zs9x >>690
ホントに
ホントに
698132人目の素数さん
2026/09/17(木) 21:37:53.15ID:Pl29pfSO699132人目の素数さん
2026/09/17(木) 21:38:34.84ID:Pl29pfSO 俺のスレは荒らされているw
700132人目の素数さん
2026/09/17(木) 21:43:37.72ID:D5Z+zs9x701132人目の素数さん
2026/09/17(木) 21:44:11.61ID:D5Z+zs9x702132人目の素数さん
2026/09/17(木) 21:46:38.60ID:Pl29pfSO >701
俺が立てたスレと俺が所有するスレをいちいち区別せんでエエから。
めんどい。
俺が立てたスレと俺が所有するスレをいちいち区別せんでエエから。
めんどい。
703132人目の素数さん
2026/09/17(木) 22:42:46.08ID:D5Z+zs9x >>702
所有はない
所有はない
704132人目の素数さん
2026/09/17(木) 22:44:15.59ID:Pl29pfSO >>703
はいはい、聞き飽きてんのよw
はいはい、聞き飽きてんのよw
705132人目の素数さん
2026/09/17(木) 23:24:10.73ID:mdXYeojK Chern-Ricci flow on Kato surfaces
Daniele Angella, Mauricio Corrêa
Daniele Angella, Mauricio Corrêa
706現代数学の系譜 雑談 ◆yH25M02vWFhP
2026/09/17(木) 23:30:42.63ID:4BQwkV3n >>685
(引用開始)
>数学には 便利な言葉 ”非自明な”があるよ
あるなら使えよ あるのに使えない君が馬鹿なだけ
>つまり 非自明グロタンディーク宇宙Uは 到達不能基数が存在する宇宙であり
大嘘。
κ∉Vκ=U。
(引用終り)
ふっふ、ほっほ
群論の教科書で >>672 (群Gの正規部分群で、自明な正規部分群では G自分自身と 単位元eのみの{e}があるが如し)
と書いたろ? でな 教科書の文中で 正規部分群という用語を 数百回使っているとして
そのときに 冒頭なりで 「今後 断りがなければ 用語 正規部分群を 非自明な場合に限ることとする」
と断ることは あり得る
というか
「今後 断りがなければ 用語 正規部分群を 非自明な場合に限ることとする」
は、教科書の作法でもあり 初心者向けの注意でもある(いろんな人が読むからね)
さて、日常の数学会話においては
「今後 断りがなければ 用語 正規部分群を 非自明な場合に限ることとする」
と断りを入れる人はすくない(断ってもかまわないが)
が プロ同士なら 使われている状況でわかり合えるさ
初心者は別だがw (^^
>>つまり 非自明グロタンディーク宇宙Uは 到達不能基数が存在する宇宙であり
>大嘘。
>κ∉Vκ=U。
それは些末な話だ。つまり
1)上記の基数が、いま下記ノイマンの基数割当によるとする
そして ZFCにおいては 無限基数があるとは その無限基数に対応する無限集合が存在するということ
無限基数の累積階層で ある無限基数は それより下位の基数を全て含むということを思い出そう
(蛇足:下記 Neumann のOrdinal number(順序数)は それまでに出来た順序数を集めたもの。基数は 順序数の性質を受け継ぐ)
2)到達不能基数も ZFC内の ノイマンの基数割当によるとすれば 自然にそれより下位の基数を全て含むとできる
即ち ZFC内の超限の累積的階層の上に κが存在するとして それ以下の(無限)基数や順序数をすべて含むと解せられる
繰り返すが 到達不能基数κは 通常のZFCの基数のさらに上 通常のZFC内の全基数と順序数を含む(到達不能 ゆえ)
(言い換えれば、そういう到達不能基数κを考えるということ)
まとめると、到達不能基数κは 対応する無限集合の存在と捉えることができて そこには 通常のZFC内の全基数と順序数を含む■
グロタンディーク宇宙Uを 到達不能基数を含む集合論中にどう命名し定義するか?
それは 名前だけの問題であって それは成書に従えば良い
独自に定義したければ それでも良い(受け入れられるかどうかは知らずw)
以上
つづく
(引用開始)
>数学には 便利な言葉 ”非自明な”があるよ
あるなら使えよ あるのに使えない君が馬鹿なだけ
>つまり 非自明グロタンディーク宇宙Uは 到達不能基数が存在する宇宙であり
大嘘。
κ∉Vκ=U。
(引用終り)
ふっふ、ほっほ
群論の教科書で >>672 (群Gの正規部分群で、自明な正規部分群では G自分自身と 単位元eのみの{e}があるが如し)
と書いたろ? でな 教科書の文中で 正規部分群という用語を 数百回使っているとして
そのときに 冒頭なりで 「今後 断りがなければ 用語 正規部分群を 非自明な場合に限ることとする」
と断ることは あり得る
というか
「今後 断りがなければ 用語 正規部分群を 非自明な場合に限ることとする」
は、教科書の作法でもあり 初心者向けの注意でもある(いろんな人が読むからね)
さて、日常の数学会話においては
「今後 断りがなければ 用語 正規部分群を 非自明な場合に限ることとする」
と断りを入れる人はすくない(断ってもかまわないが)
が プロ同士なら 使われている状況でわかり合えるさ
初心者は別だがw (^^
>>つまり 非自明グロタンディーク宇宙Uは 到達不能基数が存在する宇宙であり
>大嘘。
>κ∉Vκ=U。
それは些末な話だ。つまり
1)上記の基数が、いま下記ノイマンの基数割当によるとする
そして ZFCにおいては 無限基数があるとは その無限基数に対応する無限集合が存在するということ
無限基数の累積階層で ある無限基数は それより下位の基数を全て含むということを思い出そう
(蛇足:下記 Neumann のOrdinal number(順序数)は それまでに出来た順序数を集めたもの。基数は 順序数の性質を受け継ぐ)
2)到達不能基数も ZFC内の ノイマンの基数割当によるとすれば 自然にそれより下位の基数を全て含むとできる
即ち ZFC内の超限の累積的階層の上に κが存在するとして それ以下の(無限)基数や順序数をすべて含むと解せられる
繰り返すが 到達不能基数κは 通常のZFCの基数のさらに上 通常のZFC内の全基数と順序数を含む(到達不能 ゆえ)
(言い換えれば、そういう到達不能基数κを考えるということ)
まとめると、到達不能基数κは 対応する無限集合の存在と捉えることができて そこには 通常のZFC内の全基数と順序数を含む■
グロタンディーク宇宙Uを 到達不能基数を含む集合論中にどう命名し定義するか?
それは 名前だけの問題であって それは成書に従えば良い
独自に定義したければ それでも良い(受け入れられるかどうかは知らずw)
以上
つづく
707現代数学の系譜 雑談 ◆yH25M02vWFhP
2026/09/17(木) 23:31:04.68ID:4BQwkV3n つづき
(参考)
https://en.wikipedia.org/wiki/Ordinal_number#Von_Neumann_definition_of_ordinals
Ordinal number (順序数)
Von Neumann definition of ordinals
Thus the finite von Neumann ordinals are defined recursively as
0=∅ and n+1=n∪{n}.
the set of von Neumann natural numbers
N={0,1,2,…}. Then ω+1={0,1,2,…,ω}=N∪{ω}, and so on.
https://ja.wikipedia.org/wiki/%E5%9F%BA%E6%95%B0
基数(cardinal number または cardinal)とは、集合の濃度(cardinality、大きさ、サイズ)を測るために定義された自然数の一般化である。
定義
基数の厳密な定義
(カントールによって暗に、フレーゲやプリンキピア・マテマティカにおいて明確に示されていた)基数の最も古い定義は、集合全体からなるクラスを濃度による同値関係で割ったときの同値類としての定義である。つまり X の濃度 | X | は X と一対一対応であるすべての集合からなるクラスとして定義される。これは、ZFCや関連する集合論の公理系ではうまく機能しない。実際、 X を空でない集合としたとき、集合 S に {S}×X を対応させる写像を考えることによって、宇宙から | X | への単射が存在し、サイズの限界 (en:Limitation of size) より、| X | は真のクラスである。
フォン・ノイマンの割り当て
任意の順序数 β に対し β < α ⇒ | β | < | α | を満たす順序数 α を始順序数 (initial ordinal) という[注釈 1]。このとき整列可能な集合 X に対して min{α∈ON :| α | = | X | } を濃度 | X | の始順序数という(ただし ON は順序数全体からなるクラス)。 整列可能な集合の濃度をその始順序数として定義することをフォン・ノイマンの割り当てという。
このとき、順序数αに対して濃度| α |の始順序数がα自身であるならば、αは基数であるという。また、濃度が| α |に等しい集合Xについて、Xの基数はαであると言い、| X |=αと書く。
(引用終り)
以上
(参考)
https://en.wikipedia.org/wiki/Ordinal_number#Von_Neumann_definition_of_ordinals
Ordinal number (順序数)
Von Neumann definition of ordinals
Thus the finite von Neumann ordinals are defined recursively as
0=∅ and n+1=n∪{n}.
the set of von Neumann natural numbers
N={0,1,2,…}. Then ω+1={0,1,2,…,ω}=N∪{ω}, and so on.
https://ja.wikipedia.org/wiki/%E5%9F%BA%E6%95%B0
基数(cardinal number または cardinal)とは、集合の濃度(cardinality、大きさ、サイズ)を測るために定義された自然数の一般化である。
定義
基数の厳密な定義
(カントールによって暗に、フレーゲやプリンキピア・マテマティカにおいて明確に示されていた)基数の最も古い定義は、集合全体からなるクラスを濃度による同値関係で割ったときの同値類としての定義である。つまり X の濃度 | X | は X と一対一対応であるすべての集合からなるクラスとして定義される。これは、ZFCや関連する集合論の公理系ではうまく機能しない。実際、 X を空でない集合としたとき、集合 S に {S}×X を対応させる写像を考えることによって、宇宙から | X | への単射が存在し、サイズの限界 (en:Limitation of size) より、| X | は真のクラスである。
フォン・ノイマンの割り当て
任意の順序数 β に対し β < α ⇒ | β | < | α | を満たす順序数 α を始順序数 (initial ordinal) という[注釈 1]。このとき整列可能な集合 X に対して min{α∈ON :| α | = | X | } を濃度 | X | の始順序数という(ただし ON は順序数全体からなるクラス)。 整列可能な集合の濃度をその始順序数として定義することをフォン・ノイマンの割り当てという。
このとき、順序数αに対して濃度| α |の始順序数がα自身であるならば、αは基数であるという。また、濃度が| α |に等しい集合Xについて、Xの基数はαであると言い、| X |=αと書く。
(引用終り)
以上
708132人目の素数さん
2026/09/17(木) 23:34:15.15ID:D5Z+zs9x709132人目の素数さん
2026/09/17(木) 23:34:52.87ID:D5Z+zs9x710132人目の素数さん
2026/09/17(木) 23:35:30.04ID:D5Z+zs9x (嘘しか言えない彼の人は実に有害だね)
711132人目の素数さん
2026/09/17(木) 23:41:10.88ID:Pl29pfSO >>709
多分俺には怒っていない、多分w
多分俺には怒っていない、多分w
712132人目の素数さん
2026/09/17(木) 23:44:28.05ID:D5Z+zs9x713132人目の素数さん
2026/09/17(木) 23:48:10.72ID:Pl29pfSO714132人目の素数さん
2026/09/18(金) 00:11:11.16ID:hATb5yTY >>694
>・フォン・ノイマン宇宙の完全性は、多分 下記ゲーデルの完全性定理の意味だろう
君、ゲーデルの完全性定理の意味知ってるの? また連想ゲーム? 意味が通らない。
>・順序数の完全性は、想像だが カントールの順序数を その公理系からすべて導出可能ということだろう
トンチンカン。意味が通らない。
>・超限帰納法の完全性も、超限帰納法を使って 必要な定理が すべて導出可能ということだろう
トンチンカン。意味が通らない。
>なお、ゲーデルの不完全性定理の「完全」と、完全性定理の「完全」とは、意味が微妙に異なるとよく注意されることを指摘しておく
微妙じゃなくぜんぜん違う。ごまかそうとしても無駄。
完全性定理の完全性とは、任意の理論の任意のモデルで充足される文は証明可能であること、つまり論理の推論系の完全性(が十分であること)を言っている。
不完全性定理の完全性とは、初等数論を含む無矛盾な理論から証明も反証も不可能な文Gが存在すること、つまり理論の完全性(が不十分であること)を言っている。完全性定理と合わせて考えるとその理論のモデルにはGを充足するものとそうでないものいずれもが存在することになる。
>・フォン・ノイマン宇宙の完全性は、多分 下記ゲーデルの完全性定理の意味だろう
君、ゲーデルの完全性定理の意味知ってるの? また連想ゲーム? 意味が通らない。
>・順序数の完全性は、想像だが カントールの順序数を その公理系からすべて導出可能ということだろう
トンチンカン。意味が通らない。
>・超限帰納法の完全性も、超限帰納法を使って 必要な定理が すべて導出可能ということだろう
トンチンカン。意味が通らない。
>なお、ゲーデルの不完全性定理の「完全」と、完全性定理の「完全」とは、意味が微妙に異なるとよく注意されることを指摘しておく
微妙じゃなくぜんぜん違う。ごまかそうとしても無駄。
完全性定理の完全性とは、任意の理論の任意のモデルで充足される文は証明可能であること、つまり論理の推論系の完全性(が十分であること)を言っている。
不完全性定理の完全性とは、初等数論を含む無矛盾な理論から証明も反証も不可能な文Gが存在すること、つまり理論の完全性(が不十分であること)を言っている。完全性定理と合わせて考えるとその理論のモデルにはGを充足するものとそうでないものいずれもが存在することになる。
715132人目の素数さん
2026/09/18(金) 00:39:38.37ID:hATb5yTY >完全性定理の完全性とは、任意の理論の任意のモデルで充足される文は証明可能であること、つまり論理の推論系の完全性(が十分であること)を言っている。
完全性定理として紹介されることが多い定理「一階述語論理は完全である」は、実はより本質的な定理「無矛盾な理論はモデルを持つ。」の系。
完全性定理として紹介されることが多い定理「一階述語論理は完全である」は、実はより本質的な定理「無矛盾な理論はモデルを持つ。」の系。
716132人目の素数さん
2026/09/18(金) 00:49:27.91ID:hATb5yTY >実はより本質的な定理「無矛盾な理論はモデルを持つ。」の系。
この定理の証明にリンデンバウムの補助定理が用いられる
https://scrapbox.io/mrsekut-p/%E3%83%AA%E3%83%B3%E3%83%87%E3%83%B3%E3%83%90%E3%82%A6%E3%83%A0%E3%81%AE%E8%A3%9C%E5%8A%A9%E5%AE%9A%E7%90%86
リンデンバウムの補助定理はBPI(ブール代数における素イデアルの存在定理)や超フィルタ補題と同値。
この定理の証明にリンデンバウムの補助定理が用いられる
https://scrapbox.io/mrsekut-p/%E3%83%AA%E3%83%B3%E3%83%87%E3%83%B3%E3%83%90%E3%82%A6%E3%83%A0%E3%81%AE%E8%A3%9C%E5%8A%A9%E5%AE%9A%E7%90%86
リンデンバウムの補助定理はBPI(ブール代数における素イデアルの存在定理)や超フィルタ補題と同値。
717132人目の素数さん
2026/09/18(金) 01:15:56.43ID:hATb5yTY >>706
>それは些末な話だ
自分の間違いは些末であることにしちゃうんだねw
基数は順序数。任意の順序数が自分未満の順序数すべてを持つことは定義から自明。自明な話を自慢げに延々と語るのはよいが、だから何だと言いたいの? そこが肝心なのに君のレスにはそれがすっぽり抜け落ちている。
>到達不能基数κは 対応する無限集合の存在と捉えることができて そこには 通常のZFC内の全基数と順序数を含む
対応する集合とは具体的には何?
ZFC内の基数と順序数ってなに? 「ZFC内の」ってどういう意味?
>グロタンディーク宇宙Uを 到達不能基数を含む集合論中にどう命名し定義するか?
>それは 名前だけの問題であって それは成書に従えば良い
>独自に定義したければ それでも良い(受け入れられるかどうかは知らずw)
はぁ? 君、何も分かってないんだね 口閉じれば?
>それは些末な話だ
自分の間違いは些末であることにしちゃうんだねw
基数は順序数。任意の順序数が自分未満の順序数すべてを持つことは定義から自明。自明な話を自慢げに延々と語るのはよいが、だから何だと言いたいの? そこが肝心なのに君のレスにはそれがすっぽり抜け落ちている。
>到達不能基数κは 対応する無限集合の存在と捉えることができて そこには 通常のZFC内の全基数と順序数を含む
対応する集合とは具体的には何?
ZFC内の基数と順序数ってなに? 「ZFC内の」ってどういう意味?
>グロタンディーク宇宙Uを 到達不能基数を含む集合論中にどう命名し定義するか?
>それは 名前だけの問題であって それは成書に従えば良い
>独自に定義したければ それでも良い(受け入れられるかどうかは知らずw)
はぁ? 君、何も分かってないんだね 口閉じれば?
718132人目の素数さん
2026/09/18(金) 01:17:37.44ID:hATb5yTY >>707
また無駄コピペか 懲りないね
また無駄コピペか 懲りないね
719132人目の素数さん
2026/09/18(金) 07:32:41.79ID:s1M0a80e >>706
>(群Gの正規部分群で、
>自明な正規部分群では
>G自分自身と
>単位元eのみの{e}があるが如し)
昔、ある高卒🐒が、正規部分群の定義中の
「G の任意の元 g に対して gNg−1 = N が成り立つ」
の=を”同型”と解釈する初歩的誤りを犯した
実際は”集合として同じ”の意味
素直に解釈すべきところをひねって誤った
この誤りが致命的なのは
全ての部分群Hで、 gHg−1 が H と同型だから
つまり、正規とつけて区別した意味がなくなる
こんな初歩的誤りを平然と犯し
しかも他人にいわれるまで気づかない
そんな人間にとって、大学の数学は
理解不能という意味で無縁
>(群Gの正規部分群で、
>自明な正規部分群では
>G自分自身と
>単位元eのみの{e}があるが如し)
昔、ある高卒🐒が、正規部分群の定義中の
「G の任意の元 g に対して gNg−1 = N が成り立つ」
の=を”同型”と解釈する初歩的誤りを犯した
実際は”集合として同じ”の意味
素直に解釈すべきところをひねって誤った
この誤りが致命的なのは
全ての部分群Hで、 gHg−1 が H と同型だから
つまり、正規とつけて区別した意味がなくなる
こんな初歩的誤りを平然と犯し
しかも他人にいわれるまで気づかない
そんな人間にとって、大学の数学は
理解不能という意味で無縁
720132人目の素数さん
2026/09/18(金) 07:37:51.24ID:s1M0a80e なぜ、高卒🐒が宇宙に固執してるのか知らんが
要するに
「順序数の中に強到達不可能基数があるかないかで
φとVω以外のグロタンディク宇宙があるかないかが決まる」
というだけの話である
しかもこれはLとかVとかに、強到達不可能基数があるかどうかと無関係
Vは集合全体の固有クラスであり
Lは構成可能集合全体の固有クラスである
その中に強到達不可能基数があるかどうかは決定不能問題
物事を理屈として理解せず知識として暗記するだけの素人🐎🦌には決してわかるまいが
要するに
「順序数の中に強到達不可能基数があるかないかで
φとVω以外のグロタンディク宇宙があるかないかが決まる」
というだけの話である
しかもこれはLとかVとかに、強到達不可能基数があるかどうかと無関係
Vは集合全体の固有クラスであり
Lは構成可能集合全体の固有クラスである
その中に強到達不可能基数があるかどうかは決定不能問題
物事を理屈として理解せず知識として暗記するだけの素人🐎🦌には決してわかるまいが
721132人目の素数さん
2026/09/18(金) 07:46:27.16ID:s1M0a80e 念仏を唱えるのは、唱えることでいつか理解できるから、ではない
むしろ、
知識を持つこと自体が救いの条件ではなく
知識をいかほど持ってもどうにもならないことがある
と喜づくためである
素人🐒はコピペすればするほど悟りから遠ざかる
他人の上に立つことの無意味さを悟るべし
南無阿弥陀仏
むしろ、
知識を持つこと自体が救いの条件ではなく
知識をいかほど持ってもどうにもならないことがある
と喜づくためである
素人🐒はコピペすればするほど悟りから遠ざかる
他人の上に立つことの無意味さを悟るべし
南無阿弥陀仏
722現代数学の系譜 雑談 ◆yH25M02vWFhP
2026/09/18(金) 08:33:28.48ID:Q77xCrJO >>714-721
>>到達不能基数κは 対応する無限集合の存在と捉えることができて そこには 通常のZFC内の全基数と順序数を含む
>ZFC内の基数と順序数ってなに? 「ZFC内の」ってどういう意味?
ふっふ、ほっほ
ゴミレス一杯書いたね
これだけ
意図して
通常のZFC内
↓
「ZFC内の」
と改ざんしたか?w
通常のZFCとは、スッピンのZFC
コンピューター用語では、”デフォルト”と言ったり デファクトスタンダード と言ったりする
学部1年の集合論テキストでの ZFCが 通常のZFCで
「通常のZFC内の全基数と順序数」は
学部1年の集合論で論じられる 基数と順序数な
あとは、
三歳児レベルのばかサル>>96には 説明しても理解できまいw(^^
>>到達不能基数κは 対応する無限集合の存在と捉えることができて そこには 通常のZFC内の全基数と順序数を含む
>ZFC内の基数と順序数ってなに? 「ZFC内の」ってどういう意味?
ふっふ、ほっほ
ゴミレス一杯書いたね
これだけ
意図して
通常のZFC内
↓
「ZFC内の」
と改ざんしたか?w
通常のZFCとは、スッピンのZFC
コンピューター用語では、”デフォルト”と言ったり デファクトスタンダード と言ったりする
学部1年の集合論テキストでの ZFCが 通常のZFCで
「通常のZFC内の全基数と順序数」は
学部1年の集合論で論じられる 基数と順序数な
あとは、
三歳児レベルのばかサル>>96には 説明しても理解できまいw(^^
レスを投稿する
ニュース
- 鈴木憲和農相が退任「本当にありがとうございました」 [安倍聖帝★]
- 【国内スマホ市場】Android端末が54%に伸長 値上げでiPhone離れか ★4 [蚤の市★]
- 著名な米エコノミスト、日本は1.5-2%へ利上げ必要 「長期的には1ドル=130円台や120円台の水準に」 [お断り★]
- 「今まで何だったん」堀大輔氏 配信終了後に「ショートスリーパー」表記を削除→「睡眠時間は自由」に変更でネット騒然 ★3 [Ailuropoda melanoleuca★]
- 「ライバル」封じ図った高市首相 「反高市」結集へ勝負かけた林氏 [蚤の市★]
- 【NTV】日テレ名物クイズが一挙復活 『マジカル頭脳パワー!!』『謎解きバトルTORE!』『クイズ世界はSHOW by ショーバイ!!』など [征夷大将軍★]
- トランプの純資産、1兆円を突破 当選後に急増 [419054184]
- 【悲報】名古屋で開催された世界大会、飯がまずすぎて世界で炎上wwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww [398059782]
- 【有事】愛国者「日本と中国が衝突した場合、必ず中国が負ける。米軍が日本に加勢するからだ!」 [354616885]
- 日本人、980円の本まぐろ寿司に号泣「どうしてこうなっちゃったんだ俺ら…」 [667744927]
- え、まって。住民税を支払ってるのにゴミを捨てたければ追加課金って、なんでみんな普通に受け入れてるの😰 [153736977]
- 【高市早苗】消費者物価指数、8カ月連続2%下回る [583597859]