quaternion norm QuaternionNorm 2026-08-23 19:16:02 2026-08-23 19:16:02 Definition converted to passive rotation convention quaternion norm magnitude tensor unit quaternion % 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) %\usepackage{graphicx} % 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} The \emph{norm} of a quaternion is its Euclidean magnitude in four-dimensional component space. It is closely connected to quaternion multiplication because multiplying a quaternion by its conjugate produces the square of that norm. The norm is multiplicative, provides the normalization used for rotation quaternions, and supplies the denominator in the quaternion inverse. For \begin{equation} q=q_w+q_x\mathbf i+q_y\mathbf j+q_z\mathbf k =q_w+\mathbf q, \end{equation} the modern quaternion norm is \begin{equation} \boxed{ \lVert q\rVert =\sqrt{q_w^2+q_x^2+q_y^2+q_z^2}. } \end{equation} \section{Derivation from the conjugate} The conjugate is \[ q^*=q_w-\mathbf q. \] Using the scalar--vector Hamilton product, \begin{equation} \begin{aligned} qq^* &=(q_w+\mathbf q)(q_w-\mathbf q)\\ &=q_w^2+\mathbf q\cdot\mathbf q -q_w\mathbf q+q_w\mathbf q +\mathbf q\times(-\mathbf q). \end{aligned} \end{equation} Because \[ \mathbf q\times\mathbf q=\mathbf0, \] all vector terms vanish. Therefore \begin{equation} \boxed{ qq^*=q^*q =q_w^2+\mathbf q\cdot\mathbf q =q_w^2+q_x^2+q_y^2+q_z^2. } \end{equation} It follows that \begin{equation} \boxed{\lVert q\rVert=\sqrt{qq^*}=\sqrt{q^*q}.} \end{equation} The squared norm is therefore \begin{equation} \boxed{\lVert q\rVert^2=qq^*=q^*q.} \end{equation} \section{Basic properties} The norm is nonnegative: \begin{equation} \lVert q\rVert\ge0. \end{equation} It vanishes only for the zero quaternion: \begin{equation} \boxed{ \lVert q\rVert=0 \quad\Longleftrightarrow\quad q=0. } \end{equation} Conjugation does not change the norm: \begin{equation} \boxed{\lVert q^*\rVert=\lVert q\rVert.} \end{equation} For a real scalar $a$, \begin{equation} \boxed{\lVert aq\rVert=|a|\,\lVert q\rVert.} \end{equation} As an ordinary Euclidean norm on $\mathbb R^4$, it also satisfies the triangle inequality \begin{equation} \boxed{\lVert p+q\rVert\le\lVert p\rVert+\lVert q\rVert.} \end{equation} \section{The norm of a product} A particularly important property is multiplicativity: \begin{equation} \boxed{\lVert pq\rVert=\lVert p\rVert\,\lVert q\rVert.} \end{equation} The cleanest proof uses the conjugate product rule \[ (pq)^*=q^*p^*. \] Then \begin{equation} \begin{aligned} \lVert pq\rVert^2 &=(pq)(pq)^*\\ &=(pq)(q^*p^*)\\ &=p(qq^*)p^*. \end{aligned} \end{equation} Since $qq^*=\lVert q\rVert^2$ is a real scalar, it commutes with all quaternions, so \begin{equation} \begin{aligned} \lVert pq\rVert^2 &=\lVert q\rVert^2pp^*\\ &=\lVert p\rVert^2\lVert q\rVert^2. \end{aligned} \end{equation} Taking the nonnegative square root gives equation (12). This property is sometimes called the \emph{composition property}. It is one of the defining features that makes the real quaternions a normed division algebra. \section{Historical terminology: tensor and norm} Historical quaternion sources use terminology that differs from modern engineering practice. Hamilton and many later quaternionists used the \emph{tensor} $Tq$ for the positive magnitude corresponding to the modern $\lVert q\rVert$. The historical \emph{norm} was commonly the squared quantity \begin{equation} \boxed{Nq=qKq=(Tq)^2,} \end{equation} where $Kq$ denotes the conjugate. Thus an older statement such as ``the norm of $q$'' may mean what a modern engineering text writes as $\lVert q\rVert^2$. PhysicsLibrary uses the modern convention: \[ \text{norm}=\lVert q\rVert, \qquad \text{squared norm}=\lVert q\rVert^2. \] \section{Unit quaternions and normalization} A \emph{unit quaternion} is a quaternion of norm one: \begin{equation} \boxed{\lVert q\rVert=1.} \end{equation} Every nonzero quaternion can be normalized: \begin{equation} \boxed{ \widehat q=\frac{q}{\lVert q\rVert}. } \end{equation} Indeed, \begin{equation} \lVert\widehat q\rVert =\frac{\lVert q\rVert}{\lVert q\rVert}=1. \end{equation} Unit quaternions form the subset used to represent proper three-dimensional rotations. Their geometric interpretation is developed later in the PhysicsLibrary quaternion sequence. Normalization is also important numerically. A theoretically unit quaternion propagated with finite-precision arithmetic may drift slightly away from unit norm, so many attitude algorithms periodically renormalize it. A zero or numerically near-zero quaternion must not be normalized. \section{Worked examples} \subsection*{Example 1: direct norm} For \[ q=2+\mathbf i-2\mathbf j+2\mathbf k, \] \[ \lVert q\rVert^2=4+1+4+4=13, \] so \[ \boxed{\lVert q\rVert=\sqrt{13}.} \] \subsection*{Example 2: norm composition} Let \[ p=1+\mathbf i, \qquad q=1+\mathbf j. \] Then \[ \lVert p\rVert=\sqrt2, \qquad \lVert q\rVert=\sqrt2. \] Their product is \[ pq=1+\mathbf i+\mathbf j+\mathbf k, \] so \[ \lVert pq\rVert=2. \] This agrees with \[ \lVert p\rVert\lVert q\rVert=\sqrt2\sqrt2=2. \] \subsection*{Example 3: normalize a quaternion} Suppose \[ \widetilde q=(2,2,0,0). \] Then \[ \lVert\widetilde q\rVert=2\sqrt2, \] and \[ \boxed{ \widehat q=\frac{1}{\sqrt2}(1,1,0,0). } \] A direct check gives $\lVert\widehat q\rVert=1$. \section{Common pitfalls} \begin{enumerate} \item \textbf{Confusing norm and squared norm.} Modern notation distinguishes $\lVert q\rVert$ from $\lVert q\rVert^2$. \item \textbf{Reading historical terminology as if it were modern.} Hamilton's $Nq$ commonly corresponds to the modern squared norm. \item \textbf{Forgetting all four components.} The scalar component $q_w$ contributes to the norm just like each vector component. \item \textbf{Normalizing the zero quaternion.} The expression $q/\lVert q\rVert$ is defined only when $q\neq0$. \item \textbf{Assuming normalization changes the represented direction only.} Normalization rescales the entire four-component quaternion. In rotation applications this is valid because the attitude representation is specifically restricted to unit quaternions. \end{enumerate} \section{Exercises} \begin{enumerate} \item Find $\lVert q\rVert^2$ and $\lVert q\rVert$ for \[ q=3-2\mathbf i+\mathbf j+4\mathbf k. \] \item Prove from $qq^*$ that $\lVert q^*\rVert=\lVert q\rVert$. \item Prove that $\lVert aq\rVert=|a|\lVert q\rVert$ for real $a$. \item Prove \[ \lVert pq\rVert=\lVert p\rVert\lVert q\rVert \] without expanding the four components of $pq$. \item Normalize \[ q=(2,-2,2,-2). \] \item Let $\mathbf v=2\mathbf i-\mathbf j+2\mathbf k$. Compute its quaternion norm and compare it with the ordinary Euclidean length of the corresponding three-vector. \item If $\lVert p\rVert=3$ and $\lVert q\rVert=4$, what is $\lVert pq\rVert$? \item Explain the difference between Hamilton's historical $Nq$ and the modern quantity $\lVert q\rVert$. \end{enumerate} \section{Solutions} \subsection*{1. Direct norm} \[ \lVert q\rVert^2=3^2+(-2)^2+1^2+4^2=30, \] so \[ \boxed{\lVert q\rVert=\sqrt{30}.} \] \subsection*{2. Norm of the conjugate} Since $(q^*)^*=q$, \[ \lVert q^*\rVert^2=q^*(q^*)^*=q^*q=qq^*=\lVert q\rVert^2. \] Both norms are nonnegative, hence \[ \boxed{\lVert q^*\rVert=\lVert q\rVert.} \] \subsection*{3. Real scaling} \[ \lVert aq\rVert^2=(aq)(aq)^*=a^2qq^*=a^2\lVert q\rVert^2. \] Taking the nonnegative square root gives \[ \boxed{\lVert aq\rVert=|a|\lVert q\rVert.} \] \subsection*{4. Multiplicative norm} \[ \begin{aligned} \lVert pq\rVert^2 &=(pq)(pq)^*\\ &=pqq^*p^*\\ &=p\lVert q\rVert^2p^*\\ &=\lVert q\rVert^2pp^*\\ &=\lVert p\rVert^2\lVert q\rVert^2. \end{aligned} \] Taking square roots yields \[ \boxed{\lVert pq\rVert=\lVert p\rVert\lVert q\rVert.} \] \subsection*{5. Normalization} For $q=(2,-2,2,-2)$, \[ \lVert q\rVert=4. \] Therefore \[ \boxed{ \widehat q=\left(\frac12,-\frac12,\frac12,-\frac12\right). } \] \subsection*{6. Pure quaternion norm} \[ \lVert\mathbf v\rVert=\sqrt{2^2+(-1)^2+2^2}=3. \] This is exactly the Euclidean length of the corresponding vector in $\mathbb R^3$. \subsection*{7. Product norm} By multiplicativity, \[ \boxed{\lVert pq\rVert=3\cdot4=12.} \] \subsection*{8. Historical terminology} Hamilton's $Nq$ commonly denotes the product $qKq=(Tq)^2$, corresponding to modern $\lVert q\rVert^2$. Hamilton's tensor $Tq$ corresponds to the modern positive norm $\lVert q\rVert$. \section{What comes next} For every nonzero quaternion, multiplication by the conjugate produces the nonzero scalar $\lVert q\rVert^2$. The next PhysicsLibrary article uses this fact to derive the multiplicative inverse. \section{Sources and historical notes} Hamilton, Tait, Joly, and Hathaway all connect quaternion magnitude with the product of a quaternion and its conjugate. Their historical terminology uses \emph{tensor} and \emph{norm} differently from much modern engineering notation, which is why the distinction is made explicit here. The modern notation, derivations, examples, exercises, and solutions in this article are newly written. \begin{thebibliography}{9} \bibitem{Hamilton1899} W. R. Hamilton, \emph{Elements of Quaternions}, 2nd ed., Vol. I, edited by C. J. Joly, Longmans, Green, and Co., London, 1899. Public-domain historical source. \PMlinkexternal{Internet Archive copy}{https://archive.org/details/elementsofquater01hamiuoft} \bibitem{Tait1890} P. G. Tait, \emph{An Elementary Treatise on Quaternions}, 3rd ed., Cambridge University Press, Cambridge, 1890. Public-domain historical source. \bibitem{Joly1905} C. J. Joly, \emph{A Manual of Quaternions}, Macmillan and Co., London, 1905. Public-domain historical source. \bibitem{Hathaway1896} A. S. Hathaway, \emph{A Primer of Quaternions}, 1896. Public-domain text; Project Gutenberg edition and \LaTeX{} source available. \PMlinkexternal{Project Gutenberg edition}{https://www.gutenberg.org/ebooks/9934} \end{thebibliography}