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 Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \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 Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \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 (non-reentrant) 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,

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \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. A unit vector has by definition length one.

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).

The right hand rule

(PD) Image: D.E. Volk
Fig. 1. Diagram illustrating the direction of A×B. The plane containing A and B is the x-y plane, A×B is along the z-axis.

The diagram in Fig. 1 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.

Another formulation of the cross product

Rather than in terms of angle and perpendicular unit vector, another form of the cross product is often used. In the alternate definition the vectors must be expressed with respect to a Cartesian (orthonormal) coordinate frame a_x, a_y and a_z of Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \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:

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \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 Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \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.

Geometric representation of the length

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

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle |\mathbf{A}\times \mathbf{B}| = |\mathbf{A}|\, |\mathbf{B}|\,\sin\theta_{AB}, }

because a_N has by definition length 1.

CC Image
Fig. 2. 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.

Using the high school geometry rule: the area S of a triangle is its base a times its half-height d, we see in Fig. 2 that the area S of the dotted triangle is equal to:

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle S = \frac{ad}{2} = \frac{|\mathbf{A}| |\mathbf{B}|\sin\theta_{AB}}{2} = \frac{|\mathbf{A}\times \mathbf{B}|}{2}, }

because, as follows from Fig. 2:

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle a = |\mathbf{A}| \quad\textrm{and}\quad d = b \sin\theta_{AB} = |\mathbf{B}|\sin\theta_{AB} . }

Hence |A×B| = 2S. Since the dotted triangle with sides a, b, and c is congruent to the dashed triangle, the area of the dotted triangle is equal to the area of the dashed triangle and the length 2S of the cross product is equal to the sum of the areas of the dotted and the dashed triangle. In conclusion: The area of the parallelogram spanned by the vectors A and B is equal to the length of A×B.

Application: the volume of a parallelepiped

The volume V of the parallelepiped shown in Fig. 3 is given by

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle V = \mathbf{A}\cdot (\mathbf{B}\times\mathbf{C}). }

CC Image

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

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf{D} \equiv \mathbf{B}\times\mathbf{C}\quad\textrm{then}\quad S = |\mathbf{D}|. }

The height h of the parallelepiped is the length of the projection of the vector A onto D. The dot product between A and D is |D| times the length h,

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf{D}\cdot\mathbf{A}= |\mathbf{D}|\,\big(|\mathbf{A}| \cos\phi\big) = |\mathbf{D}|\, h = S h, }

so that V = (B×C)⋅A = 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,

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \begin{align} 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). \end{align} }

From the permutation properties of a determinant follows

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf{A}\cdot (\mathbf{B}\times\mathbf{C}) = \mathbf{B}\cdot (\mathbf{C}\times\mathbf{A}) =\mathbf{C}\cdot (\mathbf{A}\times\mathbf{B}). }

The product A⋅(B×C) is often referred to as a triple scalar product. It is a pseudo scalar. The term scalar refers to the fact that the triple product is invariant under the same simultaneous rotation of A, B, and C. The term pseudo refers to the fact that simultaneous inversion A → —A, B → —B, and C → —C converts the triple product into minus itself.

Cross product as linear map

Given a fixed vector n, the application of n× is linear,

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf{n}\times( c_1 \mathbf{r}_1 + c_2 \mathbf{r}_2) = c_1 \mathbf{n}\times \mathbf{r}_1 + c_2 \mathbf{n}\times \mathbf{r}_2, \qquad c_1,\, c_2 \in \mathbb{R}. }

This implies that n×r can be written as a matrix-vector product,

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf{n}\times \mathbf{r} = \begin{pmatrix} n_y r_z - n_z r_y \\ n_z r_x - n_x r_z \\ n_x r_y - n_y r_x \end{pmatrix} = \underbrace{ \begin{pmatrix} 0 & -n_z & n_y \\ n_z& 0 & -n_x \\ -n_y& n_x & 0 \end{pmatrix}}_{\mathbf{N}} \begin{pmatrix} r_x \\ r_y \\ r_z \end{pmatrix} = \mathbf{N}\, \mathbf{r}. }

The matrix N has as general element

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle N_{\alpha \beta} = -\sum_{\gamma=x,y,z} \epsilon_{\alpha \beta \gamma} n_\gamma \, }

where ε_αβγ is the antisymmetric Levi-Civita symbol. It follows that

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \left( \mathbf{n}\times \mathbf{r} \right)_\alpha = \sum_{\beta=x,y,z} N_{\alpha\beta}\; r_\beta = - \sum_{\beta=x,y,z}\sum_{\gamma=x,y,z} \epsilon_{\alpha \beta \gamma} n_\gamma r_\beta = \sum_{\beta=x,y,z}\sum_{\gamma=x,y,z} \epsilon_{\alpha \beta \gamma} n_\beta r_\gamma. }

Relation to infinitesimal rotation

The rotation of a vector r around the unit vector Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \hat{\mathbf{n}}} over an angle φ sends r to r′. The rotated vector is related to the original vector by

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf{r}' = \mathbf{r}\;\cos\phi + \hat{\mathbf{n}}\;\big(\hat{\mathbf{n}}\cdot \mathbf{r}\big)\big(1-\cos\phi\big) + (\hat{\mathbf{n}}\times\mathbf{r} )\;\sin\phi. }

Suppose now that φ is infinitesimal and equal to Δφ, i.e., squares and higher powers of Δφ are negligible with respect to Δφ, then

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \cos\Delta \phi = 1,\quad\hbox{and}\quad \sin\Delta\phi = \Delta\phi }

so that

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf{r}' = \mathbf{r} + \Delta\phi\;(\hat{\mathbf{n}}\times\mathbf{r} ) . }

The linear operator   Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \hat{\mathbf{n}}\times}   maps   Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbb{R}^3 \rightarrow \mathbb{R}^3 }  ; it is known as the generator of an infinitesimal rotation around Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \hat{\mathbf{n}}} .

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 Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \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 Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \scriptstyle \mathbb{R}^n \otimes \mathbb{R}^n\otimes \cdots\otimes\mathbb{R}^n } is of dimension Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \scriptstyle {n \choose k}} . Elements of such space are often called wedge or exterior products written as

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A_1 \wedge A_2 \wedge A_3 \cdots \wedge A_k,\qquad A_i \in \mathbb{R}^n, \qquad i=1,\dots,k. }

The antisymmetric subspace of a two-fold tensor product space is of dimension

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle {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.

Hence, if one regards the vector product in Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \scriptstyle \mathbb{R}^3} from the point of view of antisymmetric subspaces, it is a "coincidence" that the product lies again in Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \scriptstyle \mathbb{R}^3} .

The cross product lacks the property of a proper 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 often referred to as a polar vector in this context.

External link

The very first textbook on vector analysis (Vector analysis: a text-book for the use of students of mathematics and physics, founded upon the lectures of J. Willard Gibbs by Edwin Bidwell Wilson, Yale University Press, New Haven, 1901) can be found here. In this book the synonyms: skew product, cross product and vector product are introduced.