跳至內容

七維叉積

本頁使用了標題或全文手工轉換
維基百科,自由的百科全書
線性代數
向量 · 向量空間 · 基底  · 行列式  · 矩陣

數學中,七維叉積七維空間向量雙線性算子。對於任何兩個向量ab,其叉積a × b也在[1]七維叉積和三維叉積相似在於,它們滿足反交換律a × b正交於ab;不同在於,七維叉積不滿足雅可比恆等式。雖然每對三維向量只有一個叉積(不辨正負),但每對七維向量可以有很多叉積。七維叉積與八元數的關係和三維叉積與四元數的一樣。

七維叉積是將三維以外的叉積廣義化的一個方式,而它和三維叉積是唯二結果為向量、正交於兩個向量,且大小與三維情況相同的二元雙線性向量積。[2]在其他維度中,一些結果為向量的向量積滿足這些條件,但它們是三個或以上的向量的運算;也有一些結果為二重向量的二元積。

乘數表

[編輯]

× e1 e2 e3 e4 e5 e6 e7
e1 0 e3 e2 e5 e4 e7 e6
e2 e3 0 e1 e6 e7 e4 e5
e3 e2 e1 0 e7 e6 e5 e4
e4 e5 e6 e7 0 e1 e2 e3
e5 e4 e7 e6 e1 0 e3 e2
e6 e7 e4 e5 e2 e3 0 e1
e7 e6 e5 e4 e3 e2 e1 0

七維叉積可以用乘數表表示。凱萊[3][4]所提供的乘數表顯示正交規範基向量eiej(其中ij從1到7)的叉積。例如,由該表可知,

乘數表可以用來計算任意兩個向量的叉積。例如,如果要計算x × ye1部分,我們可以選出叉積等於e1的基向量:

重複這個步驟,便可以計算其餘六個部分。

七維叉積有480個乘數表,每個都對應一個滿足定義的叉積。[5]以上乘數表可以用以下關係總結:[4]

其中是一個完全反對稱張量;當ijk = 123, 145, 176, 246, 257, 347, 365時,的值為+1。

該表左上的3 × 3區域代表三維的叉積。

定義

[編輯]

歐幾里得空間V中的叉積是V × VV雙線性映射,將V中的向量xy映射到V中的x × y,其中x × y具有以下性質:[1][6]

其中(x·y)為歐幾里得點積,而|x|為歐氏範數

第一個性質表明叉積垂直於其運算數,而第二個性質提供叉積的大小。設向量的夾角θ,則表示式可以表達為[7][8]

而它就是xy的平面中鄰邊為xy平行四邊形的面積。[9]大小條件的第三個表示式是

,則

