李群(數學術語(Lie Group))

李群是一種只有一個運算的、比較簡單的代數結構;是可用來建立許多其他代數系統的一種基本結構。

在數學中,李群(Lie group)是具有群結構的實流形或者複流形,並且群中的加法運算和逆元運算是栁形中的解析映射。李群在數學分析、物理和幾何中都有非常重要的作用。

基本介紹

  • 中文名:李群
  • 外文名:Lie Group
  • 領域:數學
  • 定義:具有群結構的實流形或者複流形
  • 提出者:S.李
  • 套用:數學分析、物理和幾何
結構定義,群介紹,提出者簡介,同態和同構,同構,同態,

結構定義

由挪威數學家S.李創立的一類連續變換群
1870年前後,S.李開始研究連續變換群的概念,並用它們闡明微分方程的解,將微分方程進行分類。1874年,他建立了李群的一般理論。一個李群可以表示成如下形式:
1,2,…,n,其中fi對xi和ai都是解析的,xi是變數,而ai是參數,(x1,x2,…,xn)表示n維空間中的一點。變數或參數都取實數值或複數值。1883年,S.李藉助於一組微分方程定義連續變換群。他的目的是用各種不同的方法把常微分方程的不同類型化成可由積分求解的形式,並建立起它們之間的一致性。S.李證明,如果一階常微分方程接受由某個無窮小變換所確定的變換群,那么這個微分方程的解就可由積分式表達。他還考察了許多種帶有已給變換的方程。這樣一來,S.李就依據無窮小變換把微分方程進行分類。
李群理論在最初的相當長一段時間內僅與一些微分方程的積分有聯繫,而與數學的其他分支關係不大。在19世紀的最後10年以及20世紀,李群理論在各種不同方向,主要是代數學和拓撲學方面得到了迅速的發展,成為數學的一個重要分支。李群理論的第一個近代化的敘述是由原蘇聯數學家龐特里亞金於1938年給出的。20世紀50年代,李群理論的發展進入了一個新的階段,主要標誌是代數群論的創立。代數幾何方法的套用使李群理論的經典結果得到新的闡述,從而揭示了它與函式論、數論等理論的深刻聯繫。緊接著,p進李群的理論也得到重大發展。事實上,李群理論與數學的幾個主要分支都有聯繫:通過李變換群與幾何學、拓撲學的聯繫,通過線性表示論與分析的聯繫等。李群在物理學和力學中也有著重要套用。

群介紹

一種只有一個運算的、比較簡單的代數結構;是可用來建立許多其他代數系統的一種基本結構。
設G為一個非空集合,a、b、c為它的任意元素。如果對G所定義的一種代數運算“·”(稱為“乘法”,運算結果稱為“乘積”)滿足:
(1)封閉性,a·b∈G;
(2)結合律,即(a·b)c = a·(b·c);
(3)對G中任意元素a、b,在G中存在惟一的元素x,y,使得a·x= b,y·a=b,則稱G對於所定義的運算“·”構成一個群。例如,所有不等於零的實數,關於通常的乘法構成一個群;時針轉動(關於模12加法),構成一個群。
滿足交換律的群,稱為交換群。
群是數學最重要的概念之一,已滲透到現代數學的所有分支及其他學科中。凡是涉及對稱,就存在群。例如,可以用研究圖形在變換群下保持不變的性質,來定義各種幾何學,即利用變換群對幾何學進行分類。可以說,不了解群,就不可能理解現代數學。
1770年,拉格朗日在討論代數方程根之間的置換時,首先引入群的概念,而它的名稱,是伽羅華在1830年首先提出的。

提出者簡介

