Quaternion product — Hamilton product: Question bank

3.5.7 · D5 · Physics › Guidance, Navigation & Control (GNC) › Quaternion product — Hamilton product

Shuru karne se pehle, ek anchor taaki koi bhi symbol bina matlab ke na rahe:

Definition Moving parts (ise khula rakho)

Ek quaternion hai $q = (w, v)$ : ek plain number $w$ (scalar part) ek arrow $v = (x, y, z)$ (vector part) ke saath juda hua. Neeche jo symbols milenge:

Basis units $i, j, k$ pure quaternions hain: $i = (0, (1, 0, 0))$ , $j = (0, (0, 1, 0))$ , $k = (0, (0, 0, 1))$ — har ek zero scalar ke saath ek coordinate axis se attached hai.
Conjugate $\overset{q}{ˉ}$ ("q-bar") vector part ka sign palat deta hai: $\overset{q}{ˉ} = (w, - v)$ . Yeh twist ko reverse karta hai jabki scalar ko waise hi rakhta hai.
Norm (length) $∣ q ∣ = w^{2} + x^{2} + y^{2} + z^{2}$ — charon numbers ki ordinary 4D length. Ek unit quaternion mein $∣ q ∣ = 1$ hota hai.
Hat $\overset{n}{^}$ ka matlab hai unit axis: length $1$ ka ek direction arrow (toh $∣ \overset{n}{^} ∣ = 1$ ), jis axis ke around tum spin karte ho usse name karne ke liye use hota hai.

$p = (w_{1}, v_{1})$ aur $q = (w_{2}, v_{2})$ ka Hamilton product hai: $pq = (scalar w_{1} w_{2} - v_{1} \cdot v_{2}, vector w_{1} v_{2} + w_{2} v_{1} + v_{1} \times v_{2})$ Yahan $v_{1} \cdot v_{2}$ (dot product) ek number hai jo "kitna aligned hai" measure karta hai, aur $v_{1} \times v_{2}$ (cross product, dekho Cross Product & Right-Hand Rule) ek arrow hai jo right-hand rule se sideways point karta hai.

True or false — justify karo

ij = k

aur

j i = k

dono sahi hain kyunki

i, j, k

bas fancy imaginary units hain.

Galat.

ij = k

hai lekin

j i = - k

; cross-product piece order swap karne par sign palat deta hai, isliye dono products alag hain.

Hamilton product commutative hai kyunki uske andar ka dot product commutative hai.

Galat. Dot term hai symmetric, lekin cross term

v_{1} \times v_{2}

anti-symmetric hai, aur woh akela term poore product ko non-commutative bana deta hai.

Do unit quaternions ka product hamesha ek aur unit quaternion hota hai.

Sahi. Norms multiply hote hain,

∣ pq ∣ = ∣ p ∣ ∣ q ∣

, toh

1 \times 1 = 1

— yahi wajah hai ki rotations chain karne par orientation kabhi rescale nahi hoti.

q_{A} q_{B}

ka matlab hai "pehle rotation

A

karo, phir

B

," English ki tarah left se right padho.

Galat. Hamilton convention right-to-left apply hoti hai:

q_{A} q_{B}

ka matlab hai pehle

B

, phir

A

. Sabse left wala factor sabse last act karta hai.

Quaternion multiplication ka non-commutative hona notation ki ek kami hai jo hum behtar convention se fix kar sakte hain.

Galat. Yeh physical reality ko mirror karta hai — 3D rotations sach mein commute nahi karte (roll-then-pitch

\neq =

pitch-then-roll), toh koi bhi faithful rule non-commutative hona hi chahiye.

Pure quaternion

u = (0, u)

ke liye, product

q u

pehle se hi rotated vector deta hai.

Galat. Ek akela product scalar leak karta hai aur length change karta hai; ek clean rotated pure quaternion ke liye tumhe sandwich

q u q^{- 1}

chahiye.

q = (cos \frac{θ}{2}, sin \frac{θ}{2} \overset{n}{^})

ke andar half-angle

θ /2

ek arbitrary convention hai.

Galat. Rotation sandwich

q u q^{- 1}

