高木貞治 『解析概論』

高木貞治 『解析概論』

(´・ω・`)

佐武一郎著『現代数学の源流』という本に、微分積分の参考書としてなぜか解析概論のみが勧められています。
単に自分が若い頃に勉強したなつかしい本だからという以外に理由があるのでしょうか？

佐武さんは、日本語で読めるのは日本人の特権だみたいなことまで書いています。

いつもの頭の悪いやつ
またキターッ

解析概論って英語版でてなかったかな？

佐武一郎「線型代数学」は英訳あり

松島の「多様体入門」も

高木貞治：代数学講義って英語訳でてなかったかな。
高木貞治：代数的整数論って英語訳でてなかったかな。

最近復刊した笠原先生の微分積分学か小平解析入門のどちらかでいいんじゃないの？
一松信 解析学序説初版とか溝畑数学解析とか名著揃いでホント日本人冥利に尽きる

解析学序説の函数論はよい

一松解析学序説と小平解析入門が解析学徒の入門書の双璧ですか？

幾何学徒にも代数学徒にもおすすめ

なるほど素晴らしい教科書なんですね
この集合写真の７年後には出版されてますから
この頃には構想もあって岡先生にもご相談されていたかもですね

昭和30年8月　J.P.Serreの訪問を受ける
中野茂男・秋月康夫・一松信氏らと共に奈良ホテルにて
https://imgur.com/rufGfFZ

小平邦彦さんの本は、自己満足的なこだわりが感じられます。
一松信さんの本は、色々なことが雑多に書かれています。
上巻の最初のほうは、高校数学の続きのような感じで書いてあり、途中でイプシロン-デルタ論法が登場します。ですので、構成が綺麗な本ではないです。
溝畑茂さんの本は何がいいのかさっぱり分かりません。
笠原晧司さんの本も、変な本です。積分のところで最初は被積分関数の連続性を仮定しています。そのまま行くのかと思えばそうではなく、途中で一般のリーマン積分について説明しています。そして、ルベーグ積分についても説明しています。微分方程式についても書いてあります。
杉浦光夫さんの本は、非常に丁寧でいろいろなことが書いてある一方で、泥臭く汚いです。

おすすめは、Michael Spivak著『Calculus Fourth Edition』をまず読み、その後、James R. Munkres著『Analysis on Manifolds』を読むことです。

ありがとう
参考になります

スピヴァックは和訳でもよい

>小平邦彦さんの本は、自己満足的なこだわりが感じられます。
>一松信さんの本は、色々なことが雑多に書かれています。
ある意味両極端だから
両方持っていれば有益ではなかろうか

留数定理の周辺がどう書かれているか

解析概論にはルーシェの定理の
逆関数の展開の収束半径への応用が
書かれている

>>151
留数定理から解析接続の導入まで書かれていますね
多変数も良さそうだしベクトル解析やフーリエ解析まで入って雑多に感じる人もいらっしゃるのかな
函数論は特によくまとまっていて自習用のテキストとして初版は◎でしょうか
小平解析入門は微分方程式を他巻に譲ってしまいましたね

一松の序説は初版を復刊して欲しいな

スピヴァックは一変数の本はとても面白い良い本だが
多変数のは他の本読まないと計算できるようにならない

スピヴァック多変数みたいな本があること自体は良いと思うし
持ってて良いが尖った本の一つだと思ってる

>>16
おまえが笠原読んでないことはわかった

>>161
高木はラグランジュの逆関数定理も書いてるから
そういう説明しやすい

附記として

>>73
レイアウトが悪い
本を開いた瞬間拒否反応が出る

名前が悪い
本を開く気になれない

ケプラー方程式の解の収束半径の評価は
ヤコビも書いていた

イタリアの天文学者の論文の独訳

>>152
才能ある学生は小平解析入門の方が先々の開花に寄与しそう

解析概論は「挿記」の「附記」が面白い

和書で十分だよねー

和書の中を探してもベストな本が見当たりません。

古書も探そう

和書の中しかベストな本が見当たりません

シュプリンガーの「リーマン面入門」は
ベストかもしれない

洋書部門第１位

和訳が出てもよい

>>178
どちらの本でしょうか？

An Introduction to Riemann Surfaces
https://link.springer.com/book/10.1007/978-0-8176-4693-6

Introduction to Riemann Surfaces
https://www.amazon.co.jp/dp/0821831569

シュプリンガーは人名だと思います。

ベルグマンの助手だった

また引用した

不滅の力作と言える

ルジャンドルの陪函数についての一言があってもよかった

回転群の表現

>>182
ありがとうございます。
George Springer「Introduction to Riemann Surfaces」で間違いないでしょうか？
※指導教官はAhlfors

Bergmanの秘書と結婚した

秘書と助手なら接点も多かったでしょうね
今までこの掲示板で誰もGeorge Springerのリーマン面入門に言及しなかった点が不思議です
不滅の力作なんて最高の賛辞もここでは初めて聞きました

数論の人はこれを勧めない

勧めない理由があるのでしょうか？

ある人はワイルのリーマン面が最高だと言っていた

Hitchin理論につながるのがこれ

Higgs pair

パラダイムシフト

ハードカバーの方がよかった

レコードがリバイバルしたようなことが
ハードカバーにも起こるか

起こる

文庫化を

ハードカバーの文庫もありかと

リュックのポケットに一冊

カタカナ書きの方が格調があった。

すちるりんぐノ公式とかね

ぢりくれとか

カタカナ書きの「近世数学史談」は見たことがない

キャンパスの近くの古本屋には
「定本」以外の３冊がそろっていた

森田康夫の「代数概論」が3冊あった

数学のノーベル賞「アーベル賞」賞金に非課税措置…文科省、数学分野の研究振興

>>209
マルチ、スレチうるせーんだよ
オメーに関係あるか

ないわけではない

>>210
荒しマルチを下げるための

>>211
お前に関係あるわけないだろ
首吊って死んどけ

これも荒しマルチを下げるため

>>207
流石は学生街

要所だけ抜き出して文庫化してほしい

『増訂解析概論』高木 貞治 著の現代仮名遣い版

で検索してみたらええ。
中学のときにカナ書きの版を古書店で買って
読んだのが最初だった。

一流の数学者の風格に接することができたことは幸せ

発表された当時は講座ものの一つであったし、
頁数に制限もあった。
　代数学も解析学も、藤原松三郎の
書籍の方が網羅的で学びやすいはず。
しかし長らくカタカナ書きであったことや、
出版社の規模や流通面から、共立出版や
岩波書店に負けてた感があり。あとは
なんといっても日本の中では最も有名な
数学者が高木貞二だったからか。

貞治

さだはる

高木貞治

概論

文化勲章のリストに貞治さんが2人

定本のp.15の注意に、

「
これに反し、 {a_n} に同じ数が無数に含まれることがなければ、 {a_n} が a に収束することは、 S が有界で a が S の唯一の集積点であることと同等である。
」

と書いてあります。

これは、有界な無限点集合には集積点が存在するという定理の直前に書いてありますが、この定理を使えば容易に証明できます。
使わずに証明できますか？

あ、上極限と下極限が一致するので収束しますね。

デデキントってどこの部分ですか

定本のp.26の指数函数について

についてです。

a > 0 とし、 {x_n} を x に収束する単調増加有理数列とすると、 {a^{x_n}} という数列は単調増加数列は有界だから収束する。
この極限値は単調増加有理数列の選択に無関係であると書いています。p.23を参照せよと書いてあるので、理由はそこに書いてあるはずだと思い、見てみました。

そこに書かれているのは、 x に収束する任意の点列 {x_n} （x_n ≠ x）に対し、 {f(x_n)} が収束するとき、 {x_n} を x に収束する点列、 {x'_n} を x に収束する点列とすると、
f(x_n) → l、 f(x'_n) → l' ならば、 l = l' であるということです。

ですが、このことを指数函数の場合に使うことはできないですよね?

高木貞治さんは大丈夫な人だったのでしょうか？

>このことを指数函数の場合に使うことはできないですよね?

なぜ？

>>228

x は無理数とする。
任意の自然数 m に対して、 x_m < x'_{n_m} < x を満たす自然数 n_m が存在する。
任意の自然数 n に対して、 x'_n < x_m < x を満たす自然数 m_n が存在する。

a^{x_m} → l
a^{x'_n} → l'

とする。

ε を任意の正の実数とする。
l' - ε < a^{x'_n} < l' を満たす自然数 n が存在する。
x'_n < x_{m_n} である。
x_{m_n} < x'_{n_{m_n}} である。
l' - ε < a^{x'_n} < a^{x_{m_n}} < a^{x'_{n_{m_n}} < l' である。

よって、 a^{x_m} → l' である。

>>229

指数函数の場合には、点列は単調増加という条件があるからです。

ハイネ・ボレルの被覆定理についても、一般の開被覆ではなく開円被覆の場合について証明を書いています。脚注に一般の開被覆でも成り立つと書くくらいなら最初から一般の場合で証明すべきです。

解析概論での指数函数の定義、連続性の証明ですが、ここしかないという場所に配置していますね。
数列を使った定義は分かりやすいと思いました。

>指数函数の場合には、点列は単調増加という条件があるからです。
指数関数の場合には
単調増加数列の像の極限しか意味がない？

>>234

{x_n} が単調増加でない場合には、 a^{x_n} が収束することを簡単には証明できません。


>そこに書かれているのは、 x に収束する任意の点列 {x_n} （x_n ≠ x）に対し、 {f(x_n)} が収束するとき、 {x_n} を x に収束する点列、 {x'_n} を x に収束する点列とすると、
f(x_n) → l、 f(x'_n) → l' ならば、 l = l' であるということです。

{f(x_n)} が収束することを示す必要があります。

>{x_n} が単調増加でない場合には、
>a^{x_n} が収束することを簡単には証明できません。

{x_n} が単調増加でない場合には、
他に何も条件がなければ
a^{x_n} は収束しない。

高校数学の教科書に以下の記述があります：

「
指数は有理数まで拡張されたが、無理数の指数はどうだろうか。
たとえば、 a^{√2} を考えてみよう。
√2 は無限小数 1.41421… で表される。そこで、

a^1, a^{1.4}, a^{1.41}, a^{1.414}, a^{1.4142}, …

を考えると、これらの指数が有理数だから、それぞれの値が定まる。
そして、それらの値はある一定の値にかぎりなく近づいていく。その値を a^{√2} と定めるのである。

このようにして、指数 p が無理数のときにも a^p が定められる。
したがって、指数はすべての実数に拡張されたことになる。そして、 p, q が実数のときも、前ページの指数法則が成り立つ。
」

この部分を厳密化したのが定本のp.26の指数函数についてですね。

解析概論の方が高校の教科書より後で書かれた？

定本のp.30の図ですが、おかしいですね。

点 Q を中心とする円ですが、開円板として描かれています。
閉円板として描くのが正しいですよね。

定本になる前の本でも同様の誤りがあります。

定本p.29の定理14（有界閉集合において連続関数は一様連続であるという定理）の証明の最後の部分が分かりません。

「
それを ρ_0 とすれば、 ρ(P) > 0 だから、 ρ_0 > 0 で v(P, ρ_0/2) ≦ v(P, ρ/2) < ε。
すなわち PQ < ρ_0 なるとき |f(P) - f(Q)| ≦ v(P, ρ_0) ≦ ε。
」

なぜ、 v(P, ρ_0) ≦ ε であることが言えるのでしょうか？
その前の行で、 ρ_0/2 や ρ/2 を考えたことは v(P, ρ_0) ≦ ε を結論づけるためにどのように効いているのでしょうか？

「
それを ρ_0 とすれば、 ρ(P) > 0 だから、 ρ_0 > 0 で v(P, ρ_0/2) ≦ v(P, ρ/2) < ε。
すなわち PQ < ρ_0/2 なるとき |f(P) - f(Q)| ≦ v(P, ρ_0/2) < ε。
」

↑こうであったなら何も疑問はありません。

>>241

が正しいように思いますがどうでしょうか？
せっかく正しく ρ_0/2 や ρ/2 を考えたにもかかわらず、最後の不等式ではそれを使えていません。
定本の前の本でも同じように書いてありますが、これは代々訂正されないままであった誤りではないでしょうか？