Symmetry and Linearity of the Dot Product

Why These Properties Matter

The component formula for a dot product gives a direct way to calculate it. But many expressions contain sums of vectors or scalar multiples, and calculating every new vector component by component can become cumbersome. Symmetry and linearity let us reorganize those expressions before or during calculation.

These properties also explain why the dot product behaves predictably when its inputs are rearranged or combined. We will prove them from the component definition, then use them in examples. Throughout, vectors are in \(\mathbb{R}^3\), and scalars are real numbers.

Definition of the Dot Product

If \(\mathbf{u}=(u_1,u_2,u_3)\) and \(\mathbf{v}=(v_1,v_2,v_3)\), their dot product is the real number obtained by multiplying corresponding components and adding the results:

Vector addition is componentwise, so \(\mathbf{u}+\mathbf{v}=(u_1+v_1,u_2+v_2,u_3+v_3)\). Scalar multiplication is also componentwise: for a real number \(a\), \(a\mathbf{u}=(au_1,au_2,au_3)\). These facts, together with ordinary distributivity and commutativity of real-number multiplication, are all we need for the proofs below.

Symmetry: Reversing the Order

Symmetry says that the order of the two vectors does not affect the result. It follows directly from commutativity of real-number multiplication:

Each term can be reversed because \(u_iv_i=v_iu_i\) for real numbers. The result is not an assumption about the vectors’ components; it holds for every pair of vectors in \(\mathbb{R}^3\).

Linearity in the First Argument

Linearity in the first argument consists of two rules. If \(\mathbf{u}\), \(\mathbf{v}\), and \(\mathbf{w}\) are vectors and \(a,b\) are real scalars, then a sum in the first argument separates into a sum of dot products, and scalar multiples can be taken outside:

Combining these rules gives the more general formula:

To see why the formula holds, write \(\mathbf{u}=(u_1,u_2,u_3)\), \(\mathbf{v}=(v_1,v_2,v_3)\), and \(\mathbf{w}=(w_1,w_2,w_3)\). Then \(a\mathbf{u}+b\mathbf{v}=(au_1+bv_1,au_2+bv_2,au_3+bv_3)\). Applying the dot product definition and distributing in each component gives:

This establishes both distribution over a sum and pulling out a scalar: choosing \(a=b=1\) gives the sum rule, while choosing one vector term to be zero gives the scalar rule. The argument depends on the component definition and real-number distributivity.

Linearity in the Second Argument

The dot product is also linear in its second argument. In this case, the rules are:

These rules can be proved by the same component expansion. They also follow immediately from the symmetry just proved and linearity in the first argument. For example, symmetry lets us move the sum to the first position, apply first-argument linearity, and then use symmetry again:

Likewise, \(\mathbf{u}\cdot(a\mathbf{v})=(a\mathbf{v})\cdot\mathbf{u}=a(\mathbf{v}\cdot\mathbf{u})=a(\mathbf{u}\cdot\mathbf{v})\). Thus the dot product is linear in either argument when the other is held fixed.

Using Linearity to Simplify Expressions

Linearity allows an expression to be expanded one argument at a time. The scalar coefficients remain as ordinary real-number factors. For example, distributing over both arguments gives:

This follows by first distributing across the second argument and then across the first argument in each resulting term. It does not require multiplying vectors as if they were numbers; each final term is a scalar dot product multiplied by scalar coefficients.

A Useful Cancellation

Symmetry and linearity together make some expressions collapse neatly. When an expression contains both \(\mathbf{u}\cdot\mathbf{v}\) and \(\mathbf{v}\cdot\mathbf{u}\), symmetry identifies those terms. For instance, expanding \((\mathbf{u}+\mathbf{v})\cdot(\mathbf{u}-\mathbf{v})\) gives two mixed terms with opposite signs, so they cancel.

Common Mistake: Losing a Sign or a Coefficient

A frequent error is to distribute a scalar or a minus sign across only part of an expression. For example, the correct expansion of \((2\mathbf{u}-\mathbf{v})\cdot\mathbf{w}\) is

A common mistake is to omit the minus sign and write \(2(\mathbf{u}\cdot\mathbf{w})+(\mathbf{v}\cdot\mathbf{w})\). For a concrete check, take \(\mathbf{u}=(1,0,0)\), \(\mathbf{v}=(0,1,0)\), and \(\mathbf{w}=(1,2,0)\). Directly, \(2\mathbf{u}-\mathbf{v}=(2,-1,0)\), so \((2\mathbf{u}-\mathbf{v})\cdot\mathbf{w}=2(1)+(-1)(2)+0(0)=0\). The mistaken expansion gives \(2(1)+2=4\), which disagrees. The correct expansion gives \(2(\mathbf{u}\cdot\mathbf{w})-(\mathbf{v}\cdot\mathbf{w})=2(1)-2=0\).

Another useful check is to keep track of which vector occupies each argument. Symmetry allows the two vectors to be swapped, but linearity does not mean that a dot product is an ordinary product of vectors. Expand a sum using the stated rules, preserve every coefficient and sign, and evaluate the resulting scalar dot products.

Why These Properties Are Useful

Symmetry and linearity reduce complicated expressions to combinations of simpler dot products. This is useful whenever vectors are written as sums of displacements, or when one vector is a scalar multiple or linear combination of others. It can also reveal cancellations that are difficult to notice if every expression is expanded into components immediately.

The properties do not by themselves say anything about angles, lengths, or projections. They are algebraic facts established from the component definition. Keeping that distinction clear helps ensure that each step uses only what has been proved or defined.