四元數旋轉

Previous四元數外積 Next代數

Last updated 2 years ago

Was this helpful?

四元數旋轉

⟩ ⟩ ⟩ 旋轉

若定義 $\rho: \mathbb{H} \to \mathbb{H}$ 為

$\rho_{{\color{red}a}}( \mathbf{p} ) = \mathbf{{\color{red}a}} \mathbf{p} \mathbf{{\color{red}a}}^{-1}$

其中 $\mathbf{a} \neq 0 , \mathbf{a} \in \mathbb{H}$ ，則 $\rho$ 可視為「」。

$\rho(\mathbf{p+q}) = \rho(\mathbf{p}) + \rho(\mathbf{q})$
$\rho({\color{orange}k} \mathbf{p}) = {\color{orange}k} \ \rho(\mathbf{p})$ ( ${\color{orange}k} \in \mathbb{R}$ )

🎖 證明：
由以上兩點可知： $\rho$ 是一個「」。

$\overline{\rho(\mathbf{p})} = \rho(\mathbf{\overline{p}})$ ⭐️
$\rho(\mathbf{p})$ is "pure" scalar/vector $\iff$ $\mathbf{p}$ is "pure" scalar/vector
$\rho({\color{orange}{k}}) = {\color{orange}{k}}$ ( ${\color{orange}k} \in \mathbb{R}$ )
$\rho({\color{orange}s}+\mathbf{u}) = {\color{orange}s} + \rho(\mathbf{u})$ ，其中 $\rho(\mathbf{u})$ 為純向量。

🎖 證明：
從 (4)(5)(6) 知： $\rho$ 不會改變純量的部分，只有對向量部分造成影響。

$\rho(\mathbf{uv}) = \rho(\mathbf{u}) \rho(\mathbf{v})$
(1) $\rho(\mathbf{u \cdot v}) = \mathbf{u \cdot v}= \rho(\mathbf{u}) \cdot \rho(\mathbf{v})$ (2) $\rho(\mathbf{u \times v}) = \rho(\mathbf{u}) \times \rho(\mathbf{v})$ (3) $\rho( \mathbf{a} ) = \mathbf{{\color{red}a}} \mathbf{a} \mathbf{{\color{red}a}}^{-1} = \mathbf{{\color{red}a}}$

🎖 證明：
從 8. (1) 知： $\rho$ 可以保，因此可以保長度與向量夾角。
從 8. (2) 知： $\rho$ 可以保，因此可以保方向性 (handedness)。
從 8. (3) 知： $\rho$ 不會改變 $\mathbf{a}$ 的方向。
️️⭐️ 所以從以上三點，我們可以將 $\rho$ 看成「」。

事實上，上面三式中的純向量改為一般的四元數還是成立的：

(1) $\rho(\mathbf{p q}) = \rho(\mathbf{p}) \rho(\mathbf{q})$ (2) $\rho(\mathbf{p \cdot q}) = \rho(\mathbf{p}) \cdot \rho(\mathbf{q})$ (3) $\rho(\mathbf{p \times q}) = \rho(\mathbf{p}) \times \rho(\mathbf{q})$

$\rho_{{\color{orange}k}a} = \rho_{a}$
$\rho_{a} \circ \rho_{b} = \rho_{ab}$

⭐️ 由 10. 知：改變 $\mathbf{a}$ 的倍數，並不會改變旋轉的結果。
️️⭐️ 由 11. 知：兩個旋轉的合成，依然是一個旋轉，只是軸的方向改變而已。

如果我們將「R³ 中的旋轉」擴充至四元數 $\rho: \mathbb{H} \to \mathbb{H}$ ，並定義：

$\rho({\color{orange}s}+\mathbf{u}) = {\color{orange}s} + \rho(\mathbf{u})$

則原來「旋轉變換的條件」可改寫為：

$\rho(\mathbf{u} \cdot \mathbf{v}) = \rho(\mathbf{u}) \cdot \rho(\mathbf{v})$
$\rho(\mathbf{u} \times \mathbf{v}) = \rho(\mathbf{u}) \times \rho(\mathbf{v})$

(註： $\mathbf{u} \cdot \mathbf{v}$ 為純量，所以根據擴充定義 $\rho(\mathbf{u} \cdot \mathbf{v}) = \mathbf{u} \cdot \mathbf{v}$ )

$\mathbf{u} \mathbf{v} = (\mathbf{u} \times \mathbf{v}) -(\mathbf{u} \cdot \mathbf{v})$

據此可推得：

因此我們可以將「旋轉變換的兩條件」可改為一個條件：

$\rho(\mathbf{uv}) = \rho(\mathbf{u}) \rho(\mathbf{v})$

Previous四元數外積 Next代數

Last updated 2 years ago

Was this helpful?

⟩ ⟩ ⟩ 旋轉

若定義 $\rho: \mathbb{H} \to \mathbb{H}$ 為

$\rho_{{\color{red}a}}( \mathbf{p} ) = \mathbf{{\color{red}a}} \mathbf{p} \mathbf{{\color{red}a}}^{-1}$

其中 $\mathbf{a} \neq 0 , \mathbf{a} \in \mathbb{H}$ ，則 $\rho$ 可視為「」。

