「解析学」の版間の差分

削除された内容追加された内容

インライン

2022年8月12日 (金) 08:37時点における版

解析学（かいせきがく、英語：analysis, mathematical analysis）とは、極限や収束といった概念を扱う数学の分野である^[1]^[2]。代数学、幾何学と合わせ数学の三大分野をなす^[3]。

数学用語としての解析学は要素還元主義とは異なっており、初等的には微積分や級数などを用いて関数の変化量などの性質を調べる分野と言われることが多い^[1]^[4]。これは解析学がもともとテイラー級数やフーリエ級数などを用いて関数の性質を研究していたことに由来する^[1]。

例えばある関数の変数を少しだけずらした場合、その関数の値がどのようにどのぐらい変化するかを調べる問題は解析学として扱われる^[1]。

解析学の最も基本的な部分は、微分積分学、または微積分学と呼ばれる。また微分積分学を学ぶために必要な数学はprecalculus(calculusは微積分の意、接頭辞preにより直訳すれば微積分の前といった意味になる)と呼ばれ、現代日本の高校1、2年程度の内容に相当する^[5]。また解析学は応用分野において微分方程式を用いた理論やモデルを解くためにも発達し、物理学や工学といった数学を用いる学問ではよく用いられる数学の分野の一つである。

解析学は微積分をもとに、微分方程式や関数論など多岐に渡って発達しており^[6]、現代では確率論をも含む。

現代日本においては解析学の基本的分野^{[注釈 1]} は概ね高校2年から大学2年程度で習い、進度の差はあれ世界中の高校や大学などで教えられている。

歴史

解析学の起源

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

微分積分学の黎明期

これらは16世紀からフランソワ・ヴィエト、ケプラー、カヴァリエリらによって歴史に再登場し^[1]、例えば回転体の体積を求める手法であるカヴァリエリの原理などが有名であろう^[7]。

しかし解析学が本格的な発展を遂げ始めたのは、フェルマーやデカルト、パスカル、ジョン・ウォリス、ジル・ド・ロベルヴァルらによって^[1]、曲線の接線を考える上で考え出された微分学の初歩的概念が登場してからである^[1]。とくにフェルマーは極値問題に微分学を応用した^[1]。日本において発達した数学である和算においても、ほぼ同時期に微積分の初歩的概念に到達していた^[1]。

微分積分学誕生

解析学の初歩的概念である微分積分学の成立に関する決定的業績は、ニュートンおよびライプニッツらによってもたらされた。

ニュートンは、古典力学の研究から微分積分学を生み出し、微分と積分を統合して、両者がある意味で逆の関係にあることを見抜いた。これは今日では微分積分学の基本定理と呼ばれる^[1]。更に冪級数を用いて主要な関数に微分積分学を応用した^[1]。同じ時期に^[1] ライプニッツも同様な発見をした上、現代も用いられる微分積分の記号表記法を考案してその後の研究の基礎を築いた。

ライプニッツが考案した記号としては例えば曲線の接線問題を解くにあたって無限小量であるdy、dxの比dy/dxを用いたり、ラテン語のsumma(和の意)の頭文字Sから積分記号 $\int$ を導入したりした。

彼らは微分積分学の主要な分野を開拓したものの、微分積分学の基本概念である無限や極限といった概念を明確化できなかったため、ときに厳しく批判されることもあった^[1]。また彼らの間で微分積分学の先取権争いがあったが、現代では独立に発見したとされている^[1]。

ポスト微分積分学

テイラーは1715年に、マクローリンは1742年に優れた研究を発表した。しかしながら、イギリスにおいては、科学者たちはニュートンの記法に固執したため、微分積分学の研究は没落していった^[1]。ニュートンの記法では微分した変数と階数しかわからず、何を何で微分したか分からないため、とくに偏微分においてはライプニッツの記法が圧倒的に優位に立っていたのである^[1]。この後イギリスの没落は長らく続き、再び大陸に対し優位を取り戻すには20世紀初頭のG・H・ハーディの登場を待たねばならなかったとすらいわれる^{[注釈 2]}。

