22/06/05 17:32:17 5AykcQa0.net
>>128
>リーマン面の利点は、
>複素関数の大域的な特性が把握できること、
>例えば幾何学的特性であったり、
>位相幾何の種数などであったりするけど、
>それが良いんだよ
じゃ質問
複素平面に2つ以上いくつ穴を開けても
開円盤がその普遍被覆となる？
Yesだとして具体的に被覆写像構成出来る？
170:１３２人目の素数さん
22/06/05 18:02:34.10 n5vX6CbC.net
>>149
>お前のクソ計算なんぞ相手にするかアホ
いやいや、計算しているのは、私じゃない
黒田本間違いと言っているのは、 >>130 >>114の人だよ
人に”黙って一冊の教科書に集中して黙々と努力する”>>135とか宣うあなた
おまえ、「複素関数概説 黒田正」読んだんじゃ無いのか？
>そもそも黒田先生の本は学部生向きにヘッタクソにしてある以前に少し分母小さくしてるから益々議論が一手増えて大変なんだよ
意味わかんないけど？
”少し分母小さくしてるから益々議論が一手増えて大変”とか関係ないよ
黒田本が、計算間違えているかどうか？
答えてよ。「複素関数概説 黒田正」読んだんじゃ無いのか？
問題 >>29の ”f(z) = exp(2πicosh(g(z)))”は、黒田本のP170から取ったと前スレで言ったよね
その大本の計算が、合っているのか間違っているのかの問題だよ
答えられないのは
へんだよｗｗ
171:１３２人目の素数さん
22/06/05 18:04:28.05 EpYzCPhH.net
>>151
>>複素解析の灯
どなたが掲げてるの
172:１３２人目の素数さん
22/06/05 18:22:44 n5vX6CbC.net
>>149
>お前のクソ計算なんぞ相手にするかアホ
重ねていうが
黒田本が、計算間違えているかどうか？ >>130 >>114
答えてよ。「複素関数概説 黒田正」読んだんじゃ無いのか？
もし、これに答えられないならば
あなたの数学能力に、完全に疑問符付くよ
こんな単純計算の簡単な話に、答えられないなんてね
そもそも
リーマン面の理解についても
ムチャクチャ言っているし>>142-143
回答を待つ！！ｗｗ
173:１３２人目の素数さん
22/06/05 18:30:08 An4yUwvq.net
人がゴミのようだ
174:１３２人目の素数さん
22/06/05 18:40:03 n5TEWVVQ.net
>>複素解析の灯
>>どなたが掲げてるの
小平先生や楠先生の孫弟子やひ孫弟子たち
SiuやYauの弟子もいるかな
175:１３２人目の素数さん
22/06/05 18:42:38.41 AXLt+U06.net
バカみたいにポエティックな表現
無駄
176:１３２人目の素数さん
22/06/05 19:43:32 TeY/1huj.net
>>155
知らんわ
俺は黒田先生の本読んでる最中にコレがリーマン面の話が隠れてると見�
177:ｲいて途中の証明読み飛ばしたからな ある程度以上の力のある学部生なら誰でもできる お前とオレでは住んでる世界が違うんだよ ばーか
178:１３２人目の素数さん
22/06/05 20:46:48.30 n5vX6CbC.net
>>159
>俺は黒田先生の本読んでる最中にコレがリーマン面の話が隠れてると見抜いて途中の証明読み飛ばしたからな
それで誤魔化せると思うのかい？
>>29より
”fを単位円Δ上定義された正則関数で0,1の値を取らないとする
このときΔ上の正則関数gでf(z) = exp(2πicosh(g(z))) *）を満たすものがとれる （注*）式修正済み）
リーマン面の話題が出てたからちょっと復習の意味も込めて教科書読み直してみつけた話
Schottkyの定理の証明の最初の入り口
リーマン面の話知ってれば何を確認すればいいか0.5秒で書けて5分で解ける話
できるんか？”
だったよねｗ
で
”リーマン面の話題が出てたからちょっと復習の意味も込めて教科書読み直して”だったね
その教科書が、「複素関数概説 黒田正」””オレのは第8刷でそれならp170の下のあたり”>>147
で、私の取り寄せたのが第18刷 2013年だから、第8刷だとおそらく20年以上前で、20世紀でしょ？ あんた東北大出身かい？
あなたの教科書でしょ？ ”黙って一冊の教科書に集中して黙々と努力する”>>135とか宣うあなたｗ
で、問題作るとき、p170の該当箇所を読まなかったのかな？（下記）
まあ、読まなかったのは良いとして、いま読んだらどうだ？
Schottkyの定理の証明に、あなたのリーマン面の理論を適用したら、すぐ解けるんだよねｗ
で、問題 f(z) = exp(2πicosh(g(z))) を作ったんだ
作った問題も、リーマン面の理論を適用したら、すぐ解けるんだったねｗ
だったら、お得意の リーマン面の理論でさ、
黒田本の f(z)=e^2πih(z)＝e^2πi（g(z)）^2＝e^-1/2πi(e^2φ(z)+e^-2φ(z))) >>108
が正しいのか？ はたまた >>130 =-exp(2πi(cosh(2φ(z))/2) が正しいのか？
あなたの リーマン面の理論で、すぐ判別できるよね！ｗ
やってみてよ！ｗｗｗ
つづく
179:１３２人目の素数さん
22/06/05 20:47:12.19 n5vX6CbC.net
>>160
つづき
(参考)
前スレ ｽﾚﾘﾝｸ(math板:988番)
988 名前：１３２人目の素数さん[sage] 投稿日：2022/05/29(日) 15:48:48.50 ID:F+srbD6H [1/4]
それは残念
名著だよ
初版1968だから著作権切れてるのかな？
もしかしたらネットに転がってるかも
993 名前：１３２人目の素数さん[sage] 投稿日：2022/05/29(日) 15:58:55.63 ID:F+srbD6H [3/4]
>>989
まぁリーマン面とか被覆変換とかの議論はこんなふうに展開されていくもんだという一例をご紹介したまで
なんか「俺様定義はいい線行ってる」と思ってるやつ多いからな
ホントに数学科の専門以降の議論で行われてる議論と自分の理解がどれだけかけ離れてるか見せてやろうと
俺様定義に頼ってわかった気分で満足してたら結局どっかでついていけなくなるんだよ
994 名前：１３２人目の素数さん[sage] 投稿日：2022/05/29(日) 16:00:34.55 ID:F+srbD6H [4/4]
>>992
まぁこのスレはもうあとちょっとで終わる
極力セタの立てたスレには行きがかりなければ書かないつもりだけどまた噛みつかれたらやってくるかもしれないのでその時はよろしく
(引用終り)
以上
180:１３２人目の素数さん
22/06/05 21:16:31.75 hU2FIg/i.net
>>160
>e^-1/2πi(e^2φ(z)+e^-2φ(z)))
数式書き間違ってない
指数の2πiがいきなり分母にいくわけないよ
そんな計算してないんだから
高校生でも分かるけどな
わかんないの？
181:１３２人目の素数さん
22/06/05 21:25:16.43 hU2FIg/i.net
>>161
書き込み要らないんで
当該ページのスキャン画像上げて
あんた、数式も正しく書き写せないんか？
182:１３２人目の素数さん
22/06/05 21:30:32.94 EWfTqFGR.net
>>100
ごまかす
バーカ
能無し
数学の世界はお前には絶対届かん世界
しかしウロウロされふだけでも目障りやねんゴミ
消えろカス
183:１３２人目の素数さん
22/06/05 21:31:57.68 EWfTqFGR.net
>>162
アンポンタンそんな式書いとんのかwwww
まさか2πiが分母にくるとはwwwwwwwwww
意味がわかってないにも程があるわwwwwwwwwwwww
184:１３２人目の素数さん
22/06/05 22:33:40.31 n5vX6CbC.net
>>162
>>e^-1/2πi(e^2φ(z)+e^-2φ(z)))
>数式書き間違ってない
>指数の2πiがいきなり分母にいくわけないよ
ご
185:苦労様 はいはい、高校生でもわかるように書くと >>108より f(z)=e^2πih(z)＝e^2πi（g(z)）^2＝e^-1/2πi(e^2φ(z)+e^-2φ(z))) ↓ f(z)=e^2πih(z)＝e^2πi（g(z)）^2＝e^-(1/2)πi(e^2φ(z)+e^-2φ(z))) な 因みに、>>114と>>130の指摘は、そこじゃないよね 多分。1/2πiは、(1/2)πiだと理解した上での指摘でしょう
186:１３２人目の素数さん
22/06/05 22:39:01.10 n5vX6CbC.net
>>163
>当該ページのスキャン画像上げて
いやだね
本買えよ
それか、図書館に行け
>あんた、数式も正しく書き写せないんか？
それって、自分がこの板で数式を書いたことがありませんと
自白しているんじゃね？
この板では、数式は手書きやTeXのようには書けません！
だから、私はこういう議論はしないんだ、便所の落書き板ではね
今回のみ例外です
187:１３２人目の素数さん
22/06/05 22:46:20.34 n5vX6CbC.net
>>165
>まさか2πiが分母にくるとはwwwwwwwwww
>意味がわかってないにも程があるわwwwwwwwwwwww
溺れる者はなんとやらかｗ
そこに救いを求めるのか？ｗ
あんたが最初に指摘したら、それ通用したかもね
でも、>>162の誤読に悪乗りしているだけじゃんか
あんた、黒田を持っているんだろ？
本を見なよ
そこの該当の式と、>>130 =-exp(2πi(cosh(2φ(z))/2)と
どちらが正しいか？ 早く答えなよｗ
188:１３２人目の素数さん
22/06/05 22:56:29.10 gff1kaDP.net
>>188
溺れるwwwww
全く理解できてない、なに言ってるか全くわかってない世界に必死にしがみついてるカス～～wwwww
本なんかみんでも大体頭に入っとるわボケ～
お前のあたまと一緒にすんなカスwwwwwwwwww
189:１３２人目の素数さん
22/06/05 22:59:43.44 gff1kaDP.net
>>168
あ、ちなみに確か本はexp(πicosh(2z))だった記憶があるな
しかしこれだと一手余計にかかる
だからオレはあえてexp(2πi cosh(z))にした
この方が証明楽だからな
まぁここは記憶定かではない
当然自分で作った方の証明覚えてるからは
190:１３２人目の素数さん
22/06/05 23:11:50 n5vX6CbC.net
>>169-170
>本なんかみんでも大体頭に入っとるわボケ～
>お前のあたまと一緒にすんなカスwwwwwwwwww
>あ、ちなみに確か本はexp(πicosh(2z))だった記憶があるな
言ってる尻から間違っているｗｗｗ
黒田本P170は、exp は使ってないよ
ちゃんと、本見なよ
つーか、必死に逃げ回ってるよね
本を見たくない潜在意識が、
本の確認を遅らせているんだねｗ
191:１３２人目の素数さん
22/06/05 23:17:00 qJFYUkYK.net
>>171
お前はexp(z)とe^zの変換もできんのですか～
アホ～
ボケ～
能無しwwwwwwwwwwwww
192:１３２人目の素数さん
22/06/05 23:18:58 qJFYUkYK.net
本exp(πi cosh(2z))じゃないのか？
なんか記憶違いかな？
まぁexp(2πi cosh(z))で証明できるんだからそれでいいし
193:１３２人目の素数さん
22/06/05 23:36:49.09 n5vX6CbC.net
>>169-170
>本なんかみんでも大体頭に入っとるわボケ～
>お前のあたまと一緒にすんなカスwwwwwwwwww
>あ、ちなみに確か本はexp(πicosh(2z))だった記憶があるな
二重三重に間違っているぞ
それに、>>29で
f(z) = exp(2πicosh(z))
↓
f(z) = exp(2πicosh(g(z)))
の訂正したろ？ また、同じ間違いを繰り返す
なお
同じ指摘を >>74-75でもしている
雑だな
おれと変わらんなｗ
194:１３２人目の素数さん
22/06/06 00:07:13.42 tZZa15XB.net
>>174
間違ってないんちゃうか？
やっぱりexp(πi cosh(2z))やろ？
まぁ、本事情で職場やから明日ハッキリするわ
195:１３２人目の素数さん
22/06/06 06:36:17.50 t8G2YPhI.net
>>175
>まぁ、本事情で職場やから明日ハッキリするわ
了解
よろしくね
なお、念押し >>130 >>114 の指摘も、ちゃんと確認してね
あとさ、些末だが
”やっぱりexp(πi cosh(2z))やろ？”
のところ
>>174で指摘したように
f(z) = exp(2πicosh(z))
↓
f(z) = exp(2πicosh(g(z)))
の訂正したろ？
”本なんかみんでも大体頭に入っとるわボケ～”>>169
という尻から、間違いを繰り返すね、お主は
雑だな
おれと変わらんなｗ
196:１３２人目の素数さん
22/06/06 09:01:49.12 tJacQHvK.net
>>170
黒田の方法でも係数調整すれば
exp(2πi cosh(z))にできるね
いずれにせよ微分が0の点を通らなければいい
というのが肝心、というのは納得
ていうか、あなた、もしかしてク�
197:鴻Qン？
198:１３２人目の素数さん
22/06/06 11:56:31.42 KOXlzXHx.net
またひとつ賢くなった
黒田先生の本を確認
その間5分ほど
貴重な5分という時間をこの世界でなんの役にも立たん能無しのクズのために消費した
コイツに関わって得する人間は存在しない
この世界で1ミリの役にも立たないクズ
199:１３２人目の素数さん
22/06/06 12:39:13.98 32P2JHw+.net
何十年もクロゲンの亡霊を見続けるとか哀れだな
200:１３２人目の素数さん
22/06/06 12:47:59.36 32P2JHw+.net
このひとクロートじゃないよ
自分で言ってたじゃん
>>178
5分は惜しいが、高木の相手はしてたんでしょ？
そっちの方がよっぽど無駄ｗ
「エスパーできません！」てのも
相手の思考を読んで、その上で間違いを
訂正して上げるって無駄な気遣いでしょｗ
所詮格下相手にイキってる雑魚思考じゃん
201:１３２人目の素数さん
22/06/06 12:57:09.89 zns2QIpC.net
>>178
結局本にはどう書いてあった？
スキャンして上げてみて
202:１３２人目の素数さん
22/06/06 12:59:15.22 zns2QIpC.net
>>179
クロゲン、40過ぎてやっと博士ってホント？
203:１３２人目の素数さん
22/06/06 20:52:52.57 t8G2YPhI.net
>>181 >>163
>結局本にはどう書いてあった？
>スキャンして上げてみて
どうもです
スレ主です
思い直して、
やったこと無かったけど
かなり苦労して、スキャン上げ
やってみました（下記ご参照）
＜スキャンのアップ＞
URLﾘﾝｸ(imgur.com)
定理7.10 （ショットキ(Schottky)）P170 複素関数概説 黒田正 共立出版 初版18刷 2013
（補足）
・P170のみです
・P170の直前が、>>104 の「補助定理」で、
証明が1行のみあり
”関数f'(z)(f(z)))^-1は領域Dで正則であるから”となっている
この後、上記のURLのP170へ続くのです
なお、f'(z)(f(z)))^-1は、f'(z)/f(z) のことでしょうね。上記のURLのP170冒頭に繋がります
・あと、P170の次P171から、定理7.10の定数Kの評価の証明みたいです
ここで、P168の定理7.9を使います。定理7.9は定理7.8を使っていて、定理7.8では f'(z)≠0が条件であることを注意しておきます
つまり、P170の範囲では、 f'(z)≠0は使わないと見ました
以上
204:１３２人目の素数さん
22/06/06 21:33:17.56 sCou0gXH.net
>>183
ご苦労 そして ご愁傷さまw
やっぱり
e^-1/2πi(e^2φ(z)+e^-2φ(z)))
ではなく
e^((-πi/2)(e^2φ(z)+e^-2φ(z)))
でしたね
>>166で-1/2πiは-(1/2)πiのことだとか言い訳してるけど
数式のルールも知らんサルの戯言ですな
ギャハハハハハハ！
あんた高校1年生からやり直しな
205:１３２人目の素数さん
22/06/06 21:48:32.39 sCou0gXH.net
>>184
独善的な「おサルさん」は
●自分勝手な「俺様ルール」を発明、適用する
●何の説明もせずとも他人が「俺様ルール」を
理解していると勝手に思い込む
おサルさんのディスコミュニケーションの原因は
上記2点に尽きる
おサルさんが数学書を誤読するのも
「俺様ルール」で読もうとするから
数学を学びたかったらまっさきに自分を抹殺しなさい
これ豆なw
206:１３２人目の素数さん
22/06/06 22:19:24.34 sCou0gXH.net
>>183
> f'(z)≠0は使わない
e^zの微分は至るところ0でないし
z^nの微分が0になるのは
zが0のときだけだが
その時はz^nが0
207:１３２人目の素数さん
22/06/06 23:36:12.72 t8G2YPhI.net
>>184-186
コメント
ありがとね
いや、>>178見ると、逃亡じゃんｗ
「黒田先生の本を確認 その間5分ほど」
とか言って、結論出してないよね
>>175で
「間違ってないんちゃうか？ やっぱりexp(πi cosh(2z))やろ？ まぁ、本事情で職場やから明日ハッキリするわ」
とか宣いながら
結論どうなんよ？ｗ
結論出さずに、逃げているｗ
>e^-1/2πi(e^2φ(z)+e^-2φ(z)))
>ではなく
>e^((-πi/2)(e^2φ(z)+e^-2φ(z)))
そこ元々は、>>183のスキャン画像の通りです
元は、普通の数学のテキストの分数なわけです
で、この便所板にどう落書きするかだけのこと
落書きにルールはありません！ｗ
数学では、数字と文字が連続なら、2a と書けば、2*a のこと。数字1/2に文字πiが続けば、1/2πiは(1/2)*πiと読めるはず
（ここらは、すでに数学教科書の標準記法から外れている。だって、便所板の落書き場だものｗ）
しかし、πiが分母だとかね。そう読むとは、夢にも思わなかったなｗ（それなら、1/(2πi)でしょうｗ）
つづく
208:１３２人目の素数さん
22/06/06 23:36:42.82 t8G2YPhI.net
つづき
>e^zの微分は至るところ0でないし
そうなんだよ
だから >>121より
「そこで被覆空間論という素晴らしいアイデアによって全て解決する、リーマン面に至っては“微分が0”になってるところだけかわしていればよいというこの素晴らしいアイデアの価値がわからんなら」
とか意味わからんし
>>183のアップした黒田先生の定理7.10 （ショットキ(Schottky)）の証明見て、それが言えるか？
あと、リーマン面とか、被覆空間論とか、
そんなものから e^((-πi/2)(e^2φ(z)+e^-2φ(z))) （つまりはcosh関数）が出るかい？
かつ、黒田先生の定理7.10 における e^((-πi/2)(e^2φ(z)+e^-2φ(z))) の誘導は、結構最短と思うけど
「これだと一手余計にかかる
だからオレはあえてexp(2πi cosh(z))にした」>>170 も、言えるか？
そもそも、>>29「このときΔ上の正則関数gでf(z) = exp(2πicosh(z))を満たすものがとれる
リーマン面の話題が出てたからちょっと復習の意味も込めて教科書読み直してみつけた話
Schottkyの定理の証明の最初の入り口
リーマン面の話知ってれば何を確認すればいいか0.5秒で書けて5分で解ける話」
って、黒田先生の定理7.10 （ショットキ(Schottky)）の証明見て、しれ言えるか？
彼は、黒田先生は、本当はリーマン面のもっとすっきりした証明を得ていたが、
初心者向けに、リーマン面を使わずに証明したと言っていたけど>>124-125
違うよね
209:１３２人目の素数さん
22/06/06 23:44:25.35 g6lInsoF.net
まぁこの話は無理やわな
ガロア理論すら無理なのに
1番可能性があった公理的集合論ですらあのざま
性格もダメだけどまぁ見たところ知能も足りてないようだしな
210:１３２人目の素数さん
22/06/06 23:45:35.00 t8G2YPhI.net
>>188
まず、タイポ訂正
って、黒田先生の定理7.10 （ショットキ(Schottky)）の証明見て、しれ言えるか？
↓
って、黒田先生の定理7.10 （ショットキ(Schottky)）の証明見て、それ言えるか？
な
ところで、本題は
>>130 >>114の 黒田本間違えている
という意見は、それで良いんか？
私は、結論保留だけどｗ
問題を出した彼が、戻ってきたときに、問い詰めるために
「黒田本が、間違えているのかどうか？ 一体全体どうなんだ？」ってｗ
結論保留の方が、
追求に迫力出るよねｗ
211:１３２人目の素数さん
22/06/06 23:57:16.69 t8G2YPhI.net
ああ、
まったく余談だが
>>178
>またひとつ賢くなった
>黒田先生の本を確認
>その間5分ほど
>貴重な5分という時間をこの世界でなんの役にも立たん能無しのクズのために消費した
この短い文で、
すでに精神分裂じゃんｗ
前段は、”ひとつ賢くなった”黒田先生の本確認の5分で
後段は、”貴重な5分という時間をこの世界でなんの役にも立たん能無しのクズのために消費した”
一体どっち？
病気だよね？
212:１３２人目の素数さん
22/06/07 00:01:55.89 IiYl/pX/.net
精神分裂だろうがなんだろうが一日中ネットやってる社会のゴミよりマシだよ
なんの役にも立たんお前みたいなクズでも生かしといてくれる日本社会に感謝しな
まぁお前の哲学に“他人に感謝する”などという言葉はないんだろうけどな
213:１３２人目の素数さん
22/06/07 06:49:08.57 ZctMc/uB.net
>>187
>数学では、数字と文字が連続なら、2a と書けば、2*a のこと。数字1/2に文字πiが続けば、1/2πiは(1/2)*πiと読めるはず
>しかし、πiが分母だとかね。そう読むとは、夢にも思わなかったなｗ（それなら、1/(2πi)でしょうｗ）
余談ですが、
これショルツェ氏と望月氏の論争のアナロジーかも
つまり、ショルツェ氏は 1/2πiを、1/(2πi)と解釈して、「矛盾だ！」「望月不等式 cor3.12は導けない！」という
一方、望月氏は「初歩的間違いを している」「ちゃんと読めば、1/2πiは(1/2)*πiだぜ
214:」 というも、平行線 IUTが新規の理論で複雑すぎて、従来の数学知識からの修正が効かない 上記では、複素関数論における指数関数の知識があれば、”1/2πi”は、(1/2)*πiと1/(2πi)と二通り解釈できるが、前者が妥当だろうとなるのだが しかし、IUTではそうならない どちらが正しいか？ しばらく様子を見るしかない
215:１３２人目の素数さん
22/06/07 06:51:56.12 2Cg7v42G.net
>>187
>数学では、数字と文字が連続なら、
>2a と書けば、2*a のこと。
然り しかしそこから
>数字1/2に文字πiが続けば、
>1/2πiは(1/2)*πiと読めるはず
は、出てこない
>ここらは、すでに数学教科書の
>標準記法から外れている。
そう おサルの「俺様ルール」
>だって、便所板の落書き場だもの
ここが便所なのではなく
おサルのキミが💩なんだがwww
>πiが分母だとかね。
>そう読むとは、夢にも思わなかったな
>（それなら、1/(2πi)でしょうｗ）
それはこっちのセリフ
高校出てるなら
1/2πiは1/(2πi)と読む
だいたいπi/2と書いてあるのに
わざわざ1/2πiと書き換える奴の気がしれん
さすが工業高校を1年で退学した中卒www
216:１３２人目の素数さん
22/06/07 07:01:24.19 2Cg7v42G.net
>>190
>ところで、
>黒田本間違えている
>という意見は、それで良いんか？
マイナスの位置が違ってるな
指数のところじゃないだろ
高校生でも分かる
ま、中卒は指数計算も出来んかwww
中卒<高卒<非数学科大卒<数学科大卒
217:１３２人目の素数さん
22/06/07 10:48:17.89 51JBxWWw.net
直観に反する面白いことを発見して感動した
218:１３２人目の素数さん
22/06/07 13:16:14.96 Y0RvZ70I.net
>>193
>指数関数の知識があれば、
>”1/2πi”は、(1/2)*πiと1/(2πi)と二通り解釈できるが、
>前者が妥当だろうとなる
指数関数関係なし
後者が妥当
そもそもπi/2をわざわざ1/2πiと書き直すのが
どうしようもなく気違ってる
認痴か？
219:１３２人目の素数さん
22/06/08 08:39:19.67 M2XDa0GM.net
静かになったな
いいことだ
220:１３２人目の素数さん
22/06/08 15:18:36.30 uSwT+W3Q.net
💩
221:１３２人目の素数さん
22/06/08 16:24:45.03 qHXmRjRk.net
>>198
どうも、スレ主です
静かでいいですね
>>163の ID:hU2FIg/iさん、ありがとう
最初は、>>167のようにやる気無かったんだけど
問題の出題者が>>178で、頬かむりして逃げようとしているので
「こいつ、逃がさんぞ」と思ったんだ
で、苦労して画像アップ方法を調べて、やってみました(>>183)
やってみると、
議論が引き締まって
早く収束するから、良いね
一つ賢くなったよ
ありがとうございます。お礼申し上げます
222:１３２人目の素数さん
22/06/08 16:35:40.37 qHXmRjRk.net
スレ主です
さて
>>183 スキャン追加
URLﾘﾝｸ(i.imgur.com)
定理7.10 （ショットキ(Schottky)）証明後半 P171 複素関数概説 黒田正 共立出版 初版18刷 2013
これの前 URLﾘﾝｸ(imgur.com)のP170の最後の行に
「φ’（α）≠0であると仮定すれば、・・」とあって、
上記のP171へ続きます。
そして、このP171の真ん中あたりで
「この最後の不等式は、φ’（α）＝0でも成り立つから・・」
としています。面白い筋ですね。場合分けの変形かも
先に、φ’（α）≠0であると仮定して不等式を導き、あとで導いた不等式は、「φ’（α）＝0でも成り立つ」とする
そして、証明の最後に、式 e^-(1/2)πi(e^2φ(z)+e^-2φ(z))) >>166
を使って
その絶対値評価から、問題のショットキ(Schottky)の定数 K(f(0),Rr^-1)を導く。
で、何を言いたいか？
１．一つは、P170の範囲では、 f'(z)≠0は使わない( >>183 )
２．さらに、 φ’（α）≠0を仮定するけど、結局 「φ’（α）＝0でも成り立つ」としている
（当然といえば当然で、定理7.10 （ショットキ(Schottky)） では、微分に関する条件など、なにも仮定されていないんだから）
３．つまりは、”「リーマン面に至っては“微分が0”になってるところだけかわしていればよい」？ 意味わからん”（>>123）
ってこと。繰り返すが
223:、黒田本 定理7.10 （ショットキ(Schottky)）証明前半 では、微分関係ない。 それで、式 e^-(1/2)πi(e^2φ(z)+e^-2φ(z))) の存在を導いている そして、証明後半で、φ’（α）≠0を仮定するけど、結局 「φ’（α）＝0でも成り立つ」から、 上記「“微分が0”になってるところだけかわして」が、黒田本 定理7.10 の証明とは、全く不整合だってことです つづく
224:１３２人目の素数さん
22/06/08 16:36:24.64 qHXmRjRk.net
>>201
つづき
なお、私は不勉強なので、「“微分が0”になってるところだけかわして」には
深い深い数学がバックグランドにあるのかも？
例えば、なお、ちょっと検索した結果を、下記に貼った
IUTを読むための用語集資料スレ2
ｽﾚﾘﾝｸ(math板:248番)-249 より
”等角 (conformal) な同相写像とは，定義域上で正則（すなわち複素微分可能）で
あり，かつ微分の値が 0 にならない同相写像である．2
2「等角」という語をあえて使うのは，微分が 0 にならないことを強調するためである．”
などと出来ています。これ、複素解析特論I タイヒミュラー空間と複素力学系への応用 川平 友規からです
”タイヒミュラー”がヒットしてびっくりです
以上
225:１３２人目の素数さん
22/06/08 17:35:23.85 qHXmRjRk.net
>>73 補足と追加
指数関数と対数関数 P46-48 複素関数概説 黒田正 共立出版 初版18刷 2013
の画像、アップします
URLﾘﾝｸ(imgur.com) P46
URLﾘﾝｸ(imgur.com) P47
URLﾘﾝｸ(i.imgur.com) P48
なお
該当ページの説明は、すでに>>73に書いた通りです
P47 ”図14を使って、”対数関数のリーマン(被覆)面とよばれている”と説明している”(>>73)
は、下記の”普遍被覆空間”の図も参照すると、理解が深まると思います
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
被覆空間
URLﾘﾝｸ(upload.wikimedia.org)
被覆写像 p : Y → X によって底空間 X の開集合 U は被覆空間 Y の同相な開集合 S1, S2, S3, … によって「均一に被覆」されている。
具体例
Ｒ は、単位円 S1 の普遍被覆である。指数写像
p(t) = exp(2πit)
により、写像 p : R → S1 は被覆で、S1 の各点は無限回被覆される。
(引用終り)
なので、>>101 の批判「アンポンタンの俺様定義がなぜダメか？
それはそんな俺様定義したってホントにそれで数学の問題解くのに役に立つんかって話」
は、完全に外れです。黒田本にある通りです！ｗ （これを言いたかったんだｗｗ）
なお、学術的な議論の場合、ある程度の引用は法律上認められています
また、天国の黒田先生も、先生の御著書の議論は許容してくれると思います
なお、もし著作権上問題だと思われたら、共立出版か黒田正のご遺族で、著作権を承継されている権利をお持ちの方
運営を通して、私に連絡をとってください
著作権を持っていない方の（部外者） ご意見や議論は、この件については ここではご遠慮願います
（どうぞ、共立出版へ連絡をとって下さい）
以上
では
226:１３２人目の素数さん
22/06/08 18:11:30.37 qHXmRjRk.net
>>190
>ところで、本題は
> >>130 >>114の 黒田本間違えている
>という意見は、それで良いんか？
念押し
これ、式は>>183の黒田本の通りです
つまり 黒田本の証明の式誘導で、e^-(1/2)πi(e^2φ(z)+e^-2φ(z))) が導けるのか？
はたまた、式 e^-(1/2)πi(e^2φ(z)+e^-2φ(z))) は 間違っているのか？
どっちってことね
（>>108の黒田本から転記したときの問題は考えないで、純粋に黒田本だけで考えてください
黒田本に、誤植あるいは計算ミスがあるのかどうか？）
もう一度 >>183にアップした黒田本の画像を見て、考えて下さい
（1968年第1冊からだれも気付かなかったタイポか。もし、そうなら面白いね）
繰り返すが、私の判断は保留です >>190
あの問題の出題者 >>29 が、戻って来たときに
「正しいのかどうか？ どっち？ あなた黒田本勉強して、そこから問題取ったんでしょ！」
と問い詰めるためにねｗｗ
227:１３２人目の素数さん
22/06/08 18:33:55.84 qHXmRjRk.net
あと、余談だが、>>29の問題の出題者は、>>93みたいな難しいことを
みんなから、あまりツッコミ受けずに書く芸を持っている
彼は、きっと、難しいことを、勉強しているんだね
そこは評価している
だけど、基本的なところで、無茶苦茶を書かないように
正しいことを書いてもらうのは、難しくても構わない
数学だからね
でも、間違ったことを書いて、指摘されたら、誤魔化そうとしないことだ
ミスを指摘されたら、誤魔化さずに、ちゃんと見直して、直しなさい！ってことです
228:１３２人目の素数さん
22/06/08 19:33:34.46 I9ptL6dw.net
>>201
>”「リーマン面に至っては
> “微分が0”になってるところだけ
> かわしていればよい」？
> 意味わからん”
微分が0でない=局所同相
exp(2πicosh z)の微分が0になる点で値が1になる
f zが値1をとらないなら
f z=exp(2πicosh g z)としたとき
g zはexp(2πicosh z)の微分が0になる点を値にとらないし
g zの値域ではexp(2πicosh z)の微分が0でないから
exp(2πicosh z)は局所同相な被覆写像ってこと
229:１３２人目の素数さん
22/06/08 19:42:05.76 I9ptL6dw.net
>>202
>私は不勉強なので、
もしかしてヤコビアン知らない？
逆関数定理知らない？
それじゃ「ヤコビアンが0でない」の意味
わかんないよな
線形写像の行列式が0でないなら
線形同型写像ってことに対応するんだけど
もしかして線形代数から分かってない？
大学数学 全く無知？
230:１３２人目の素数さん
22/06/08 19:54:14.85 I9ptL6dw.net
>>204
正しい式は以下の通り 全く高校数学レベル
e^(2πi(e^2φ(z)+e^-2φ(z)+2)/4) =
e^(2πi(e^2φ(z)+e^-2φ(z))/4+4πi/4) =
e^(πi/2 (e^2φ(z)+e^-2φ(z))) exp(πi) =
-e^(πi/2 (e^2φ(z)+e^-2φ(z)))
231:１３２人目の素数さん
22/06/08 20:01:37.26 I9ptL6dw.net
>>205
>>93は実は全く基本的なレベル
こんなんわかんない人には
圏論なんか到底無理
グロタンディクの何が画期的か全く理解できないので
グロタンディクの名前を口にしても無駄なレベル
232:１３２人目の素数さん
22/06/08 20:07:35 I9ptL6dw.net
>ミスを指摘されたら、誤魔化さずに、
>ちゃんと見直して、直しなさい！
無知を悟ったら、開き直らずに、
きちんと学んで、理解しよう
233:１３２人目の素数さん
22/06/08 20:40:10.45 V9H7okra.net
>>209
ありがと
では、聞く
Q1）”通過する”>>93 の定義を述べよ
Q2）”通過する”という用語を使って >>93の可換図式を説明している大学数学のテキストを一つ示せ
よろしく
234:１３２人目の素数さん
22/06/08 20:55:33.17 V9H7okra.net
>>207
>もしかしてヤコビアン知らない？
ヤコビアンは、知っていたけど、記憶の彼方だったな
川平 友規氏 複素解析特論I タイヒミュラー空間などを読んで、ああそうだったと思い出したよ
>逆関数定理知らない？
なんかあったよね
多変数解析で
川平 友規氏で 記憶が戻ってきたよ
235:１３２人目の素数さん
22/06/08 21:00:58.67 V9H7okra.net
>>206
ありがと
じゃ、その”微分が0でない=局所同相”使って
>>29の
”fを単位円Δ上定義された正則関数で0,1の値を取らないとする
このときΔ上の正則関数gでf(z) = exp(2πicosh(g(z)))を満たすものがとれる
リーマン面の話題が出てたからちょっと復習の意味も込めて教科書読み直してみつけた話
Schottkyの定理の証明の最初の入り口
リーマン面の話知ってれば何を確認すればいいか0.5秒で書けて5分で解ける話
できるんか？”
を、彼の主張の筋でやってみて
なお、彼がいうには、上記は黒田本 >>183の式よりも、一手間簡単に示せるという
それも説明してね
よろしく
236:１３２人目の素数さん
22/06/08 21:13:05.15 V9H7okra.net
>>208
ありがと
＞全く高校数学レベル
237:私もそう思うけど では、>>29の数理論理君は？ 多分彼は、数学科時代に 黒田先生から 複素関数論を学んだんだよね 黒田本をテキストとして 東北大と名古屋大で、講義したらしいね、まえがき見ると 私に言わずに、 まず、>>29の数理論理君に言ってあげましょうねｗ また、東北大と名古屋大生（当時）は、どうだったの？ 気づかなかったの？ｗ まあ、 この件の真偽は あえて保留するよ
238:１３２人目の素数さん
22/06/08 21:15:22.72 V9H7okra.net
>>210
>>ミスを指摘されたら、誤魔化さずに、
>>ちゃんと見直して、直しなさい！
>無知を悟ったら、開き直らずに、
>きちんと学んで、理解しよう
統合失調症なのかｗ
あるいは、意図してｗｗ
違う話を混ぜているのかｗｗｗ
前者と後者は、全くリンクしないでしょ
別の問題だよ
病気かな？ｗｗｗ
239:１３２人目の素数さん
22/06/08 21:24:49.33 hXYVV3nV.net
>>211
>Q1）”通過する”>>93 の定義を述べよ
「写像X̅→YはZ→Yを通過する」の定義は
「X̅→Zで…の図式を可換とする連続写像がとれる」
X̅→Z
↘↓
Y
と>>93に書いてあるけど読めなかった？
240:１３２人目の素数さん
22/06/08 21:30:21.42 hXYVV3nV.net
>>212
>ヤコビアンは、…記憶の彼方だったな
大学いったことない人には難し過ぎたか
>>逆関数定理知らない？
>なんかあったよね
知らないことを知らないと
はっきり自覚することが
学習の第一歩だよ
241:１３２人目の素数さん
22/06/08 21:41:17.64 hXYVV3nV.net
>>213
Q1. exp(2πicosh z)=1となるzの全体集合S1を示せ
Q2. exp(2πicosh z)の微分が0となるzの全体集合S2を示せ
Q3. S1とS2の関係を示せ
上記3点の答えが貴方の問の答え
どのQも高校数学レベルですね
242:１３２人目の素数さん
22/06/08 21:49:44.15 hXYVV3nV.net
>>214
>この件の真偽はあえて保留するよ
>>208の計算すらできないんじゃ
>>213の問題も無理か
243:１３２人目の素数さん
22/06/08 21:54:59.62 hXYVV3nV.net
>>215
>前者と後者は、全くリンクしないでしょ
ミスではなく無知ってこと
IQ85未満の「境界知能」なら仕方ないが
244:１３２人目の素数さん
22/06/08 23:11:34.08 V9H7okra.net
>>216
だから
”通過する”は、>>93で指摘しているように
彼独自の用語でしょ？
これは、院試を通過するまでは、
非常に危険な書き方だよね
（その後なら、独創的と評価されるかもよｗｗｗ）
まあ、彼には関係ないだろうけどね
頭良すぎて試験に通らない
頭悪すぎて試験に通らない
その典型が、
未定義の独自用語を、
試験答案に書くこと
「図式を可換とする連続写像がとれる」という意味だけなら
”通過する”という用語を、使う必要がない！！ｗｗｗ
そればかりか、もし院試なら
採点者の心証を著しく悪くする可能性大だろう
245:１３２人目の素数さん
22/06/08 23:13:31.60 eVrOAI76.net
結構可愛いんだよなあ・・・🌝🌝🌝ま💕ゆ💗ゆ🌝🌝🌝
246:１３２人目の素数さん
22/06/08 23:13:52.83 V9H7okra.net
>>218
なんだｗ
>>213の問いに対して
逃げてるじゃんｗｗｗ
247:１３２人目の素数さん
22/06/08 23:15:13.30 V9H7okra.net
>>222
うん
かな？
何年か前に、山下女史が、RIMS採用の話題
IUTスレの話題になったよね
ダブル山下だものｗ
248:１３２人目の素数さん
22/06/08 23:24:42.47 0tGMJZBB.net
まーたセタとかいう中卒が己の無知無能に気づかず暴れてるのか
まったく
249:１３２人目の素数さん
22/06/08 23:41:56.56 V9H7okra.net
>>219
いやね、>>208に対して、
態度を保留しているもう一つの理由は、IUTと類似なんだ
1）黒田本は、そもそも1968年初版第1刷で、いま2022年
50年以上に渡って、多くの人の目に触れてきた
かつ、黒田先生は、これをネタに名大と東北大で、講義をしたという
黒田先生自身も、なんどもこの数
250:式は扱ったはずだし、当時の学生も証明をフォローしたはず 一方、私の手元には、日曜に本がきて、その内容このスレを紹介しただけ だから、多くの人の目で検証されたという意味で、あの数式にそんな大きな瑕疵があるのかが、疑問だし ひょっとして、なんかこちらの見落としか勘違いはないか？ 慎重にすべきという本能が働いているんだ （例えば、cosh のある特殊な公式を適用したら、黒田本の式が出るかも とかね） 2）これを、IUTに当て嵌めると IUT論文は、何人もの人に査読され、国際会議も何回も開かれて そのうえ、IUTを使う 5人共著の明示論文が提出され、それも査読が通って東工大誌に掲載予定という つまり、圧倒的に多くの人の検証を経ているし 一方、数学的根拠を持って、「IUTダメ」というはショルツェ氏ただ一人だけ （後の人は、IUTは読めない、理解できないのレベルで終わっている） 私ら、内容より 支持者の人数で「IUT論文は、成立しているんじゃね？」 と思っている 上記 cosh式の成否と類似の考えです なので、>>29の出題者が現れたら、 真っ先にこの質問（上記1））を投げつけます
251:１３２人目の素数さん
22/06/08 23:44:55.32 V9H7okra.net
>>225
ふふふ
IUTアンチの数理論理君をいじめてしまった
あやまるよ
病気をこじらせないで
5ｃｈ離れた方がいいぞ
つーか、少なくとも、このスレには書かない方がいいよ
雑なカキコには、突っ込み入るからねｗｗｗ
252:１３２人目の素数さん
22/06/09 01:44:08.32 H59KmrUb.net
>>226
ほんとに頭が悪いね。
恥がない人ってみっともない。
253:１３２人目の素数さん
22/06/09 01:53:24.27 O1LnsypE.net
まず働けや
254:１３２人目の素数さん
22/06/09 06:22:16 qHSpaI/p.net
>>226
>>213を真正面に打ち返した
>>218の3つの質問に
今日正午までに答えてね
答えがない場合
高校数学も分からんサル
として嘲笑するからwww
あ、どうせ答えられないと思って
先に嘲笑しちったwwwwwww
255:１３２人目の素数さん
22/06/09 07:01:01.23 oM3mwM0A.net
>>226 補足
>なので、>>29の出題者が現れたら、
>真っ先にこの質問（上記1））を投げつけます
この質問（上記1））は、具体的には>>208の
「正しい式は以下の通り 全く高校数学レベル」
「=-e^(πi/2 (e^2φ(z)+e^-2φ(z)))」
ってやつね
で、彼がどう答えようが、こちらとしては面白いことになる
1）もし、上記が正しいと答えるならば、「あなた、以前自分で勉強したときに、気づかなかったの？」ということになるｗ
2）もし、上記が間違いと答えるならば、>>208氏と対決させる。こちらは、高みの見物ｗ
256:１３２人目の素数さん
22/06/09 07:07:34.86 oM3mwM0A.net
>>230
>>>213を真正面に打ち返した
>>>218の3つの質問に
>今日正午までに答えてね
笑えるｗ
必死の逃げだな
答えないよ。ヒントは与えない
ノーヒントで、>>213を解け！ｗｗ
繰り返す、>>206の”微分が0でない=局所同相”使って解けるというならば
>>29より
（再録）
”fを単位円Δ上定義された正則関数で0,1の値を取らないとする
このときΔ上の正則関数gでf(z) = exp(2πicosh(g(z)))を満たすものがとれる
リーマン面の話題が出てたからちょっと復習の意味も込めて教科書読み直してみつけた話
Schottkyの定理の証明の最初の入り口
リーマン面の話知ってれば何を確認すればいいか0.5秒で書けて5分で解ける話
できるんか？”
を、彼の主張の筋でやってみて
なお、彼がいうには、上記は黒田本 >>183の式よりも、一手間簡単に示せるという
それも説明してね
よろしく
(引用終り)
以上ｗ
257:１３２人目の素数さん
22/06/09 09:16:37.39 NAAA5iIP.net
高みの見物wwww
ド底辺がwwwww
働けや穀潰しwwwwwww
258:１３２人目の素数さん
22/06/09 10:58:12.39 xkoxs32B.net
>>231
>「あなた、以前自分で勉強したときに、
> 気づかなかったの？」
今回初めて知ったので以前なんてないですが
何か気に障ることがありました？
中学校で数学終わったおサルさん
259:１３２人目の素数さん
22/06/09 11:35:16.02 NWClIB/u.net
>>232
>笑える
泣くな
260: おサル >必死の逃げだな 逃げていいよ そして帰って来なくていい >答えないよ。 答えられんよな 中卒のおサルにゃ >ヒントは与えない 分かってないのにヒントなんて無理よな おサル ノーヒントで、>>213を解け！ｗｗ
261:１３２人目の素数さん
22/06/09 11:38:33.60 NWClIB/u.net
>>235
ノーヒントで、>>218が解けないんじゃ
数学無理だから諦めな おサル
ギャハハハハハハ!!!
262:１３２人目の素数さん
22/06/09 12:31:41.27 7779/Nnc.net
本題からそれた話題ばっかり
263:１３２人目の素数さん
22/06/09 17:28:27.66 5Yy3iSIG.net
>>237
じゃあ本題下記です
どうぞ、語ってください
なお、私にはお経ですが、ありがたいお経なら聞きますので よろしくｗ
（参考）
IUT関連個所 6節アルゴリズム的遠アーベル幾何他 P15～19 遠アーベル幾何の進展 星裕一郎 数学vol74 202204
URLﾘﾝｸ(imgur.com)
URLﾘﾝｸ(imgur.com)
IUT関連個所 6節アルゴリズム的遠アーベル幾何他 P15 遠アーベル幾何の進展 星裕一郎 数学vol74 202204
URLﾘﾝｸ(imgur.com)
IUT関連個所 6節アルゴリズム的遠アーベル幾何他 P16 遠アーベル幾何の進展 星裕一郎 数学vol74 202204
URLﾘﾝｸ(imgur.com)
IUT関連個所 6節アルゴリズム的遠アーベル幾何他 P17 遠アーベル幾何の進展 星裕一郎 数学vol74 202204
URLﾘﾝｸ(imgur.com)
IUT関連個所 6節アルゴリズム的遠アーベル幾何他 P18 遠アーベル幾何の進展 星裕一郎 数学vol74 202204
URLﾘﾝｸ(imgur.com)
IUT関連個所 6節アルゴリズム的遠アーベル幾何他 P19 遠アーベル幾何の進展 星裕一郎 数学vol74 202204
なお、>>203同様ですが、もし著作権上問題だと思われたら、日本数学会に連絡をとってください
著作権を持っていない方の（部外者） ご意見や議論は、この件については ここではご遠慮願います
以上
264:１３２人目の素数さん
22/06/09 17:38:08.01 5Yy3iSIG.net
>>238 補足
>URLﾘﾝｸ(imgur.com)
>IUT関連個所 6節アルゴリズム的遠アーベル幾何他 P16 遠アーベル幾何の進展 星裕一郎 数学vol74 202204
このP16の冒頭
「アルゴリズム的遠アーベル幾何学」とあって
続いて
「単遠アーベル的輸送」ときて
”これらの大きな応用である宇宙際タイヒミュラー理論[66]-[69]では、このアルゴリズム的遠アーベル幾何学や単遠アーベル幾何学が中心的役割を果たす”
と記されています
以下、その概説が説かれています
265:１３２人目の素数さん
22/06/09 17:50:31.98 5Yy3iSIG.net
>>238 補足の補足
ワイルズ先生のフェルマーの最終定理や
ペレルマンのポアンカレ予想解決などと同様に
IUTによるABC予想解決の解決についての
分かり易い説明本がいる
そのためには、M2（修士）レベルから始められる説明が
そのためには、もう一度IUTを整理して、
そのためには、”new math”言語 ｽﾚﾘﾝｸ(math板:584番)
ってことでしょうかね
富士山登山で、いまフモトから上る人はいない
五合目くらいまでは、車で行けたり
そういう登山ルートを整備する たぐい の話でしょうね
266:１３２人目の素数さん
22/06/09 19:14:13.55 EsphEuUw.net
>>238
>私にはお経ですが
🐎の👂に念仏
縁なき衆生は度し難し
267:１３２人目の素数さん
22/06/09 19:21:54.56 EsphEuUw.net
>>239
「縁なき衆生は度し難し」
仏縁のない者は、すべてに慈悲を垂れる仏でも救えない。
転じて、人の忠告を聞こうともしない者は救いようがない。
まさにおサルのことか
268:１３２人目の素数さん
22/06/09 19:32:47.11 EsphEuUw.net
>>240
>M2（修士）レベルから始められる説明
B2(学部2年)の複素解析も分からんサルには
空気が薄すぎて息も絶え絶えだろ
>富士山登山で、いまフモトから上る人はいない
>五合目くらいまでは、車で行けたり
>そういう登山ルートを整備…
ヒマラヤが富士山と同じ高さと思う奴はお目出度い
六甲山でも登っとけ
269:１３２人目の素数さん
22/06/09 19:46:30.69 MkFp7OS8.net
日和山でも登っとけ
270:１３２人目の素数さん
22/06/09 19:50:58.54 w1cLvKO2.net
>>244
大阪なら天保山か
271:１３２人目の素数さん
22/06/09 20:00:28.37 MkFp7OS8.net
>天保山
ヤツには無理だろ
272:１３２人目の素数さん
22/06/09 20:49:09.83 oM3mwM0A.net
>>238 補足
まあ、このIUT 遠アーベルは、世界最高峰
いわば、エベレストなど ヒマラヤの山みたいなもの
ブライアンコンラッド、キラン-ケドラヤ や
それに希代の天才 ファルティングス師匠も
読めないという
便所板
273:の5ｃｈの住人は、読めなくて当然 私も読めません しかし、ロープウェイやケーブルカーが整備されれば、登頂できるかも 酸素ボンベをつけるとかもあり そういうところの整備がいると思う 望月御大は、「原論文を何百時間、何千時間かけて読め！」というけど、なんだかね それで済むなら、>>238の星氏の論説もいらないことになるけど そうではないよね
274:１３２人目の素数さん
22/06/09 20:59:23.95 du8TvW+q.net
読めた人間が今の今まで1人もいない
そしてこれからも1人もいない
275:１３２人目の素数さん
22/06/09 21:56:20.46 oM3mwM0A.net
>>248
すぐ反例の出る定理かｗ
276:１３２人目の素数さん
22/06/09 22:28:53.24 RxctUeZl.net
(証明)
読めているのなら今なら解説のサーベイ論文出せば歴史に名が残る
しかし誰も書かない
∴誰も読めていない
277:１３２人目の素数さん
22/06/10 06:44:13.70 FePMcVCe.net
>>248-250
>読めているのなら今なら解説のサーベイ論文出せば歴史に名が残る
>しかし誰も書かない
>∴誰も読めていない
反例は、下記な。”歴史”（下記）に、名が残りましたｗ
URLﾘﾝｸ(ja.wikipedia.org)
宇宙際タイヒミュラー理論
歴史
2015年にイヴァン・フェセンコ によって、望月の宇宙際タイヒミュラー理論のサーベイ論文が発表された[14]。
2017年9月1日、RIMSの山下剛から宇宙際タイヒミュラー理論に対するサーベイ論文が発表された[19]。
2022年4月、エクスター大学教授のモハメド・サイディは、 Math Reviews誌の書評で、宇宙際タイヒミュラー理論のCor3.12に関連するTheorem 3.11を肯定したレビュー[38]を公表した。
278:１３２人目の素数さん
22/06/10 07:06:42 b4GRukPT.net
証明したのは、ホントはSzpiro予想だよな？
279:１３２人目の素数さん
22/06/10 07:07:28 SelcTjoy.net
>>251
働けや能無し
280:１３２人目の素数さん
22/06/10 07:50:04.60 FePMcVCe.net
>>252
そうですね
下記ですね
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
EXPLICIT ESTIMATES IN INTER-UNIVERSAL
TEICHMULLER THEORY ¨
SHINICHI MOCHIZUKI, IVAN FESENKO, YUICHIRO HOSHI,
ARATA MINAMIDE, AND WOJCIECH POROWSKI
2020 Mathematics Subject Classification. Primary 14H25; Secondary 14H30
Abstract. In the final paper of a series of papers concerning interuniversal Teichm¨uller theory, Mochizuki verified various numerically
non-effective versions of the Vojta, ABC, and Szpiro Conjectures over
number fields. In the present paper, we obtain various numerically effective versions of Mochizuki’s results.
These numerically effective versions imply effective diophantine results such as an effective
version of the ABC inequality over mono-complex number fields [i.e.,
the rational number field or an imaginary quadratic field] and effective
versions of conjectures of Szpiro. We also obtain an explicit estimate
concerning “Fermat’s Last Theorem” (FLT) - i.e., to the effect that
FLT holds for prime exponents > 1.615 ・ 1014 - which is sufficient, in
light of a numerical result of Coppersmith, to give an alternative proof of
the first case of FLT. In the second case of FLT, if one combines the techniques of the present paper with a recent estimate due to Mih?ailescu and
Rassias, then the lower bound “1.615 ・ 1014” can be improved to “257”.
281:１３２人目の素数さん
22/06/10 11:30:32.46 0Da5gZei.net
>>201 追加
１）このP171の後が、下記の黒田P172です
２）この２行目の証明の冒頭で、Log関数を使っています
このLog関数は、>>73 及び URLﾘﾝｸ(i.imgur.com) P48 >>203 にある通りです
”主枝 を考えて、Log z＝log|w|+i arg(w) (0<=arg(w)<2π)”です（これで、何の問題もありませんｗ）
３）この流れで、ピカールの定理を扱います
P174には「この定理は複素関数論におけるきわめて重要な結果の一つであって近時の複素関数論の発展に大きな影響を与えた」と締めくくっています。
４）なお、下記の藤川英華などを見ると、coshを使うのは、結構常用の筋ですね
知っておくべきことかも？ｗ
（ここにも、Teichm"uller が出てきますね）
（参考）
URLﾘﾝｸ(imgur.com)
ショットキ定理(Schottky)の系と ピカールの定理(Picard) P172 複素関数概説 黒田正 共立出版 初版18刷 2013
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
数理解析研究所講究録 1329 巻 2003 年 62-68
The order of conformal automorphisms of
Riemann surfaces of infinite type ? supplement
Ege Fujikawa
藤川 英華
Department of Mathematics Tokyo Institute of Technology
東京工業大学大学院理工学研究科数学専攻
P6
4Application
Proposition 3
Proof
N=(e^{M}-1)cosh(M/2).
For applications of Proposition 3 to the action of Teichm"uller modular groups, see [2].
(引用終り)
以上
282:１３２人目の素数さん
22/06/10 16:31:07.73 5zUnBCZW.net
>>255
お前に黒田先生の本理解できる知能あるわけないやろ
まず働いたお金で自立して生活しろカス
日本に寄生すんなパラサイト
283:１３２人目の素数さん
22/06/11 08:25:20.52 deryYhXc.net
>>255 関連
>>201 補足
まとめておくと
URLﾘﾝｸ(i.imgur.com) 定理7.10 （ショットキ(Schottky)）証明後半 P171 複素関数概説 黒田正 共立出版 初版18刷 2013
これの前が URLﾘﾝｸ(imgur.com) P170
ここで、>>104に一部書いたように
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）が存在する
とあって、証明で
284:は 補助定理(>>104&>>183)によってf(z)=e^2πih(z)となるDでの正則関数h(z)が存在する として、指数関数で置き直している こうすることで、f(z)≠0の条件を ”指数関数で置き直している”ってことです そして、f(z)=e^2πih(z)で、f(z)≠1の条件を使って、h(z)→g(z)への置き換えをして、f(z)≠1の条件を数式に取り込んだのです さらに式変形（上記P170画像ご参照）をして、 f(z)=e^-(1/2)πi(e^2φ(z)+e^-2φ(z))まで持ってきた 下記coshを使うと f(z)=e^-(1/2)πicosh(2φ(z))となる（なお、黒田本では、coshx扱っていないので、この表現はない） 関数 cosh あるいは、e^2φ(z)+e^-2φ(z)としている理由は、おそらく黒田本P36の「2.3関数ｗ＝z+z^-1」で説明している性質を使うからでしょう この形の関数は、黒田本P37図11にあるような、環状領域 (例えば0<|z|<1など）を導きます これが、上記 P171の不等式 (7.8)と関連しているのでは、と思っています（正確にはフォローできていません。不等式 (7.8)へは、結構飛躍がある） さらに まとめると、黒田本「定理7.10」の証明の筋は 1）f(z)≠0の条件を、指数関数e^2πih(z)へ置き直す 2）f(z)≠1の条件を、h(z)→g(z)への置き換える 3）不等式 (7.8)を得るために、coshへ誘導しておく ってことですね ここで、補助定理の証明（P170の冒頭部分ご参照）では、テイラー展開を使っていることも注意しておきます （つまり、リーマン面はお呼びじゃないってことです。黒田本ではね） つづく
285:１３２人目の素数さん
22/06/11 08:25:51.43 deryYhXc.net
>>257
つづき
(参考)>>105より
URLﾘﾝｸ(ja.wikipedia.org)
双曲線関数
coshx＝(e~x+e^-x)/2
(引用終り)
以上
286:１３２人目の素数さん
22/06/11 08:46:01.07 w6umQ8EE.net
>>257
>f(z)=e^-(1/2)πi(e^2φ(z)+e^-2φ(z))
>coshを使うと
>f(z)=e^-(1/2)πicosh(2φ(z))となる
ならんけどw
f(z)=e^-πicosh(2φ(z))となる
287:１３２人目の素数さん
22/06/11 08:58:00.87 w6umQ8EE.net
>>257
>式変形をして、
>f(z)=e^-(1/2)πi(e^2φ(z)+e^-2φ(z))
>まで持ってきた
持ってこれんw
((e^φ(z)+e^-φ(z))/2)^2=
(e^φ(z)+e^-φ(z))^2/4=
(e^2φ(z)+2+e^-2φ(z))/4=
(e^2φ(z)+e^-2φ(z))/4+1/2
こんなん高校生でも計算できる
できんかったら旧帝大どころか
駅弁大学も受からんで
288:１３２人目の素数さん
22/06/11 09:29:08.16 deryYhXc.net
>>259-260
ヤクザさん？
二人いるけど、どっち？ｗ
それって、黒田先生が計算間違いしているってこと？
私は、>>257 URLﾘﾝｸ(imgur.com) P170 によって説明しています
”黒田先生が計算間違い”という話は、皆さんでお願いします（私は参加しません）
いまのところ、それって 貴方一人ですねｗｗｗ
289:１３２人目の素数さん
22/06/11 09:47:37.79 yggEHhWW.net
こんな話まだわかってないのはもうセタのみ
こんな学部生レベルの、慣れてない人でも一日考えれば理解できる話がもう1週間たっても分からん
ガロア理論のときもそう、集合論のときもそう
そもそもホントに理解するつもりがないか知能が足りてない
それでもいいと思ってる
自分のスキルアップにつなげる気持ちなどはなからない
自分では何も生み出さず生涯日本に寄生して生きてくつもりなんやろ
まぁそれならスキルアップもクソもないわな
人生終わってるよ
290:１３２人目の素数さん
22/06/11 10:20:39.85 Ypfzx1Uy.net
>>261
>それって、黒田先生が計算間違いしているってこと？
数学者は計算苦手な人少なくないから
間違っててもおかしくないな
「先生」は決して間違えないというのは妄想
>私は、 P170 によって説明しています
数学書って計算間違い少なくないから
一説によるとちゃんと自分で
計算し直してるかどうかチェックするために
わざとトラップ仕掛けてるという噂もある
ま、冗談だけどね
計算もせずに正しいと思って書くと�
291:ﾎわれるよ どの世界でもそうだけど 汗かかない口先野郎に世間は冷たいよ
292:１３２人目の素数さん
22/06/11 10:23:18.24 Ypfzx1Uy.net
>>261
>皆さんでお願いします
>（私は参加しません）
指数関数の計算も出来んとか中卒？
293:１３２人目の素数さん
22/06/11 10:25:42.57 ZQIx7IOX.net
黒田先生とABCの関係がわからん
294:１３２人目の素数さん
22/06/11 10:32:18.15 8wPbJNwa.net
>>265
関係は特にない
理解出来ん頭の悪い奴が粘着してるだけ
高校の指数関数からやり直せ、と言いたい
295:１３２人目の素数さん
22/06/11 10:40:20.60 ARVB4lRT.net
中卒は数学板に来ないで欲しい
296:１３２人目の素数さん
22/06/11 11:31:44.36 8wPbJNwa.net
>>267
ま、計算できない奴が数学書読んでも無駄だよな
297:１３２人目の素数さん
22/06/11 23:24:53.28 deryYhXc.net
>>265
>黒田先生とABCの関係がわからん
下記の普遍被覆の議論は、川平 友規 複素解析特論I タイヒミュラー空間へつながる
さて
>>103
（引用開始）
そもそもなぜ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))の微分が死んでるところをかわせてるかチェックすればいいだけともわかる
(引用終り)
これを、>>257 黒田正 および URLﾘﾝｸ(www1.econ.hit-u.ac.jp) 複素解析特論I タイヒミュラー空間と複素力学系への応用 川平 友規 リーマン面の基本群・普遍被覆面 「リーマン面の一意化定理」9.2 写像の持ち上げ
などと比較してみると
１）そもそもの問題は、「fを単位円Δ上定義された正則関数で0,1の値を取らないとする
このときΔ上の正則関数gでf(z) = exp(2πicosh(g(z)))を満たすものがとれる」>>29-30
であった。つまりは 関数g(z)の存在が問われている。それに対して、上記の議論は、g(z)の存在を前提とした議論をしている
つづく
298:１３２人目の素数さん
22/06/11 23:25:49.81 deryYhXc.net
>>269
つづき
２）たしかに、関数f(z)のリーマン面の普遍被覆は考えられるが
問題は、そこから 条件 「0,1の値を取らない」を使って、f(z) = exp(2πicosh(g(z)))なる関数g(z)の存在を示せるのか？
ってこと。だから、持ち上げの逆方向の議論であるべき
３）それに、リーマン面の普遍被覆の一意化定理では、下記 ”開円板、複素平面、リーマン球面の 3つのうちのひとつに共形同値”だけど、ℂ＼{0}って？
そもそもは、問題のf(z)のリーマン面の議論がすっぽり抜けている。f(z)のリーマン面に対して、条件 「0,1の値を取らない」を与えて、どうなるかという話
４）また”exp(cosh(z))の微分が死んでる”うんぬんをいうが、式が間違っている。exp(2πicosh(g(z)))でしょ？
g(z)を抜かした議論しても無意味
（繰り返すが、そもそも、g(z)が存在するか？だ。exp(2πicosh(g(z)))を微分しても良いけど、よほど注意しておかないと、循環論法になる
例えば、「exp(2πicosh(g(z)))を微分して死んでるところ無いからOK」とかｗ）
結論としては、サッパリですね
（バッサリか）
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
リーマンの写像定理
複素解析において、リーマンの写像定理 (英: Riemann mapping theorem) は、 U ⊂≠C が空でない単連結な開集合（単連結な領域）のとき、U から単位開円板
D={z∈C :|z|<1}
への双正則な写像（全単射な正則写像）f が存在することを言っている定理である[1]。
この写像はリーマンの写像 (英: Riemann mapping) として知られている。
直感的には、U が単連結であることは U には「穴」があいていないことを意味する。f が双正則であることは、それが等角写像であり、従って角度を保つことを意味する。直感的には、そのような写像は、回転したり拡大・縮小したりはする（ただし折り返してはいけない）が、十分に小さな形を保存する。
重要性
リーマンの写像定理の一意性と影響力の詳細を以下に列挙する。
・たとえ相対的に単純なリーマンの写像でも（例えば、円の内部から正方形の内部への写像）初等関数のみを使い明確な公式として表すことはできない。
つづく
299:１３２人目の素数さん
22/06/11 23:26:33.10 deryYhXc.net
>>270
つづき
・平面上の単連結な開集合は非常に難しい。例えば、集合それ自身は有界であったとしても、境界は無限の長さをもついたるところで微分可能でなくフラクタルな曲線が存在する。そのような集合が角度を保持するような方法でうまく正規な円板に写像することができるという事実は、直感に反するように見える。
・さらに複雑な領域のリーマンの写像定理の類似は正しくない。次に単純である場合は、二重連結な領域(doubly connected domain)（一つだけ穴を持った領域）である。穴のあいた円板や任意のや穴のあいた平面を除く任意の二重連結領域は、アニュラス、つまり、0 < r < 1に対し {z : r < |z| < 1} に共形同値であるが、反転(inversion)や定数倍を除いて、アニュラスの間には共形写像は存在せず、従ってアニュラス {z : 1 < |z| < 2} はアニュラス {z : 1 < |z| < 4} は共形同値ではない（極限での長さ（英語版）(extremal length)を応用して証明することができる）。
・リーマンの写像定理の 3次元やそれ以上の実次元の類似は正しくない。3次元の共形写像の族は非常に貧弱で、本質的にはメビウス変換しか持っていない。
・たとえ高次元で任意の同相写像がありえたとしも、可縮な多様体は球体(ball)と同相（例えば、ホワイトヘッド連続（英語版）(Whitehead continuum)）ではありえないことが分かる。
・リーマンの写像定理は、平面内の2つの単連結な領域が同相であることを証明する最も簡単な方法である。たとえ連続写像のクラスが共形写像のクラスよりも非常に大きいとしても、領域が単連結であることのみが分かっている円板の上への 1 対 1 の函数を構成することは容易ではない。
つづく
300:１３２人目の素数さん
22/06/11 23:27:09.25 deryYhXc.net
>>271
つづき
一意化定理
リーマンの写像定理は、リーマン面の脈絡で一般化することが可能である。U をリーマン面の単連結な開部分集合とすると、U はリーマン球面、複素平面 C、開円板 D のうちの一つとなる。この定理は、一意化定理として知られている。
URLﾘﾝｸ(ja.wikipedia.org)
一意化定理
一意化定理(uniformization theorem)とは、すべての単連結リーマン面は、開円板、複素平面、リーマン球面の 3つのうちのひとつに共形同値であるという定理である。特に、単連結リーマン面は定曲率（英語版）(constant curvature)のリーマン計量を持つ。この定理は普遍被覆リーマン面を楕円型（正の曲率、正の曲がった曲率をもつ）、放物型（平坦）、双曲型(負曲率）として分類する。
一意化定理はリーマンの写像定理の平面の固有な単連結開部分集合�
301:ｩら、任意の単連結はリーマン面への一般化である。 一意化定理は、任意の連結である第二可算の面の同様な結果、定数曲率のリーマン計量を与えることができることを意味している。 (引用終り) 以上
302:１３２人目の素数さん
22/06/12 06:11:33.60 Vf6rE6Wr.net
>>269 補足
URLﾘﾝｸ(www1.econ.hit-u.ac.jp)
複素解析特論I タイヒミュラー空間と複素力学系への応用 川平 友規 普遍被覆面 「リーマン面の一意化定理」
これのP13が、9.2 写像の持ち上げで
命題 9.5 (写像の持ち上げ) （略）で
このような f~ を f の持ち上げ (lift) と呼ぶ．
と記されている
(引用開始)
＜証明のスケッチ＞ x~ ∈ S~ を変数として，f~(x~) ∈ R~ を上の可換図式を満たすように定義しよう．S~ 内
のパス γ~ として，p~ を始点とし x~ を終点となるようなものとする．（S~ は単連結であるから．このよ
うな γ~ はすべて互いにホモトピックである．）すると γ = π ○ γ~ は p を始点とし x = π(x~) を終点と
する S 内のパスである．さらにこのパスを f で写すと，q = f(p) を始点とし y = f(x) を終点とす
る R 内のパス γ′ = f ○ γ を得る．最後に，解析的関数の「解析接続」の要領で，γ′ を R~ のパス γ~′
に「持ち上げる」：πR は局所的に同相写像であることから，q の近傍を q~ の近傍へ同相に写す局所
的な逆写像が存在する．これを用いて，γ′ の断片を q~ を始点とするパスの断片へと写すことができ
る．この操作を γ に沿って繰り返すことで（パスのコンパクト性より有限回で必ず終わる），q~ を始
点するパス γ~′ で，πR ○ γ~′ = γ′ を満たすものが存在する．その終点は，γ の取り方によらず一意的
に決まるので，これを f~(x~) と定めればよい．写像 x~ → f~(x~) は連続かつ先の図式を可換にすること
は容易にわかる．
(引用終り)
つまり、「写像の持ち上げ」の証明には、”解析的関数の「解析接続」の要領で”とある
（これを繰り返す）
解析接続を使うなら、黒田本でも「補助定理」>>104で、その証明は、
URLﾘﾝｸ(imgur.com) P170 の冒頭にある通りで
テイラー展開を使っているから、本質は同じ
というか、いまの問題では ”f(z) = exp(2πicosh(g(z)))”と具体的な関数の形が与えられているから
もし”持ち上げ”とか、普遍被覆の大定理が使えたとしても
大定理の証明で、”「解析接続」の要領”を使うならば、黒田本の方が、直接的ですっきりしているって、ことです
つづく
303:１３２人目の素数さん
22/06/12 06:11:58.84 Vf6rE6Wr.net
>>273
つづき
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
解析接続
定義
正則関数で定義する場合はローラン級数の代わりに、 テイラー級数を用いる。
(引用終り)
以上
304:１３２人目の素数さん
22/06/12 06:21:14 RKesg1Gs.net
福井大教授が「査読偽装」の疑い
論文の審査に自ら関与か
URLﾘﾝｸ(news.yahoo.co.jp)
305:１３２人目の素数さん
22/06/12 06:28:07 U9McFPGu.net
>>下記の普遍被覆の議論は、川平 友規 複素解析特論I タイヒミュラー空間へつながる
それがどうABCにつながるのかさっぱり
306:１３２人目の素数さん
22/06/12 07:01:38 HuiLCZNb.net
>>269
>１）そもそもの問題は、
>「fを単位円Δ上定義された正則関数で
> 0,1の値を取らないとする
> このときΔ上の正則関数gで
> f(z) = exp(2πicosh(g(z)))
> を満たすものがとれる」
> であった。
> つまりは 関数g(z)の存在が問われている。
その程度の日本語は読めるんだなw
> それに対して、上記の議論は、
> g(z)の存在を前提とした議論をしている
そこは日本語が読めてないな
307:１３２人目の素数さん
22/06/12 07:59:05.00 xENk5CqA.net
>>270
>２）たしかに、関数f(z)のリーマン面の普遍被覆は
> 考えられるが
そのコメントで
「ああ、コイツ、全然分かってねえな」
ってバレバレ
> 問題は、そこから 条件
>「0,1の値を取らない」を使って、
>f(z) = exp(2πicosh(g(z)))
>なる関数g(z)の存在を示せるのか？ってこと。
g(z)の値域でexp(2πicosh(z))の微分が0でないならOK
>だから、持ち上げの逆方向の議論であるべき
は？持ち上げの議論だろ？
コイツ、向きも分かん
308:ねえのかw
309:１３２人目の素数さん
22/06/12 08:15:23.96 xENk5CqA.net
>>270
>３）それに、リーマン面の普遍被覆の一意化定理では、
>”開円板、複素平面、リーマン球面の 3つのうちの
>ひとつに共形同値”だけど、ℂ＼{0}って？
ℂ＼{0}の普遍被覆はℂ(複素平面)だな
> そもそもは、問題のf(z)のリーマン面の議論が
>すっぽり抜けている。f(z)のリーマン面に対して、
>条件 「0,1の値を取らない」を与えて、
>どうなるかという話
f(z)のリーマン面とか関係ない
>>278に書いたことが全て
分からないなら多変数の微分からやり直せ
具体的にはヤコビアンが0でないことの意味
これ分からないなら多様体は全く理解できない
基本中の基本
310:１３２人目の素数さん
22/06/12 08:28:07.76 xENk5CqA.net
>>270
>４）また
>”exp(cosh(z))の微分が死んでる”
>うんぬんをいうが、式が間違っている。
>exp(2πicosh(g(z)))でしょ？
exp(cosh(z))について述べてるからこれで正しい
>g(z)を抜かした議論しても無意味
論理を理解せずに文句つけても無駄
「この●●」と笑われるだけ
> （繰り返すが、そもそも、g(z)が存在するか？だ。
> exp(2πicosh(g(z)))を微分しても良いけど、
> よほど注意しておかないと、循環論法になる
微分が0でない=局所同相、って分かってないなら、
何イッテも的外れだからやめとけ
「この●●」と笑われるだけ
> 例えば、
>「exp(2πicosh(g(z)))を微分して
> 死んでるところ無いからOK」
> とかｗ）
今数学板の読者全員から笑われてんのアンタだけだよ
311:１３２人目の素数さん
22/06/12 09:12:07.86 Vf6rE6Wr.net
>>278
> g(z)の値域でexp(2πicosh(z))の微分が0でないならOK
違うんじゃね？
exp(2πicosh(g(z)))の微分を考えるべきと思うぜ
312:１３２人目の素数さん
22/06/12 09:22:40.72 U9McFPGu.net
>>281
ABC?
313:１３２人目の素数さん
22/06/12 09:28:01.57 AKeitFiD.net
>>281
>exp(2πicosh(g(z)))の微分を考えるべき
その根拠は？
314:１３２人目の素数さん
22/06/12 09:29:05.23 AKeitFiD.net
>>282
それ以前
315:１３２人目の素数さん
22/06/12 16:21:28.91 C3qClQRg.net
なら他所でやったら？
316:１３２人目の素数さん
22/06/12 18:24:50.54 /XShyvUx.net
>>285
それ、1にいいなよ
317:１３２人目の素数さん
22/06/12 23:22:27.79 KLncdzgb.net
>>283
根拠を聞いても答えないよ
鎌かけてるだけだから
ペテン師の常とう手段
318:１３２人目の素数さん
22/06/13 07:14:25.96 aROXGEhA.net
>>287
だろうな
局所同相なら局所的に逆写像が存在することも
分かってない
ま、正則行列知らんのじゃ、仕方ないがw
319:１３２人目の素数さん
22/06/13 07:53:56 UAidCVwz.net
>>283
>>exp(2πicosh(g(z)))の微分を考えるべき
> その根拠は？
1）根拠を問われるべきは、「g(z)の値域でexp(2πicosh(z))の微分が0でないならOK」>>281
の方だろ？
2）そもそも、問題は >>29 より
「fを単位円Δ上定義された正則関数で0,1の値を取らないとする
このときΔ上の正則関数gでf(z) = exp(2πicosh(g(z)))を満たすものがとれる」
だった
3）合成関数 f(g(x))の微分は、df/dx=df/dg・dg/dxf'(g(x))g'(x)(下記)
だよ
4）上記 f(z) = exp(2πicosh(g(z)))は、3重の合成関数ですよ（expとcoshとg(z)と）
「g(z)の値域でexp(2πicosh(z))の微分が0でないならOK」の根拠は？
(参考)
URLﾘﾝｸ(manabitimes.jp)
高校数学の美しい物語
微分公式一覧（基礎から発展まで）更新日時 2021/03/07
合成関数の微分：
{f(g(x))}'=f'(g(x))g'(x)
(引用終り)
以上
320:１３２人目の素数さん
22/06/13 07:55:47 UAidCVwz.net
>>289 タイポ訂正
3）合成関数 f(g(x))の微分は、df/dx=df/dg・dg/dxf'(g(x))g'(x)(下記)
↓
3）合成関数 f(g(x))の微分は、df/dx=df/dg・dg/dx＝f'(g(x))g'(x)(下記)
な
321:１３２人目の素数さん
22/06/13 11:13:56 1/0JqUXT.net
よくやるなぁ
セタにわかるわけないのに
322:１３２人目の素数さん
22/06/13 12:26:50.83 LbLu74PS.net
>>289
>1）根拠を問われるべきは、
>「g(z)の値域でexp(2πicosh(z))の微分が0でないならOK」
> の方だろ？
根拠ないんだな
>>288の意味、分かってないだろ？
ヤッパ、マジで正則行列もヤコビアンも逆関数定理も分かってないな
アンタ、大学行ったこと一日もないだろ？
323:１３２人目の素数さん
22/06/13 13:21:02.67 LbLu74PS.net
>>289
>f(z) = exp(2πicosh(g(z)))は、3重の合成関数ですよ
>（expとcoshとg(z)と）
>「g(z)の値域でexp(2πicosh(z))の微分が0でないならOK」
>の根拠は？
頭悪いな
要するに
1.fの定義域が開円盤 つまり単連結
2.fは定義域全体で正則
(注 微分が至るところで0でないとは言ってない)
3.fは0,1を値としない
4.Φは0を値としない
5.Φの微分が0となる点でのΦの値が1
ならばf(z)=Φ(g(z))となるgが存在する
ってたったそれだけのことじゃん
324:１３２人目の素数さん
22/06/13 14:50:59.33 6X5xM6/U.net
>>293
なんだ？
妄想全開だな
それに、記述が雑だね
数理論理君かなｗｗ
325:１３２人目の素数さん
22/06/13 14:52:24.53 NeWUTx1A.net
>>294
な、アホやろ？
>>293で十分何言いたいかわかる
この程度の話すら分からん
セタの知能では無理なんだよ