Inter-universal geometry と ABC予想 (応援スレ) 73

Inter-universal geometry と ABC予想 (応援スレ) 73 (789ﾚｽ)
上下前次 1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

1: １３２人目の素数さん [] 2025/07/20(日) 17:27:32.00 ID:JxJPBISF

（前“応援”スレが、1000又は1000近くになったので、新スレ立てる）
前スレ：Inter-universal geometry と ABC予想 (応援スレ) 72
https://rio2016.5ch.net/test/read.cgi/math/1721915133/
詳しいテンプレは、下記旧スレへのリンク先ご参照
Inter-universal geometry と ABC予想 (応援スレ) 52
://rio2016.5ch.net/test/read.cgi/math/1613784152/1-13
＜IUT最新文書＞
https://www.kurims.kyoto-u.ac.jp/~motizuki/
望月新一＠数理研
https://ja.wikipedia.org/wiki/%E5%AE%87%E5%AE%99%E9%9A%9B%E3%82%BF%E3%82%A4%E3%83%92%E3%83%9F%E3%83%A5%E3%83%A9%E3%83%BC%E7%90%86%E8%AB%96
宇宙際タイヒミュラー理論
＜新展開＞
・2025年5月、中国の若手数学者の周中鵬はフェルマーの最終定理の一般化がIUT理論から得られると発表した https://ja.wikipedia.org/wiki/%E5%AE%87%E5%AE%99%E9%9A%9B%E3%82%BF%E3%82%A4%E3%83%92%E3%83%9F%E3%83%A5%E3%83%A9%E3%83%BC%E7%90%86%E8%AB%96
・日仏遠アーベル共同研究 Arithmetic & Homotopic Galois Theory IRN https://ahgt.math.cnrs.fr/activities/
://www.sankei.com/article/20240402-WNUUSYIAO5PRVNCBQSEEUETGMU/
産経 2024/4/2
宇宙際タイヒミューラー理論を提唱、望月新一氏らに賞金１０万ドル
同理論の発展に重要な貢献を果たした論文の執筆者に贈られる「ＩＵＴｉｎｎｏｖａｔｏｒ賞」の最初の受賞者として望月氏ら５人が選ばれ

://www3.nhk.or.jp/news/html/20230707/k10014121791000.html
NHK 数学「ABC予想」新たな証明理論の研究発展させる論文に賞創設 20230707
研究を発展させる論文を対象に、100万ドルの賞金を贈呈する賞が国内のIT企業の創業者によって創設されることになりました
▽新たな発展を含む論文を毎年選び、最大で賞金10万ドル
▽理論の本質的な欠陥を示す論文を発表した最初の執筆者に対しては100万ドル

://ahgt.math.cnrs.fr/activities/
Anabelian Geometry and Representations of Fundamental Groups. Oberwolfach workshop  MFO-RIMS   Sep. 29-Oct. 4, 2024
Org.: A. Cadoret, F. Pop, J. Stix, A.. Topaz
（J. Stixさん、IUT支持側へ）

://collas.perso.math.cnrs.fr/documents/Collas-Anabelian%20Arithmetic%20Geometry-IUT.pdf
“ANABELIAN ARITHMETIC GEOMETRY - A NEW GEOMETRY OF FORMS AND NUMBERS: Inter-universal Teichmüller theory or “beyond Grothendieck’s vision” Benjamin Collas Version 11/15/2023”

このスレは、IUT応援スレとします。番号は前スレ43を継いでNo.44からの連番としています。
（なお、このスレは本体IUTスレの43からの分裂スレですが、実は 分裂したNo43スレの中では このスレ立ては最初だったのです！
つづく

http://rio2016.5ch.net/test/read.cgi/math/1753000052/1

774: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/08/18(月) 17:55:26.23 ID:UkND8yRN

>>765
>お前人間として必要な機能が完全に壊れてるわ

ヒキコモリの基礎論くんに マジレスするのも
大人げないが まあ 日本では 言論の自由は 君にもあり ですからｗ ；ｐ）

>>763
>仮に無限項の和だとしたら、ある項から先がすべて０であるような特殊な無限級数以外、どこまで足しても値が確定しないのに、どうやって計算すんだよｗ

