オーギュスタン＝ルイ・コーシー（1789–1857）：近代解析学の厳密な創始者

主要な貢献

コーシーは、今日数学的解析と呼ばれる分野の発展、および形式的な複素解析の確立における中心人物であった。収束の判定基準としてのコーシー列の考え方をはじめとする基本概念を導入し、微積分学における極限と連続性の役割を明確にした。複素解析では、複素関数の積分を評価するための重要な手段であるコーシーの積分定理とコーシーの積分公式を証明した。

数理物理学と応用数学において、彼の研究は物質の挙動を数学的に記述する方法に影響を与えた。応力とひずみの理論に貢献し、数理物理学の諸問題、特に弾性学に取り組んだ。その定式化は、今日も連続体力学の基礎の一部をなしている。

方法と歴史的背景

コーシーの経歴は、数学者たちが計算法則から厳密な基礎へと移行していた時期と重なる。彼は、オイラーとラグランジュなどの著者が用いた、しばしば非形式的な従来の方法を批判した。とりわけ、有限の式で成り立つ性質を、注意なく無限級数へ拡張すると生じうる破綻を指摘した。仮定を正確に定めることを求めた彼の姿勢は、解析学における現代的な証明概念を形づくった。

コーシーに関連する概念と定理

• コーシー列 — 各項どうしが任意に近くなる数列。
• コーシーの積分定理およびコーシーの積分公式 — 複素解析の礎石。
• コーシー＝リーマン方程式 — 複素微分可能性の条件。
• コーシー応力テンソル — 連続体力学と弾性学における基本的対象。
• コーシーの不等式と、解析学全般で用いられる各種の評価。

遺産と影響

現代数学における多くの結果、定義、手法はコーシーの名を冠している。彼に由来する定理や対象は数多く、そのことは影響の広がりを示している（例を見る）。彼の研究は、位相空間論、距離空間、関数解析学が後に形式化される道を開いた。定義と厳密性を重んじる姿勢は、今日では数学の教育と実践における標準となっている。

その生涯、証明、個別の定理については、解析学・力学の歴史概説や現代的な解説を参照できる（伝記資料、解析学の文献、数理物理学史）。コーシーの経歴は、注意深い論理構造が計算法則の集まりを首尾一貫した理論的学問へ変えうることを示している（学術的概説、複素解析入門、弾性学の研究、級数と収束に関する論考）。

その人物像や見解の一部は同時代に論争の対象となったが、彼が提唱した数学的基準は、世界各地で解析学が教えられ実践される方法の根幹であり続けている。