在數學和向量代數領域,外積(英語:external product)又稱叉積(cross product)、叉乘、向量積(vector product),是對三維空間中的兩個向量的二元運算,使用符號。與內積不同,它的運算結果是向量。對於線性無關的兩個向量和,它們的外積寫作,是和所在平面的法線向量,與和都垂直。外積被廣泛運用於數學、物理、工程學、計算機科學領域。
如果兩個向量方向相同或相反(即它們沒有線性無關的分量),亦或任意一個的長度為零,那麼它們的外積為零。推廣開來,外積的模長和以這兩個向量為邊的平行四邊形的面積相等;如果兩個向量成直角,它們外積的模長即為兩者長度的乘積。
外積和內積一樣依賴於歐幾里德空間的度量,但與內積之不同的是,外積還依賴於定向或右手定則。
叉積的名稱源自表示叉積運算的叉乘號(),讀作a cross b
,向量積的叫法則是在強調其運算結果為向量而非純量。向量的另一種乘法是內積(),讀作a dot b
,其結果為純量,稱為內積或數量積或純量積。
定義
兩個向量和的外積僅在三維空間中有定義,寫作。在物理學中,外積有時也被寫成,但在數學中是外代數中的外積。
外積是與和都垂直的向量。其方向由右手定則決定,範數等於以兩個向量為邊的平行四邊形的面積。
外積可以定義為:
其中表示和在它們所定義的平面上的夾角()。和是向量和的模長,而則是一個與、所構成的平面垂直的單位向量,方向由右手定則決定。根據上述公式,當與平行(即為0°或180°)時,它們的外積為零向量。
按照慣例,向量的方向由右手定則決定:將右手食指指向的方向、中指指向的方向,則此時拇指的方向即為的方向。使用這一定則意味着外積滿足反交換律,:將右手食指指向、中指指向,那麼拇指就必定指向相反方向,即翻轉了外積的符號。
由此可以看出,使用外積需要考慮坐標系的利手性(英語:Handedness),如果使用的是左手坐標系,向量的方向需要使用左手定則決定,與右手坐標系中的方向相反。
這樣就會帶來一個問題:參照系的轉換不應該影響的方向(例如從右手坐標繫到左手坐標系的鏡像轉換)。因此,兩個向量的外積並不是(真)向量,而是贗向量。
計算
右手坐標系中,基向量、、滿足以下等式:
根據反交換律可以得出:
根據外積的定義可以得出:
- (零向量)。
根據以上等式,結合外積的分配律和線性關係,就可以確定任意向量的外積。
向量和可以定義為平行於基向量的三個正交元素之和:
兩者的外積可以根據分配律展開:
即把分解為九個僅涉及、、的簡單外積之和。九個外積各自所涉及的向量,要麼相互平行、要麼相互正交。將最前面所述的幾個等式帶入其中,然後合併同類項,可以得到:
即結果向量的三個純量元素為:
也可以記作列向量的形式:
外積可以表達為這樣的行列式:
這個行列式可以使用薩呂法則或拉普拉斯展開計算。使用薩呂法則可以展開為:
都可以直接得到結果向量。
性質
對於任意三個向量、、,
一般來說,向量外積不遵守約簡律,即不表示。此外,不表示或。
但對於兩個非零向量和,
- 當且僅當 平行於
如果以向量和為邊構成一個平行四邊形,那麼這兩個向量外積的範數與這個平行四邊形的正面積相等(如圖1):
同時,如果以向量、、為棱構成一個平行六面體,那麼這個平行六面體的體積也可以通過外積和內積的組合得到,這種積稱作純量三重積(如圖2):
因為純量三重積可能為負,平行六面體的體積需要取其絕對值:
因為外積的模長與其參數夾角的正弦有關,可以認為外積是「垂直度」的度量,正如內積是「平行度」的度量一樣。對於任意兩個單位向量,外積為1意味着它們互相垂直,外積為0意味着它們互相平行。內積則相反:內積為0意味着它們互相垂直。
單位向量還能帶來兩個特性:兩個單位向量的內積是它們夾角的餘弦(可正可負);它們外積的模長則為夾角的正弦(始終為正)。
對於實數和兩個向量值函數、,乘積法則成立:
三維坐標
給定直角坐標系的單位向量,,滿足下列等式:
- 、、
通過這些規則,兩個向量的外積的坐標可以方便地計算出來,不需要考慮任何角度:設
則
外積也可以用四元數來表示。注意到上述、、之間的外積滿足四元數的乘法。一般而言,若將向量[a1, a2, a3]表示成四元數a1i + a2j + a3k,兩個向量的外積可以這樣計算:計算兩個四元數的乘積得到一個四元數,並將這個四元數的實部去掉,即為結果。更多關於四元數乘法,向量運算及其幾何意義請參見四元數與空間旋轉。
高維情形
七維向量的外積可以通過八元數得到,與上述的四元數方法相同。
七維外積具有與三維外積相似的性質:
- 雙線性性:
- 反交換律:
- 同時與和垂直:
- 不同於三維情形,它並不滿足雅可比恆等式:
應用
另外,在物理學力學、電磁學、光學和計算機圖形學等理工學科中,外積應用十分廣泛。例如力矩、角動量、洛倫茲力等向量都可以由向量的外積求解。在進行這些物理量的計算時,往往可以藉助右手定則輔助判斷方向。
歷史
此章節翻譯品質不佳。 (2021年6月9日) |
1773年,約瑟夫·拉格朗日引入了內積和叉積的概念來研究三維空間中的四面體。1843年,威廉·哈密頓引入了四元數乘法,同時區分了「向(矢)量」和「純量」的概念。給定兩個四元數[0,u]和[0,v],其中u和v是空間中的向量,使得其乘積可以寫成為的形式。詹姆斯·克拉克·麥克斯韋在四元數的基礎建立了著名的麥克斯韋方程組。四元數因此(同時也因為其他方面的)應用,在很長一段時間內都是物理學教育的必備內容。
在1878年威廉·金頓·克里福在發表的《Elements of Dynamic》中將兩個向量的叉積的範數定義為以這兩個向量為邊的平行四邊形的面積,且在在方向上垂直於它們所確定的平面。
四元數方法通常需要提取結果中的純量和向量部分的資訊,因此奧利弗·亥維賽和喬賽亞·威拉德·吉布斯都認為其過於冗長。於是在四元數乘法被引入約四十年後,他們在激烈的反對聲中引入了內積和叉積以作為替代方案。新方法在效率上的便捷最終得到了一致認可,使得亥維賽可以將麥克斯韋方程組由最初的20個減為今天常見的4個。
在很大程度上獨立於這種發展,而且當時基本上不受歡迎,赫爾曼·格拉斯曼發明了一種與二維和三維空間無關幾何代數,外積在其中起着中心作用。在1853年,與格拉斯曼同時代的人奧古斯丁·路易·柯西發表了一篇關於代數鍵的文章。代數鍵可用於求解方程,且和叉積有着相同的乘法特性。克里福將哈密頓和格拉斯曼的代數結合起來,創建了克里福代數。在三維向量的情況下,由兩個向量產生的雙向量二重化為一個向量,從而產生叉積。
交叉符號和「叉積」這個名字是從喬賽亞·威拉德·吉布斯開始的,它們最初出現在1881年給他的學生的私人出版筆記中,叫做《向量分析的元素》。吉布斯的符號以及「叉乘」這個名字後來通過他以前的學生埃德溫·B·威爾遜編寫的教科書《向量分析》(Vector Analysis)獲得了廣泛的讀者。威爾遜從吉布斯的課件中重新組織了材料,以及Heaviside,Föpps和Hamilton出版的材料。他把向量分析分為下列三個部分:
第一,關於向量的加法和純量與向量的乘積。第二,關於微分和積分與純量函數和向量函數的關係。第三,包含了線性向量函數的理論。
定義了兩個主要的向量乘法,稱為:
- 兩個向量的直接乘,純量乘或者點乘。
- 兩個向量的斜乘,向量乘或叉乘。
還研究了幾種三重積和三重以上向量的乘積。還包括上述的三重積擴展。
參見
參考文獻
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.