example of quaternion norm | Physics Library

Quaternion Norm: Examples, Exercises, and Solutions

This entry is the self study companion to quaternion norm.

The quaternion norm is the Euclidean length of the four real quaternion components. It is also the square root of the real quaternion product qq^∗. The norm is positive, multiplicative, and central to normalization and to the use of unit quaternions for three dimensional orientation.

All exercises are stated first. Complete worked solutions follow afterward.

1 Formula summary

For

q = q + q i + q j + q k, w x y z

(1)

the conjugate is

q∗ = qw − qxi − qyj − qzk.

The squared norm is

∥q ∥2 = qq∗ = q∗q = q2 + q2+ q2+ q2. w x y z

(2)

Therefore

∘ ----------------- ∥q∥ = q2w + q2x + q2y + q2z.

(3)

A unit quaternion satisfies

∥q∥ = 1.

(4)

For nonzero q, its normalized quaternion is

^q = -q-. ∥q∥

(5)

The quaternion norm is multiplicative:

∥pq ∥ = ∥p∥∥q∥.

(6)

For a real scalar λ,

∥ λq∥ = |λ|∥q∥.

(7)

The set of unit quaternions is the unit three sphere

S3 = {q ∈ ℍ : ∥q∥ = 1} .

(8)

2 Exercises

Direct norm calculation.
For

$q = 2 − i + 2j + 2k,$
compute

$2 ∥q ∥$
and

$∥q∥.$
Norm from $∗ qq$ .
Using the same quaternion as Exercise 1, compute q^∗ and evaluate qq^∗ directly.
Verify that the result equals ∥q∥².
Real and pure quaternion norms.
Compute the norms of

$r = − 7$
and

$v = 3i − 4j + 12k.$
Relate the pure quaternion norm to the ordinary three dimensional Euclidean vector magnitude.
Positive definiteness.
Prove that

$∥q∥ ≥ 0$ (9)

for every quaternion and that

$∥q∥ = 0$ (10)

if and only if

$q = 0.$
Scaling law.
For real λ, prove

$∥ λq∥ = |λ|∥q∥.$
Then use

$q = 1 − 2i + 2j$
and

$λ = − 3$
as a numerical check.
Normalize a quaternion.
Normalize

$⌊ ⌋ 2 || − 1 || q = ⌈ 2 ⌉ . 2$
Verify explicitly that the normalized quaternion has unit norm.
Normalization removes positive scale.
Let

$p = 5q$
for a nonzero quaternion q.
Prove that

$p q ----= ----. ∥p∥ ∥q∥$
What changes if

$p = − 5q?$
$q$ and $− q$ have the same norm.
Prove

$∥− q ∥ = ∥q∥.$
For unit attitude quaternions, explain why this fact is compatible with the usual double representation of physical orientation.
Unit axis angle quaternion.
Let

$𝜃- 𝜃- q = cos 2 − ^u sin 2,$
where u is a unit pure quaternion.
Prove that

$∥q∥ = 1$
for every real 𝜃.
A nonunit axis angle lookalike.
Suppose

$q = cos30 ∘ − 2k sin30 ∘.$
Compute ∥q∥.
Explain why merely resembling an axis angle formula does not guarantee unit norm.
Prove multiplicativity.
Using

$2 ∗ ∥q ∥ = qq$
and

$∗ ∗ ∗ (pq) = q p ,$
prove

$∥pq∥2 = ∥p∥2 ∥q∥2.$ (11)

Then conclude

$∥pq ∥ = ∥p∥∥q∥.$
Numerical multiplicativity check.
Let

$p = 1 + i + j + k$
and

$q = 2 − i + 2j.$
Compute ∥p∥, ∥q∥, pq, and ∥pq∥.
Verify multiplicativity numerically.
Norm of a power.
Using multiplicativity, prove that for every positive integer n,

$∥qn ∥ = ∥q∥n.$ (12)

What follows when q is unit?
Unit quaternions are closed under multiplication.
Let p and q both satisfy

$∥p ∥ = ∥q∥ = 1.$
Prove that

$∥pq∥ = 1.$
Explain why this closure property is important for composing orientation quaternions.
Normalization and numerical drift.
A computed quaternion state is

