主題
Search

Killing 形式

Killing 形式是有限維李代數上的一個內積 g 定義為

B(X,Y)=Tr(ad(X)ad(Y))
(1)

在伴隨表示中，其中 ad(X) 是 X 的伴隨表示。(1) 在以下意義上是伴隨不變的

B(ad(X)Y,Z)=-B(Y,ad(X)Z).
(2)

當 g 是半單李代數時，Killing 形式是非退化的。

例如，特殊線性李代數 sl_2(C) 有三個基向量 {X,Y,H}，其中 [X,Y]=2H

X=[ 0 1; 1 0]
(3)
Y=[ 0 -1; 1 0]
(4)
H=[ 1 0; 0 -1].
(5)

其他括號由 [X,H]=2Y 和 [Y,H]=2X 給出。在伴隨表示中，對於有序基 {X,Y,H}，這些元素由以下表示

ad(X)=[0 0 0; 0 0 2; 0 2 0]
(6)
ad(Y)=[0 0 -2; 0 0 0; 2 0 0]
(7)
ad(H)=[0 -2 0; -2 0 0; 0 0 0],
(8)

因此 B(u,v)=u^(T)Bv 其中

B=[8 0 0; 0 -8 0; 0 0 8].
(9)

另請參閱

Cartan 矩陣, 內積, Killing 方程, Killing 向量, 李代數, 矩陣符號差, 半單李代數, 特殊線性李代數, 跡形式, Weyl 群

此條目由 Todd Rowland 貢獻

使用 探索

參考文獻

Schafer, R. D. An Introduction to Nonassociative Algebras. New York: Dover, pp. 23-26, 1996.

在 上被引用

Killing 形式

請引用本文為

Rowland, Todd. "Killing 形式。" 來自 Web 資源，由 Eric W. Weisstein 建立。 https://mathworld.tw/KillingForm.html

主題分類