The cross product, also known as the "vector product", is a vector associated with a pair of vectors in 3-dimensional space.

Mathematics
Cross product
Subject classification: this is a mathematics resource.
Subject classification: this is a physics resource.
Educational level: this is a secondary education resource.
Educational level: this is a tertiary (university) resource.

Geometric Definition

edit
 
The cross-product is perpendicular to the vectors a and b, and points in the direction of the thumb of the right hand when the fingers curl in the direction to move a to b. If the order of the vectors were reversed, the fingers would curl in the opposite direction, so the cross product would point in the opposite direction.

The cross product is written with a "times sign"[1] between the vectors. Letting   be the cross product of   "times"  , we have:

 

The magnitude of   is product of the lengths of the two vectors times the sine of the angle between them:

 ,

where   and  , and pointing in the direction perpendicular to the plane formed by the two vectors:


This leaves an ambiguity—it could point in either of two opposite directions. The ambiguity is resolved by the "right hand rule"—if the fingers of the right hand (except the thumb) are curled as if to depict the rotation of the first vector into the second (following the angular direction of the smallest angle between them), then the thumb points in the direction of the cross product.

A few properties can be deduced from this definition:

  • It is homogeneous in each argument:  .
  • If the two vectors point in the same direction, or opposite directions, their cross product is zero. This is because the sine of 0° or 180° is zero. It is fortunate that this is so, because the right hand rule couldn't be applied in that case.
  • The cross product of two vectors is perpendicular to each of those vectors.
  • It is anticommutative:  .
  • The cross product has an intrinsic "handedness" or chirality, due to the use of the right hand rule. If one looks in a mirror at two vectors and their cross product, the cross product will appear to point in the wrong direction.

Algebraic Definition

edit

The cross product has a remarkable, convenient, and elegant algebraic formulation. If the components of a vector in 3-dimensional Cartesian space are given with subscripts:  ,  , and  , then the cross product of vectors   and   is given by:

 
 
 
It needs to be emphasized that this formula only works if the components of the vectors are described in Cartesian space. In other coordinate systems, it may be necessary to use other, more complicated formulas.

This can be put into a particularly convenient and easy-to-remember form through the use of determinants. Letting  ,  , and   be the Cartesian unit basis vectors, and taking a slight liberty in the meaning of multiplication, we have:

 

The theory of determinants tells us that the determinant changes sign if any two rows of the matrix are exchanged, so swapping the two vectors changes the sign—the cross product is anticommutative. The theory of determinants also tells us that it is homogeneous. One can also work out that it is distributive:

 

Equivalence of the two Definitions

edit
 
Figure 1. The "star" operation is the projection of a vector onto the plane  .

It is important to prove that the geometric and algebraic definitions of the cross product are the same. The proof is somewhat difficult. First, we need a few lemmas, that is, preliminary theorems.

Notation: We will use a fixed vector   throughout. Consider the plane   perpendicular to  . The projection of any other vector (say  ) onto   will be denoted  . See Figure 1.

What if   is zero? Its perpendicular plane is undefined. But in that case the lemma we are trying to prove (distributivity) will be trivially true.


 
Figure 2.   and   give the same cross product.

Lemma 1: Using the geometric definition of the cross product:

 

Proof: Let   be the angle between   and  . We have:

 

Since   is perpendicular to  , we have:

 

So they have the same length. Also,   and   point in the same direction, the direction perpendicular to the plane formed by   and  . See Figure 2.

Q.E.D.


Lemma 2: Letting   be another vector:

 

Proof: We use the "parallelogram rule" for vector addition. In perspective, the vectors might look like Figures 3 and 4.

 
Figure 3. Two vectors, with their "star" projection vectors.
 
Figure 4. Addition of the two vectors.
 
Figure 5, showing the parallelogram rule when viewed directly down on the plane. The green dot symbolizes vector C pointing directly toward the viewer.

But if we look directly down on the plane,   and   are the same, as are   and  , and   and  .

Q.E.D.


 
Figure 6, showing various vectors and their cross products with C. All of these vectors lie in the plane perpendicular to C.

Lemma 3: The cross product, using the geometric definition, obeys the distributive law:

 

Proof:

If we look directly down on the plane perpendicular to C, we can once again see the addition of   and   as shown in Figure 5. If we rotate that diagram clockwise by 90° and scale by the length of  , we get the cross products of all those vectors with C, as shown in Figure 6. Those cross products all lie in the plane perpendicular to C, and the addition of  , by the parallelogram rule, is faithfully carried over into the addition of  .

This shows that

 

By lemma 2, this becomes

 

And by lemma 1, this becomes

 

Q.E.D.


By the antisymmetry of the cross product, it is also distributive in the second argument:

 


Theorem: The geometric and algebraic definitions of the cross product are the same.

Proof: Let the vectors   and   be expressed as linear combinations of the Cartesian unit basis vectors  ,  , and  :

 
 

(The numbers   are the components of the two vectors.)

By lemma 3, and linearity, we can expand the cross product:

 
 
 
 
 
 
 

Now inspection of the cross products of the basis vectors, using the geometric definition and the right hand rule, shows that:

 
Figure 7. Cartesian basis vectors. The system is right handed.
 
 
 

So

 

which is the same as the algebraic definition.

Q.E.D.

Footnotes and References

edit
  1. A real, old-fashioned, times sign. Not an asterisk.