本页使用了标题或全文手工转换

列維-奇維塔符號

维基百科,自由的百科全书
跳转至: 导航搜索

列維-奇維塔符號(Levi-Civita symbol),特別在線性代數張量分析微分幾何等數學範疇中很常見到,用以表示數字的集合;是對於1, 2, …, n中某個正整數n所形成排列的正負符號來定義。它以義大利數學家和物理學家Tullio Levi-Civita命名。其它名稱包括置換符號,反對稱符號或交替符號,是有關於反對稱的屬性與排列的定義。

希臘小寫字母εϵ是表示列維-奇維塔符號的標準記號,較不常見的也有以拉丁文小寫e記號。下標符能與張量分析兼容的方式來顯示排列:

其中每個下標i1, i2, ..., in取值為1, 2, ..., n。有nn個索引值為εi1i2in,可以排成為n-維陣列。

這個符號的關鍵定義是全部索引中的完全反對稱性。當任何兩個索引互換、相等或否定時,則符號的正負即有變化:

如果兩個索引相等,則此符號變為0。當全部索引都不相等時,我們有:

其中p(稱為排列的奇偶性質)是要將i1, i2, ..., in 回復1, 2, ..., n的自然次序時,而索引所需的對換次數,而因子(−1)p被稱為排列的符號。ε12...n的值必須有定義,否則所有排列的特定符號值是無法確定的。大多數作者選擇ε12...n = +1,表示列維-奇維塔符號等於各別索引不相等時的置換符號,在本文中使用這個定義。

n-維列維-奇維塔符號”一詞是指符號n上的索引數,和所討論的向量空間維度相符,可以是歐幾里得或非歐幾里得空間,例如,3閔可夫斯基空間。列維-奇維塔符號的值與任何張量和參考座標系無關。此外,特別固定的“符號”強調,它並不因為在座標系之間如何變換而就是某一個張量;然而,它可以被理解為張量的密度。

列維-奇維塔符號讓我們可使用索引符號來表示方陣的行列式,及三維歐幾里德空間中的兩個向量的叉積

定義[编辑]

列維-奇維塔符號最常用於三維和四維,並在一定程度上用於二維,因此在定義一般情況之前給出這些符號。

二維[编辑]

在二維中,列維-奇維塔符號定義如下:

這些值可以排列成 2×2 反對稱矩陣

二維的列維-奇維塔符號的使用,相對於其它維度並不常見,雖然在某些專門的主題,如超對稱和二極管理論,它出現在2-旋量的上下文中。三維以上的列維-奇維塔符號更常用。

三維[编辑]

For the indices (i, j, k) in εijk, the values 1, 2, 3 occurring in the      cyclic order (1, 2, 3) correspond to ε = +1, while occurring in the      reverse cyclic order correspond to ε = −1, otherwise ε = 0.

在三維中,列維-奇維塔符號定義如下:

