1.jpg18世紀の百科事典の幾何学図形の表。yau.jpg最先端の物理学でも用いられるカラビ-ヤウ多様体の一種。現代幾何学では図も書けないような抽象的な分野も存在する。Lessons.jpg20世紀における初等幾何学の授業風景。γεωμετρία)は、図形や空間の性質について研究する数学の分野である[1][2]。音訳したものであるという説が広く流布していたが、近年の研究により否定されている[3]。測量の必要上からエジプトで生まれたものだが、人間に認識できる図形に関する様々な性質を研究する数学の分野としてとくに古代ギリシャにて独自に発達し[4]、これらのおもな成果は紀元前300年ごろユークリッドによってユークリッド原論にまとめられた[2]。その後中世以降のヨーロッパにてユークリッド幾何学を発端とする様々な幾何学が登場することとなる[4]。高度に抽象的な理論に発達・分化している[2][4]。現代の日本の教育では、体系的な初等幾何学はほぼ根絶されかけた[5]が、近年、中・高の数学教育で線型幾何/代数幾何を用いない立体を含む、本格的な綜合幾何は見直されつつある。以下では様々な幾何学の発展とその概要を、歴史にのっとって時系列順に述べることとする。1]、起源は古代エジプトにまで遡ることができる[6]。古代ギリシャの歴史家ヘロドトスの記録[6][7]では、エジプトでは毎年春になるとナイル川が氾濫し、エジプトの砂漠に農耕を可能にする河土を運んでくるが、去年の畑の境界線はすべて流れてしまう。古代エジプト人は死ぬと神前で「私は、隣人の土地を盗んだことはない」と誓わなければ冥界行きが許されなかったので、土地境界の正確な決定は重大問題であった。そのため、印をつけた縄でまっ平らになった土地を元どおり区割りする「縄張り師」と呼ばれた測量専門家集団が現れ、土地測量術が発達した。現在、ピタゴラスの定理として知られている数学定理が、古代エジプトではすでに5000年前に経験則として知られ、縄張り師たちは3:4:5の比率で印をつけた縄を張って、畑の角の直角を取ったという[4]。triangle.svg直角二等辺三角形におけるピタゴラスの定理の適用。[math]\sqrt{1^2+1^2}=\sqrt{2}[/math]である。Pythagorean.svg古代から世界各地で知られていたピタゴラスの定理の証明の一種。下と右の正方形の面積の和は左の正方形の面積に等しい。pythagoras.jpg古代中国におけるピタゴラスの定理の証明。Ybc7289-bw.jpg古代バビロニアにおけるピタゴラスの定理。幾何学が大きな進歩を遂げた最初は、他の数学の分野と同じように古代ギリシアにおいてであった。人物としては、タレス、ピタゴラスなどが有名である[6]。タレスは三角形の合同を間接測量に応用し、ピタゴラスらはこれらを証明により厳密に基礎づけた[6]。彼らはそこで多くの定理を発見し、幅広くそして深く図形を研究したが、特に注記すべきなのは、彼らが証明という全く新しい手法を発見したことである。29.jpgパピルスに記録されたユークリッド原論の断片。20080315.jpg原論の著者とされるユークリッド。ピタゴラスは後のギリシャ数学者達に影響を与え、ユークリッドもその一人であった[4]。自明な少数の原理(公理など)から厳密に演繹を積み重ねて当たり前とは思えない事柄を示していくやり方は、ユークリッドの手により『原論[8]』において完成され、後の数学の手本となった。ユークリッドの手により証明をもとに体系化されたギリシャ数学は、曖昧さが残るエジプトやバビロニアのものより圧倒的に優位であったといえる[4]。曖昧な経験の集積ではなく、それらを体系化された理論にまとめあげ少数の事実から全てを演繹するという手法は長らく精密科学の雛型とされ[7]、後世ではニュートンの古典力学なども同様の手法で論じられている。このような手法は古代ギリシャにのみ誕生したが、それは何故かという問題は科学史の重大な問題である[7]。ユークリッド原論はB.C.300年ごろに出版され、全13巻からなり、幾何学以外にも量や数の理論なども記述があるが、これらも幾何学的に取り扱われた[6]。原論は幾何学のバイブルとしてその後2000年以上にも渡って愛読され続けた[4]。後期のギリシャ幾何学Pentagon-construction.svg正五角形の古典的作図法。ユークリッド幾何学では定規は直線を引くためだけに用い、コンパスは紙から離したらすぐに閉じねばならない(何かの長さをコンパスでとり他の何かの長さと比較するなどして他の何かの長さをを推察できない)という厳格なルールがある[9]。spheres)に関する図。その後前三世紀ごろにアポロニウスによって円錐曲線論(コニカ)がまとめられ[10]、天文学の発達により前一、二世紀ごろに三角法も誕生した。プスは300年ごろに幾何学を中心とする古代ギリシャの数学の成果を「数学集成(Synagoge)」にまとめあげた[6]。アポロニウスは初歩的な座標の概念をも導入し、二点からの距離の和・差・積・商が一定である曲線の集合を研究した[7]。彼の円錐曲線の理論は、カッシーニの卵形線は17世紀に入ってから開拓されたものの他の分野のほぼ全てはアポロニウスの手によって研究された[7]。いう用語はパスカルによって導入された哲学用語であり、ユークリッド幾何学に見られるように、少数の公理形から全てを演繹するような合理的精神をさし、逆に全体から個々の原理を一挙に把握するという意味の「繊細の精神」の対義語として与えられた[11]。エジプト王プトレマイオスが幾何学を学ぶのに簡単にすます道が無いかという問いに対しユークリッドはそんな方法はなく、「幾何学に王道無し」と言ったことからより一般に「学問に王道なし」との言葉も生まれた[12]。ここで王道とは王のみが通れる近道の意である[12]。geometry.jpg中世ヨーロッパでユークリッド幾何学が教えられている様子。ヨーロッパにおいては19世紀初等までは、幾何学といえばユークリッド原論から発達した三次元以下の図形に関する数学をさしていた[6]。ヨーロッパではルネッサンス以降はカルダノやフェラリに見られるように代数学が盛んであり、17世紀以降はニュートンやライプニッツらによって開かれた解析学も急激に発達したため、幾何学はこれらの分野とよく対比されることとなった[6]。Cartesian-coordinate-system.svgデカルトによって導入された座標平面。点と数の組が対応していることがわかる。1637.pngデカルトの幾何学に関する著作のページ。解析幾何学の礎となる直交座標の概念を導入。解析幾何学を発展させるにとどまらず、業績は当時の数学とその関連分野全般に渡る。ユークリッド原論にも見られるように、数は図形として対応させて考えることもできる。デカルトはこの考えを拡張してデカルト座標を導入し、解析幾何学を導入した[6][13]。解析幾何学は平面や空間に座標を定めて数と図形との関係を与え、逆に数を幾何学的に扱うことをも可能とした[6]。それまでは幾何学的証明に限られた幾何学の問題を代数的に解くことも可能となったのである[6]。cartésienne(デカルト幾何学、cartésienneは「デカルトの」の意)と呼ばれるようにデカルトの影響が極めて強い[7]。直交座標平面上の任意の点の原点からの距離はピタゴラスの定理によって与えられるが、これは解析幾何学においては公理である[14][15]。解析幾何学はデカルトの哲学体系では数と図形の統一を目指したものであるが、アポロニウスの残した未解決問題、例えば三定点からの和が一定の曲線の研究なども目的とされていた[7]。現代においてはコンピュータの画面表示などにも座標の概念が応用されている[7]。幾何学の問題は現代では線形代数すら応用されて解かれることも多い[7]。解析幾何学の方法はヨーロッパ数学において同時期に発達した代数学や解析学においても盛んに用いられ、とくに17世紀解析学の発達は解析幾何学抜きには語れないであろう[6]。18世紀にはオイラーによって解析幾何学は急激に発達させられその成果がまとめられた[16]。オイラーの手によってアポロニウスによる古典的円錐曲線論は二次曲線や二次曲面論として解析幾何的手法を用いて代数的に書き換えられることとなった[6]。bridges.png当時のケーニヒスベルグの橋の配置またオイラーは当時のケーニヒスベルグの橋を、一度渡った橋は二度と渡らないで、全ての橋を一度だけ渡ることは可能であるか?という問題より、今日のトポロジーやグラフ理論の起源となる概念が生まれた[7]。Gauss.jpgガウスも当時の数学関連分野全般に業績があるが、幾何学においては微分幾何学や非ユークリッド幾何学の初歩概念等に業績がある。いえ非ユークリッド幾何学については論争を恐れ公表しなかった。triangle.svg初歩的な微分幾何学では微積分が幾何学へ応用された。18世紀末には微積分や変分学といった解析学の成果も幾何学へ応用され、モンジュによる曲線と曲面の微分幾何学の開拓が行われた[6]。desargues.svg射影幾何学で重要なデザルグの定理に関する図。このようにデカルトによってその基礎を打ち立てられ、代数的・解析的に取り扱えるという強力な手法を提供した解析幾何学であるが、解析幾何学が幾何学研究において絶対的な方法であったかといえば必ずしもそうではなかった。解析幾何学のように座標を導入せずに、ユークリッド幾何学のように直接図形を研究する手法も解析幾何学ほどはメジャーではなかったが行われていた。geometry)という[6]。純粋幾何学における新概念は、遠近法を発端として17世紀にデザルグとパスカルらによって始められた射影幾何学が挙げられる。18世紀にはモンジュ(画報幾何学で有名である)とポンスレらにより、射影幾何学は更に研究され、19世紀に入ってもシュタイナーは総合幾何学を重視している[6]。20世紀に入っても総合幾何学を重視した者としてコクセターが挙げられる[17][18]。ほかにも、ラングレーの問題などは20世紀に入ってから出された問題である。en.svg角αと角βの和が180度より小さければ、点線の方向に線を延長していくと二つの直線はいつか必ず交わるというのが平行線公理。geometry.pngところが非ユークリッド幾何学では空間が曲がっているからそれは成り立たない。原論の平行線公理は幾何学において問題となったが、この公理を他の公理から導出しようとする試みは全て頓挫した[6]。平行線公理が公理でなければ、ほかの公理系から導出できるはずだと試みられて失敗したわけである。19世紀に入ってようやく、他の公理はそのままに平行線公理のみをその否定命題に置換してもユークリッド幾何学に似た幾何学が成立することがボヤイ、ロバチェフスキーらによって示され、非ユークリッド幾何学が誕生した[6]。非ユークリッド幾何学の無矛盾性はユークリッド幾何学の無矛盾性に依存し、後者が無矛盾であれば前者も無矛盾であるとされ、両者の差異は単なる計量の違いに過ぎないことが明らかにされた[6]。幾何学基礎論ファイル:Hilbert.jpg幾何学基礎論を研究したヒルベルト。これ以外にも広い業績がある。幾何学は人間の図形的直感に基づいて研究されるが、直感のみに基づいて研究するわけにはいかない。そのためあいまいな直感ではなく明確に言葉や定義によって言い表された定義や公理に基づいて幾何学を体系化する試みは既にユークリッドによってなされたのだが、現代からみればこれは不完全なものであった[19]。19世紀に入って、批判的精神や数学そのものの発達によりユークリッド幾何学の公理系が実は論理的に不完全であることが指摘された[19]。平行線公理問題や非ユークリッド幾何学の誕生などもそのような流れの一つとしてあげられるだろう[19][20]。数学者にとって公理系が論理的に不完全であれば、正しい方法で証明したはずの定理からも矛盾が出てしまうため、これが恐れられ一時期盛んに矛盾しない理想の公理系の探求が行われたわけである。その探求の目的は幾何学を公理系から建設するための無矛盾な公理系の発見とその公理系によって構成される幾何学の構造、更にはそのような複数の公理系間の関係(ユークリッド幾何学と非ユークリッド幾何学との関係のような)であった[20]。19世紀後半よりその様々な代価案が提出されてきたが[19]、最も決定的であったのが19世紀後半から20世紀初頭にはヒルベルトによって提唱されたものであり[19]、その成果は著書「幾何学の基礎[21][22][23]」にその成果はまとめられた[6]。Kunihiko.jpg過度に抽象的な幾何学の教育への導入に抵抗し、初等幾何学の復活を唱えた[24]小平邦彦。Dieudonné.jpgユークリッドの教育からの追放を提唱したデュドネ。ヒルベルトは論理的整合性のために感覚から完全に分離された幾何学を唱え[4]、この本では点や線といった専門用語を机や椅子などに置換してすら成立するとまで言われたが、それにしては図が沢山あるため小平邦彦などによって批判された。図すら一切存在しない初等幾何の基礎付けはジャン・デュドネの「線形代数と初等幾何」を待たねばならないだろう。デュドネの本には図すら存在せず、ある意味専門用語ですら無意味であるというヒルベルトの精神を体現しているといえる。このような限界までの考察によって、公理とは「誰もが認めうる真理」ではなく、「理論を構成するための根本的要請」という考えにシフトしていった[7]。このような極端に具体例を軽視し形式主義に走る手法は今日の公理主義的数学の先駆けと見ることができる[6]。岡潔や小平邦彦などは極端な抽象化に警鐘を鳴らし、岡などは数学の冬の時代とまで称した。具体例や数学的直感を軽視するのが悪いことではなく、あくまで公理系の無矛盾性が大多数の数学者にとって問題であり、そのため数学の基礎や証明などの根本的部分にその批判が差し向けられたのである。公理系が矛盾していたら正しくはじめたのにおかしな結果が出てくるかもしれないことが問題視され、この方法は幾何学基礎論から発端となったが同時期に問題となった集合論のパラドクスもあいまって[20]、幾何学にとどまらず数学基礎論としてヒルベルトらにより研究が継続されることとなる[4]。複素解析の幾何学的概念(リーマン球面など)や一般相対論の元になる微分幾何学の基礎を確立。geometry)と呼ばれる[6]。これを一般化し、n個の実数の組からn次元空間の点を定義し、それらの任意の二点間の距離を定めてn次元ユークリッド空間を構成することができる[6]。同様にn次元空間は非ユークリッド幾何学や射影幾何学についても定めることができる。これらのような様々な空間の研究は19世紀中頃に本格的に行われ、リーマンはn次元の曲がった空間から多様体の概念を導入し、計量として接ベクトル間の内積で曲率を定義した[6]。このような様々な幾何学はアインシュタインが一般相対性理論の研究を行った際に数学的道具を提供した[6]。一般的には、P・フィンスラーは接ベクトルのノルムを計量とするフィンスラー空間の概念を提唱した。Klein.jpg幾何学と群論との関係を見いだしたクライン。Poincare.jpgトポロジーの基礎を確立したポアンカレ。morph.gifトポロジーにおける連続的変化の一例。surface.png代数幾何学に登場する図。クラインは幾何学に群論を応用することによって、空間Sの変換群Gによって、変換で不変な性質を研究する幾何学を提唱した。統一化することができる[6]。19世紀末にはポアンカレによって、連続的な変化により不変な性質を研究する位相幾何学が開拓された[6]。代数曲線・曲面や代数多様体が起源である代数幾何学[6]は高度に発達し、日本でもフィールズ賞受賞者も多く盛んに研究されている。ミンコフスキーによる凸体の研究は数論幾何学の道を開いた[6]。20世紀前半には多様体は数学的に厳密に定式化され、ワイル、E・カルタンらにより多様体上の幾何学や現代微分幾何学が盛んに研究された[6]。リーによって導入されたリー群によって、これらの様々な幾何学を不変にする変換群が与えられたが、カルタンはリー群を応用して接続の概念を導入し接続幾何学を完成させ[4]、これらの幾何学を統一化することに成功した[6]。これはリーマンによる多様体と、クラインによる変換群の考えを統一化したとも理解できる[6]。これは現代では素粒子物理学などの物理学の諸分野でも常識となっている。関連して積分幾何学や測度の幾何学的研究である幾何学的測度論の研究などもこのころにはじまった[6]。上記の幾何学とも関係しながら研究が進められた[6]。他にも幾何構造をなすモジュライ空間や特異点を含む空間の研究、物理学と関連した研究や四色問題に見られるようにコンピューターを用いた研究も行われた[6]。凸体の幾何学や組み合わせ幾何学の手法は現代ではオペレーションズ・リサーチなどの応用数理の分野でも用いられている[6]。現代数学では幾何学は代数学や解析学などの数学全般に広範囲に浸透しているため、これらと明確に区別して幾何学とはなにかということを論ずるのは難しいが、しかしながら図形や空間の直感的把握やそのような思考法は先端分野の研究においても重要性を失っていないといえる[6]。"γη"(ゲー):土地」および「"μετρεω"(メトレオ):測定」)である。同じ("geo":土地、"metry":測量)。応用数学〉、2003年、まえがき参照。この説は古代ギリシャ末期のプロクロスによるユークリッド原論の注釈集の冒頭にあるが、近年では批判もある。応用数学〉、2003年、第1章。978-4-320-01965-2」など。小林昭七、『円の数学』、裳華房、1999年。978-4-88730-880-0。2011年、149頁。道程』、みすず書房、〈始まりの本〉、2012年、349頁。宇宙の謎に迫った幾何学者』、日経BP社、2009年。ちくま学芸文庫Math&Science〉、2009年。