$⌊ 0.9997 ⌋ | | q = | 0.0100 | . ⌈− 0.0050⌉ 0.0200$
Compute its norm to at least six significant digits and normalize it.
How large is the norm correction?
Norm, storage order, and attitude convention.
Package A stores a quaternion scalar first,

$[q ,q ,q ,q ], w x y z$
while Package B stores the same semantic quaternion scalar last,

$[qx,qy,qz,qw].$
Show that both packages must compute the same Euclidean norm.
Then explain why changing from an active attitude convention to the PhysicsLibrary passive convention does not change the definition of quaternion norm.

3 Solutions

Solution 1: direct norm calculation

For

q = 2 − i + 2j + 2k,

the squared norm is

2 2 2 2 2 ∥q∥ = 2 + (− 1) + 2 + 2 = 4 + 1 + 4 + 4 = 13.

Therefore

∥q∥2 = 13

(13)

and

√ --- ∥q∥ = 13.

(14)

Solution 2: norm from $qq∗$

The conjugate is

∗ q = 2 + i − 2j − 2k.

The product is

∗ qq = (2 − i + 2j + 2k)(2 + i − 2j − 2k ).

The vector terms cancel, leaving

qq∗ = 22 + (− 1)2 + 22 + 22.

Hence

qq∗ = 13.

(15)

This agrees with

∥q∥2 = 13.

Solution 3: real and pure quaternion norms

For

r = − 7,

the norm is

∥r ∥ = | − 7| = 7.

(16)

For

v = 3i − 4j + 12k,

we have

∘ ----------------- ∥v∥ = 32 + (− 4)2 + 122 √------------- = 9 + 16 + 144 √---- = 169 = 13.

Therefore

∥v∥ = 13.

(17)

A pure quaternion has zero scalar component, so its quaternion norm is exactly the ordinary Euclidean magnitude of its three vector components.

Solution 4: positive definiteness

The squared norm is

2 2 2 2 2 ∥q ∥ = qw + qx + qy + qz.

Every squared real number is nonnegative, so

∥q∥2 ≥ 0.

Taking the principal square root gives

∥q∥ ≥ 0.

(18)

q = 0,

then every component vanishes, so clearly

∥q∥ = 0.

Conversely, if

∥q∥ = 0,

then

2 2 2 2 qw + qx + qy + qz = 0.

A sum of nonnegative real numbers can equal zero only when every term is zero. Thus

qw = qx = qy = qz = 0.

Hence

∥q∥ = 0 ⇐ ⇒ q = 0.

(19)

Solution 5: scaling law

Let

q = qw + qxi + qyj + qzk.

Then

λq = λqw + λqxi + λqyj + λqzk.

Therefore

∘ --2--2----2---2----2- ∥ λq∥ = λ (qw + qx + qy + qz) = |λ|∥q∥.

Thus

∥ λq∥ = |λ|∥q∥.

(20)

For

q = 1 − 2i + 2j,

∥q∥ = √1--+-4 +-4 = 3.

With λ = −3,

∥− 3q∥ = 3(3) = 9.

Directly,

− 3q = − 3 + 6i − 6j,

whose norm is

√9-+--36 +-36 = 9.

Solution 6: normalize a quaternion

For

⌊ ⌋ | 2 | q = | − 1 | , ⌈ 2 ⌉ 2

the norm is

√ --- ∥q∥ = 13.

Therefore

⌊ ⌋ 2 ^q = √1---||− 1|| . 13 ⌈ 2 ⌉ 2

(21)

Its squared norm is

2 1-- ∥ ^q∥ = 13(4 + 1 + 4 + 4) = 1.

Thus

∥^q∥ = 1.

(22)

Solution 7: normalization removes positive scale

Let

p = 5q.

By the scaling law,

∥p∥ = 5∥q ∥.

Therefore

-p-- -5q-- -q-- ∥p∥ = 5∥q∥ = ∥q∥ .

Hence

-p-- -q-- ∥p∥ = ∥q∥ .

(23)

p = − 5q,

then

∥p∥ = 5∥q ∥,

-p-- -q-- ∥p ∥ = − ∥q∥ .

Thus a negative real scale produces the negative normalized quaternion.

For unit attitude quaternions, that negative quaternion represents the same physical orientation, although it is a different point on S³.

Solution 8: $q$ and $− q$ have the same norm

Use the scaling law with λ = −1:

