We define the cross product and prove several algebraic and geometric properties.

VEC-0080: Cross Product and its Properties

In Module VEC-0050 we introduced the dot product, one of two important products for vectors. We will now introduce the second type of product, called the cross product. There are several important distinctions to keep in mind. First, the dot product is defined for two vectors of , for any natural number ; the cross-product will only be defined for vectors of . Second, the dot product is a scalar; the cross product of two vectors will be a vector. Finally, we will find that unlike the dot product, the cross product is not commutative.

The cross product has many applications in physics and engineering. It also has important geometric properties which will be addressed in this module and in DET-0070.

Preliminaries

In order to define the cross product in a convenient way we need to define and determinants. If you know how to find such determinants you may skip this section and proceed directly to the definition.

Definition of the Cross Product

This formula is much easier to remember when stated symbolically in terms of determinants.

Properties of the Cross Product

What would happen if we took the cross product of the vectors in Example ex:crossproduct but reversed the order?

Let and . Recall that . We need to compute . If you have already studied the effect that switching two rows of a matrix has on its determinant, you should be able to guess the outcome of the upcoming computation.

This computation shows that the cross product is an operation that is not commutative. It also suggests that switching the order of the vectors changes the sign of the result.

Proof
The proof is left to the reader. (See Practice Problem prob:corssuvnegcrossvu)

The next theorem lists two additional properties of the cross product. Proofs of these properties are routine and are left to the reader. (See Practice Problems prob:scalarassocofcrossprod and prob:distofrossprod)

The cross product has several important geometric properties. The following problems give us a glimpse of these properties.

Compute the following products:

For the two vectors in each product, sketch the vectors together with the product vector. What do you observe about the relationship between the cross product and the plane determined by the two vectors in the product?

. Vector is orthogonal to both and .
Orthogonality Property
In this problem we will return to vectors of and of Example ex:crossproduct and Exploration Problem init:crossproduct2. We know that We will now compute the dot product of with each of the original vectors and . It is also easy to verify that and . Recall that the dot product of two vectors is if and only if the two vectors are orthogonal. (Theorem th:orth) We conclude that, at least in this case, the cross product of two vectors is orthogonal to each of the vectors.

It turns out that the orthogonality property illustrated by Exploration Problems init:ijkcrossproducts and init:orthofcorssproduct holds in general. We state it as a theorem.

Proof
This proof can be done by direct computation and is left to the reader. (See Practice Problem prob:crossproductorthtouandv)
Cross Product and the Angle between Vectors

Recall that the dot product of and is related to the angle between and by the following formula

We will derive an analogous result for the cross product. To do so, we will need the following Lemma.

Proof
The proof is left to the reader. (See Practice Problem prob:corssprodmagnitude)

The following theorem establishes a relationship between the magnitude of the cross product, the magnitudes of the two vectors involved in the cross product and the angle between the two vectors. It is important to note that the identity in this theorem involves the magnitude of the cross product, not the cross product itself.

Proof
By Lemma lemma:crossprodmagnitude and (eq:dotproductformula) we have

Observe that all magnitudes are non-negative. Also, because . Taking the square root of both sides give us

Practice Problems

neither
neither
Find the cross product , and verify that is orthogonal to both and .
, .

Answer:

, .

Answer:

Prove Theorem th:corssuvnegcrossvu.
Prove Theorem th:crossproductpropertiesitem:scalarassocofcrossprod in two different ways:
(a)
By direct computation.
(b)
(Optional) By using Theorem th:elemrowopsanddetitem:rowconstantmultanddet.
Prove that the cross product of any vector with itself is the zero vector.
Suppose that is a non-zero vector. Let for . Argue that in two different ways:
(a)
By using Theorem th:crossproductsin.
(b)
(Optional) By using Theorem th:detofsingularmatrix.
Prove the following identity for vectors and of . (Lemma lemma:crossprodmagnitude)