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

エルランゲン・プログラム（テンプレート:Lang-de-short、テンプレート:Lang-en-short）とは、1872年フェリックス・クラインが23歳でエルランゲン大学の教授職に就く際、幾何学とは何か、どのように研究すべきものかを示した指針である。日本語ではエルランゲン(の)目録と表記される場合もある。

概説

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

この他にも遠近法の数学的な基盤として登場した射影幾何をはじめとして、アフィン幾何学（テンプレート:Lang-en-short）、メビウス幾何学（テンプレート:Lang-en-short）、テンプレート:仮リンク（テンプレート:Lang-en-short）、ラゲール幾何学（テンプレート:Lang-en-short）などが登場した。

クラインのエルランゲン・プログラムは、ソフス・リーのテンプレート:De（変換群の理論、今日で言うリー群の理論）に基づいて、こうした複数の幾何学を統一的な視点で扱うためのテンプレート:Rubyを提示する。今日の言葉で言えば、これは幾何学を等質空間とみなす、というものである。（なお古くは等質空間の事をクライン空間（テンプレート:Lang-en-short）と呼んだ）。

すなわち、クラインの意味での幾何学とはリー群テンプレート:Mvarと、テンプレート:Mvarが推移的に作用する多様体テンプレート:Mvarとの組$(G,X)$の事である。クラインはテンプレート:Mvarの事をテンプレート:De（テンプレート:En）と呼び、ハスケルはこれをテンプレート:Enと訳した。テンプレート:Mvar上に一点テンプレート:Mvarを取り、テンプレート:Mvarの固定部分群を$H_x=\{h\in G\mid hx=x\}$とすると、$H_{gx}=g^{-1}Hg$とテンプレート:Mvarによらずテンプレート:Mvarは同型であり、テンプレート:Mvarは

$[g]\in G/H\to gx\in X$

により自然に$G/H_x$と同型である。このため$(G,X)$のかわりにリー群テンプレート:Mvarとその閉部分リー群テンプレート:Mvarの組$(G,H_x)$の事をクラインの意味での幾何学と呼んでも良い。

具体例は以下の通りである：

幾何学	テンプレート:Mvar	テンプレート:Mvar	テンプレート:Mvar
ユークリッド幾何学	${𝔼}^n={ℝ}^n$	${𝔼}^n$上の等長変換群 $\mathrm{I}\mathrm{s}\mathrm{o}\mathrm{m}({𝔼}^n)=\{f_{A,b}\mid A\in O(n),b\in {ℝ}^n\}$ ここで$O(n)$は直交群であり、$f_{A,b}(x)=Ax+b$	$O(n)$
楕円幾何学	${\mathbb{P}}^n={ℝ}^{n+1}/\sim$ここで$x\sim y⟺\mathrm{\exists }k\in ℝ:x=ky$	${\mathbb{P}}^n$上の等長変換群 $\mathrm{I}\mathrm{s}\mathrm{o}\mathrm{m}({\mathbb{P}}^n)=O(n+1)$	$\left\{\left(\begin{array}{cc}A& 0\\ 0& 1\end{array}\right)\right|A\in O(n)\}$
双曲幾何学	${ℍ}^n=\{x\in {ℝ}^{n+1}\mid x_1{}^2+\cdots +x_n{}^2-x_{n+1}{}^2=1\}$ここで$x=(x_1,\dots ,x_{n+1})$	${ℍ}^n$上の等長変換群 $\mathrm{I}\mathrm{s}\mathrm{o}\mathrm{m}({ℍ}^n)=O(n,1)$ ここで$O(n,1)$はローレンツ群である。	$\left\{\left(\begin{array}{cc}A& 0\\ 0& 1\end{array}\right)\right|A\in O(n)\}$
(実)射影幾何学	${\mathbb{P}}^n={ℝ}^{n+1}/\sim$ここで$x\sim y⟺\mathrm{\exists }k\in ℝ:x=ky$	射影線型群${\mathrm{P}\mathrm{G}\mathrm{L}}_{n+1}(ℝ)={\mathrm{G}\mathrm{L}}_{n+1}(ℝ)/\sim$ここで$A\sim B⟺\mathrm{\exists }k\in ℝ:A=kB$	$\{\left(\begin{array}{cc}*& 0\\ *& *\end{array}\right)\in {\mathrm{G}\mathrm{L}}_{n+1}(ℝ)\}/\sim$

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

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

カルタンの幾何学

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

20世紀に入り、ヘルマン・ワイルの創出したアフィン接続を契機に、アンリ・カルタンらによってクラインの幾何学とリーマン幾何学を包括するカルタンの幾何学が提案された。

幾何学の関係性

ユークリッド幾何学	一般化	クラインの幾何学
	→
↓一般化		↓一般化
リーマン幾何学	一般化	カルタンの幾何学
	→

リーマン幾何学が、多様体テンプレート:Mvarの各点の接ベクトル空間を計量ベクトル空間とみなすように、カルタンの幾何学では、テンプレート:Mvarの各点の接ベクトル空間を$𝔤/𝔥$とみなす。ここで$𝔤$、$𝔥$はそれぞれ、クラインの意味の幾何学$(G,H)$を構成するリー群テンプレート:Mvar、テンプレート:Mvarのリー代数である。

サーストンの幾何学

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

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

文献

参考文献

• テンプレート:Cite book
• テンプレート:Cite book

原論文

• テンプレート:Cite journal (Also: Gesammelte Abh. Vol. 1, Springer, 1921, pp. 460-497)
• ドイツ語
  • 原論文のHTML版
  • テンプレート:PDFLink
• 英訳
  • テンプレート:Cite web原著者のクライン、および英訳者のハスケル双方とも死後70年が経過しているため著作権切れ。
  • テンプレート:Cite arXiv上記をLaTeXで打ち直したもの
• 邦訳：
  • テンプレート:Cite book

関連項目

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

外部リンク

• 高木亮一『エルランゲン目録』 - コトバンク
• テンプレート:Kotobank