統一路 5-少年天才創群論

簡體傳統

美麗的對稱無處不在，它在我們的世界中扮演著重要的角色。自然界遍布蟲草花鳥，人類社會處處有標志性的藝術和建筑，這些事物無一不體現出對稱的和諧與美妙。幾何圖形的對稱不難理解，當人們說到“故宮是左右對稱的”，“地球是球對稱的”，“雪花是六角形對稱的”，每個人都懂得那是什么意思。不過，數學家們總是喜歡究死理，硬要用他們獨特的語言來定義對稱。

從數學的角度來看待剛才的幾個例子，對稱意味著幾何圖形在某種變換下保持不變。比如說，故宮的左右對稱意味著在鏡像反射變換下不變；球對稱是說在三維旋轉變換下的不變性；雪花六角形對稱則是說將雪花的圖形轉動60、120、180、240、300度時圖形不變。所以，對稱實際上表達的是事物具有的一種冗余性。沒想到吧，上帝設計世界時又耍花招偷懶了：利用鏡像對稱，他只需要設計一半！利用六角形對稱，他的雪花圖案只需畫出六分之一！球對稱的天體就更好辦了，畫出了一個方向的景色，就讓它們去繞著一個固定點不停地轉圈。

不過，上帝的這種偷懶辦法讓人類欣賞和喜愛，譽之為美。科學家們更是感覺深奧無比而對其探索不止。他們發明出了一套又一套的理論來描述對稱，群論，便是描述對稱的一種最好的語言。

用數學語言定義對稱的優越性之一在于容易推廣。如果將對稱概念從幾何推廣到物理研究中的一般情形，便被表述為：如果某種變換能夠保持系統的拉格朗日量不變，從而保持物理規律不變的話，就說系統對此變換是對稱的。

物理規律應該在變換中保持不變，這應該是顯而易見的。試想，如果今天的某個定律明天就不適用了，或者是麥克斯韋方程只在倫敦適用，搬到北京就不適用了，那還叫做自然規律嗎？研究它還有任何意義嗎？當然不應該是這樣的。

剛才舉的例子中，今天到明天、倫敦到北京，這兩個概念在數學上都稱之為變換。前者叫做時間平移變換，后者叫做空間平移變換。但是，除了平移變換之外，還有許多別的種類的變換，物理定律難道對所有的變換都要保持不變嗎？物理規律有很多，至少應該不是每一個規律對每一個變換都將保持不變。那么，這其中有些有些什么樣的關系呢？

首先，我們研究研究，與物理定律有關的變換主要有哪些種，如何分類？

俗話說：物以類聚，人以群分。豈止人是如此，我們所討論的變換也可以用數學上的“群”來加以分類^【¹^】。所以，變換用來描述對稱，群用來描述變換，因此，群和對稱，便如此關聯起來了。

群在數學上是什么意思？“群論”的概念來自于多個方面：數論、代數方程、幾何。歷史上有一個最偉大的業余數學家叫費馬，說他是業余的，是因為他的本職工作是個地方上的法官，但他并非一般的民科，他在數學和物理上的貢獻都非常了不起。我們在上一節中介紹的最小作用量原理最早也是基于光學中的費馬原理，該原理認為光線在空間總是走最短（或極值）的路徑。1637年，費馬隨便在他閱讀的一本書的邊沿空白處寫下了一個看起來頗像勾股定理的公式：xⁿ+yⁿ=zⁿ，并提出了一個猜想：當n大于2的時候，不可能有整數滿足這個式子。更玄乎的是，費馬還在旁邊加上了短短的一句話，意思是說他已經知道如何證明此公式但是那兒的空間太小寫不下……。這不是明顯在吊胃口嗎？因此，這個貌似簡單的問題，竟讓全世界的頂尖數學家們整整忙碌了300多年！那就是著名的費馬大定理的故事。此外，費馬還提出了一個費馬小定理。費馬小定理說的是有關質數的問題，可以簡單表述如下：假如a是一個整數，p是一個質數，那么(a^p-a)是p的倍數。

看了以上定義的費馬小定理，大家的感覺也許仍然是“云里霧里”。不過無所謂，那不是我們的目的，重要的是，這個小定理就和群論的發展有點關系了。