(如果假設x × x = 0是另一個公理。[10]

定義性質的內涵

[編輯]

已知雙線性、正交和大小的性質,非零叉積僅存在於三維和七維。[2][8][10]如果假定叉積所需的性質,然後推斷一個只在0、1、3和7維滿足的方程式,我們便可得出這個結論。零維只有零向量,而一維的所有向量都是平行的,所以零維和一維的叉積必定等於零。這個維度限制與胡爾維茲定理有關:賦範可除代數只能存在於1、2、4和8維。如果將代數限制在0、1、3或7個虛維度,叉積則可以由賦範可除代數的積形成,而非零叉積僅存在於三維和七維。[11]

三維叉積是唯一的(不辨正負),但任何一對七維向量都有很多叉積。設一對向量xy和任一向量v,其中|v| = |x||y| sin θv在垂直於xy的五維空間中。通過乘數表(和一個有關的基向量集),我們可以求出一個叉積使得x × y = v。不像三維叉積一樣,x × y = a × b不代表ab位於xy所在的平面。[8]

根據定義,我們有以下性質和恆等式:

  1. 反交換律
  2. 純量三重積
  3. 馬爾采夫恆等式英語Malcev algebra[8]

一些性質成立於三維但不成立於七維,包括:

  1. 向量三重積
  2. 雅可比恆等式[8]

由於雅可比恆等式不成立,七維叉積使R7不具有李代數的結構。

坐標表示式

[編輯]

為定義某特定叉積,我們可以選定一個標準正交基{ej}和一個提供{ei × ej}全部的積的乘數表。乘數表一節只展示其中一個乘數表。[5]七維叉積有很多乘數表,因為每對單位向量垂直於五個其他單位向量,所以每個叉積都有很多選擇。

確立一個乘數表後,我們可以將它應用於一般向量xy:以基向量表示xy,然後根據二線性展開x × y

× e1 e2 e3 e4 e5 e6 e7
e1 0 e4 e7 e2 e6 e5 e3
e2 e4 0 e5 e1 e3 e7 e6
e3 e7 e5 0 e6 e2 e4 e1
e4 e2 e1 e6 0 e7 e3 e5
e5 e6 e3 e2 e7 0 e1 e4
e6 e5 e7 e4 e3 e1 0 e2
e7 e3 e6 e1 e5 e4 e2 0

如果我們為e1e7指定另一個乘數表,根據反交換律,所得的叉積為:[8]

這個規則可以簡化為

其中i = 1...7 mod 7,而指數ii + 1和i + 3可以循環移位。與反交換律結合,這個規則代表叉積。它直接產生乘數表中與零的對角線相鄰的兩個對角線。此外,根據內涵一節的一個恆等式,

這個規則能產生其他對角線,如此類推。

如果要求出叉積x × yej部分,我們可以選定乘數表中所有出現的ej,然後收集左列的對應x部分和上行的對應y部分,結果為:

其他乘數表

[編輯]
本條目所用的兩個乘數表的法諾平面。

本條目使用了兩個乘數表,但七維向量乘數表不止這些。[5]這些乘數表可以用法諾平面英語Fano plane總結。[12][13]法諾平面底下的數字表示七個不同叉積的指數集合,其中ijkei × ej = ek。我們可以根據連接任意三點的直線或中心的圓,加上箭頭所代表的正負,得出法諾圖所代表的乘數表。例如,第二個乘數表中的e1結果由第二個法諾圖中連接e1的三個路徑得出:圓路徑e2 × e4、斜路徑e3 × e7和邊路徑e6 × e1 = e5。根據上述其中一個恆等式,第三個算式可以寫成:

此外,在法諾圖中,一條直線上的任意兩個單位向量與該直線上的第三個單位向量有叉積關係,且正負取決於箭頭(單位向量的排列)。

考慮到基向量的所有可能排列,總共有480個乘數表,所以總共有480種叉積。[13]

利用幾何代數

[編輯]

叉積也可以用幾何代數計算。叉積以外積(exterior product)開始,而外積是結果為二重向量的兩個向量的積:

外積是雙線性的,滿足交錯性且具有所求的大小,但結果不是向量。向量和叉積由這個二重向量的積或三重向量英語trivector得出。三維中只有一個三重向量(不辨縮放因子),也就是該空間的贗純量。上述二重向量與其中一個單位三重向量的積則是該二重向量的對偶

七維也有類似的計算方式,但由於三重向量組成一個35維空間,我們可以使用很多三重向量,但不是所有三重向量都有用。其積等於上述坐標轉換的三重向量是

與外積結合,得叉積為

其中是幾何代數的左縮併(left contraction)算子。[8][14]

與八元數的關係

[編輯]

就像三維叉積可以用四元數表示,七維叉積可以用八元數表達。建立與虛八元數(中實數線的正交補餘)的關係後,叉積由以下方程以八元數乘數表示:

相反,設V為一個叉積為某向量的七維歐幾里得空間,則我們可以在上定義一個雙線性乘法如下:

因此,具有該乘法的空間與八元數同構。[15]

叉積僅存在於三維和七維,因為我們必然可以在高一個維度的空間定義乘法,而該空間需要得證為賦範可除代數。根據胡爾維茲定理,此類代數僅存在於1、2、4和8維,所以叉積必定存在於0、1、3和7維。零維和一維的叉積必然等於零,所以叉積僅存在於三維和七維。[16][17]

七維叉積之所以不能滿足雅可比恆等式,是因為八元數不滿足交換律。事實上,

其中[x, y, z]是結合子英語associator

旋轉

[編輯]

在三維,叉積在旋轉群SO(3)的作用下保持不變,所以xy被旋轉後,它們的叉積是x × y被旋轉後的像。然而,這個不變性不適用於七維:叉積在七維旋轉群SO(7)的作用下並非不變,但它在SO(7)的子群G2英語G2 (mathematics)李群下不變。[8][15]

廣義化

[編輯]

非零二元叉積僅存在於三維和七維。如果取消二元積的限制,其他維度也可以有叉積。[18][19]我們要求叉積是多重線性且滿足交錯性的,而且結果是一個正交於所有輸入向量ai的向量。由正交的規定得知,在n維中,叉積最多只能接受n − 1個向量。叉積的大小應該等於以這些向量為邊的超平行體的體積,而它可以用格拉姆行列式計算。叉積的條件是:

  • 正交:對於
  • 格拉姆行列式:

格拉姆行列式是以a1, ..., ak為邊的超平行體的體積的平方。

考慮到這些條件,非零叉積

  • 在三維和七維中是二元積;
  • n ≥ 3維中是n − 1個向量的積,而它是這些向量的外積的霍奇對偶
  • 在八維中是三個向量的積。

在八維中,三個向量的叉積可以用以下方程求出: 其中v是七維所用的三重向量,是左縮併算子,而w = −ve12...7是一個4-向量。

除此之外,如上文所述,零叉積存在於一維和零維。偶數維度也有其他「叉積」。它是一元函數,用適當的二重向量通過左縮併,輸出一個垂直於輸入向量但大小與其相同的向量。在二維中,這個運算相當於將向量經90度旋轉。

我們也可以解除多線性和大小的限制,考慮一個一般連續函數(其中是賦有歐幾里得內積的),它是滿足以下兩個性質的唯一條件:

  1. 叉積必定垂直於所有輸入函數。
  2. 如果輸入函數線性無關,則其叉積必定非零。

應用這些限制後,叉積只存在於;和的情況中。[1]

參見

[編輯]

參考文獻

[編輯]
  1. ^ 1.0 1.1 1.2 WS Massey. Cross products of vectors in higher dimensional Euclidean spaces. The American Mathematical Monthly (Mathematical Association of America). 1983, 90 (10): 697–701. JSTOR 2323537. doi:10.2307/2323537. 
  2. ^ 2.0 2.1 WS Massey. Cross products of vectors in higher dimensional Euclidean spaces. The American Mathematical Monthly. 1983, 90 (10): 697–701. JSTOR 2323537. doi:10.2307/2323537. If one requires only three basic properties of the cross product ... it turns out that a cross product of vectors exists only in 3-dimensional and 7-dimensional Euclidean space. 
  3. ^ G Gentili, C Stoppato, DC Struppa and F Vlacci. Recent developments for regular functions of a hypercomplex variable. Irene Sabadini; M Shapiro; F Sommen (編). Hypercomplex analysis Conference on quaternionic and Clifford analysis; proceedings. Birkhäuser. 2009: 168. ISBN 978-3-7643-9892-7. 
  4. ^ 4.0 4.1 Lev Vasilʹevitch Sabinin; Larissa Sbitneva; I. P. Shestakov. §17.2 Octonion algebra and its regular bimodule representation. Non-associative algebra and its applications. CRC Press. 2006: 235. ISBN 0-8247-2669-3. 
  5. ^ 5.0 5.1 5.2 Rafał Abłamowicz; Pertti Lounesto; Josep M. Parra. § Four octonionic basis numberings. Clifford algebras with numeric and symbolic computations. Birkhäuser. 1996: 202. ISBN 0-8176-3907-1. 
  6. ^ Mappings are restricted to be bilinear by (Massey 1993) and Robert B Brown & Alfred Gray. Vector cross products. Commentarii Mathematici Helvetici (Birkhäuser Basel). 1967, 42 (1/December): 222–236. S2CID 121135913. doi:10.1007/BF02564418. .
  7. ^ Francis Begnaud Hildebrand. Methods of applied mathematics Reprint of Prentice-Hall 1965 2nd. Courier Dover Publications. 1992: 24. ISBN 0-486-67002-3. 
  8. ^ 8.0 8.1 8.2 8.3 8.4 8.5 8.6 8.7 Lounesto, pp. 96–97
  9. ^ Kendall, M. G. A Course in the Geometry of N Dimensions. Courier Dover Publications. 2004: 19. ISBN 0-486-43927-5. 
  10. ^ 10.0 10.1 Z.K. Silagadze. Multi-dimensional vector product. Journal of Physics A: Mathematical and General. 2002, 35 (23): 4949–4953. Bibcode:2002JPhA...35.4949S. S2CID 119165783. arXiv:math.RA/0204357可免費查閱. doi:10.1088/0305-4470/35/23/310. 
  11. ^ Nathan Jacobson. Basic algebra I Reprint of Freeman 1974 2nd. Dover Publications. 2009: 417–427. ISBN 978-0-486-47189-1. 
  12. ^ Rafał Abłamowicz; Bertfried Fauser. Clifford Algebras and Their Applications in Mathematical Physics: Algebra and physics. Springer. 2000: 26. ISBN 0-8176-4182-3. 
  13. ^ 13.0 13.1 Jörg Schray; Corinne A. Manogue. Octonionic representations of Clifford algebras and triality. Foundations of Physics. 1996, 26 (1/January): 17–70. Bibcode:1996FoPh...26...17S. S2CID 119604596. arXiv:hep-th/9407179可免費查閱. doi:10.1007/BF02058887.  Available as ArXive preprint頁面存檔備份,存於互聯網檔案館) Figure 1 is located here頁面存檔備份,存於互聯網檔案館).
  14. ^ Bertfried Fauser. §18.4.2 Contractions. Pertti Lounesto; Rafał Abłamowicz (編). Clifford algebras: applications to mathematics, physics, and engineering. Birkhäuser. 2004: 292 ff. ISBN 0-8176-3525-4. 
  15. ^ 15.0 15.1 John C. Baez. The Octonions (PDF). Bull. Amer. Math. Soc. 2002, 39 (2): 145–205. S2CID 586512. arXiv:math/0105155可免費查閱. doi:10.1090/s0273-0979-01-00934-x. (原始內容 (PDF)存檔於2010-07-07). 
  16. ^ Elduque, Alberto. Vector cross products (PDF). 2004 [2023-11-17]. (原始內容存檔 (PDF)於2011-06-08). 
  17. ^ Darpö, Erik. Vector product algebras. Bulletin of the London Mathematical Society. 2009, 41 (5): 898–902. S2CID 122615967. arXiv:0810.5464可免費查閱. doi:10.1112/blms/bdp066.  See also: Real vector product algebras. CiteSeerX 10.1.1.66.4可免費查閱. 
  18. ^ Lounesto, §7.5: Cross products of k vectors in , p. 98
  19. ^ Jean H. Gallier. Problem 7.10 (2). Geometric methods and applications: for computer science and engineering. Springer. 2001: 244. ISBN 0-387-95044-3.