愛爾蘭根綱領
| 愛爾蘭根綱領 | |
|---|---|
| 類型 | 研究 |
愛爾蘭根綱領（德語：Erlanger Programm；英語：Erlangen program）是菲利克斯·克萊因於1872年發表一個深具影響的研究綱領，題為《新幾何研究上比較的觀點》（Vergleichende Betrachtungen über neuere geometrische Forschungen），因克萊因當時在愛爾朗根-紐倫堡大學工作，所以以愛爾蘭根命名。該綱領提議了對當時幾何問題的嶄新看法。
19世紀幾何中的問題
有一個「幾何」還是很多個？自歐幾里得以來，幾何意味著二維（平面幾何）或者三維（立體幾何）歐幾里得空間的幾何。在19世紀上半葉，有了一些發展使得這個景象變得複雜了。數學應用要求有四維或者更高維的幾何；對傳統歐幾里得幾何的基礎的審視已經揭示出平行公理和其他公理的獨立性，而且非歐幾里得幾何已經誕生；而在射影幾何中，新的「點」（無窮遠點，有複數坐標的點）已經被引入。
用抽象術語來說，這個解決辦法是使用對稱性作為根本的原則，並且從一開始就陳述不同的幾何可以共存，因為它們處理不同類型的命題和不同類型的對稱性和變換下的不變量。仿射幾何和射影幾何的區別就在於諸如平行這種仿射不變量的概念是前者的恰當主題，而對後者來說卻不是主要概念。然後，通過從各個幾何中抽象出基礎的對稱群，它們之間的關係可以在群的級別重新建立。因為仿射幾何的群是射影幾何的群的子群，所有射影幾何的概念不變量「先驗的」在仿射幾何中有意義；但是反過來不行。如果你包含更多對稱性進來，你就有一個更強的理論，但更少的概念和定理（但會更深刻和一般化）。
齊性空間
換而言之，各種「傳統空間」是齊性空間；但是不是對於一個唯一確定的群。改變群就改變了相應的幾何語言。
在今天的語言中，經典幾何中考慮的群都是很著名的李群。特定的關係用技術化的語言很容易描述。
例子：仿射幾何
例如n維射影幾何的群就是n維射影空間的對稱群（n+1階矩陣群，取和純量矩陣的商）。該仿射群是保持所選的無窮遠超平面不變（映射集合到自身，不是固定每一點）的子群。這個子群有一個已知的結構（n階矩陣群和平移子群的準直積）。這個表述告訴我們什麼性質是「仿射的」。用歐幾里得平面幾何術語，平行就是：仿射變換總是將一個平行四邊形變成另一個平行四邊形。而圓不是仿射的，因為仿射剪切可以把圓變成橢圓。
要精確的解釋仿射和歐幾里得幾何之間的關係，我們現在要在仿射群中點出歐幾里得幾何的群。歐幾里得群實際上是（採用前面仿射群的表述）正交（旋轉和反射）群和平移群的準直積。
在後來的工作上的影響
愛爾蘭根綱領的長期效應可以在純數學的很多方面顯現出來（例如，參看相似中隱含的使用）；而變換的思想和用對稱群綜合的思想現在當然也已成為物理學中的標準做法。
當拓撲照例使用同胚下的不變量的術語來表述時，我們可以看到操作背後的基礎思想。所涉及到的群在幾乎所有情況下——除了李群——都是無窮維的，但其方法是一樣。當然這只是說克萊因的影響啟發。諸如哈羅德·斯科特·麥克唐納·考克斯特所寫的書例行的採用愛爾蘭根綱領的方法來幫助'定位'幾何。用說教的術語，該綱領成了變換幾何，這是一個有一些不良影響的好事，它比歐幾里得的風格建立在更強的直覺上，但是也更難轉換成為邏輯體系。
對於一個幾何和它的群，群的一個元素有時叫做該幾何的一個作用。例如，可以通過基於雙曲運動的一個發展來學習雙曲幾何的龐加萊半平面模型。
從愛爾蘭根綱領的抽象的回歸
經常，兩個或者更多的不同的幾何有同構的自同構群。這就產生了從愛爾蘭根綱領的抽象群解讀出具體的幾何的問題。
一個例子：可定向（即不包含反射）橢圓幾何（將n維球面之相對點視為等同的曲面）和可定向球面幾何（同樣的非歐幾里得幾何，但是並不將相對的點視為等同）有同構的自同構群，偶數n的SO(n+1)。這兩個看起來不同。但是事實上，這兩個幾何緊密相關，以一種可以精確描述的方式。
再舉一例，不同曲率半徑的橢圓幾何有同構的自同構群。這其實不能算作一個評價，因為所有這種幾何同構。一般的黎曼幾何在這個綱領所能包括的邊界之外。
更多值得注意的例子產生於物理學中。
首先，n維雙曲幾何，n維de Sitter空間和（n−1）維逆幾何（inversive geometry）都有同構的自同構群，
- ,
正確時間的洛倫茲群，對於n ≥ 3的情況。但是這些顯然是不同的幾何。這裡，有些有趣的結果從物理學中進來。已經證明這三個幾何中的任何一個中的物理模型是對於某些模型對偶的。
還有，n維反de Sitter空間和有「洛倫茲」特徵數的(n−1)維共形空間（conformal space，和有「歐幾里得」特徵數的共形空間不同，那種和逆幾何相同，對於3維以上情況）有同構的自同構群，但是不同的幾何。再次，在物理中有一些在兩個空間中對偶的模型。更多的細節參看AdS/CFT。
所以，在和物理中的對偶性的關係中，愛爾蘭根綱領還是可以視為相當豐富的。
克萊因幾何的推廣
克萊因的觀點實際上將幾何視為兩個群（通常是李群）的商G/H，上節提到相關的各種幾何的同構的自同構群也就是同構的H。因而，上述的愛爾蘭根綱領的局限性可以通過引入附加的結構來彌補。換而言之，克萊因幾何沒有考慮空間的不均勻性，因而只有齊性空間得到了處理。如果在此基礎上引入聯絡，則就像引入度量將歐幾里得幾何推廣為黎曼幾何一樣，我們將克萊因幾何推廣到了嘉當幾何。細節可以參看嘉當聯絡。
參看
參考
- Heinrich Guggenheimer. Differential Geometry [微分幾何]. 美國紐約: Dover Publications. 1977: 139. ISBN 0-486-63433-7 （英語）.
A Klein geometry is the theory of geometric invariants of a transitive transformation group.
這是一本便宜而且不太難的書，裡面有大量引用索菲斯·李、克萊因和埃利·嘉當的話。
- 菲利克斯·克萊因. Vergleichende Betrachtungen über neuere geometrische Forschungen [新幾何研究上比較的觀點] (學位論文). 1872 （德語）.
Mathematische Annalen, 43 (1893) pp. 63-100（Also: Gesammelte Abh. Vol. 1, Springer, 1921, pp. 460-497).由Mellen Haskell翻譯的一個英譯本可見於Bull. N. Y. Math. Soc 2 (1892-1893): 215--249. 本綱領的德文版可在美國密西根大學的在線收集站上閱讀：Vergleichende Betrachtungen über neuere geometrische Forschungen [新幾何研究上比較的觀點]. 密西根大學 （德語）.
- 菲利克斯·克萊因. Elementary Mathematics from an Advanced Standpoint: Geometry [高觀點下的初等數學：幾何] 第2卷. 美國紐約: Dover Publications. 2004. ISBN 0-486-43481-8 （英語）."