若 (i, j, k) = {1,2,3}, {2,3,1}或{3,1,2}(偶置換
若 (i, j, k) = {3,2,1}, {2,1,3}或{1,3,2}(奇置換)
i=j, j=ki=k



也就是說,如果(i, j, k)(1, 2, 3)偶置換εijk+1

如果是奇置換,則εijk−1,如果任何索引有相同重複,則為 0。 僅在三維中,(1, 2, 3)的循環排列都是均勻排列,類似地,反向排列都是奇置換。 這意味著在三維中,(1, 2, 3)的循環或反向排列就足夠容易地獲得所有的偶數或奇置換。

類似於二維矩陣,三維列維-奇維塔符號的值可以排列成3 × 3 × 3陣列:

立體化表示

其中i是深度(藍色:i = 1; 紅色:i = 2; 綠色:i = 3),j 是行,k 是列。

一些例子:

四維[编辑]

在四維中,列維 - 奇維塔符號定義如下:

這些值可以排列成4 × 4 × 4 × 4陣列,然而四維以上較難描繪出示意圖。 一些範例如下:

推廣到n[编辑]

更一般地推廣到n維中,則列維-奇維塔符號的定義為:

的偶置換
的奇置換
其它,即若任意兩個指標相等

因此n維的情況就變成偶排列或奇排列的正負號,否則為零。使用記號∏表達一般乘法的式子為:

其中的sgn函數(signum函數)返回其參數的正負號,同時如果非零則丟棄絕對值。該公式對所有指標有效,對於任何 n(當n = 0n = 1時是空乘積,例如乘以一)。以上計算需要O(n2)的時間複雜度,而可從其不相交循環排列的奇偶性質中,花費O(n log(n))的代價來計算。


兩個列維-奇維塔符號的積可以用一個以廣義克羅內克函數表示的矩陣的行列式求得:

應用和範例[编辑]

行列式[编辑]

线性代数中,3 × 3的方陣A = [aij]

行列式可以寫為:

類似地,n × n矩陣A = [aij]的行列式可以寫為:

其中每個ir應該總計超過1, …, n,或相等地:

現在每個ir和每個jr應該被加在1, …, n上。 更一般地說我們有,

向量的叉積[编辑]

,各分量

性質[编辑]

由列維-奇維塔符號給出(共變等級為n張量正交基礎中的組成部份,有時稱為“置換張量”。

根據普通的張量變換規則,列維-奇維塔符號在純旋轉下不變,與正交變換相關的所有座標系統(在定義上)相同。然而,列維-奇維塔符號是一種贗張量,因為在雅可比行列式−1的正交變換之下,例如,一個奇數維度的鏡射,如果它是一個張量,它“應該”有一個負號。由於它根本沒有改變,所以列維-奇維塔符號根據定義,是一個贗張量。

由於列維-奇維塔符號是贗張量,因此取叉積的結果是贗張量,而不是向量。

在一般座標變換下,置換張量的分量乘以变换矩阵雅可比。這表示在與定義張量的座標系不同的座標系中,其組成部份與列維-奇維塔符號表示的那些,不同之處在於一整體因子。如果座標是正交的,則根據座標的方向是否相同,因子將為±1。

在無索引的張量符號中,列維-奇維塔符號被霍奇对偶的概念所取代。

在使用張量的索引符號來操作分量的上下文中,列維-奇維塔符號可以將其索引寫為下標或上標,而不改變意義,這也許是方便的如下寫成:

在這些例子中,上標應該被視為與下標相同。

使用愛因斯坦標記法可消除求和符號,其中兩個或多個項之間重複的索引表示該索引的求和。例如,

.

以下的例子使用愛因斯坦標記法。

二維[编辑]

在二維上,當所有i,j,m,n各取值1和2時,

   
(1)

   

   
(2)

   

   
(3)

   

三維[编辑]

索引和符號值[编辑]

在三維中,當所有i,j,k,m,n各取值1,2和3時:

   
(4)

   

   
(5)

   

   
(6)

   

乘積[编辑]

列維-奇維塔符號與克罗内克函数有關。 在三維中,關係由以下等式給出(垂直線表示行列式):

這個結果的一個特例是(4):

有時候稱為“contracted epsilon identity”。

在愛因斯坦標記法中,i索引的重複表示i的總和。然後前一個被表示為εijkεimn = δjmδknδjnδkm

n[编辑]

索引和符號值[编辑]

n維中,當所有i1, …,in, j1, …, jn take values 1, 2, …, n

   
(7)

   

   
(8)

   

   
(9)

   

驚嘆號(!)代表階乘,而δα
β
是廣義克罗内克函数,對於任意n有屬性:

從以下事實可得出:

  • 每個排列是偶排列或奇排列,
  • (+1)2 = (−1)2 = 1,與
  • 任何n-元素集合的排列數正好是n!

乘積[编辑]

一般來說,對於n維,兩個列維-奇維塔符號的乘積可以寫成:

證明[编辑]