mein do baar apply hoti hai, isliye har factor ko half angle carry karna chahiye taaki total

θ

aaye.

Kyunki

ij k = - 1

aur

i^{2} = - 1

, quaternions bas extra letters wale complex numbers hain.

Galat.

C

mein

ab = ba

hota hai; quaternions non-commutative hain. Yahi extra structure hai jo 3D orientation encode karta hai.

Error pakdo

"Maine vector part sirf

v_{1} \times v_{2}

compute kiya."

Do scaling terms

w_{1} v_{2} + w_{2} v_{1}

missing hain; unhe drop karne se pure-spin (scalar-weighted) ki saari information chali jaati hai.

"Scalar part

w_{1} w_{2} + v_{1} \cdot v_{2}

hai."

Galat sign — yeh minus hai:

w_{1} w_{2} - v_{1} \cdot v_{2}

i^{2} = j^{2} = k^{2} = - 1

se aaya hua.

z

ke around rotate karo phir

x

ke around rotate karo, iske liye maine

q_{z} q_{x}

likha."

Ulta hai. "

z

ke baad

x

" ka matlab hai

x

last act karta hai, isliye last factor sabse left jaata hai:

q_{x} q_{z}

"Unit quaternions ke products unit rehte hain, isliye main apne filter mein kabhi renormalize nahi karta."

Exact math mein sahi, floating point mein galat — rounding hazaron gyro updates mein accumulate hoti hai, isliye tumhe periodically

q \leftarrow q /∣ q ∣

set karna hoga.

v_{1} \times v_{2}

symmetric hai, isliye main ise kisi bhi order mein compute kar sakta hoon."

Cross product anti-symmetric hai:

v_{2} \times v_{1} = - v_{1} \times v_{2}

. Order sign palat deta hai.

q^{- 1} = \overset{q}{ˉ}

hamesha hota hai, isliye main norm skip kar sakta hoon."

Sirf unit

q

ke liye. Generally

q^{- 1} = \overset{q}{ˉ} /∣ q ∣^{2}

jahan

\overset{q}{ˉ} = (w, - v)

;

∣ q ∣^{2}

bhool jaane se koi bhi non-unit quaternion misrotate aur rescale ho jaayega.

\overset{n}{^}

axis ke around

θ

rotation quaternion

(θ, \overset{n}{^})

hai."

Bilkul galat — yeh

(cos \frac{θ}{2}, sin \frac{θ}{2} \overset{n}{^})

hai; raw angle kabhi appear nahi hota, sirf uska half-angle cosine aur sine.

Why questions

Cross product kyun, aur dot product kyun nahi, non-commutativity ka kaaran banta hai?

Dot symmetric hai isliye dono taraf identical hai; sirf cross term swap karne par sign change karta hai, isliye wahi akela asymmetric contribution hai.

Hume vector ko sandwich

q u q^{- 1}

se rotate kyun karna chahiye, ek product ki jagah?

Sandwich har product ki scalar "leakage" cancel karta hai aur length preserve karta hai, ek pure quaternion same magnitude ka bacha ke — ek genuine rotation.

Gyro-integration filters Hamilton products kyun prefer karte hain rotation matrices stack karne ki jagah?

Sirf 4 numbers, har step mein koi trig nahi, aur unit-norm property automatically ek valid orientation preserve karti hai — sasta aur drift-resistant, dekho [[Quaternion Kinematics —

\overset{q}{˙} = \frac{1}{2} q ω

]].

Rotation quaternion ke andar half-angle kyun appear hota hai?

Kyunki vector ko conjugation se rotate kiya jaata hai,

q

effectively do baar apply hota hai; angle ko aadha karne se dono half-turns poore angle mein sum ho jaate hain.

ij = k

j k = i

k i = j

ek cyclic (right-handed) pattern kyun follow karte hain?

Units right-handed coordinate axes ki tarah cross product ke under behave karte hain (

\overset{x}{^} \times \overset{y}{^} = \overset{z}{^}

), isliye unke products same cyclic order inherit karte hain, dekho Cross Product & Right-Hand Rule.

Hamilton product rotation matrices multiply karne ke equivalent kyun hai?

