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

改訂新版 世界大百科事典 「リー群」の意味・わかりやすい解説

リー群 (リーぐん)
Lie group

行列式の値が0でないn次実行列の全体GLn;R)は,行列A=(aij)をn2次元ユークリッド空間Rの点(a11a12,……,ann-1ann)と同一視することにより,Rの開集合となる。GLn;R)は行列の積により群となるが,対応(AB)→AB1による写像GLn;R)×GLn;R)→GLn;R)は,GLn;R)⊂Rとみるとき有理関数で表されるから,Cω級写像(実解析写像)である。一般に,Gは群であると同時にCω多様体で,対応(gg′)→gg′⁻1による写像G×GGCω級写像であるとき,Gをリー群といい,多様体としての次元がnのときGn次元リー群という。GLn;R)はn2次元リー群である。n次元リー群はまた次のようにも定義できる。G位相群で,その単位元eのある近傍Uからn次元ユークリッド空間Rnのある開集合Vの上への同相写像で次の条件をみたすものがとれるとき,Gn次元リー群という。Uの元をそのVにおける像と同一視してRnの点で表すとき,Uの元x=(x1,……,xn),y=(y1,……,yn)に対し積xyUに属せば,xy=(z1,……,zn)としてzifix1,……,xny1,……,yn)(i=1,2,……,n)と表せるが,関数f1,……,fnは2n個の変数x1,……,xny1,……,ynCω級関数である。このようにリー群は群乗法の定義に関数の解析性の条件を含んでいるので,その研究に微分方程式論などの解析学が活用できてくわしく研究されており,位相群のなかで重要な地位をしめている。回転群などの古典群はすべてリー群である。

 ベクトル空間Lにおいて,Lの任意の2元XYに対し[XY]で表されるLの元が定められていて,次の条件が成り立つとき,Lを(実数体上の)リー代数またはリー環という。(1)[XY]は双線型である。(2)[XY]+[YX]=0。(3)[X,[YZ]]+[Y,[ZX]]+[Z,[XY]]=0。リー群Gの単位元eにおける接ベクトルのつくるベクトル空間をLG)とし,LG)の2元XYに対しLG)の元[XY]を次のように定義すれば,LG)はリー代数となる。eを通る曲線x:(-α,α)→Gx(0)=e)で(dx/dtt=0Xを表し,|s|,|t|,|st|<αならばxst)=xsxt)であるようなものをとり,Yについても同様な曲線y:(-β,β)→Gをとる。このとき,の表す接ベクトルを[XY]と定義する。LG)をリー群Gのリー代数という。例えば,GLn;R)のリー環は実n次行列全体のつくるベクトル空間において,回転群SOn)のリー環は実n次歪対称行列全体のつくるベクトル空間において,ともに[XY]=XYYXと定義したものである。リー群の局所的性質は完全にリー代数の性質に帰着できる。リー群の理論は19世紀後半のS.リーの連続変換群の研究に始まり,20世紀に入ってE.カルタンとH.ワイルらの研究によって完成した。現代ではリー群は数学の種々の分野や理論物理学で広く活用されている。
執筆者:

出典 株式会社平凡社「改訂新版 世界大百科事典」改訂新版 世界大百科事典について 情報

日本大百科全書(ニッポニカ) 「リー群」の意味・わかりやすい解説

リー群
りーぐん
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

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

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

今日のキーワード

グレーゾーン解消制度

個々の企業が新事業を始める場合に、なんらかの規制に該当するかどうかを事前に確認できる制度。2014年(平成26)施行の産業競争力強化法に基づき導入された。企業ごとに事業所管省庁へ申請し、関係省庁と調整...

グレーゾーン解消制度の用語解説を読む

コトバンク for iPhone

コトバンク for Android