これに対してライプニッツの記法を抵抗なく用いることができた大陸では、ライプニッツと繋がりのあった有名な数学者の一族であるベルヌーイ一家や、更に彼らと繋がりのあったロピタルらによって多変数の微分積分学や複雑な式の形の微分方程式、変分法といった解析学が急速に発展していった^[1]。

その後18世紀には、オイラーらによってこれらの問題は統一的に体系化され、解析学は大きな進歩を遂げた。とくに微分方程式を用いた様々な問題が生まれ、彼の著書「無限解析序説^[8]」では冒頭で関数とは解析的式^[9] であると定義されているが、彼が解析学を関数の研究を主眼として見ていたとすれば大変興味深い内容であるといえる^[1]。

解析学の基礎付け

19世紀に入って解析学は、今まで直感任せであった無限小や極限、収束といったその基礎に疑いの目が向けられるようになり、それを厳密化することによって発展してゆくこととなる。

18世紀より、弦の振動を表す微分方程式から、「任意の関数は三角級数の和で表せるか？」という問題があったが、この問題で重要となったのはフーリエが熱伝導問題で用いたフーリエ級数

y(x)={\frac {a_{0}}{2}}+\sum _{k=0}^{\infty }(a_{k}\cos {kx}+b_{k}\sin {kx})

である。この級数は19世紀数学において主要な役割を果たし、この級数の収束について厳密に証明するために、それまでは必ずしもそこまでの厳密さが必要ではなかった級数・関数・実数などといった現代の解析学では常識と化している概念の厳密な基礎付けが行われていくこととなる。

級数論

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

級数の収束の厳密化は解析学の基礎付けに必須であり、フーリエ級数の収束問題の十分条件を与えたディリクレの論文^[10] は解析学の歴史において、その厳密化の一歩を踏み出した貴重なものであるといえるであろう^[1]。

微積分・関数の厳密化

また関数概念の近代化もこのころ始まった。オイラーの著書^[8] に見られるように、関数とはこれまでは解析的式、すなわち具体的な式で書き表せるものとの認識であったが、先にも上げたフーリエ級数に関するディリクレの論文^[10] によって関数も値の対応としての認識に変革してゆくこととなる^[1]。厳密に対応として認識せざるをえなくなったのはこのフーリエ級数の研究によるものである。

フーリエ級数の研究が発端となり、今まで直感に任せて推進されてきた微積分などの計算が一般の関数に対しても本当にちゃんと成り立つのか疑問が向けられたため、その収束や極限に対する厳密な理論が必要となってきた。今までは無限小などという実体不明な量にたよりきっていたが、コーシーやボルツァーノらによって極限や連続、微分や積分の可能性についても厳密に論じられたのである^[1]。

例えばオイラーまでは不定積分は微分の逆算であるとの認識であったが、コーシーはまず定積分を定義したのち、不定積分を

{\frac {d}{dx}}\int _{a}^{x}f(s)ds=f(x)

のような定理として導いたという意味で革命的であった^[1]。しかしながらコーシーですら連続と一様連続、各点収束と一様収束といった概念の区別がつかず、こういった基本概念が基礎付けられその重要性が認識されるにはワイエルシュトラスの登場を待たねばならなかった^[1]。

リーマンも1854年、フーリエ級数の研究においてコーシーの積分可能の概念を拡張し、一部の不連続の関数をも積分可能とするリーマン積分を導入したが、これですら不完全であり、実変数関数の完全な積分理論はすでに20世紀に入ってからの、1902年のルベーグ積分の登場によるものである^[1]。

収束や積分の研究はもとより、微分に関してもその厳密化が図られることとなった。18世紀以前は関数の微分可能性は当然のこととされたが、コーシーらの連続に関する厳密な概念の導入によってその基礎が揺るがされた^[1]。全ての連続関数は本当に微分可能なのかが疑われることとなったのである。19世紀前半までは「全ての連続関数は有限個の点を除き微分可能である」という定理(アンペールの定理)が無条件に成立するであろうという「神話」が信仰されていたのであるが、これが全くの嘘であると認識されるには長い時間が必要であった。これがようやく幻想であると認識されるのはワイエルシュトラスによって、連続であるが微分できない関数という反例が1875年に公表されてからであった^[1]。

