エルランゲン・プログラム

エルランゲン・プログラム（、）とは、1872年フェリックス・クラインが23歳でエルランゲン大学の教授職に就く際、幾何学とは何か、どのように研究すべきものかを示した指針である。日本語ではエルランゲン(の)目録と表記される場合もある『岩波数学事典（第4版）』の項目名では「エルランゲンの目録」、矢野健太郎編『数学小辞典』（共立出版）では「エルランゲン目録」となる。。 

 概説 
古代ギリシアにおいて「幾何学」といえばユークリッド幾何学の事であったが、数学の発展に伴い、様々な幾何学が登場した。その契機の一つは非ユークリッド幾何学の発見であり、双曲幾何学および楕円幾何学というユークリッド幾何学の平行線公理を満たさない新しい幾何学が提唱された。

この他にも遠近法の数学的な基盤として登場した射影幾何をはじめとして、アフィン幾何学（）、メビウス幾何学（）、（）、ラゲール幾何学（）などが登場した。

クラインのエルランゲン・プログラムは、ソフス・リーの（変換群の理論、今日で言うリー群の理論）に基づいて#Klein p.1.、こうした複数の幾何学を統一的な視点で扱うためのを提示する。今日の言葉で言えば、これは幾何学を等質空間とみなす、というものである。（なお古くは等質空間の事をクライン空間（）と呼んだ#Sharpe pp.153. なお原文に「古くは」（）とあるので具体的にいつの事であるか不明。）。

すなわち、クラインの意味での幾何学とはリー群と、が推移的に作用する多様体との組の事である#Sharpe pp.138-139.。クラインはの事を#Birkhoff p.7. なお、#Sharpe p.138はhaugtgruppeとしているが、「haugt」という単語はCamblidge German-English Dictionaryに載っておらず、対して「haupt」はchiefの意味で載っているので、#Birkhoff p.7.の「haupt」が正しいと判断した。（）と呼び、ハスケルはこれをと訳した。上に一点を取り、の固定部分群をとすると、とによらずは同型であり、は


により自然にと同型である。このためのかわりにリー群とその閉部分リー群の組が閉であるという条件は、に多様体が入る事を保証するために入れている。なお、任意の等質空間と任意のに対し、の固定部分群は必ずの閉部分リー群となる。の事をクラインの意味での幾何学と呼んでも良い#Sharpe pp.150.。

具体例は以下の通りである：
+幾何学ユークリッド幾何学上の等長変換群

ここでは直交群であり、楕円幾何学ここで上の等長変換群双曲幾何学ここで上の等長変換群

ここではローレンツ群である。(実)射影幾何学ここで射影線型群ここで

クラインの幾何学では、の作用に不変な性質を探る事が目的となる。例えばユークリッド幾何学では、等長変換に不変な性質、例えば三角形の合同、を研究する。

注意すべきは空間が同一でも、が異なれば別の幾何学とみなされる事である。例えばユークリッド空間上にアフィン変換全体のなすリー群をとして選んだアフィン幾何学や相似変換全体のなすリー群をとして選んだ相似幾何学はユークリッド幾何学とは区別される。アフィン幾何学では、アフィン変換に不変な性質を探ることになるので、ユークリッド幾何学での研究対象であってもアフィン幾何学の研究対象ではないものが存在する。例えば前述した三角形の合同はアフィン変換に対して不変ではないので、アフィン幾何学の研究対象ではない。

 カルタンの幾何学 

クラインの考え方は数学界に大きな影響を与え、当時乱立していた各種の幾何学を近代的な視点で再統一することに成功した。クラインの定義はその後数十年の間主流であり続けたが、ただベルンハルト・リーマンが創立したリーマン幾何学のみは等質空間とみなせず、したがってエルランゲン・プログラムでは捉えられなかった。

20世紀に入り、ヘルマン・ワイルの創出したアフィン接続を契機に、アンリ・カルタンらによってクラインの幾何学とリーマン幾何学を包括するカルタンの幾何学が提案された。
+幾何学の関係性#Sharpe Preface.ユークリッド幾何学一般化　クラインの幾何学　→　　　　　↓一般化　　　↓一般化リーマン幾何学一般化カルタンの幾何学　→　　

リーマン幾何学が、多様体の各点の接ベクトル空間を計量ベクトル空間とみなすように、カルタンの幾何学では、の各点の接ベクトル空間をとみなす。ここで、はそれぞれ、クラインの意味の幾何学を構成するリー群、のリー代数である。

 サーストンの幾何学 

サーストンは自身の幾何学化予想を定式化する際、新たな幾何学の概念を定式化した。サーストンの意味の幾何学は、リーマン多様体上のクラインの意味での幾何学であり、群作用がリーマン計量と両立し、しかもある種の極大性をみたすものとして定式化される。

3次元空間には8種類の幾何学が存在し、3次元多様体を適切に分解したものには必ずこの8つの幾何学のいずれかが入る、というのが幾何学化予想で、ペレルマンにより解決された。

 脚注 

 注釈 

 出典 

 文献 

 参考文献 



 原論文 
 (Also: Gesammelte Abh. Vol. 1, Springer, 1921, pp. 460-497)
ドイツ語
原論文のHTML版

英訳
原著者のクライン、および英訳者のハスケル双方とも死後70年が経過しているため著作権切れ。
上記をLaTeXで打ち直したもの
邦訳：

 関連項目 
 等質空間
 射影幾何学
 双曲幾何学
 楕円幾何学
 ミンコフスキー空間
 ローレンツ変換
 数学における統一理論

 外部リンク 
高木亮一『エルランゲン目録』 - コトバンク

category:幾何学
Category:等質空間
Category:フェリックス・クライン
Category:エアランゲン
category:数学に関する記事