妄想出まくりじゃんｗ
君みたいな チンケな考えは リーマンはしていなかったんじゃね？ｗ
というのは、下記のリーマンゼータ関数は
ζ(s):=?n=1〜∞ 1/n^s = 1+1/2^s+1/3^s+1/4^s+⋯
で、リーマンは きっと 無限項の和 だと 素直に考えていたんじゃないかね？ｗｗ ；ｐ）
下記の リーマンゼータ関数 を 百回音読してねｗ

なお、君のいう 無限級数で収束を考えることと 無限級数が無限項の和であることは 矛盾しない
というか、もし 有限項の和であるならば 収束とか 問題にならないよｗｗ

(参考)
https://ja.wikipedia.org/wiki/%E3%83%AA%E3%83%BC%E3%83%9E%E3%83%B3%E3%82%BC%E3%83%BC%E3%82%BF%E9%96%A2%E6%95%B0
リーマンゼータ関数
リーマンゼータ関数は、s を複素数、n を自然数とするとき、
ζ(s):=?n=1〜∞ 1/n^s = 1+1/2^s+1/3^s+1/4^s+⋯
で定義される関数 ζ のことをいう。上記の級数は s の実部が 1 より真に大きい複素数のとき，すなわち Re s > 1 のときに収束する（なお s = 1 のとき調和級数となり発散する）が、解析接続によって s = 1 を一位の極とし、それ以外のすべての複素数において正則な有理型関数となる。

解析接続

ゼータ関数の表示と関数等式

ゼータ関数と素数計数関数

この公式は、リーマンの素数公式、あるいは明示公式 (explicit formula) などと呼ばれている
ゼータ関数の零点の分布に関する未解決問題であるリーマン予想は、素数公式の近似精度に関連している。この予想は純粋数学における最も重要な未解決問題であると考える数学者は多い

http://rio2016.5ch.net/test/read.cgi/math/1753000052/774

784: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/08/18(月) 23:38:27.02 ID:YmDNmTO3

>>776
>矛盾するしない以前に、そもそも無限項の和なるものは存在しない。

ここは、中高一貫校生も来る可能性があるから
赤ペン先生をしておくよｗ　；ｐ）

数学科オチコボレの視野狭窄
狭いんだよ、君の思考は

勉強不足だよ
21世紀 現代数学では 無限項の和は存在する

君の頭は、古代ギリシャ
君は、ゼノンかアリストテレスかい？ｗ

オイラーは、無限級数の天才手品師であり、その名人だったという
彼は、無限級数を扱って その収束は直観で分っていたらしいと だれかが書いていたね

高木 近世数学史談 17.ベルリン留学生に アーベルの無限級数論の話がある
クレルレ誌第1巻のアーベルの級数論が画期的だと 高木はいう
収斂円（|x|=1）における級数動作が余蘊なく研究し尽くされているという
”連続関数を項とする級数の和は連続であろうなどと上滑っている時代では空谷の跫音というべきである”などと記す
（なお、高木は”「発散級数は和を有しない」とはコーシーの標語である”と特筆している。
　逆に言えば、”発散しない無限級数は和を有する” つまりは この場合 無限項の和は存在すると解して良い）

類似の話が下記の”集合論の歴史”で、カントールのフーリエ級数の研究から 彼の無限集合論が考え出されたという
当然 これは無限項のフーリエ級数だよ（項が有限ならば それほどおかしなことは おきない）

かように、現代数学では 無限項の和を扱うことは 日常茶飯事なのだ
もちろん、有限項の和の極限と一致することは妨げないが それに拘泥するのは 視野狭窄というものさ

まあ、数学科オチコボレには 理解できないかな
君は、勉強不足だよｗ　；ｐ）

(参考)
https://ja.wikipedia.org/wiki/%E9%9B%86%E5%90%88%E8%AB%96
集合論
集合論の歴史
ゲオルク・カントールによるフーリエ級数の研究において、実直線上の級数がよく振る舞わない点を調べる過程で集合の概念が取り出された
彼はやがて有理数や代数的数のなす集合が可算であるという結果を得て、・・・