集合論・測度論

数学の基礎付けにおいて忘れてはならないのは集合論であるが、本格的に導入されたのは19世紀もすでに後半、1874年カントールによるものである。とくにR・ベール、ボレル、ルベーグらの仕事には集合論は欠かせないものであった。ベールは不連続関数を分類し、ルベーグがそれを一般化してオイラーが与えた関数の定義である「解析的」の意味をはじめて明確化した^[1]。

更にルベーグはボレルの測度論を一般化しルベーグ測度を導入することによってルベーグ積分論を定式化した。これにより長さ、面積、体積などを完全に一般化することに成功し^[11]、これによって複雑な図形、例えば曲線や曲面の長さや面積などをそのような立場から論ずることが可能となった^[1]。

更にルベーグ積分論はコルモゴロフによって確率論の厳密化にも用いられ^[1]、確率論を現代解析学として扱うことを可能とした。このため純粋数学としての確率論は現代数学では解析学に分類されるわけである。

積分の理論は更に一般化され応用範囲も広まり、例えばウィーナーによりブラウン運動のような複雑な現象ですら数学的に取り扱うことすら可能となった^[1]。

実数論

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

このように一見、様々な定義があるようにみえる実数であるが、これらは古典論理の範囲内において全て同値であることが証明されている^[12]。

無限小と超準解析

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

関数論の登場

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

複素解析学は楕円関数や素数定理とも関連し^[1]、幅広い応用をもち現代では物理や工学においても必須の概念となっている。

関数解析学

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

超関数

→詳細は「超関数」を参照

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

解析学の諸分野

基本概念

現代解析学

解析学の展開

脚注

[脚注の使い方]

注釈

^ 基本的というと基礎的分野、集合論や実数論とは異なる。解析学において19世紀から20世紀前半に厳密な基礎付けが行われたが、教育においては最初から厳密に教えられているわけではない。例えばS.ラングの「解析入門」のまえがきを参照。
^ ハーディの記事参照

出典

^ ^a ^b ^c ^d ^e ^f ^g ^h ⁱ ^j ^k ^l ^m ⁿ ^o ^p ^q ^r ^s ^t ^u ^v ^w ^x ^y ^z ^aa ^ab ^ac ^ad ^ae ^af ^ag ^ah ^ai ^aj ^ak ^al ^am ^an ^ao ^ap ^aq 日本数学会編、『岩波数学辞典第4版』、岩波書店、2007年、項目「解析学」より。ISBN 978-4-00-080309-0 C3541
^ 小田稔ほか編、『理化学英和辞典』、研究社、1998年、項目「analysis」より。ISBN 978-4-7674-3456-8
^ 広辞苑第六版「数学」より。
^ 青本和彦、上野健爾、加藤和也、神保道夫、砂田利一、高橋陽一郎、深谷賢治、俣野博、室田一雄　編著、『岩波数学入門辞典』、岩波書店、2005年、「解析学」より。ISBN 4-00-080209-7
^ 一松信、『初等関数概説』、森北出版、1998年。ISBN 978-4-627-01751-1
^ 大辞林「解析学」より。
^ 溝畑茂、『解析学小景』岩波書店、1997年1月。ISBN 4-00-005183-0。
^ ^a ^b 高瀬正仁訳、『オイラーの無限解析』、海鳴社、2001年。ISBN 4-87525-202-1
^ 解析という単語自体の意味が時代によって異なることに注意されたい。当時は初等代数の展開や因数分解のような演算のごとく、微積分も公式を用いてそのような初等代数と同様に計算できるようなものと認識されており、イプシロンデルタ論法にみられるような厳密化はまだであった。だが、オイラーも解析的(多項式で表せる函数)と初等超越函数との区別はしていたようである。詳細な議論は17,18,19世紀における'幾何','代数','解析'―翻訳についての一考察 (PDF) 、2013年4/4閲覧、などを参照。
^ ^a ^b P. G. L. Dirichlet, J. Reine Angew. Math., 4(1829), 157-169.
^ アンリ・ルベーグ著、吉田耕作・松原稔訳、解説・正田建次郎、吉田洋一監修、『ルベーグ積分長さ及び面積』、共立出版、〈現代数学の系譜3巻〉、1969年。ISBN 978-4-320-01156-4
^ 島内剛一、『数学の基礎』、日本評論社、〈日評数学選書〉、2008年。ISBN 978-4-535-60106-2
^ M.フレシェ著、斎藤正彦・森毅・杉浦光夫訳、『抽象空間論』、共立出版、〈現代数学の系譜 13巻〉、1987年。ISBN 978-4-320-01399-5