簡單地說，群就是一組元素的集合，在集合中每兩個元素之間，定義了符合一定規則的某種乘法運算規則。說到乘法規則，我們大家會想起小時候背過的九九表，比如圖5-1a給出的，就是小于5的整數的“四四”乘法表。

圖5-1：4個元素的群

歐拉在1758年證明費馬小定理的時候，便碰到了這種類似的乘法表。不過，他將乘法規則稍微作了一些改動。比如在剛才所舉小于5的四四表例子中，他把表中的所有元素都除以5，然后將所得的余數構成一個新的表，如圖5-1b所示。按照這種方法，類似于上述n=5的例子，我們可以對任意的n，都如此構造出一個“乘法余數表”來。

當我們再仔細研究n=5的情況，發現圖b中的四四余數表有一個有趣的特點：它的每一行都是由（1、2、3、4）這四個數組成的，每一行中四個數全在，但也不重復，只是改變一下順序而已。

上面的特點初看起來沒有什么了不起，但歐拉注意到，并不是每一個n用如上方法構成的乘法表都具有這個性質，而是當且僅當n是質數的時候，（n-1）個元素的余數表才具有這個特點。這個有關質數的結論對歐拉證明費馬小定理頗有啟發。

以現在群論的說法，圖5-1b中的4個元素，構成了一個“群”，因為這4個元素兩兩之間定義了一種乘法（在這兒的例子中，是整數相乘再求5的余數），并且，滿足群的如下4個基本要求。不妨將它們簡稱為“群4點”。

1. 封閉性：兩元素相乘后，結果仍然是群中的元素；（從圖5-1b中很容易驗證）

2. 結合律：(a*b)*c = a*(b*c)；（整數相乘滿足結合律）

3. 單位元：存在單位元（幺元），與任何元素相乘，結果不變；（在上面例子中對應于元素1）

4. 逆元：每個元素都存在逆元，元素與其逆元相乘，得到幺元。（從圖5-1b中很容易驗證）

歐拉研究數論時，有了群的模糊概念，但“群”這個名詞以及基本設想，卻是首先在伽羅瓦研究方程理論時被使用的，這涉及到一個年輕數學家的悲慘人生。埃瓦里斯特·伽羅瓦（1811-1832年）是法國數學家，他短短20年生命所作的最重要工作就是開創建立了“群論”這個無比重要的數學領域。

伽羅瓦從小表現出極高的數學才能，但他厭倦別的學科，獨獨只被數學的鬼魅迷住了心竅，以至于使得他在求學的道路上屢遭失敗，他多次寄給法國科學院有關群論的精彩論文，也未被接受：柯西讓他重寫；泊松看不懂；傅立葉收到文章后還沒看就見上帝去了。對年輕的伽羅瓦來說，生活的道路坎坷，父親又自殺身亡，卓越的研究成果得不到學界的承認，由此種下了他憤世嫉俗、不滿社會的禍根。后來，法國七月革命一爆發，伽羅瓦立刻急不可待地投身革命，最后又莫名其妙地陷入了一場極不值得的戀愛糾紛中，并且由此卷入一場決斗。最后，這位“憤青”式的天才數學家，終于在與對手決斗時飲彈身亡。

伽羅瓦第一個用群的觀點來確定多項式方程的可解性。真是無獨有偶，不幸的事情也往往成雙。說到方程可解性，又牽扯到另外一位也是年紀輕輕就去世了的挪威數學家尼爾斯·阿貝爾（NielsAbel，1802－1829年）。不過，阿貝爾不是憤青，他在27歲時死于貧窮和疾病。

我們在中學數學中就知道一元二次方程ax²+bx+c=0 的求根公式為：

對于3次和4次的多項式方程，數學家們也都得到了相應的一般求根公式，即由方程的系數及根式組成的“根式解”。之后，人們自然地把目光轉向探索一般的五次方程的根式解。但歷經幾百年也未得結果。因為所有的努力都以失敗告終，這使得阿貝爾產生了另外一種想法：五次方程，也許所有次數大于4的方程，根本就沒有統一的根式解。

由于長期得不到大學教職，阿貝爾的生活無著落而貧病交加，但他始終不愿放棄心愛的數學。他成功地證明了五次方程不可能有根式解，但他卻沒有時間將這個結論推廣到大于5的一般情形，因為病魔奪去了他短暫的生命。就在可憐的阿貝爾因肺結核而撒手人寰的兩天之后，傳來了他已經被某大學聘為教授的好消息。

