「解析学」の版間の差分
削除された内容 追加された内容
| (同じ利用者による、間の20版が非表示) | |||
1行目:
'''解析学'''（かいせきがく、[[英語]]：analysisまたはmathematical analysis）とは、[[極限]]や収束といった概念を扱う数学の分野である<ref name="a" > 日本数学会編、『岩波数学辞典 第4版』、岩波書店、2007年、項目「解析学」より。ISBN978-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> 青本和彦、上野健爾、加藤和也、神保道夫、砂田利一、高橋陽一郎、深谷賢治、俣野博、室田一雄 編著、『[http://www.iwanami.co.jp/.BOOKS/08/7/0802090.html 岩波数学入門辞典]』、岩波書店、2005年、「解析学」より。ISBN 4-00-080209-7</ref><ref name="a"/>。これは解析学がもともと[[テイラー級数]]や[[フーリエ級数]]などを用いて関数の性質を研究していたことに由来する<ref name="a"/>。
例えばある関数の変数を少しだけずらした場合、その関数の値がどのようにどのぐらい変化するかを調べる問題は解析学として扱われる<ref name="a"/>。
解析学の最も基本的な部分は、'''[[微分積分学]]'''、または'''微積分学'''と呼ばれる。また微分積分学を学ぶために必要な数学はprecalculus(calculusは微積分の意、接頭辞preにより直訳すれば微積分の前といった意味になる)と呼ばれ、現代日本の高校1、2年程度の内容に相当する<ref>一松信、『[http://www.morikita.co.jp/books/book/127 初等関数概説]』、森北出版、1998年。ISBN 978-4-627-01751-1</ref>。また解析学は応用分野において微分方程式を用いた理論やモデルを解くためにも発達し、[[物理学]]や[[工学]]といった数学を用いる学問ではよく用いられる数学の分野の一つである。
解析学は微積分をもとに、[[微分方程式]]や[[関数論]]など多岐に渡って発達しており<ref>大辞林「解析学」より。</ref>、現代では[[確率論]]をも含む。
現代日本においては解析学の基本的分野<ref>基本的というと基礎的分野、集合論や実数論とは異なる。解析学において19世紀から20世紀前半に厳密な基礎付けが行われたが、教育においては最初から厳密に教えられているわけではない。例えば[[サージ・ラング|S.ラング]]の「[http://www.iwanami.co.jp/search/index.html 解析入門]」のまえがきを参照。</ref>は概ね高校2年から大学2年程度で習い、進度の差はあれ世界中の高校や大学等で教えられている。
<!--解析学の二大分野が確率論と微分方程式というのは削除しましたが、出典が存在するならば明記した上で差し戻しして下さい。ネット上で日本語で検索する限りは出てきませんでしたが、そもそも数学関連はネット上にない情報のが多いのでどこかの本に書いてあるのかもしれません。-->
== 歴史 ==
=== 解析学の起源 ===
解析学の起源は、[[エウドクソス]]が考案し、[[アルキメデス]]が複雑な図形の面積や体積を求める為に編み出した「[[取り尽くし法]]」にまでさかのぼれる<ref name="a"/>。彼らの業績は、ある意味で今日の積分の始まりとも呼べるものであろう。しかしながら近世までは一般的理論は存在せず、あくまで個々の図形に適用されるにとどまった<ref name="a"/>。
=== 微分積分学の黎明期 ===
これらは16世紀から17世紀かけて[[フランソワ・ヴィエト]]、[[ヨハネス・ケプラー|ケプラー]]、[[ボナヴェントゥーラ・カヴァリエーリ|カヴァリエリ]]らによって歴史に再登場し<ref name="a"/>、例えば回転体の体積を求める手法である[[カヴァリエリの原理]]などが有名であろう<ref>溝畑茂、『解析学小景』 岩波書店、1997年1月。ISBN 4-00-005183-0。</ref>。
しかし解析学が本格的な発展を遂げ始めたのは、[[ピエール・ド・フェルマー|フェルマー]]や[[ルネ・デカルト|デカルト]]、[[ブレーズ・パスカル|パスカル]]、[[ジョン・ウォリス]]、[[ジル・ド・ロベルヴァル]]らによって<ref name="a"/>、[[曲線]]の[[接線]]を考える上で考え出された微分学の初歩的概念が登場してからである<ref name="a"/>。とくにフェルマーは[[極値]]問題に微分学を応用した<ref name="a" />。余談だが日本において発達した数学である[[和算]]においても、ほぼ同時期に同レベルの微積分の初歩的概念に到達していた<ref name="a"/>。
=== 微分積分学誕生 ===
解析学の初歩的概念である微分積分学の成立に関する決定的業績は、[[アイザック・ニュートン|ニュートン]]および[[ゴットフリート・ライプニッツ|ライプニッツ]]らによってもたらされた。
ニュートンは、[[古典力学]]の研究から微分積分学を生み出し、微分と積分を統合して、両者がある意味で逆の関係にあることを見抜いた。これは今日では[[微分積分学の基本定理]]と呼ばれる<ref name="a"/>。更に[[冪級数]]を用いて主要な関数に微分積分学を応用した<ref name="a"/>。同じ時期に<ref name="a"/>ライプニッツも同様な発見をした上、現代も用いられる[[ライプニッツの記法|微分積分の記号表記法]]を考案してその後の研究の基礎を築いた。
ライプニッツが考案した記号としては例えば曲線の接線問題を解くにあたって無限小量であるdy、dxの比dy/dxを用いたり、ラテン語のsumma(和の意)の頭文字Sから積分記号<math>\int</math>を導入したりした。
彼らは微分積分学の主要な分野を開拓したものの、微分積分学の基本概念である無限や極限といった概念を明確化できなかったため、ときに厳しく批判されることもあった<ref name="a"/>。また彼らの間で微分積分学の先取権争いがあったが、現代では独立に発見したとされている<ref name="a"/>。
=== ポスト微分積分学 ===
微分積分学成立以後、[[イギリス]]の科学者たちはニュートンの記法に固執し、[[ブルック・テイラー|テイラー]]は1715年に、[[コリン・マクローリン|マクローリン]]は1742年に優れた研究を発表しているものの、イギリスにおいては大陸に対し、微分積分学の研究は没落していった<ref name="a"/>。なぜならばとくに[[偏微分]]においては[[ニュートンの記法|ニュートンの方法]]では、何を何で微分したかがわからず、ニュートンの方法では微分した変数と階数しかわからない。この点においてはライプニッツの方法が圧倒的に優位に立っていたのである<ref name="a"/>。この後イギリスの没落は長らく続き、再び大陸に対し優位を取り戻すにはなんと20世紀初頭まで掛かり、[[ゴッドフレイ・ハロルド・ハーディ|G･H･ハーディ]]の登場を待たねばならなかったとすらいわれる<ref>ハーディの記事参照</ref>。
これに対して[[ライプニッツの記法|ライプニッツの微分記号]]を抵抗なく用いることができた大陸ではライプニッツと繋がりのあった有名な数学者の一族である[[ベルヌーイ]]一家や、更に彼らと繋がりのあった[[ギヨーム・ド・ロピタル|ロピタル]]らによって多変数の微分積分学や複雑な式の形の[[微分方程式]]、[[変分法]]といった[[解析学]]が急速に発展してゆくこととなる<ref name="a"/>。
その後18世紀には、[[レオンハルト・オイラー|オイラー]]らによってこれらの問題は統一的に体系化され、解析学は大きな進歩を遂げた。とくに微分方程式を用いた様々な問題が生まれ、彼の著書「無限解析序説<ref name="b" >高瀬正仁訳、『オイラーの無限解析』、海鳴社、2001年。ISBN 4-87525-202-3</ref>」では冒頭で関数とは解析的式<ref>解析という単語自体の意味が時代によって異なることに注意されたい。当時は初等代数の展開や因数分解のような演算のごとく、微積分も公式を用いてそのような初等代数と同様に計算できるようなものと認識されており、イプシロンデルタ論法にみられるような厳密化はまだであった。オイラーも解析的(多項式で表せる函数)と[[初等関数|初等超越函数]]との区別はしていたようである。詳細な議論は{{PDFlink|[http://repository.kulib.kyoto-u.ac.jp/dspace/bitstream/2433/63669/1/1130-17.pdf 17,18,19世紀における'幾何','代数','解析'―翻訳についての一考察]}}、2013年4/4閲覧、などを参照。</ref>であると定義されているが、彼が解析学を関数の研究を主眼として見ていたとすれば大変興味深い内容であるといえる<ref name="a"/>。
=== 解析学の基礎付け ===
19世紀に入って解析学は、今まで直感任せであった無限小や極限、収束といったその基礎に疑いの目が向けられるようになり、それを厳密化することによって発展性してゆくこととなる。
18世紀より、弦の振動を表す微分方程式から、「任意の関数は三角級数の和で表せるか？」という問題があったが、この問題で重要となったのは[[ジョゼフ・フーリエ|フーリエ]]が[[熱伝導]]問題で用いた[[フーリエ級数]]
:<math>y(x)=\frac{a_{0}}{2}+\sum^{\infty}_{k=0}(a_{k}\cos{kx}+b_{k}\sin{kx})</math>
である。この級数は19世紀数学において主要な役割を果たし、この級数の収束について厳密に証明するために、それまでは必ずしもそこまでの厳密さが必要ではなかった級数・関数・実数などといった現代の解析学では常識と化している概念の厳密な基礎付けが行われていくこととなる。
<!--フーリエ級数は19世紀数学史において大変重要であり、もう少し数式を多用して詳述する必要がある-->
==== 級数論 ====
フーリエ級数の生みの親であるフーリエは現代的厳密さでフーリエ級数の収束を研究しておらず、このため[[ジョゼフ＝ルイ・ラグランジュ|ラグランジュ]]はフーリエの論文掲載に抵抗したといわれるが、当時は級数の収束判定は困難な問題であった<ref name="a"/>。オイラーやガウスですら多少であれば級数論に取り組んでいるものの一般の級数の収束に関する研究はなく、はじめて一般の級数の収束問題を論じたのは[[ベルナルト・ボルツァーノ|ボルツァーノ]]や[[オーギュスタン＝ルイ・コーシー|コーシー]]らであるが、彼らの級数収束に対する理解ですら現代から見れば不完全な部分が残り、完璧ではなかったといえる<ref name="a"/>。それほどまでに重要な問題を解析学に投げかけたのである。
級数の収束の厳密化は解析学の基礎付けに必須であり、フーリエ級数の収束問題の十分条件を与えた[[ペーター・グスタフ・ディリクレ|ディリクレ]]の論文<ref name="c">P. G. L. Dirichlet, J. Reine Angew. Math., 4(1829), 157-169.</ref>は解析学の歴史において、その厳密化の一歩を踏み出した貴重なものであるといえるであろう<ref name="a"/>。なおフーリエ級数はその後[[実解析]]や[[調和解析]]といった分野において重要な役割を果たすこととなり現代ではこれらの分野で研究される<ref name="a"/>。
==== 微積分・関数の厳密化 ====
また関数概念の近代化もこのころ始まった。オイラーの著書<ref name="b"/>に見られるように、関数とはこれまでは解析的式、すなわち具体的な式で書き表せるものとの認識であったが、先にも上げたフーリエ級数に関するディリクレの論文<ref name="c"/>によって関数も値の対応としての認識に変革してゆくこととなる<ref name="a"/>。厳密に対応として認識せざるをえなくなったのはこのフーリエ級数の研究によるものである。
フーリエ級数の研究が発端となり、今まで直感に任せて推進されてきた微積分などの計算が一般の関数に対しても本当にちゃんと成り立つのか疑問が向けられたため、その収束や極限に対する厳密な理論が必要となってきた。今までは無限小などという実体不明な量にたよりきっていたが、コーシーやボルツァーノらによって極限や連続、微分や積分の可能性についても厳密に論じられたのである<ref name="a"/>。
例えばオイラーまでは不定積分は微分の逆算であるとの認識であったが、コーシーはまず定積分を定義したのち、不定積分を
:<math>\frac{d}{dx}\int_{a}^{x}f(s)ds=f(x)</math>
のような定理として導いたという意味で革命的であった<ref name="a"/>。しかしながらコーシーですら連続と一様連続、各点収束と一様収束といった概念の区別がつかず、こういった基本概念が基礎付けられその重要性が認識されるには[[カール・ワイエルシュトラス|ワイエルシュトラス]]の登場を待たねばならなかった<ref name="a"/>。
[[ベルンハルト・リーマン|リーマン]]も1854年、フーリエ級数の研究においてコーシーの積分可能の概念を拡張し、一部の不連続の関数をも積分可能とする[[リーマン積分]]を導入したが、これですら不完全であり、実変数関数の完全な積分理論はすでに20世紀に入ってからの、1902年の[[ルベーグ積分]]の登場によるものである<ref name="a"/>。
収束や積分の研究はもとより、微分に関してもその厳密化が図られることとなった。18世紀以前は関数の微分可能性は当然のこととされたが、コーシーらの連続に関する厳密な概念の導入によってその基礎が揺るがされた<ref name="a"/>。全ての連続関数は本当に微分可能なのかが疑われることとなったのである。19世紀前半までは「全ての連続関数は有限個の点を除き微分可能である」という定理([[アンペールの定理]])が無条件に成立するであろうという「神話」が信仰されていたのであるが、これが全くの嘘であると認識されるには長い時間が必要であった。これがようやく幻想であると認識されるのはワイエルシュトラスによって、連続であるが微分できない関数という反例が1875年に公表されてからであった<ref name="a"/>。
==== 集合論・測度論 ====
数学の基礎付けにおいて忘れてはならないのは[[集合論]]であるが、本格的に導入されたのは19世紀もすでに後半、1874年[[ゲオルグ・カントール|カントール]]によるものである。とくに[[R･ベール]]<!--フルネーム不詳-->、[[エミール・ボレル|ボレル]]、[[アンリ・ルベーグ|ルベーグ]]らの仕事には集合論は欠かせないものであった。ベールは不連続関数を分類し、ルベーグがそれを一般化してオイラーが与えた関数の定義である「解析的」の意味をはじめて明確化した<ref name="a"/>。
更にルベーグはボレルの測度論を一般化しルベーグ測度を導入することによってルベーグ積分論を定式化した。これにより長さ、面積、体積などを完全に一般化することに成功し<ref> アンリ・ルベーグ著、吉田 耕作・松原 稔訳、解説・正田 建次郎、吉田 洋一監修、『[http://www.kyoritsu-pub.co.jp/bookdetail/9784320011564 ルベーグ積分長さ及び面積]』、共立出版、〈現代数学の系譜3巻〉、1969年。ISBN 978-4-320-01156-4</ref>、これによって複雑な図形、例えば曲線や曲面の長さや面積などをそのような立場から論ずることが可能となった<ref name="a"/>。
更にルベーグ積分論は[[アンドレイ・コルモゴロフ|コルモゴロフ]]によって確率論の厳密化にも用いられ<ref name="a"/>、確率論を現代解析学として扱うことを可能とした。このため純粋数学としての確率論は現代数学では解析学に分類されるわけである。
積分の理論は更に一般化され応用範囲も広まり、例えば[[ノーバート・ウィーナー|ウィーナー]]により[[ブラウン運動]]のような複雑な現象ですら数学的に取り扱うことすら可能となった<ref name="a"/>。
==== 実数論 ====
解析学はその根底を実数の性質においているが、[[リヒャルト・デーデキント|デーデキント]]やカントールはその実数の性質を深く研究し、実数を特徴付ける条件を見いだした。カントールもフーリエ級数の研究より実数論を展開し、その中で実数論や無限集合といった概念が形成されてゆくこととなる。カントールやデデキントらによる実数の定義は切断によるもので、[[高木貞治]]の解析概論などでも用いられている手法であるが、先にも述べたコーシー、ワイエルシュトラス、ボルツァーノなどの数学者らによって類似の様々な実数論が展開された。
このように一見、様々な定義があるようにみえる実数であるが、これらは古典論理の範囲内において全て同値であることが証明されている<ref> 島内剛一、『[http://www.nippyo.co.jp/book/4132.html 数学の基礎]』、日本評論社、〈日評数学選書〉、2008年。ISBN 978-4-535-60106-2</ref>。
==== 無限小と超準解析 ====
このような厳密化の流れの中で消されていった無限小という概念であるが、これを現代論理学などを用いて蘇らせたものが[[超準解析]]である。
=== 関数論の登場 ===
また、19世紀に入って解析学は本格的に[[複素数]]を利用するようになった。複素数変数の関数や微積分などを扱う分野は'''(複素)関数論'''、'''[[複素解析]]学'''などと呼ばれる。コーシーは従来求められていた定積分などが複素変数の関数として扱うことでより簡単に求められることを発見した。さらにその後、ワイエルシュトラスやリーマンによって一変数の複素関数の理論が整えられ、複素関数論は独立した一つの数学として扱われるようになった。また多変数の複素関数の理論は20世紀に入ってから、[[アンリ・カルタン]]や[[岡潔]]らによって詳細が研究された。
複素解析学は[[楕円関数]]や[[素数定理]]とも関連し<ref name="a"/>、幅広い応用をもち現代では物理や工学においても必須の概念となっている。
=== 関数解析学 ===
微分法は[[極値]]を求める問題であるが、これを一般化し、与えられた汎関数が極値を持つような関数を求める問題が変分法であり、物理学において広く応用されている<ref name="a"/>。汎関数の解析学を更に一般化して関数を関数空間の点としてみなすことによって、関数解析学は誕生した。その起源は[[モーリス・ルネ・フレシェ|フレシェ]]の1906年の抽象空間論<ref> M.フレシェ 著、斎藤 正彦・森 毅・杉浦 光夫訳、『[http://www.kyoritsu-pub.co.jp/bookdetail/9784320013995 抽象空間論]』、共立出版、〈現代数学の系譜 13巻〉、1987年。ISBN 978-4-320-01399-5</ref>などに見られるが大元は[[積分方程式]]であろう<ref name="a"/>。ここでディリクレ問題が重要となり、そのためにはディリクレ原理の正当化が必要となった<ref name="a"/>。最初に研究した[[フレドホルム]]は失敗したが、[[ダフィット・ヒルベルト|ヒルベルト]]はその正当化に成功し、更に積分方程式の研究を進めるが、[[ジョン・フォン・ノイマン|ノイマン]]はこれを更に一般化することによって[[ヒルベルト空間]]を利用し[[量子力学]]の数学的基礎付けを成し遂げた<ref name="a"/>。
=== 超関数 ===
{{seealso|超関数}}
20世紀に入ると偏微分方程式やフーリエ解析学において関数や導関数といった概念の拡張に迫られ、[[ローラン・シュワルツ]]は[[シュワルツの超関数|超関数]]および超関数の意味での導関数を導入することによってこれを成し遂げ<ref name="a"/>、[[フィールズ賞]]を受賞した。これによりある意味任意の関数が微分可能になったといえる<ref name="a"/>。その後[[佐藤幹夫_(数学者)|佐藤幹夫]]によってより一般的な[[佐藤の超関数]](hyperfunction)が導入された<ref name="a"/>。関数とその超関数の意味での導関数に適当な[[ノルム]]を導入すると[[ソボレフ空間]]になるが、これも[[偏微分方程式]]において重要な概念となっている<ref name="a"/>。
<!--(純粋数学の辞典である)数学辞典ベースなので応用数理や応用解析学、例えば非線形分野などが弱いため追記すべきだろう。-->
== 脚注・参考文献 ==
{{reflist}}
== 解析学の諸分野 ==
=== 基本概念 ===
* [[数学基礎論]]
* [[数理論理学]]
* [[数]]
** [[自然数|自然数論]]
** [[実数|実数論]]
***[[実数の連続性]]
***[[イプシロン-デルタ論法]]
* [[集合論]]
** [[公理的集合論]]
* [[関数]]
** [[写像]]
** [[媒介変数]]
** [[連続関数]]
** [[初等関数]]
*** [[三角関数]]
*** [[指数関数]]
*** [[対数関数]]
** [[特殊関数]]
* [[級数]]
** [[数列]]
** [[コーシー列]]
** [[絶対収束]]
** [[比較判定法]]
* [[微分積分学]]
** [[微分法]]
***[[接線]]
***[[偏微分]]
** [[積分法]]
***[[不定積分]]
***[[定積分]]
***[[広義積分]]
** [[微分積分学の基本定理]]
<!--基礎論と高校から大学教養ぐらいの基本概念。テンプレートを利用すべきかもしれない-->
* [[複素解析]]
**[[代数学の基本定理]]
**[[複素積分]]
**[[留数]]
**[[コーシーの積分公式]]
**[[コーシーの積分定理]]
**[[収束半径]]
=== 現代解析学 ===
* [[実解析]]
* [[調和解析]]
* [[超準解析]]
**[[無限小]]
* [[大域解析学]]
* [[関数解析学]]
* [[代数解析学]]
* [[可積分系]]
<!--これらの項目は、上の歴史の中で説明を加える必要があるだろう-->
== 解析学の展開 ==
*[[応用解析学]]
*[[応用数学]]
*[[数理科学]]
*[[微分方程式]]と応用
**[[常微分方程式]]
**[[偏微分方程式]]
**[[確率微分方程式]]
**[[積分方程式]]
**[[関数方程式]]
**[[変分法]]
**[[数理モデル]]
***[[単振動]]
***[[指数関数的減衰]]
***[[解析力学]]
***[[流体力学]]
***[[非線形科学]]
***[[数理物理学]]
* [[数値解析]]
**[[近似]]
**[[近似法]]
**[[数値積分]]
**[[有限要素法]]
* [[ベクトル解析]]
<!--こちらに応用数理関係をまとめるべきか。-->
== 関連項目 ==
* [[近代科学]]
* [[要素還元主義]]
{{Wikibooks}}
| |||