コーシー・アーベル・ヤコビ — 19 世紀解析学の 厳密化

19 世紀 — 解析学の 「厳密化」

前記事 [オイラー・ガウス] で見た 18-19 世紀の巨人たちは、 微積分を 爆発的に発展 させた。 だが その基礎は 曖昧だった:

• 「無限小」 とは何か — オイラーは 「無限に小さい量」 を 直観的に扱った
• 「連続」 とは何か — 「途切れない曲線」 という 直観的定義のみ
• 「収束」 とは何か — 「近づく」 という 曖昧な概念

19 世紀に入り、 これらを 厳密に定義し直す ムーブメントが起きる。 その中心が オーギュスタン・コーシー (1789-1857)。 同時代の ニールス・アーベル (1802-1829) と カール・ヤコビ (1804-1851) は、 楕円関数 という 新しい世界を切り開く。 いずれも 短命の 天才たち。

オーギュスタン・ルイ・コーシー — 解析学の 再構築者

オーギュスタン・ルイ・コーシー (Augustin-Louis Cauchy、 1789-1857) は フランスの数学者。 フランス革命勃発の 5 週間後にパリで誕生。 解析学を 厳密な学問として 再構築 し、 近代的な 極限・連続・収束・微分・積分の 定義 を確立した。

生涯論文数は 約 800 編で オイラーに次ぐ多産。 複素解析・群論・置換論・弾性論・光学 にも 巨大な業績を残した。

生涯の要点

• 1789 年 8 月 21 日 — パリで誕生。 父ルイ・フランソワは 法律家
• 少年期は 革命の混乱を避けて 田舎で過ごす。 父の教育、 ラグランジュ・ラプラスの知遇
• 1805 — エコール・ポリテクニーク入学
• 1810-1813 — シェルブール港湾建設の 技師
• 1816 — エコール・ポリテクニーク解析学教授、 パリ科学アカデミー会員 (27 歳)
• 1821 — [解析教程 (Cours d’Analyse)] 出版 — 解析学厳密化の 記念碑
• 1830 — 7 月革命で ブルボン家失脚。 コーシーは 新国王ルイ・フィリップに 忠誠を誓うことを拒否、 トリノに亡命
• 1848 — 二月革命後、 宣誓不要となり ソルボンヌ大学教授に復帰
• 1857 年 5 月 23 日 — パリ近郊で死去、 67 歳

頑固な 王党派・カトリック信徒

コーシーは 熱心な王党派・カトリック信徒。 信条のためなら 職を失うことも辞さない 頑固者。 政治的信念のために 1830 年に フランスを離れて 亡命 するのは、 学者としては 珍しい選択。

ε-δ 論法の 原型 — 解析学の 厳密化

それまでオイラー以来の解析学は 「無限小」 「無限大」 を曖昧に扱っていた。 コーシーは 極限を中心概念 に据えて、 これらを 厳密に定義し直した。

極限の 定義 ([解析教程] 1821)

「一つの変量に 逐次代入される値が、 与えられた定値に 無限に近づき、 最終的にその差を どんなに小さくしてもよいなら、 この定値は その変量の 極限と呼ばれる」

これは 現代の ε-δ 論法の 原型 (完全な ε-δ は ワイエルシュトラス が整備、 19 世紀後半)。

連続関数の 定義

「変数 x の 十分小さい増加 Δx に対して、 f(x+Δx) - f(x) もまた 十分小さくなるならば、 f は x で連続である」

収束級数の 定義

「部分和 S_n が n → ∞ で 極限を持つとき、 級数は 収束する」

これに基づき、 コーシー収束判定法 を提示。

コーシー列と 実数の完備性

「数列 {a_n} が コーシー列であるとは、 任意の ε > 0 に対して N が存在し、 m, n > N ならば |a_m - a_n| < ε となることである」

実数の集合は完備 (コーシー列が必ず収束) — これは 現代解析学・関数解析の 基礎概念。 「収束を 極限の存在に頼らずに 判定する」 という 発想の 画期性。

複素解析の 創始

コーシーは 複素関数論を 体系的に開拓 した:

コーシーの積分定理 (1825)

「正則関数 f(z) の 閉曲線に沿う 線積分はゼロ: ∮ f(z) dz = 0」

コーシーの積分公式