Dono "ek rotation karo, phir doosra" ko ek single combined rotation ke roop mein encode karte hain; quaternion bas usi element ke liye 4-number coordinate hai Rotation Matrices — SO(3) mein.

Multiplicative EKF (MEKF) jaisa attitude filter corrections add karne ki jagah products kyun chain karta hai?

Rotations multiplicatively compose hote hain, additively nahi; quaternions add karne se woh unit sphere se bahar chale jaate hain aur rotation represent nahi karte, isliye corrections Hamilton multiplication se apply hone chahiye.

Edge cases

Unit quaternion ke liye

q \overset{q}{ˉ}

kya hai, aur kyun?

Yeh

(1, 0)

ke barabar hai, identity — kyunki unit

q

ke liye conjugate

\overset{q}{ˉ} = (w, - v)

uska inverse hai, aur ek rotation ke baad uska opposite karna kuch nahi karta.

q

aur

- q

dono same rotation describe karte hain — sahi ya galat?

Sahi. Charon numbers ko negate karne se half-angle

36 0^{\circ}

se palat jaata hai, yaani ek poora extra turn, jo physically identical hai; yahi rotations ka "double cover" hai.

Scalar quaternion

(1, 0)

se multiply karne par kya hota hai?

Kuch nahi — yeh multiplicative identity hai, kisi bhi quaternion ko unchanged chodta hai, bilkul waisa jaise rotation matrix ko

I

se multiply karna.

q = (1, 0)

kaunsa rotation represent karta hai?

Zero rotation (

θ = 0

), kyunki

cos 0 = 1

aur

sin 0 \overset{n}{^} = 0

— bilkul koi turn nahi.

Agar tum ek zero quaternion

(0, 0)

rotation ki jagah feed karo toh kya hota hai?

Yeh invalid hai: uski norm

∣ q ∣ = 0

hai, isliye uska koi inverse nahi aur yeh rotation represent nahi kar sakta; ek valid rotation quaternion ka unit-norm hona zaroori hai.

Agar

v_{1}

aur

v_{2}

parallel hain, toh cross term ka kya hoga?

Yeh vanish ho jaata hai (

v_{1} \times v_{2} = 0

), isliye us special case mein product commutative hai — parallel-axis rotations commute karte hain.

Agar

v_{1} ⊥ v_{2}

hai (jaise

i

aur

j

), toh dot term scalar part mein kya contribute karta hai?

Kuch nahi — dot

0

hai, isliye scalar part

w_{1} w_{2}

tak reduce ho jaata hai, aur saari action cross-product vector term mein hoti hai.

q q

(apne aap ke saath compose hua rotation) ka product kya hai?

Same axis ke around double angle ka rotation, kyunki half-angles add hokar

2 \cdot \frac{θ}{2} = θ

per factor dete hain, total

2 θ

— same axis, double turn.

Recall

Recall One-line self-test

Non-commutativity ka akela source? ::: cross-product term $v_{1} \times v_{2}$ .
Scalar part mein sign? ::: minus: $w_{1} w_{2} - v_{1} \cdot v_{2}$ .
$q_{A} q_{B}$ ka matlab? ::: pehle $B$ , phir $A$ (right-to-left).
$\overset{q}{ˉ}$ kya hai? ::: conjugate $(w, - v)$ — vector part ka sign palalta hai.
$∣ q ∣$ kaise compute hota hai? ::: $w^{2} + x^{2} + y^{2} + z^{2}$ , 4D length.

Connections

Quaternion product — Hamilton product — parent topic jise ye traps target karti hain.
Cross Product & Right-Hand Rule — cyclic units aur non-commutativity ki jad.
Rotation Matrices — SO(3) — product ka matrix equivalent.
Axis-Angle & Euler Rodrigues — jahan se half-angle aata hai.
Quaternion Kinematics — $\dot q = \tfrac12 q\,\omega$ — gyro integration mein products chain karna.
Multiplicative EKF (MEKF) — filters mein multiplicative corrections.
Gimbal Lock & Euler Angles — woh failure jisse quaternions bachate hain.

#flashcards/physics