$\rho(\mathbf{p+q}) = \rho(\mathbf{p}) + \rho(\mathbf{q})$
$\rho({\color{orange}k} \mathbf{p}) = {\color{orange}k} \ \rho(\mathbf{p})$ ( ${\color{orange}k} \in \mathbb{R}$ )

🎖 證明：
由以上兩點可知： $\rho$ 是一個「」。

$\overline{\rho(\mathbf{p})} = \rho(\mathbf{\overline{p}})$ ⭐️
$\rho(\mathbf{p})$ is "pure" scalar/vector $\iff$ $\mathbf{p}$ is "pure" scalar/vector
$\rho({\color{orange}{k}}) = {\color{orange}{k}}$ ( ${\color{orange}k} \in \mathbb{R}$ )
$\rho({\color{orange}s}+\mathbf{u}) = {\color{orange}s} + \rho(\mathbf{u})$ ，其中 $\rho(\mathbf{u})$ 為純向量。

🎖 證明：
從 (4)(5)(6) 知： $\rho$ 不會改變純量的部分，只有對向量部分造成影響。

$\rho(\mathbf{uv}) = \rho(\mathbf{u}) \rho(\mathbf{v})$
(1) $\rho(\mathbf{u \cdot v}) = \mathbf{u \cdot v}= \rho(\mathbf{u}) \cdot \rho(\mathbf{v})$ (2) $\rho(\mathbf{u \times v}) = \rho(\mathbf{u}) \times \rho(\mathbf{v})$ (3) $\rho( \mathbf{a} ) = \mathbf{{\color{red}a}} \mathbf{a} \mathbf{{\color{red}a}}^{-1} = \mathbf{{\color{red}a}}$

🎖 證明：
從 8. (1) 知： $\rho$ 可以保，因此可以保長度與向量夾角。
從 8. (2) 知： $\rho$ 可以保，因此可以保方向性 (handedness)。
從 8. (3) 知： $\rho$ 不會改變 $\mathbf{a}$ 的方向。
️️⭐️ 所以從以上三點，我們可以將 $\rho$ 看成「」。

事實上，上面三式中的純向量改為一般的四元數還是成立的：

(1) $\rho(\mathbf{p q}) = \rho(\mathbf{p}) \rho(\mathbf{q})$ (2) $\rho(\mathbf{p \cdot q}) = \rho(\mathbf{p}) \cdot \rho(\mathbf{q})$ (3) $\rho(\mathbf{p \times q}) = \rho(\mathbf{p}) \times \rho(\mathbf{q})$

🎖 證明：

$\rho_{{\color{orange}k}a} = \rho_{a}$
$\rho_{a} \circ \rho_{b} = \rho_{ab}$

🎖 證明：
⭐️ 由 10. 知：改變 $\mathbf{a}$ 的倍數，並不會改變旋轉的結果。
️️⭐️ 由 11. 知：兩個旋轉的合成，依然是一個旋轉，只是軸的方向改變而已。

若 $\mathbf{a} = {\color{orange} \cos\frac{\theta}{2}} + {\color{orange} \sin\frac{\theta}{2}} \mathbf{u}$ ，其中 $\mathbf{u}$ 為單位向量，則： $\rho_{{\color{red}a}}( \mathbf{p} ) = \mathbf{{\color{red}a}} \mathbf{p} \mathbf{{\color{red}a}}^{-1}$ 為繞 $\mathbf{u}$ 旋轉 $\theta$ 角的。

🎖 證明：（先備：繞軸旋轉矩陣）

如果我們將「R³ 中的旋轉」擴充至四元數 $\rho: \mathbb{H} \to \mathbb{H}$ ，並定義：

$\rho({\color{orange}s}+\mathbf{u}) = {\color{orange}s} + \rho(\mathbf{u})$

則原來「旋轉變換的條件」可改寫為：

$\rho(\mathbf{u} \cdot \mathbf{v}) = \rho(\mathbf{u}) \cdot \rho(\mathbf{v})$
$\rho(\mathbf{u} \times \mathbf{v}) = \rho(\mathbf{u}) \times \rho(\mathbf{v})$

(註： $\mathbf{u} \cdot \mathbf{v}$ 為純量，所以根據擴充定義 $\rho(\mathbf{u} \cdot \mathbf{v}) = \mathbf{u} \cdot \mathbf{v}$ )

但從「四元數」知：

$\mathbf{u} \mathbf{v} = (\mathbf{u} \times \mathbf{v}) -(\mathbf{u} \cdot \mathbf{v})$

據此可推得：

因此我們可以將「旋轉變換的兩條件」可改為一個條件：

$\rho(\mathbf{uv}) = \rho(\mathbf{u}) \rho(\mathbf{v})$

若 $\mathbf{a} = {\color{orange} \cos\frac{\theta}{2}} + {\color{orange} \sin\frac{\theta}{2}} \mathbf{u}$ ，其中 $\mathbf{u}$ 為單位向量，則： $\rho_{{\color{red}a}}( \mathbf{p} ) = \mathbf{{\color{red}a}} \mathbf{p} \mathbf{{\color{red}a}}^{-1}$ 為繞 $\mathbf{u}$ 旋轉 $\theta$ 角的。