解析学

解析学の起源

解析学の起源は、エウドクソスが考案し、アルキメデスが複雑な図形の面積や体積を求める為に編み出した「取り尽くし法」にまでさかのぼれる。彼らの業績は、ある意味で今日の積分の始まりとも呼べるものであろう。しかしながら近世までは一般的理論は存在せず、あくまで個々の図形に適用されるにとどまった。

微分積分学の黎明期

これらは16世紀からフランソワ・ヴィエト、ケプラー、カヴァリエリらによって歴史に再登場し、例えば回転体の体積を求める手法であるカヴァリエリの原理などが有名であろう。
しかし解析学が本格的な発展を遂げ始めたのは、フェルマーやデカルト、パスカル、ジョン・ウォリス、ジル・ド・ロベルヴァルらによって、曲線の接線を考える上で考え出された微分学の初歩的概念が登場してからである。とくにフェルマーは極値問題に微分学を応用した。日本において発達した数学である和算においても、ほぼ同時期に微積分の初歩的概念に到達していた。

微分積分学誕生

解析学の初歩的概念である微分積分学の成立に関する決定的業績は、ニュートンおよびライプニッツらによってもたらされた。
ニュートンは、古典力学の研究から微分積分学を生み出し、微分と積分を統合して、両者がある意味で逆の関係にあることを見抜いた。これは今日では微分積分学の基本定理と呼ばれる。更に冪級数を用いて主要な関数に微分積分学を応用した。同じ時期にライプニッツも同様な発見をした上、現代も用いられる微分積分の記号表記法を考案してその後の研究の基礎を築いた。
ライプニッツが考案した記号としては例えば曲線の接線問題を解くにあたって無限小量であるdy、dxの比dy/dxを用いたり、ラテン語のsumma(和の意)の頭文字Sから積分記号を導入したりした。
彼らは微分積分学の主要な分野を開拓したものの、微分積分学の基本概念である無限や極限といった概念を明確化できなかったため、ときに厳しく批判されることもあった。また彼らの間で微分積分学の先取権争いがあったが、現代では独立に発見したとされている。

ポスト微分積分学

微分積分学成立以後、イギリスの科学者たちはニュートンの記法に固執し、テイラーは1715年に、マクローリンは1742年に優れた研究を発表しているものの、イギリスにおいては大陸に対し、微分積分学の研究は没落していった。なぜならばとくに偏微分においてはニュートンの方法では、何を何で微分したかがわからず、ニュートンの方法では微分した変数と階数しかわからない。この点においてはライプニッツの方法が圧倒的に優位に立っていたのである。この後イギリスの没落は長らく続き、再び大陸に対し優位を取り戻すにはなんと20世紀初頭まで掛かり、G・H・ハーディの登場を待たねばならなかったとすらいわれる。
これに対してライプニッツの微分記号を抵抗なく用いることができた大陸ではライプニッツと繋がりのあった有名な数学者の一族であるベルヌーイ一家や、更に彼らと繋がりのあったロピタルらによって多変数の微分積分学や複雑な式の形の微分方程式、変分法といった解析学が急速に発展してゆくこととなる。
その後18世紀には、オイラーらによってこれらの問題は統一的に体系化され、解析学は大きな進歩を遂げた。とくに微分方程式を用いた様々な問題が生まれ、彼の著書「無限解析序説」では冒頭で関数とは解析的式であると定義されているが、彼が解析学を関数の研究を主眼として見ていたとすれば大変興味深い内容であるといえる。

級数論

フーリエ級数の生みの親であるフーリエは現代的厳密さでフーリエ級数の収束を研究しておらず、このためラグランジュはフーリエの論文掲載に抵抗したといわれるが、当時は級数の収束判定は困難な問題であった。オイラーやガウスですら多少であれば級数論に取り組んでいるものの一般の級数の収束に関する研究はなく、はじめて一般の級数の収束問題を論じたのはボルツァーノやコーシーらであるが、彼らの級数収束に対する理解ですら現代から見れば不完全な部分が残り、完璧ではなかったといえる。それほどまでに重要な問題を解析学に投げかけたのである。
級数の収束の厳密化は解析学の基礎付けに必須であり、フーリエ級数の収束問題の十分条件を与えたディリクレの論文は解析学の歴史において、その厳密化の一歩を踏み出した貴重なものであるといえるであろう。

