微分積分学

概要

この科目では、高校で学んだ微分積分を ε-δ 論法 (epsilon-delta argument) によって厳密に組み立て直し、多変数の微分積分とベクトル解析まで進みます。出発点は「実数には隙間がない」という一つの公理（実数の連続性公理）であり、そこから数列の収束、連続関数の性質、平均値の定理、リーマン積分、べき級数、逆関数定理、重積分の変数変換公式、ガウス・ストークスの定理までを、証明をつけながら順に導いていきます。

高校の微分積分では「$x$ が $a$ に限りなく近づくとき $f(x)$ は $b$ に限りなく近づく」という直観的な言い回しで極限を扱いました。この言い回しは計算には十分ですが、「連続関数は閉区間で最大値をとる」「関数列の極限と積分は交換できるか」「偏微分可能なら連続か」といった問いに答えるには曖昧すぎます。ε-δ 論法は、この曖昧さを不等式と量化子（$\forall$, $\exists$）だけで書ける命題に置き換える方法です。慣れるまでは回りくどく感じますが、いったん身につけると、直観が誤る場面（反例）と正しい場面（定理）を自分で見分けられるようになります。

微分積分学は教材全体の土台です。距離空間と位相空間（03-topology）は本科目の第1〜3章・第7章の抽象化であり、複素関数論（05-complex-analysis）、ルベーグ積分（06-measure-integration）、多様体（07-manifolds）、微分方程式（08-differential-equations）はいずれも本科目の定理を日常的に使います。

前提知識

• 論理と集合の言葉：00-foundations 第1章 命題と論理（量化子の順序と否定は第1章から毎日使う）、第2章 集合、第3章 写像
• 可算集合：00-foundations 第5章 濃度（第2章の級数の並べ替え、第3章の単調関数の不連続点で使う）
• 実数の構成：00-foundations 第7章 数の体系（本科目では実数を公理的に扱うので、構成は後回しにしてもよい）
• 高校数学の微分積分の計算（数学 III 程度）
• 第7章以降では行列の計算と行列式を使う：02-linear-algebra 第1章、第4章 行列式。極値判定では正定値性（第8章）を使う。線形代数と並行して学んでよい。

到達目標

• [ ] 実数の連続性公理から、アルキメデスの性質・単調収束定理・ボルツァノ–ワイエルシュトラスの定理・コーシー列の収束を導ける
• [ ] ε-N 論法・ε-δ 論法で収束・連続性を証明でき、その否定も正しく書ける
• [ ] 中間値の定理・最大値最小値の定理・ハイネ–カントールの定理を証明できる
• [ ] 平均値の定理・ロピタルの定理・テイラーの定理を証明し、極限計算・近似・不等式に応用できる
• [ ] リーマン積分の定義と可積分条件を理解し、微分積分学の基本定理を証明できる
• [ ] 級数と広義積分の収束を、比較・比・根・積分判定法などを使い分けて判定できる
• [ ] 一様収束の意味を理解し、極限と積分・微分の順序交換の可否を判断できる
• [ ] べき級数で指数関数・三角関数を定義し、円周率 $\pi$ を定義できる
• [ ] 多変数関数の全微分・連鎖律・テイラーの定理を扱い、ヘッセ行列で極値を判定できる
• [ ] 逆関数定理・陰関数定理を証明し、ラグランジュの未定乗数法を使える
• [ ] 重積分を累次積分と変数変換で計算できる（ガウス積分、$n$ 次元球の体積を含む）
• [ ] 線積分・面積分を計算し、グリーン・ガウス・ストークスの定理の意味と使い方を説明できる

章立て

