您可以用西克拉德(“幾何”)代數對向量進行除法。
向量的幾何積是相關的:
$$ abc =( ab)c = a(bc)$$
並且向量與自身的幾何積是標量。
$$ aa = | a | ^ 2 $$
這些都是定義向量的唯一乘積所需的所有屬性。可以導出所有其他屬性。但是,我將它們歸納起來:對於兩個向量,幾何乘積將點乘積和叉乘積結合起來。
$$ ab = a \ cdot b + a \ wedge b $$
我們使用楔形而不是十字形,因為第二個項不是。我們稱其為 bivector ,它代表一個定向平面。引入一個基礎來了解這一點可能是有益的。 $ e_1 e_1 = e_2 e_2 = 1 $和$ e_1 e_2 = -e_2 e_1 $捕獲這些正交法向量的幾何乘積屬性。則幾何乘積為
$$ ab =(a ^ 1 e_1 + a ^ 2 e_2)(b ^ 1 e_1 + b ^ 2 e_2)=(a ^ 1 b ^ 1 + a ^ 2 b ^ 2)+(a ^ 1 b ^ 2-a ^ 2 b ^ 1)e_1 e_2 $$
如我所說,兩個向量的幾何積在歐幾里得空間中是可逆的。從關聯屬性可以明顯看出:$ a b b ^ {-1} = a(b b ^ {-1})= a $。 $ bb ^ {-1} = 1 $表示
$$ b ^ {-1} = b / | b | ^ 2 $$
看看數量$ a =(ab)b ^ {-1} $,使用分組將其分解為另一種方式。
$$ a =(ab)b ^ {-1} =(a \ cdot b)b ^ {-1} +(a \ wedge b)\ cdot b ^ {-1} $$
第一個項的方向是$ b $,第二個項的正交於$ b $。這會將$ a $分解為$ a_ \ parallel $和$ a_ \ perp $。
其他人所說的是對的,您不能僅將向量叉積定義為是可逆的。這種分解應該說服您-如果沒有點積和叉積的信息,就無法完全重構向量。就像已經說過的那樣,該產品是非可交換的。