In mathematics, the cross product or vector product (occasionally directed area product, to emphasize its geometric significance) is a binary operation on two vectors in three-dimensional space
R
3
{\displaystyle \mathbb {R} ^{3}}
, and is denoted by the symbol
×
{\displaystyle \times }
. Given two linearly independent vectors a and b, the cross product, a × b (read "a cross b"), is a vector that is perpendicular to both a and b, and thus normal to the plane containing them. It has many applications in mathematics, physics, engineering, and computer programming. It should not be confused with the dot product (projection product).
If two vectors have the same direction or have the exact opposite direction from one another (i.e., they are not linearly independent), or if either one has zero length, then their cross product is zero. More generally, the magnitude of the product equals the area of a parallelogram with the vectors for sides; in particular, the magnitude of the product of two perpendicular vectors is the product of their lengths.
The cross product is anticommutative (i.e., a × b = − b × a) and is distributive over addition (i.e., a × (b + c) = a × b + a × c). The space
R
3
{\displaystyle \mathbb {R} ^{3}}
together with the cross product is an algebra over the real numbers, which is neither commutative nor associative, but is a Lie algebra with the cross product being the Lie bracket.
Like the dot product, it depends on the metric of Euclidean space, but unlike the dot product, it also depends on a choice of orientation or "handedness". The product can be generalized in various ways; it can be made independent of orientation by changing the result to a pseudovector, or the exterior product of vectors can be used in arbitrary dimensions with a bivector or 2-form result. Also, using the orientation and metric structure just as for the traditional 3-dimensional cross product, one can, in n dimensions, take the product of n − 1 vectors to produce a vector perpendicular to all of them. But if the product is limited to non-trivial binary products with vector results, it exists only in three and seven dimensions. (See § Generalizations, below, for other dimensions.)