25/05/01 17:02:14.63 vC6FqAEu.net
働けウンコ製造機
3:１３２人目の素数さん
25/05/01 17:32:15.40 6Eh8uWkV.net
高木貞治『解析概論』
佐武一郎『線型代数学』
松坂和夫『集合・位相入門』
雪江明彦『代数学1 群論入門』『代数学2 環と体とガロア理論』
L.V.アールフォルス『複素解析』
伊藤清三『ルベーグ積分入門』
松本幸夫『多用体の基礎』
黒田成俊『関数解析』
小林昭七『曲線と曲面の微分幾何』
4:１３２人目の素数さん
25/05/01 17:32:52.88 6Eh8uWkV.net
多用体→多様体
5:１３２人目の素数さん
25/05/01 19:50:23.04 OUNI6/uc.net
宮島静雄 微分積分学 I, II
Munkres, Analysis on Manifolds.
一松信 解析学序説 上, 下
杉浦光夫 解析入門 1, 2
永田雅宜 理系のための線型代数の基礎
堀田良之 代数入門
斎藤毅 集合と位相
雪江明彦 代数学 1, 2
Tu, Introduction to Manifolds.
河澄響矢 トポロジーの基礎 上, 下
Bott-Tu, Differential Forms in Algebraic Topology.
神保道夫 複素関数入門
Ahlfors, Complex Analysis.
伊藤清三 ルベーグ積分入門
Rudin, Real and Complex Analysis.
6:１３２人目の素数さん
25/05/01 20:04:57.61 XWyJIn1c.net
ガロア理論
モース理論
超関数論
7:１３２人目の素数さん
25/05/01 20:06:42.76 ZHT2Zwh+.net
リーマン面
8:１３２人目の素数さん
25/05/01 20:12:50.21 LPvreXXF.net
リーマン面 代数函数論 代数曲線論 代数的整数論
→スキーム論
→C*環 簡約代数群 リー代数
9:１３２人目の素数さん
25/05/01 22:51:09.75 QFWB3RgJ.net
微分積分・解析学一般
良い本は無い
大学の講義や演習を活用し、自力で感覚をつかむしかない
高木 解析概論
の4章までは、初等関数を中心とした具体的計算が多く、非常に良い
小林 微分積分読本
は最低限知っておくべき事項が網羅されている
演習問題が無いのが欠点
笠原 微分積分学
スタンダードな一冊
字が細かいので見た目よりボリュームがある
あと安い
Munkres, Analysis on Manifolds
他変数の微分積分はこれが最も良いと思われるが結局、多様体とルベーグ積分をやらないと見通しは良くならないと思う
線型代数
これも良い本は無い
齋藤 線型代数入門
幾何ベクトルの復習から入り、行列の指数関数など解析の話題も扱っており、バランスが良い
行列の標準化で単因子を使っているところが、初学者にはつらいところ
永田 理系のための線型代数の基礎
最初から抽象ベクトル空間を導入して最短経路を進む、とくに行列の標準化の章は極めて見通しがよい。付録も面白い
計算例が乏しいことと、最終章が完全な蛇足なのが良くない
佐武 線型代数学
専門家が読んでも得ることがあるくらい内容充実
学部一年には難しすぎる（とくにテンソル代数の章は）
斎藤 線形代数の世界
現代的な本だが、行列式よりも前にジョルダン標準形の存在が示されるなど、初学者が読むことを全く想定していない
10:１３２人目の素数さん
25/05/01 22:59:33.66 QFWB3RgJ.net
集合と位相
どれを読んでも同じ
気に入った本を読めばいい
斎藤 集合と位相
個人的にはこれがおすすめ
位相に関する定理が実用的な形で述べられている。たとえば代数幾何でザリスキ位相みたいな変わった位相を扱うときは、開基に対する議論に帰着させることがよくあるが、そういうことがきちんと書かれている
また、コンパクト性を固有射によって特徴付けているのも、ブルバキ以外ではこの本だけ
濃度の細かい話をバッサリ削ってるのも実用的。そんなの数学やってて使わないからね
11:１３２人目の素数さん
25/05/01 23:08:48.36 Wok1MZbR.net
函数論
これも理論と実例をバランスよく含んだ本はあまり無い
留数定理までの初歩的な部分の実例は
一松 解析学序説 下
杉浦 解析入門 2
溝畑 数学解析 下
などの解析学全般の入門書を見るのがいいと思う
神保 複素関数入門
もよい
理論面では
吉田 函数論
Ahlfors, Complex Analysis
がよいと思うが、これらの本の後半部は、リーマン面や楕円曲線など具体的な分野にどんどん進んで、必要になったらその都度復習すればいいと思う
12:１３２人目の素数さん
25/05/01 23:18:54.35 itg1kX54.net
代数学（群、環、体ガロア理論）
雪江 代数学 1, 2
これ一択
洋書含めても最強の教科書
代数幾何の予備知識としていいのは
堀田 代数入門
永田 可換体論
の2冊
永田は3章以降が便利で、基礎体が代数閉体とは限らない時の代数幾何、局所体でない付値体、無限次ガロア理論などが必要になった時に役に立つ
どちらも具体例はほぼゼロ
これも完璧にするよりも、さっさと代数幾何・整数論・表現論などの興味ある研究に進んで、必要になったら復習するのがいい
13:１３２人目の素数さん
25/05/01 23:41:08.45 PEa8SVv+.net
多様体
Tu, Introduction to Manifolds
これが一番いいんじゃないか
線形代数の復習が入ってるし、ユークリッド空間内の話から始めているし、ベクトル束や関手などを使っていて説明が現代的だし、例が豊富だし、ド・ラムコホモロジー群の計算例もある
ページ数は多いが、行間が少なく、ほとんどが説明や計算例なので、わりとサクサク読めるはず
代数トポロジー
河澄 トポロジーの基礎 上, 下
これ一択
代数トポロジーは、初学者向けで本格的なレベルまで載ってる本がほとんど無かったのが、これで解決した
14:１３２人目の素数さん
25/05/01 23:43:12.32 PEa8SVv+.net
ルベーグ積分
伊藤 ルベーグ積分入門
Rudin, Real and Complex Analysis
ルベーグ積分は、何を読んだって苦痛だから
このふたつの気に入ったほうを読めばいい
15:１３２人目の素数さん
25/05/02 02:03:58.50 Ys+Z3aDP.net
コーシーの積分定理の証明についてですが、シンプルな多角形は三角形に分割できることが証明なしに使われています。
ちゃんと証明するにはどうすればいいですか？
16:１３２人目の素数さん
25/05/02 02:17:07.46 Ys+Z3aDP.net
>>9
小林昭七さんの本のどこがいいのかさっぱり分かりません。
笠原さんの本も好きになれません。リーマン積分は確か主に連続関数の場合しか扱ってなかったですよね？
17:１３２人目の素数さん
25/05/02 02:18:00.81 Ys+Z3aDP.net
>>10
James R. Munkres著『Topology Second Edition』がベストです。
18:１３２人目の素数さん
25/05/02 02:20:31.49 Ys+Z3aDP.net
>>12
雪江さんの本ってそんなにいいですか？
Michael Artin著『Algebra Second Edition』のほうがいいと思います。
19:１３２人目の素数さん
25/05/02 02:22:04.18 Ys+Z3aDP.net
>>9
Sheldon Axler著『Linear Algebra Done Right Fourth Edition』がスッキリしていて分かりやすいと思います。
テンソルについても初歩的な部分が書いてあります。
20:１３２人目の素数さん
25/05/02 02:24:35.55 Ys+Z3aDP.net
>>13
James R. MunkresさんがAlgebraic Topologyの本を書いていますね。
きっと、ベストなのではないでしょうか？
21:１３２人目の素数さん
25/05/02 02:25:15.07 Ys+Z3aDP.net
>>13
Leeさんの本のほうが分厚いですね。
22:１３２人目の素数さん
25/05/02 02:26:38.56 Ys+Z3aDP.net
>>14
伊藤清三さんの本は何か洗練されていない感じがします。それがいいところなのかもしれませんが。
Sheldon Axlerさんの本がベストだと思います。
23:１３２人目の素数さん
25/05/02 02:43:23.72 Ys+Z3aDP.net
志賀浩二さんの『複素数30講』ですが、もちろんいい加減な本なのですが、正則関数がいかに特殊な関数であるかについてしつこく書いてあって、30講シリーズの中ではためになる本だと思いました。
この本を流し読みした後に、普通の本で留数定理あたりまでの議論の穴埋めをするのがいいのではないかと思いました。
解析概論は基礎になる複素線積分の詳細を省いていますが、読みやすいですね。
∫_{C} a + b * z dz を例で具体的に計算していたり、 f がある領域で正則で、導関数が 0 ならば定数になるということを例で示していたりします。
一般論から分かることですが、その前に例で証明しているのがいいと思います。
f がある領域で正則で、 |f| が定数ならば、 f が定数であることも例で証明しています。
24:１３２人目の素数さん
25/05/02 02:46:25.83 9CsI+6I4.net
>>18
雪江のほうがいい
Artinの上位互換
この二つを比べてArtinが良いと言うのは、それは読んでいないということだ
25:１３２人目の素数さん
25/05/02 02:50:46.58 Ys+Z3aDP.net
確かに雪江さんの本は第1版の第1巻の、確認する必要のあった定理の証明だけを見たことがあるだけです。
ですが、説明が分かりやすいとは思いませんでした。
Artinさんの本は線形代数について沢山書いてあったり、雪江さんの本とは似ていないと思います。
26:１３２人目の素数さん
25/05/02 02:50:56.48 lh/6rzst.net
多様体の基礎は、読んでる人が多いからか躓く人も多いのだが
で、躓いた箇所を見てみるとたしかに分かりづらい書き方になっている
まあ、しかしほかの本にはもっと分かりづらいところがあるのだろう
27:１３２人目の素数さん
25/05/02 02:52:50.73 Ys+Z3aDP.net
Artinさんの本は定理のステートメントの前の説明が非常に分かりやすいと思います。
28:１３２人目の素数さん
25/05/02 02:55:00.74 lh/6rzst.net
tu は初学者にいい
lee は700ページもあるが、頑張れば通読可能と思われる
warnerは層係数コホモロジーを扱っていて、ホッジの分解定理を示している
しかし、そこまでやるならgriffiths-harrisやwells、和書なら小林複素幾何を読めばいい気がする
29:１３２人目の素数さん
25/05/02 03:00:43.80 HTqGv3xx.net
代数トポロジーは一冊で完結しない
代数トポロジストにとっての代数トポロジーの本はあるんだろうが、
FultonのAlgebraic Topologyのような代数幾何学者のための代数トポロジーみたいな本がなかなかない
整数論やるための測度論だとか、表現論やるための関数解析だとか、そういうのはわりとあるのだが
30:１３２人目の素数さん
25/05/02 03:02:20.03 Ys+Z3aDP.net
佐武一郎さんの『現代数学の源流』という本に『解析概論』を読めるのは日本人の特権だみたいなことが書いてありましたが、そこまでの本ですか？
欠点はやはり証明がスケッチ風で、究極的な細部まで書かれていないことだと思います。
志賀浩二さんの本をまともにした感じの本だと思います。
31:１３２人目の素数さん
25/05/02 03:06:21.41 Ys+Z3aDP.net
他の本で詳しく勉強した後で、小説を読むように読むのに良い本という感じではないでしょうか？
32:１３２人目の素数さん
25/05/02 06:06:17.87 vNHpJXVQ.net
「概論」が名著で
「外伝」が真実
33:１３２人目の素数さん
25/05/02 08:18:58.82 AoLXmfvQ.net
ω = dη
∫ ω = ∫ dη = ∮η
34:１３２人目の素数さん
25/05/02 09:22:57.53 nbZe6woO.net
なんで2変数以上の変数変換公式は難しいの？
35:１３２人目の素数さん
25/05/02 09:23:00.49 Ys+Z3aDP.net
>>15
シンプルな多角形が三角形に分割できることの証明ですが、以下のような感じでどうでしょうか？
シンプルな多角形が凸な場合には、任意の頂点 i と隣接する頂点 i - 1, i + 1 の3点を頂点とする三角形は問題の多角形の部分集合です。
その三角形を取り除いた多角形もシンプルな凸多角形で頂点の数は 1 減っています。
あとは、頂点の数に関する帰納法で証明します。
凹んでいる場合ですが、凹んでいる三角形の頂点 i - 1, i, i + 1 を考えます。
頂点 i - 1 と i + 1 を結び、凹んでいる多角形の凹んでいる部分を「修復」します。
凹みがなくなるまでこの作業を繰り返します。
作業完了後、凸多角形ができあがります。
この凸多角形は三角形に分割できます。
ここからどうすればいいですかね？
「修復する」ために使用した三角形をすべて除去した後に残されたオリジナルの多角形に分割の線がひかれていますが、それは一般には三角形分割ではありません。
36:１３２人目の素数さん
25/05/02 09:23:43.47 nbZe6woO.net
逆にやめたほうがいい本
Rudin, Principles of Mathematical Analysis
37:１３２人目の素数さん
25/05/02 09:27:48.26 Ys+Z3aDP.net
>>36
その本は多変数のところを読んでいませんが、厳密なんですか？
もし、1変数の部分同様のクオリティならば読んでみたいのですが、多変数の部分の評判は芳しくないようです。
38:１３２人目の素数さん
25/05/02 09:32:03.51 RypzlT67.net
小平解析入門を名著という人の意見はよくわかりません
あの本のオリジナルの部分（初等函数をべき級数や複素積分によらずに構成しているところや、和と極限の順序交換の一様収束よりも緩い十分条件を与えているところ）は、ほとんど実用性がありません
そして、未定乗数法やベクトル解析などの他の多くの本に載っている重要事項が省略されてしまっています
39:１３２人目の素数さん
25/05/02 09:37:08.10 Ys+Z3aDP.net
>>38
変わった本ではありますが、書かれている部分に関しては、ネチネチと極めて丁寧に書かれています。
40:１３２人目の素数さん
25/05/02 09:40:01.31 Ys+Z3aDP.net
>>38
三角関数の定義の部分ですが、著者の考えでは発見的に書いているつもりなのでしょうが、ちょっと納得できません。
41:１３２人目の素数さん
25/05/02 09:42:25.07 vNHpJXVQ.net
>>34
難しいことはない
42:１３２人目の素数さん
25/05/02 09:55:58.79 Ys+Z3aDP.net
溝畑茂さんの本の良さが全く分かりません。
43:１３２人目の素数さん
25/05/02 09:56:54.28 vNHpJXVQ.net
わからなくても死なない
44:１３２人目の素数さん
25/05/02 09:58:32.73 v1nLrzll.net
>>38
ルベーグ積分をやれば済むことを無駄に詳細にやっている
副読書として「そういう話題もある」と楽しむ分にはいいが、メインの教科書にはならない
45:１３２人目の素数さん
25/05/02 09:59:56.84 v1nLrzll.net
>>36
Rudinは多変数の積分をコンパクト台をもつ連続関数に限定していて計算例がほとんどないから、初学者がこれを読んで重積分の広義積分を習得するのはまず不可能
46:１３２人目の素数さん
25/05/02 10:05:08.28 xjtwG/Sa.net
溝畑の下巻は、素直に多様体と複素解析に進んだほうがいい
ただし陰関数定理は逐次近似法で短く証明していてよい
高木も小平も溝畑も、読者のためではなく、自分のために書いている
47:１３２人目の素数さん
25/05/02 10:06:46.40 vNHpJXVQ.net
計算例は留数の場合は５つほど必要だが
重積分の場合は４つくらい
48:１３２人目の素数さん
25/05/02 10:07:26.04 Ys+Z3aDP.net
>>46
＞高木も小平も溝畑も、読者のためではなく、自分のために書いている
これはそう思います。
巨匠気取りの人の本によくあることですが。
49:１３２人目の素数さん
25/05/02 10:07:54.33 8Pd/jXUt.net
ID:Ys+Z3aDPさん
施されるだけではなく与えることを覚えましょう
独り言ではなくコミュニケーションを覚えましょう
50:１３２人目の素数さん
25/05/02 10:08:48.41 Ys+Z3aDP.net
小平さんは台所で本を書いていたそうですね。
おそらく隠居老人の趣味で書いているだけですよね。
盆栽を育てている感覚だったのではないでしょうか。
51:１３２人目の素数さん
25/05/02 10:12:55.82 vNHpJXVQ.net
しょっちゅうエネルギー補給が必要だったからではないか
52:１３２人目の素数さん
25/05/02 10:20:18.38 RpzEQH2g.net
>>9
小林微分積分読本も、
変数変換公式を有開閉領域の場合にしか示していないのに
∫_-∞^∞ ∫_-∞^∞ exp(x^2 + y^2) dx dy
= ∫_0^2π ∫_0^∞ exp(r^2) r dr dθ
と断りなく変形しています
53:１３２人目の素数さん
25/05/02 10:24:44.46 Ys+Z3aDP.net
>>52
小林さんはいい加減なので全く驚きません。
54:１３２人目の素数さん
25/05/02 10:47:16.97 xcBMxeY6.net
いろいろと目を通してなさるのね
55:１３２人目の素数さん
25/05/02 10:57:26.46 enJinyvZ.net
>>52
一松信は、これちゃんと厳密に成り立つことを示してる
溝畑は、変数変換公式自体を、積分が絶対収束する場合にまで拡張している（ただ、ここまでやるならルベーグ積分でいい気はする）
56:１３２人目の素数さん
25/05/02 11:06:21.37 JDob4+dK.net
参考書オタクの粗探し
本人はトリビアを披露して得意げ
はたから見たらみっともないだけ
57:１３２人目の素数さん
25/05/02 11:10:22.87 WQLA6NB1.net
宮島静雄は、見てないけど、「広義積分に対する変数変換」というそのまんまな節があるので、おそらく正確にやっているのでしょう
58:１３２人目の素数さん
25/05/02 11:13:16.37 9LYTRDch.net
数学のスレは盛り上がらないのに、数学書のスレは大盛り上がり
どうせ買っただけで大して読んでないんだろ？（笑）
59:１３２人目の素数さん
25/05/02 12:38:38.18 40u3serF.net
買ってもいないかもしれない
60:１３２人目の素数さん
25/05/02 16:35:29.36 OpIx0dqA.net
微分積分の現代化
61:１３２人目の素数さん
25/05/02 17:15:35.13 whfqFmxH.net
微分積分いい気分
62:１３２人目の素数さん
25/05/02 19:26:56.68 N1vEKhds.net
予備校の先生が書いた線形代数の本を読んでいるのだが、無駄な修飾語が多くて気になる。
目覚ましい応用、極めて明確に、もっとも著しい特徴、より濃密な考察などなど。
学生にとっては印象に残って勉強した気になるのかもしれないけど、我々にとっては論理の連鎖だけの方がいい。
脳内に無駄なノイズが入ってくる感覚だわ。
63:１３２人目の素数さん
25/05/02 19:31:31.76 whfqFmxH.net
数学者の書いた線形代数の本読めよ
64:１３２人目の素数さん
25/05/02 19:35:01.40 tdWXZVWf.net
というか、予備校講師の書いた本を読む意味が分からない
数学に興味があるなら数学者の書いた本を読むべきだし、物理や工学に興味があるなら、物理学者や工学者の書いた本を読むべき
予備校講師が書いた線形代数に何を求めてるの？
65:１３２人目の素数さん
25/05/02 19:39:33.85 whfqFmxH.net
逆にいうと頭が高校生なんだろ
66:１３２人目の素数さん
25/05/02 19:44:22.30 N1vEKhds.net
>>63
読み始めたんで惰性で読んどった。
あと、長岡先生という人の本で、以前放送大学で講義してるところを見たことがあったんで。
人には薦めないな。
67:１３２人目の素数さん
25/05/02 20:15:31.52 Ys+Z3aDP.net
オフコースの小田和正さんと同級生だった人ですね。
あんな人でも数学が得意な人という位置づけだったそうですね。
68:１３２人目の素数さん
25/05/02 21:02:54.87 vNHpJXVQ.net
線形代数は特に本を丁寧に読まなくても
２点を通る直線と
３点を通る平面について
素心深考してみれば大体の見当はついてくる
69:１３２人目の素数さん
25/05/02 23:34:39.80 cpWqh2kD.net
>>64
俺もどちらかというと議論がチャランポラン扱いされる幾何学系寄りな私文の学部卒止まりだけど
山本義隆マンセーするならアーノルドの解析力学の教科書を読むわ。
70:１３２人目の素数さん
25/05/02 23:35:53.14 cpWqh2kD.net
>>68
天狗ザルの定理でしたっけ？
71:１３２人目の素数さん
25/05/03 00:02:15.79 y5h+GLAZ.net
>>69
学部卒止まりで幾何学寄りってどういうこと？
学部卒止まりならたとえ数学科卒業でも専門なんか無いだろう。
72:１３２人目の素数さん
25/05/03 06:30:27.84 yJRP7uWx.net
私文の学部卒って時点で意味不明
73:１３２人目の素数さん
25/05/03 09:18:48.55 2Zy6Bkdj.net
マセマはなぜ批判されるの？
74:１３２人目の素数さん
25/05/03 09:21:01.14 s7SDxuwV.net
>>70
ガウスの遺稿
75:１３２人目の素数さん
25/05/03 09:28:54.50 DMMv2/7c.net
文系の場合、計算中心の微積分と行列の授業があるならマシな方。
演習がついていることはほぼない。
ただでさえ苦手意識を持っている学生が多いのに、そんなんで身に付くわけがない。
76:１３２人目の素数さん
25/05/03 09:34:33.45 s7SDxuwV.net
近くの私立大では工学部より文系のほうが
数学の成績が良いそうだ
77:１３２人目の素数さん
25/05/03 09:51:06.94 DMMv2/7c.net
定員が埋まらない地方の工学部では、文系入試をやっているところもあるとか。
エンジニアとして卒業させていいんだろうか。
東大なんかは文系でもガンガン数学をやらせればいいと思う。
無理やりでも勉強させればマスターする脳ミソはあるだろ。
せっかく東大に入った以上、退学にはなりたくないだろうから、きっと必死で勉強するよ。
78:１３２人目の素数さん
25/05/03 13:33:22.32 lT0aJ4Jx.net
微分積分の教科書の書き方についてですが、まず複素微分を説明して、色々な複素関数の性質を説明した後で、実微分を紹介するというのはどうでしょうか？
79:１３２人目の素数さん
25/05/03 13:34:16.12 lT0aJ4Jx.net
実微分の特殊性を強調しながら、実微分積分学を展開する教科書というのも面白いかもしれませんよね。
80:１３２人目の素数さん
25/05/03 17:11:50.17 xhZief5v.net
p進解析と並行してやってほしい
81:１３２人目の素数さん
25/05/03 18:35:49.76 lT0aJ4Jx.net
Weierstrassの二重級数定理：
f_n(z) = Σ_{k=0}^{∞} a_k^(n) (z - z_0)^k (n = 0, 1, 2, …)
は正則で、また F(z) = Σ_{n=0}^{∞} f_n(z) は |z - z_0| ≦ ρ （ρ は ρ < r なる任意の正数）なるとき、
一様に収束するとする。
然らば a_k^(0) + a_k^(1) + … + a_k^(n) + … = Σ_{n=0}^{∞} a_k^(n) = A_k は収束して、
|z - z_0| < r なるとき F(z) = Σ_{k=0}^{∞} A_k (z - z_0)^k.
上の定理において、「f_n(z) = Σ_{k=0}^{∞} a_k^(n) (z - z_0)^k (n = 0, 1, 2, …) は正則」と仮定しているのはなぜでしょうか？
これはべき級数であるため、自動的に収束円内で正則になるのではないでしょうか？
82:１３２人目の素数さん
25/05/03 19:27:48.21 xhZief5v.net
消えろ
83:１３２人目の素数さん
25/05/04 10:12:57.44 VY9EccjD.net
43. 絶対収束・条件収束
正項級数 Σa_n を無数の部分級数に分割するならば、収束の場合、部分級数も収束する。その和を σ_1, σ_2, … とすれば、 σ_1 + σ_2 + … も収束して、その和は s に等しい。
この証明が粗雑ですね。
84:１３２人目の素数さん
25/05/04 10:20:14.46 VY9EccjD.net
『定本解析概論』のp.156に「広い意味で、加法の結合律が成り立つのである。」と書いてありますが、「交換律」ですよね。
85:１３２人目の素数さん
25/05/04 11:32:15.88 VY9EccjD.net
Σ a_n について考える。
Σ a_n は正項級数ではないとする。
Σ a_n が負項級数の場合には、正項級数の理論に帰着するから、負項級数でもないとする。
Σ a_n の負項の個数が有限の場合には、 Σ a_n は正項級数の有限個の項を負項に変えて得られる級数だから、正項級数の理論に帰着する。
Σ a_n の正項の個数が有限の場合には、 Σ a_n は負項級数の有限個の項を正項に変えて得られる級数だから、負項級数の理論に帰着する。負項級数の理論は正項級数の理論に帰着するから、この場合も結局正項級数の理論に帰着する。
Σ a_n の正項の個数も負項の個数も無数にあるとする。
Σ a_n の第 i 番目の正項を p_i とする。
Σ a_n の第 i 番目の負項を -q_i とする。
Σ a_n が絶対収束する場合には、 Σ p_i ≦ Σ |a_n|, Σ q_i ≦ Σ |a_n| だから Σ p_i, Σ q_i ともに収束する。
p := Σ_{i=1}^{∞} p_i, q := Σ_{i=1}^{∞} q_i とする。
「正項級数 Σa_n を無数の部分級数に分割するならば、収束の場合、部分級数も収束する。その和を σ_1, σ_2, … とすれば、 σ_1 + σ_2 + … も収束して、その和は s に等しい。」
この命題を使うと、 Σ |a_n| = Σ p_i + Σ q_i が成り立つことが分かる。
ε を任意の正の実数とする。
n > N_p ならば、 |Σ_{i=1}^{n} p_i - p| < ε/2, n > N_q ならば、 |Σ_{i=1}^{n} q_i - q| < ε/2 が成り立つとする。
p_i = a_{φ(i)}, -q_i = a_{ψ(i)} とする。
N_1 := max {φ(1), φ(2), …, φ(N_p)}, N_2 := max {ψ(1), ψ(2), …, ψ(N_q)} とする。
n > max {N_1, N_2} ならば、 |Σ_{i=1}^{n} a_i - (p - q)| = |(Σ_{i=1}^{l} p_i - p) - (Σ_{i=1}^{m} q_i - q)|
≦ |Σ_{i=1}^{l} p_i - p| + |Σ_{i=1}^{m} q_i - q| < ε/2 + ε/2 = ε が成り立つ。
よって、 Σ a_n = Σ p_i - Σ q_i が成り立つ。
86:１３２人目の素数さん
25/05/04 11:32:29.17 VY9EccjD.net
逆に、 Σ p_i, Σ q_i がともに収束するとする。
p_1, q_1, p_2, q_2, … という数列を (b_i) とする。
Σ_{i=1}^{n} b_i ≦ Σ p_i + Σ q_i だから Σ b_i は収束する。
数列 (b_i) を並べ替えれば数列 (|a_i|) が得られるから、
Σ |a_i| も収束して、 Σ |a_i| = Σ b_i が成り立つ。
よって、 Σ a_i は絶対収束する。
前半の議論から、 Σ a_n = Σ p_i - Σ q_i が成り立つ。
以上の結果をまとめると、
「Σ a_n が絶対収束する ⇔ Σ p_i, Σ q_i が収束する」が成り立つ。
上のどちらかが成り立てば、 Σ a_n = Σ p_i - Σ q_i が成り立つ。
87:１３２人目の素数さん
25/05/04 11:35:44.62 VY9EccjD.net
43の条件収束級数の話もこれくらい丁寧に書いてほしいものです。
88:１３２人目の素数さん
25/05/04 11:36:14.84 VY9EccjD.net
訂正します：
43の絶対収束級数の話もこれくらい丁寧に書いてほしいものです。
89:１３２人目の素数さん
25/05/04 12:19:16.23 VY9EccjD.net
高木貞治さんは、 Σ p_i, Σ q_i が収束するときに、 Σ a_i が絶対収束することを証明していません。
90:１３２人目の素数さん
25/05/04 12:22:16.46 VY9EccjD.net
高木貞治さんは、
「正項級数 Σa_n を無数の部分級数に分割するならば、収束の場合、部分級数も収束する。その和を σ_1, σ_2, … とすれば、 σ_1 + σ_2 + … も収束して、その和は s に等しい。」
を証明するだけではなく、
「正項級数 Σa_n を無数の部分級数に分割するならば、各部分級数が収束の場合、 Σa_n も収束する。」
も証明すべきだったということですね。
91:１３２人目の素数さん
25/05/04 12:33:31.61 VY9EccjD.net
「正項級数 Σa_n を無数の部分級数に分割するならば、収束の場合、部分級数も収束する。その和を σ_1, σ_2, … とすれば、 σ_1 + σ_2 + … も収束して、その和は s に等しい。」
この命題ですが、有名なオイラー公式を証明するときに、 sin のパートと cos のパートに分けるときに必要になりますよね。
92:１３２人目の素数さん
25/05/05 14:10:50.40 CDCnaF/t.net
藤田宏先生の「大学での微分積分１、２」って、あまり話題にならないけど、どうなんだろう。
曲がりなりにも大物が書いた大著だが。
93:１３２人目の素数さん
25/05/05 14:11:48.55 CDCnaF/t.net
つづきとして関数解析もある。
94:１３２人目の素数さん
25/05/06 16:19:08.89 w+ZPM7Bd.net
リーマンの定理
絶対収束しないが条件収束をする実数級数は、
項の順序をうまく変更することで、任意の実数値に収束するように、
（あるいは発散するようにも）変形できる。
こういうことを書いてある本をあまり見かけないようだった。
95:１３２人目の素数さん
25/05/07 19:13:49.29 uqiKuStR.net
「45. 収束の判定法（条件収束）」のp.165に
「若干項の和は絶対値において (p + q) / (2 * n) よりも小である」と書いてありますが、これ間違っていますよね。
96:１３２人目の素数さん
25/05/07 19:18:37.48 C846PTgG.net
>>94
今どきそんな定理を細かくやるよりももっと優先してやるべきことがある
97:１３２人目の素数さん
25/05/07 19:25:44.73 uqiKuStR.net
>>96
斎藤毅さんが同じことを書いていました。
ですが、そういうことを徹底していくと、本当につまらない本になってしまうと思います。
98:１３２人目の素数さん
25/05/07 19:27:20.46 uqiKuStR.net
>>95
についてですが、「1/n よりも小である」というのがもっとも自然な評価だと思います。
99:１３２人目の素数さん
25/05/07 19:29:39.38 uqiKuStR.net
斎藤毅さんには、何のために数学を勉強するのか？と訊いてみたいです。
「次の数学の分野を勉強するため」としか考えていないのではないでしょうか？
100:１３２人目の素数さん
25/05/07 19:42:53.45 uqiKuStR.net
π が無理数であることの証明や e が超越数であることの証明などは書くべきだと思います。
101:１３２人目の素数さん
25/05/07 19:43:57.91 uqiKuStR.net
『解析概論』は適度に遊びがあるところがいいと思います。
102:１３２人目の素数さん
25/05/07 19:47:40.62 uqiKuStR.net
>>100
Michael Spivakさんの本はやさしい入門書ですが、ちゃんと書いてあります。
103:１３２人目の素数さん
25/05/08 05:59:06.39 xbcpGLfj.net
226事件が起きた頃に書かれていたような本を批判していてもしかたがない。
まるでその後に解析学が進歩していなかったかのような印象をあたえる。
解析概論の数学のスタイルはいまとなってはとても古いと思う。
たとえば関数のクラス、Cn級の関数というような話がはっきりと
書かれていただろうか？
104:１３２人目の素数さん
25/05/09 20:00:44.29 cRKcvABz.net
本来広い範囲の内容をカバーする講座ものの中の１冊だけを、
単独で売り続けることは少し考えものだと思う。なぜなら講座
もののうちの１冊であったときには、同じ講座もののなかの
それ以外の書籍を読者は参照したり、別途買ったりして読み得る
状況だったのに、時代が移ってそれらその本以外の書籍が手に
入らないかあるいは読者にとってそれら前提知識が何に書かれて
いるかあるいはそういう書籍の存在が容易に想像がつかない形で
売られてしまうからだ。
高木貞二の本として、解析概論、代数学講義、初等整数論講義、
代数的整数論の４つが主だった数学書だろうと思うが、ではこれら
の４冊を読めば、それら全部が理解できるか、たとえば代数的整数論
に書かれている内容が把握できるかといえば断じてＮＯだ。たとえば
ガロア理論については他書を読んで理解していることを暗黙に前提と
して書かれていると思うが、本文中ではガロア理論についてはＸＸＸ
などを読むと良いというようなヒントとか指示はしていなかったと思う。
代数学講義にはアーベルの理論はその姿を概ね再現する形で出てはいて
も、ガロアの理論の解説にまでは至っていなかったと思う。
105:１３２人目の素数さん
25/05/11 03:30:09.98 CRX9H0rX.net
高木貞治は数学者だが
高木貞二は確か心理学者
106:１３２人目の素数さん
25/05/11 11:09:21.02 zsz8Xe/b.net
『定本解析概論』p.173
s(x) の微分の計算ですが、右側微分が存在することしか証明していません。
p.172の(C')で定義域が [a, b) となっています。
不自然だと思って、TeX化される前の解析概論を調べたところ、 [a, b] となっていました。
107:１３２人目の素数さん
25/05/11 11:11:32.77 zsz8Xe/b.net
>>106
>s(x) の微分の計算ですが、右側微分が存在することしか証明していません。
別に左側微分が証明することも同時に簡単に示せるにもかかわらず、こういう気まぐれを起こします。
108:１３２人目の素数さん
25/05/12 18:06:28.99 FrA4Ryze.net
算術幾何平均はよく引用される
109:１３２人目の素数さん
25/05/13 16:02:31.57 Ais87faH.net
dx=Δｘの欺瞞を一生許さない
110:１３２人目の素数さん
25/05/13 16:47:43.14 h4GEETgu.net
確かにそこでは引っかかった
111:１３２人目の素数さん
25/05/14 21:11:30.84 ry7WU3Jh.net
しかしもう忘れた
112:１３２人目の素数さん
25/05/15 09:33:13.85 yEIrDn+I.net
>>44
小平解析入門は昔から評価が割れるけど、よく見かける「教科書に使うのは難しい…」っていう意見はそういう意味なんだね。
でも関数論が専門の先生（かなり若い人）が、解析の入門で1冊を選ぶなら小平解析入門ってツイッターで言ってたよ。
かなり有名な人。
113:１３２人目の素数さん
25/05/15 11:47:46.64 I2OpMF71.net
小平先生は関数論とその次も書いているから、つなぎも考えて三部作トータルで完成品を作っておられるのかも。
しかし、残念ながら、人生は短く、三部作全部には付き合ってられない。w
114:１３２人目の素数さん
25/05/15 18:27:44.04 Z4371cQ0.net
逆に三部作を全てマスターしたら数学で食べて行けるかもw
複素多様体論を通読した人が周りにいない。
115:１３２人目の素数さん
25/05/15 18:56:45.54 iO1hGNiJ.net
数学で食べていくとしても、三部作完全マスターがタイパ良か疑問である。w
116:死狂幻調教大師S.A.D.@月と六ベンツ
25/05/15 19:14:16.06 WMIXvy2A.net
早慶より日本一のおしゃれ校明治学院、大日本帝国好調三連勝の要明治。
117:死狂幻調教大師S.A.D.@月と六ベンツ
25/05/15 19:15:19.10 WMIXvy2A.net
データ解析は生物系だから。明治のほうが。
118:死狂幻調教大師S.A.D.@月と六ベンツ
25/05/15 19:17:03.54 WMIXvy2A.net
俺は分岐する応用分野より進路はまず数学科のほうがいいと思う。
119:死狂幻調教大師S.A.D.@月と六ベンツ
25/05/15 19:17:52.16 WMIXvy2A.net
私学か市立の。
120:死狂幻調教大師S.A.D.@月と六ベンツ
25/05/15 19:19:15.36 WMIXvy2A.net
早稲田の先進理工は数学板よりつまらない。
121:死狂幻調教大師S.A.D.@月と六ベンツ
25/05/15 19:21:04.39 WMIXvy2A.net
慶應と慶応の違い。日吉と三田。全く違う大学だ。
122:死狂幻調教大師S.A.D.@月と六ベンツ
25/05/15 19:22:57.50 WMIXvy2A.net
50歳まで数学科にいてそこから金持って天下りどうよ。
123:死狂幻調教大師S.A.D.@月と六ベンツ
25/05/15 19:24:38.25 WMIXvy2A.net
女は他人のために稼いだらあかんわ。
124:死狂幻調教大師S.A.D.@月と六ベンツ
25/05/15 19:26:57.35 WMIXvy2A.net
東大京大が底辺以下で私大がと。
125:死狂幻調教大師S.A.D.@月と六ベンツ
25/05/15 19:28:30.69 WMIXvy2A.net
矢上慶應より明治理工。慶応矢上のほうがそれはいいけど。
126:死狂幻調教大師S.A.D.@月と六ベンツ
25/05/15 19:29:29.90 WMIXvy2A.net
人を奴隷に見て人の中に他人を見るとだめ。
127:１３２人目の素数さん
25/05/16 12:57:39.74 OFurq+rl.net
複素解析スレで解析概論を勧められて、改訂３版を購入しました。
その後は何を質問しても全部無視されてしまいまして、スレ違いというルールがあったんですね。
でも皆さん雑談も普通にしてるので、やっぱりバカにされたのかなと思います。
128:１３２人目の素数さん
25/05/16 13:02:14.36 OFurq+rl.net
最初は、田島一郎先生の解析入門で勉強を始めるつもりでした。
解析概論は、すごく状態の良い本を安く買えました。
129:１３２人目の素数さん
25/05/18 22:05:06.70 QvzV3YWe.net
小平解析入門→ 小平複素解析 →小平複素多様体論
130:１３２人目の素数さん
25/05/19 09:20:41.66 697t3eW3.net
高木数学雑談→高木数学小景→高木初等整数論講義
131:１３２人目の素数さん
25/05/19 20:00:00.77 WGivTnyd.net
解析概論で勉強が行き詰まって小平先生の解析入門に救われたって話はわりと聞くよ
132:１３２人目の素数さん
25/05/20 07:02:44.46 xa7y9T7A.net
小平の解析入門は素晴らしい
133:１３２人目の素数さん
25/05/27 11:03:51.26 QldHiLh8.net
ワープロも、TeXも無かった時代に、
数学書の原稿は如何にして作られ準備
されたのだろうか。
手書きの原稿が残っているのだろうか？
それとも出版されたら手書きの原稿は
棄てた？ なんどか校正をするのだと
したら、下刷り・校正刷りなどのやり取り
があったのかもしれないが、完成版が
出来たら、それらは廃棄されてしまった
のだろうか。もしも残っていれば、それらは
出版された本の１冊よりもずっと価値が
ありそうだが。
134:１３２人目の素数さん
25/05/28 05:26:07.96 CTASdXCp.net
Weierstrassの手書きの原稿は
いくつか残っている
135:１３２人目の素数さん
25/06/01 10:55:52.96 4sixkKNm.net
RIMSの講究録も初期は手書きが多かった。
それをスキャナーでPDF化されたものが
O.A.になっているが、スキャンの中間調
が出ないと、かすれたり、いろいろあって、
最初の印刷物に比べるととても読みにくい
ものが、手書きのものには多いようだ。
いまさら手書き原稿をTeX化などしない
のだろう。LNCSなども、ドットプリンター
とか、あるいはIBMのゴルフボールプリンタ
ーで印刷されていた頃の論文はとても読み
にくい。LaTeXで整形し直して欲しいと思
うが、完全自動では無理だろうから、AIが
将来賢くなれば、わけのわかった人間との
協調作業で、綺麗な整形文章にできるの
だろうか？
136:１３２人目の素数さん
25/06/01 14:01:07.97 4sixkKNm.net
解析概論はあくまでも概論なのであって、
あの一冊でもって解析学全体を把握できる
といったものでは全く無い。この本を
読んだ後にどのような本を読みどのような
後に続く内容を学ぶべきであるかについて
の参考となる記述が無いのが残念であろう。
137:１３２人目の素数さん
25/06/01 14:06:53.88 U8jfVxM2.net
著者の知性に触れることができる
138:１３２人目の素数さん
25/06/26 08:53:07.27 iy35HPrf.net
正確に引き写したものを
そつなく編集してある
139:１３２人目の素数さん
25/07/01 17:27:17.38 IdXpMlQI.net
続解析概論
のようなものを誰か文体を模写して
格調高く片仮名書きで書かないもの
かなと思ふ。