Skip to main content
Engineering LibreTexts

3.2: Vectors and Scalars

  • Page ID
  • \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)

    ( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\id}{\mathrm{id}}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\kernel}{\mathrm{null}\,}\)

    \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\)

    \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\)

    \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)

    \( \newcommand{\vectorA}[1]{\vec{#1}}      % arrow\)

    \( \newcommand{\vectorAt}[1]{\vec{\text{#1}}}      % arrow\)

    \( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vectorC}[1]{\textbf{#1}} \)

    \( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)

    \( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)

    \( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)

    \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)

    3.2.1 The position vector in a rotated coordinate system

    The position vector \(\vec{x}\) that labels a point in space (e.g., the blue vector in figure 3.1.1) is a physical entity that exists independently of any observer and of any coordinate frame used to measure it. If you use the basis vectors \(\hat{e}\) and I use \(\hat{e}^\prime\), then \(\vec{x}\) can be expressed as a linear combination of either set:

    \[\vec{x}=x_{i} \hat{e}^{(i)}=x_{i}^{\prime} \hat{e}^{\prime(i)}.\label{eq:1} \]

    Now suppose that our coordinate frames are related by a rotation matrix \(\underset{\sim}{C}\). If we know the components \(x_i\) that you measure and the rotation matrix \(\underset{\sim}{C}\), can we predict the components \(x^\prime_i\) that I will measure? We will do this by solving Equation \(\ref{eq:1}\) for the components of the vector \(\vec{x}^\prime\). Start with the second equality of Equation \(\ref{eq:1}\):

    \[x_{i}^{\prime} \hat{e}^{\prime(i)}=x_{i} \hat{e}^{(i)}. \nonumber \]

    How do we solve this equality for \(x^\prime_i\)? If \(\hat{e}^{\prime(i)}\) were a scalar, we would simply divide it out of both sides, but division by a vector makes no sense. Instead, we dot both sides with \(\hat{e}^{\prime(j)}\):

    \[x_{i}^{\prime} \hat{e}^{\prime(i)} \cdot \hat{e}^{\prime(j)}=x_{i} \hat{e}^{(i)} \cdot \hat{e}^{\prime(j)}. \nonumber \]

    Now use Equation 3.1.12 on the right-hand side,1

    x_{i}^{\prime} \underbrace{\hat{e}^{\prime(i)} \cdot \hat{e}^{\prime(j)}}_{=\delta_{i j}} &=x_{i} \underbrace{\hat{e}^{(i)} \cdot \hat{e}^{(k)}}_{=\delta_{i k}} C_{k j} \\
    x_{i}^{\prime} \delta_{i j} &=x_{i} \delta_{i k} C_{k j}
    \end{aligned}. \nonumber \]

    Finally, multiplying out the deltas, we have

    \[x_{j}^{\prime}=x_{i} C_{i j}.\label{eq:2} \]

    This result is similar to the transformation rule Equation 3.1.12 for the basis vectors, though its meaning is entirely different. In each case, the dummy index is in the first position of the rotation matrix. The relation Equation \(\ref{eq:2}\) can also be written in vector notation:

    \[\vec{x}^{\prime}=\vec{x} \underset{\sim}{C}, \quad \text { or } \vec{x}=\underset{\sim}{C}^{T} \vec{x} \nonumber \]

    Now consider the reverse transformation, i.e., my measurement into yours. Multiplying both sides of Equation \(\ref{eq:2}\) by \(C_{kj}\), we have

    \[x_{j}^{\prime} C_{k j}=x_{i} C_{i j} C_{k j}=x_{i} C_{i j} C_{j k}^{T}=x_{i} \delta_{i k}=x_{k} \nonumber \]

    and therefore

    \[x_{j}=x_{i}^{\prime} C_{j i}.\label{eq:4} \]

    Compare this with Equation \(\ref{eq:2}\). The letters used to label the indices do not matter. The important distinction is that, for the reverse transformation, the dummy index is in the second position whereas for the forward transformation it is in the first. As with Equation \(\ref{eq:2}\), there is an equivalent expression in vector form:

    \[\vec{x}=\vec{x}^{\prime} \underset{\sim}{C}^{T}, \quad \text { or } \quad \vec{x}=\underset{\sim}{C} \vec{x}^{\prime}.\label{eq:5} \]

    3.2.2 Differentiating the position vector

    In a Cartesian coordinate system \({x,y}\), what is \(\partial y/\partial x\)? This is just the change in \(y\) as we move in the \(x\)-direction, i.e., zero. In contrast, \(\partial x /\partial x = 1\). In general, for a 3-dimensional system, we can write:

    \[\frac{\partial x_{j}}{\partial x_{i}}=\delta_{i j}.\label{eq:6} \]

    Now imagine rotating the system using rotation matrix \(\underset{\sim}{C}\). How rapidly does the \(j^{th}\) coordinate in the rotated system change if we move along the \(i^{th}\) coordinate axis in the original system? First, expand Equation \(\ref{eq:2}\) as

    \[x_{j}^{\prime}=x_{1} C_{1 j}+x_{2} C_{2 j}+x_{3} C_{3 j}. \nonumber \]

    We can easily differentiate \(x^\prime_j\) with respect to any of the un-primed coordinates. For example:

    \[\frac{\partial x_{j} \prime}{\partial x_{1}}=C_{1 j}. \nonumber \]

    More generally:

    \[\frac{\partial x_{j} \prime}{\partial x_{i}}=C_{i j}.\label{eq:7} \]

    3.2.3 Defining Cartesian vectors and scalars

    We now establish a more precise definition of a vector using the position vector as a prototype.

    Definition: Vector

    A vector is a quantity possessed of direction and magnitude independent of the observer. A vector must therefore transform in the same way as the position vector:

    \[v_{j}^{\prime}=v_{i} C_{i j} ; \quad v_{j}=v_{i}^{\prime} C_{j i}.\label{eq:8} \]

    Before referring to any quantity as a vector, we should check to see that it satisfies this criterion.


    • Consider the velocity of a moving point: \[u_{i}=\frac{d}{d t} x_{i}.\label{eq:9} \] In rotated coordinates, \[u_{j}^{\prime}=\frac{d}{d t} x_{j}^{\prime}=\frac{d}{d t}\left(x_{i} C_{i j}\right)=\frac{d x_{i}}{d t} C_{i j}=u_{i} C_{i j}. \nonumber \] This confirms that the velocity transforms in the same way as the position vector, and therefore that it qualifies as a vector.2
    • The wave vector of a plane wave transforms as a vector. Consider a surface gravity wave whose surface elevation is given by \(\eta=\eta^0\cos(\vec{k}\cdot\vec{x}-\omega t)\). The phase function \(\vec{k}\cdot\vec{x}-\omega t\) is a scalar; for example, the crest of a wave is a real entity that looks like the crest to every observer. Therefore \(\vec{k}\cdot\vec{x}\) must be a scalar. Defining that scalar as \(D\), we can write: \[D^{\prime}=k_{i}^{\prime} x_{i}^{\prime}=k_{i}^{\prime} x_{j} C_{j i}=\underbrace{k_{i}^{\prime} C_{j i}}_{k_{j}}x_{j}=D, \nonumber \] which requires that \(k_j = k^\prime_iC_{ji}\).

    Counterexample: The phase velocity of a plane wave sounds like a vector. It has three components, and we usually use “velocity’’ rather than “speed’’ to differentiate the vector from the scalar. However, the definition of phase velocity is inextricably linked to a particular coordinate system. From the inverse relationship between phase velocity and wave vector, ci = ω/ki, it should be clear that ci does not transform according to Equation \(\ref{eq:2}\). If not, try it.

    Definition: Scalar

    A scalar is a single number that is the same in every reference frame.


    • Temperature is a scalar. You and I can look from different angles and we will still perceive the same temperature.
    • The dot product of two vectors is a scalar. To see this, write the dot product of \(\vec{x}\) and \(\vec{y}\) as \(D=x_iy_i\). Then ask what the value of \(D\) would be in a rotated reference frame:

    D^{\prime}=x_{i}^{\prime} y_{i}^{\prime} &=\overbrace{x_{j} C_{j i}}^{x_{i}^{\prime}} \overbrace{y_{k} C_{k i}}^{y_{i}^{\prime}} \\
    &=x_{j} y_{k} C_{j i} C_{k i} \\
    &=x_{j} y_{k} C_{j i} C_{i k}^{T} \\
    &=x_{j} y_{k} \delta_{j k}=x_{j} y_{j}=D
    \end{aligned}. \nonumber \]

    Counterexample: A single element of a vector, while consisting of a single number, is not a scalar. For example, the x-coordinate of a point in space differs, obviously, in different coordinate systems.

    1Compare with (3.1.9) and note that the dummy index i has been relabeled as k to avoid conflict with the dummy index i that is already in use. Also, the order of the basis vector and the rotation matrix has been reversed, as is always permissible.

    2The velocity components \({u_1,u_2,u_3}\) are commonly replaced by \({u,v,w}\).

    This page titled 3.2: Vectors and Scalars is shared under a CC BY-NC 4.0 license and was authored, remixed, and/or curated by Bill Smyth via source content that was edited to the style and standards of the LibreTexts platform.