Vector product

A vector product, also known as cross product, is an antisymmetric product A × B = −B × A of two vectors A and B in 3-dimensional Euclidean space $\scriptstyle \mathbb {R} ^{3}$. The vector product is again a 3-dimensional vector. The vector product is widely used in many areas of mathematics, mechanics, electromagnetism, gravitational fields, etc.

Definition

Given two vectors, A and B in $\scriptstyle \mathbb {R} ^{3}$, the vector product is a vector with length AB sin θ_AB, where A is the length of A, B is the length of B, and θ_AB is the smaller angle between A and B. The direction of the vector product is perpendicular (or normal to) the plane containing the vectors A and B and follows the right-hand rule (see below),

$\mathbf {A} \times \mathbf {B} =\mathbf {a} _{\textrm {N}}\,|\mathbf {A} |\,|\mathbf {B} |\,\sin \theta _{AB},$

where a_N is a unit vector normal to the plane spanned by A and B in the right-hand rule direction.

We recall that the length of a vector is the square root of the dot product of a vector with itself, A ≡ |A| = (A ⋅ A )^1/2 and similarly for the length of B.

From the antisymmetry A × B = −B × A follows that the cross (vector) product of any vector with itself (or another parallel or antiparallel vector) is zero because A × A = − A × A and the only quantity equal to minus itself is the zero. Alternatively, one may derive this from the fact that sin(0) = 0 (parallel vectors) and sin(180) = 0 (antiparallel vectors).

Geometric representation of length

CC Image
The length of the cross product A×B is equal to area of the parallelogram with sides a and b, the sum of the areas of the dotted and dashed triangle.

We repeat that the length of the cross product of vectors A and B is equal to

$|\mathbf {A} \times \mathbf {B} |=|\mathbf {A} |\,|\mathbf {B} |\,\sin \theta _{AB},$

because a_N has by definition length 1. Using the high school geometry rule: the area S of a triangle is its base a times its half-height d, we see in the figure on the right that the area S of the dotted triangle is:

$S={\frac {ad}{2}}={\frac {|\mathbf {A} ||\mathbf {B} |\sin \theta _{AB}}{2}}={\frac {|\mathbf {A} \times \mathbf {B} |}{2}},$

because

$d=b\sin \theta _{AB}=|\mathbf {B} |\sin \theta _{AB}\quad {\textrm {and}}\quad a=|\mathbf {A} |.$

Since the dotted triangle with sides a, b, and c is congruent to the dashed triangle, the area S of the dotted triangle is equal to the area of the dashed triangle. This confirms that the length of the cross product is equal to 2S. In conclusion: The area of the parallelogram spanned by the vectors A and B is equal to the length of the cross product of these vectors.

Another formulation

Rather than from the angle and perpendicular unit vector, the form of the cross product below is often used. In this definition we need to express the vectors with respect to a Cartesian (orthonormal) coordinate frame a_x, a_y and a_z of $\scriptstyle \mathbb {R} ^{3}$. With respect to this frame we write A = (A_x, A_y, A_z) and B = (B_x, B_y, B_z). Then

A × B = (A_yB_z - A_zB_y)a_x + (A_zB_x - A_xB_z)a_y + (A_xB_y - A_yB_x)a_z,

This formula can be written more concisely upon introduction of a determinant:

$\mathbf {A} \times \mathbf {B} =\left|{\begin{array}{ccc}\mathbf {a} _{x}&\mathbf {a} _{y}&\mathbf {a} _{z}\\A_{x}&A_{y}&A_{z}\\B_{x}&B_{y}&B_{z}\end{array}}\right|,$

where $\left|\cdot \right|$ denotes the determinant of a matrix. This determinant must be evaluated along the first row, otherwise the equation does not make sense.

Diagram illustrating the direction of A×B

The right hand rule

The diagram on the right illustrates the direction of A × B, which follows the right-hand rule. If one points the fingers of the right hand towards the head of vector A (with the wrist at the origin), then curls them towards the direction of B, the extended thumb will point in the direction of A × B.

Application: the volume of a parallelepiped

CC Image
Parallelepiped generated by the vectors A , B , and C . Its height is h, the projection of A on B×C.

The volume V of the parallelepiped shown in the figure on the left is given by

$V=\mathbf {A} \cdot (\mathbf {B} \times \mathbf {C} ).$

Indeed, remember that the volume of a parallelepiped is given by the area O of its base times its height h, V = Oh. Above it was shown that, if

$\mathbf {D} \equiv \mathbf {B} \times \mathbf {C} \quad {\textrm {then}}\quad O=|\mathbf {D} |.$

The height h of the parallelepiped is the projection of the vector A onto D. This projection is |D| times the inner product,

$\mathbf {A} \cdot \mathbf {D} =|\mathbf {D} |\,{\big (}|\mathbf {A} |\cos \phi {\big )}=|\mathbf {D} |\,h=Oh,$

so that V = A⋅(B×C).

It is of interest to point out that V can be given by a determinant that contains the components of A, B, and C with respect to a Cartesian coordinate system,

$V={\begin{vmatrix}A_{x}&B_{x}&C_{x}\\A_{y}&B_{y}&C_{y}\\A_{z}&B_{z}&C_{z}\\\end{vmatrix}}=A_{x}(B_{y}C_{z}-B_{z}C_{y})+A_{y}(B_{z}C_{x}-B_{x}C_{z})+A_{z}(B_{x}C_{y}-B_{y}C_{x}).$

Generalization

From a somewhat more abstract point of view one may define the vector product as an element of the antisymmetric subspace of the 9-dimensional tensor product space $\scriptstyle \mathbb {R} ^{3}\otimes \mathbb {R} ^{3}$. This antisymmetric subspace is of dimension 3.

In general the antisymmetric subspace of the k-fold tensor power $\scriptstyle \mathbb {R} ^{n}\otimes \mathbb {R} ^{n}\otimes \cdots \otimes \mathbb {R} ^{n}$ is of dimension $\scriptstyle {n \choose k}$. Elements of such space are often called wedge products written as

$A_{1}\wedge A_{2}\wedge A_{3}\cdots \wedge A_{k}.$

The antisymmetric subspace of a two-fold tensor product space is of dimension $\scriptstyle {n \choose 2}=n(n-1)/2$. The latter number is equal to 3 only if n = 3. For instance, for n = 2 or 4, the antisymmetric subspaces are of dimension 1 and 6, respectively. If one regards the cross product in $\scriptstyle \mathbb {R} ^{3}$ from the point of view of antisymmetric subspaces, it is a coincidence that it lies again in $\scriptstyle \mathbb {R} ^{3}$. And indeed, the cross product lacks the property of a vector that it changes sign under inversion [both factors of the cross product change sign and (−1)×(−1) = 1]. A vector that does not change sign under inversion is called an axial vector or pseudo vector. Hence a cross product is a pseudo vector. A vector that does change sign is in this context often referred to as a polar vector.