22/05/28 13:30:00.46 DzamZmOV.net
つづき
URLﾘﾝｸ(mainichi.jp)
望月教授「ABC予想」証明 斬新理論で数学界に「革命」 京大数理研「完全な論文」【松本光樹、福富智】毎日新聞2020年4月3日
(抜粋)
URLﾘﾝｸ(cdn.mainichi.jp)
会見には同研究所の柏原正樹特任教授と、玉川安騎男教授が出席。
2018年にはピーター・ショルツ独ボン大教授が望月論文に疑義を唱え、その行方に注目が集まった。玉川教授は「望月教授自身が反論もしており、（ショルツ教授からの）再反論もない」などとし、論文の価値判断に影響はないとの認識を示した。
玉川教授は「全く新しい理論で、さらなるインパクトを生み出す可能性がある。この研究所を中心として世界的に研究が活性化すれば喜ばしい」と胸を張った。
URLﾘﾝｸ(www.youtube.com)
数学の難問ABC予想 京大教授が証明 30年以上未解決 2020/04/03 FNNプライムオンライン
つづく
3:１３２人目の素数さん
22/05/28 13:30:21.83 DzamZmOV.net
＜IUT国際会議 2つのシリーズ＞
1．
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
RIMS
Promenade in Inter-Universal Teichmuller Theory
Org.: Collas (RIMS); Debes, Fresse (Lille).
The seminar takes place every two weeks on Thursday for 2 hours by Zoom 17:30-19:30, JP time (9:30-11:30, UK time; 10:30-12:30 FR time) ? we refer to the Programme for descriptions of the talks and associated references. URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
つづく
4:１３２人目の素数さん
22/05/28 13:30:38.04 DzamZmOV.net
つづき
2．
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
宇宙際タイヒミューラー理論の拡がり
（４回とも無事終了です）
なお、東大の重鎮 Atsushi Shiho (Univ. Tokyo, Japan)先生
8月末～9月初めの二つのIUT会議に出席したようです
参考
URLﾘﾝｸ(www.maths.nottingham.ac.uk)
宇宙際タイヒミューラー理論への誘い（いざない）2021-08-31?2021-09-03
Confirmed participants include:
Atsushi Shiho (Univ. Tokyo, Japan),
URLﾘﾝｸ(www.maths.nottingham.ac.uk)
宇宙際タイヒミューラー理論サミット２０２１ 2021-09-07?2021-09-10
Confirmed participants include:
Atsushi Shiho (Univ. Tokyo, Japan),
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
望月 過去と現在の研究
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
20211117
世界の数学者に向けた、今年度の宇宙際タイヒミューラー理論関連集会のビデオ閲覧の招待状を掲載。
つづく
5:１３２人目の素数さん
22/05/28 13:31:02.88 DzamZmOV.net
つづき
＜過去スレより再録＞
スレ46 ｽﾚﾘﾝｸ(math板:273番)
アンチのみなさん、幼稚すぎ
小学生なみ
そういう議論は、本スレが アンチでお願いしますよ
ここでは、大人の議論をしましょうね
１．まず、論文の不正は、「医学・生命科学系の論文」に多い。だが、数学では、いまだ寡聞にして知らず。おそらく、これからも無いでしょう
２．「医学・生命科学系の論文」は、実験結果や診療の結果が記載されるのが普通で、ここは論文執筆者が、やろうと思えば捏造可能だ。しかし、数学では捏造の余地が皆無
（これは、数学科学部卒でも同意してくれるだろう。同意できないのは、小学生です。どうぞ、本スレが アンチへ）
３．数学では捏造の余地が皆無で、もし意図して不自然なことをしても、すぐバレル。「おまえ、アホやなー」です
あるいは、「わざと、ワケワカに書く」と小学生はいう。しかし、これも、誰も読めないなら、やっぱ「おまえ、アホやなー」です
４．査読者や、柏原・玉川がグルだとか、小学生はいう
しかし、そんなことをしても、見る人が見れば、やっぱ「おまえら、アホやなー」です
ワケワカ小学生は、どうぞ相応しいスレへ お願いしますｗｗ（＾＾；
スレ46 ｽﾚﾘﾝｸ(math板:883番)
１．RIMSを まず 普通の論文と見れば良いと思うのだが？ つまり、「ちゃんと査読された」ということを認める
２．21世紀の数学は、高度に専門家されているので、専門外の先端の論文を理解するのは一苦労する。ショルツ氏も例外ではない
３．数学の検証に終りがない。査読は一次の通過でしかない。掲載論文のさらなる 拡張 あるいは一般化が検討されるのが普通。あるいは、他の分野への応用とか。その過程で、論文の真偽は常に検証されるものだ
そういう普通の視点で考えれば宜しいのではないですかね？
応援スレだが、この普通のことしか言ってないけどねｗ（＾＾
アンチが
・査読が終わったのは、RIMS内部の陰謀だとか、内部でデタラメをやっているとか
・果ては、数学でSTAPもどきの捏造数学論文事件で、関係者が全員グルだとか
笑える幼稚な議論
それは、別スレでやれよｗ（＾＾；
6:１３２人目の素数さん
22/05/28 13:31:18.83 DzamZmOV.net
なお、
おサル＝サイコパス＊）のピエロ、不遇な「一石」、“鳥なき里のコウモリ”そのままで、“シッタカ”ぶり男で、アナーキストのアホ男です。
なお、IUTスレでは、「維新さん」と呼ばれることもあります。（突然“維新～！”と絶叫したりするからです（＾＾； ）
( URLﾘﾝｸ(textream.yahoo.co.jp) 表示名:ムダグチ博士 Yahoo! ID/ニックネーム:hyperboloid_of_two_sheets＊＊） （Yahoo!でのあだ名が、「一石」）
（＊＊）注；URLﾘﾝｸ(en.wikipedia.org) Hyperboloid
Hyperboloid of two sheets ：URLﾘﾝｸ(upload.wikimedia.org)
URLﾘﾝｸ(ja.wikipedia.org) 双曲面
二葉双曲面 ：URLﾘﾝｸ(upload.wikimedia.org)
おサル、あいつは 双曲幾何の修論でも書いたみたいだなｗ（＾＾）
＜＊）サイコパスの特徴＞
（参考）URLﾘﾝｸ(blog.goo.ne.jp) サイコパスの特徴、嘘を平気でつき、人をだまし、邪悪な支配ゲ
7:ームに引きずり込む 2007年04月06日 http://kotowaza-allguide.com/to/torinakisatonokoumori.html#:~:text=%E9%B3%A5%E3%81%AA%E3%81%8D%E9%87%8C%E3%81%AE%E8%9D%99%E8%9D%A0%E3%81%A8%E3%81%AF%E3%80%81%E3%81%99%E3%81%90%E3%82%8C%E3%81%9F%E8%80%85,%E3%81%A6%E3%81%84%E3%82%8B%E3%81%93%E3%81%A8%E3%81%AE%E3%81%9F%E3%81%A8%E3%81%88%E3%80%82 鳥なき里の蝙蝠 故事ことわざ辞典 【読み】 とりなきさとのこうもり 【意味】 鳥なき里の蝙蝠とは、すぐれた者がいないところでは、つまらぬ者が威張っていることのたとえ。 つづく
8:１３２人目の素数さん
22/05/28 13:31:37.14 DzamZmOV.net
つづき
＜サイコパスのおサルのバカ発言＞
過去スレ55 ｽﾚﾘﾝｸ(math板:813番)
813 名前：１３２人目の素数さん[sage] 投稿日：2021/06/24(木) 20:41:12.45 ID:mlJli1k0 [7/7]
>>789-790
(引用開始)
数学における日本とかいう野蛮な島のジコチュウ●チガイの系譜
オカ、シムラ、モチヅキ
＞"intellectual debt"
確かにモチヅキは数学界に対して「知的負債」を負ってるね
自分の思いつきが論理的に正しいことを示す、という負債をね
(引用終り)
1．「数学における日本とかいう野蛮な島のジコチュウ●チガイの系譜 オカ、シムラ、モチヅキ」
てめえ、何様のつもりだ？ 5ｃｈ数学板で便所の落書きしている数学落ちこぼれさんでしょ
何をえらそうに！
2．「確かにモチヅキは数学界に対して「知的負債」を負ってるね
自分の思いつきが論理的に正しいことを示す、という負債をね」
てめえ、何様のつもりだ？
論文書いて、査読してもらって、真摯に対応して査読を通してもらって出版してもらう
ここまでは、終わったのです（＾＾
3．そして、今年6月末から4回の国際会議で、
IUT普及の義務を果たします
4．おサルが理解できるように？
それは無理！
”（スレ55 ｽﾚﾘﾝｸ(math板:158番)より）
＜上昇列 ０＜・・・＜ω が有限列にしかなり得ない
ことも分からん「考えなしの素人」に数学はムリ”
などという
これじゃ。三歳児レベルの知能じゃんかｗ
このおサルには、IUTは百年早いぜｗ（＾＾；
(引用終り) 以上
なお、
低脳幼稚園児のAAお絵かき
小学レベルとバカプロ固定
低脳で幼稚なカキコ
上記は、お断りです！！
小学生がいますので、18金（禁）よろしくね！（＾＾
つづく
9:１３２人目の素数さん
22/05/28 13:32:22.33 DzamZmOV.net
つづき
（参考）
関連： 望月新一（数理研） URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
News - Ivan Fesenko URLﾘﾝｸ(www.maths.nottingham.ac.uk)
Explicit estimates in inter-universal Teichmuller theory, by S. Mochizuki, I. Fesenko, Y. Hoshi, A. Minamide, W. Porowski, RIMS preprint in November 2020, updated in June 2021, accepted for publication in September 2021
URLﾘﾝｸ(ivanfesenko.org) NEW!! (2020-11-30) いわゆる南出論文（5人論文）
より
P4
Theorem A. (Effective versions of ABC/Szpiro inequalities over mono-complex number fields)
Theorem B. (Effective version of a conjecture of Szpiro)
Corollary C. (Application to “Fermat’s Last Theorem”)
P56
Corollary 5.9. (Application to a generalized version of “Fermat’s Last Theorem”)
Let l, m, n be positive integers such that
min{l, m, n} > max{2.453 ・ 10^30, log2 ||rst||C, 10 + 5 log2(rad(rst))}.
Then there does not exist any triple (x, y, z) ∈ S of coprime [i.e., the set of
prime numbers which divide x, y, and z is empty] integers that satisfies the equation
つまり、元祖フェルマー x^l + y^m + z^n = 0→拡張フェルマー rx^l + sy^m + tz^n = 0 もIUTで解けたんだ
Theorem Bで、Effective ”Szpiro”も出る
但し、”effective versions of the Vojta”への言及がないので、Vojtaは 未だみたい
ここ、一山当てる狙い目かもねｗ
他に、IUT関連
・[R8] Higher adelic theory, talk at the Como School, September 2021 URLﾘﾝｸ(ivanfesenko.org)
・[R7] IUT and modern number theory, talk at the RIMS workshop on IUT Summit, September 2021 URLﾘﾝｸ(ivanfesenko.org)
? [R5] Class field theory, its three main generalisations, and applications, May 2021, EMS Surveys 8(2021) 107-133 URLﾘﾝｸ(ivanfesenko.org)
つづく
10:１３２人目の素数さん
22/05/28 13:32:41.02 DzamZmOV.net
つづき
・[R4] On asymptotic equivalence of classes of elliptic curves over Q , November 2020 URLﾘﾝｸ(ivanfesenko.org)
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
＜PRIMS出版記念論文＞
[9] On the Essential Logical Structure of Inter-universal Teichmuller Theory in Terms of Logical AND "∧"/ Logical OR "∨" Relations: Report on the Occasion of the Publication of the Four Main Papers on Inter-universal Teichmuller Theory. PDF NEW!! (2021-03-06)
新一の「心の一票」 - 楽天ブログ shinichi0329/ （URLが通らないので検索たのむ）
math jin：（IUTT情報サイト）ツイッター math_jin （URLが通らないので検索たのむ）
URLﾘﾝｸ(twitter.com)
星裕一郎 ツイッター
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
星裕一郎の論文
(抜粋)
宇宙際 Teichmuller 理論入門 PDF (2019) （Indexあり）URLﾘﾝｸ(repository.kulib.kyoto-u.ac.jp)
続・宇宙際 Teichmuller 理論入門 PDF (2018) （Indexあり） URLﾘﾝｸ(repository.kulib.kyoto-u.ac.jp)
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
Go YAMASHITA （gokun）
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
山下剛サーベイ URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp) （Indexが充実しているので、IUT辞書として使える）
A proof of the abc conjecture after Mochizuki.preprint. Go Yamashita last updated on 8/July/2019.
つづく
(deleted an unsolicited ad)
11:１３２人目の素数さん
22/05/28 13:32:58.71 DzamZmOV.net
つづき
Yourpedia 宇宙際タイヒミュラー理論 （URLが通らないので検索たのむ）
URLﾘﾝｸ(ja.wikipedia.org) 宇宙際タイヒミュラー理論 Wikipedia
URLﾘﾝｸ(en.wikipedia.org) 英Inter-universal Teichmuller theory 英 Wikipedia
URLﾘﾝｸ(ja.wikipedia.org) ABC予想
URLﾘﾝｸ(en.wikipedia.org) 英abc conjecture
URLﾘﾝｸ(www.math.arizona.edu) から Recent Research へ入る
Kirti Joshi Recent Research論文集
新論文（IUTに着想を得た新理論） URLﾘﾝｸ(arxiv.org)
Construction of Arithmetic Teichmuller Spaces and some applications
Preliminary version for comments Kirti Joshi June 23, 2021
URLﾘﾝｸ(www.uvm.edu)
[ Taylor Dupuy's Homepage] 論文集
なお、（メモ）TAYLOR DUPUYは、arxiv投稿で [SS17]を潰した（下記）
URLﾘﾝｸ(arxiv.org)
PROBABILISTIC SZPIRO, BABY SZPIRO, AND EXPLICIT SZPIRO FROM MOCHIZUKI’S COROLLARY 3.12
TAYLOR DUPUY AND ANTON HILADO Date: April 30, 2020.
P14
Remark 3.8.3. (1) The assertion of [SS17, pg 10] is that (3.3) is the only relation between
the q-pilot and Θ-pilot degrees. The assertion of [Moc18, C14] is that [SS17, pg 10] is
not what occurs in [Moc15a]. The reasoning of [SS17, pg 10] is something like what
follows:
つづく
12:１３２人目の素数さん
22/05/28 13:33:22.12 DzamZmOV.net
つづき
P15
(2) We would like to point out that the diagram on page 10 of [SS17] is very similar to
the diagram on §8.4 part 7, page 76 of the unpublished manuscript [Tan18] which
Scholze and Stix were reading while preparing [SS17].
References
[SS17] Peter Scholze and Jakob Stix, Why abc is still a conjecture., 2017. 1, 1, 1e, 2, 7.5.3 ( URLﾘﾝｸ(www.math.uni-bonn.de) Date: July 16, 2018.
URLﾘﾝｸ(ncatlab.org) Date: August 23, 2018. )
[Tan18] Fucheng Tan, Note on IUT, 2018. 1, 2
なお
"[SS17] Peter Scholze and Jakob Stix, Why abc is still a conjecture., 2017."は、2018の気がする
”[Tan18] Fucheng Tan, Note on IUT, 2018. 1, 2”が見つからない。”the unpublished manuscript [Tan18]”とはあるのだが（＾＾
代わりに、ヒットした下記でも、どぞ （2018の何月かが不明だが、2018.3のSS以降かも）
つづく
13:１３２人目の素数さん
22/05/28 13:33:43.86 DzamZmOV.net
つづき
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)(slides).pdf
Introduction to Inter-universal Teichm¨uller theory
Fucheng Tan RIMS, Kyoto University 2018
To my limited experiences, the following seem to be an option for people who wish to get to
know IUT without spending too much time on all the details.
・ Regard the anabelian results and the general theory of Frobenioids as blackbox.
・ Proceed to read Sections 1, 2 of [EtTh], which is the basis of IUT.
・ Read [IUT-I] and [IUT-II] (briefly), so as to know the basic definitions.
・ Read [IUT-III] carefully. To make sense of the various definitions/constructions in the
second half of [IUT-III], one needs all the previous definitions/results.
・ The results in [IUT-IV] were in fact discovered first. Section 1 of [IUT-IV] allows one to
see the construction in [IUT-III] in a rather concrete way, hence can be read together with [IUT-III], or even before.
S. Mochizuki, The ´etale theta function and its Frobenioid-theoretic manifestations.
S. Mochizuki, Inter-universal Teichm¨uller Theory I, II, III, IV.
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
教員名: 譚 福成（Tan, Fucheng）
P-adic Hodge theory plays an essential role in Mochizuki's proof of Grothendieck's
Anabelian Conjecture. Recently, I have been studying anabeian geometry and
Mochizuki's Inter-universal Teichmuller theory, which is in certain sense a global
simulation of p-adic comparison theorem.
つづく
14:１３２人目の素数さん
22/05/28 13:34:01.40 DzamZmOV.net
つづき
＜IUTと類体論＞
URLﾘﾝｸ(ja.wikipedia.org)
宇宙際タイヒミュラー理論
数論的 log Scheme 圏論的表示の構成等に続いた研究であり、「一点抜き楕円曲線付き数体」の「数論的タイヒミューラー変形」を遠アーベル幾何等を用いて「計算」する数論幾何学の理論である。イヴァン・フェセンコはIU幾何を遠アーベル幾何から派生した新たな類体論に位置付けている
URLﾘﾝｸ(www.maths.nottingham.ac.uk)
Ivan Fesenko - Research in texts
URLﾘﾝｸ(www.maths.nottingham.ac.uk)
[R5] Class field theory, its three main generalisations, and applications pdf, May 2021
P16の後半に面白い図がある
コピーペースト下記
Here are some relations between the three generalisations of CFT and their further developments:
2dLC?－－ 2dAAG－－－ IUT
l ／ ｜ ｜
l ／ ｜ ｜
l／ ｜ ｜
LC 2dCFT anabelian geometry
＼ ｜ ／
＼ ｜ ／
＼ ｜ ／
CFT
注）記号：
Class Field Theory (CFT), Langlands correspondences (LC), 2dAAG = 2d adelic analysis and geometry, two-dimensional (2d)
(P8 "These generalisations use fundamental groups: the etale fundamental group in anabelian geometry, representations of the etale fundamental group (thus, forgetting something very essential about the full fundamental group) in Langlands correspondences and the (abelian) motivic A1 fundamental group (i.e. Milnor K2) in two-dimensional (2d) higher class field theory.")
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
Fesenko IUT and modern number theory
つづく
15:１３２人目の素数さん
22/05/28 13:34:22.55 DzamZmOV.net
つづき
（IUTに対する批判的レビュー）
URLﾘﾝｸ(zbmath.org)
URLﾘﾝｸ(zbmath.org)
Mochizuki, Shinichi
Inter-universal Teichmuller theory. I: Construction of Hodge theaters. (English) Zbl 07317908
Publ. Res. Inst. Math. Sci. 57, No. 1-2, 3-207 (2021).
Reviewer: Peter Scholze (Bonn)
BuzzardのICM22講演原稿
Inter-universal geometry とABC 予想47
ｽﾚﾘﾝｸ(math板:84番)
84 名前：38[] 投稿日：2021/12/23(木) 19:42:33.42 ID:iz9G4jw+ [1/2]
Buzzardの原稿が出たヨ！
URLﾘﾝｸ(arxiv.org)
>A great example is Mochizuki’s claimed proof of the ABC conjecture [Moc21].
>This proof has now been published in a serious research journal, however
>it is clear that it is not accepted by the mathematical community in general.
86 名前：１３２人目の素数さん[] 投稿日：2021/12/23(木) 20:46:56.21 ID:a0F2ZqKI
>>84
ホントに出ていたね。その引用部分の少し後に次のことが書かれている。
Furthermore, the key sticking point right now is that the unbelievers argue that more details are needed in the proof of Corollary 3.12 in the main paper,
and the state of the art right now is simply that one cannot begin to formalise this corollary without access to these details in some form
(for example a paper proof containing far more information about the argument)
(引用終り)
”Comments: 28 pages, companion paper to ICM 2022 talk”と明記もあるね
思うに、その意図は、「反論あるなら言ってきてね。反論の機会を与える。反論なき場合はこのまま総会発表とする」ってことか
（西洋流で、「黙っていたから 認めたってことじゃん」みたいなｗ）
普通は、こんな形でプレプリ出さない気がするな
さあ、面白くなってきたかも
ドンパチ派手にやってほしい
つづく
16:１３２人目の素数さん
22/05/28 13:34:46.69 DzamZmOV.net
つづき
なお、下記 IUTの系3.11を肯定する書評 サイディのレビュー と、それに関連するwoit氏のブログを転載しておきます
Inter-universal geometry と ABC予想 (応援スレ) 65
ｽﾚﾘﾝｸ(math板:567番)
567 名前：１３２人目の素数さん[] 投稿日：2022/04/24(日) 14:12:10.98 ID:w4K+s4Bs
Math Reviews誌が、
英エクスター大教授モハメド・サイディのレビューで、
宇宙際タイヒミュラー理論の系3.11を肯定する書評を掲載したって。
American Mathematical Societyだね。
URLﾘﾝｸ(www.math.columbia.edu)
Not Even Wrong
Various and Sundry
Posted on April 18, 2022 by woit
Last week a review of the Mochizuki IUT papers appeared at Math Reviews, written by Mohamed Saidi. His discussion of the critical part of the proof is limited to:
Theorem 3.11 in Part III is somehow reinterpreted in Corollary 3.12 of the same paper in a way that relates to the kind of diophantine inequalities one wishes to prove. One constructs certain arithmetic line bundles of interest within each theatre, a theta version and a q-version (which at the places of bad reduction arises essentially from the q-parameter of the corresponding Tate curve), which give rise to certain theta and q-objects in certain (products of) Frobenioids: the theta and q-pilots. By construction the theta pilot maps to the q-pilot via the horizontal link in the log-theta lattice. One can then proceed and compare the log-volumes of the images of these two objects in the relevant objects constructed via the multiradial algorithm in Theorem 3.11.
Saidi gives no indication that any one has ever raised any issues about the proof of Corollary 3.12, with no mention at all of the detailed Scholze/Stix criticism that this argument is incorrect. In particular, in his Zentralblatt review Scholze writes:
つづく
17:１３２人目の素数さん
22/05/28 13:35:42.50 DzamZmOV.net
つづき
Unfortunately, the argument given for Corollary 3.12 is not a proof, and the theory built in these papers is clearly insufficient to prove the ABC conjecture….
In any case, at some point in the proof of Corollary 3.12, things are so obfuscated that it is completely unclear whether some object refers to the q-values or the -values, as it is somehow claimed to be definitionally equal to both of them, up to some blurring of course, and hence you get the desired result.
After the Saidi review appeared, I gather that an intervention with the Math Reviews editors was staged, leading to the addition at the end of the review of
Editor’s note: For an alternative review of the IUT papers, in particular a critique of the key Corollary 3.12 in Part III, we refer the reader to the review by Scholze in zbMATH: URLﾘﾝｸ(zbmath.org)
Since the early days of people trying to understand the claimed proof, Mochizuki has pointed to Saidi as an example of someone who has understood and vouched for the proof (see here). Saidi is undoubtedly well aware of the Scholze argument and his decision not to mention it in the review makes clear that he has no counter-argument. The current state of affairs with the Mochizuki proof is that no one who claims to understand the proof of Corollary 3.12 can provide a counter-argument to Scholze. Saidi tries to deal with this by pretending the Scholze argument doesn’t exist, while Mochizuki’s (and Fesenko’s) approach has been to argue that Scholze should be ignored since he’s an incompetent. The editors at PRIMS claim that referees have considered the argument, but say they can’t make anything public. This situation makes very clear that there currently is no proof of abc.
つづく
18:１３２人目の素数さん
22/05/28 13:36:08.20 DzamZmOV.net
つづき
URLﾘﾝｸ(www.nhk.jp)
NHKスペシャル
数学者は宇宙をつなげるか？ａｂｃ予想証明をめぐる数奇な物語（前編）2022年4月10日
URLﾘﾝｸ(plaza.rakuten.co.jp)
2022.05.02 新一の心の一票
2022年4月のNHKスペシャルに対する「合格発表」： 前半はぎりぎり合格、後半は不合格
取り敢えずこんなところで（＾＾
19:１３２人目の素数さん
22/05/28 17:00:58.21 DzamZmOV.net
脱線ですが、わんこらさん
このYoutube いいわ
面白かったな
URLﾘﾝｸ(www.youtube.com)
どうやってニートから立ち直ったのか？留年繰り返した末に大学院も全て落ちてニートへ
180,859 回視聴 2020/09/15 前回の大学の数学で挫折してたどりついた勉強法の動画
わんこらチャンネル
maracay
1 年前
もう8年前の話ですがわんこら式で苦手だった数学でセンター9割とりました。後悔で終わらずその勉強法をブログや YouTubeで発信するという行動に移したことが素晴らしいと思います。本当に感謝してます。
NaKaNoBa
1 年前
感動しましたよ、わんこらさん。
私は京大の文系学部卒ですが、いろいろあって今はなかなか人に言えない境遇におかれてしまってます。
わんこらさんの「前向き動画」から勇気と自信をもらいたいと思うので、これからも発信し続けてください。
Matt Song
8 か月前
こんにちは。この動画に巡り会えたのは、とても有難いことだと思いました。
好きなことを貫こうとするのは大変なことだと思うとともに、わんこらさんの粘り強い生き方はいろんな人ヘの励ましになると思います。
けん
1 年前（編集済み）
8年ほど前ですが、大学数学の勉強に苦戦していたときにわんこら式に出会い、なんとか卒業できました。
(かずゆきさんのセミナーにも参加させていただきました)
遅ればせながらありがとうございます！
多くの挫折を経験しても乗り越えていくかずゆきさんの生き方、かっこいいと思います。そういう姿勢が生徒さんに勇気を与えたりしてるんでしょうね。
陰ながら応援しています！
ふにゅ??！！！
20:１３２人目の素数さん
22/05/28 23:10:47.44 DzamZmOV.net
前スレより、数学が応用面からの刺激を受けて発展する話の例
前スレ 879 > URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp) 数学と物理学の絡み合い 中島 啓 京都大学大学院理学研究科 大阪大学理学部 「理学への招待」2006 年 7 月 7 日
同 887 > URLﾘﾝｸ(www.kitasato-u.ac.jp) 数学と物理学のあいだ 北里大学 理学部 物理 十河 清 （「1995 年度八王子数学ジュニア・セミナー夏の学校」における高校生向け講義レジュメ）
だいたい上記に書いてあるけど
さらに例示を挙げれば下記など
・フーリエ級数展開は、フーリエ氏が熱伝導の計算から出てきた
・現代確率論、確率過程論は、おそらくアインシュタインのブラウン運動の論文からの刺激からだろう
・ノイマンの無限次元ヒルベルト空間理論は、量子力学の定式化のため
・ソリトン理論＝可積分系 は、物理のソリトン現象の解析のため
・数学のミラー対称性理論は、超弦理論のミラー対称性から
・三次元ポアンカレ予想解決で使われた、リッチフローは4次元時空 アインシュタインの相対性理論のテンソル解析から
21:１３２人目の素数さん
22/05/28 23:48:32.01 Us7eZQil.net
ソリトン理論と可積分系は同一ではないよ。
頭悪くて品性がないね。
22:１３２人目の素数さん
22/05/29 01:20:40 PoC8ZenQ.net
長期IUTスレ荒らし 天羽 優子 @apj とは…
￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣
22年前からネットハラスメント常習者だった証拠がネット上の各所に残っており、職場各部門・職場トップ及び監督官庁・法務省に再三の迷惑通報が為されているネット異常者 (※ ソースはインターネットやネットニュースの公開情報で確認可能)
【特徴1】ソース URLﾘﾝｸ(blog-imgs-17.fc2.com) URLﾘﾝｸ(b7fce7d4-a-62cb3a1a-s-sites.googlegroups.com) ※ 上記写真はみなし国家公務員＝国立大学法人職員＝公人の公開イベントで撮影され公開済みの写真でありその「所属機関」と「役職」の目的と使命に鑑みて、これら写真の参照は国民の行政監視の権利を満たしている。
【事例1】天羽 優子 @apjは2000年当時からネットハラスメント常習犯として有名
[ソース] fj.soc.law 2000/2/17 17:00のスレッド URLﾘﾝｸ(groups.google.com)
【事例2】天羽 優子 @apjは2008年に自身が担当する実験講義学生を�
23:W争相手業者と誤認し誤爆ハラスメント問題を起こし、被害者学生が身元を明かして誤爆だと判明した後もネットハラスメントを継続した [ソース] 山形大学・天羽准教授による鬱への差別 (過去ログ) http://itest.5ch.net/life9/test/read.cgi/mental/1212628738/ 【事例3】自称 天羽 優子 は2017年にレコード大賞受賞者に対し誹謗中傷を行なった末に逆ギレし、親告罪スラップ訴訟恫喝をした。法務省担当部署はそれを、匿名の長期誹謗中傷犯が自身の身元を明かす訴訟を起こすと称する無効な恫喝だと説明した [ソース] J-WAVE 81.3FM (76) [無断転載禁止](過去ログ) https://itest.5ch.net/test/read.cgi/am/1503813609/912 https://itest.5ch.net/test/read.cgi/am/1503813609/925 https://itest.5ch.net/test/read.cgi/am/1503813609/948
24:１３２人目の素数さん
22/05/29 01:21:39 oRx2uX+l.net
二セ科学批判力ルト
底辺准教
が多用する特異語
1. ニ セ 科 学 | エ セ 科 学 | 疑 似 科 学
2. ト ン デ モ | ペ テ ン 師 | デ マ | ウ ソ | 詭 弁 | 病 気
3. 信 者 | 信 奉 者 | 教 祖 | 信 じ る
4. 負 け を 認 め て 黙 れ
5. 自 殺 | 氏 ね
6. 自 分 が 本 当 の 被 害 者
7. 月 刊 ム ー | オ カ ル ト | 宇 宙 人
8. 理 研 | S T A P 細 胞 | 小 保 方 | オ ボ カ タ
9. 岡 崎 | 丘 裂 き | 生 物 多 様 性
10. h i s s i . o r g | ウ ィ キ ペ デ ィ ア (w i k i p e d i a)
11. 悪 魔 の 証 明
12. キ チ ガ イ | 統 合 失 調
13. 常 温 核 融 合 | 凝 縮 系 核 反 応 | 新 元 素 変 換
14. 高 温 超 伝 導 | ヘ ン ド リ ッ ク ・ シ ェ ー ン
15. 時 限 爆 弾 | 地 雷 | 反 社 会 的
16. 正 義 | 正 義 の 味 方
25:１３２人目の素数さん
22/05/29 02:32:52.65 hduL16o0.net
案外❤かわいい😍
🐌 🇺🇦💕ま ゆ ゆ ん ゆ ん💗🇯🇵🐌
26:１３２人目の素数さん
22/05/29 02:43:55.96 bHmmKHVZ.net
無能の人が>>20でダメ押しされ>>21で発狂したのか？
真夜中に
27:１３２人目の素数さん
22/05/29 08:12:59.05 oBKRY8LS.net
>>20
>ソリトン理論と可積分系は同一ではないよ。
ご指摘ありがとうございます。
そうだね
>>20 訂正
・ソリトン理論＝可積分系 は、物理のソリトン現象の解析のため
↓
・ソリトン理論⊂可積分系 は、物理のソリトン現象の解析のため
とでもしますか
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
ソリトン（英: soliton）は、おおまかにいって非線形方程式に従う孤立波で、次の条件を満たす安定したパルス状の波動のことである。
URLﾘﾝｸ(en.wikipedia.org)
Soliton
3 History
In 1965 Norman Zabusky of Bell Labs and Martin Kruskal of Princeton University first demonstrated soliton behavior in media subject to the Korteweg?de Vries equation (KdV equation) in a computational investigation using a finite difference approach. They also showed how this behavior explained the puzzling earlier work of Fermi, Pasta, Ulam, and Tsingou.[6]
URLﾘﾝｸ(ja.wikipedia.org)
フェルミ・パスタ・ウラムの問題
当初の予想では相互作用が非線形な系ではエルゴード性（英語版）によって、長時間経過後に各モードにエネルギーが等分配された熱力学的平衡状態に達するはずであったが、計算機実験の結果はそれに反し、初期状態のモードに戻る再帰現象が観測された。後に、この再帰現象はKdV方程式の研究から可積分系におけるソリトンと関連した現象であることが明らかにされた。なお、電子計算機が物理学の研究に活用された初期の事例としても有名である。
URLﾘﾝｸ(ja.wikipedia.org)
可積分系
ソリトンと逆散乱法
1960年代の遅く、（浅い水の流れで 1次元非散逸流体力学を記述する）KdV方程式において、強い安定性を持ったソリトンが偏微分方程式の局所化された解として発見された[8]。この発見により、これらの方程式を無限次元可積分であるハミルトン系として見なすことで、古典可積分係への関心が復活した。
28:１３２人目の素数さん
22/05/29 17:27:54.70 zVY0hdCm.net
>>7
>＜上昇列 ０＜・・・＜ω が有限列にしかなり得ない
＜ωの左隣まだですか？
29:１３２人目の素数さん
22/05/29 18:01:03.11 4Ub/9RhB.net
>>26
ω-1
30:１３２人目の素数さん
22/05/29 18:06:12.35 evfDi1zh.net
順序数の引き算きたー
31:１３２人目の素数さん
22/05/30 07:28:51.33 MglcMLvz.net
スレ主です
前スレ より
ｽﾚﾘﾝｸ(math板:958番)-959
958 名前：１３２人目の素数さん[sage] 投稿日：2022/05/29 ID:ap+nBya2
てかお前らリーマン面なんか使った事ないやろ？
じゃあ試しにコレできるんか？
やってみ
fを単位円Δ上定義された正則関数で0,1の値を取らないとする
このときΔ上の正則関数gでf(z) = exp(2πicosh(z))を満たすものがとれる
リーマン面の話題が出てたからちょっと復習の意味も込めて教科書読み直してみつけた話
Schottkyの定理の証明の最初の入り口
リーマン面の話知ってれば何を確認すればいいか0.5秒で書けて5分で解ける話
できるんか？
959 名前：１３２人目の素数さん[sage] 投稿日：2022/05/29 ID:quPuiUec
f(z) = exp(2πicosh(g(z)))
な
実際に重要な定理の証明で使われてる話で無理クリ出てきた問題ではない
リーマン面の基本的な扱いがわかってるなら5分あれば解答書ける
このレベルすらお前できんやろ？
(引用終り)
つづく
32:１３２人目の素数さん
22/05/30 07:33:00.17 MglcMLvz.net
>>29
つづき
1）これは、数理論理君という人なんだけど
（以下前スレへのリンクは無し、番号のみとする）
2）これへの解答は、前スレの 965 以下で展開しているけど、なるほど、凄いとおもったよ。尊敬するわ
3）私のコメントは、964だけど、「下に訂正してるのに意図的に無視する」とか965で言うけど、
分からんよね訂正ってｗ。 そもそも上記958と959って別人でしょ、普通は。リンクも省略しているし
4）で、979氏が�
33:u降参するんで証明が出てる本教えて 理解できるかどうかわからんけど」というくらい難しいらしい 979氏は、981で「肝心の箇所は第7章？ ああこら難しそうやな」と一瞬で見抜いた凄い人です（書名を聞いて検索で目次見て第7章？とか） なので、”リーマン面の話知ってれば何を確認すればいいか0.5秒で書けて5分で解ける話”ではないよね 5）実際、965 以下では、リーマン面の定義とか、全然使ってないしｗ そもそも、リーマン面の正確な定義は下記の小平にあるように、ワイル氏が1913 年に公表した 一方、Schottkyの定理1904年、ピカールの定理 1878年に小定理が、1886年に大定理 この3つとも、リーマン面のワイル氏の定義前の定理じゃん 6）前スレ 980で、「複素関数概説 黒田正 共立出版」を挙げているけど、そこに載っている証明は、おそらくは原証明そのものではない 多分、ワイル氏 1913年以降に発展した 理論を使っていると思う（例えば、下記 英wikipedia Riemann surface の ”5 Classification of Riemann surfaces”あるいは次の6とかでしょ。普遍被覆とか） 7）ともかく、上記のようにケアレスミス多い。そもそも、問題文からして間違えるし、解答も2回訂正入ったし。それって、前スレの 935に書いた通りで 言い訳せず 直せってこと そして、今回もあなたがリーマン面を勉強していることは分かったけど、上記の問題は ワイル氏のリーマン面の正確な定義は」無しで解けるんでしょ？ （時系列から見て） なので、出題の意図も外れ 8）ともかく、超幾何関数でもなんでもいいから、1つ査読論文を経験しなよ。そしたら「IUTが学部4年で理解できるように書くべき」なんて、アホな意見言わなくなるよ 1つ査読論文を通してから、IUT論文について意見を言うようにお願いしますよ 以上 つづく
34:１３２人目の素数さん
22/05/30 07:34:08.21 MglcMLvz.net
>>30
つづき
(参考)
URLﾘﾝｸ(www.iwanami.co.jp)
小平邦彦が拓いた数学 上野 健爾 著 2015/12/22 岩波
URLﾘﾝｸ(www.iwanami.co.jp)
試し読み 序 小平数学の概要 第 1 章 ワイルとの出会い
P9
1.2 ヘルマン・ワイルの生涯
1911-12 年の冬学期にゲッチンゲン大学で行った
リーマン面に関する講義の一部は 1913 年に『リーマン面の概念』（[Wey3]）と
して出版された．これは小平に大きな影響を与え，複素多様体論の出発点とな
った本であるので，次節で詳しく解説する．
P11
1.3 『リーマン面の概念』
1913 年に出版された『リーマン面の概念』（[Wey3]）は，小平に大きな影響
を与え，その後の複素多様体論の進展に計り知れない貢献をした．
『リーマン面の概念』の序文の冒頭でワイルは次のように述べている．
略
ワイル自身はリーマン面を厳密に定義したことはそれほど重要なこととは思
っていなかった節がある．小平自身はこのことに関しては次のように記してい
る．
ワイル先生が研究所で数週間にわた
亘って数学の五〇年史，すなわち一九〇〇
年から一九五〇年までの歴史の講義をされたことがあった．ヒルツェブル
ッフ（Friedrich Hirzebruch）が聴講していたから一九五二年の春学期であ
ったと思う．
つづく
35:１３２人目の素数さん
22/05/30 07:34:30.40 MglcMLvz.net
>>31
つづき
ネバンリンナ（Nevanlinna）理論を高く評価されたこと，抽象的な一�
36:ﾊ論はつ まらないと言われたこと，等である．何について抽象的一般論はつまらな いといわれたかは覚えていないが，続いて「それならば何故『リーマン面 の概念』という一般論を書いたかと聞かれるかも知れないが，当時リーマ ン面について話すとき「一般のリーマン面を考えよう」といってこんなこ と（両手を水平にヒラヒラと動かす）をしていた．いくらなんでもこれでは 困ると思って『リーマン面の概念』を書いた」と言われた．何だか『リー マン面の概念』はつまらない抽象論であるといわれたように聞えた．こ れには驚いた．よく知られているように『リーマン面の概念』は現代の複 素多様体論の原型となった本で，そこには一次元複素多様体の殆ど完璧 な理論が展開されているのである．（[Kod1，「ヘルマン・ワイル先生」]， pp.184 185） ワイルの名著『リーマン面の概念』は 20 世紀初頭，明確に定義されること のなかったリーマン面を 1 次元複素多様体と定義して理論を展開したもので 略（というか、ここで終わり） https://en.wikipedia.org/wiki/Schottky%27s_theorem Schottky's theorem introduced by Schottky (1904) https://ja.wikipedia.org/wiki/%E3%83%94%E3%82%AB%E3%83%BC%E3%83%AB%E3%81%AE%E5%AE%9A%E7%90%86 ピカールの定理（英: Picard theorem）は、複素解析における定理。大定理と小定理があり、エミール・ピカールによって1878年に小定理が、1886年に大定理が証明された。 https://en.wikipedia.org/wiki/Riemann_surface Riemann surface 5 Classification of Riemann surfaces 5.1 Elliptic Riemann surfaces 5.2 Parabolic Riemann surfaces 5.3 Hyperbolic Riemann surfaces 6 Maps between Riemann surfaces 6.1 Punctured spheres 6.2 Ramified covering spaces (引用終り) 以上
37:１３２人目の素数さん
22/05/30 11:44:11.56 3ZmuK8vP.net
>>30
以下 理解してから書き込んでな
補題
f: X→Yが連続写像、Z→Yが局所同相、X̅→Xを普遍被覆とすると合成写像X̅→X→YはZ→Yを通過する、すなわちX̅→Zで下の図式を可換とする連続写像がとれる
X̅→Z
↓ ↓
X→Y
定理
f: X→Yが連続写像、p:Z→Yが連続写像、X̅→Xを普遍被覆とする
Z₀ = { z | zの近傍でZ→Yは局所同相でない }
Y₀ = p(Z₀)
とする
fの像がY₀と共有点を持たないなら
合成写像X̅→X→YはZ→Yを通過する
38:１３２人目の素数さん
22/05/30 11:54:34.26 3ZmuK8vP.net
>>33
以下も読んでな
pは全射
YとしてはC＼{0}をとる
やるべき作業は今の場合
X=Δ、Y=Z=ℂでp = exp(2πi cosh(z) )
で一次元複素多様体の場合
局所同相でない＝微分=0だから
p' = exp(2πi cosh(z))' = 2πi exp( 2πi cosh(z) ) sinh(z)
が0になるところがZ₀
すなわちZ₀ = πiℤ
そこでπin∈Z₀を任意にとると
p(πin) = exp(2πi cosh(πin) )
. = exp( 2πi(±1))
. = 1
でも仮定はf(z)は0,1を取らない
だからimfはp(Z₀)と共有点を持たず
X̅→X→Yはpを通過する
しかしここでΔは元々単連結なのでX̅→Xは同相、よってfそのものがpを通過する
39:１３２人目の素数さん
22/05/30 11:59:33.51 3ZmuK8vP.net
>>30
P.S.
>(彼は)数理論理君という人なんだけど
超幾何君と読んでやりぃな
基礎論屋とちゃうんやし
40:１３２人目の素数さん
22/05/30 17:27:19.49 HTdcPe8m.net
>>21
あグロ
41:１３２人目の素数さん
22/05/30 17:27:27.77 HTdcPe8m.net
【NGWord推奨(正規表現)】
kakyoukyoutiba|day1-post-meridiem|cml-office|IerWI2I7OREJ|1212628738|1503813609
42:１３２人目の素数さん
22/05/30 20:52:45 MglcMLvz.net
>>35
どうも、スレ主です
>超幾何君と読んでやりぃな
了解
だけど、以前 昔基礎論やっていたと名乗っていたよ
なので、超幾何君（旧 数理論理君）とします
超幾何の論文出したら、ドクター超幾何に格上げします
精神面では、応援してあ
43:げたいね 5ｃｈなんかちょっと中止して、半年くらい集中して論文を1本纏めてくほしいな 誰か、日本数学会の大学アカデミックな超幾何研究者を見つけて、コネつけて、論文を見て貰うのが良いかも レベル高そうだから、頑張れば、論文出せそうな気がする ともかく、一度がんばって1本査読論文1本通してください そうすれば、数学に対する見方が変わると思う
44:１３２人目の素数さん
22/05/30 21:12:23.71 MglcMLvz.net
ここらの話が、”Teichmuller space”に繋がっているんだね
URLﾘﾝｸ(en.wikipedia.org)
Riemann surface
Classification of Riemann surfaces
Parabolic Riemann surfaces
If X is a Riemann surface whose universal cover is isomorphic to the complex plane C then it is isomorphic one of the following surfaces:
・ C itself;
・The quotient C/Z;
・A quotient C/(Z +Zτ) where τ ∈ C with Im (τ)>0.
Topologically there are only three types: the plane, the cylinder and the torus. But while in the two former case the (parabolic) Riemann surface structure is unique, varying the parameter τ in the third case gives non-isomorphic Riemann surfaces. The description by the parameter τ gives the Teichmuller space of "marked" Riemann surfaces (in addition to the Riemann surface structure one adds the topological data of a "marking", which can be seen as a fixed homeomorphism to the torus). To obtain the analytic moduli space (forgetting the marking) one takes the quotient of Teichmuller space by the mapping class group. In this case it is the modular curve.
つづく
45:１３２人目の素数さん
22/05/30 21:12:43.97 MglcMLvz.net
>>39
つづき
Hyperbolic Riemann surfaces
In the remaining cases X is a hyperbolic Riemann surface, that is isomorphic to a quotient of the upper half-plane by a Fuchsian group (this is sometimes called a Fuchsian model for the surface). The topological type of X can be any orientable surface save the torus and sphere.
A case of particular interest is when X is compact. Then its topological type is described by its genus g>= 2. Its Teichmuller space and moduli space are 6g-6-dimensional. A similar classification of Riemann surfaces of finite type (that is homeomorphic to a closed surface minus a finite number of points) can be given. However in general the moduli space of Riemann surfaces of infinite topological type is too large to admit such a description.
Punctured spheres
These statements are clarified by considering the type of a Riemann sphere C^ with a number of punctures. With no punctures, it is the Riemann sphere, which is elliptic. With one puncture, which can be placed at infinity, it is the complex plane, which is parabolic. With two punctures, it is the punctured plane or alternatively annulus or cylinder, which is parabolic. With three or more punctures, it is hyperbolic - compare pair of pants. One can map from one puncture to two, via the exponential map (which is entire and has an essential singularity at infinity, so not defined at infinity, and misses zero and infinity), but all maps from zero punctures to one or more, or one or two punctures to three or more are constant.
(引用終り)
以上
46:１３２人目の素数さん
22/05/30 21:31:59.35 ve96nUDX.net
順序数の引き算するアホに数学語る資格ないわ
47:１３２人目の素数さん
22/05/31 01:20:22.25 tzKRVEL7.net
ソリトン理論＝可積分系とか書いていたくせに、羞恥心もなく「格上げします」と。
論文をコネとか、本当にわかっていないね。
査読論文でも、ハゲタカ雑誌だとマイナス評価になる。
こういうのが政治家になると、ほんとうに害になる。
慎太郎のせいで都立大が劣化したけど、影響力が減ってきたら学部
48:名を元にもどして正常化しようとしている。
49:１３２人目の素数さん
22/05/31 03:00:11.71 RTL3hvmL.net
>>38
>以前 昔基礎論やっていたと名乗っていたよ
それ別人
50:１３２人目の素数さん
22/05/31 03:10:32.51 RTL3hvmL.net
ところで単位円板ΔってC-{0,1}の普遍被覆だよな？
51:１３２人目の素数さん
22/05/31 12:38:14.27 MlKwzN+F.net
>>44
複素平面CはC-{0}の普遍被覆
で被覆写像はexp
52:１３２人目の素数さん
22/05/31 12:40:19.01 MlKwzN+F.net
>>45
さて単位円板ΔからC-{0,1}への被覆写像は何でしょう？
53:１３２人目の素数さん
22/05/31 15:38:23.69 WPtRs/LU.net
>>46
具体的にかけるん？
54:１３２人目の素数さん
22/05/31 16:09:55.17 vMcsOxZ+.net
λ関数とかね
金八（？）先生お得意
55:１３２人目の素数さん
22/05/31 16:13:29.69 74gZ5LCo.net
>>48
どんな関数ですか？
ググッてもλ計算しか出てこない
56:１３２人目の素数さん
22/05/31 16:57:25.55 Z5nIGKup.net
>>49
モジュラーλ
57:１３２人目の素数さん
22/05/31 18:10:36.17 ETK56POA.net
>>50
thx
58:１３２人目の素数さん
22/05/31 18:25:09 ETK56POA.net
上半平面で微分が消えないのはどうやって示すんですか？
59:１３２人目の素数さん
22/05/31 18:37:31 ETK56POA.net
あぁ、対数微分か
なるほろ
60:１３２人目の素数さん
22/05/31 20:58:30.75 Rwy4VmWC.net
＼Σ ｺﾝ! ｺﾝ!／
||
||Ю
61:１３２人目の素数さん
22/05/31 20:59:50.72 Rwy4VmWC.net
λｯﾃﾓ ｮﾛｽｨｨ…ﾃﾞｽｶ?
|| ／
||Ю
62:１３２人目の素数さん
22/05/31 21:01:12.26 Rwy4VmWC.net
彡||
彡|| ｶﾞﾁｬｯ! ／
彡||Ю
63:１３２人目の素数さん
22/05/31 21:03:15.85 Rwy4VmWC.net
… ||
∞ ||
´д`)||Ю
64:１３２人目の素数さん
22/05/31 21:05:45.40 Rwy4VmWC.net
||
∞ || ﾀﾞﾚｶ ｨﾏｾﾝｶ~?
´д`)||Ю
65:１３２人目の素数さん
22/05/31 21:07:21.23 Rwy4VmWC.net
||
Σ∞ || ﾏﾀªªｽﾞﾚﾏｸｯﾃﾙｯﾋﾟ!
;´д`)||Ю
66:１３２人目の素数さん
22/05/31 21:08:34.81 Rwy4VmWC.net
||
∞ || …
´д`)||Ю
67:１３２人目の素数さん
22/05/31 21:09:08.39 Rwy4VmWC.net
||
∞ || ﾀﾞﾚﾓｨﾅｨｯﾋﾟ…
´д`)||Ю
68:１３２人目の素数さん
22/05/31 21:10:14.97 Rwy4VmWC.net
||
∞ || …ｽﾞﾚｶﾞ治ｯﾃﾙｯﾋﾟ…
´д`)||Ю
69:１３２人目の素数さん
22/05/31 21:11:05.77 Rwy4VmWC.net
||
∞ || …ｺﾝﾅﾎﾞｯﾁｽﾙﾙｪﾁﾞｬ
´д`)||Ю
70:１３２人目の素数さん
22/05/31 21:13:14.51 Rwy4VmWC.net
||
∞ || 太~ｨ鬱ｶﾞλｯﾁｬ´~`ｩｩ…
*´д`)||Ю
71:１３２人目の素数さん
22/05/31 21:27:36.54 Rwy4VmWC.net
✨🌟✨
ﾐｩｯﾁｪﾏ大先生ゎ、
高貴高齢者ﾀﾞｹﾄﾞ
♊双子山ｯﾁｬﾏﾅﾝﾀﾞｮﾅ~…
ｧ🚕のﾐｽﾞ🐢座ﾄゎ
i性💞ﾋﾟｯﾀﾝｺｶﾝｶﾝ💕
ﾅﾝﾀﾞｮﾅ~… ｫﾚ喪ﾅ~…
…n回生ﾏﾚ変ゎｯﾃ
∞ λ籍📝ｼﾃｯ
*´д`)彡
72:１３２人目の素数さん
22/05/31 21:34:55.39 Rwy4VmWC.net
…ﾇｯ!₄ｯﾁｬﾏ、、、
勝手ﾆ乱λｼﾏｸﾘ ｱｹﾞﾏｸｯﾁｬｯﾃ…
ﾏｯｺﾄ ｾﾝｾﾝｼｧﾙ!
✨λ✨←ｯﾃ見ﾁｬｯﾀﾗ…
…ｯｨ…ﾐｯﾁｬﾏ様と…
✨💝✨λ籍✨💍✨
ｼﾀｸﾅｯﾁｬｯ…ﾀ…ｱｧｧ…
73:１３２人目の素数さん
22/05/31 21:40:21.91 Rwy4VmWC.net
全てのλゎ✨🌟✨ﾐｩｯﾁｬﾏ様✨🌟✨ﾆ通ずﾙｯｺﾑ。
…ゅる₄亭、ゅる₄t!
ｾﾝｾﾝｼｧﾙ!
|=₃
74:１３２人目の素数さん
22/06/01 07:07:53.42 /Pyy/jbW.net
テスト
75:１３２人目の素数さん
22/06/02 00:29:41.79 Ipt8333B.net
ｽﾙﾙｪ凍ｯﾃﾙｯﾋﾟ!
ﾓｼｬﾓｼｬｾﾝｾﾝｼｧﾙ!(切腹)
|=₃(退散∧ｷｬﾗ封印₄ever)
76:１３２人目の素数さん
22/06/02 00:35:30.80 Ipt8333B.net
ｪﾓﾁﾞゎ消滅ｼﾃﾓ
✨ﾐｯﾁｪﾏ✨の耀き✨ゎ永久不滅
ﾃﾞｽｩｩ…(辞世の句)。
77:１３２人目の素数さん
22/06/02 13:52:56.86 +tDJfbdT.net
メモ
78: https://ivanfesenko.org/ News ? Ivan Fesenko https://ivanfesenko.org/?page_id=80 https://www.youtube.com/watch?v=OQG0OeQla1w Ivan Fesenko "Underlying deep properties of numbers" 725 回視聴 2022/02/20 I will talk about adelic and anabelian geometries whose use expands our understanding of discrete structures such as integer numbers and solutions of Diophantine equations Geometries underlying deep properties of numbers (on the IUT theory), video of a talk at Institute of Mathematics, Kyiv, Ukraine Institute of Mathematics / ?нститут Математики
79:１３２人目の素数さん
22/06/02 14:13:12.10 +tDJfbdT.net
メモ
URLﾘﾝｸ(www.youtube.com)
Wojciech Porowski: “Introduction to anabelian geometry”
395 回視聴 2021/12/09 Wojciech Porowski: “Introduction to anabelian geometry”
After recalling the notion of the etale fundamental group of a scheme, we will discuss how various properties of a hyperbolic curve can be reconstructed from its fundamental group.
URLﾘﾝｸ(utge.lakecomoschool.org)
Universita degli Studi dell'Insubria
80:１３２人目の素数さん
22/06/04 07:01:16.62 eRgJR2a7.net
>>30
>「複素関数概説 黒田正 共立出版」
これ、手元に来た
1）まず、P45で指数関数 w＝e^z として、
級数展開 1+z/1!+・・・+z^k/k!+・・・
を使って、e^zを 定義している。また、e^z≠0（値0をとりえない）と注意している
2）複素対数関数としては、w＝e^zによるｗ複素平面Ωwへの写像を調べて、図14を現している
この図は、下記 wikimedia 複素対数の等角性の説明と類似だね
3）指数関数の逆関数を考えると、無限多価になり、射影を考えて、1対1対応（昔の用語かもｗ）にできて
主枝 を考えて、Log z＝log|w|+i arg(w) (0<=arg(w)<2π) としている
図14を使って、”対数関数のリーマン(被覆)面とよばれている”と説明している
4）なので、前スレ ｽﾚﾘﾝｸ(math板:62番)
”0<=θ<2π”に対して、「そんなとこで切ったらlog(z)が z> 0のとこで正則性なくなるのわからんか？」は、全くのヤクザの因縁つけだ
黒田 ”Log z＝log|w|+i arg(w) (0<=arg(w)<2π) ”って、けっこう普通じゃんｗ
(参考)
URLﾘﾝｸ(www.kyoritsu-pub.co.jp)
複素関数概説 黒田 正 著 1968
URLﾘﾝｸ(ja.wikipedia.org)
複素対数函数
複素対数の等角性
URLﾘﾝｸ(upload.wikimedia.org)
等角性を極形式で書いた直接の帰結として以下のことが言える:
・z-平面の原点を中心とする円[注釈 4]は w-平面内の a - πi から a + πi へ結ぶ垂直線分に写される。ただし、a は円の半径の実対数である。
・z-平面の原点から放たれる半直線は w-平面の水平線に写される。
(引用終り)
以上
81:１３２人目の素数さん
22/06/04 08:07:59 eRgJR2a7.net
>>73 関連
戻る
そもそも出題は
前スレ ｽﾚﾘﾝｸ(math板:958番)-959
てかお前らリーマン面なんか使った事ないやろ？
じゃあ試しにコレできるんか？
やってみ
fを単位円Δ上定義された正則関数で0,1の値を取らないとする
このときΔ上の正則関数gでf(z) = exp(2πicosh(z))を満たすものがとれる
リーマン面の話題が出てたからちょっと復習の意味も込めて教科書読み直してみつけた話
Schottkyの定理の証明の最初の入り口
リーマン面の話知ってれば何を確認すればいいか0.5秒で書けて5分で解ける話
f
82:(z) = exp(2πicosh(g(z))) な 実際に重要な定理の証明で使われてる話で無理クリ出てきた問題ではない リーマン面の基本的な扱いがわかってるなら5分あれば解答書ける (引用終り) だった で https://rio2016.5ch.net/test/read.cgi/math/1651884405/980 複素関数概説 黒田正 共立出版 の初版 https://rio2016.5ch.net/test/read.cgi/math/1651884405/984 オレのは第8刷でそれならp170の下のあたり 今見たら「あったりまえに存在する」ではなくちゃんと頑張ってるなw でもこんな頑張らなくても>>983でできる ちなみに証明しやすいようにほんでは p(z) = exp( πi cosh(2z) ) になってるけどオレのは p(z) = exp(2πi cosh(z) ) にしてる これでもSchottkyの定理証明するするには十分、本のままの設定だともう一手必要になる (引用終り) つづく
83:１３２人目の素数さん
22/06/04 08:10:05 eRgJR2a7.net
>>74
つづき
なんだかね、自分の訂正 f(z) = exp(2πicosh(g(z))) を忘れて、誤記のp(z) = exp(2πi cosh(z) ) そのものに 戻っているｗ
で、黒田正 「p170の下のあたり」は、定理7.10 （ショットキ）の証明の部分では
”補助定理によって f(z)=e^(2πih(z))となるDでの正則関数h(z)が存在する。Dでf(z)≠1であるからh(z)はDで0にも1にも等しくなりえない
ゆえに、ふたたび補助定理によってh(z)=(g(z))^2, h(z)-1=(g1(z))^2 となるDでの正則関数g(z）、g1(z)がある”
とある。多分、これか？ なお、Dは”z平面の開円板 D：|z|<R”です
補助定理はP169で
補助定理：関数f(z)はz平面の開円板 D：|z|<Rで正則であって そこでf(z)≠0であるとすれば、Dでf(z)＝e^h(z)=(g(z))^k (kは正の整数)
を満たすDで正則な関数h(z),g(z)が存在する。ここで、h(0),g(0)は、値f(0)のみで定まる
となっているね
ここらあたりからだろうけど、
黒田正読む限り、前スレの974～993
「まぁリーマン面とか被覆変換とかの議論はこんなふうに展開されていくもんだという一例をご紹介したまで」とか、それ全然出てこないｗ
むしろ、古典的な下記のwikipediaピカールの定理証明とか、辻 正次さんの『複素変数函数論』とかにある証明に近い
まあ、この人は、被覆変換とかの議論を勉強していて、レベル高いのは、よく分かったよ
こんな、場末の５ｃｈで管を巻いて時間を浪費しないように、老婆心ながら忠告しておくよ
つづく
84:１３２人目の素数さん
22/06/04 08:11:28 eRgJR2a7.net
>>75
つづき
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
ピカールの定理
目次
1 ピカールの定理
2 具体例
3 大定理の証明
4 小定理の証明
URLﾘﾝｸ(linesegment.web.)<)
Schottky's theorem
(引用終り)
以上
85:１３２人目の素数さん
22/06/04 08:16:22 4STXMWAQ.net
>>48
この指摘でやっと Ramanujan's Notebooks PartIII のEntry 10で紹介されてる命題
φ(exp(exp(y))) = √z
φ(-exp(y)))) = √z (1-x)^(1/4)
の意味がわかった
結局これがtheta定数(θ₁₀/θ₀₀)²がLegendreのパラメータkに戻る事が示せて“Jacobiの楕円関数をtheta関数で定義する”が完成するんやな
これが無くても
任意の0<k<1でτ=K'(k)/K(k)iとおけば、このτから定義される楕円関数sn,cn,dnは(θ₁₀/θ₀₀)²に対する楕円関数の関係式は満たしてるけどそれが元の与えられたkかどうかはわからない、それは求めている楕円関数と同じ形の方程式、同じ二重周期を持つけどそれが求めている楕円関数になるかどうかはもう一議論入るけどそれをすっ飛ばしてあくまで計算オンリーで“(θ₁₀/θ₀₀)²がℂ＼{0,1,-1}への全射”�
86:^える直接証明になってひいては(θ₁₀/θ₀₀)⁴がℍ→ℂ＼{0,1}の普遍被覆を与える事に繋がるんやな やっと意味わかった
87:１３２人目の素数さん
22/06/04 10:18:45.77 pF9Ht1nG.net
>>73
読めもせん本読むのは頭と心に悪いよ
実数と収束と関数の連続と
２変数写像のヤコビアンと
線積分とグリーンの定理理解した？
どれひとつ理解しないまま
複素解析の本読んでも
何一つ理解できずに病むから
第二のわんこら誕生
本家も○○っぽいよな
あんなんが京大に入れるなんて
日本の大学の入試には根本的欠陥があるな
88:１３２人目の素数さん
22/06/04 12:33:07 eRgJR2a7.net
>>77
>Ramanujan's Notebooks PartIII のEntry 10
へー、そんなの読んでいるのか
私には、雲の上の話だね
下記”The mock theta functions in the notebook have been found to be useful for calculating the entropy of black holes.[4]”
で、”mock theta”大栗先生が、何かで書いていたね 検索すると、下記が見つかった
URLﾘﾝｸ(en.wikipedia.org)
Ramanujan's lost notebook
Contents
Rankin (1989) described the lost notebook in detail. The majority of the formulas are about q-series and mock theta functions, about a third are about modular equations and singular moduli, and the remaining formulas are mainly about integrals, Dirichlet series, congruences, and asymptotics. The mock theta functions in the notebook have been found to be useful for calculating the entropy of black holes.[4]
References
Bibliography
Andrews, George E.; Berndt, Bruce C. (2012), Ramanujan's lost notebook. Part III, Berlin, New York: Springer-Verlag, ISBN 978-1-4614-3809-0
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
1 2夜
Mathieu Moonshine に対する群論的アプローチ
宮本雅彦
筑波大学数理物質系数学域
Dec. 12, 2017 RIMS
1.2 マシュームーンシヤイン
江口、大栗、立川の3名が次の3つの間に神秘的な関係があることに気づいたのが出発
点である。
(1)K3曲面の楕円種数 Z_{K3}^{ell}(z, \tau) (Witten 種数の変形)
その後、計算機を使って多くの係数 (\sim q^{300}) の指標の表示が求められ、最終的に、ギャ
ノン [2012] が、この膨大なデータとモックテータ級数の性質を使って、予想を示した。(論
文名は “Much Ado About Mathieu” である。Much Ado About Nothing (空騒ぎ) はシエ
イクスピアの喜劇の1つであり、この講演内容は上の論文に対する返歌のつもりである。)
89:１３２人目の素数さん
22/06/04 12:49:08 eRgJR2a7.net
>>79 追加
マシュー・ムーンシャイン
URLﾘﾝｸ(www.jsps.go.jp)
マシュー・ムーンシャイン
立教大学 理学研究科 特任教授 江口 徹
研究の背景
超弦理論は10次元の時空に存在します。我々の住んで
いる時空は4次元なので、残りの6次元空間は目に見えない
ような小さなサイズの空間に
90:丸まっているものと考えられます。 超弦理論が素粒子の標準理論を再現するためには、この 余分な空間がK3曲面と呼ばれる特別な4次元空間と、2次 元の球面（あるいはトーラス）から出来ている場合が最も具 合が良いことが知られています。 K3曲面は自己双対曲率を持つ4次元で唯一の曲面で K3曲面の名は3人の有名な数学者、エルンスト・クンマー、 エーリッヒ・ケーラー、小平邦彦からとられています。K3曲面 が現代の複素幾何学において最も基本的な役割を演じて いることは広く知られています。 研究の成果 我々は、K3曲面上の超弦理論を考え、その楕円種数と 呼ばれるものを超弦理論の対称性を表す関数を使って展 開しました。すると驚くべき事に、その展開係数がマシュー群 M24と呼ばれる離散群の表現の次元と一致する事に気が つきました。これはモジュラーJ関数と呼ばれるものをテイラー 展開するとその展開係数がモンスター群の表現の次元と一 致するという有名なモンストラス・ムーンシャイン（monstrous moonshine）の現象を思い出させます。そこで我々の発見し た現象はマシュー・ムーンシャイン（Mathieu moonshine）と 呼ばれるようになり、多くの研究者の関心を引く事になりまし た。マシュー・ムーンシャインは有限群論、保型形式、複素幾 何学などさまざまな数学の分野の接点にあり、超弦理論とも 密接な関係を持っています（図）。マシュー・ムーンシャインを テーマにした研究会が、名古屋大（2011年）、連邦工科大 （スイス、2011年）、サイモンズ研究所（米国、2013年）、立教 大（2014年）で開かれました。この間、マシュー・ムーンシャイ ンは拡張されて、現在までに20数個の関連するムーンシャイ ンの系列が見つかっていますが、その物理的な起源や数学 的な構造はまだまだ謎に包まれています。 つづく
91:１３２人目の素数さん
22/06/04 12:49:39 eRgJR2a7.net
>>80
つづき
文献
T.Eguchi, H.Ooguri and Y. Tachikawa
“Notes on the K3 Surface and the Mathieu group
M_24”, Exper.Math. 20：91-96,2011
URLﾘﾝｸ(mathsoc.jp)
会員ニュース
大栗さんのサイモンズ賞受賞に寄せて
立教大学理学部
江口 徹
URLﾘﾝｸ(www.u-tokyo.ac.jp)
ヒゲの謙虚な理論屋が、数学と物理、学問の過去と未来を架橋する 2019年10月1日
立川裕二
カブリ数物連携宇宙研究機構教授
URLﾘﾝｸ(ja.wikipedia.org)
立川裕二
専門分野は素粒子物理学、特に超弦理論における場の理論や数理物理など[1]。
研究
超弦理論に関する重力理論、数理物理、及び超対称性のある4次元場の理論。AGT対応の発見者。
(引用終り)
以上
92:１３２人目の素数さん
22/06/04 12:51:14 eRgJR2a7.net
>>80
>立教大学 理学研究科 特任教授 江口 徹
>研究の背景
>超弦理論は10次元の時空に存在します。我々の住んで
>いる時空は4次元なので、残りの6次元空間は目に見えない
>ような小さなサイズの空間に丸まっているものと考えられます。
超弦理論に悪態をつく woit氏
まあ、三流学者でしょう
93:１３２人目の素数さん
22/06/04 13:02:11.82 eRgJR2a7.net
>>78
>読めもせん本読むのは頭と心に悪いよ
複素関数概説 黒田正 共立出版>>74ね
ざっと読んだ
まえがきに
「工学系学生諸氏の便宜にも意を用いて複素関数の初歩理論の概要を述べた」とありますね
まあ、いま2022年の複素関数講義がどんなのか知らないが、高校数学と現代の複素関数講義のつなぎとして
クラシックなことが書いてあるので、良いと思うよ
なお、4.7 楕円関数には、いまどきのリーマン面が複素トーラスになるみたい基本的な記述がない
二重周期で、複素平面の平行四辺形にとどまっている
全般的にこんな調子で、
これはこれで、クラシックで具体的な記述が丁寧だから、良いんじゃないですかね
94:１３２人目の素数さん
22/06/04 14:57:47.34 lN/3AhJ/.net
彼氏いるのかは気になる😉
ま💕ゆ💗ゆ❤
95:１３２人目の素数さん
22/06/04 17:24:19.41 OU0I0Mcq.net
嫁てない奴は実に気に入らん
96:１３２人目の素数さん
22/06/04 17:29:10.77 dCU6gE5o.net
>>83
>ざっと読んだ
理解できたかい？
まずコーシー=リーマンの関係式
ヤコビアンが分かってないんじゃ無理
次にコーシーの積分定理
上記の関係式とグリーンの定理が分かってないと無理
最後にコーシーの積分公式
上記の定理と1/zの周回積分が分かってないと無理
留数定理は上記の公式使うんで
1/zの周回積分に留数定理使ったら循環論法な
>クラシックなことが書いてあるので、良いと思うよ
>クラシックで具体的な記述が丁寧だから、良いんじゃないですかね
クラシックという言葉をold-fashionedの意味で
用いる奴が多いけど誤りな
もともとは階級を意味するクラスから派生した言葉で
最高クラスの、一流の、という意味
対になるのはポピュラー
97:１３２人目の素数さん
22/06/04 17:38:49.53 dCU6gE5o.net
>>86
クラシックとポピュラーの対比は
メインカルチャーとサブカルチャーの対比に近い
ただサブの対は正しくはスーパー
メインに対する言葉はオルタナティブ
98:１３２人目の素数さん
22/06/04 17:45:59.72 dCU6gE5o.net
>>87
東大や京大等の理学部数学科でのみ教えるのが
クラシックな数学だとすれば
その他の工学部とかでも教えるのが
ポピュラーな数学なんですかね
とするとガロア理論なんてポピュラーじゃないですな
99:１３２人目の素数さん
22/06/04 17:52:48.88 eRgJR2a7.net
>>86-87
なんだ、理解できないのか？
EMAN氏の下記でも読めよ、分かり易く解説されているから
URLﾘﾝｸ(eman-physics.net)
EMANの物理学 > 物理数学 > コーシーの積分公式
100:１３２人目の素数さん
22/06/04 17:53:39.43 dCU6gE5o.net
>>88
ポピュラーな数学といえば一番は
フーリエ解析でしょうな
もちろんクラシックな数学でも重要ですが
まあそのうちトポロジーも表現論も
ポピュラー数学になっちゃうでしょうけど
101:１３２人目の素数さん
22/06/04 18:51:54.89 eRgJR2a7.net
なんか、必死で話題を逸らそうしているみたいだが
複素関数概説 黒田正のP170 ショットキ(Schottky)の定理の証明で
前スレ 958-959の該当箇所らしきところを読んでいる
これ、直前の”補助定理”を繰り返し使うのがミソだね
リーマン面の基本的な扱いとか、関係ないんじゃない？
そもそも、黒田正では、リーマン面はまともに定義しとらんし
リーマン面も、まともに説明していない
あとがきにあるとおり、リーマン面については
WeylやAhlfors など見てねと書かれているよ
前スレ993
”まぁリーマン面とか被覆変換とかの議論はこんなふうに展開されていくもんだという一例をご紹介したまで”
ってさｗ、ぜんぜん黒田正では、そうなってないぞｗ
そもそも、P40や48で 「リーマン（被覆）面とよばれている」の一言で済ませているよね、黒田正ではｗ
リーマン面と”被覆”とが、同じ用語で扱われているみたいだぞｗ
あまり、深入りしたくないんじゃね？
リーマン面と”被覆”とか、黒田正の本では
だから、クラシックだと言っているんだ
102:１３２人目の素数さん
22/06/04 19:17:33.09 UChc8esD.net
な、やっぱりわからんやろww
まぁこんな物分かりの悪い知能の足りてないアンポンタン相手にしても時間の無駄やけどな
わかる奴はそのSchottkyの定理の証明の中にリーマン面の話が入ってふのがわかる
一を聞いて十
103:がわかるできる奴 入ってるよ～わかる～と言われてわからんアンポンタンwwwwwww
104:１３２人目の素数さん
22/06/04 19:51:53.77 eRgJR2a7.net
戻る
前スレ ｽﾚﾘﾝｸ(math板:974番)
補題
f: X→Yが連続写像、Z→Yが局所同相、X̅→Xを普遍被覆とすると合成写像X̅→X→YはZ→Yを通過する、すなわちX̅→Zで下の図式を可換とする連続写像がとれる
X̅→Z
↓ ↓
X→Y
定理
f: X→Yが連続写像、p:Z→Yが連続写像、X̅→Xを普遍被覆とする
Z₀ = { z | zの近傍でZ→Yは局所同相 }
Y₀ = p(Z₀)
とする
fの像がY₀に含まれるなら合成写像X̅→X→YはZ→Yを通過する
(引用終り)
この”通過する”、ちょっと聞いてみたかったんだが
”通過する”は、独自用語か？
初耳だし、検索でもヒットしないｗ
「すなわちX̅→Zで下の図式を可換とする連続写像がとれる」とあるから
単に、可換図式って意味かな？
（このスレの>>33-34にも転載してるけど？）
望月氏くらい大物なら、独自用語(IUTみたく)もありだろうが、小物が独自用語使っても通用しないんじゃね？
単に可換図式だけで良かったんじゃない？
105:１３２人目の素数さん
22/06/04 20:15:32 eRgJR2a7.net
>>92
>わかる奴はそのSchottkyの定理の証明の中にリーマン面の話が入ってふのがわかる
>一を聞いて十がわかるできる奴
>入ってるよ～わかる～と言われてわからんアンポンタンwwwwwww
あなた、前スレで、
「エスパー」とか呼ばれていた人だよね
「エスパー」妄想かよ
このスレの>>30にも書いたけど、
Schottkyの定理1904年、ピカールの定理 1878年に小定理が、1886年に大定理
一方、そもそも、リーマン面の正確な定義は小平にあるように、ワイル氏が1913 年に公表したんだ
リーマン面の正確な定義の必要なしに、Schottkyの定理1904年、ピカールの定理 1886年は、可能だよ
明らかに、黒田正は、ワイル氏以降のリーマン面の理論は使っていない
クラシックにSchottkyの定理1904年、ピカールの定理 1878年 1886年 を論じているとみた
あと、「真面目に研究してる“その他”の数学者をクサすクズ」（前スレ 915より）
とか言っていたよね
これ、被害妄想でしょ
URLﾘﾝｸ(www.mhlw.go.jp)
厚生労働省 Ministry of Health, Labour and Welfare
知ることからはじめよう みんなのメンタルヘルス 総合サイト
こころの病気を知る > 統合失調症
統合失調症のサイン・症状
確かに聞こえている、見えているのに、周りの人が否定する
統合失調症で多く現れる症状は幻覚や妄想です。幻覚とは実際にはないものが感覚として感じられることです。とてもはっきりと聞こえたり見えたりするために、脳の中だけで起きているとは考えにくいものです。
妄想とは、明らかに間違った内容を信じてしまい、周りの人たちが訂正しようとしても自分では受け入れられない考えのことです。自分には聞こえたり、見えたりするのに、家族や友達、同僚、上司、医師などの周りの人たちが皆「そんなことはない」と否定するときには、幻覚や妄想の可能性があります。
106:１３２人目の素数さん
22/06/04 20:50:24.67 vtI7TbH6.net
私の場合統合失調症煽りは大嘘
107:１３２人目の素数さん
22/06/04 21:13:21.50 invg0grm.net
能無しがまたなんかいうとるな
クズ文生産機ww
108:１３２人目の素数さん
22/06/05 02:28:36.11 ZmkeGYEA.net
>>96
感情を抑制できず、見境ない罵詈雑言を書き込んだこと、に気づいてますか？
＞能無しがまたなんかいうとるな
＞クズ文生産機ww
＞94氏のレスが「クズ文」で、相手を「能無し」と書き込んで、
相手がクズだから「自分が正しい」と主張して、妄想を強く確信された様ですが、
周囲からみたら、貴方の罵詈雑言の方が、妄想の訴えを見境なく周囲の人に話すトラブルな人です。
強い毒舌で周囲の気を引こうとしているのに、もし気づけるのであれば、
手放すことで、気持ちをリセットし、リフレッシュしてみては？
109:１３２人目の素数さん
22/06/05 05:55:49.79 hO6kIYZ1.net
>>93
その「補題」を、ある状況で具体化したものが
複素関数概説p169の補助定理
エスパー氏が言ってるのはそう云うこと
ま、読み取れない人は大学数学無理だから
高校数学スレで書き込みしてた方が
幸せな余生を送れるよ
110:１３２人目の素数さん
22/06/05 06:05:24.55 hO6kIYZ1.net
>>94
抽象数学のスゴさは、それ以前の定理を
より一般化された定理の具体化として
ごっそり包括してしまう点にある
昔の定理だから今の抽象数学はいらない
なんていうのは全く筋違い
エスパー君はやっぱりSET Aより2ランク上だな
111:１３２人目の素数さん
22/06/05 06:11:28.23 hO6kIYZ1.net
>>97
数学がわからんくらいで
人間失格みたいにいうのはあかんが、
分かりもせんのに分かったような口を利く奴が
ペテン師なのも確かなことである
大学数学あかんかったら高校数学いったらよろし
112:１３２人目の素数さん
22/06/05 08:34:16.09 EvLHvQhE.net
まぁアンポンタンの俺様定義がなぜダメか？
それはそんな俺様定義したってホントにそれで数学の問題解くのに役に立つんかって話
log(複素数)にしたってそれがどんな時にどんなふうに使われてるのか知らなけりゃなぜ“リーマン面”をわざわざ使うのかわからんやろ、と思って一例としてあげた
もちろんそれでもわからん奴はわからん、そもそもどこに使われてるかわからんからな、まぁセタにはわからんやろと思ってたらやっぱりだっただけだがな
しかしわからなさの度がすごいw
証明の走りのリーマン面使ってるとこだけピックして「ほら、使われてるかってるでしょ」でまだわからんw
もちろんあの証明で“リーマン面”という単語出てこないから言われてなきゃ2回生くらいでは気付けなくてもしょうがないかもだけど(気付くけどなw)「使ってるでしょ？ね？」と言われて読んでそれでわからんってww
アホにも程があるわwwwww
113:１３２人目の素数さん
22/06/05 10:12:17.21 xi9Y085a.net
>>101
基本的な質問していい？
前スレの問題でf(z)が0でないから
f(z)=exp(2πig(z))となるgが取れるのはわかるけど
その上f(z)が1でないとなんでg(z)=cosh(h(z))となる
hが取れるのかわからん
g(z)が整数値をとらないことまでは分かったんだが
114:１３２人目の素数さん
22/06/05 10:52:34.84 RWaovXPc.net
>>102
そもそもなぜf(z)が0でなければf(z)がexpを通過できるのか、すなわちf(z) = exp(g(z))となるg(z)が取れるのかのところにリーマン面の話が入ってる
与えられた状況は
Δ̅ ℂ̅＼̅{̅0̅}̅
↓ ↓
Δ → ℂ＼{0}
ただし→がf(z)、↓は普遍被覆、X̅はXの普遍被覆(ℂ̅＼̅{̅0̅}̅がくるしいがじゃあなし)
で被覆空間の一般論でf:Δ→ ℂ＼{0}がf̅:Δ̅ → ℂ̅＼̅{̅0̅}̅に持ち上がる、そしてΔが単連結だからΔ̅→Δは同型だからfが右側の↓を通過する事になる
これが”f(z)が0にならないのでf(z)がexp(z)を通過する原理”、この原理をきちんとこの段階で理解できていれば、その次のg(z):Δ→ℂをcosh(z)を通過させるところも同じ
cosh(z):ℂ→ℂの中で局所同型でないところ、cosh'(z)=0でないところにim(g(z))が言ってない事を確認する
そしてここまでの話が分かればそもそもexp(z)、cosh(z)と2段階に分ける事にも意味がなく最初からexp(cosh(z))の微分が死んでるところをかわせてるかチェックすればいいだけともわかる
しかしこういうテクニックが使えるのは3回生以降で被覆変換の話勉強して以降の話、黒田先生の教科書は学部生一般誰でも読めるようにしてるのでこういうテクニック使わず初頭的に示してる
しかし初頭的にやっていると言ってももちろん被覆空間論を被覆空間論の単語使わずにexpとcoshと√も使ってたかな？に特
115:化した証明、もちろん鋭い奴は“被覆空間論”が隠れてる事が見抜ける 鋭くなくてもみぬけるかな？アホセタと話してると世の中の人みんなこんなもんかと思ってしまうけどアホセタが頭抜けてアホなだけのハズなんだけどな
116:１３２人目の素数さん
22/06/05 10:54:00.99 n5vX6CbC.net
>>94 追加
まとめるよ
「複素関数概説 黒田正 共立出版」>>73 より
P169
「補助定理」関数f(z)はz平面の開円板D：|z|<R で正則であって
そこでf(z)≠0であるとすれば、Dで
f(z)＝e^h(z)＝(g(z))^k (kは正の整数)
をみたすDでは正則な関数h(z),g(z)が存在する。ここで、h(0),g(0)は、値f(0)のみで定まる
証明
（べき級数展開を使っているが、詳しくは原本ご参照）
P170
「定理7.10」（ショットキ(Schottky)）
関数f(z)はz平面の開円板D：|z|<R で正則でそこで
f(z)≠0,1 であれば、任意の正の整数r(<R)に対し|z|<=rなら
K(f(0),R/r)^-1<=|f(z)|<=K(f(0),R/r)
となるf(0)とRr^-1のみに依存して定まる定数K(f(0),Rr^-1）が存在する
証明
補助定理によってf(z)=e^2πih(z)となるDでの正則関数h(z)が存在する
略
ふたたび補助定理によって略
よって
f(z)=e^2πih(z)=e^2πi(g(z))^2=e^-1/2πi(e^2φ(z)+e^-2φ(z)))
ここにφ(0)は値f(0)のみに依存して定まることは明らかである
（この後、上記 定数K(f(0),Rr^-1）の議論へ）
略
上記証明の e^-1/2πi(e^2φ(z)+e^-2φ(z)))の部分が、>>29の ”f(z) = exp(2πicosh(g(z)))”に関係する部分なのでしょうね(cosh(z)は下記双曲線関数)
で、上記黒田正と下記辻の Schottkyの定理の証明を比べると、辻では J(z)の逆函数で無限多価函数になるものを処理して使っている（この関数自身は、著書の前にあるのでしょうね。辻は、cosh(z)は使っていないかも、見てないがｗ）
そういう目で、黒田 「補助定理」を見ると、e^h(z)として指数関数として、べき級数展開を使って、無限多価に踏み込まないで処理していると見ました（この議論は、黒田の同P45～48の 指数関数及び対数関数の処理と同じでしょう）
つづく
117:１３２人目の素数さん
22/06/05 10:55:36.54 n5vX6CbC.net
>>104
つづき
なお、下記 ”The Generalization of Schottky Inequality and Its Applications”(2022)に、Classical Schottky Inequalityとその証明があり、約半ページで終わっています。
これは、明らかに、cosh(z)は使っていない（”Due to the Generalized Schwarz Lemma”などとしています）
そして、まとめると
1）黒田は、「補助定理」で 無限多価に踏み込まないで処理しているので、特にリーマン面に依存した議論はない
2）辻も同様
3）”The Generalization of Schottky Inequality and Its Applications”(2022)も同様
4）よって、”リーマン面の話知ってれば何を確認すればいいか0.5秒で書けて5分で解ける話”>>29ではない。むしろ、黒田の「補助定理」を先に処理する必要がある
5）また、>>93 普遍被覆、「合成写像X̅→X→YはZ→Yを通過する」とか、相当あやしげ
まあ、彼が 難しいことを、勉強しているらしいことだけは、分かったよ
老婆心ならが、こんな場末の5ｃｈでくだ巻いていないで、
勉強か研究か知らないが、そちらに力を注ぐように、ご忠告申し上げる
なお、黒田本でも、”主枝 を考えて、Log z＝log|w|+i arg(w) (0<=arg(w)<2π)” としていること
及び、図14を使って、無限多価性を処理して ”対数関数のリーマン(被覆)面とよばれている”と説明していることを再度強調しておく
(つまり、>>73 前スレの62「そんなとこで切ったらlog(z)がz>0のとこで正則性なくなるのわからんか？」と、
前スレの179 「私の定義は log(z) := ∫[1,z] 1/t dt 終わりです」は、黒田本と不整合で両方アウトです )
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
双曲線関数
coshx＝(e~x+e^-x)/2
つづく
118:１３２人目の素数さん
22/06/05 10:55:57.98 n5vX6CbC.net
>>105
つづき
URLﾘﾝｸ(linesegment.web.)ｆｃ２.com/books/mathematics/fukusohensukansuron/fukusohensukansuron_13_3.html (>>76より)
Line Segment
辻 正次さんの『複素変数函数論』第13章 Picardの定理 3. Schottkyの定理
3.Schottky の定理
証明
J(z)の逆函数をω(z)とすれば，ω(z)はz=0, 1,∞ 以外の点では正則であるが，無限多価函数である．かつI(ω(z))>0 *)である．f(z)≠0，≠1 だから，ω(f(z)) は|z|<1 で正則である．ω(z) は無限多価だから ω(f(z))は無限に多くの値があるが，略
注*) ドイツ語ひげ文字です。原文
119:ご参照 https://arxiv.org/pdf/1509.01915.pdf The Generalization of Schottky Inequality and Its Applications Shiyu Chen?1 and Junyi Hu†2 1 School of Instrument Science and Opto-Electronic Engineering, Hefei University of Technology 2 Institute of High Energy Physics, Chinese Academy of Science March 10, 2022 Abstract This article used Bloch function to derive Schottky inequality, obtained its generalization by using elliptic integral deviation function and demonstrated its applications. P5 Theorem 1(Classical Schottky Inequality): If a function f (z) is holomorphic in |z| < 1 and the solution is neither 0 nor 1, then 略 with C = [min {ρ0,1 (z) | |z| = 1}]?1 named Landau constant. Proof: Due to the Generalized Schwarz Lemma 略 （約半ページで終わっている） (引用終り) 以上
120:１３２人目の素数さん
22/06/05 11:30:46.57 8zeTyns2.net
難しい話が好きな人たちだな
121:１３２人目の素数さん
22/06/05 11:40:32.26 n5vX6CbC.net
>>102
>前スレの問題でf(z)が0でないから
>f(z)=exp(2πig(z))となるgが取れるのはわかるけど
>その上f(z)が1でないとなんでg(z)=cosh(h(z))となる
>hが取れるのかわからん
>g(z)が整数値をとらないことまでは分かったんだが
横だけど
>>104より
「補助定理」関数f(z)はz平面の開円板D：|z|<R で正則であって
そこでf(z)≠0であるとすれば、Dで
f(z)＝e^h(z)＝(g(z))^k (kは正の整数)
をみたすDでは正則な関数h(z),g(z)が存在する。
P170
「定理7.10」（ショットキ(Schottky)）
関数f(z)はz平面の開円板D：|z|<R で正則でそこで
f(z)≠0,1 であれば、任意の正の整数r(<R)に対し|z|<=rなら
K(f(0),R/r)^-1<=|f(z)|<=K(f(0),R/r)
となるf(0)とRr^-1のみに依存して定まる定数K(f(0),Rr^-1）が存在する
証明
補助定理によってf(z)=e^2πih(z)となるDでの正則関数h(z)が存在する
(引用終り)
この後、続けて”Dでf(z)≠1であるからh(z)はDで0にも1にも等しくなりえない
ゆえに ふたたび補助定理によって h(z)=（g(z)）^2・・”と続く
つまり、背理法で もしh(z)＝0,1のとき f(z)=e^2πih(z)＝1となるので、f(z)≠1に反する
よって、h(z)≠0,1が出て、そこから 補助定理が使えてとつづくわけです
で、h(z)=（g(z)）^2（補助定理の「(g(z))^k (kは正の整数)」を使う）のあと、h(z)-1=（g1(z)）^2と取り直して
{g(z)-g1(z)}{g(z)+g1(z)}=1
から、Dでg(z)-g1(z)≠0で、補助定理からg(z)-g1(z)＝e^φ(z) φ(z)はDで正則とできて
g(z)+g1(z)＝{g(z)-g1(z)}=e^-φ(z)であるから
g(z)＝(e^φ(z)+e^-φ(z))/2 よって
f(z)=e^2πih(z)＝e^2πi（g(z)）^2＝e^-1/2πi(e^2φ(z)+e^-2φ(z)))
を導いている
このe^-1/2πi(e^2φ(z)+e^-2φ(z))は、cosh(2φ(z))(=e^2φ(z)+e^-2φ(z)) と書けるってことね
（そもそも、彼の出題は >>74 f(z) = exp(2πicosh(g(z)))なので、これと合わせるのに、微調整がいる）
まあ、こんな不便で視認性の悪い板で、本格的な数式書かなくてもと思うが、行きがかりで書きました
原本を見られる環境なら、そちらが早い。なお、タイポなどあるかも知れないので、基本黒田に書いてある範囲で、質問は受けます
122:１３２人目の素数さん
22/06/05 11:48:11.42 1D20lrI6.net
>>103
なんか式変わってるな
exp(cosh(z))が正しいの？
でfが1を値としないなら
expの引数は2πni(n 整数)をとらない
一方gが局所同相ならgの微分は0でない
coshの微分が0になるのも2πniだから
条件に合致する そう云う理屈ね？
で一つ質問
局所同相って何処から出てきた？
123:１３２人目の素数さん
22/06/05 11:51:58.45 EWRvMuU5.net
>>109
なんやセタか
書いて損した
124:１３２人目の素数さん
22/06/05 11:57:28.01 n5vX6CbC.net
>>97-100
みなさん、ありがとう
1）このスレで (応援スレ) としているのは
「ワケワカのアンチ」お断りということです
2）勿論、正論はありです
「こうこうという理由で、IUTはダメ」という正論は、あり
3）しかし、IUTはきちんと査読され、何回もの国際会議も開いてきた
それを認めた議論をお願いしますよ（査読がデタラメとか、それは別のスレでお願いしますね）
4）さらに、数学的議論は、正確にお願いします
特に、「ワケワカのアンチ」側の不正確な数学的議論は、ツッコミを覚悟してくださいね（”通過”ってなにとかねｗ）
以上
125:１３２人目の素数さん
22/06/05 12:00:04.38 EX30FT9R.net
>>105
>なお、黒田本でも、”主枝 を考えて、Log z＝log|w|+i arg(w) (0<=arg(w)<2π)” としていること
>及び、図14を使って、無限多価性を処理して ”対数関数のリーマン(被覆)面とよばれている”と説明していることを再度強調しておく
>(つまり、>>73 前スレの62「そんなとこで切ったらlog(z)がz>0のとこで正則性なくなるのわからんか？」と、
> 前スレの179 「私の定義は log(z) := ∫[1,z] 1/t dt 終わりです」は、黒田本と不整合で両方アウトです )
黒田本でも複素変数 log(z) の主値 を考えて Log(z)＝log|z|+i arg(z) (0≦arg(w)<2π) と定義していること
と、エスパー君の俺様流の定義 log(z) := ∫[1,z] 1/t dt が同値であることを確認すればいいだけの話
定義が1つであるとは限らない
126:１３２人目の素数さん
22/06/05 12:00:27.08 EWRvMuU5.net
>>111
ワケワカってお前やん？
お前数学1ミリもわからんやん？
数学ちゃんと勉強するきない宣言今まで何回も繰り返してきたやん？
教科書読まんで“わけわかる”ようになれると思ってんの？
アホなん？
127:１３２人目の素数さん
22/06/05 12:04:10.78 1D20lrI6.net
>>108
>g(z)＝(e^φ(z)+e^-φ(z))/2
>よって
>f(z)=e^2πih(z)＝e^2πi（g(z)）^2＝e^-1/2πi(e^2φ(z)+e^-2φ(z)))
最後の
e^2πi（g(z)）^2＝e^-1/2πi(e^2φ(z)+e^-2φ(z)))
って正しい？
自分で計算し直してみた？
だめだよ、漫然と写したら
128:１３２人目の素数さん
22/06/05 12:09:35.17 EX30FT9R.net
>>105
>>112の
>黒田本でも複素変数 log(z) の主値 を考えて Log(z)＝log|z|+i arg(z) (0≦arg(w)<2π) と定義していること
は
>黒田本でも複素変数 log(z) の主値 を考えて Log(z)＝log|z|+i arg(z) (0≦arg(z)<2π) と定義していること
に訂正
129:１３２人目の素数さん
22/06/05 12:24:47.45 A8vj3XnE.net
>>115
まだ言うとるわこの能無し
まぁ前のシングルトンの時もガロア理論の時もこの調子やったからな
元々こいつの知能で理解できる範囲超えとるわな
根本はコイツが自分自身が能無しである事を認識できない事が原因なんやがな
自分が能無しやとわかって初めて抜け出そうと努力するが、そもそもそれが認識できないから未来永劫永遠に能無しのまま
130:１３２人目の素数さん
22/06/05 12:30:40.82 n5vX6CbC.net
>>114
正しいんじゃね？ ちょっと考えてみたけどｗ
もし、間違っていると思うなら、正しいと思う式を書いてみてね
手元の本では、2013年 初版18刷 とある
1968年1刷 から45年、だれも気づかなかったんだね、黒田氏本人も含めてねｗ
131:１３２人目の素数さん
22/06/05 12:33:02.57 DRg/gUvo.net
誰にも気づかれなかったミス発見しました宣言きたーwwwwwwwwwwwwwww
132:１３２人目の素数さん
22/06/05 12:38:19.60 EX30FT9R.net
>>116
私は 集合A ではない
研究するとき、異なる定義が同値であること位することがあるだろ
133:１３２人目の素数さん
22/06/05 12:42:10.20 n5vX6CbC.net
>>112 >>115
>黒田本でも複素変数 log(z) の主値 を考えて Log(z)＝log|z|+i arg(z) (0≦arg(z)<2π) と定義していること
>と、エスパー君の俺様流の定義 log(z) := ∫[1,z] 1/t dt が同値であることを確認すればいいだけの話
>定義が1つであるとは限らない
もちろん、同値な定義は複数あるけど
上記の両者は、明らかに、同値ではないよね
黒田本は、キチンと多価性の処理をした上での定義だ
一方、エスパー君 俺様流の定義 log(z) := ∫[1,z] 1/t dtは、多価性の処理が出来ていないのです。だからダメ
（ >>105の「私の定義は log(z) := ∫[1,z] 1/t dt 終わりです」の ”終わりです”がまずい。多価性の処理をした上で終わらないとね）
134:１３２人目の素数さん
22/06/05 12:42:34.59 DRg/gUvo.net
>>119
なんや、セタじゃないのか
まぁどうでもいいけど
そもそもこの例でも“主値”なんぞ考えてシコシコやるのがどんなけ大変でしかも無意味か、この先こんな事続けていけるはずないと分かりそうかもんだけどな
そこで被覆空間論という素晴らしいアイデアによって全て解決する、リーマン面に至っては“微分が0”になってるところだけかわしていればよいというこの素晴らしいアイデアの価値がわからんならどのみちセタと大して変わらん
135:１３２人目の素数さん
22/06/05 12:44:07.52 DRg/gUvo.net
>>120
まとめなくて結構wwwww
意味わかってないのになんでまとめられるんwwwwwwwww
アホ～アホセタ～wwwwwwwwwwwwwwwww
136:１３２人目の素数さん
22/06/05 13:25:19.77 n5vX6CbC.net
>>121
ワケワカ全開か？
>そもそもこの例でも“主値”なんぞ考えてシコシコやるのがどんなけ大変でしかも無意味か、この先こんな事続けていけるはずないと分かりそうかもんだけどな
なんか、黒田本を否定してない？
前スレ 988 "名著だよ
初版1968だから著作権切れてるのかな？
もしかしたらネットに転がってるかも"
は、あなたでしょ？ｗ
log(z)で、極形式 z=reiθを考えて、θの範囲を一価に制限して、主値 Log z を考えるのは普通で
”大変でしかも無意味”とか、なんか