[[circle/members]]

*連絡先 [#k2267fd9]
添付PDFの間違い等あればTwitterで連絡してください。Twitterは@seasawher。
* イノウエ [#tf5e1d13]

*s2s共有文書とは[#teb87294]
数学科では、有名な本は過去に何百という人によって読まれているはずなので、記録が公の場にアップロードされていて誰でもアクセス・編集できるようになっていれば便利だろうという考えに基づき、ノートとLaTeXソースを公開しています。
- Twitterは@seasawherだが現在稼働していない

どなたでも自由に編集・再投稿してくださって構いません。僕の許可をとる必要はありませんが、連絡してくださると嬉しいです。
- 2016年に入学.そのまま2020年に学部を卒業

とくに、セミナー、系登録試験、院試の記録を残しておきたいと思っています。
- 学部では3回生まで整数論をやっていたが4回生で代数幾何に手を出して悲惨なことになり,その後院では離散最適化に転向.

*本について [#r5e627fc]

**凡例 [#k34054af]
見出しについてるローマ数字はだいたいの読む順番を表しているつもり。予備知識がたくさん要るものほどローマ数字が大きくなるようになっているはず。具体的には、ローマ数字nの本は1~n-1までの本を全部読んでいることがなんとかその本を読むことができるための十分条件になっている、はず。(必要条件とは言ってない)個別の本を読むのに必要な予備知識についてもし知りたければ、ここの記述を信用せず、僕か先輩および強い同級生等に訊くことを勧める。アルファベットは、予備知識の量がだいたい同じ異なる分野を区別するためにつけた。見出しに名前が挙がっているものは僕が多少とも読んだり参照したりしたもの。(通読したとは言ってない)

**I 微積分・線形代数 [#r1fc96fa]
* 院試について [#i24b3056]

***斎藤正彦「微分積分学」東京図書   [#a413f2e0]
高木貞治「解析概論」にいきなり挑戦して玉砕した人は多いのではないか。名著ということと、初学者向きということは全く別のことである。これはわかりやすくておもしろいので挫折しにくい。ただ重積分の変数変換公式を厳密に証明していないし、ベクトル解析の説明が雑すぎるのであくまで初学者向け。
京大数学の院試の過去問を10年ぶんくらい解いて片っ端からTeX打ちし,そのPDFを無料公開しています.よかったらどうぞ.

***斎藤正彦「線型代数学」東京図書 [#v9e056e8]
行間もなく具体的に書いてある良い本。こういう1回生の最初に読む本は、とにかく挫折しにくいことが大事だと思う。
URLは次の通り.

***ラング「線形代数学」ちくま学芸文庫 [#h65ccadb]
文庫サイズなので読みにくい。群や環が出てくるが、説明が雑なので初学者向きでない。
でもこの本を読んでいたことがのちにFulton Harrisを読むときに役に立った。外積代数などの説明がある本を読んでおくのはよいこと。
https://github.com/Seasawher/graduate_exam

**II 位相空間論 [#lea43ce0]
内田と、松坂和夫「集合・位相入門」が二大入門書。新しいのでは斎藤毅「集合と位相」が良書と聞く。松坂のほうは集合論の記述が充実していて、斎藤のほうは圏論的に書かれているということである。
* 本について [#r5e627fc]

***内田伏一「集合と位相」 [#e11251dc]
丁寧に書かれた良い本。位相空間は幾何・解析・代数のどの分野でも頻繁に登場するため、位相の勉強は早めにしたほうがよい。
学部2回のころから,誰かの参考になればと思って大学数学の文献案内メモを書き続けています.

***John L.Kelley「General Topology」 [#v4576aa3]
内田より詳しい位相の本。Weilを読むときにnetによる特徴付けを調べるのに使った。
詳しくは以下の私のブログを見てください.

**III-a 群論 [#pe5cd000]
https://seasawher.hatenablog.com/entry/2020/04/25/175335

***雪江明彦「代数学1 群論入門」 [#qd2d17cb]
群論の定番教科書。初学者でも挫折しにくい。この本に限らず雪江先生の本は行間がないという特徴があり、読むと幸せになれる。well-definedの説明がしっかりしてあるのは素晴らしい。唯一、冒頭に「自然な対象とは関手を使って定義される対象である」とよくわからないことが書いてあるのには文句を言いたい。圏論を知らない人が誤解するかもしれないし、一応注意しておく。正誤表が[[著者のホームページ:https://www.math.kyoto-u.ac.jp/~yukie/]]にある。雪江先生の本で何かわからないところがあったら、直接メールで訊けば親切に教えてもらえる。

***近藤武「群論」 [#aff62575]
初学者向きではないが、面白いことがいっぱい書いてあり、よく参照する。演義必携書のひとつ。


**III-b 複素解析 [#c115a0d6]
野口潤次朗「複素解析概論」はアールフォルスの下位互換という印象。笠原乾吉「複素解析」(ちくま学芸文庫)が良いという話を聞いた。あと読んでいる人が多いのはエリアス・スタイン&ラミ・シャカルチ「複素解析」。

***チャーチル&ブラウン「複素関数入門」 [#x2deff3f]
初学者向けの本。話題を絞って丁寧に解説している。比較的すぐ読み通せて、複素解析の概要をつかむことができる。初めにこれを読み、そのあとより詳しい本を読むと挫折しにくい。

***L.V.アールフォルス「複素解析」 [#j5076cc0]
分厚くてさぞ内容が多そうな見た目だが、実は位相の説明に序盤のかなりの紙数を割いているため実質的な内容はそう多くない。説明が丁寧とは言えないが、本質を突いたことが
簡潔に書かれている。解析接続のところでなにやら難しいことが書かれていて面食らったが、普通は一致の定理が理解できていれば十分であると聞いて安心した記憶がある。

**IV 圏論 [#aaeb30dd]
下の2冊以外には中岡宏行「圏論の技法」とかスティーブ・アウディ「圏論」の名前をよく聞く。「圏論の技法」を圏論を勉強する1冊目にはしない方がいい。
位相空間論と同じく、圏論もあらゆる分野で基礎となる重要な理論であり、なるべくはやく学んでおいた方がいい……と思ったのでローマ数字はかなり小さめにした。

***T.レンスター「ベーシック圏論」 [#c776f475]
Tom Leinster「Basic Category Theory」の日本語訳。略してべしけん。訳者が演習問題に解答をつけてくださっているので、この本は原書より日本語訳がオススメ。現在、圏論の入門書の決定版だとおもう。どうでもいいことだが、実は98ページに望月先生の宇宙際タイヒミュラー理論について言及がある。

***S.マックレーン「圏論の基礎」 [#n9d43e27]
この分野の古典。べしけんには無い、エンドやKan拡張の話がある。かの名言「すべての概念はKan拡張である」によって多くの数学学徒を圏論に引きずり込んだ。

***Emily Riehl「Category Theory in Context」 [#od373a40]
1回生のときセミナーで使用した本。ネットにタダで落ちているので実にセミナー向き。だから結構読んだはずなのだが、内容も何も記憶にない。ひとに「どうだった?」と訊かれても、何も答えられずふがいない思いをした。セミナーはやるなら真面目にやった方がいいという教訓である。

**V-a 初等環論・Galois理論 [#y8e957eb]
初等環論というのは可換環論と区別するために引っ張り出してきた分野名。UFDとかPIDとか整域がどうとかいう話のこと。

***雪江明彦「代数学2 環と体とガロア理論」 [#j00fce1d]
Galois理論の定番教科書。初学者の最初の一冊として良い。多項式のガロア群の決定が載っている。具体的な計算を目標にすることが多いのも雪江先生の本の特徴である。

**V-b 測度論[#me1d8cbd]

***伊藤清三「ルベーグ積分入門」 [#z8f7c83b]
測度論を勉強するには定番の本であり、実際良い本だと思う。解析学Iの授業ではDynkin族定理という定理を使っていて大変わかりやすかったが、この本にはDynkin族定理は載っていない。吉田伸夫「ルベーグ積分入門―使うための理論と演習」に載っている。確率論系の本に載っているらしい。Lebesgue積分が存在することを最初に示しているが、退屈なら飛ばしても問題はない。後半の関数解析の話は黒田関数解析で読んだ方がいい。

**V-c 多様体論 [#c2ebe73f]
位相空間論は空気のように使う。実解析もよく引用される。松本と並び、松島与三「多様体入門」が有名。s2sに誤植表を作ってくださった方がいるので、ぜひ参照のこと。

ちょっと変わった本として、Torsten Wedhorn「Manifolds,Sheaves,and Cohomology」では多様体論を層の言葉で展開していて、なかなかおもしろいので興味があれば。

Riemann面ならOtto Forster「Lectures on Riemann Surfaces」がとてもわかりやすくて良いらしい。

***松本幸夫「多様体の基礎」 [#ree6cfd4]
人呼んでライトノベル。説明は丁寧で行間もないのだが、内容が少ないので何か別の本の副読本向き。主の本を読んでいて困ったら参照するくらいに。

***Loring W. Tu「An Introduction to Manifolds」 [#l3bf7e0a]
松本より叙述が簡潔で、おなじくらいの厚さなのに内容はずっと多い。松本の内容の他にLie群・Lie代数や商空間、DeRham理論など。実解析や位相空間論の予備知識を付録にまとめてくれているのが嬉しい。良書。


**V-e 初等整数論 [#caf4adb2]

***雪江明彦「整数論1 初等整数論からp進数へ」 [#vd596fcc]
平方剰余の相互法則とかp進体の話。第2巻に備えてGalois理論の説明がある。

**VI-a 関数解析 [#g9156446]
Fourier解析のところは複素解析の知識が必要なほか、Lebesgue積分を使わないと完備性が示せないので測度論は必須。偏微分方程式論などに応用があるらしいが、僕は詳しく知らない。

***黒田成俊「関数解析」共立出版  [#f38365f4]
説明が丁寧な上に広範な話題を解説してくれる良い本。上級者向けの本と紹介されることがあるが、行間はないので初学者でも読める。ただし超関数の一般論は扱っていないので、注意が必要。

**VI-b 代数的整数論 [#d50d2b4e]

***雪江明彦「整数論2 代数的整数論の基礎」 [#a2ac105f]
Dedekind環論、分岐・不分岐と円分体論。整数環の基底決定と類数計算をみっちりやっているのが特徴だと思う。テンソル積の八面六臂の大活躍に刮目せよ。

**VI-c 代数的トポロジー [#b6cfa6de]
田村一郎「トポロジー」を勧められることが多い。服部晶夫「位相幾何学」は通読するのがしんどいらしい。 

***Allen Hatcher「Algebraic Topology」 [#ye3fb1f2]
浅岡正幸先生のおすすめと聞いた。すごく分厚い。絵や例がたくさん載っている。直感的な説明をし尽くしてから理論を語るという書き方で、くどいくらいたくさん説明してくれる。基本群を語る前に、まず投げ縄の話を…という調子。正誤表が[[著者のホームページ:https://www.math.cornell.edu/~hatcher/AT/ATpage.html]]で手に入る。本全体も同じ著者のページからダウンロードできる。演習問題がしこたま載っているが、答えやヒントは全くない。答えが欲しい人は[[このページ:https://www.google.co.jp/url?sa=t&rct=j&q=&esrc=s&source=web&cd=6&ved=0ahUKEwjh2q-Q3LTZAhVIu7wKHZkiCWcQFghYMAU&url=http%3A%2F%2Fwww.math.wisc.edu%2F~ccheng%2Fcourses%2FHatcher.pdf&usg=AOvVaw203Czv_TYH0MBaYRSyEkCj]]に誰かが作った答があるのでダウンロードしておこう。ただこの本、冗長なほどイメージを語るくせして証明が非常にザツ。もうどこもかしこも行間だらけ。おまけに用語の定義までフィーリングで書いてあるので、語によってはほかの文献ではどういう定義になっているか調べる必要がある。要はひどい本である。でも代数的トポロジーの本で例や直感的イメージの説明がこれほど多い本は稀なので、読む価値があると思う。とりわけ、The Idea of Homologyの章の素晴らしさは他に類を見ない。
行間以外では、圏論的な解釈があまり書かれていないという不満がある。圏論的な話が知りたければMayの本を覗いてみるといい。

***J.P.May「A Concise Course in Algebraic Topology」 [#heccf447]
ぜんぶ圏論の言葉で書いてあるので、圏論をある程度やっていないとかなりきついと思う。でも圏論を知っていればむしろわかりやすいかも。

***加藤十吉「位相幾何学」 [#h265a03d]
ミツヨシと読む。ジュッキチではない。加藤毅先生のおすすめだが、僕には難しすぎた。途中で挫折。この本で理解できる人は幾何学の素養が既にある人だと思う。僕は代数トポロジーの勉強を始めたばかりのころ、良い本を探して人におすすめの本を訊いてまわったり、図書館を物色したり、できる限りのことをしたが、結局直感的イメージの詳細な説明がある本はHatcherしか見つけられなかった。Hatcherの項でさんざん悪口をいいつつも「読む価値がある」とツンデレ気味なのはそういう事情による。

**VII-a 可換環論 [#ob886b59]
渡部敬一&後藤四朗「可換環論」は二人の著者のチームワークがなってないという話を聞いたが、最前線まで連れて行ってくれるとても良い本らしい。

***雪江明彦「代数学3 代数学のひろがり」 [#ua2ec101]
可換環論とホモロジー代数と表現論とそのほかいろいろの話。代数幾何や複素解析の例を引いた動機の説明が充実しているが、これも雪江先生の本の特(ry。ただ内容が足りないので、この本だけでなく松村英之「可換環論」や「Atiyah MacDonald可換代数入門 」(いわゆるアティマク)等も読んだ方がいい。
#ref(雪江「代数学3」のノート.pdf)
(おわび:バカでした。修正しました。指摘してくれた人、ありがとうございます。(2018/4/18))

***Hideyuki Matsumura「Commutative ring theory」 [#ta101600]
Matsumuraの可換環論の本には「Commutative algebra」とこの「Commutative ring theory」の2冊があるが、内容はほぼ同じらしいので、どちらでも良い。ring theoryの方が新しく、Hartshorneに引用されているのはalgebraの方である。


**VII-b ホモロジー代数 [#j1c08d3c]
雪江先生はHenri Cartan & Samuel Eilenberg「Homological Algebra」がオススメらしい。Joseph Rotman「An Introduction to Homological Algebra」が良いという話を最近聞いた。

***M.Scott Osborne「Basic Homological Algebra」 [#z9e6c7d4]
非常に説明が丁寧で、行間が存在しない。立体的な図式が出てくるなど説明するのが面倒なところにさしかかっても今まで通りじっくり丁寧に説明してくれる姿はけだし数学書の鑑である。例が豊富とは言えないが、日本語のホモロジー代数の本はどれも行間がたくさんあるので、こういう本は貴重。


**VII-c 表現論 [#eb79d209]
リー群の表現論についてはAnthony W. Knapp「Lie Groups Beyond an Introduction」がとても判りやすくて良いという話を聞いた。あとBrian Hall「Lie Groups, Lie Algebras, and Representations」が雪江先生のおすすめ。

***William Fulton & Joe Harris「Representation Theory A First Course」 [#l0abefc1]
とても分厚い。表現としてisomorphicであることの定義がはっきり書かれていないことに注意。雪江明彦先生のおすすめ。

***小林俊行&大島利雄「リー群と表現論」 [#o8764a33]
とても良い本という評判なので読んでみたい。関数解析の知識を前提にしている。有限群の表現論は知らなくてもたぶん問題ない。証明なしに述べられている事実を全部確認しようとしなければ、丁寧に書いてあるといえる。

***J.P.Serre「Linear Representations of Finite Groups」 [#qa8091a1]
Fulton Harrisと違ってとても薄い。G-linear mapにあたる用語が定義されていないのがまず問題。あと、恥ずかしげも無く基底を取りたがる。内容も薄めであり、ざっと概観する程度。

**VII-d 解析的整数論 [#lb1e6731]
***雪江明彦「整数論3 解析的整数論への誘い」 [#e0ec535d]
ζ関数の話など。リンデマンの定理の証明が載っている。


**VIII-a 類体論 [#t2194e1f]

類体論はJ.P.Serre「Local Fields」か、Andre Weil「Basic Number Theory」のほぼ2択。Serge Lang「Algebraic Number Theory」は初学者向きでないという話を聞いた。足立恒雄&三宅 克哉「類体論講義」という選択肢もあるにはあるが、どうも食指が動かない。
整数論にはほかに楕円曲線論という分野もある。雪江先生にはJoseph H.Silverman「The Arithmetic of Elliptic Curves」を薦められた。いわゆるAECである。日本語の「楕円曲線論入門」は「Rational Points on Elliptic Curves」の翻訳であり、まったくの別物であることに注意。保型形式論という分野もあり、院生の人に訊くとFred Diamond&Jerry Shurman「A First Course in Modular Forms」を薦められた。p-進数については、雪江整数より詳しいものとしてFernando Quadros Gouvea「p-adic Numbers An Introduction」が良いという話を聞いた。 

***Dinakar Ramakrishnan&Robert J.Valenza「Fourier Analysis on Number Fields」 [#kf4ac04a]
Weilの副読本のひとつ。Haar測度やmoduleについて参照するために読んでいる。とても丁寧に書いてあるが、著者が当たり前だと思っていることを知らないせいで僕はよく混乱する…。
#ref(「Fourier Analysis on Number Fields」のノート.pdf)
#ref(Valenza Ramakrishnanソース.txt)

***Andre Weil「Basic Number Theory」 [#k16b874b]
数論セミナーで使用している本。倫理の教科書に載っている哲学者シモーヌ・ヴェイユはこの人の妹だが、その昔「おにいちゃんが天才過ぎてしにたい」と心を病んだらしい、とだけ言えば雰囲気が伝わるだろうか。

***加藤和也&斎藤毅&黒川信重「数論〈1〉Fermatの夢と類体論」 [#b00ebfa8]
数論セミナーで使用していた本。マゾ向き。

**VIII-b 代数幾何 [#a71f0ed1]
上野健爾「代数幾何」が和書だと有名。あと、Qing Liu「Algebraic Geometry and Arithmetic Curves」(数論幾何寄り)、David Mumford「The Red Book of Varieties and Schemes」が良いという話を聞いた。複素代数幾何ならPhillip Griffiths&Joseph Harris「Principles of Algebraic Geometry」が有名。グリハリと呼ばれている。 スキーム抜きの入門書としてWilliam Fulton「Algebraic Curves」を読んでいる人をよく見かける。

***Urlich Görts&Torsten Wedhorn「Algebraic Geometry:Schemes with Examples and Exercises」 [#lb1f8784]
2010年出版の新しい本である。とても分厚い。付録に可換環論と圏論の予備知識が結果だけまとめられているなど丁寧に書かれている印象がある。わかりやすくて良い。スキームのコホモロジーは第2巻で扱うと予告されているが、第2巻はまだ出ていない。この本を読んでいる人はあんまりいないので、Stacks Exchangeなどで調べるのが難しいという欠点がある。
#ref(Gortz Wedhorn「Algebraic Geometry」のノート.pdf)
#ref(Gortz Wedhornソース.txt)

***R.ハーツホーン「代数幾何学1」 [#yd7c1e0f]
有名かつ定番の教科書。Görts Wedhornと相互参照しようと思っている。

*セミナー記録 [#r458956a]
***Hatcherセミナー [#t06b1778]
2018年金曜3限。ホモロジーを中心にやることになった。セミナーの名を借りた読み聞かせ会。
#ref(Hatcher「Algebraic Topology」のノート.pdf)
#ref(Hatcherソース.txt)

***Weilセミナー [#we7c33ed]
2018年月曜3限。KTGU数論セミナーの延長。乗り越えた行間の数だけ人は強くなれる。
#ref(Weil「Basic Number Theory」のノート.pdf)
#ref(Weilソース.txt)


*授業の記録 [#of3a3700]
***幾何I (2018前期・浅岡正幸) [#t356d1de]
浅岡先生はとても良い先生だが、唯一多様体Mの次元をn、多様体Nの次元をmと書く癖だけが解せない。pdfにして上げようと思いついたのが遅かったため、中途半端ですすいません。
#ref(幾何I演習問題.pdf)
#ref(幾何I演習問題ソース.txt)


*ウェブサイトについて [#p8ce575f]

**LaTeX関連 [#j8ec38a2]

***[[TeX Wiki:https://texwiki.texjp.org/]] [#v0a621e4]
TeXについての情報が大量に集積されている。TeXとはなんぞやという説明からインストールの仕方、エラーの意味まで、実に詳しく書かれている。

***[[LaTeXコマンド集:http://www.latex-cmd.com/]] [#pf2e61ba]
Texの例文集。たいへん便利。複雑な図式の書き方はこのサイトにはない。[[Xy-pic:http://www.math.sci.hokudai.ac.jp/~abenori/tex/index.html#xy-pic]]を使うといい。他にも[[LaTeXコマンドシート一覧:http://www002.upp.so-net.ne.jp/latex/index.html]]や[[物理のかぎしっぽ:http://hooktail.org/computer/index.php?TeX]]などがある。

***[[Atom:https://atom.io/]] [#la061309]
LaTeXの実行に使えるテキストエディタのひとつ。僕ははじめTexworksを使っていたが、人がAtomを使っているのを見てうらやましくなって導入。Texworksと違ってTeX専用のエディタではなく、汎用的。プログラミング支援ソフトでもあるせいか、File名を半角英数字にした上で、texという拡張子をつけないとタイプセットできないことに注意。リアルタイムプレビューをはじめ、いろんなことができる。導入方法については[[このページ:https://qiita.com/tomochiii/items/152160a9915fb7b2146c]]を参考にするといいと思う。

**数学関連 [#v014ae11]

***[[Mathematics Stack Exchange:https://math.stackexchange.com/]] [#o0c48aff]
数学専門の知恵袋とでも言うべきサイト。洋書を読んでいて困ったときはまずここを覗いてみることを勧める。同じことで悩んでいる人が見つかればしめたもの。演義の問題をここにつっこんだらいいんじゃ…?というのは誰もが考えると思うが、さすがにそれは慎むべき。行間埋めから良い本探し、反例構成まで、なんにでも重宝する。


*系登録試験過去問 [#u1ae8cbe]
数学教室の事務で頼むと見せてもらえる。写真をとるのはダメだが書き写すのはよいという規則である。なんのためにある規則なのかわからないが、これはその規則に従って写したものに、ついでに解答例を付けたもの。
#ref(数学系登録試験2017.pdf)
#ref(数学系登録試験2016.pdf)
(おわび)2017年の問1(1)の解答例が間違っていたので修正しました。(2018/3/4)


トップ   新規 一覧 検索 最終更新   ヘルプ   最終更新のRSS