∥− q∥ = | − 1|∥q ∥.

Therefore

∥− q ∥ = ∥q∥.

(24)

For unit attitude quaternions,

∥q ∥ = ∥− q∥ = 1.

The two antipodal points q and −q on S³ represent the same physical orientation.

Thus equal norm is consistent with the usual double representation of the rotation group.

Solution 9: unit axis angle quaternion

Let

𝜃 𝜃 q = cos --− ^u sin -, 2 2

where

∥ ^u∥ = 1.

The squared norm is

∥∥ ∥∥2 ∥q∥2 = cos2 𝜃-+ ∥ ^u sin 𝜃∥ 2 ∥ 2∥ 𝜃 𝜃 = cos2--+ sin2 -∥^u ∥2 2 2 = cos2 𝜃-+ sin2 𝜃 2 2 = 1.

Therefore

∥q∥ = 1.

(25)

The negative vector sign required by the passive convention has no effect on the norm because the vector components are squared.

Solution 10: a nonunit axis angle lookalike

We have

∘ ∘ q = cos30 − 2k sin30 .

Since

√ -- ∘ --3- cos30 = 2

and

2 sin 30∘ = 1,

the quaternion is

√ -- 3 q = ----− k. 2

Thus

∥q∥2 = 3-+ 1 4 7 = 4.

Therefore

√ -- 7 ∥q ∥ = ---. 2

(26)

The axis coefficient has magnitude 2 rather than 1, so the pure direction being used is not a unit axis. The trigonometric appearance alone does not guarantee unit norm.

Solution 11: prove multiplicativity

Start with

2 ∗ ∥pq∥ = (pq)(pq) .

Use product reversal under conjugation:

(pq)∗ = q∗p∗.

Then

∥pq∥2 = (pq)(q∗p∗) ∗ ∗ = p(qq )p .

The quantity qq^∗ is real:

qq∗ = ∥q∥2.

Real scalars commute with every quaternion, so

∥pq∥2 = ∥q∥2pp ∗ 2 2 = ∥q∥ ∥p ∥ .

Therefore

∥pq∥2 = ∥p∥2 ∥q∥2.

(27)

All norms are nonnegative, so taking square roots yields

∥pq ∥ = ∥p∥∥q∥.

(28)

Solution 12: numerical multiplicativity check

For

p = 1 + i + j + k,

√ ------------- ∥p∥ = 1 + 1 + 1 + 1 = 2.

For

q = 2 − i + 2j,

∥q∥ = √4--+-1 +-4 = 3.

Now compute the Hamilton product.

Write

p = (1,[1,1,1])

and

q = (2,[− 1,2,0]).

The scalar part is

1(2 ) − [1,1,1] ⋅ [− 1,2,0] = 2 − 1 = 1.

The cross product is

[1, 1,1] × [− 1,2,0] = [− 2,− 1,3].

The vector part is

[− 1,2,0] + 2[1,1,1] + [− 2,− 1,3] = [− 1,3,5].

Thus

pq = 1 − i + 3j + 5k.

(29)

Its norm is

√ -------------- ∥pq∥ = 1 + 1 + 9 + 25 √ --- = 36 = 6.

Meanwhile,

∥p ∥∥q∥ = 2(3) = 6.

Therefore

∥pq ∥ = ∥p∥∥q∥.

(30)

Solution 13: norm of a power

For n = 1,

1 ∥q ∥ = ∥q∥.

Assume

∥qn ∥ = ∥q∥n.

Then by multiplicativity,

∥qn+1∥ = ∥qnq ∥ n = ∥q ∥∥q∥ = ∥q ∥n∥q∥ n+1 = ∥q ∥ .

Therefore by induction,

∥qn ∥ = ∥q∥n.

(31)

If q is unit,

∥q∥ = 1,

n ∥q ∥ = 1

(32)

for every positive integer n.

Solution 14: unit quaternions are closed under multiplication

∥p ∥ = ∥q∥ = 1,

then multiplicativity gives

∥pq∥ = ∥p∥∥q∥ = 1.

Therefore

∥pq∥ = 1.

(33)

Thus the product of unit quaternions is again a unit quaternion.

This is essential for orientation composition: multiplying two exact unit attitude quaternions produces another exact unit attitude quaternion without leaving S³.

Solution 15: normalization and numerical drift

