The scalar product of two vectors

You are already familiar with one kind of product that involves vectors. It is the multiplication of a scalar with a vector, and the result is a new (stretched) vector:

ca=c(axayaz)=(caxcaycaz)c\cdot \vec a = c\cdot \left(\begin{array}{r} a_x\\ a_y\\ a_z \end{array}\right) = \left(\begin{array}{r} c\cdot a_x\\ c\cdot a_y\\ c\cdot a_z \end{array}\right)

Now we introduce a multiplication between two vectors, and the result is a scalar.

Consider two vectors a=(axayaz)\vec{a}=\left(\begin{array}{r} a_x\\ a_y\\ a_z \end{array}\right) and b=(bxbybz)\vec{b}=\left(\begin{array}{r} b_x\\ b_y\\ b_z \end{array}\right). The scalar product of a\vec{a} and b\vec{b}, written ab\vec{a} \bullet \vec{b} (or ab\vec{a} \cdot \vec{b}), is defined by multiplying component-wise, and then adding the three resulting products to form a single number:

ab=axbx+ayby+azbz\boxed{\vec{a} \bullet \vec{b}=a_x b_x+a_y b_y+a_z b_z}

So we take two vectors (six numbers), and by forming the scalar product we obtain one number!

Example 1
  1. (341)(253)=32+(4)5+1(3)=17\left(\begin{array}{r} 3\\ -4\\ 1 \end{array}\right) \bullet \left(\begin{array}{r} 2\\ 5\\ -3 \end{array}\right)=3\cdot 2 + (-4)\cdot 5 + 1\cdot (-3)=-17

  2. (341)(2514)=32+(4)5+114=0\left(\begin{array}{r} 3\\ -4\\ 1 \end{array}\right) \bullet \left(\begin{array}{r} 2\\ 5\\ 14 \end{array}\right)=3\cdot 2 + (-4)\cdot 5 + 1\cdot 14=0

Note that in the second example we have a0\vec{a}\neq 0 and b0\vec{b}\neq 0 but ab=0\vec{a}\bullet \vec{b} =0. This is a key difference to the normal product between two numbers. If we have two numbers a0a\neq 0 and b0b\neq 0 it always follows ab0a\cdot b\neq 0. However, many other properties are similar, e.g.

  1. aa=a20\vec{a}\bullet\vec{a} = \vert\vec{a}\vert^2 \geq 0 (squares are not negative)
  2. ab=ba\vec{a}\bullet\vec{b} = \vec{b}\bullet\vec{a} (product is commutative)
  3. (ca)b=c(ab)(c \cdot \vec{a})\bullet \vec{b} =c\cdot (\vec{a}\bullet \vec{b}) where cc is s scalar (product is associative, that is, you can group)
  4. a(b+c)=(ab)+(ac)\vec{a}\bullet (\vec{b}+\vec{c}) = (\vec{a}\bullet\vec{b}) + (\vec{a}\bullet\vec{c}) (product is distributive, that is, the product distributes over the sum)
Exercise 1

Prove the properties 1-4 for the scalar product.

Show

Solution

  1. aa=axax+ayay+azaz=ax2+ay2+az2=a2\vec{a}\bullet\vec{a} = a_x a_x+a_y a_y+a_z a_z =a_x^2+ a_y^2 +a_z^2= \vert\vec{a}\vert^2

  2. ab=axbx+ayby+azbz=bxax+byay+bzaz=ba\vec{a}\bullet\vec{b} = a_x b_x+a_y b_y+a_z b_z = b_x a_x + b_y a_y+b_z a_z = \vec{b}\bullet\vec{a}

  3. (ca)b=(cax)bx+(cay)by+(caz)bz=c(axbx+ayby+azbz)=c(ab)(c \vec{a})\bullet \vec{b} =(c a_x)\cdot b_x+ (c a_y)\cdot b_y+ (c a_z)\cdot b_z = c\cdot (a_x b_x+ a_y b_y+ a_z b_z) = c\cdot (\vec{a}\bullet \vec{b})

  4. We have

a(b+c)=ax(bx+cx)+ay(by+cy)+az(bz+cz)=axbx+axcx+ayby+aycy+azbz+azcz=(axbx+ayby+azbz)+(axcx+aycy+azcz)=(ab)+(ac)\begin{array}{lll} \vec{a}\bullet (\vec{b} + \vec{c}) &=& a_x (b_x+ c_x) + a_y (b_y+ c_y) + a_z (b_z+ c_z)\\ & = & a_x b_x + a_x c_x + a_y b_y+ a_y c_y+ a_z b_z + a_z c_z \\ & = & (a_x b_x+ a_y b_y + a_z b_z) + (a_x c_x + a_y c_y + a_z c_z)\\ & = & (\vec{a}\bullet\vec{b}) + (\vec{a}\bullet\vec{c}) \end{array}