• ベストアンサー

ベクトル空間 W が Lie 代数( Lie 環 ) であるとは

ベクトル空間 W が Lie 代数( Lie 環 ) であるとは X,Y ∈W にたいして [X,Y] ∈W 演算が定義でき、 下の四つの関係式を満たすことであると、教科書は天下り的に示します。 1 [X+Y,Z] = [X,Z] + [Y,Z] 2 [aX,Y] = a[X,Y] a ∈R 3 [X,Y] = -[Y,X] 4 [X,[Y,Z]] + [Y,[Z,X]] + [Z,[X,Y]] = 0 1,2,3 式の意味は解る気がします。Lie 群、Lie 代数は時間に依存して変化す る事象の代数的な性質を抽象的に抜き出したものだと思います。1,2 式は [X,Y] が bilinear な関係であることを意味していると思います。3式の反交 換関係は時間に方向性があることを反映しているのだと思います。 でも4式の意味が解りません。この式はどんな物理的な意味を持つのでしょう か。幾何的にどんな意味を持つのでしょうか。Poison Bracket がこの4式満 たすのは解りますが、この式を基本法則に持ってくる必然性が理解できません。 逆に1,2,3式のみで4式を必要としない空間は意味がない代数空間なのでし ょうか。 Lie 代数に詳しいどなたか、教えていただけますでしょうか。

質問者が選んだベストアンサー

  • ベストアンサー
  • ojisan7
  • ベストアンサー率47% (489/1029)
回答No.1

4式がLie環を特徴づける性質です。1,2式は環(多元環)の性質であり、3式はその多元環が交代的(反交換的)であることを意味します。したがって、1,2,3式のみで4式を必要としない空間は交代的な乗法をもつ多元環として重要な意味をもつ代数空間です。その代数空間の特殊なものが、Lie環です。 物理的な意味ですが、それはどんな物理的な対称を考えているかによります。数学的な対称に限ってみても、Lie環の例は数多くあります。これは、ご自分で容易に調べることができるでしょう。

全文を見る
すると、全ての回答が全文表示されます。

その他の回答 (1)

回答No.2

4.の性質は共変微分とか出会ったような気がします

全文を見る
すると、全ての回答が全文表示されます。