For

⌊ ⌋ 0.9997 || 0.0100 || q = ⌈− 0.0050⌉ , 0.0200

the squared norm is

2 2 2 2 2 ∥q∥ = 0.9997 + 0.0100 + (− 0.0050 ) + 0.0200 = 0.99992509.

Thus

∥q∥ ≈ 0.999962544.

(34)

The normalization scale factor is approximately

-1--≈ 1.000037457. ∥q∥

Therefore

⌊ ⌋ 0.999737446 | 0.010000375 | ^q ≈ |⌈− 0.005000187 |⌉ . 0.020000749

(35)

The norm correction magnitude is

−5 1 − ∥q ∥ ≈ 3.7456 × 10 .

Thus the state was already close to unit, but normalization removes the small radial error.

Solution 16: norm, storage order, and attitude convention

Package A computes

∘ ----------------- 2 2 2 2 ∥q∥ = qw + qx + qy + qz.

Package B stores the same four numbers in a different order but computes

∘ ----------------- q2x + q2y + q2z + q2w.

Real addition is commutative, so these are exactly equal.

Thus storage order does not alter quaternion norm.

Likewise, active and passive attitude conventions change how a unit quaternion is interpreted geometrically. They do not change the underlying four real components as an element of ℍ or the Euclidean formula

∘ ----------------- ∥q∥ = q2 + q2 + q2 + q2. w x y z

Therefore the definition of quaternion norm is independent of active versus passive attitude semantics.

4 Compact review

The central norm identities reinforced by this companion are

2 ∗ ∗ ∥q∥ = qq = q q,

(36)

∘ ----------------- 2 2 2 2 ∥q∥ = qw + qx + qy + qz,

(37)

∥ λq∥ = |λ|∥q∥,

(38)

∥pq ∥ = ∥p∥∥q∥,

(39)

and

-q-- ^q = ∥q∥ (q ⁄= 0).

(40)

Unit quaternions form S³, and multiplicativity guarantees that products of unit quaternions remain on S³.

5 Sources and exercise provenance

The exercises and solutions in this companion are newly written or expanded for PhysicsLibrary from the algebra developed in Quaternion Norm.

Hamilton is the foundational source for quaternion norm related quantities. Joly and Kelland–Tait provide classical systematic treatments. Sommer and coauthors provide a modern engineering discussion of unit quaternions and convention management.

References

[1] W. R. Hamilton, Elements of Quaternions, 2nd ed., edited by C. J. Joly, Longmans, Green, and Co., 1899. Public domain historical source. Internet Archive scan

[2] C. J. Joly, A Manual of Quaternions, Macmillan and Co., London, 1905. Public domain historical source. Internet Archive search

[3] P. Kelland and P. G. Tait, Introduction to Quaternions, with Numerous Examples, 2nd ed., Macmillan and Co., London, 1882. Public domain historical source. Internet Archive search

[4] H. Sommer, I. Gilitschenski, M. Bloesch, S. Weiss, R. Siegwart, and J. Nieto, “Why and How to Avoid the Flipped Quaternion Multiplication,” Aerospace, vol. 5, no. 3, article 72, 2018. Published under CC BY 4.0. Publisher article

License

Unless otherwise noted, this PhysicsLibrary entry is intended for release under the Creative Commons Attribution ShareAlike 4.0 International license.

"example of quaternion norm" is owned by bloftin.
(view preamble)

Quaternion Norm: Examples, Exercises, and Solutions

1 Formula summary

2 Exercises

3 Solutions

Solution 1: direct norm calculation

Solution 2: norm from

Solution 3: real and pure quaternion norms

Solution 4: positive definiteness

Solution 5: scaling law

Solution 6: normalize a quaternion

Solution 7: normalization removes positive scale

Solution 8: and have the same norm

Solution 9: unit axis angle quaternion

Solution 10: a nonunit axis angle lookalike

Solution 11: prove multiplicativity

Solution 12: numerical multiplicativity check

Solution 13: norm of a power

Solution 14: unit quaternions are closed under multiplication

Solution 15: normalization and numerical drift

Solution 16: norm, storage order, and attitude convention

4 Compact review

5 Sources and exercise provenance

References

License

Solution 2: norm from $qq∗$

Solution 8: $q$ and $− q$ have the same norm