外部リンク

『解析学』 - コトバンク

[7] 基本的というと基礎的分野、集合論や実数論とは異なる。解析学において19世紀から20世紀前半に厳密な基礎付けが行われたが、教育においては最初から厳密に教えられているわけではない。例えばS.ラングの「解析入門」のまえがきを参照。

[9] ハーディの記事参照

[a-1] ^ ^a ^b ^c ^d ^e ^f ^g ^h ⁱ ^j ^k ^l ^m ⁿ ^o ^p ^q ^r ^s ^t ^u ^v ^w ^x ^y ^z ^aa ^ab ^ac ^ad ^ae ^af ^ag ^ah ^ai ^aj ^ak ^al ^am ^an ^ao ^ap ^aq 日本数学会編、『岩波数学辞典第4版』、岩波書店、2007年、項目「解析学」より。ISBN 978-4-00-080309-0 C3541

[2] 小田稔ほか編、『理化学英和辞典』、研究社、1998年、項目「analysis」より。ISBN 978-4-7674-3456-8

[3] 広辞苑第六版「数学」より。

[4] 青本和彦、上野健爾、加藤和也、神保道夫、砂田利一、高橋陽一郎、深谷賢治、俣野博、室田一雄　編著、『岩波数学入門辞典』、岩波書店、2005年、「解析学」より。ISBN 4-00-080209-7

[5] 一松信、『初等関数概説』、森北出版、1998年。ISBN 978-4-627-01751-1

[6] 大辞林「解析学」より。

[8] 溝畑茂、『解析学小景』岩波書店、1997年1月。ISBN 4-00-005183-0。

[b-10] 高瀬正仁訳、『オイラーの無限解析』、海鳴社、2001年。ISBN 4-87525-202-1

[11] 解析という単語自体の意味が時代によって異なることに注意されたい。当時は初等代数の展開や因数分解のような演算のごとく、微積分も公式を用いてそのような初等代数と同様に計算できるようなものと認識されており、イプシロンデルタ論法にみられるような厳密化はまだであった。だが、オイラーも解析的(多項式で表せる函数)と初等超越函数との区別はしていたようである。詳細な議論は17,18,19世紀における'幾何','代数','解析'―翻訳についての一考察 (PDF) 、2013年4/4閲覧、などを参照。

[c-12] P. G. L. Dirichlet, J. Reine Angew. Math., 4(1829), 157-169.

[13] アンリ・ルベーグ著、吉田耕作・松原稔訳、解説・正田建次郎、吉田洋一監修、『ルベーグ積分長さ及び面積』、共立出版、〈現代数学の系譜3巻〉、1969年。ISBN 978-4-320-01156-4

[14] 島内剛一、『数学の基礎』、日本評論社、〈日評数学選書〉、2008年。ISBN 978-4-535-60106-2

[15] M.フレシェ著、斎藤正彦・森毅・杉浦光夫訳、『抽象空間論』、共立出版、〈現代数学の系譜 13巻〉、1987年。ISBN 978-4-320-01399-5

[1]

[2]

[3]

[4]

[5]

[6]

[注釈 1]

[7]

[注釈 2]

[8]

[9]

[10]

[11]

[12]

[13]

@@ 1行目: / 1行目: @@
 {{Calculus}}
