「幾何学」の版間の差分
削除された内容 追加された内容
編集の要約なし |
|||
| (2人の利用者による、間の51版が非表示) | |||
1行目:
[[File:Table_of_Geometry,_Cyclopaedia,_Volume_1.jpg|thumb|right|300px|18世紀の百科事典の幾何学図形の表。]]
[[ファイル:Calabi_yau.jpg|thumb|right|200px|最先端の物理学でも用いられる[[カラビ-ヤウ多様体]]の一種。現代幾何学では図も書けないような抽象的な分野も存在する。]]
[[File:Geometry_Lessons.jpg|thumb|right|200px|20世紀における初等幾何学の授業風景。]]
'''幾何学'''（きかがく、{{Lang-grc|γηωμετρια}} , {{Lang-en|geometry}}<ref name="word" /> ）は、[[図形]]や[[空間_(数学)|空間]]の性質について[[研究]]する数学の分野である<ref name="g">広辞苑第六版「幾何学」より</ref><ref name="c" >デジタル大辞泉「幾何学」より。</ref>。
もともと測量の必要上からエジプトで生まれたものだが、人間に認識できる図形に関する様々な性質を研究する数学の分野としてとくに古代ギリシャにて独自に発達し<ref name="h">ブリタニカ国際大百科事典2013小項目版「幾何学」より。</ref>、これらのおもな成果はB.C.300年ごろユークリッドによって[[ユークリッド原論]]にまとめられた<ref name="c"/>。その後中世以降のヨーロッパにて[[ユークリッド幾何学]]を発端とする様々な幾何学が登場することとなる<ref name="h"/>。
幾何学というとユークリッド幾何学のような具体的な平面や空間の図形を扱う幾何学が一般には馴染みが深いであろうが<ref name="h"/>、対象や方法、公理系などが異なる多くの種類の幾何学が存在し<ref name="g"/>、現代においては[[微分幾何学]]や[[代数幾何学]]、[[位相幾何学]]などの高度に抽象的な理論に発達・分化してしまっている<ref name="c"/><ref name="h"/>。
現代の日本の教育ではたとえ大学で数学を専攻したとしてすら幾何学を古典から現代的なものまで体系的に習う機会はほとんどなく、ユークリッド幾何学のような古典的理論と最先端の抽象的理論との断絶が[[代数学]]や[[解析学]]に比べても大きくなっている<ref>{{PDFlink|[http://mathsoc.jp/publication/tushin/1604/1604koiso.pdf コクセターの幾何学入門の書評]}}、2013年3月25日閲覧。</ref>。とくに体系的な[[初等幾何学]]は日本の教育からはほぼ根絶された<ref> 一松信、『[http://www.iwanami.co.jp/.BOOKS/00/6/0054540.html 現代に活かす初等幾何入門]』、岩波書店、〈岩波講座 応用数学〉、2003年、まえがき参照。ISBN </ref>。
<!--幾何学と教育についても追記すべきであろう。とくに現代化運動と幾何学など-->
== 歴史 ==
以下では様々な幾何学の発展とその概要を、歴史にのっとって時系列順に述べることとする。
=== 起源 ===
[[File:Square_root_of_2_triangle.svg|thumb|right|200px|直角二等辺三角形におけるピタゴラスの定理の適用。<math>\sqrt{1^2+1^2}=\sqrt{2}</math>である。]]
[[File:Pythagorean.svg|thumb|right|100px|古代から世界各地で知られていたピタゴラスの定理の証明の一種。下と右の正方形の面積の和は左の正方形の面積に等しい。]]
[[File:Chinese_pythagoras.jpg|thumb|right|150px|古代中国におけるピタゴラスの定理の証明。]]
[[File:Ybc7289-bw.jpg|thumb|right|80px|古代バビロニアにおけるピタゴラスの定理。]]
幾何学の起源は、[[古代オリエント]]、現代のエジプト<ref name="a"> 日本数学会編、『岩波数学辞典 第4版』、岩波書店、2007年、項目「幾何学」より。ISBN 978-4-00-080309-0 C3541 </ref>におけるナイル川の定期的な氾濫をめぐる土地測量の手法にまで遡ることができる<ref name="word">術語「幾何」の原義は土地測量（「{{Lang-grc|"γη"}}（ゲー）：土地」および「{{Lang|grc|"μετρεω"}}（メトレオ）：測定」）である。{{Lang-en|"geometry"}} は {{Lang-grc|"γημετρεω"}} の翻訳（{{Lang|en|"geo"}}：土地、{{Lang|en|"metry"}}：測量）であり、接頭辞 {{lang|en|"geo-"}} の音写として「{{Lang|zh-tw|幾何}}」（{{Lang|zh-hans|jǐhé}}; チーホー）が[[中国]]で考案された。日本語の「幾何」はこれの輸入であり、日本式に「きか」と読まれる。似たような例に「[[関数 (数学)|関数]]」がある。</ref>。ナイル川氾濫後、復興のため土地測量が必要になったことが古代ギリシャの歴史家[[ヘロドトス]]によって記録されており、原始的な幾何学は必要上の問題から誕生したといえる<ref name="a"/>。この説は古代ギリシャ末期の[[プロクロス]]によるユークリッド原論の注釈集の冒頭にあるが近年では批判もある<ref name="kika"> 一松信、『[http://www.iwanami.co.jp/.BOOKS/00/6/0054540.html 現代に活かす初等幾何入門]』、岩波書店、〈岩波講座 応用数学〉、2003年、第1章。ISBN 4-00-005454-6</ref>。いずれにしても、[[農耕]]の開始によって土地測量技術が重要となり、そのために幾何学が発達したというのは事実であろう<ref name="kika"/>。
とくに古代エジプトやバビロニアでは5000年も昔には既に現代では[[ピタゴラスの定理]]として知られている定理が経験則として知られていたことが判明している<ref name="h"/>。
=== 古代ギリシャの幾何学 ===
幾何学が大きな進歩を遂げた最初は、他の数学の分野と同じように[[古代ギリシア]]においてであった。
==== 初期のギリシャ幾何学 ====
人物としては、[[タレス]]、[[ピタゴラス]]などが有名である<ref name="a"/>。タレスは三角形の[[合同]]を間接測量に応用し、ピタゴラスらはこれらを[[証明#数学、記号論理学における証明|証明]]により厳密に基礎づけた<ref name="a"/>。彼らはそこで多くの定理を発見し、幅広くそして深く図形を研究したが、特に注記すべきなのは、彼らが証明という全く新しい手法を発見したことである。
==== 数学的意味での証明の誕生と原論の成立 ====
[[File:P._Oxy._I_29.jpg|thumb|right|200px|[[パピルス]]に記録されたユークリッド原論の断片。]]
[[ファイル:Euklid-von-Alexandria_1.jpg|thumb|right|150px|原論の著者とされるユークリッド。]]
とくにピタゴラスは後のギリシャ数学者達に影響を与え、[[エウクレイデス|ユークリッド]]もその一人であった<ref name="h"/>。自明な少数の原理(公理など)から厳密に[[演繹]]を積み重ねて当たり前とは思えない事柄を示していくやり方は、ユークリッドの手により『[[原論]]<ref>邦訳は「中村 幸四郎・寺阪 英孝・伊東 俊太郎・池田 美恵訳・解説、『[http://www.kyoritsu-pub.co.jp/bookdetail/9784320019652 ユークリッド原論 追補版]』、共立出版、2011年。ISBN 978-4-320-01965-2」など。</ref>』において完成され、後の数学の手本となった。ユークリッドの手により証明をもとに体系化されたギリシャ数学は、曖昧さが残るエジプトやバビロニアのものより圧倒的に優位であったといえる<ref name="h"/>。
曖昧な経験の集積ではなく、それらを体系化された理論にまとめあげ少数の事実から全てを演繹するという手法は長らく[[精密科学]]の雛型とされ<ref name="kika"/>、後世ではニュートンの古典力学なども同様の手法で論じられている。このような手法は古代ギリシャにのみ誕生したが、それは何故かという問題は科学史の重大な問題である<ref name="kika"/>。
ユークリッド原論はB.C.300年ごろに出版され、全13巻からなり、幾何学以外にも[[量]]や[[数論|数の理論]]なども記述があるが、これらも幾何学的に取り扱われた<ref name="a"/>。また原論は幾何学のバイブルとしてその後2000年以上にも渡って愛読され続けた<ref name="h"/>。
==== 後期のギリシャ幾何学 ====
[[File:Pentagon-construction.svg|thumb|right|100px|正五角形の古典的作図法。ユークリッド幾何学では定規は直線を引くためだけに用い、コンパスは紙から離したらすぐに閉じねばならない(ようはそういう方法で長さを計れない)という厳格なルールがある<ref> 小林昭七、『[http://www.shokabo.co.jp/mybooks/ISBN978-4-7853-1516-0.htm 円の数学]』、裳華房、1999年。ISBN 978-4-7853-1516-0</ref>。]]
[[File:DandelinSpheres.gif|thumb|right|100px|円錐曲線論に関する図の一種。]]
その後前三世紀ごろに[[ペルガのアポロニウス|アポロニウス]]によって[[円錐曲線]]論(コニカ)がまとめられ<ref>アポッロニオス 『[http://www.kyoiku.co.jp/syoseki.cgi?book=106 円錐曲線論]』 ポール・ヴェル・エック仏訳、竹下貞雄和訳、大学教育出版、2009年1月。ISBN 978-4-88730-880-0。</ref>、[[天文学]]の発達により前一、二世紀ごろに[[三角法]]も誕生した。[[パップス]]は300年ごろに幾何学を中心とする古代ギリシャの数学の成果を「数学集成(Synagoge)」にまとめあげた<ref name="a"/>。
とくにアポロニウスは初歩的な座標の概念をも導入し、二点からの距離の和・差・積・商が一定である曲線の集合を研究した<ref name="kika"/>。彼の円錐曲線の理論は、[[カッシーニの卵形線]]は17世紀に入ってから開拓されたものの他の分野のほぼ全てはアポロニウスの手によって研究された<ref name="kika"/>。
<!--ここから一挙に中世ヨーロッパへと飛躍するが歴史的に決して断然しているのではなく幾何学はアラビアなどにおいても発達し、これらの成果は十字軍によって持ち帰えられた成果がヨーロッパで発達する。-->
=== ヨーロッパにおける幾何学 ===
ヨーロッパでは長く、「幾何学的精神」という言葉が厳密さを重んじる数学の王道ともいうべきあり方とされた。「幾何学的精神」という用語はパスカルによって導入された哲学用語であり、ユークリッド幾何学に見られるように、少数の公理形から全てを演繹するような合理的精神をさし、逆に全体から個々の原理を一挙に把握するという意味の「繊細の精神」の対義語として与えられた<ref>大辞林「幾何学的精神」より</ref>。
また、エジプト王プトレマイオスが幾何学を学ぶのに簡単にすます道が無いかという問いに対しユークリッドはそんな方法はなく、「幾何学に王道無し」と言ったことからより一般に「学問に王道なし」との言葉も生まれた<ref name="e" >大辞林「学問に王道なし」より</ref>。ここで王道とは王のみが通れる近道の意である<ref name="e"/>。
=== 中世ヨーロッパのユークリッド幾何学 ===
[[File:Woman_teaching_geometry.jpg|thumb|right|200px|中世ヨーロッパでユークリッド幾何学が教えられている様子。]]
ヨーロッパにおいては19世紀初等までは、幾何学といえばユークリッド原論から発達した三次元以下の図形に関する数学をさしていた<ref name="a"/>。ヨーロッパではルネッサンス以降は[[ジェロラモ・カルダノ|カルダノ]]や[[ルドヴィコ・フェラーリ|フェラリ]]に見られるように[[代数学]]が盛んであり、17世紀以降はニュートンやライプニッツらによって開かれた[[解析学]]も急激に発達したため、幾何学はこれらの分野とよく対比されることとなった<ref name="a"/>。しかしルネサンス期においてはこれらに比べ幾何学の成果は乏しく<ref name="kika"/>、当時の目立った成果を上げれば15世紀に透視図の考えを応用し[[射影幾何学]]の元となる概念が登場したり<ref name="kika"/>、古代ギリシャでは砂に図を書いていたためか<ref name="kika"/>[[ゼノンのパラドックス|運動はタブー]]であったが、14世紀ごろより図形を直接動かしてその変化考察するという後に[[解析学]]へと繋がる考え方も登場した<ref name="kika"/>などが上げられる。
=== 解析幾何学誕生 ===
[[File:Cartesian-coordinate-system.svg|thumb|right|150px|デカルトによって導入された座標平面。点と数の組が対応していることがわかる。]]
[[File:Descartes_La-Geometrie_1637.png|thumb|right|150px|デカルトの幾何学に関する著作のページ。]]
[[ファイル:Frans_Hals_-_Portret_van_René_Descartes.jpg|thumb|left|150px|解析幾何学の礎となる直交座標の概念はデカルトによって導入された。]][[ファイル:Leonhard_Euler_2.jpg|thumb|left|150px|解析幾何学を発展させたオイラーだが、オイラーの業績はそれにとどまらず、当時の数学とその関連分野全般に渡っている。]]
ユークリッド原論にも見られるように、数は図形として対応させて考えることもできる。[[ルネ・デカルト|デカルト]]はこの考えを拡張して[[直交座標系|デカルト座標]]を導入し、[[解析幾何学]]を導入した<ref name="a"/><ref>R. Descartes, Geometrie,
Paris, 1637 (Œuvres, IV, 1901)</ref>。解析幾何学は平面や空間に座標を定めて数と図形との関係を与え、逆に数を幾何学的に扱うことをも可能とした<ref name="a"/>。それまでは幾何学的証明に限られた幾何学の問題を代数的に解くことも可能となったのである<ref name="a"/>。座標の概念は[[ピエール・ド・フェルマー|フェルマー]]も研究していたが、欧米ではCartesian Geometry(デカルト幾何学、Cartesianは「デカルトの」の意)と呼ばれるようにデカルトの影響が極めて強い<ref name="kika"/>。
例えば直交座標平面上の任意の点の原点からの距離は[[ピタゴラスの定理]]によって与えられるが、これは解析幾何学においては公理である<ref>遠山啓、『[http://www.iwanami.co.jp/cgi-bin/isearch?isbn=ISBN978-4-00-603215-9 関数を考える]』、岩波書店、〈岩波現代文庫〉、2011年、149頁。ISBN 978-4-00-603215-9</ref><ref> 朝永振一郎著、江沢洋編、『[http://www.msz.co.jp/book/detail/08365.html 物理学への道程]』、みすず書房、〈始まりの本〉、2012年、349頁。ISBN 978-4-622-08365-8 C1342</ref>。
解析幾何学はデカルトの哲学体系では数と図形の統一を目指したものであるが、アポロニウスの残した未解決問題、例えば三定点からの和が一定の曲線の研究なども目的とされていた<ref name="kika"/>。現代においてはコンピュータの画面表示などにも座標の概念が応用されている<ref name="kika"/>。また、幾何学の問題は現代では[[線形代数]]すら応用されて解かれることも多い<ref name="kika"/>。
解析幾何学の方法はヨーロッパ数学において同時期に発達した代数学や解析学においても盛んに用いられ、とくに17世紀解析学の発達は解析幾何学抜きには語れないであろう<ref name="a"/>。18世紀には[[レオンハルト・オイラー|オイラー]]によって解析幾何学は急激に発達させられその成果がまとめられた<ref> レオンハルト・オイラー著、高瀬正仁訳『[http://www.kaimeisha.com/index.php?%E3%82%AA%E3%82%A4%E3%83%A9%E3%83%BC%E3%81%AE%E8%A7%A3%E6%9E%90%E5%B9%BE%E4%BD%95 オイラーの解析幾何]』、海鳴社、2005年。ISBN 4-87525-227-7</ref>。オイラーの手によってアポロニウスによる古典的円錐曲線論は二次曲線や[[二次曲面]]論として解析幾何的手法を用いて代数的に書き換えられることとなった<ref name="a"/>。
=== トポロジー・グラフ理論の起源 ===
{{seealso|一筆書き}}
[[ファイル:Konigsberg_bridges.png|thumb|right|250px|当時のケーニヒスベルグの橋の配置]]
またオイラーは当時のケーニヒスベルグの橋を、一度渡った橋は二度と渡らないで、全ての橋を一度だけ渡ることは可能であるか？という問題より、今日の[[トポロジー]]や[[グラフ理論]]の起源となる概念が生まれた<ref name="kika"/>。
=== 微分幾何学の黎明 ===
[[ファイル:Carl_Friedrich_Gauss.jpg|thumb|left|150px|ガウスも当時の数学関連分野全般に業績があるが、幾何学においては微分幾何学や非ユークリッド幾何学の初歩概念等に業績がある。とはいえ非ユークリッド幾何学については論争を恐れ公表しなかった。]]
[[File:Hyperbolic_triangle.svg|thumb|right|140px|初歩的な微分幾何学では微積分が幾何学へ応用された。]]
さらに18世紀末には微積分や変分学といった解析学の成果も幾何学へ応用され、[[ガスパール・モンジュ|モンジュ]]による曲線と曲面の[[微分幾何学]]の開拓が行われた<ref name="a"/>。19世紀初頭には[[カール・フリードリヒ・ガウス|ガウス]]によって曲面の曲率などが求められ、微分幾何学が本格的に研究された<ref name="a"/>。
=== 総合幾何学、射影幾何学 ===
[[File:Teorema_de_desargues.svg|thumb|right|200px|射影幾何学で重要な[[デザルグの定理]]に関する図。]]
このようにデカルトによってその基礎を打ち立てられ、代数的・解析的に取り扱えるという強力な手法を提供した解析幾何学であるが、解析幾何学が幾何学研究において絶対的な方法であったかといえば必ずしもそうではなかった。解析幾何学のように座標を導入せずに、ユークリッド幾何学のように直接図形を研究する手法も解析幾何学ほどはメジャーではなかったが行われていた。このような手法を'''総合幾何学'''(synthetic geometry)、あるいは'''純粋幾何学'''(pure geometry)という<ref name="a"/>。
純粋幾何学における新概念は、[[遠近法]]を発端として17世紀に[[ジラール・デザルグ|デザルグ]]と[[ブレーズ・パスカル|パスカル]]らによって始められた'''[[射影幾何学]]'''が挙げられる。18世紀にはモンジュ([[画報幾何学]]で有名である)と[[ジャン＝ヴィクトル・ポンスレ|ポンスレ]]らにより、射影幾何学は更に研究され、19世紀に入っても[[ヤーコプ・シュタイナー|シュタイナー]]は総合幾何学を重視している<ref name="a"/>。20世紀に入っても総合幾何学を重視した者として[[ハロルド・スコット・マクドナルド・コクセター|コクセター]]が挙げられる<ref> シュボーン・ロバーツ著、糸川洋訳、『[http://ec.nikkeibp.co.jp/item/books/P83820.html 多面体と宇宙の謎に迫った幾何学者]』、日経BP社、2009年。ISBN 978-4-8222-8382-7</ref><ref> コクセター著、銀林浩訳、『幾何学入門上・下』、筑摩書房、〈ちくま学芸文庫Math&Science〉、2009年。上巻ISBN 978-4-480-09241-0、下巻ISBN 978-4-480-09242-7</ref>。ほかにも、[[ラングレーの問題]]などは20世紀に入ってから出された問題である。
=== 非ユークリッド幾何学 ===
[[File:Parallel_postulate_en.svg|thumb|right|200px|角αと角βの和が180度より小さければ、点線の方向に線を延長していくと二つの直線はいつか必ず交わるというのが平行線公理。]]
[[File:Euclidian_and_non_euclidian_geometry.png|thumb|right|200px|ところが非ユークリッド幾何学では空間が曲がっているからそれは成り立たない。]]
{{seealso|平行線公準}}
長らく原論の平行線公理は幾何学において問題となったが、この公理を他の公理から導出しようとする試みは全て頓挫した<ref name="a"/>。もし平行線公理が公理でなければ、ほかの公理系から導出できるはずだと試みられて失敗したわけである。19世紀に入ってようやく、他の公理はそのままに平行線公理のみをその否定命題に置換してもユークリッド幾何学や射影幾何学が成立することが[[ボーヤイ・ヤーノシュ|ボヤイ]]と[[ニコライ・ロバチェフスキー|ロバチェフスキー]]らによって示され、[[非ユークリッド幾何学]]が誕生した<ref name="a"/>。
非ユークリッド幾何学の無矛盾性はユークリッド幾何学の無矛盾性に依存し、後者が無矛盾であれば前者も無矛盾であるとされ、両者の差異は単なる[[計量]]の違いに過ぎないことが明らかにされた<ref name="a"/>。
=== 幾何学基礎論 ===
[[ファイル:Hilbert.jpg|thumb|right|150px|幾何学基礎論を研究したヒルベルト。これ以外にも広い業績がある。]]
[[ファイル:Kodaira_Kunihiko.jpg|thumb|right|150px|過度に抽象的な幾何学の教育への導入に抵抗し、初等幾何学の復活を唱えた<ref> 小平邦彦著、上野健爾解説、『[http://www.iwanami.co.jp/.BOOKS/60/3/6000070.html 幾何への誘い]』、岩波書店、〈岩波現代文庫〉、2000年。ISBN 4-00-600007-3 C0141</ref>小平邦彦。]]
[[ファイル:Jean_Dieudonné.jpg|thumb|right|150px|ユークリッドの教育からの追放を提唱したデュドネ。]]
幾何学は人間の図形的直感に基づいて研究されるが、直感のみに基づいて研究するわけにはいかない。そのためあいまいな直感ではなく明確に言葉や定義によって言い表された定義や公理に基づいて幾何学を体系化する試みは既にユークリッドによってなされたのだが、現代からみればこれは不完全なものであった<ref name="f"> 日本数学会編、『岩波数学辞典 第4版』、岩波書店、2007年、項目「幾何学基礎論」より。ISBN 978-4-00-080309-0 C3541 </ref>。
19世紀に入って、批判的精神や数学そのものの発達によりユークリッド幾何学の公理系が実は論理的に不完全であることが指摘された<ref name="f"/>。平行線公理問題や非ユークリッド幾何学の誕生などもそのような流れの一つとしてあげられるだろう<ref name="f"/><ref name="i">ブリタニカ国際大百科事典2013小項目版「幾何学基礎論」より。</ref>。数学者にとって公理系が論理的に不完全であれば、正しい方法で証明したはずの定理からも矛盾が出てしまうため、これが恐れられ一時期盛んに矛盾しない理想の公理系の探求が行われたわけである。その探求の目的は幾何学を公理系から建設するための無矛盾な公理系の発見とその公理系によって構成される幾何学の構造、更にはそのような複数の公理系間の関係(ユークリッド幾何学と非ユークリッド幾何学との関係のような)であった<ref name="i"/>。
19世紀後半よりその様々な代価案が提出されてきたが<ref name="f"/>、最も決定的であったのが19世紀後半から20世紀初頭には[[ダフィット・ヒルベルト|ヒルベルト]]によって提唱されたものであり<ref name="f"/>、その成果は著書「幾何学の基礎<ref>D. Hilbert, Grundlagen der Geometrie, Teubner, 1899, 第 13 版 1987</ref><ref name="b">D･ヒルベルト、F･クライン著、寺阪英孝・大西正男訳、解説・正田建次郎、吉田 洋一監修、『[http://www.kyoritsu-pub.co.jp/bookdetail/9784320011601 ヒルベルト幾何学の基礎、クライン・エルランゲン・プログラム]』、共立出版、〈現代数学の系譜 7巻〉、1970年。ISBN 978-4-320-01160-1 </ref><ref>D･ヒルベルト著、中村幸四郎訳、『[http://www.chikumashobo.co.jp/product/9784480089533/ 幾何学基礎論]』、筑摩書房、〈ちくま学芸文庫 Math&Science 〉、2005年。ISBN 978-4-480-08953-3</ref>」にその成果はまとめられた<ref name="a"/>。
ヒルベルトは論理的整合性のために感覚から完全に分離された幾何学を唱え<ref name="h"/>、この本では点や線といった専門用語を机や椅子などに置換してすら成立するとまで言われたが、それにしては図が沢山あるため[[小平邦彦]]など<!--当時の具体的な西洋の数学者についても記述すべきである-->によって批判された。図すら一切存在しない初等幾何の基礎付けは[[ジャン・デュドネ]]の「線形代数と初等幾何」を待たねばならないだろう。デュドネの本には図すら存在せず、ある意味専門用語ですら無意味であるというヒルベルトの精神を体現しているといえる。
このような限界までの考察によって、公理とは「誰もが認めうる真理」ではなく、「理論を構成するための根本的要請」という考えにシフトしていった<ref name="kika"/>。
このような極端に具体例を軽視し形式主義に走る手法は今日の公理主義的数学の先駆けと見ることができる<ref name="a"/>。[[岡潔]]や小平邦彦などは極端な抽象化に警鐘を鳴らし、岡などは数学の冬の時代とまで称した。しかし具体例や数学的直感を軽視するのが悪いことではなく、あくまで公理系の無矛盾性が大多数の数学者にとって問題であり、そのため数学の基礎や証明などの根本的部分にその批判が差し向けられたのである。公理系が矛盾していたら正しくはじめたのにおかしな結果が出てくるかもしれないことが問題視され、この方法は幾何学基礎論から発端となったが同時期に問題となった集合論のパラドクスもあいまって<ref name="i"/>、幾何学にとどまらず[[数学基礎論]]としてヒルベルトらにより研究が継続されることとなる<ref name="h"/>。
<!--幾何学基礎論から数学基礎論への歴史は改訂の余地ありだが、幾何学基礎論や数学基礎論の記事に詳述すべきかもしれない。現時点では幾何学基礎論の日本語記事は存在しないが。-->
=== 高次元幾何学 ===
[[ファイル:Georg_Friedrich_Bernhard_Riemann.jpeg|thumb|right|150px|複素解析の幾何学的概念([[リーマン球面]]など)や一般相対論の元になる微分幾何学の基礎を樹立したリーマン。]]
解析幾何学では三次元[[ユークリッド空間]]の幾何学は空間幾何学(space geometry)、または立体幾何学(solid geometry)と呼ばれ、二次元ユークリッド空間の幾何学は平面幾何学(plane geometry)と呼ばれる<ref name="a"/>。これを一般化し、n個の実数の組からn次元空間の点を定義し、それらの任意の二点間の[[距離空間|距離]]を定めてn次元ユークリッド空間を構成することができる<ref name="a"/>。同様にn次元空間は非ユークリッド幾何学や射影幾何学についても定めることができる。
これらのような様々な空間の研究は19世紀中頃に本格的に行われ、[[ベルンハルト・リーマン|リーマン]]はn次元の曲がった空間から[[多様体]]の概念を導入し、[[計量]]として接ベクトル間の[[内積]]で[[曲率]]を定義した<ref name="a"/>。このような様々な幾何学は[[アインシュタイン]]が[[一般相対性理論]]の研究を行った際に数学的道具を提供した<ref name="a"/>。より一般的には、P･フィンスラーは接ベクトルの[[ノルム]]を計量とする[[フィンスラー空間]]の概念を提唱した。
=== 現代の幾何学 ===
[[ファイル:Felix_Christian_Klein.jpg|thumb|right|150px|幾何学と群論との関係を見いだしたクライン。]]
[[ファイル:Henri_Poincare.jpg|thumb|right|150px|トポロジーの基礎を確立したポアンカレ。]]
[[File:Mug_and_Torus_morph.gif|thumb|right|150px|トポロジーにおける連続的変化の一例。]]
[[File:Togliatti_surface.png|thumb|right|150px|代数幾何学に登場する図。]]
[[フェリックス・クライン|クライン]]は幾何学に[[群論]]を応用することによって、空間Sの変換群Gによって、変換で[[不変量|不変]]な性質を研究する幾何学を提唱した。これを[[エルランゲン・プログラム]]<ref name="b"/>というが、この手法で運動群がユークリッド幾何学を定めるように、射影幾何学、[[アフィン幾何学]]、[[共形幾何学]]を統一化することができる<ref name="a"/>。
更に19世紀末には[[アンリ・ポアンカレ|ポアンカレ]]によって、連続的な変化により不変な性質を研究する[[位相幾何学]]が開拓された<ref name="a"/>。
代数曲線・曲面や代数多様体が起源である[[代数幾何学]]<ref name="a"/>は高度に発達し、日本でも[[フィールズ賞]]受賞者も多く盛んに研究されている。
また[[ヘルマン・ミンコフスキー|ミンコフスキー]]による[[凸体]]の研究は[[数論幾何学]]の道を開いた<ref name="a"/>。
20世紀前半には多様体は数学的に厳密に定式化され、[[ヘルマン・ワイル|ワイル]]、[[エリ・カルタン|E･カルタン]]らにより多様体上の幾何学や現代微分幾何学が盛んに研究された<ref name="a"/>。[[ソフス・リー|リー]]によって導入された[[リー群]]によって、これらの様々な幾何学を不変にする変換群が与えられたが、カルタンはリー群を応用して[[接続]]の概念を導入し[[接続幾何学]]を完成させ<ref name="h"/>、これらの幾何学を統一化することに成功した<ref name="a"/>。これはリーマンによる多様体と、クラインによる変換群の考えを統一化したとも理解できる<ref name="a"/>。これは現代では[[素粒子物理学]]などの物理学の諸分野でも常識となっている。
また、代数学や解析学の発展もともなって、多様体の[[代数構造]]と[[位相構造]]との関係を研究する[[大域微分幾何学]]、[[複素解析]]と関係する[[複素多様体]]論、[[古典力学]]の[[力学系]]と関連した[[シンプレクティック幾何学]]や接続幾何学、[[測度論]]と関連して[[積分幾何学]]や測度の幾何学的研究である[[幾何学的測度論]]の研究などもこのころにはじまった<ref name="a"/>。
20世紀後半になると多様体上の微分可能構造や力学系、[[微分作用素]]なども上記の幾何学とも関係しながら研究が進められた<ref name="a"/>。他にも幾何構造をなす[[モジュライ空間]]や特異点を含む空間の研究、物理学と関連した研究や[[四色問題]]に見られるようにコンピューターを用いた研究も行われた<ref name="a"/>。
[[凸体]]の幾何学や[[組み合わせ幾何学]]の手法は現代では[[オペレーションズ・リサーチ]]などの応用数理の分野でも用いられている<ref name="a"/>。
<!--現代幾何学の叙述ははカタストロフ理論やフラクタルなどの記述もなく強化の余地あり-->
=== 現代数学と幾何学 ===
現代数学では幾何学は代数学や解析学などの数学全般に広範囲に浸透しているため、これらと明確に区別して幾何学とはなにかということを論ずるのは難しいが、しかしながら図形や空間の直感的把握やそのような思考法は先端分野の研究においても重要性を失っていないといえる<ref name="a"/>。
== 幾何学の諸分野 ==
<!-- 無秩序に書き並べても仕方が無いので、いい加減にですが区切りを入れてみました。スパッと線形分類できるものばかりではありませんし、本来ならパラダイムごとにわけて各パラダイムの説明を入れることのほうに注力すべきところでしょうか。よく知りませんが。--><!--岩波数学辞典の分類を参考に若干パラダイム別に整理してみましたが、現代幾何学や応用数理関係は文献にもあまり書いていないし、日本語記事も少ないので改訂の余地あり。歴史的にまとめてしまっっため、各々の時代ごとにメイン記事へリンクを張るべきか。なお英語版は歴史の記事は独立しているようです。-->
===
==== 総合幾何学 ====
<!--座標を使わないユークリッド幾何学から直接派生した分野 -->
*[[ユークリッド幾何学]]（古典幾何学）
**[[ユークリッド空間]]
**[[円錐曲線]]
**[[初等幾何学]]
**[[作図]]
**[[多面体]]
*[[射影幾何学]]
**[[画法幾何学]]
*[[アフィン幾何学]]
*[[非ユークリッド幾何学]]
**[[双曲幾何学]]（ロバチェフスキー・ボヤイ幾何学）
**[[楕円幾何学]]
***[[球面幾何学]]
*[[円周率]]
*[[三角法]]
====解析幾何学====
*[[解析幾何学]]
**[[座標]]
**[[二次曲線]]<!--古代ギリシャの二次曲線とオイラーの二次曲線の解析幾何的定式化などは分離すべきかもしれない。さらに線形代数との関連はどこにおくべきか。-->
**[[二次曲面]]
**[[線形代数]]
===
<!--ユークリッド幾何学と直接関係ないような抽象的幾何学はこちらに。ただ微分幾何学の場合黎明期のものの分類は難しいがこちらにおいた。-->
==== 位相幾何学 ====
<!-- いわゆる連続の幾何とかその辺 -->
*[[位相幾何学]]
**[[代数的位相幾何学]]
**[[微分位相幾何学]]
*[[変換群]]
*[[ホモロジー]]
*[[ファイバー束]]
*[[力学系]]
*[[指数定理]]
==== 微分幾何学 ====
<!-- 計量に関するものなどについて -->
*[[ベクトル解析]]
*[[テンソル]]
*[[多様体]]
*[[調和積分]]
*{{仮リンク|複素幾何学|en|Complex geometry}}
**[[微分幾何学]]
42 ⟶ 199行目:
***{{仮リンク|情報幾何学|en|Information geometry}}
==== 代数幾何学 ====
*[[代数幾何学]]
**[[代数多様体]]
**{{仮リンク|代数曲線|en|Algebraic_curve}}
**[[代数曲面]]
**{{仮リンク|交叉理論|en|Intersection_theory}}
**[[アーベル多様体]]
**[[層_(数学)|層]]
**[[コホモロジー]]
**[[特異点_(数学)|特異点]]<!--代数幾何学における特異点の記事をたてるべき-->
**[[モジュライ理論]]
====代数学====
*[[非可換幾何学]]
==== 有限数学 ====
===== 組合せ数学 =====
*{{仮リンク|数え上げ幾何学|en|Enumerative geometry}}
*{{仮リンク|離散幾何学|en|Discrete geometry}}(組合せ幾何学)
*[[グラフ理論]]
*[[フラクタル幾何学]]
==== 情報工学 ====
*[[計算幾何学]]
== 脚注・参考文献 ==
{{Reflist}}
| |||