関連するQ&A

  • 線形代数の空間ベクトルの問題です。判る方教えてください。

    線形代数の空間ベクトルの問題です。判る方教えてください。 (問題) 点(-1, 4, 7 )を通り、次の方程式で表される直線に平行な直線の方程式を求めよ。      X =1+2t,  Y = -1 + t, Z = 2 - 3t   答えは  (X+1)/ 2 = (Y-4)/1 = (Z-7)/-3    となっていますが、どうやって導き出すのか分かりません。    どなたか分かり易く教えてください。        

  • 部分空間

    つぎのR^3の部分空間Wの幾何学的な解釈 W = <(1,1,0),(0,-1,2)> 参考書によると、2x-2y-z=0 だそうです x=y -2y=z まではわかりますが、ここから先がわかりません。 詳しい解説お願いします。

  • 線形代数学

    線形代数学でどうしてもわからない問題があります。 どなたか解説お願いします。 次の場合の部分空間wの生成系を求めよ。 (1)R^nの部分空間w={(x1 x2...xn)∈R^n |x1+x2+...2^n-1xn=0} (2)R^3の部分空間w=={(x y z)∈R^3 |x+y-Z=0, 2x+y-5z=0, 3x+4y=0} 見にくいですがお願いします。

  • 線形代数学

    線形代数学でどうしてもわからない問題があります。 どなたか解説お願いします。 次の場合の部分空間wの生成系を求めよ。 (1)R^nの部分空間w={(x1 x2...xn)∈R^n |x1+x2+...2^n-1xn=0} (2)R^3の部分空間w=={(x y z)∈R^3 |x+y-Z=0, 2x+y-5z=0, 3x+4y=0} 見にくいですがお願いします(__

  • ベクトル空間の基底の求め方。

    W1、W2をR^4の次のような部分空間とするとき、W1∩W2、W1+W2の基底を求めよ。 (1) W1={[x y z w]|x=2y,z=w} W2={[x y z w]|x+2y+4z=0,y+2z-w=0} (2) W1=<[2 1 1 0]、[2 -1 -3 2]> W2=<[2 1 -2 3]、[1 1 0 1]> 以上の問題の解き方が分かりません。 一応(1)の「W1∩W2」は答えに辿り着けたのですが、他がさっぱりです。 どなたか教えてくださると幸いです。

  • 線形代数の次元について

    線形代数学の問題です。 数ベクトル空間V=R^4の部分空間W1,W2を W1={t(x,y,z,ω)∈R^4 ; 2x+y+3z+7ω=0,5x-2y+5z+9ω=0} W2={t(x,y,z,ω)∈R^4 ; -x+y+2z+6ω=0,4x-4y+2z+ ω=0} と定めるとき (1)W1,W2の次元をそれぞれ求めよ (2)部分空間W1∩W2の次元を求めよ (3)部分空間W1+W2={ω1+ω2 ; ω1∈W1,ω2∈W2}の次元を求めよ (1)(2)(3)それぞれ理由も記すこと (1)はW1の次元が2、W2の次元が1となったのですが確信がありません よろしくお願いします。

  • 実線形空間の部分空間について

    通常の実数系空間R^4={(x,y,z,w)|x,y,z,w∈R}の 部分空間をなすかどうかを、いかについて判別せよ。 部分空間を成さないものについてはその根拠を例で示せ。 (1) {(x,y,z,w)∈R^4|x+y+z+w=0} (2) {(x,y,z,w)∈R^4|x+2y+3z+4w=0} (3) {(x,y,z,w)∈R^4|x=0} (4) {(x,y,z,w)∈R^4|x=2y=3z=4w=0} (5) {(x,y,z,w)∈R^4|x^2+y^2+z^2+w^2=1} (6) {(x,y,z,w)∈R^4|x+y+z+w≧0} ↑部分空間かどうかを判別する方法、またその根拠を 「例」であげる、ということの意味がよくわかりません。 どなたか教えて頂けないでしょうか?よろしくお願いします。

  • 代数学の問題 V={(x,y,z,w)t|x+…

    代数学の問題です。 V={(x,y,z,w)t|x+w=0,y-z=0}(⊂R4)としたとき、 Vの基底を一組求め、dimVを求めよ という問題です。 部分空間であることは証明できたのですが、これらがわかりません。 詳しく教えていただけますか?

  • 線形代数の問題がわかりません。

    線形代数についての以下の問題がわからないので、過程も含めて解答を教えて下さい。 3次元直交座標系で表される空間内の点P0(x0,y0.z0)と、これを通らない直線(x-x1)/u = (y-y1)/v = (z-z1)/wを含む平面の方程式を求める。 (1)点P0を含む任意の平面を表す方程式を記してください。 (2) (1)の方程式の平面が点(x1,y1,z1)を含むこと、直線を表す式を記してください。また(1)の平面が上記の直線と平行であることも示してください。 (3)求める平面の方程式は次式で与えられることを示してください。 | x-x0, y-y0, z-z0 | | x1-x0, y1-y0, z1-z0| = 0 | u, v, w |

  • ベクトル空間 次元 について

    前回質問(数ベクトル空間 ベクトル空間)させて頂いた内容です。 http://okwave.jp/qa/q8631000.html#answer 前回の質問内容を整理してわからなかった点を再度質問させて頂きます。 ベクトル空間の次元についてですが、以下のように理解しました。 Vはベクトル空間であるとします。 x,y,z∈Vについて、 (1)x,y,zのうち2つのベクトルが0なら1次元ベクトル空間 (2)x,y,zのうち1つのベクトルが0なら2次元ベクトル空間 (3)x,y,zがどれも0ベクトルでなければ3次元ベクトル空間 と理解しました。 R^2は2次元ベクトル空間 R^3は3次元ベクトル空間 R^nはn次元ベクトル空間 という説明がウェブ上で多々ありますが、 これは、ベクトル空間の「成分の数(項数)」であって次元とは関係 ないと理解しました。 ここまでで間違いありますでしょうか? 間違いがあればご指摘よろしくお願い致します。 *****以下、質問内容***** x,y,z∈Vについて、 (1)x,y,zのうち2つのベクトルが0なら1次元ベクトル空間 (2)x,y,zのうち1つのベクトルが0なら2次元ベクトル空間 (3)x,y,zがどれも0ベクトルでなければ3次元ベクトル空間 ですが、 (1)、(2)、(3)はいずれもR^3の部分空間とのことなのですが、この点がよくわかりません・・・ 私のイメージなのですが、 (1)⊂(2)⊂(3)のイメージがあるのですが、これは大きな間違いでしょうか? 3次元ベクトル空間の部分空間は2次元ベクトル空間と1次元ベクトル空間 と言ったイメージなのですが・・・ R^3の部分空間であるとは、「成分が3つのベクトル空間」の部分空間と言う事で、 次元とは無関係ですよね? 以上、ご回答よろしくお願い致します。