「f(z) が領域内で正則なら、 f(a) = (1/2πi) ∮ f(z)/(z-a) dz」

これは 複素解析の 中心定理。 後に リーマン・ワイエルシュトラス が 理論を発展させた。

留数定理

複素積分の計算を 「留数」 (特異点における係数) の和に帰着させる。 物理学・工学の 積分計算に 絶大な威力。 「実数の積分を 複素数を経由して 計算する」 という 現代的手法の 出発点。

「毎週論文」 と 4 ページ規則

コーシーは パリ科学アカデミーの議事録に 毎週論文を投稿 した結果、 議事録は 「コーシーで埋まる」 とまで揶揄された。 1835 年、 アカデミーは 「議事録に投稿される論文は 1 編 4 ページまで」 と規則を作るに至った。

「アカデミーの規則が 一人の数学者のために変更される」 という 前代未聞の 事件。 ガウスの 「Pauca, sed matura」 と 対照的な生き方。 「多く速く書く」 vs 「少なく熟した」 — 19 世紀数学の 2 つの態度。

ガロアの原稿紛失事件

1829 年と 1831 年、 若き エヴァリスト・ガロア は 群論的アイデアを論じた論文を パリ科学アカデミーに提出。 最初の審査担当者は コーシー だったが:

• 1829 年 5 月 — ガロアの原稿をコーシーが 受理したが、 報告書は提出されず、 原稿の所在も不明に
• 1830 年 1 月 — コーシーが 「ガロアの新しい論文を 次回提出する」 と述べたが、 二月の会合には出席せず、 その後 コーシーは 7 月革命で亡命

コーシーが ガロアの天才を 理解していたのか、 忙しすぎて 放置したのか、 政治的偏見があったのかは 諸説あり、 現在も 論争中。 いずれにせよ、 ガロアの群論の 本格的評価は 彼の死後 (1846 年、 リウヴィユによる出版) まで待たれる ことになった。 数学史における 最大の悲劇の一つに、 コーシーが 影を落としている。

ニールス・アーベル — 26 歳夭折の 北欧の天才

ニールス・ヘンリック・アーベル (Niels Henrik Abel、 1802-1829) は ノルウェーの数学者。 26 歳で結核死 した 悲劇の天才。 短い生涯にもかかわらず、 5 次方程式の代数的解の 不可能性 を証明し、 楕円関数論 の 基礎を築いた。

5 次方程式の 不可能性 (1824)

3 次方程式は カルダーノ、 4 次方程式は フェッラーリが 16 世紀に解いた。 だが 5 次方程式の 一般解の公式 は 300 年近く未解決 だった。

アーベルは 1824 年、 22 歳で 「5 次以上の代数方程式の 一般解の公式は存在しない」 ことを証明。 パリで出版し、 コーシー・ルジャンドル・ポアソンらに送ったが、 無視される。 「若造のこと」 として 冷遇された。

楕円関数

アーベルは 楕円積分の逆関数 を考える という 革命的発想で、 楕円関数 を発見。 これも 1826 年にパリで発表するが、 コーシー・アカデミーは 原稿を紛失 (再び!)。 死後 1841 年に リウヴィユ が発見・出版。

短い 生涯

• 1802 年 8 月 5 日 — ノルウェー・フィンノイ島に誕生
• 1815 — オスロの大聖堂学校入学、 数学教師 ホルンボエに才能を見出される
• 1824 — 22 歳、 5 次方程式の不可能性を自費出版
• 1825-27 — ベルリン・パリ留学。 ドイツの クレレル ([数学雑誌] 創刊者) に評価される
• 1827 — 帰国、 職なく 貧困生活
• 1828 — 楕円関数論の主要論文発表
• 1829 年 4 月 6 日 — 26 歳で結核死
• その 2 日後、 ベルリン大学からの 教授就任の招聘状 が届く

「26 歳で死ぬ 数日前まで、 世界に認められることがなかった」 — 数学史における 最悲劇の一つ。 アーベルの死後、 その業績は 一気に 世界的評価を受け、 現代の アーベル群、 アーベル多様体、 アーベル賞 (ノルウェー、 2003 年〜、 数学界の最高賞の一つ) など、 彼の名を 冠する概念が 多数残る。

カール・ヤコビ — アーベルの ライバル