科學的接力棒傳到了比阿貝爾小9歲的伽羅瓦手上。伽羅瓦從研究多項式的方程理論中發展了群論，又巧妙地用群論的方法解決了一般代數方程的可解性問題。伽羅瓦的思想大致如此：每一個多項式都對應于一個與它的根的對稱性有關的置換群，后人稱之為伽羅瓦群。圖5-2給出一個簡單置換群S₃的例子。一個方程有沒有根式解，取決于它的伽羅瓦群是不是可解群。那么，可解群又是什么樣的呢？這些概念大大超出了本文討論的范圍，在此不表，有興趣者可參閱相關文獻^【²^】。

圖5-2：置換群例子S₃

簡單解釋一下圖5-2的置換群例子S₃。給了三個字母ABC，它們能被排列成如圖a右邊的6種不同的順序。也就是說，從ABC產生了6種置換構成的元素。這6個元素按照生成它們的置換規律而分別記成（1）、（12）、（23）……等等。括號內的數字表示置換的方式，比如（1）表示不變；（12）的意思就是第1個字母和第2個字母交換等等。不難驗證，這6個元素在圖5-2b所示的乘法規則下，滿足上面談及的定義“群4點”，因而構成一個群。這兒的所謂“乘法”不是通常意義下整數間的乘法，而是兩個置換方式的連續操作。圖5-2b中還標示出S₃的一個特別性質：其中定義的乘法是不可交換的。如圖b所示，（12）乘以（123）得到（13），而當把它們交換變成（123）乘以（12）時，卻得到不同的結果（23），因此，S₃是一種不可交換的群，或稱之為非阿貝爾群。而像圖5-1所示的四元素的可交換群，被稱之為阿貝爾群。S₃有6個元素，是元素數目最小的非阿貝爾群。

圖5-1和圖5-2描述的，是有限群的兩個簡單例子。群的概念不限于“有限”，其中的“乘法”含義也很廣泛，只需要滿足群4點即可。

如果你還沒有明白什么是“群”的話，那就再說通俗一點（做數學的大牛們偶然路過看見了請不要皺眉頭）：“群”就是那么一群東西，我們為它們兩兩之間規定一種“作用”，見圖5-3的例子。兩兩作用的結果還是屬于這群東西；其中有一個特別的東西，與任何其它東西作用都不起作用；此外，每樣東西都有另一個東西和它抵消；最后，如果好幾個東西接連作用，只要這些東西的相互位置不變，結果與作用的順序無關。

圖5-3：各種操作都可以被定義為“群”中的乘法，只要符合“群4點”。

剛才所舉兩個群的例子是離散的有限群。下面舉一個離散但無限的群。比如說，全體整數（..., −4, −3, −2, −1, 0, 1, 2, 3,4,...）的加法就構成一個這樣的群。因為兩個整數之和仍然是整數（封閉性），整數加法符合結合律；0加任何數仍然是原來那個數（0作為幺元），任何整數都和它的相應負整數抵消（比如：-3是3的逆元，因為3+(-3)=0）。

但是，全體整數在整數乘法下卻并不構成“群”。因為整數的逆不是整數，而是一個分數，所以不存在逆元，違反群4點，不能構成群。

全體非零實數的乘法構成一個群。但這個群不是離散的了，是由無限多個實數元素組成的連續群，因為它的所有元素可以看成是由某個參數連續變化而形成。兩個實數相乘可以互相交換，因而這是一個“無限”、“連續”的阿貝爾群。

可逆方形矩陣在矩陣乘法下也能構成無限的連續群。矩陣乘法一般不對易，所以構成的是非阿貝爾群。

連續群和離散群的性質大不相同，就像盒子里裝的是一堆玻璃彈子，或裝的是一堆玻璃細沙不同一樣，因而專門有理論研究連續群。因為連續群是n個連續變量之變化而生成的，這n個變量同時也張成一個n維空間。如果一個由n個變量生成的連續群既有群的結構，又是一個n維微分流形，便稱之為“李群”，是以挪威數學家索菲斯·李（Sophus Lie，1842－1899年）的名字而命名。（可惜不是我們中國人李氏家族的后代！）李群對理論物理很重要，下一節中，我們從與物理密切相關的幾個例子出發來認識李群。