-'''解析学'''（かいせきがく、[[英語]]：analysis, mathematical analysis）とは、[[極限]]や[[収束]]といった概念を扱う数学の分野である<ref name="a">日本数学会編、『岩波数学辞典 第4版』、岩波書店、2007年、項目「解析学」より。ISBN 978-4-00-080309-0 C3541</ref><ref>小田稔ほか編、『[http://webshop.kenkyusha.co.jp/book/978-4-7674-3456-8.html 理化学英和辞典]』、研究社、1998年、項目「analysis」より。ISBN 978-4-7674-3456-8</ref>。[[代数学]]、[[幾何学]]と合わせ数学の三大分野をなす<ref>広辞苑第六版「数学」より。</ref>。
+'''解析学'''（かいせきがく、[[英語]]：analysis, mathematical analysis）とは、[[極限]]や[[収束]]といった概念を扱う[[数学]]の分野である<ref name="a">日本数学会編、『岩波数学辞典 第4版』、岩波書店、2007年、項目「解析学」より。ISBN 978-4-00-080309-0 C3541</ref><ref>小田稔ほか編、『[http://webshop.kenkyusha.co.jp/book/978-4-7674-3456-8.html 理化学英和辞典]』、研究社、1998年、項目「analysis」より。ISBN 978-4-7674-3456-8</ref>。[[代数学]]、[[幾何学]]と合わせ数学の三大分野をなす<ref>広辞苑第六版「数学」より。</ref>。
 数学用語としての解析学は[[要素還元主義]]とは異なっており、初等的には[[微分積分学|微積分]]や[[級数]]などを用いて[[関数 (数学)|関数]]の[[変化]][[量]]などの性質を調べる分野と言われることが多い<ref name="a" /><ref>青本和彦、上野健爾、加藤和也、神保道夫、砂田利一、高橋陽一郎、深谷賢治、俣野博、室田一雄　編著、『[http://www.iwanami.co.jp/.BOOKS/08/7/0802090.html 岩波数学入門辞典]』、岩波書店、2005年、「解析学」より。ISBN 4-00-080209-7</ref>。これは解析学がもともと[[テイラー級数]]や[[フーリエ級数]]などを用いて関数の性質を研究していたことに由来する<ref name="a" />。

表話編歴解析学の主要なトピックス
微分積分学: 積分法微分法微分方程式 (常 - 偏) 基本定理変分法ベクトル解析テンソル解析積分一覧導関数一覧（英語版）
実解析複素解析関数解析フーリエ解析調和解析測度論表現論関数連続関数特殊関数極限級数無限
ポータル・カテゴリ

表話編歴数学
主要分野	数理論理学集合論圏論代数学初等線型多重線型抽象算術/数論解析学/微分積分学関数解析学行列解析幾何学代数微分有限離散位相代数的位相表現論リー理論（英語版）微分方程式線型微分方程式複素微分方程式常微分方程式偏微分方程式積分微分方程式力学系組合せ数学数理物理学ゲーム理論グラフ理論最適化問題数理最適化計算理論確率論数理統計学（英語版）制御理論三角法
トピックス	数学史和算算道数理哲学美未解決問題算数・数学教育算数教科
主要賞	ド・モルガン・メダルコール賞フィールズ賞スティール賞ウルフ賞ショウ賞アーベル賞数学ブレイクスルー賞
応用	情報理論折紙の数学囲碁と数学数値解析精度保証付き数値計算計算機援用証明数値線形代数常微分方程式の数値解法偏微分方程式の数値解法
学会・団体	国際数学者会議国際数学連合国際産業数理・応用数理会議国際産業数理・応用数理評議会（英語版）アメリカ数学会 SIAM ヨーロッパ数学会ロンドン数学会日本応用数理学会日本数学会数学教育協議会
競技	国際数学オリンピック日本数学オリンピック日本ジュニア数学オリンピック広中杯近畿大学数学コンテスト人の最大の力を競う算数・数学の大会
研究所	京都大学数理解析研究所明治大学先端数理科学インスティテュート統計数理研究所アンリ・ポアンカレ研究所オーバーヴォルファッハ数学研究所クレイ研究所 CIMAT数学研究センターステクロフ数学研究所
一覧数学定数数関数図形数学記号数学者エポニムカテゴリポータル

典拠管理データベース
国立図書館	スペインフランス BnF data ドイツイスラエルアメリカ日本チェコ
その他	現代ウクライナ百科事典