コンテンツにスキップ

英文维基 | 中文维基 | 日文维基 | 草榴社区

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

出典: フリー百科事典『ウィキペディア(Wikipedia)』
クライン幾何学から転送)
数学 > 幾何学 > エルランゲン・プログラム

エルランゲン・プログラム: Erlanger Programm: Erlangen program)とは、1872年フェリックス・クラインが23歳でエルランゲン大学の教授職に就く際、幾何学とは何か、どのように研究すべきものかを示した指針である。日本語ではエルランゲン(の)目録と表記される場合もある[1]

概説

[編集]

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

この他にも遠近法の数学的な基盤として登場した射影幾何をはじめとして、アフィン幾何学: Affine geometry)、メビウス幾何学: Möbius geometry)、リー球面幾何学英語版: Lie sphere geometry)、ラゲール幾何学(: Laguerre geometry)などが登場した[2]


クラインのエルランゲン・プログラムは、ソフス・リーTheorie der Transformationsgruppen(変換群の理論、今日で言うリー群の理論)に基づいて[3]、こうした複数の幾何学を統一的な視点で扱うための綱領プログラムを提示する。今日の言葉で言えば、これは幾何学を等質空間とみなす、というものである[2]。(なお古くは等質空間の事をクライン空間: Klein space)と呼んだ[4])。

すなわち、クラインの意味での幾何学とはリー群Gと、Gが推移的に作用する多様体Xとの組の事である[2]。クラインはGの事をhauptgruppe[5][注 1]chief group[5])と呼び、ハスケルはこれをprincipal groupと訳した[2]X上に一点xを取り、xの固定部分群をとすると、xによらずHxは同型であり、X

により自然にと同型である。このためのかわりにリー群Gとその閉部分リー群Hxの組[注 2]の事をクラインの意味での幾何学と呼んでも良い[2][6]

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

幾何学 X G H
ユークリッド幾何学 上の等長変換

ここで直交群であり、

楕円幾何学 ここで 上の等長変換群

双曲幾何学 ここで 上の等長変換群

ここでローレンツ群である。

(実)射影幾何学 ここで 射影線型群ここで

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


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

カルタンの幾何学

[編集]

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

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

幾何学の関係性[7]
ユークリッド幾何学 一般化  クラインの幾何学
 → 
 
   ↓一般化    ↓一般化
リーマン幾何学 一般化 カルタンの幾何学
 → 
 


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

サーストンの幾何学

[編集]

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


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

脚注

[編集]

注釈

[編集]
  1. ^ なお、#Sharpe p.138はhaugtgruppeとしているが、「haugt」という単語はCamblidge German-English Dictionaryに載っておらず、対して「haupt」はchiefの意味で載っているので、#Birkhoff p.7.の「haupt」が正しいと判断した。
  2. ^ Hが閉であるという条件は、に多様体が入る事を保証するために入れている。なお、任意の等質空間と任意のに対し、xの固定部分群は必ずGの閉部分リー群となる。

出典

[編集]
  1. ^ 『岩波数学事典(第4版)』の項目名では「エルランゲンの目録」、矢野健太郎編『数学小辞典』(共立出版)では「エルランゲン目録」となる。
  2. ^ a b c d e #Sharpe pp.138-139.
  3. ^ #Klein p.1.
  4. ^ #Sharpe pp.153. なお原文に「古くは」(Older)とあるので具体的にいつの事であるか不明。
  5. ^ a b #Birkhoff p.7.
  6. ^ #Sharpe pp.150.
  7. ^ #Sharpe Preface.

文献

[編集]

参考文献

[編集]
  • R.W. Sharpe (1997/6/12). Differential Geometry: Cartan's Generalization of Klein's Erlangen Program. Graduate Texts in Mathematics. 166. Springer. ISBN 978-0387947327 
  • Garrett Birkhoff and M. K. Bennett (1988). “Felix Klein and His “Erlanger Program””. In Aspray and Kitcher. History and Philosophy of Modern Mathematics. University of Minnesota Press 

原論文

[編集]

関連項目

[編集]

外部リンク

[編集]