1. 第1章 実数の連続性 — 順序体としての実数、上限と連続性公理、アルキメデスの性質、$\sqrt{2}$ の存在。連続性公理と同値な 4 条件の同値性を証明する。
2. 第2章 数列と級数 — ε-N 論法、上極限・下極限、コーシー列、ネイピア数 $e$ とその無理性、級数の収束判定、リーマンの再配列定理、級数の積。
3. 第3章 関数の極限と連続性 — ε-δ 論法、中間値の定理・最大値定理、一様連続性、単調関数、指数関数・対数関数の厳密な構成。
4. 第4章 1 変数関数の微分 — 平均値の定理、ロピタルの定理、テイラーの定理、凸関数、ダルブーの定理。
5. 第5章 リーマン積分 — ダルブー和と可積分条件、微分積分学の基本定理、広義積分、ガンマ関数・ベータ関数、ウォリスとスターリングの公式。
6. 第6章 関数列・関数項級数とべき級数 — 一様収束と極限の交換、べき級数、指数関数・三角関数・$\pi$ の定義、ワイエルシュトラスの近似定理、至る所微分不可能な連続関数。
7. 第7章 多変数関数の微分 — $\mathbb{R}^n$ の位相、全微分、連鎖律、偏微分の順序交換、多変数のテイラーの定理、ヘッセ行列による極値判定。
8. 第8章 逆関数定理と陰関数定理 — 縮小写像の原理、逆関数定理・陰関数定理の証明、ラグランジュの未定乗数法。
9. 第9章 重積分 — 長方形上の積分、フビニの定理、ジョルダン可測集合、変数変換公式、ガウス積分、$n$ 次元球の体積。
10. 第10章 ベクトル解析 — 曲線の長さ、線積分、グリーンの定理、保存場、曲面積と面積分、発散定理とストークスの定理。

学習時間の目安と進め方

• 目安は 1 章あたり 12〜18 時間（本文の精読と演習を含む）、全体で 150 時間前後です。大学の標準的な進度では、第1〜6章が 1 年次の 1 年間、第7〜10章が 2 年次前半に相当します。
• 第1〜3章を丁寧に。 ε-δ 論法は「読める」ことと「書ける」ことの間に大きな差があります。本文の例では、ε や δ の選び方を見つけるための下書き（発見的考察）と、完成した証明（清書）を分けて示しています。下書きを見ずに清書を自分で再現する練習を繰り返してください。
• 定理を読んだら、仮定を一つ外すと何が起こるかを必ず確かめてください。本文の反例（$x^n$ の非一様収束、偏微分可能だが不連続な関数、順序交換できない 2 階偏導関数など）は、そのための材料です。
• 初読で重く感じる証明（リーマンの再配列定理、高木関数の微分不可能性、逆関数定理の後半など）は、主張と使い方を理解したうえで先に進み、あとで戻ってきても構いません。
• 集合と位相を早めに学びたい場合は第1〜3章のあとに 03-topology へ進めます。ルベーグ積分に進む前には第1〜6章と第9章を終えておくのが理想です。

参考文献

• 杉浦光夫『解析入門 I, II』（東京大学出版会） — 実数の公理から多変数・ベクトル解析まで、証明を省略せずに書かれた定番の教科書。本科目の内容はほぼすべてこの 2 冊で確認できる。
• 高木貞治『解析概論』（岩波書店） — 古典的名著。文体は古いが、解析学の見通しの良さと豊富な話題は今でも価値がある。
• 小平邦彦『解析入門 I, II』（岩波書店） — 実数の連続性から丁寧に積み上げる教科書。例と説明が詳しい。
• 笠原晧司『微分積分学』（サイエンス社） — 論理的な構成と読みやすさのバランスがよい。初学者が通読しやすい。
• 斎藤毅『微積分』（東京大学出版会） — 現代的な視点（線形近似としての微分、位相の言葉）から簡潔にまとめた教科書。
• 田島一郎『イプシロン-デルタ』（共立出版） — ε-δ 論法そのものを主題にした小著。第1〜3章でつまずいたときに。
• W. Rudin, Principles of Mathematical Analysis (McGraw-Hill) — 簡潔で厳密な英語の標準教科書。演習問題も充実している。
• M. Spivak, Calculus (Publish or Perish) — 1 変数の微分積分を実数の公理から丁寧に展開する。説明が明快で、演習問題の質が高い。
• T. Tao, Analysis I, II (Hindustan Book Agency / Springer) — 自然数の公理から解析学を構成する。証明を自分で埋める練習に最適。

次に学ぶもの

• 03-topology 集合と位相 — 本科目の $\mathbb{R}^n$ での議論を距離空間・位相空間へ一般化する。
• 05-complex-analysis 複素関数論 — べき級数と線積分の理論が複素数の世界で驚くべき剛性をもつことを学ぶ。
• 06-measure-integration 測度と積分 — リーマン積分の限界（極限との交換、可積分関数の少なさ）を克服するルベーグ積分。
• 07-manifolds 多様体 — 逆関数定理・陰関数定理と第10章のストークスの定理を、曲がった空間の上で展開する。
• 08-differential-equations 微分方程式 — 縮小写像の原理と一様収束を使って微分方程式の解の存在を示す。
• 20-problems 総合演習 第1章 — 大学院入試レベルの微分積分の問題で力試しをする。