S.李是挪威數學家。生於努爾菲尤爾埃德,卒於克里斯蒂安尼亞(今奧斯陸)。1865年畢業於克里斯蒂安尼亞大學。1869年獲獎學金到柏林留學,與C.F.克萊因在一起工作並結為好友。第二年在巴黎又結識了達布和若爾當,受到法國學派的影響。1871年回國在克里斯蒂安大學執教,1872年獲博士學位。1886年到萊比錫大學接替C. F.克萊因的職務主持數學講座,12年後返回挪威。1892年當選為法國科學院院士。1895年成為英國皇家學會會員。他還是許多其他科學機構的成員。S.李的主要貢獻在以他的名字命名的李群和李代數方面。1870年,他從求解微分方程入手,依靠微分幾何方法和射影幾何方法建立起一種變換,將空間直線簇和球面一一對應。不久他發現,這種對應是連續的,能將微分方程的解表示出來並加以分類。由此S.李引入了一般的連續變換群概念,證明了一系列定理來發展他的理論。他把微分方程的自同構群作為工具,對二維群和三維群進行分類。在以後的多年中,S.李和他的助手繼續豐富完善連續群論學說,出版了3卷本的專著《變換群論》(1888—1893),後人為紀念他的貢獻,將連續群改稱“李群”。為研究李群,他還創立了所謂“李代數”——一種由無窮小變換構成的代數結構,並研究了二者之間的對應關係。李代數現已成為現代代數學的重要分支。此外,S.李在代數不變數理論、微分幾何學、分析基礎和函式論等方面也有建樹。S.李的工作在20世紀初由法國數學家E.嘉當等加以發展。

同態和同構

同構

G,H均為李群,二者之間的一個同態:f\,:G→H為 群 並且是 解析映射 (事實上,可以證明這裡解析的條件堪需滿足連續即可)。顯然,兩個同態砄複合是同態。所有李群的 類 加上同態構成一個 範疇。兩個李群之間存在一個 雙射 ,這個雙射及其逆射均為同態,就稱為同構。
兩個數學系統(例如兩個代數系統),當它們的元素及各自所定義的運算一一對應,並且運算結果也保持一一對應,則稱這兩個系統同構,記為≌。它們對於所定義的運算,具有相同的結構。例如,十進制數與二進制數是同構的。
建立同構關係的映射,稱為同構映射。例如,當映射為一一映射,並且對應元素關於運算保持對應時,就是同構映射。
同構是數學中最重要的概念之一。在很多情況,一個難題往往可以化成另一個同構的、似乎與它不相關的、已經解決的問題,從而使原問題方便地得到解決。雖然數學發展得越來越複雜,但利用同構概念,不僅使數學得到簡化,而且使數學變得越來越統一。表面上似乎不同,但本質上等價的結果,可以用統一的形式表達出來。例如,如果四色定理得到了證明,其他數學分支中與它同構的幾十個假設,也同時得到了證明。

同態

E與F為兩個群胚,它們的合成法則分別記為⊥與⊤. 稱從E到F中的映射f是群胚同態,如果對於E的任一元素偶(x,y),有:
設E與F為兩個么半群(兩個群),稱從E到F中的映射。f是么半群(群)的同態,如果f是群胚的同態,且E的中性元素的象是F的中性元素。 (在群的情況下,後一個條件是自然滿足的,但是從加法么半群N到乘法么半群N的映射x↦0是群胚的同態, 而並不因此就是么半群的同態)。
設G為乘法群,而a為G的元素. 由關係f(n)=an所定義的從加法群Z到G中的映射f是群的同態。
設A與B為兩個環(兩個體),稱從A到B中的映射f是環(體)的同態,如果f是加法群的同態,且為乘法么半群的同態. 這就是說,對A的任一元素偶(x,y),有:
f(x+y)=f(x)+f(y)f(xy)=f(x)f(y),
並且f將A的單位元變成B的單位元
例如,設n為非零自然數;使任一有理整數對應其對模n的剩餘類映射是從環Z到環Z/nZ上的同態.設E與F為兩個A-代數(兩個酉A-代數). 稱從E到F中的映射f是A-代數(酉A-代數)的同態,如果它是線性映射,並且是乘法群胚(乘法么半群)的同態。
例如,設E為交換體K上的非零有限n維向量空間,而B為E的基. 則從E的全體自同態之酉代數ℒ(E)到K中元素構成的全體n階方陣之酉代數Mn (K)中的映射,如果該映射使E的任一自同態對應它在基B中的矩陣,則這一映射是酉代數的同態.

相關詞條

熱門詞條

聯絡我們