http://rio2016.5ch.net/test/read.cgi/math/1753000052/784

788: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/08/19(火) 07:31:51.19 ID:6rG8V9j8

>>784 補足
>（なお、高木は”「発散級数は和を有しない」とはコーシーの標語である”と特筆している。

コーシーの後の世に、有理型関数で ミッタク＝レフラーの定理 などが考えられた
正則関数が 無限級数展開を持つことを認めると 有理型関数においては
無限級数が無限大に発散する→極 と解することができて
発散級数に意味を与えることができる。現代数学では、そういうケースは山ほどあります　（＾＾

https://ja.wikipedia.org/wiki/%E3%83%9F%E3%83%83%E3%82%BF%E3%82%AF%EF%BC%9D%E3%83%AC%E3%83%95%E3%83%A9%E3%83%BC%E3%81%AE%E5%AE%9A%E7%90%86
ミッタク＝レフラーの定理
複素解析において、ミッタク＝レフラーの定理（Mittag-Leffler's theorem）とは、前もって与えられた極を持つ有理型関数の存在に関する定理である。一方、ワイエルシュトラスの因数分解定理は、前もって与えられた零点を持つ正則関数の存在を主張する定理であり、本定理と対をなす。この定理の名称は、ヨースタ・ミッタク＝レフラー (Gösta Mittag-Leffler) に因んでいる。

https://en.wikipedia.org/wiki/Meromorphic_function
Meromorphic function
（google訳）
有理型関数
複素解析で、複素平面の開部分集合D上の有理型関数とは、関数の極となる孤立点 の集合を除くD全体にわたって正則な関数のことである。この用語はギリシャ語のmeros ( μέρος )に由来し、「部分」を意味する
D上のすべての有理型関数は、D上で定義された 2 つの正則関数(分母が定数 0 ではない)間の比として表すことができます。つまり、任意の極は分母のゼロと一致する必要があります。
ヒューリスティックな記述
直感的に言えば、有理型関数とは、2つの行儀のよい（正則な）関数の比です

つづく

http://rio2016.5ch.net/test/read.cgi/math/1753000052/788

789: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/08/19(火) 07:32:30.37 ID:6rG8V9j8

ついでに
https://tetobourbaki.hatenablog.com/entry/2016/12/14/110319
記号の世界ゟ loveブルバキ
20161214
「正則関数」という用語を使うの止めたい

一般に「正則関数」は「holomorphic function」の訳であると考えている人が多いです。しかし、こう考えると明らかな誤訳です。「正則関数」は「holomorphic function」の訳ではありません

このことは高木貞治の『解析概論』に書いてあります。もう少し言うと、regular analytic function つまり「正則な解析関数」が正確な訳ですが、『解析概論』で単に正則関数と呼ぶと書いてあります。僕は、この高木先生の訳を何も考えず使っている人が多いのだと考えています。高木先生は regular analytic function だと考えているので全く問題はないのですが、holomolphic の訳だと考えている人がほとんどなのが問題なのです

私の考える対案
それでは、どのような用語にすればいいかを考えてみます。

まず、岩波基礎講座では holomorphic は「整型」、meromorphicは「有理型」が使われていますね。「正則関数」よりはずいぶん良い訳です。morpheに対応して、共に「型」の言葉が使われていることも非常に良いです。ただ、「有理型」が他の言葉にできないかとは考えたくなります。

僕は、用語の作り方、特に、翻訳語については中国語に従えばたいてい問題ないと考えています。中国語では、holomorphic は「全純」、meromorphicは「亜純」という用語を採用しており、上で述べた私の解釈と同じであることが分かります。岩波のようにmorpheの対応はないものの、さすが中国という感がありますね。

僕の結論としては、「整型関数」を採用し「有理型関数」を他の用語にする、もしくは、中国の訳を使うあたりで良いかなと思います。二つの良いところをとって、「整型関数」と「亜整型関数」でもそんなに悪くないと思います
(引用終り)
以上

http://rio2016.5ch.net/test/read.cgi/math/1753000052/789

上下前次 1-新書関写板覧索設栞歴

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ

ぬこの手ぬこTOP 0.018s