カール・グスタフ・ヤコブ・ヤコビ (Carl Gustav Jacob Jacobi、 1804-1851) は ドイツの数学者。 アーベルとほぼ同時期に 楕円関数 を独自に発展させた。 46 歳で 天然痘死。

ベルリン大学で学んだあと、 わずか 21 歳で ケーニヒスベルク大学 に職を得る。 兄 モーリッツ・ヘルマン・フォン・ヤコビ は 物理学者・電気めっきの発明者。

楕円関数論 — アーベルとの 「同時独立発見」

アーベルとヤコビは 独立に、 楕円積分を 逆関数として捉え直す ことを提案した。 積分 u = ∫₀ˣ dt/√(…) を、 x = sn(u) という形に 逆転 させる。

すると sn, cn, dn といった関数は 二重周期性 を持つ。 複素平面上で 二方向に周期を持つ関数の発見は、 19 世紀解析学最大の革命の一つ。 ここから 複素関数論・代数幾何学・モジュラー形式論 が広がっていった。

ヤコビは 1829 年に主著 [楕円関数論の新しい基礎 (Fundamenta nova)] を出版、 テータ関数を用いた 楕円関数の 体系的構成を与えた。 ヤコビは 「アーベル氏は 私に先んじていた」 と 書き残し、 互いの業績を認め合った 珍しい 例。

ヤコビアン — 変数変換の 基礎

多変数の積分の 変数変換で現れる 行列式が 「ヤコビアン」 と呼ばれる。 n 変数の写像の 偏微分の行列の 行列式。 局所的な体積の伸縮率を表し、 確率密度の変換から 物理の正準変換まで、 応用は 果てしない。 現代確率論・統計学の 基本ツール。

ハミルトン・ヤコビ方程式

ハミルトンの正準形式 の力学に ヤコビが寄与し、 第一階偏微分方程式 としての 「ハミルトン・ヤコビ方程式」 が定式化された。 古典力学の 最も洗練された形 であり、 量子力学への 橋渡し (シュレディンガー方程式の 半古典極限) としても 本質的役割を果たす。

名言

ヤコビが フーリエに応えて言ったとされる:

「科学の 唯一の目的は 人間精神の名誉のためだ」

「実用のための科学」 に対する 「純粋数学の 独立宣言」 。 19 世紀ドイツ数学の 精神を 象徴する言葉。

ケーニヒスベルク学派 — ドイツ数学の 教育革命

ヤコビは ケーニヒスベルクで ベッセル (天文学者)、 ノイマン (物理学者) らと ケーニヒスベルク学派 を形成。 研究セミナー形式の教育 を確立した。 これは後に ドイツ流大学院教育の 原型 となる。

「教科書を読む」 から 「共に研究する」 への 転換。 現代の 大学院での 研究指導の 出発点。 19 世紀ドイツ数学が 20 世紀に至るまで 世界を リードした 教育制度の 起源。

ワイエルシュトラス — 厳密化の 完成

コーシーの ε-δ 論法の 原型を、 完全な形に整備したのが カール・ワイエルシュトラス (1815-1897)。 ドイツの数学者で、 40 歳まで 地方の高校教師 をしていた 遅咲きの天才。

厳密な ε-δ 論法

「任意の ε > 0 に対して、 ある δ > 0 が存在し、 |x - a| < δ ならば |f(x) - f(a)| < ε」 — 現代解析学の 標準定義を確立。

病的な関数の 発見

「連続だが 至る所で 微分不可能な関数」 (ワイエルシュトラス関数) を構成 (1872)。 「連続 → 微分可能」 という直観を打ち砕く。 現代フラクタル理論の 先駆。

これらの コーシー・ワイエルシュトラスの厳密化により、 現代解析学の 基本枠組み が 完成した。

この記事から次の記事へ

19 世紀前半、 解析学の厳密化と 楕円関数の発見を辿った。 次記事では、 同時代の さらに劇的な 2 人の天才 — エヴァリスト・ガロア (1811-1832、 決闘死 20 歳) と シュリニヴァーサ・ラマヌジャン (1887-1920、 結核死 32 歳) に入る。 群論を切り開いた ガロア、 独学の インド人 ラマヌジャン — 「悲劇の天才」 の 究極形を辿る。