example of quaternion norm ExampleOfQuaternionNorm 2026-08-28 16:06:04 2026-08-28 16:06:04 Example quaternion norm updated related and keywords % this is the default PhysicsLibrary preamble. as your knowledge % of TeX increases, you will probably want to edit this, but % it should be fine as is for beginners. % almost certainly you want these \usepackage{amssymb} \usepackage{amsmath} \usepackage{amsfonts} % used for TeXing text within eps files %\usepackage{psfrag} % need this for including graphics (\includegraphics). % If you use \includegraphics{figure} with no file extension, PhysicsLibrary % will prefer figure.png before falling back to figure.eps. \usepackage{graphicx} \DeclareGraphicsExtensions{.png,.jpg,.jpeg,.pdf,.eps} % for neatly defining theorems and propositions %\usepackage{amsthm} % making logically defined graphics %\usepackage{xypic} % there are many more packages, add them here as you need them % define commands here \section*{Quaternion Norm: Examples, Exercises, and Solutions} This entry is the self study companion to \emph{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 $q q^*$. 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. \section{Formula summary} For \begin{equation} q = q_w + q_x\mathbf i + q_y\mathbf j + q_z\mathbf k, \end{equation} the conjugate is \[ q^* = q_w - q_x\mathbf i - q_y\mathbf j - q_z\mathbf k. \] The squared norm is \begin{equation} \lVert q\rVert^2 = q q^* = q^*q = q_w^2+q_x^2+q_y^2+q_z^2. \end{equation} Therefore \begin{equation} \lVert q\rVert = \sqrt{ q_w^2+q_x^2+q_y^2+q_z^2 }. \end{equation} A unit quaternion satisfies \begin{equation} \lVert q\rVert=1. \end{equation} For nonzero $q$, its normalized quaternion is \begin{equation} \widehat q = \frac{q}{\lVert q\rVert}. \end{equation} The quaternion norm is multiplicative: \begin{equation} \lVert pq\rVert = \lVert p\rVert \lVert q\rVert. \end{equation} For a real scalar $\lambda$, \begin{equation} \lVert\lambda q\rVert = |\lambda| \lVert q\rVert. \end{equation} The set of unit quaternions is the unit three sphere \begin{equation} S^3 = \left\{ q\in\mathbb H: \lVert q\rVert=1 \right\}. \end{equation} \section{Exercises} \begin{enumerate} \item \textbf{Direct norm calculation.} For \[ q = 2 - \mathbf i + 2\mathbf j + 2\mathbf k, \] compute \[ \lVert q\rVert^2 \] and \[ \lVert q\rVert. \] \item \textbf{Norm from \(q q^*\).} Using the same quaternion as Exercise 1, compute $q^*$ and evaluate $q q^*$ directly. Verify that the result equals $\lVert q\rVert^2$. \item \textbf{Real and pure quaternion norms.} Compute the norms of \[ r=-7 \] and \[ v = 3\mathbf i - 4\mathbf j + 12\mathbf k. \] Relate the pure quaternion norm to the ordinary three dimensional Euclidean vector magnitude. \item \textbf{Positive definiteness.} Prove that \begin{equation} \lVert q\rVert\geq0 \end{equation} for every quaternion and that \begin{equation} \lVert q\rVert=0 \end{equation} if and only if \[ q=0. \] \item \textbf{Scaling law.} For real $\lambda$, prove \[ \lVert\lambda q\rVert = |\lambda| \lVert q\rVert. \] Then use \[ q = 1-2\mathbf i+2\mathbf j \] and \[ \lambda=-3 \] as a numerical check. \item \textbf{Normalize a quaternion.} Normalize \[ q = \begin{bmatrix} 2\\ -1\\ 2\\ 2 \end{bmatrix}. \] Verify explicitly that the normalized quaternion has unit norm. \item \textbf{Normalization removes positive scale.} Let \[ p=5q \] for a nonzero quaternion $q$. Prove that \[ \frac{p}{\lVert p\rVert} = \frac{q}{\lVert q\rVert}. \] What changes if \[ p=-5q? \] \item \textbf{\(q\) and \(-q\) have the same norm.} Prove \[ \lVert-q\rVert = \lVert q\rVert. \] For unit attitude quaternions, explain why this fact is compatible with the usual double representation of physical orientation. \item \textbf{Unit axis angle quaternion.} Let \[ q = \cos\frac{\theta}{2} - \widehat{\mathbf u} \sin\frac{\theta}{2}, \] where $\widehat{\mathbf u}$ is a unit pure quaternion. Prove that \[ \lVert q\rVert=1 \] for every real $\theta$. \item \textbf{A nonunit axis angle lookalike.} Suppose \[ q = \cos30^\circ - 2\mathbf k\sin30^\circ. \] Compute $\lVert q\rVert$. Explain why merely resembling an axis angle formula does not guarantee unit norm. \item \textbf{Prove multiplicativity.} Using \[ \lVert q\rVert^2=q q^* \] and \[ (pq)^*=q^*p^*, \] prove \begin{equation} \lVert pq\rVert^2 = \lVert p\rVert^2 \lVert q\rVert^2. \end{equation} Then conclude \[ \lVert pq\rVert = \lVert p\rVert \lVert q\rVert. \] \item \textbf{Numerical multiplicativity check.} Let \[ p = 1+\mathbf i+\mathbf j+\mathbf k \] and \[ q = 2-\mathbf i+2\mathbf j. \] Compute $\lVert p\rVert$, $\lVert q\rVert$, $pq$, and $\lVert pq\rVert$. Verify multiplicativity numerically. \item \textbf{Norm of a power.} Using multiplicativity, prove that for every positive integer $n$, \begin{equation} \lVert q^n\rVert = \lVert q\rVert^n. \end{equation} What follows when $q$ is unit? \item \textbf{Unit quaternions are closed under multiplication.} Let $p$ and $q$ both satisfy \[ \lVert p\rVert = \lVert q\rVert = 1. \] Prove that \[ \lVert pq\rVert=1. \] Explain why this closure property is important for composing orientation quaternions. \item \textbf{Normalization and numerical drift.} A computed quaternion state is \[ q = \begin{bmatrix} 0.9997\\ 0.0100\\ -0.0050\\ 0.0200 \end{bmatrix}. \] Compute its norm to at least six significant digits and normalize it. How large is the norm correction? \item \textbf{Norm, storage order, and attitude convention.} Package A stores a quaternion scalar first, \[ [q_w,q_x,q_y,q_z], \] while Package B stores the same semantic quaternion scalar last, \[ [q_x,q_y,q_z,q_w]. \] 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. \end{enumerate} \section{Solutions} \subsection*{Solution 1: direct norm calculation} For \[ q = 2-\mathbf i+2\mathbf j+2\mathbf k, \] the squared norm is \[ \begin{aligned} \lVert q\rVert^2 &= 2^2+(-1)^2+2^2+2^2\\ &= 4+1+4+4\\ &= 13. \end{aligned} \] Therefore \begin{equation} \lVert q\rVert^2=13 \end{equation} and \begin{equation} \lVert q\rVert=\sqrt{13}. \end{equation} \subsection*{Solution 2: norm from \(q q^*\)} The conjugate is \[ q^* = 2+\mathbf i-2\mathbf j-2\mathbf k. \] The product is \[ q q^* = (2-\mathbf i+2\mathbf j+2\mathbf k) (2+\mathbf i-2\mathbf j-2\mathbf k). \] The vector terms cancel, leaving \[ q q^* = 2^2+(-1)^2+2^2+2^2. \] Hence \begin{equation} q q^*=13. \end{equation} This agrees with \[ \lVert q\rVert^2=13. \] \subsection*{Solution 3: real and pure quaternion norms} For \[ r=-7, \] the norm is \begin{equation} \lVert r\rVert = |-7| = 7. \end{equation} For \[ v = 3\mathbf i-4\mathbf j+12\mathbf k, \] we have \[ \begin{aligned} \lVert v\rVert &= \sqrt{ 3^2+(-4)^2+12^2 }\\ &= \sqrt{ 9+16+144 }\\ &= \sqrt{169}\\ &= 13. \end{aligned} \] Therefore \begin{equation} \lVert v\rVert=13. \end{equation} A pure quaternion has zero scalar component, so its quaternion norm is exactly the ordinary Euclidean magnitude of its three vector components. \subsection*{Solution 4: positive definiteness} The squared norm is \[ \lVert q\rVert^2 = q_w^2+q_x^2+q_y^2+q_z^2. \] Every squared real number is nonnegative, so \[ \lVert q\rVert^2\geq0. \] Taking the principal square root gives \begin{equation} \lVert q\rVert\geq0. \end{equation} If \[ q=0, \] then every component vanishes, so clearly \[ \lVert q\rVert=0. \] Conversely, if \[ \lVert q\rVert=0, \] then \[ q_w^2+q_x^2+q_y^2+q_z^2=0. \] A sum of nonnegative real numbers can equal zero only when every term is zero. Thus \[ q_w=q_x=q_y=q_z=0. \] Hence \begin{equation} \lVert q\rVert=0 \quad\Longleftrightarrow\quad q=0. \end{equation} \subsection*{Solution 5: scaling law} Let \[ q = q_w+q_x\mathbf i+q_y\mathbf j+q_z\mathbf k. \] Then \[ \lambda q = \lambda q_w + \lambda q_x\mathbf i + \lambda q_y\mathbf j + \lambda q_z\mathbf k. \] Therefore \[ \begin{aligned} \lVert\lambda q\rVert &= \sqrt{ \lambda^2 (q_w^2+q_x^2+q_y^2+q_z^2) }\\ &= |\lambda| \lVert q\rVert. \end{aligned} \] Thus \begin{equation} \lVert\lambda q\rVert = |\lambda| \lVert q\rVert. \end{equation} For \[ q=1-2\mathbf i+2\mathbf j, \] \[ \lVert q\rVert = \sqrt{1+4+4} = 3. \] With $\lambda=-3$, \[ \lVert-3q\rVert = 3(3) = 9. \] Directly, \[ -3q = -3+6\mathbf i-6\mathbf j, \] whose norm is \[ \sqrt{9+36+36} = 9. \] \subsection*{Solution 6: normalize a quaternion} For \[ q = \begin{bmatrix} 2\\ -1\\ 2\\ 2 \end{bmatrix}, \] the norm is \[ \lVert q\rVert = \sqrt{13}. \] Therefore \begin{equation} \widehat q = \frac{1}{\sqrt{13}} \begin{bmatrix} 2\\ -1\\ 2\\ 2 \end{bmatrix}. \end{equation} Its squared norm is \[ \begin{aligned} \lVert\widehat q\rVert^2 &= \frac{1}{13} (4+1+4+4)\\ &= 1. \end{aligned} \] Thus \begin{equation} \lVert\widehat q\rVert=1. \end{equation} \subsection*{Solution 7: normalization removes positive scale} Let \[ p=5q. \] By the scaling law, \[ \lVert p\rVert = 5\lVert q\rVert. \] Therefore \[ \frac{p}{\lVert p\rVert} = \frac{5q}{5\lVert q\rVert} = \frac{q}{\lVert q\rVert}. \] Hence \begin{equation} \frac{p}{\lVert p\rVert} = \frac{q}{\lVert q\rVert}. \end{equation} If \[ p=-5q, \] then \[ \lVert p\rVert = 5\lVert q\rVert, \] so \[ \frac{p}{\lVert p\rVert} = -\frac{q}{\lVert q\rVert}. \] 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^3$. \subsection*{Solution 8: \(q\) and \(-q\) have the same norm} Use the scaling law with $\lambda=-1$: \[ \lVert-q\rVert = |-1| \lVert q\rVert. \] Therefore \begin{equation} \lVert-q\rVert = \lVert q\rVert. \end{equation} For unit attitude quaternions, \[ \lVert q\rVert = \lVert-q\rVert = 1. \] The two antipodal points $q$ and $-q$ on $S^3$ represent the same physical orientation. Thus equal norm is consistent with the usual double representation of the rotation group. \subsection*{Solution 9: unit axis angle quaternion} Let \[ q = \cos\frac{\theta}{2} - \widehat{\mathbf u} \sin\frac{\theta}{2}, \] where \[ \lVert\widehat{\mathbf u}\rVert=1. \] The squared norm is \[ \begin{aligned} \lVert q\rVert^2 &= \cos^2\frac{\theta}{2} + \left\lVert \widehat{\mathbf u} \sin\frac{\theta}{2} \right\rVert^2\\ &= \cos^2\frac{\theta}{2} + \sin^2\frac{\theta}{2} \lVert\widehat{\mathbf u}\rVert^2\\ &= \cos^2\frac{\theta}{2} + \sin^2\frac{\theta}{2}\\ &= 1. \end{aligned} \] Therefore \begin{equation} \lVert q\rVert=1. \end{equation} The negative vector sign required by the passive convention has no effect on the norm because the vector components are squared. \subsection*{Solution 10: a nonunit axis angle lookalike} We have \[ q = \cos30^\circ - 2\mathbf k\sin30^\circ. \] Since \[ \cos30^\circ=\frac{\sqrt3}{2} \] and \[ 2\sin30^\circ=1, \] the quaternion is \[ q = \frac{\sqrt3}{2} - \mathbf k. \] Thus \[ \begin{aligned} \lVert q\rVert^2 &= \frac34+1\\ &= \frac74. \end{aligned} \] Therefore \begin{equation} \lVert q\rVert = \frac{\sqrt7}{2}. \end{equation} 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. \subsection*{Solution 11: prove multiplicativity} Start with \[ \lVert pq\rVert^2 = (pq)(pq)^*. \] Use product reversal under conjugation: \[ (pq)^* = q^*p^*. \] Then \[ \begin{aligned} \lVert pq\rVert^2 &= (pq)(q^*p^*)\\ &= p(qq^*)p^*. \end{aligned} \] The quantity $qq^*$ is real: \[ qq^* = \lVert q\rVert^2. \] Real scalars commute with every quaternion, so \[ \begin{aligned} \lVert pq\rVert^2 &= \lVert q\rVert^2 pp^*\\ &= \lVert q\rVert^2 \lVert p\rVert^2. \end{aligned} \] Therefore \begin{equation} \lVert pq\rVert^2 = \lVert p\rVert^2 \lVert q\rVert^2. \end{equation} All norms are nonnegative, so taking square roots yields \begin{equation} \lVert pq\rVert = \lVert p\rVert \lVert q\rVert. \end{equation} \subsection*{Solution 12: numerical multiplicativity check} For \[ p = 1+\mathbf i+\mathbf j+\mathbf k, \] \[ \lVert p\rVert = \sqrt{1+1+1+1} = 2. \] For \[ q = 2-\mathbf i+2\mathbf j, \] \[ \lVert q\rVert = \sqrt{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]\cdot[-1,2,0] = 2-1 = 1. \] The cross product is \[ [1,1,1]\times[-1,2,0] = [-2,-1,3]. \] The vector part is \[ [-1,2,0] + 2[1,1,1] + [-2,-1,3] = [-1,3,5]. \] Thus \begin{equation} pq = 1-\mathbf i+3\mathbf j+5\mathbf k. \end{equation} Its norm is \[ \begin{aligned} \lVert pq\rVert &= \sqrt{ 1+1+9+25 }\\ &= \sqrt{36}\\ &= 6. \end{aligned} \] Meanwhile, \[ \lVert p\rVert \lVert q\rVert = 2(3) = 6. \] Therefore \begin{equation} \lVert pq\rVert = \lVert p\rVert \lVert q\rVert. \end{equation} \subsection*{Solution 13: norm of a power} For $n=1$, \[ \lVert q^1\rVert = \lVert q\rVert. \] Assume \[ \lVert q^n\rVert = \lVert q\rVert^n. \] Then by multiplicativity, \[ \begin{aligned} \lVert q^{n+1}\rVert &= \lVert q^n q\rVert\\ &= \lVert q^n\rVert \lVert q\rVert\\ &= \lVert q\rVert^n \lVert q\rVert\\ &= \lVert q\rVert^{n+1}. \end{aligned} \] Therefore by induction, \begin{equation} \lVert q^n\rVert = \lVert q\rVert^n. \end{equation} If $q$ is unit, \[ \lVert q\rVert=1, \] so \begin{equation} \lVert q^n\rVert=1 \end{equation} for every positive integer $n$. \subsection*{Solution 14: unit quaternions are closed under multiplication} If \[ \lVert p\rVert = \lVert q\rVert = 1, \] then multiplicativity gives \[ \lVert pq\rVert = \lVert p\rVert \lVert q\rVert = 1. \] Therefore \begin{equation} \lVert pq\rVert=1. \end{equation} 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^3$. \subsection*{Solution 15: normalization and numerical drift} For \[ q = \begin{bmatrix} 0.9997\\ 0.0100\\ -0.0050\\ 0.0200 \end{bmatrix}, \] the squared norm is \[ \begin{aligned} \lVert q\rVert^2 &= 0.9997^2 + 0.0100^2 + (-0.0050)^2 + 0.0200^2\\ &= 0.99992509. \end{aligned} \] Thus \begin{equation} \lVert q\rVert \approx 0.999962544. \end{equation} The normalization scale factor is approximately \[ \frac{1}{\lVert q\rVert} \approx 1.000037457. \] Therefore \begin{equation} \widehat q \approx \begin{bmatrix} 0.999737446\\ 0.010000375\\ -0.005000187\\ 0.020000749 \end{bmatrix}. \end{equation} The norm correction magnitude is \[ 1-\lVert q\rVert \approx 3.7456\times10^{-5}. \] Thus the state was already close to unit, but normalization removes the small radial error. \subsection*{Solution 16: norm, storage order, and attitude convention} Package A computes \[ \lVert q\rVert = \sqrt{ q_w^2+q_x^2+q_y^2+q_z^2 }. \] Package B stores the same four numbers in a different order but computes \[ \sqrt{ q_x^2+q_y^2+q_z^2+q_w^2 }. \] 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 $\mathbb H$ or the Euclidean formula \[ \lVert q\rVert = \sqrt{ q_w^2+q_x^2+q_y^2+q_z^2 }. \] Therefore the definition of quaternion norm is independent of active versus passive attitude semantics. \section{Compact review} The central norm identities reinforced by this companion are \begin{equation} \lVert q\rVert^2 = q q^* = q^*q, \end{equation} \begin{equation} \lVert q\rVert = \sqrt{ q_w^2+q_x^2+q_y^2+q_z^2 }, \end{equation} \begin{equation} \lVert\lambda q\rVert = |\lambda| \lVert q\rVert, \end{equation} \begin{equation} \lVert pq\rVert = \lVert p\rVert \lVert q\rVert, \end{equation} and \begin{equation} \widehat q = \frac{q}{\lVert q\rVert} \qquad (q\neq0). \end{equation} Unit quaternions form $S^3$, and multiplicativity guarantees that products of unit quaternions remain on $S^3$. \section{Sources and exercise provenance} The exercises and solutions in this companion are newly written or expanded for PhysicsLibrary from the algebra developed in \emph{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. \begin{thebibliography}{9} \bibitem{Hamilton1899} W. R. Hamilton, \emph{Elements of Quaternions}, 2nd ed., edited by C. J. Joly, Longmans, Green, and Co., 1899. Public domain historical source. \PMlinkexternal{Internet Archive scan} {https://archive.org/details/elementsofquater01hamiuoft} \bibitem{Joly1905} C. J. Joly, \emph{A Manual of Quaternions}, Macmillan and Co., London, 1905. Public domain historical source. \PMlinkexternal{Internet Archive search} {https://archive.org/search?query=A+Manual+of+Quaternions+Joly} \bibitem{KellandTait1882} P. Kelland and P. G. Tait, \emph{Introduction to Quaternions, with Numerous Examples}, 2nd ed., Macmillan and Co., London, 1882. Public domain historical source. \PMlinkexternal{Internet Archive search} {https://archive.org/search?query=Introduction+to+Quaternions+Kelland+Tait} \bibitem{Sommer2018} H. Sommer, I. Gilitschenski, M. Bloesch, S. Weiss, R. Siegwart, and J. Nieto, ``Why and How to Avoid the Flipped Quaternion Multiplication,'' \emph{Aerospace}, vol. 5, no. 3, article 72, 2018. Published under CC BY 4.0. \PMlinkexternal{Publisher article} {https://www.mdpi.com/2226-4310/5/3/72} \end{thebibliography} \section*{License} Unless otherwise noted, this PhysicsLibrary entry is intended for release under the Creative Commons Attribution ShareAlike 4.0 International license.