リー群(読み)りーぐん(英語表記)Lie group

日本大百科全書(ニッポニカ)「リー群」の解説

リー群
りーぐん
Lie group

連結解析的多様体Gが同時にであって、群の演算(g1,g2)→g1g2多様体G×GからGへの解析的写像で、さらに逆元をとる演算gg-1GからGへの解析的写像であるとき、Gリー群または解析的群という。

 このようにリー群は多様体と群の結合概念であるが、ノルウェーの数学者M・S・リーによって、幾何学や微分方程式を群論を用いて研究するため考え出されたもので、その名をとってリー群とよばれる。

 リー群Gは、実多様体か複素多様体かによって、それぞれ、実リー群、複素リー群ともいう。実数全体の加法群R、実一般線形群GL(n,R)は実リー群であり、複素数全体の加法群C、複素一般線形群GL(n,C)は複素リー群である。

 抽象的な群の場合と同じように、リー群の部分群、正規部分群、商群、準同型写像、同型写像などが、多様体としての自然な条件をあわせて考えて定義され、群論と類似のリー群論が完成されている。

 リー群論の特長は、リー群Gにリー代数ɡが、次に述べるように、自然に構成され、重要な役割を果たすところにある。

 リー群Gの元gに対し、解析的写像
  ΦgGxgxG
の微分gは、Gの単位元eにおける接空間T(e)からgにおける接空間T(g)の上への線形空間の同型写像を与える。いま、XeT(e)に対し、
  XGgg・(Xe)∈T(g)
で、多様体Gのベクトル場Xをつくる。このようなXの全体ɡ={XXeT(e)}はT(e)と同型な線形空間で、ベクトル場の積
  〔X,Y〕=XYYX
によって、一つの代数系となる。この代数ɡをL(G)と書き、リー群Gのリー代数という。

 リー群GL(n,R)のリー代数は、n次実正方行列Mn(R)から行列の積の差XYYX=〔X,Y〕で得られるリー代数ɡl(n,R)になる。

 任意のリー代数ɡに対し、L(G)=ɡになるようなリー群Gが存在する。

 リー群Gのリー部分群Hのリー代数L(H)はL(G)の部分リー代数になり、逆にL(G)のリー部分代数ηに対し、L(H)=ηになるGのリー部分群Hがただ一つ存在する。

 また、リー群G1からリー群G2への準同型写像fの微分dfは、L(G1)からL(G2)へのリー代数準同型写像になり、fdfで決まる。

 以上は、主として連結リー群について述べたが、連結でない多様体であるリー群も考えられ、リー代数の理論とあわせて、リー群論として、完成された数学の一部門になっている。また近年、p進数体上でも多様体が考えられ、p進リー群論もつくられて、整数論などに応用されている。

[菅野恒雄]

出典 小学館 日本大百科全書(ニッポニカ)日本大百科全書(ニッポニカ)について 情報 | 凡例

ブリタニカ国際大百科事典 小項目事典「リー群」の解説

リー群
リーぐん
Lie groupe

位相群が微分多様体になっていて,群演算が微分可能なものをリー群という。変換群として微分概念の可能なものである。

出典 ブリタニカ国際大百科事典 小項目事典ブリタニカ国際大百科事典 小項目事典について 情報

世界大百科事典 第2版「リー群」の解説

リーぐん【リー群 Lie group】

行列式の値が0でないn次実行列の全体GL(nR)は,行列A=(aij)をn2次元ユークリッド空間Rの点(a11,a12,……,ann-1,ann)と同一視することにより,R開集合となる。GL(nR)は行列の積により群となるが,対応(A,B)→AB-1による写像GL(nRGL(nR)→GL(nR)は,GL(nR)⊂Rとみるとき有理関数で表されるから,Cω級写像(実解析写像)である。

出典 株式会社平凡社世界大百科事典 第2版について 情報

今日のキーワード

NATO

北大西洋条約機構North Atlantic Treaty Organizationの略称。冷戦が激化した1949年に調印された北大西洋条約に基づき設立された自由陣営最大の国際軍事機構。加盟国中の一国...

続きを読む

コトバンク for iPhone

コトバンク for Android