みるとき有理関数で表されるから,Cω級写像(実解析写像)である。一般に,Gは群であると同時にCω級多様体で,対応(g,g′)→gg′−1による写像G×G→GがCω級写像であるとき,Gをリー群といい,多様体としての次元がnのときGをn次元リー群という。GL(n;R)はn2次元リー群である。n次元リー群はまた次のようにも定義できる。Gは位相群で,その単位元eのある近傍Uからn次元ユークリッド空間Rnのある開集合Vの上への同相写像で次の条件をみたすものがとれるとき,Gをn次元リー群という。Uの元をそのVにおける像と同一視してRnの点で表すとき,Uの元x=(x1,......,xn),y=(y1,......,yn)に対し積xyがUに属せば,xy=(z1,......,zn)としてzi=fi(x1,......,xn,y1,......,yn)(i=1,2,......,n)と表せるが,関数f1,......,fnは2n個の変数x1,......,xn,y1,......,ynのCω級関数である。このようにリー群は群乗法の定義に関数の解析性の条件を含んでいるので,その研究に微分方程式論などの解析学が活用できてくわしく研究されており,位相群のなかで重要な地位をしめている。回転群などの古典群はすべてリー群である。ベクトル空間Lにおいて,Lの任意の2元X,Yに対し[X,Y]で表されるLの元が定められていて,次の条件が成り立つとき,Lを(実数体上の)リー代数またはリー環という。(1)[X,Y]は双線型である。(2)[X,Y]+[Y,X]=0。(3)[X,[Y,Z]]+[Y,[Z,X]]+[Z,[X,Y]]=0。リー群Gの単位元eにおける接ベクトルのつくるベクトル空間をL(G)とし,L(G)の2元X,Yに対しL(G)の元[X,Y]を次のように定義すれば,L(G)はリー代数となる。eを通る曲線x:(-α,α)→G(x(0)=e)で(dx/dt)t=0がXを表し,|s|,|t|,|s+t|<αならばx(s+t)=x(s)x(t)であるようなものをとり,Yについても同様な曲線y:(-β,β)→Gをとる。表す接ベクトルを[X,Y]と定義する。L(G)をリー群Gのリー代数という。GL(n;R)のリー環は実n次行列全体のつくるベクトル空間において,回転群SO(n)のリー環は実n次歪対称行列全体のつくるベクトル空間において,ともに[X,Y]=XY-YXと定義したものである。リー群の局所的性質は完全にリー代数の性質に帰着できる。リー群の理論は19世紀後半のS.リーの連続変換群の研究に始まり,20世紀に入ってE.カルタンとH.ワイルらの研究によって完成した。現代ではリー群は数学の種々の分野や理論物理学で広く活用されている。group連結解析的多様体Gが同時に群であって、群の演算(g1,g2)→g1g2が積多様体G×GからGへの解析的写像で、さらに逆元をとる演算g→g-1がGからGへの解析的写像であるとき、Gをリー群または解析的群という。このようにリー群は多様体と群の結合概念であるが、ノルウェーの数学者M・S・リーによって、幾何学や微分方程式を群論を用いて研究するため考え出されたもので、その名をとってリー群とよばれる。リー群Gは、実多様体か複素多様体かによって、それぞれ、実リー群、複素リー群ともいう。実数全体の加法群R、実一般線形群GL(n,R)は実リー群であり、複素数全体の加法群C、複素一般線形群GL(n,C)は複素リー群である。多様体としての自然な条件をあわせて考えて定義され、群論と類似のリー群論が完成されている。リー群論の特長は、リー群Gにリー代数ɡが、次に述べるように、自然に構成され、重要な役割を果たすところにある。Φg:G∋x→gx∈Gの微分dΦgは、Gの単位元eにおける接空間T(e)からgにおける接空間T(g)の上への線形空間の同型写像を与える。いま、Xe∈T(e)に対し、X:G∋g→dΦg・(Xe)∈T(g)で、多様体Gのベクトル場Xをつくる。〔X,Y〕=X・Y―Y・Xによって、一つの代数系となる。この代数ɡをL(G)と書き、リー群Gのリー代数という。リー群GL(n,R)のリー代数は、n次実正方行列環Mn(R)から行列の積の差XY―YX=〔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)へのリー代数準同型写像になり、fはdfで決まる。以上は、主として連結リー群について述べたが、連結でない多様体であるリー群も考えられ、リー代数の理論とあわせて、リー群論として、完成された数学の一部門になっている。近年、p進数体上でも多様体が考えられ、p進リー群論もつくられて、整数論などに応用されている。groupe位相群が微分多様体になっていて,群演算が微分可能なものをリー群という。変換群として微分概念の可能なものである。Graphicsが開発したグラフィックスライブラリー。化石燃料から再生可能エネルギーなどクリーンエネルギー中心の社会・経済構造に転換させていく取り組み。個々の企業が新事業を始める場合に、なんらかの規制に該当するかどうかを事前に確認できる制度。2014年(平成26)施行の産業競争力強化法に基づき導入された。