集合論・測度論

数学の基礎付けにおいて忘れてはならないのは集合論であるが、本格的に導入されたのは19世紀もすでに後半、1874年カントールによるものである。とくにR・ベール、ボレル、ルベーグらの仕事には集合論は欠かせないものであった。ベールは不連続関数を分類し、ルベーグがそれを一般化してオイラーが与えた関数の定義である「解析的」の意味をはじめて明確化した。
更にルベーグはボレルの測度論を一般化しルベーグ測度を導入することによってルベーグ積分論を定式化した。これにより長さ、面積、体積などを完全に一般化することに成功し、これによって複雑な図形、例えば曲線や曲面の長さや面積などをそのような立場から論ずることが可能となった。
更にルベーグ積分論はコルモゴロフによって確率論の厳密化にも用いられ、確率論を現代解析学として扱うことを可能とした。このため純粋数学としての確率論は現代数学では解析学に分類されるわけである。
積分の理論は更に一般化され応用範囲も広まり、例えばウィーナーによりブラウン運動のような複雑な現象ですら数学的に取り扱うことすら可能となった。

実数論

解析学はその根底を実数の性質においているが、デーデキントやカントールはその実数の性質を深く研究し、実数を特徴付ける条件を見いだした。カントールもフーリエ級数の研究より実数論を展開し、その中で実数論や無限集合といった概念が形成されてゆくこととなる。カントールやデデキントらによる実数の定義は切断によるもので、高木貞治の解析概論などでも用いられている手法であるが、先にも述べたコーシー、ワイエルシュトラス、ボルツァーノなどの数学者らによって類似の様々な実数論が展開された。
このように一見、様々な定義があるようにみえる実数であるが、これらは古典論理の範囲内において全て同値であることが証明されている。

無限小と超準解析

このような厳密化の流れの中で消されていった無限小という概念であるが、これを現代論理学などを用いて蘇らせたものが超準解析である。

関数論の登場

また、19世紀に入って解析学は本格的に複素数を利用するようになった。複素数変数の関数や微積分などを扱う分野は(複素)関数論、複素解析学などと呼ばれる。コーシーは従来求められていた定積分などが複素変数の関数として扱うことでより簡単に求められることを発見した。さらにその後、ワイエルシュトラスやリーマンによって一変数の複素関数の理論が整えられ、複素関数論は独立した一つの数学として扱われるようになった。また多変数の複素関数の理論は20世紀に入ってから、アンリ・カルタンや岡潔らによって詳細が研究された。
複素解析学は楕円関数や素数定理とも関連し、幅広い応用をもち現代では物理や工学においても必須の概念となっている。

関数解析学

微分法は極値を求める問題であるが、これを一般化し、与えられた汎関数が極値を持つような関数を求める問題が変分法であり、物理学において広く応用されている。汎関数の解析学を更に一般化して関数を関数空間の点としてみなすことによって、関数解析学は誕生した。その起源はフレシェの1906年の抽象空間論などに見られるが大元は積分方程式であろう。ここでディリクレ問題が重要となり、そのためにはディリクレ原理の正当化が必要となった。最初に研究したフレドホルムは失敗したが、ヒルベルトはその正当化に成功し、更に積分方程式の研究を進めるが、ノイマンはこれを更に一般化することによってヒルベルト空間を利用し量子力学の数学的基礎付けを成し遂げた。

超関数

20世紀に入ると偏微分方程式やフーリエ解析学において関数や導関数といった概念の拡張に迫られ、ローラン・シュヴァルツは超関数 (distribution) および超関数の意味での導関数を導入することによってこれを成し遂げ、フィールズ賞を受賞した。これによりある意味任意の関数が微分可能になったといえる。その後佐藤幹夫によってより一般的な佐藤の超関数 (hyperfunction) が導入された。関数とその超関数の意味での導関数に適当なノルムを導入するとソボレフ空間になるが、これも偏微分方程式において重要な概念となっている。