22/08/23 02:13:51.29 9k5NInJU.net
【専門書】数学の本第80巻【啓蒙書】
ｽﾚﾘﾝｸ(math板:922番)-
上のスレ922から多変数函数論の話題が続いています。
折角なのでこちらの専用スレで、語りましょう。
新規の方のために、また、今後見返しやすいように、上のスレの関連するレスをコピーしておきます。
3:１３２人目の素数さん
22/08/23 02:16:12.47 9k5NInJU.net
>>922
多変数解析函数論 人気あるな、古書高い
4:１３２人目の素数さん
22/08/23 02:18:49.54 ZpYIkgA/.net
>>1
スレ立て乙
まさか多変数函数論のスレが立つとは…
支援します
5:１３２人目の素数さん
22/08/23 02:19:32.49 ZpYIkgA/.net
922 名前：１３２人目の素数さん[sage] 投稿日：2022/08/20(土) 13:26:28.52 ID:8u1xSW/o [2/5]
多変数解析函数論 人気あるな、古書高い
923 名前：１３２人目の素数さん[] 投稿日：2022/08/20(土) 16:28:13.43 ID:yHD/9y9V
>>922
一松の本？
復刊版が出たけどそれではダメなのか？
924 名前：１３２人目の素数さん[sage] 投稿日：2022/08/20(土) 16:33:57.14 ID:z2sTBZfX
今年は岩波の一括復刊ないの？
925 名前：１３２人目の素数さん[sage] 投稿日：2022/08/20(土) 17:47:05.10 ID:8u1xSW/o [3/5]
>>923
売ってないだろ
926 名前：１３２人目の素数さん[] 投稿日：2022/08/20(土) 18:04:20.18 ID:PSydDfXm [1/4]
「古書店」で7500円で売ってる。
927 名前：１３２人目の素数さん[sage] 投稿日：2022/08/20(土) 18:05:12.96 ID:8u1xSW/o [4/5]
>>926
それは知ってる
928 名前：１３２人目の素数さん[] 投稿日：2022/08/20(土) 18:32:02.99 ID:PSydDfXm [2/4]
アマゾンだと14800円のと30080円のがある。
これも「売ってる」
929 名前：１３２人目の素数さん[sage] 投稿日：2022/08/20(土) 18:47:47.93 ID:8u1xSW/o [5/5]
復刊本のデフォールトが古本なのかｗ
930 名前：１３２人目の素数さん[] 投稿日：2022/08/20(土) 19:05:46.96 ID:PSydDfXm [3/4]
復刊されたのが何年前だと思っているのか
6:１３２人目の素数さん
22/08/23 02:20:11.80 ZpYIkgA/.net
931 名前：１３２人目の素数さん[] 投稿日：2022/08/20(土) 19:29:54.91 ID:PSydDfXm [4/4]
Zoomの講演で一松先生の写真を見せて
He is as old as the queen of England
とやったら
笑いが取れた
932 名前：１３２人目の素数さん[] 投稿日：2022/08/21(日) 06:39:13.58 ID:oUIZN+eU [1/5]
秋月先生の本が文庫になったのだから
この本も文庫化してほしい
933 名前：１３２人目の素数さん[] 投稿日：2022/08/21(日) 08:05:21.94 ID:fPrf5koY [1/2]
野口のじゃあかん？
934 名前：１３２人目の素数さん[] 投稿日：2022/08/21(日) 08:32:17.32 ID:oUIZN+eU [2/5]
「野口の」と言われる時点であかんのでは？
935 名前：１３２人目の素数さん[sage] 投稿日：2022/08/21(日) 08:51:13.13 ID:k9mU6Q7u [1/2]
野口の一冊目はコホモロジーが前提だった
936 名前：１３２人目の素数さん[] 投稿日：2022/08/21(日) 09:02:41.61 ID:oUIZN+eU [3/5]
>>935
層の定義が書いてある本は一冊目ではない？
937 名前：１３２人目の素数さん[] 投稿日：2022/08/21(日) 22:20:43.11 ID:fPrf5koY [2/2]
普通に考えると、一松の古い本より、野口潤次郎や大沢健夫らの新しい本の方が
内容も新しくて洗練されているように思うのだが，一松の本って何でそんなに人気あるの？
938 名前：１３２人目の素数さん[] 投稿日：2022/08/21(日) 22:21:55.80 ID:oUIZN+eU [4/5]
>>935
ああ、野口の一冊目は
幾何学的関数論のことだったか。
昔セミナーで読んだが
そうだったかも。
939 名前：１３２人目の素数さん[sage] 投稿日：2022/08/21(日) 22:23:17.75 ID:5gLd+HaZ
勧めてる側が最近の本を知らないからでしょ
940 名前：１３２人目の素数さん[sage] 投稿日：2022/08/21(日) 22:34:55.00 ID:k9mU6Q7u [2/2]
大沢は難しい、それだけ
7:１３２人目の素数さん
22/08/23 02:20:44.80 ZpYIkgA/.net
941 名前：１３２人目の素数さん[] 投稿日：2022/08/21(日) 22:36:04.77 ID:oUIZN+eU [5/5]
>>937
当時出ていた多変数関数論の文献を
全部読み込んで、それらがグラウエルトによる
複素多様体上のレヴィ問題の解へとまとまっていく様子が
生き生きと語られている。
この本以後に発表されたグラウエルトの
もう一つの代表作のreviewも一松先生が書かれた。
Hartogsの1909年の定理もちゃんと証明付きで述べてある。
この例のように、最近の論文では参照されなくなったが
それ自体として面白い結果が取り上げられていることが多い。
942 名前：１３２人目の素数さん[] 投稿日：2022/08/22(月) 09:31:16.17 ID:g9NufOBG [1/3]
序文で、改変操作について述べられなかったという箇所が
目に付く。
グラウエルトの続編がそれであるし
広中の特異点解消定理が1964年なので
なおさら感慨深い。
その意味で一松本の続編が
広中・卜部の「解析空間入門」でしかないのが
口惜しい。
943 名前：１３２人目の素数さん[] 投稿日：2022/08/22(月) 19:07:53.38 ID:cU0vFZ8D [1/4]
Hartogsの1909年の定理って、各変数について複素解析的なら、多変数関数として解析的になるという定理のこと？
多変数函数論の顕著な性質だけど、ほかの本に証明は書いて無いのか？
944 名前：１３２人目の素数さん[] 投稿日：2022/08/22(月) 19:14:14.80 ID:sYdoBjT0
>>943
>Hartogsの1909年の定理って、各変数について複素解析的なら、多変数関数として解析的になるという定理のこと？
その通りです.
>多変数函数論の顕著な性質だけど、ほかの本に証明は書いて無いのか？
ヘルマンダーの多変数複素解析学入門に載ってます.
945 名前：１３２人目の素数さん[
8:] 投稿日：2022/08/22(月) 19:15:03.26 ID:cU0vFZ8D [2/4] ググったら、Hartogsはユダヤ人人でナチス・ドイツによって収容所送りにされ、最後は自殺した。 悲しいな
9:１３２人目の素数さん
22/08/23 02:21:45.59 ZpYIkgA/.net
946 名前：１３２人目の素数さん[] 投稿日：2022/08/22(月) 19:24:33.38 ID:cU0vFZ8D [3/4]
複素多様体論って多変数函数論も必要なんじゃ無いかって思うんだけど、、。
でも、例えば小平邦彦の複素多様体論には、この手の話題って全然出て来ないよね。
小平は代数幾何よりのコホモロジー論が中心で、多変数函数論とは余り関係ない話題なのかなぁ
947 名前：１３２人目の素数さん[] 投稿日：2022/08/22(月) 19:25:52.23 ID:cU0vFZ8D [4/4]
>>944
なるほど、ヘルマンダーがありましたね
ありがとうございました。
948 名前：１３２人目の素数さん[] 投稿日：2022/08/22(月) 19:27:41.58 ID:kskCSCM4 [1/2]
>>943
そんなあてずっぽうを言われると
大変悲しい。
1909年の定理は連続関数の正則性が
グラフの補集合の擬凸性によって
特徴づけられるという定理
949 名前：１３２人目の素数さん[] 投稿日：2022/08/22(月) 19:30:13.30 ID:kskCSCM4 [2/2]
>>946
多様体をブローアップして曲率条件を改善してから
存在定理を示し、それをブローダウンしたところへ
戻すときにHartogsの拡張定理を使っている。
950 名前：１３２人目の素数さん[] 投稿日：2022/08/22(月) 20:56:28.67 ID:g9NufOBG [2/3]
>>946
小平先生の土曜セミナーで飯高さんが出された問題の中に
ケーラー族における多重種数の変形不変性があるが
代数性があれば多変数関数論の方法で解かれている。
代数性の仮定なしに示せればフィールズ賞クラスの業績
951 名前：１３２人目の素数さん[] 投稿日：2022/08/22(月) 21:48:47.83 ID:g9NufOBG [3/3]
Riemann-Rochの定理の
スペクトル解析的精密化は
多変数複素解析の枠組みの話
Demaillyの複素Morse理論はその一例
10:１３２人目の素数さん
22/08/23 02:50:45.95 ZpYIkgA/.net
【多変数函数論の和書】 （年代順）
一松信 「多変数解析函数論」 培風館 (1960年) (2016年に復刻版発売)
ヘルマンダー（笠原乾吉訳） 「多変数複素解析学入門」 東京図書 (1973年)
広中平祐，卜部東介「解析空間入門」浅倉書店 (19??年) (2011年に復刻版発売)
樋口禎一，吉永悦男，渡辺公夫 「多変数複素解析入門」森北出版 (1980年)
中野茂男 「多変数函数論 : 微分幾何学的アプローチ」浅倉書店 (1981年)
西野利雄 「多変数函数論」 東京大学出版会 (1996年)
大沢健夫 「多変数複素解析」現代数学の展開 岩波書店 (2006年)
大沢健夫 「多変数複素解析 増補版」 岩波書店 (2018年)
若林功 「多変数関数論」 (数学のかんどころ 21) 共立出版 (2013年)
倉田令二朗 「多変数複素関数論を学ぶ」 日本評論社 (2015年)
野口潤次郎 「多変数解析関数論 (第2版) ─学部生へおくる岡の連接定理」 浅倉書店 (2019年)
野口潤次郎 「岡理論新入門: 多変数関数論の基礎」 裳華房 (2021年)
11:１３２人目の素数さん
22/08/23 07:19:34.94 peFCF0Ca.net
>>8 (950)
代数性があれば代数的な別証(川又)がある。
12:１３２人目の素数さん
22/08/23 08:03:06.42 peFCF0Ca.net
1935年に大学を解雇。1938年にはダッハウ強制収容所に送られたものの、
ユダヤ人ではなかった妻との離婚に応じたことで解放される。
その後も政治的圧力と差別・虐殺への恐怖で暮らし、
結局1943年に睡眠薬自殺を遂げた。
13:１３２人目の素数さん
22/08/23 08:08:46.37 peFCF0Ca.net
>>9
>>広中平祐，卜部東介「解析空間入門」浅倉書店 (19??年) (2011年に復刻版発売)
--->
広中平祐，卜部東介「解析空間入門」朝倉書店 (1981年) (2011年に復刻版発売)
14:１３２人目の素数さん
22/08/23 08:10:32.60 peFCF0Ca.net
>>中野茂男 「多変数函数論 : 微分幾何学的アプローチ」浅倉書店 (1981年)
--->
中野茂男 「多変数函数論 : 微分幾何学的アプローチ」朝倉書店 (1981年)
15:１３２人目の素数さん
22/08/23 08:11:51.89 peFCF0Ca.net
>>野口潤次郎 「多変数解析関数論 (第2版) ─学部生へおくる岡の連接定理」 浅倉書店 (2019年)
---->
野口潤次郎 「多変数解析関数論 (第2版) ─学部生へおくる岡の連接定理」 朝倉書店 (2019年)
16:１３２人目の素数さん
22/08/23 08:16:54.29 peFCF0Ca.net
>>9
一変数ではないはず
幾何学的関数論 (数学選書) 1984
by 落合 卓四郎 (著), 野口 潤次郎 (著)
17:１３２人目の素数さん
22/08/23 13:02:16.74 uEu09GQS.net
微積分は1変数から多変数になると難しくなります．
微積分の場合にはどんな風に難しくなるか分かるのですが，
複素関数論は1変数から多変数になるとどんな感じで難しくなるんですか？
18:１３２人目の素数さん
22/08/23 13:28:06.81 peFCF0Ca.net
一変数だと孤立特異点というのがあって
除去可能、極、真性と
3種類で済むが
多変数だと特異点が孤立しえないので
途端に難しくなる
19:１３２人目の素数さん
22/08/23 13:40:05.06 uEu09GQS.net
>>17
ありがとうございました．
20:１３２人目の素数さん
22/08/23 14:40:00.98 /ObXN8tM.net
ヘルマンダー（笠原乾吉訳） 「多変数複素解析学入門」
再版を望む
21:１３２人目の素数さん
22/08/23 17:34:02.03 iQ4j1t8M.net
一変数複素解析なら学習の指針として
「とりあえずは留数定理まで行ってみましょう、手計算できる定積分の範囲が一気に広がるから」
みたいなのがありますが
これが多変数だと、どんなのがあるんでしょうか？
とにかく難しいそう(だから面白い？)ってだけで飛びつく分野ではないですよね
22:１３２人目の素数さん
22/08/23 17:53:23.83 peFCF0Ca.net
>>20
とりあえず若林先生の本で
留数定理の
多変数版を眺めてみたら？
23:１３２人目の素数さん
22/08/23 18:30:16.52 9k5NInJU.net
>若林先生
若野やろ
24:１３２人目の素数さん
22/08/23 18:33:09.69 9k5NInJU.net
それにしても、かんどころのような初心者向けの本が多変数函数論で出版されたのは驚きやね
ヘルマンダーの訳本は私も復刊を希望する
25:１３２人目の素数さん
22/08/23 18:33:31.64 peFCF0Ca.net
>>とりあえずは留数定理まで行ってみましょう、
>>手計算できる定積分の範囲が一気に広がるから
これはCauchyが言ったことだよね
AbelとJacobiはその先をやった。
Weierstrass, Riemann, Poincareは
Abelがやったようなことを多変数でもやるためには
何が必要かを考え予備定理などの基礎を作った
ここは微積分を高校レベルから
大学一年レベルまで引き上げる作業で
多変数の留数定理はその一つとしてPoincareが定式化したもの。
きれいな結果だから多変数の世界がどう広がるかという
見当をつけるのにはよいのでは。
26:１３２人目の素数さん
22/08/23 18:38:48.79 9k5NInJU.net
>>20
多変数函数論の面白さは、やはり1変数と事情が全く異なることだと思います。
上の方にあふHartogsの定理(各変数で解析的なら、多変数函数として解析的)や正則領域の存在などでしょう。
そのためには、やはり1変数函数論を一通り知らないと面白さや不思議さが味わえないと思います。
27:１３２人目の素数さん
22/08/23 18:49:14.55 peFCF0Ca.net
>>正則領域の存在
???
28:１３２人目の素数さん
22/08/23 18:52:14.76 peFCF0Ca.net
Riemann面は全部そう
29:１３２人目の素数さん
22/08/23 19:18:32.87 9k5NInJU.net
>>26
スマン
1変数の場合はすべての領域が正則領域やった
だから、多変数の場合は正則領域でない領域が存在するでした
30:１３２人目の素数さん
22/08/23 19:21:43.64 9k5NInJU.net
それにしても、多変数函数論を学ぶためのよい本って何でしょうか？
例えばM1がこれから多変数函数論を専門として学ぶ場合。
31:１３２人目の素数さん
22/08/23 19:39:29.33 ZpYIkgA/.net
おお！スレが伸びてる！
>>12-15
訂正ありがとうございます
浅倉の変換ミスは酷すぎた
まだ漏れがあるでしようけど、補完お願いします
32:１３２人目の素数さん
22/08/23 19:43:09.63 ZpYIkgA/.net
>>9
訂正＋追加版
【参考図書】
和書（年代順）
一松信 「多変数解析函数論」 培風館 (1960年) (2016年に復刻版発売)
ヘルマンダー（笠原乾吉訳） 「多変数複素解析学入門」 東京図書 (1973年)
樋口禎一，吉永悦男，渡辺公夫 「多変数複素解析入門」森北出版 (1980年)
広中平祐，卜部東介「解析空間入門」浅倉書店 (1981年) (2011年に復刻版発売)
中野茂男 「多変数函数論 : 微分幾何学的アプローチ」朝倉書店 (1981年)
落合卓四郎，野口潤次郎 「幾何学的関数論」(数学選書) 岩波書店 (1984年)
西野利雄 「多変数函数論」 東京大学出版会 (1996年)
大沢健夫 「多変数複素解析」現代数学の展開 岩波書店 (2006年)
大沢健夫 「多変数複素解析 増補版」 岩波書店 (2018年)
若林功 「多変数関数論」 (数学のかんどころ 21) 共立出版 (2013年)
倉田令二朗 「多変数複素関数論を学ぶ」 日本評論社 (2015年)
野口潤次郎 「多変数解析関数論 (第2版) ─学部生へおくる岡の連接定理」 朝倉書店 (2019年)
野口潤次郎 「岡理論新入門: 多変数関数論の基礎」 裳華房 (2021年)
33:１３２人目の素数さん
22/08/23 19:44:39.84 ZpYIkgA/.net
岡潔の著書や伝記などは除外しています
34:１３２人目の素数さん
22/08/23 20:06:42.18 peFCF0Ca.net
M1くらいなら
「あれ、こんなことをしても論文になるんだ」
くらいの手頃感があるととっつきやすい。
本と言われても今までのbackgroundによるが
代数を中心にやった人で、線形代数の上に
体論・群論をやって、整数論とのからみで
Hilbertの第12問題で多変数関数論を目にしたような人なら
Siegelのlecture noteがよいだろう。
幾何学が中心で、特に微分幾何で曲率に親みがあれば
中野先生の本がお勧め。
解析中心で、Ahlforsは演習問題を解きながら半分以上は読めたし
Lebesgue積分論は「わが意を得たり」くらいに性に合っているのなら
Hormanderかな。
オールラウンドプレーヤーなら、野口でも大沢でも。
今日中韓の若手研究会を大阪公立(OCAMI)・武漢・慶尚(GNU)を
起点としてやっていて
Zoomの出席者が70から90名くらいだが
高級な話題でもこういうところで聞かせてもらうと
親近感がわくような気がする。
35:１３２人目の素数さん
22/08/23 20:16:30.48 peFCF0Ca.net
訂正
今日中韓のーーー＞今、日中韓の
36:１３２人目の素数さん
22/08/23 20:58:11.48 peFCF0Ca.net
訂正
特に微分幾何で曲率に親みがあれば
---->
特に微分幾何で曲率に親しみがあれば
37:１３２人目の素数さん
22/08/23 22:51:07.83 peFCF0Ca.net
>>31
これは多変数関数論の入門書としても好適
タイトル 複素多様体論講義 : 広範な基礎を身につけるために
著者 辻元著
著者標目 辻, 元
シリーズ名 臨時別冊・数理科学, . SGCライブラリ||SGC ライブラリ ; 94
出版社 サイエンス社
出版年月日等 2012.10
38:１３２人目の素数さん
[ここ壊れてます] .net
カルタンの複素関数論(和訳あり)にも多変数の話題が書いてあったと思う。コーシーの積分定理とか。
まあ多変数を勉強するには向かないけど。
39:１３２人目の素数さん
[ここ壊れてます] .net
お勉強なら身につかないな
目的はなんだろ？
偏微分方程式の解を調べるとか、、
40:１３２人目の素数さん
22/08/24 08:28:12.68 k7b+ZRGV.net
複素関数論 POD版 (数学ライブラリー) 2007
by 梶原 壤二 (著)
これも多変数
41:１３２人目の素数さん
22/08/24 08:33:07.85 k7b+ZRGV.net
>>38
偏微分方程式の解を調べるための手段として
有効利用されたことはあったが
いかにも味気ない。
解析をやっていて複素解析的要素に出会った瞬間に
魅了されてしまい
そこから離れられなくなるということはありうる
42:１３２人目の素数さん
22/08/24 09:43:46.43 BksolTcf.net
M1レベルならこれがお勧め
多変数複素解析入門 2016
by 安達謙三 (著)
43:１３２人目の素数さん
22/08/24 10:21:04.84 CXfI4DlG.net
>>40
複素数√(-1)はX^2＋1=0の方程式の解から。
44:１３２人目の素数さん
22/08/24 10:42:56.80 BksolTcf.net
>>42
-√(-1)は?
45:１３２人目の素数さん
22/08/24 11:01:13.50 iFI5PfB1.net
X^2＋1=0
(X＋√(-1))(X-√(-1))=0
X＋√(-1)=0 またはX-√(-1)=0
X=-√(-1)も解
46:１３２人目の素数さん
22/08/24 11:07:29.57 BksolTcf.net
√(-1)と-√(-1)はどう違う？
47:１３２人目の素数さん
22/08/24 11:20:19.17 CXfI4DlG.net
√(-1)-(-√(-1))=2√(-1)≠0
48:１３２人目の素数さん
22/08/24 12:01:34.33 BksolTcf.net
>>46
違うのは当たり前。
質問はどう区別するか
つまり方程式の
二つの解のうちどっちを√(-1)と書いているのかということ。
49:１３２人目の素数さん
22/08/24 12:02:40.50 BksolTcf.net
どう違うかと聞かれたのに
違う理由を答えるというのは
どの国の習慣かな
50:１３２人目の素数さん
22/08/24 12:54:46.72 iFI5PfB1.net
>違うのは当たり前
？？
51:１３２人目の素数さん
22/08/24 14:12:38.44 BksolTcf.net
>>49
複素数体の標数は2でないからとでも言ってほしかった？
52:１３２人目の素数さん
22/08/24 14:15:22.80 BksolTcf.net
>>42
標数の条件は？
53:１３２人目の素数さん
22/08/24 14:43:51.54 BK2L+Jrs.net
違うのは当たり前w
54:１３２人目の素数さん
22/08/24 15:00:03.76 BksolTcf.net
>>52
二つの解のうちどちらを√(-1)と書いている？
55:１３２人目の素数さん
22/08/24 15:09:55.30 BK2L+Jrs.net
お次の方どうぞ
56:１３２人目の素数さん
22/08/24 16:30:06.30 BksolTcf.net
42は歴史的にはまったくの嘘
57:１３２人目の素数さん
22/08/24 16:41:40.73 mkeuEmvE.net
>>38
偏微分方程式のために多変数関数論を勉強するか？
普通は微分可能性を落としたL^2理論や関数空間の不動点定理の勉強をするだろ
58:１３２人目の素数さん
22/08/24 17:29:20.12 9qds4ne1.net
コシ・コワレスカの場合は？
多変数関数論ってほどはいらんか
59:１３２人目の素数さん
22/08/24 17:54:20.61 BksolTcf.net
>>56
普通ではないが
偏微分方程式の代数的方法なら
hyperfunctionの定義のために
コホモロジー理論が必須。
60:１３２人目の素数さん
22/08/24 17:57:40.88 BksolTcf.net
Nirenbergはずっと多変数関数論に関心を寄せていたようだ
61:１３２人目の素数さん
[ここ壊れてます] .net
これも多変数関数論
複素解析幾何とディーバー方程式 (数理物理シリーズ)
by 大沢 健夫 (著)
62:１３２人目の素数さん
22/08/24 23:49:07.66 jwq165sn.net
あらら専スレあったのね
63:１３２人目の素数さん
22/08/25 00:24:14.14 C7DXfYBt.net
>>31 更新
【多変数関数論の図書（和書）】
[A16] 安達謙三「多変数複素解析入門」開成出版 (2016年)
[Ca65] カルタン（高橋礼司訳）「複素函数論」岩波書店 (1965年)
[GR12] グラウエルト，レンメルト「シュタイン空間論」シュプリンガー東京 (2012年)
[HYW80] 樋口禎一，吉永悦男，渡辺公夫 「多変数複素解析入門」森北出版 (1980年)
[HU81] 広中平祐，卜部東介「解析空間入門」浅倉書店 (1981年) (2011年に復刻版発売)
[Hi60] 一松信 「多変数解析函数論」 培風館 (1960年) (2016年に復刻版発売)
[Ho73] ヘルマンダー（笠原乾吉訳） 「多変数複素解析学入門」 東京図書 (1973年)
[Ka07] 梶原壤二 「複素関数論」 POD版 (数学ライブラリー) (2007年)
[Ko92] 小平邦彦 「複素多様体論」 岩波書店 (1992年) (2015年に新装版発売)
[KT15] 倉田令二朗，高瀬正仁 「多変数複素関数論を学ぶ」 日本評論社 (2015年)
[Na81] 中野茂男 「多変数函数論 : 微分幾何学的アプローチ」朝倉書店 (1981年)
[Ni96] 西野利雄 「多変数函数論」 東京大学出版会 (1996年)
[No19] 野口潤次郎 「多変数解析関数論 (第2版) ─学部生へおくる岡の連接定理」 朝倉書店 (2019年)
[No21] 野口潤次郎 「岡理論新入門: 多変数関数論の基礎」 裳華房 (2021年)
[ON84] 落合卓四郎，野口潤次郎 「幾何学的関数論」(数学選書) 岩波書店 (1984年)
[O06] 大沢健夫 「多変数複素解析」現代数学の展開 岩波書店 (2006年)
[O06] 大沢健夫「複素解析幾何とディーバー方程式」 数理物理シリーズ2, 培風館 (2008年)
[O18] 大沢健夫 「多変数複素解析 増補版」 岩波書店 (2018年)
[Wa13]若林功 「多変数関数論」 (数学のかんどころ 21) 共立出版 (2013年)
64:１３２人目の素数さん
22/08/25 00:52:12.63 eOO9g0ra.net
多変数函数論和書とかで検索するとまだけっこうあるみたいだけど
65:１３２人目の素数さん
22/08/25 06:46:42.09 No8m7C8M.net
これを忘れてはいけない
酒井栄一 「多変数関数論」 共立全書 1966
66:１３２人目の素数さん
22/08/25 06:57:15.56 No8m7C8M.net
[HU81] 広中平祐，卜部東介「解析空間入門」浅倉書店 (1981年) (2011年に復刻版発売)
ーーー＞
[HU81] 広中平祐，卜部東介「解析空間入門」朝倉書店 (1981年) (2011年に復刻版発売)
67:１３２人目の素数さん
22/08/25 13:28:27.77 MxcGhbg3.net
第9章が多変数
工科のための複素解析入門 1977
by ウィルフレッド・カプラン (著), 道脇 義正 (著)
68:１３２人目の素数さん
22/08/25 16:21:01.15 JXRO+kqH.net
上空移行の原理
69:１３２人目の素数さん
22/08/25 17:14:00.72 MxcGhbg3.net
L^2拡張定理
70:１３２人目の素数さん
22/08/25 17:44:12.15 JXRO+kqH.net
不定域イデアル
71:１３２人目の素数さん
22/08/25 17:48:33.93 JXRO+kqH.net
グザン第1問題
72:１３２人目の素数さん
22/08/25 18:27:06.52 JXRO+kqH.net
ラインハルト領域
73:１３２人目の素数さん
22/08/25 18:35:30.65 MxcGhbg3.net
多重劣調和
74:１３２人目の素数さん
22/08/25 18:53:03.20 MxcGhbg3.net
強擬凸
75:１３２人目の素数さん
22/08/25 19:19:22.78 MxcGhbg3.net
解析的多面体領域
76:１３２人目の素数さん
22/08/25 19:20:02.07 MxcGhbg3.net
シロフ境界
77:１３２人目の素数さん
22/08/25 21:41:47.18 JXRO+kqH.net
ハルトークスの正則性定理
78:１３２人目の素数さん
22/08/26 00:11:14.48 i2d0pDQ8.net
>>17
> 多変数だと特異点が孤立しえないので
多変数関数になると極が無いということですか？
その場合、特異点集合の留数というのが定義できるのですか？
また，１変数と同様に積分の留数計算というのはできますか？
質問ばかりで済みませんが、よろしくお願いします。
79:１３２人目の素数さん
22/08/26 08:23:50.61 dWifyhTX.net
>>多変数関数になると極が無いということですか？
一変数の意味での孤立した極はあり得ないという意味でならそう
>>特異点集合が解析的な集合であるという条件下では
留数を定義する手続きを多変数に拡張することができる。
>>１変数と同様に積分の留数計算というのはできますか？
Stokesの定理により「多変数の留数の計算」に帰着する定積分は存在する。
80:１３２人目の素数さん
[ここ壊れてます] .net
一変数の場合でも実際の留数計算は
結構手間がかかるようだ
81:１３２人目の素数さん
22/08/26 16:13:09.71 UPv9qvNj.net
1/zの極はz=0
1/(zw)の極はzw=0
82:１３２人目の素数さん
22/08/26 18:02:42.85 wEQ14ri8.net
複素2変数(z,w)において、1/(z-a) の特異点は { (a,w) | w∈C ｝と孤立点にならず、有界集合にもならない。
83:１３２人目の素数さん
22/08/26 19:07:16.70 UPv9qvNj.net
z/wの極はw=0で
z=w=0は不定点
84:１３２人目の素数さん
22/08/27 00:43:28.86 uUzlKOfU.net
なるほど、特異点が孤立しないのが良く分かりました。
この場合の留数はどうなりますか？
85:１３２人目の素数さん
22/08/27 09:36:04.64 9avHzfYC.net
dz/zの留数はz=0上の定値関数
dz\wedgedw/zwの「Poincareの留数」は１．
86:１３２人目の素数さん
22/08/27 16:11:22.47 VEQYv+Zi.net
Hartogs-type theorems in real algebraic geometry, I
Marcin Bilski, Jacek Bochnak, Wojciech Kucharz
Page range: 197-221
87:１３２人目の素数さん
22/08/27 17:25:49.30 VEQYv+Zi.net
最新号のクレレ
88:１３２人目の素数さん
[ここ壊れてます] .net
分離正則性の方
Let f:X-->R be a function defined on a connected nonsingular real algebraic set X in R^n. We prove that regularity of f can be detected on either algebraic curves or surfaces in X. If dimX>1 and k is a positive integer, then f is a regular function whenever the restriction f|C is a regular function for every algebraic curve C in X that is a C^k submanifold homeomorphic to the unit circle.
89:１３２人目の素数さん
22/08/28 16:03:07.03 jv05r6bX.net
変数が無限にある関数の理論はどうなりますか？
90:１３２人目の素数さん
22/08/28 16:30:36.86 BATJIuS8.net
$\el^2$内の正則領域の正則凸性なら同様。
無限変数の特殊函数論はあるが
一般論で面白いものは知らない。
91:１３２人目の素数さん
22/08/28 21:33:00.03 PDpJV98U.net
確か、無限変数だと
ドルボーの定理は無条件では成り立たないはず。
92:１３２人目の素数さん
22/08/28 22:55:41.72 O+4nW55o.net
84
訂正
dz\wedgedw/zwの「Poincareの留数」は１．
---> dz\wedgedw/zwの「Poincareの留数」は
dw/w|_{z=0}-dz/z|_{w=0}
93:１３２人目の素数さん
22/08/28 22:59:03.31 O+4nW55o.net
91
再訂正
dz\wedgedw/zwの「Poincareの留数」は
z=0でdw/w、w=0で-dz/z．
94:１３２人目の素数さん
22/08/29 15:11:54.86 VcPzVoqe.net
本来、留数というのは関数ではなく微分形式に対して定義されるものです。
理由は以下にあるように、関数では座標変換により留数の定義が変わってしまう(well-definedでない)ためです。
留数とは関数f(z)ではなく、微分形式f(z)dzに対して定義されるべきものである理由
URLﾘﾝｸ(detail.chiebukuro.yahoo.co.jp)
95:１３２人目の素数さん
22/08/29 16:13:10.57 WTxVhLjy.net
多変数だと留数は次数が一つ低い微分形式になります
96:１３２人目の素数さん
22/08/29 17:09:01.11 VcPzVoqe.net
n-形式 w = f(z_1,z_2, ,,, z_n)/z_1 dz_1 ∧ dz_2 ∧ ,,, ∧ dz_n の z_1 =0 の留数形式は、
Res(w, z_1=0) = f(0, z_2, ,,, z_n) dz_2 ∧ ,,, ∧ dz_n となる (n-1)-形式。
97:１３２人目の素数さん
22/08/29 17:12:50.81 r7YnIWSw.net
易しい本から難しい本へと、
読んでいく順番を考えてリストを並べるとしたらどうなる？
98:１３２人目の素数さん
22/08/29 20:28:34.31 VcPzVoqe.net
>>96
>>62の文献
まずは[Wa13]若林のかんどころで多変数函数論のポイントを掴んでから、
ヘルマンダー[Ho73]、一松[Hi60]、野口[No19]あたりかな。
99:１３２人目の素数さん
22/08/29 20:31:18.72 VcPzVoqe.net
ただ一松もヘルマンダーも古いのが難点かな
100:１３２人目の素数さん
[ここ壊れてます] .net
多変数自体が古いからそれでよい
101:１３２人目の素数さん
22/08/30 02:01:58.18 nll1Nps+.net
多変数函数論は岡信者がうるさいから研究しにくい
102:１３２人目の素数さん
[ここ壊れてます] .net
>>100
例えばどんな主張が目障りですか？
103:１３２人目の素数さん
22/08/30 12:17:35.04 xmpCUdxM.net
最近は数学と何の関わりもない憂国烈士様までアゲアゲしてるしな
104:１３２人目の素数さん
22/08/30 12:23:50.94 UQ0phbRg.net
岡の論文の日本語訳集というようなものはないのでしょうか？
フランス語はだいたい英語に似てるけれども、あやふやに
読んで居るうちに0.8の理解の冪乗を重ねていくと、結局
誤解・理解不能になってしまうし、だいたい眠たくなってしまう。
あるいは完全な日本語訳がなければ完全な英語訳でも良い。
105:１３２人目の素数さん
22/08/30 12:45:15.42 zv0MG8Nx.net
>>103
英訳があるのはご存知？
Henri CartanのCommentaireがついていて面白い。
106:１３２人目の素数さん
22/08/30 13:04:39.48 XDHQvvVN.net
>>100
ありがちな話だな
日本人は偉人を利用して他人を叩くからな
107:１３２人目の素数さん
22/08/30 14:09:05.00 zv0MG8Nx.net
岡の後はまったく見るべき成果がないとか
108:１３２人目の素数さん
22/08/30 17:36:23.96 zv0MG8Nx.net
>>105
偉人を利用して偉人を叩くなら全く問題ない
109:１３２人目の素数さん
22/08/30 21:25:27.24 kRAZZZ+Q.net
>>103
英訳にはRemmertのVorwortもついている
110:１３２人目の素数さん
22/08/31 13:37:10.20 wQL2i5Js.net
英訳本には広中先生による揮毫もある
111:１３２人目の素数さん
22/08/31 18:38:42.95 IgYKuUtA.net
「人間の建設」は人気が衰えないようで驚きだ
駅の書店のおすすめ文庫コーナーにまだあった
112:１３２人目の素数さん
[ここ壊れてます] .net
正則領域の例を教えて下さい。
113:１３２人目の素数さん
22/09/03 07:49:48.68 8NDdILGV.net
多重円板や開球
より一般には凸領域
114:１３２人目の素数さん
22/09/03 09:34:29.46 1mdmiBYJ.net
＞英訳があるのはご存知？
知らないです。出版社、タイトル、著者、発行年などをＰｌｅａｓｅ。
115:１３２人目の素数さん
22/09/03 09:38:10.59 8NDdILGV.net
Collected Papers Hardcover – September 1, 1984
English Edition by Kiyoshi Oka
116:１３２人目の素数さん
22/09/03 09:40:16.17 Ja0wNjCx.net
Oka, Kiyoshi Collected papers.
Translated from the French by Raghavan Narasimhan.
With commentaries by Henri Cartan.
Edited by Reinhold Remmert. Reprint of the 1984 edition [MR0754337].
Springer Collected Works in Mathematics.
Springer, Heidelberg, 2014. xiv+223 pp.
117:１３２人目の素数さん
22/09/03 14:28:03.77 qBEYrPgv.net
Cartan, Narasimhan, Remmertの順だったかな
亡くなったのは
118:１３２人目の素数さん
[ここ壊れてます] .net
>>122
証明というか、拡張できない正則関数の例を教えて下さい。
119:１３２人目の素数さん
22/09/03 15:47:37.83 fnonQUqG.net
1/(z-1)は単位円板上で正則で、z=1を越えては拡張できない。
これは自明としてよいだろう。
このことから
単位円板のどの境界点pに対しても、
単位円板上の正則関数でpを越えて解析接続できないものがあることも
自明としてよいだろう。
すると
1/(z-1)をC^2内の二重円板上の正則関数と思うことさえできれば
二重円板が正則領域であることも自明ではないか?
120:１３２人目の素数さん
22/09/03 16:16:46.50 olRnDfDE.net
1/(z-1) が拡張できない？
z=1 以外全部で正則じゃん
121:１３２人目の素数さん
22/09/03 16:23:52.80 fnonQUqG.net
>>119
>>1/(z-1) が拡張できない？
「z=1を越えては拡張できない。」と書いてある。
目は確か？
122:１３２人目の素数さん
22/09/03 16:40:45.85 fnonQUqG.net
というか、「気は確か？」と書いた方がよかったかな。
123:１３２人目の素数さん
22/09/03 18:37:09.32 fnonQUqG.net
あああそうか
「z=1を越えて拡張できる」の意味が分からなかったわけだ。
言葉の使い方としては
単位円板D上で正則な関数fが
z=1を越えて拡張できるとは
z=1の近傍UとU上で正則な関数gがあって
U\capD上でf=gとなることを言う。
124:１３２人目の素数さん
22/09/03 21:33:16.62 8NDdILGV.net
凸領域が正則領域である理由も同様で
領域に含まれない任意の点pに対し
pを含み領域と交わりを持たない
複素超平面が存在するからである。
125:１３２人目の素数さん
22/09/03 22:31:17.85 M9raHWgM.net
ハルトーグスの拡張定理によれば、1/(1-z) を|w-1|=1で積分するとz=1
を超えて正則になるのでは？
∫_{|w_2-1|=1}}∫_{|w_1-1|=1} 1/{(1-z_1)(w_1-z_1)(w_2-z_2)}dw_1dw_2
は(z_1,z_2)の正則関数では？
126:１３２人目の素数さん
22/09/03 22:38:43.28 M9raHWgM.net
つまり、コーシーの積分公式をくりかいして、
f(z_1, z_2)=(2πi)^(-1)∫_{|w_1-1|=1} f(w_1, z_2)/(w_1- z_1) dw_1
= (2πi)^(-2)∫_{|w_2-1|=1}∫_{|w_1-1|=1} f(w_1, w_2)/(w_1- z_1)(w_2- z_2) dw_1 dw_2
127:１３２人目の素数さん
22/09/04 07:53:17.84 34Dqbaoo.net
積分の式を書く時には
積分路上の交通事故に注意
128:１３２人目の素数さん
[ここ壊れてます] .net
>>118-120
1次元は任意の開集合が正則領域になるが、
2次元以上では正則領域にならないような開集合がある。
例えば凸で無い集合はなぜ正則領域ではないか、直接的な反例が作れますか？
129:１３２人目の素数さん
22/09/04 17:45:05.42 EPWkwA/m.net
C^2-{(0,0)}
130:１３２人目の素数さん
22/09/04 19:18:57.41 EPWkwA/m.net
>>127
>>例えば凸で無い集合はなぜ正則領域ではないか、
凸領域が正則領域だからと言って
凸でなければなぜ正則領域でないかなどという
血迷った質問をしないように
おそらく
「凸でない領域はなぜ正則領域とは限らないか」
の書き間違いだろうが、日常生活でも
こんな間違いをしていると
良いことはないよ。
131:１３２人目の素数さん
22/09/05 09:18:55.57 RYy03OiT.net
多変数（2以上とする）の関数の問題で、
変数の個数が特別の場合にだけ、例外的なことが
あるというような話はないのかな？トポロジー
などでは空間の次元などでそういうことがあったりも
するようだけれども。
132:１３２人目の素数さん
22/09/05 10:55:26.71 6Xu19v0K.net
>>130
解析ではそのようなことはない
特別なPDEに次元の制限が付くことはあるが、それは方程式の形による制限で
空間次元の性質ではない
133:１３２人目の素数さん
22/09/05 11:40:24.02 sL3eW9cs.net
>>130
シュタイン多様体の埋め込み問題では
1次元が未解決で2次元以上は解決済み
134:１３２人目の素数さん
22/09/05 13:14:49.13 6Xu19v0K.net
多変数関数論の意味のある未解決問題ってどんな問題がある？
135:１３２人目の素数さん
22/09/05 13:21:51.91 8x2F1zwY.net
C^n上の分岐正則域の特徴づけ(岡潔の問題F)
136:１３２人目の素数さん
22/09/05 13:36:16.16 8x2F1zwY.net
137:
138:１３２人目の素数さん
22/09/05 13:42:24.00 8x2F1zwY.net
有名なアバンダンス予想や藤田予想も
複素幾何の重要な未解決問題だが
多変数複素解析の問題と言ってよい
139:１３２人目の素数さん
22/09/05 13:46:19.10 8x2F1zwY.net
コンパクトなケーラー多様体の
ケーラー的解析族における
多重種数の変形不変性も
有名な未解決問題。
代数多様体の場合には多変数関数論の手法で
解決されたので
ここが突破できれば多変数関数論の
新たなブレイクスルーとなる。
解決できれば
ブレイクスルー賞くらいはもらえるかもしれない。
140:１３２人目の素数さん
22/09/05 14:19:25.55 6Xu19v0K.net
残された問題は難しいのばかりですね。
今は特異点のある場合の研究が多いですかね。
ところで、Gromov がやったシンプレクティック多様体への概正則曲線のように
正則性を落とした（概正則構造の）研究ってありますか？
141:１３２人目の素数さん
22/09/05 14:40:14.90 8x2F1zwY.net
概複素構造で積分可能でないものの
条件を付きの変形が
力学系的な視点から研究されているのを
セミナーで聞いたことはあるが
理解はしていない
142:１３２人目の素数さん
22/09/05 14:43:03.62 8x2F1zwY.net
>>138
>>今は特異点のある場合の研究が多いですかね。
MMPを中心とした研究はそうだね。
特異点そのものの研究は難しい
143:１３２人目の素数さん
22/09/05 14:55:29.66 8x2F1zwY.net
>>138
難しいといっても
多重種数の変形不変性は
代数的な場合は解けたわけだし
方法も最初は解析だったけど
すぐに川又先生が代数的な証明を見つけたわけだから
一般の場合も解けてしまえばあっけないのかもしれない
多様体の場合の結果を特異点の種類によって小出しに結果を出しても
論文は書けるかもしれないが
本質的な進展を遂げたことになるかどうか。
144:１３２人目の素数さん
22/09/05 15:04:49.63 8x2F1zwY.net
>>138
そういう興味からであれば
今度女性研究者たちの集まりで
McDuffさんが話されるから
聴いてみられると面白いかもしれない
145:１３２人目の素数さん
22/09/05 15:59:44.00 8x2F1zwY.net
>>138
>>今は特異点のある場合の研究が多いですかね。
特異点のあるシュタイン空間上では
領域のシュタイン性が局所シュタイン性によって
特徴づけられるかどうかは未解決。
Griffithsの予想と似ているが
こちらは特異点集合の次元が0である場合には解けている
(by Andreotti and Narasimhan)
146:１３２人目の素数さん
22/09/05 16:14:34.61 8x2F1zwY.net
特異点がキーワードだと
やや萎える感じがあるが
漸近解析だと意外に多くの新しい方向がある。
147:１３２人目の素数さん
22/09/05 16:25:14.05 8x2F1zwY.net
YauがTianの学位論文で示唆した方向がその一つだった。
最近でもpseudonorm projectとか言っていろんな進展があるようだ。
148:１３２人目の素数さん
22/09/05 16:41:58.77 BdecrnBe.net
最近のFinskiの仕事など、Demaillyのcomplex Morse theoryの
方法を古典的なスペクトル解析とからめて
おもしろい方向に広げている
149:１３２人目の素数さん
22/09/05 16:51:27.43 BdecrnBe.net
Xiajun Wuの
Chern classes of coherent sheaf and Bogomolov inequality
は
去年シンガポールの集会で聞いたBismutたちの仕事とは独立らしい
立派なものだと思う
150:１３２人目の素数さん
22/09/05 16:54:31.89 BdecrnBe.net
訂正
Xiajun ---> Xiaojun
151:１３２人目の素数さん
22/09/05 17:00:41.66 BdecrnBe.net
Wuの話は日本・中国・韓国�
152:､同の若手研究会での講演 そこでは特異点がある場合はどうかという質問が 時々出た。
153:１３２人目の素数さん
22/09/05 17:56:32.41 91FHf+wb.net
>>138
>>今は特異点のある場合の研究が多いですかね。
ちょっと前の話になるが
対称有界領域の商空間上の公式に関連して
特異点のある空間の交叉コホモロジー群が
盛んに研究された。
Cheeger Goresky-MacPherson予想というのがあったが
これも未解決。
154:１３２人目の素数さん
22/09/05 21:45:53.04 c3GKGqS+.net
>>136
ありがとうございます！
155:１３２人目の素数さん
22/09/05 21:48:36.98 c3GKGqS+.net
>>129
僕も叱られたい…
156:１３２人目の素数さん
22/09/05 22:16:19.44 kzo5anec.net
特異点ではないけど、Demaillyは退化するエルミート計量を扱っている。
157:１３２人目の素数さん
22/09/05 22:33:04.28 Wi63uRLw.net
>>153
確かに学位論文では退化するエルミート計量を
扱ったが有名なのは特異エルミート計量で
これは特異性を許した計量
特異エルミート計量と退化エルミート計量は
区別するべき
158:１３２人目の素数さん
22/09/05 23:02:49.77 kzo5anec.net
>>154
特異エルミート計量と退化エルミート計量って何が違うの？
「正定値性が崩れる点がある」という意味で使ったのだが
159:１３２人目の素数さん
22/09/05 23:07:00.27 Wi63uRLw.net
|z|^2はz=0で退化する退化エルミート計量
|z|^{-2}はz=0で特異性を持つ特異エルミート計量
区別すべきなのは当然
160:１３２人目の素数さん
22/09/05 23:33:17.07 kzo5anec.net
>>156
なるほど、ごもっともです。
161:１３２人目の素数さん
22/09/06 08:39:26.71 qK15tmqe.net
ゼロ点と極を混同するのと一緒
162:１３２人目の素数さん
22/09/06 09:41:23.49 qK15tmqe.net
Mittag-Lefflerの部分分数分解はわかっても
Weierstrassの乗積定理はわからないというのと一緒
163:１３２人目の素数さん
22/09/06 09:57:12.59 qK15tmqe.net
おそらく、そういう誤解は138の
>>残された問題は難しいのばかりですね。
と根は一緒
164:１３２人目の素数さん
22/09/06 11:37:13.58 rMyYIi6v.net
多変数関数論の未解決問題をブレイクスルーするための
強力な武器はどの辺にあるのでしょうか？
165:１３２人目の素数さん
22/09/06 12:38:12.36 qK15tmqe.net
昔セミナーでそれに似た質問をしたら
先生がフランスでの講演で
一つの予想を述べられたとき
「解く方法は？」と質問されて困ったと
言われ、
「それは山に今から登ろうかというとき
鎖はついていますかと聞くようなものだ」
と答えられた。
その答えを聞いて「バカなことは聞くな」と言われたように感じたし
「方法がないのなら勉強しても仕方がない」
と思って、そっちの方面はおいておくことにした。
しかし多変数複素解析全体は結構広かったので
食べていくくらいのことはできた。
166:１３２人目の素数さん
[ここ壊れてます] .net
>>162
なんだかとても恥ずかしい質問をしてしまいました。
申し訳ありませんでした。
167:１３２人目の素数さん
[ここ壊れてます] .net
>>163
全然かまわない。
168:１３２人目の素数さん
22/09/07 18:25:18.96 BRUSm2Nz.net
変なジジイが一人イキってるなw
169:１３２人目の素数さん
22/09/08 00:08:12.45 6Eg1l3km.net
>>165
一番イキってるのはオマエだな
170:１３２人目の素数さん
22/09/08 12:10:37.46 NY5FPsWR.net
イキるだけの材料と元気を持っている者を
爺呼ばわりは失礼
171:１３２人目の素数さん
22/09/08 16:18:52.37 YMGNOqlh.net
多変数関数論やるのに、岡やカルタン流をやるかヘルマンダー流の解析をやるか、どちらが良いのだろうか？
172:１３２人目の素数さん
22/09/08 17:38:44.66 NY5FPsWR.net
ハルトークス流やポアンカレ流もあるだろうし
E.M.Stein流やFefferman流もあるし
Grauert流やSiu流
そしてDemailly流もある
ほかにもたとえば
野口流とかFornaess-Sibony流とか
まあその二通りというのは少なくとも
トレンディーではなかろう
173:１３２人目の素数さん
22/09/08 17:41:16.64 NY5FPsWR.net
ポイントは解析の分野で
特に複素解析的な嗜好を満足させることのできる
問題を探すことだ
174:１３２人目の素数さん
[ここ壊れてます] .net
>>168
>>多変数関数論やるのに、岡やカルタン流をやるかヘルマンダー流の解析をやる
>>か、どちらが良いのだろうか？
その二つが入り口だったのは1965年。
今から57年も前。
この二つがあるので
多変数関数論の勉強を富士登山に例える先生もいた。
175:１３２人目の素数さん
22/09/09 15:06:38.39 D/BMh/4x.net
でも入口(最初に読む本)は今でも変わらないと思うけど。
野口先生の本とかあるけど、野口先生の本は岡流。
大沢先生はヘルマンダー流って感じで、大まかに分けられる。
176:１３２人目の素数さん
22/09/09 19:10:38.46 QTDOl4Tv.net
カルタンの定理Bが多変数関数論のすべてのように言う人たちがいる。
そういう立場からすれば確かに
岡・カルタンの方法とヘルマンダーの方法があるわけで
野口は前者、大沢は後者と分けられる。
しかし、ちょっと見方を変えると
ハルトークスの仕事はワイエルシュトラスの
「多変数においてはすべての領域が正則領域」
という誤った主張への反例から始まったわけで
Fornaess-StensonesのPrinceton講義録に沿って反例を片端から勉強していくのも
立派な勉強法ではないか。
ちなみに、Fornaess自身は今世紀に入ってから
北京でL2理論の講義録を残していて
わかりやすいので評判が良い。
日本の院生でこれを読んで修論を書いた人を知っている。
177:１３２人目の素数さん
22/09/10 10:39:33.24 ZxMKgNdd.net
今週は
OberwolfachとBochumで研究集会があった。
Complex Geometryが二派以上に分かれて
活動している印象がある。
多変数函数論はもはや富士山ではなくなった。
178:１３２人目の素数さん
22/09/11 18:22:58.17 fhrkfoYL.net
カルタンの定理BへのL2理論的アプローチを最初にやったのは
AndreottiとVesentiniの1962年の論文だが
ヘルマンダーは完成度が高く使いやすいので
みんなヘルマンダーの方法と言うようになった。
179:１３２人目の素数さん
[ここ壊れてます] .net
AndreottiとVesentiniの方法は
小平理論がもとになっているので
小平の消滅定理が載っている
小林昭七の「複素幾何」あたりも
多変数関数論の入門としてはよいだろう。
180:１３２人目の素数さん
22/09/11 19:24:03.49 3xeLKqY0.net
野口潤次郎 「岡理論新入門: 多変数関数論の基礎」 裳華房 (2021年)
↑これですが，証明は丁寧ですか？
181:１３２人目の素数さん
22/09/11 21:27:08.01 fhrkfoYL.net
>>177
読んだことがないので「丁寧なんだろうなあ」としか言えないが
ネットで読めるところだけ読んだ印象では
著者の宣伝文句の「Weierstrass preparationもL2 estimateも使わない」
というのが誰に向けた言葉なのだろうかと思う。
両方とも知っていて岡理論を勉強したことがない人は
そんなにいないと思われるから、著者としては岡理論を一通り勉強した人に
「こんなに簡単に説明できることがあるんだぞ、エッヘン」
と自慢したかったからこの本を書いたのであろうと思われる。
だから初心者にはお勧めできない。
182:１３２人目の素数さん
22/09/11 21:34:46.28 3xeLKqY0.net
>>178
ありがとうございました．
初心者にはスタンダードな本のほうがいいということですね．
結局，無理しているわけですよね．
183:１３２人目の素数さん
22/09/11 22:01:00.53 77XM8HVh.net
>>178
自分のように多変数関数論が専門じゃない人の需要がうある。
代数幾何をやっている人が多変数関数論を勉強したい人には、
丁度いいんじゃないかな。代数の人はL2評価とかは嫌がるよね。
逆に自分のような解析屋からすると、逆にL2評価ゴリ押しの
ヘルマンダー流の本の方が理解しやすい。
こっちは、連接層のコホモロジー系列とかいややから。
184:１３２人目の素数さん
22/09/11 22:02:51.19 77XM8HVh.net
ただ、今までの野口先生の本と何が違うのかは、見てみないと分からない。
185:１３２人目の素数さん
22/09/11 22:04:49.28 77XM8HVh.net
>>174
現地で�
186:Q加されてるのですか？
187:１３２人目の素数さん
22/09/12 08:35:34.77 DJ/LIsBc.net
>>182
現地で参加していた人からのメール
日本からの参加者は約3名
188:１３２人目の素数さん
22/09/13 13:29:10.45 VBGGxmqo.net
C^nの領域の場合、ケーラー計量で考えているから、
ケーラー多様体への拡張、一般化等幾何への発展はどのくらいおこなわれていますか？
カルタンの定理と小平の消滅定理など非常に似ているようにみえますが、
両者の関係性はありますか？
189:１３２人目の素数さん
22/09/13 18:02:31.10 Rg6YEcFm.net
>>184
岡理論はc^n上なので
ユークリッド計量を用いたが
CP^n上でFubini-Study計量を用いて
同様の結果を得たのが武内
武内以前に岡理論が正則領域の完備ケーラー性を言っていると
指摘したのがGrauertの学位論文
これを踏まえて小平の消滅定理を
完備ケーラー多様体上へと一般化し,
岡・カルタン理論を小平理論の非コンパクト版として
再構成したのがAndreottiとVesentini。
Andreotti-Vesentiniの方法(またはH\“ormanderの方法)で
代数幾何や微分幾何の多くの重要な問題が解かれた。
190:１３２人目の素数さん
22/09/13 21:02:42.91 VBGGxmqo.net
>>185
ご解答ありがとうございます
やはり、小平の消滅定理が岡・カルタンの定理Bと結びついて、
さらに完備ケーラー多様体へと一般化されたんですね。
カルタンの定理Bは代数幾何的にスキーム理論へ一般化されたので、
やはり重要な定理というのは、様々は方向へ発展していくようですね。
191:１３２人目の素数さん
22/09/15 13:19:25.32 8VygdYBS.net
>>185
> 武内以前に岡理論が正則領域の完備ケーラー性を言っていると
>指摘したのがGrauertの学位論文
正則領域が完備ケーラーとなる様なケーラー計量が存在するという意味か？
C^nの計量では、領域は完備になるとは限らない
192:１３２人目の素数さん
22/09/15 20:34:16.06 962SgsRb.net
>>187
>>正則領域が完備ケーラーとなる様なケーラー計量が存在するという意味か？
正則領域は完備ケーラー計量を持つという意味
もう少し詳しく言うと
岡は1942年の論文で、正則領域の内部で境界までのユークリッド距離を測った関数を
d(z)とすれば、-log d(z)は多重劣調和性を持つことを発見した。
Grauertは1956年の論文で、この関数を用いれば任意の正則領域上に
完備なケーラー計量が作れることを示した。
193:１３２人目の素数さん
22/09/15 21:05:06.78 8VygdYBS.net
>>188
ご丁寧にどうもありがとうございます。
多重劣調和関数が取れると、それから作られる計量が正曲率になって、
小平の消滅定理と同様にして、カルタンの定理Bが得られるという感じでしょうか。
このような、多変数関数論を微分幾何的に論じている本はどの様な物がありますか？
194:１３２人目の素数さん
22/09/15 21:09:21.77 8VygdYBS.net
>>189
ここで書いた計量は、空間のケーラー計量ではなく、
自明直線束のエルミート計量です(小平の消滅定理の、正な直線束になる)。
195:１３２人目の素数さん
22/09/16 03:56:44.53 6d5pyozt.net
多変数函数論和書リスト
URLﾘﾝｸ(mathbh.nobody.jp)
196:１３２人目の素数さん
[ここ壊れてます] .net
>>189
>>多重劣調和関数が取れると、それから作られる計量が正曲率になって、
>>小平の消滅定理と同様にしてカルタンの定理Bが得られるという感じでしょうか。
正確には、正則領域X上では-log d(z)を基にして、滑らかな関数で近似したり|z|^2を足したりして、強多重列調和なexhaustion function f(z)を作ります。e^{f(z)}のLevi形式が完備なケーラー計量になります。
e{-f(z)}は自明直線束のエルミート計量になり、その曲率形式は
f(z)のLevi形式で、正です。これを踏まえると、
Xが強多重劣調和関数でexhaustされる複素多様体ならば
任意の正則直線束は正になり、小平消滅定理と同様の方法で
正則ベクトル束に対するカルタンの定理Bが得られます。
この方法で小平理論と岡・カルタン理論を統一的な視点で論じることができます。191のリストの中では中野の本がそれを実行しています。
197:１３２人目の素数さん
22/09/16 07:36:42.12 +huY61rD.net
多変数関数論をやるとなると、
コホモロジー理論とかイデアルとかが
良く理解できてないとだめなんでしょ？
１変数の場合に比べて多変数なりの道具立てが要りますよね？
198:１３２人目の素数さん
22/09/16 07:54:15.33 v2vA
199:dEfV.net
200:１３２人目の素数さん
22/09/16 16:13:57.32 WFN9ASnK.net
>>191
凄いね、結構出ているんだね
ただ、グラウエルト・レンメルトのシュタイン多様体(シュプリンガー)の和訳本が無い
201:１３２人目の素数さん
22/09/16 16:15:25.67 WFN9ASnK.net
岡潔の全集の和訳が欲しいな
202:１３２人目の素数さん
22/09/16 16:18:38.15 WFN9ASnK.net
>>193
層のコホモロジーで多変数関数論から脱落するのはよくある話
自分も最初は層が全く分からなくて脱落した。
1変数のノリで解析をやるんだと思っていたら、代数の議論(それも道具の準備）で萎えた
203:１３２人目の素数さん
[ここ壊れてます] .net
>>195
グラウエルト・レンメルトのCoherent Analytic Sheavesもない
このリストには未掲載だが他にも大切なSCVの洋書は色々とある
204:１３２人目の素数さん
22/09/17 10:24:27.21 7lgiBypo.net
Krantzの本は初心者向きなのでよく読まれている。
205:１３２人目の素数さん
[ここ壊れてます] .net
不定域イデアルと層は何が違うの？
206:１３２人目の素数さん
22/09/17 13:48:25.79 OuIQNd9u.net
>>192
詳細なご解答ありがとうございます。
中野先生の本は図書館にも無いんです。
洋書でも良いので、この様な幾何的応用が書かれた本をご教示いただけると助かります。
よろしくお願いいたします。
207:１３２人目の素数さん
22/09/17 13:51:51.89 OuIQNd9u.net
>>197
>1変数のノリで解析をやるんだと思っていたら、
>代数の議論(それも道具の準備）で萎えた
本当そうですよね。
解析しようと思ったら、代数の話ばかりなんですから。
208:１３２人目の素数さん
22/09/17 16:37:17.89 K2q5+AKs.net
幾何学的な議論のほうが俺にとっちゃずっといいや。
209:１３２人目の素数さん
22/09/17 18:36:45.74 D0ki+dJN.net
幾何は急速に進展している印象が強い。
例のペレルマンのリッチフローあたりから。
複素幾何では、ドナルドソンらが、ケーラー・アインシュタイン計量の存在条件の予想を解決した。
この予想の解決が、多変数関数論にも波及するのかどうか？
いずれにせよ幾何的にはホットな話題が多い。
210:１３２人目の素数さん
22/09/17 18:57:03.17 cKehIGa9.net
層ではなく不定域イデアルを使わなければ
証明しにくいような定理があるのかどうか
211:１３２人目の素数さん
22/09/17 18:58:51.96 7lgiBypo.net
>>201
3MBのファイルがあります
DemaillyのComplex analytic differential geometry
無料なのでよくダウンロードされているようです。
212:１３２人目の素数さん
22/09/17 19:42:43.69 D0ki+dJN.net
>>205
不定域イデアルは今でいう連接層の元になった概念らしい
従って、連接層の方が一般化されている
だから連接層で議論できれば、不定域イデアルを持ち出す必要は無いと思われる
213:１３２人目の素数さん
22/09/17 23:27:15.04 OuIQNd9u.net
>>206
ありがとうございます、ダウンロードできました。
Demaillyの名は特異エルミート計量の話で聞いたことがありますが、
具体的に何をしたのか知りませんので、これを読んで勉強してみます。
214:１３２人目の素数さん
22/09/17 23:31:58.95 OuIQNd9u.net
>>204
ドナルドソンが解いた、ケーラー・アインシュタイン計量が存在すると、
複素関数論的に何か分かったりしますか？
215:１３２人目の素数さん
22/09/18 11:47:49.86 Hdoh4Dy5.net
The goal of this course is to launch a new attack, turning functional analysis into a branch of commutative algebra, and various types of analytic geometry (like manifolds) into algebraic geometry.
Peter Scholze
関数解析はどんどん代数幾何学化して面白くなっていきそう
216:１３２人目の素数さん
22/09/18 18:14:59.22 FgSkC3Hk.net
>>204
幾何は幾何でどんどん進展すればいいと思う
しかし私は多変数関数論の二つの未解決問題はかなり違う方向から解かれると思う
代数幾何で足りるならもう既に解決してるだろうし似たことを考える人が大杉よ
217:１３２人目の素数さん
22/09/18 19:02:58.87 asTcTT1B.net
>>209
「複素関数論的には」という言い方はもうやめようと
1932年のICMでセヴェリが言ったが
広い意味でよければ
ケーラー・アインシュタイン計量の存在問題がもたらした
モジュライ空間の理論の進展は
複素関数論的な成果の一つだろう。
218:１３２人目の素数さん
22/09/18 19:07:18.38 /r77zO+d.net
>>207
なるほど、了解です
219:１３２人目の素数さん
22/09/19 10:03:04.39 1MrDdaqU.net
>>211
二つの問題とは？
220:１３２人目の素数さん
22/09/19 14:08:49.20 GnwKFgfc.net
>>212
>>209の質問は逆で、ケーラー・アインシュタイン計量があると、
複素関数論的に何か新しい結果が得られるかという質問だと思います。
221:１３２人目の素数さん
22/09/19 14:13:24.34 GnwKFgfc.net
個人的には空間の計量よりは、エルミート束の計量の方が良い効果があるように思いますが、
どうなんでしょうか？
昔Siuがエルミート・アインシュタイン計量の存在条件を示していますが、複素関数論に応用
されているのを知りませんが，何か結果があるのでしょうか？
222:１３２人目の素数さん
22/09/19 17:16:09.49 /cIpuIYn.net
>>215
さすがに読解力なさ過ぎるし無礼だぞ
本当に研究者か？
223:１３２人目の素数さん
22/09/19 18:48:33.63 1MrDdaqU.net
>>215
多変数モジュラー関数論において
佐武のコンパクト化が有名だが
ドナルドソンたちの理論の文脈で
モジュライ空間の新しい理論展開が
佐武理論を含む形で進行中
224:１３２人目の素数さん
22/09/19 20:11:31.31 GnwKFgfc.net
>>217
それは大変失礼しました。>>212さんにもお詫び申し上げます。
私としては悪気は全くなく、単純に「ドナルドソンらの結果が多変数関数論に応用できませんか？」
という質問だと解釈して、>>215のような発言に至りました。
それが読解力不足というのであれば、すみませんでした。
225:１３２人目の素数さん
22/09/19 20:14:08.62 GnwKFgfc.net
>>218
215ですが、大変失礼なことを申し上げてすみませんでした。
ですが、私の質問に解答を下さいまして、ありがとうございます。
226:１３２人目の素数さん
22/09/20 09:19:17.81 qRdxwbCm.net
岡潔の影響か日本では多変数関数論が人気だな
227:１３２人目の素数さん
22/09/20 12:47:27.26 YxqfjHBi.net
多変数函数論て代数幾何学に含まれるの？
228:１３２人目の素数さん
22/09/20 14:09:27.01 nQfgTCP/.net
>>222
それはコロナ問題がどこに含まれるかによるだろう
229:１３２人目の素数さん
22/09/20 17:22:37.91 K09vRGXO.net
代数幾何学で函数を扱うと思ってる奴いるの？
230:１３２人目の素数さん
22/09/20 21:35:52.23 nQfgTCP/.net
代数幾何学における函数論的方法というものなら
あるような気がする
231:１３２人目の素数さん
22/09/21 01:29:11.09 F0T97a1C.net
複素多様体論とか両方にまたがる分野はあるが、
どちらかが一方の部分集合ということは無いでしょ
それなら、複素多様体論はどちらに入るのか？
232:１３２人目の素数さん
22/09/21 01:33:13.23 F0T97a1C.net
Hirzebruchの本で「代数幾何における位相的方法」って本があったな
233:１３２人目の素数さん
22/09/21 16:48:10.36 e6fh3NBU.net
代数も、幾何も、解析も、みんなトポロジーに帰着されてしまうんだ、
そのうちそれが圏論になる、とかだれか言ってた気がする。
234:１３２人目の素数さん
22/09/21 18:31:17.01 Kk2uR9dE.net
圏論は数学の見方だろ
数学は全部圏論で記述できる
数学は全部集合論で記述できるのと変わらん
235:１３２人目の素数さん
22/09/21 19:05:46.85 gsOd88go.net
>>227
ちょっと知ったかを言わせてもらうと
秋月康夫が「輓近代数学の展望」でセールの口を借りて
述べているように、代数幾何学の前身は射影幾何学だが
近代的な代数幾何学は、カルタン、小平、セール、グロタンディーク
らにより展開された、層係数コホモロジーの方法によっている。
この方法はもともと多変数函数論の難問を解決するために
岡潔がいくつもの基礎
236:理論を組織的に組み合わせて生み出した 不定域イデアルの方法に他ならない。 したがって「代数幾何学における位相的方法」より先に 「代数幾何学における函数論的方法」があったと見るのが正しい・
237:１３２人目の素数さん
22/09/21 22:23:29.00 sTaUDLSv.net
層係数コホモロジー難しいな
238:１３２人目の素数さん
22/09/21 22:31:58.30 F0T97a1C.net
確かに、層係数コホモロジーは多変数関数論が生んだ強力な手法だね
239:１３２人目の素数さん
22/09/22 11:15:22.27 s+mJxF7k.net
難問解決への努力が優れた理論を生む
240:１３２人目の素数さん
[ここ壊れてます] .net
三位一体の高次元化を目指さない限り進展は望めない
241:１３２人目の素数さん
22/09/22 17:45:50.86 zCoWYmnG.net
>>234
実4次元多様体にはエキゾティックな微分構造があるけど、
エキゾティックな複素構造ってのもありそうな気がする
242:１３２人目の素数さん
22/09/22 18:57:12.39 3skWIEil.net
腐るほどある
243:１３２人目の素数さん
22/09/23 18:37:29.78 irNiG7er.net
複素構造の変形理論ってのがあるくらいやから、沢山なきゃ困るわな
244:１３２人目の素数さん
22/09/23 20:50:30.69 3xGw+isE.net
エキゾティック ジャパーーン
245:１３２人目の素数さん
[ここ壊れてます] .net
複素構造の代わりに双曲構造だとどうなる？
246:１３２人目の素数さん
22/09/23 21:45:30.92 NGRBaS4Y.net
Margulisの剛性
247:１３２人目の素数さん
22/09/24 19:25:10.76 uNESY60U.net
Teichm\"uller空間の剛性を示したのは誰？
248:１３２人目の素数さん
22/09/25 12:53:05.78 R5QTp6Wd.net
最近は多変数関数論オンリーでやっていくのが厳しいかな
大抵は幾何か代数幾何と絡んだ話題が多い
多変数関数論の新しいテーマってもう無いのかなあ
249:１３２人目の素数さん
22/09/25 15:14:31.92 auOEC1Or.net
どっちにしろ絡まんわけがない
250:１３２人目の素数さん
22/09/25 17:25:58.44 ejLMH+Ot.net
岡理論は代数とも幾何とも絡んでいた
251:１３２人目の素数さん
22/09/25 17:39:05.61 R5QTp6Wd.net
1変数は等角写像とか楕円関数論とか比較的、複素関数論だけで出来る話題が沢山あるのに、
多変数にたると一気に関数論だけの話題が無くなる感じがする
252:１３２人目の素数さん
22/09/25 18:46:31.44 ejLMH+Ot.net
多変数だと等角写像論は固有正則写像論に
楕円関数論はアーベル関数論になるから
関数論プロパーと言えなくもない
253:１３２人目の素数さん
22/09/25 20:56:04.49 g6XGVuBw.net
>>245
そういう理由で
日本では岡潔の数学は認められなかったが
世界の大数学者たちが奈良もうでをしたので
やっと認められた
254:１３２人目の素数さん
22/09/26 06:49:02.94 QLQDcNqF.net
複素解析は一変数だけやっていればよいと言った
京大教授がいたそうだ
255:１３２人目の素数さん
[ここ壊れてます] .net
うそくさ
256:１３２人目の素数さん
22/09/26 21:40:52.04 XJakjMns.net
小平先生の自伝に
岡先生はよい仕事をしているのに
日本では認められなくて気の毒だという意味の
下りがあったので
248に似たことがあったとしても
不思議ではない
257:１３２人目の素数さん
22/09/27 07:34:35.08 vE50hrsp.net
今でもPDEなどの分野では
複素解析といえば
基本的に一変数の結果しか使わないのではないか
258:１３２人目の素数さん
22/09/27 09:01:07.67 6p+FxobJ.net
いわゆる代数解析では多変数が基礎になっておるがな
よく知らんが実解析を土台にするPDEではそうだろうか
259:１３２人目の素数さん
22/09/27 14:11:52.40 wPZRdIfz.net
いわゆる代数解析が基礎にしているのは
いわゆる多変数複素解析
つまりH^1=0以後重要な問題はないとされている数学
260:１３２人目の素数さん
[ここ壊れてます] .net
概複素構造Jに対し、ナイエンハウステンソル N_J=0ならばJは複素構造になる、
という定理は良く見るが、その証明はPDEでも難しいんでしょうか？
証明が書いてある本を見たことが無いので。
これに関連して、6次元球面 S^6には概複素構造が入るのですが、それが複素構造に
なるかどうかはまだ未解決問題で、この解明は多変数関数論的に出来るのか？
それとも、上のPDEの定理の証明に立ち戻る必要があるのだろうか？
261:１３２人目の素数さん
22/09/27 15:55:58.49 wPZRdIfz.net
>>254
Newlander-Nirenbergによるもとの証明は難しかったが
線形のPDEの問題に直すと
ハーン・バナッハの定理の応用として
比較的簡単に証明できます。
与えられた概複素構造が実解析的であれば
何も使わなくてもできます。
S^6の複素構造の問題は
Atiyahが2016年に指数定理の応用として
非存在証明ができると主張したpreprintを書きましたが
誰も理解できませんでした。
262:１３２人目の素数さん
22/09/27 16:52:05.25 HLgl1QBU.net
1変数を超えた複素関数論は具体的応用に乏しい気がする。
難しいので応用されないのか、それとも。。。
263:１３２人目の素数さん
22/09/27 18:48:45.51 wPZRdIfz.net
>>256
多変数関数論ができたのは
岡潔が独創的なアイディアで難問を解いたからで
何かに応用することが目的ではなかった
難問が解けた結果
層係数コホモロジー論や多重劣調和関数を利用した
関数空間の理論などがまとまって
代数幾何や微分幾何など数学のあちこちに浸透した。
264:１３２人目の素数さん
22/09/28 12:20:21.64 KFufsDTj.net
結局、正則関数が(1変数以に)少なかった
これが最大の要因
具体例や豊富な内容を含むには、扱えるモノが沢山無いとね
265:１３２人目の素数さん
22/09/28 12:50:45.12 J2aEJyhn.net
多変数保型形式を研究すべし
266:１３２人目の素数さん
22/09/28 13:05:29.57 IX8bcygG.net
とジーゲルが言っていたことは事実で
有界対称領域の様々な研究(例えば佐武コンパクト化)の延長上に
最近のモジュライ空間の複素幾何の目覚ましい展開がある。
つまり具体例はいっぱいある。
その一方で、正則関数があるかないかの問題を究めた岡理論が
貧弱だという話は聞いたことがない。
扱えるモノがたくさんあったから多変数関数論が盛んになったわけではない。
267:１３２人目の素数さん
22/09/28 14:04:20.01 KFufsDTj.net
>>255
S^6の複素構造の問題をAtiyahが解いたのってマジ？
結構な問題だから難解でも、その筋の人達が解読して真偽を判定してくれそうなものだが
268:１３２人目の素数さん
[ここ壊れてます] .net
>>261
論文はネットに上がっただけで
出版公表されたものではないし
理解できた人がいなかったので
解いたとは言えない
269:１３２人目の素数さん
22/09/28 14:39:11.64 qmHaBw+F.net
>>258
岡理論を全く分かってないから平気でそんなこと言えるんだろうな
270:１３２人目の素数さん
22/09/28 14:43:49.41 NwJo7J/A.net
Atiyahはリーマン予想を解決したとの論文も書いたらしいが
まあ、晩年のことだしな
271:１３２人目の素数さん
[ここ壊れてます] .net
奥さんが先に亡くなったので
寂しくてたまらなかったのだと思うよ
272:１３２人目の素数さん
22/09/28 17:51:36.05 8fiISY3q.net
>>263
わかっていてもわかっていなくても
昔から岡理論の悪口を吹き込まれ続けていれば
こんなコメントしかできなくなる
273:１３２人目の素数さん
22/09/28 18:29:54.29 3VTuIgUO.net
>>263
多変数複素関数論が1変数の場合に比べて、具体例や具体的な問題
(例えば、修論のネタになりそうな問題)が乏しいのは事実
それは岡先生の業績とはなんの関係も無い
むしろ、岡先生の悪口と捉えるあなたがひねくれすぎ。
274:１３２人目の素数さん
22/09/28 18:32:29.38 3VTuIgUO.net
>>263
逆に聴きたい
そこまで岡理論を理解しているあなたに、多変数関数論が1変数関数論と同等の
沢山の具体的な話題を教えて頂きたい
275:１３２人目の素数さん
22/09/28 20:48:29.36 tqVXBQ8Z.net
>>267
>>多変数複素関数論が1変数の場合に比べて、具体例や具体的な問題
>>(例えば、修論のネタになりそうな問題)が乏しいのは事実
「硬直化した1変数関数論」という言葉が
春季賞の講演中に発せられたことがあった。
arXivでcomplex variablesを覗いてごらん。
一変数プロパーの論文がいかに少ないかが分かるだろう。
276:１３２人目の素数さん
22/09/29 00:58:09.28 5QlkVing.net
>>267
ひねくれてるのはお前だろーがw
勝手に邪推して一方的に暴言吐いたあげく時間割いて教えろってか？
修論のネタwとか頭悪いというか書き込みが全体的に鈍くさーいし慇懃無礼
具体例を履き違えてるお前は多変数以前に層コホに撃墜されたとみた
277:１３２人目の素数さん
22/09/29 06:50:46.28 EJ9vDxl0.net
>>267
>>それは岡先生の業績とはなんの関係も無い
>>むしろ、岡先生の悪口と捉えるあなたがひねくれすぎ。
多変数関数論を作ったのは岡先生。
>>具体例や豊富な内容を含むには、扱えるモノが沢山無いとね
岡理論は結局空砲だったというに等しい。
278:１３２人目の素数さん
22/09/29 12:17:23.82 jHiap1Kf.net
今どき1変数で修論のネタを探すとしたら
どの辺ですか？
レウナー方程式が流行みたいだけど。
279:１３２人目の素数さん
22/09/29 14:04:11.54 P+UXlAfe.net
多変数関数論は全く完成されたものではないからね
岡潔によって完成されたという誤解が広く存在する
280:１３２人目の素数さん
[ここ壊れてます] .net
そういう誤解がうまれたのは
岡潔のアイディアがあまりにも独創的だったからだが
多変数関数論の展開を短くまとめると
凸性の概念の関数論的な意味が理解されていく過程に
数学の理論としての進展が見られる。
最初はかなり漠然とした形でHartogsが導入した擬凸性が
Leviによって微分幾何的に表現され
Cartan-Thulleの正則凸性が現れるに及んで
岡の活躍の舞台が整った。
岡は正則凸性を利用して上空移行原理により
Cousinの問題とRunge型近似問題を解決し
多重劣調和関数を導入してLeviの条件から
大域的な正則関数の存在が従うことを示し
特にC^n上の任意の正則領域が正則凸であるという
決定的な結果に到達した。
1960年代になるとPDEの方法により
岡の構成法がより精密に実行可能になり
Bergman核の漸近挙動の解析がH\"ormanderらによって・・・
以下略
281:１３２人目の素数さん
[ここ壊れてます] .net
>>274
お疲れ様でーす
でも多分こいつら趣味で遊んでるだけのポンコツ爺ですよ
無能なくせに学問への謙虚さゼロですから処置なしです
282:１３２人目の素数さん
22/09/29 22:53:22.61 EJ9vDxl0.net
274
訂正
Cartan-Thulle ---> Cartan-Thullen
283:１３２人目の素数さん
22/09/30 15:44:10.38 KQzXdh9t.net
多変数関数論もつぎのステージに進んだってことじゃないか
幾何との関係、大域的な問題、特異点の問題など。
特に特異空間の幾何、解析は最近やたら目にする。
特異空間での正則関数とは？など未定義の話題もある。
284:１３２人目の素数さん
22/09/30 22:28:00.26 XPIBzDB7.net
>>特異空間での正則関数とは？など未定義の話題もある。
正規解析空間の概念を知っている人は
こんなことは言わない
285:１３２人目の素数さん
22/09/30 22:59:38.12 8LecF+99.net
能力がない人間ほど理解が浅い段階ですぐ口を開けたがるのはどうしてだろう？
286:１３２人目の素数さん
22/09/30 23:14:38.32 8LecF+99.net
>>267
で、層コホは？
287:１３２人目の素数さん
22/10/01 06:49:32.91 16r+1Ljq.net
理解が浅い段階で自分の意思に反して人から植え付けられた先入観を
無意識のうちに吐き出したがっているから
288:１３２人目の素数さん
22/10/01 07:14:36.57 16r+1Ljq.net
>>280
本質的には補間定理
主に次元に関する帰納法を走らせるため
289:１３２人目の素数さん
22/10/01 13:08:25.49 Og0bD+/s.net
8元数射影平面の幾何の話を聴いた
標準束が自明であることを示すのが
大変な計算らしかった
290:１３２人目の素数さん
22/10/01 15:31:28.89 77Mp+VKT.net
>>828
ランク1の対称空間だけどそんな計算が
291:大変なのか ケーラー構造は持つのか？
292:１３２人目の素数さん
22/10/01 18:24:09.92 pi/2/DRz.net
余接束の0セクションを除いたものの上に
ケーラー構造を入れていた
完備かどうかは聞きそびれた
293:１３２人目の素数さん
[ここ壊れてます] .net
>>278
解析空間はイデアルで正則関数を与えているだろ
そうではなく、距離空間上で微分が定義出来る様に、
距離空間上で正則関数というのが定義出来るか？
という意味。
294:１３２人目の素数さん
22/10/02 06:18:26.25 4txDiaH/.net
>>286
両者の一致を示したのが
Grauert-Remmertの"Komplexe R\"aume"
295:１３２人目の素数さん
22/10/02 23:22:23.42 Bkzkxg6x.net
被約な正規解析空間
296:１３２人目の素数さん
22/10/04 09:42:08.82 g0wGmJf7.net
>>284
JMSJにアクセプトされたそうだ。
70ページ以上の原稿を40ページほどに
縮小させられたそうだが。
297:１３２人目の素数さん
22/10/04 14:24:49.30 TAqlt8RP.net
H. Tsuji, L2-methods in complec differential geometry
URLﾘﾝｸ(member.ipmu.jp)
298:１３２人目の素数さん
22/10/05 23:55:31.02 GJbrn848.net
>>283
> 8元数射影平面の幾何の話を聴いた
> 標準束が自明であることを示すのが
そもそも8元数射影平面って複素多様体なのか？
（4元数射影空間は複素多様体ではない）
ていうか、そもそも8元数射影平面って定義出来るんだっけ？
8元数は結合律を満たさないから、well-defined性が示せないんじゃなかったっけ？
勘違いしているか？
299:１３２人目の素数さん
22/10/06 09:30:29.23 ksYPzHHA.net
>>291
講演では結合律を避けながら定義していたと思う
300:１３２人目の素数さん
22/10/06 11:16:45.78 sUAGfNGR.net
>>291
ケーリー射影平面というのがあるが、FII型対称空間F4/Spin(9)でエルミート型ではない。
別の複素構造を入れるのか？または全然別の話？
301:１３２人目の素数さん
22/10/06 12:00:41.77 gA8J9tth.net
Calabi-Yau structure and Bargmann type transformation on the Cayley projective space
302:１３２人目の素数さん
22/10/06 12:01:39.84 gA8J9tth.net
訂正
projective space --> projective plane
303:１３２人目の素数さん
22/10/06 14:23:30.42 3RdEPCrq.net
>>293
ご指摘の通り、ハ元数は結合率を満たさないので、通常のような定義では
八元数射影平面は定義出来ない。
しかし、K射影空間は等質空間表示できるので、それを利用すると八元数
射影平面は定義出来て F_4/Spin(9)という対称空間になる。
だが、通常の意味の複素構造は持たないしH^2=0なので、概ケーラー構造
(シンプレクティック構造)も持たない。
特別な意味づけをしているのだろうか？謎だ。
304:１３２人目の素数さん
22/10/06 14:56:30.52 3RdEPCrq.net
>>294
URLﾘﾝｸ(arxiv.org)
論文を見たら、八元数射影平面上の話ではなく、八元数射影平面上の余接束から０セクションを除いた空間上の話じゃんｗ
何かおかしいなあと思ったら、そういうことか
305:１３２人目の素数さん
22/10/06 17:18:50.55 gA8J9tth.net
>>297
285だけど
そう書いたつもりだった。
306:１３２人目の素数さん
22/10/07 02:01:01.82 PzOY8iCD.net
多引数函数とは違うもの？
307:１３２人目の素数さん
22/10/07 14:18:17.82 DNlhxJRu.net
>>299
C言語について何か？
308:１３２人目の素数さん
22/10/07 20:11:10.70 votkwKF0.net
8元数とかC言語とかスレチだろ
別スレ立てて他所でやれ
309:１３２人目の素数さん
22/10/07 20:24:57.55 votkwKF0.net
層コホ�
310:ｩら逃げてハ元数とか本当に馬鹿なんだな
311:１３２人目の素数さん
22/10/07 20:27:14.81 votkwKF0.net
多分Ahlforsも通読できないレベルなんだろうな
312:１３２人目の素数さん
22/10/07 20:29:44.74 votkwKF0.net
>>267
お前ちょっと出てこい
313:１３２人目の素数さん
22/10/07 20:38:07.91 7NrdMHfM.net
ハ元数は例外群とか玄人向け
314:１３２人目の素数さん
22/10/07 20:41:10.80 votkwKF0.net
>>268
いい年こいて親切な269にお礼と返事もできねーのか？
匿名なら書き逃げして後は知らん顔でいいのか？
315:１３２人目の素数さん
22/10/07 20:43:50.91 votkwKF0.net
>>305
その玄人がこの分野で手も足も出ないじゃん
316:１３２人目の素数さん
22/10/07 20:44:40.75 7NrdMHfM.net
>>307
そりゃ分野が全然違うからなw
317:１３２人目の素数さん
22/10/07 20:55:36.66 votkwKF0.net
だからスレチだっての
318:１３２人目の素数さん
22/10/07 21:36:26.38 XSrgp7Eq.net
>>309
ID:votkwKF0
お前こそスレ汚しだから出て行け
319:１３２人目の素数さん
22/10/07 21:40:04.42 votkwKF0.net
お前が出て行けアホ爺
320:１３２人目の素数さん
22/10/07 22:44:49.33 DK161klg.net
>>310
そいつは複素解析スレでも荒らしているから、相手にするな
>>992
> スレチだろ別スレ立てて他所でやれ
321:１３２人目の素数さん
22/10/07 22:49:10.68 DK161klg.net
NGワード
ID:votkwKF0
322:１３２人目の素数さん
22/10/07 23:12:52.69 XSrgp7Eq.net
>>312
報告ありがとうございます
どうせ荒らしだとは思いましたが、案の定ですね
関連話題でも、自分の知らない言葉に過剰反応してスレ違いと叫ぶ、典型的なキ○ガイですね
複素解析
ｽﾚﾘﾝｸ(math板)
>992 名前：１３２人目の素数さん[sage] 投稿日：2022/10/07(金) 20:15:18.23 ID:votkwKF0
>スレチだろ別スレ立てて他所でやれ
多変数函数論
ｽﾚﾘﾝｸ(math板)
>309 名前：１３２人目の素数さん[sage] 投稿日：2022/10/07(金) 20:55:36.66 ID:votkwKF0
>だからスレチだっての
323:１３２人目の素数さん
22/10/08 09:31:17.68 HNRrZzZr.net
二変数関数論、三変数関数論、四変数関数論などのように、
変数の数がそれぞれの場合について個性的な理論は全く無いのだろうか？
1，2，3、沢山、という具合にならないのは少し不思議だ。
324:１３２人目の素数さん
22/10/08 10:03:47.22 EMafo6cv.net
>>315
一口に多変数といっても
二変数と三変数以上ではかなり様相が異なる
二変数で解けて三変数以上で未解決とか
逆に三変数以上ではわかるが二変数では大変な難問とかがある
無限変数はまだまだ未開拓
325:１３２人目の素数さん
22/10/08 17:12:37.04 cY3SV0mE.net
幾何なら低次元、すなわち、1. 2. 3. 4次元で全然違う。
フィールズ賞のケプラー予想も、8次元だけ特殊で沢山球面を詰め込めるそうだ。
326:１３２人目の素数さん
22/10/09 00:53:28.51 W3ESZ4Cn.net
とある数学本を読んでいたら、関数の概念がわりと最近まで確定してはおらず、
数学者たちは関数の厳密な定義を問わず関数を使っていた、
なんて趣旨のことが書かれていてびっくりしました。異論はありますか？
327:１３２人目の素数さん
22/10/09 02:39:22.85 ZfBtRPn8.net
>>318
関数を厳密に定義したのはDirichletだから、19世紀半ば過ぎ。微積分が厳密に定式化された時代の話。
だが、これを最近とは普通は言わないだろう。
それまでは微分と積分の順序交換なんか気にせずやっていたから
328:１３２人目の素数さん
22/10/09 09:11:20.28 POu2Eyzz.net
関数の厳密な定義は、
まずWiener–Hausdorff–Kuratowskiが1921年で順序対を完成させて、
FraenkelとSkolemがZermeloの集合論の修正の中で初めて与えられた
329:１３２人目の素数さん
22/10/09 09:11:35.00 POu2Eyzz.net
書き忘れたが1925年のこと
330:１３２人目の素数さん
[ここ壊れてます] .net
多変数関数、多変量
331:関数、多仮引数関数は、同じ概念の言い換えですか？
332:１３２人目の素数さん
22/10/09 16:44:55.58 OVLJwMMQ.net
>>318
ガウスの追悼論文を書きかけて亡くなった人のことを
言っているのなら、それは最近とは言えないのではないか。
そのその関数の概念はどこかの(アラブのではない)お坊さんが
日中の気温変化を棒グラフで表したのが始まりだと書いたものを
見たことがあるが
アルキメデスは関数を自在に使いこなしていたと思われる。
岡潔によれば、函数はニ数の関係をいうのであって
「ファンクションハコとカズと訳したのは多分
ソロバンを函数と思ったのだろう」
と言っている。
>>320
Dirichletが関数をそう定義したことは数学辞典にも書いてあるし
いわば人口に膾炙しているが
Hausdorffたちのその定義から始まる関数論または解析学の教科書というものを
見たことがない。
強いて言うなら写像をグラフで定義するのがそれにあたると思うが。
>>322
ちがいます。それに、「多変量解析」はよく見ますが
「多変量関数」というものはググっても出てきませんでした。
333:１３２人目の素数さん
22/10/09 16:46:31.56 OVLJwMMQ.net
訂正
そのそのーー＞そもそも
334:１３２人目の素数さん
22/10/09 17:35:46.94 POu2Eyzz.net
>>323
関数は写像の一種なので正解
とりあえず関数の厳密な定義が与えられたのは1925年、FrankelとSkolemによって
335:１３２人目の素数さん
22/10/10 01:09:50.42 r6/20b5v.net
数＝関数
336:１３２人目の素数さん
22/10/10 09:24:39.53 uWYWL+oB.net
>>172
大沢先生はヘルマンダー流というよりも既に大沢流ですよ。
URLﾘﾝｸ(zbmath.org)
337:322
22/10/10 09:49:02.26 AtvoUL3E.net
>>323 どうもありがとう。
凄く真面目そうな人から真面目なレスをいただいてしまった。😊
338:１３２人目の素数さん
22/10/11 10:09:07.15 xzBPUGE/.net
>>326
複素解析屋にとっての関数は
数論屋の整数に等しい
339:１３２人目の素数さん
22/10/11 18:07:48.09 zMxxOBW4.net
>>325
Dirichletの定義を集合論の言葉で言い直したのが厳密化？
340:１３２人目の素数さん
22/10/11 18:51:21.53 bBD7yWev.net
>>330
LobachevskyとDirichletが独立に関数の解釈を出して貢献したのは確かだが、
関数の厳密な定義が出たのは1925年、FrankelとSkolemによって
これが史実だからこれ以上説明することがない
341:１３２人目の素数さん
22/10/11 19:05:40.83 zMxxOBW4.net
>>331
>>1925年、FrankelとSkolem
これを「集合論的な定義」でなく「厳密な定義」と記してある文献は？
342:１３２人目の素数さん
22/10/11 19:52:49.89 bBD7yWev.net
>>332
文献はない
でも集合論的定義はコンピュータによってモデル化出来るから厳密
343:１３２人目の素数さん
22/10/11 22:08:38.24 xzBPUGE/.net
>>333
デジタル化可能なものはみな厳密ではないのか？
344:１３２人目の素数さん
22/10/11 22:59:28.07 /TPsM0BC.net
>>334
proof assistantでモデル化出来るものが厳密
集合による定義以前の、自然言語レベルだったものではそれが出来ないだろう