- You may be looking for Cartesian product.
The cross product is one way of taking the product of two vectors (the other being the dot product). This method yields a third vector perpendicular to both. Unlike the dot product, it is only defined in (that is, three dimensions). It is commonly used in physics, engineering, vector calculus, and linear algebra. It is defined by the formula
where is the unit vector perpendicular to both and . It can be computed other ways as well:
The space 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.
Properties
Conversion to matrix multiplication
The vector cross product also can be expressed as the product of a skew-symmetric matrix and a vector:^{[1]}
where superscript ^{T} refers to the transpose operation, and [a]_{×} is defined by:
The columns [a]_{×,i} of the skew-symmetric matrix for a vector a can be also obtained by calculating the cross-product with unit vectors, i.e.:
Also, if a is itself expressed as a cross product:
then
Proof by substitution Evaluation of the cross product gives Hence, the left hand side equals
Now, for the right hand side,
And its transpose is
Evaluation of the right hand side gives
Comparison shows that the left hand side equals the right hand side.
This result can be generalized to higher dimensions using geometric algebra. In particular in any dimension bivectors can be identified with skew-symmetric matrices, so the product between a skew-symmetric matrix and vector is equivalent to the grade-1 part of the product of a bivector and vector.^{[2]} In three dimensions bivectors are dual to vectors so the product is equivalent to the cross product, with the bivector instead of its vector dual. In higher dimensions the product can still be calculated but bivectors have more degrees of freedom and are not equivalent to vectors.^{[2]}
This notation is also often much easier to work with, for example, in epipolar geometry.
From the general properties of the cross product follows immediately that
- and
and from fact that [a]_{×} is skew-symmetric it follows that
The triple product expansion (bac–cab rule) can be easily proven using this notation.
The Lie algebra R^{3} with cross product (three-dimensional Euclidean space R^{3} with the Lie bracket given by the cross product?) is isomorphic to the Lie algebra so(3), whose elements can be identified with the 3×3 skew-symmetric matrices. The map a → [a]_{×} provides an isomorphism between R^{3} and so(3). Under this map, the cross product of 3-vectors corresponds to the commutator of 3x3 skew-symmetric matrices.
Matrix conversion for cross product with canonical base vectors Denoting with the -th canonical base vector, the cross product of a generic vector with is given by: , where These matrices share the following properties:
- (skew-symmetric);
- Both trace and determinant are zero;
- ;
- (see below);
The orthogonal projection matrix of a vector is given by . The projection matrix onto the orthogonal complement is given by , where is the identity matrix. For the special case of , it can be verified that
For other properties of orthogonal projection matrices, see projection (linear algebra).
Infinitesimal generators of rotations
The cross product conveniently describes the infinitesimal generators of rotations in R^{3}. Specifically, if n is a unit vector in R^{3} and R(φ, n) denotes a rotation about the axis through the origin specified by n, with angle φ (measured in radians, counterclockwise when viewed from the tip of n), then
for every vector x in R^{3}. The cross product with n therefore describes the infinitesimal generator of the rotations about n. These infinitesimal generators form the Lie algebra so(3) of the rotation group SO(3), and we obtain the result that the Lie algebra R^{3} with cross product is isomorphic to the Lie algebra so(3).
See also
References
- ↑ Shuangzhe Liu; Gõtz Trenkler (2008). "Hadamard, Khatri-Rao, Kronecker and other matrix products". Int J Information and systems sciences (Institute for scientific computing and education) 4 (1): 160–177. http://www.math.ualberta.ca/ijiss/SS-Volume-4-2008/No-1-08/SS-08-01-17.pdf.
- ↑ ^{2.0} ^{2.1} Lounesto, Pertti (2001). Clifford algebras and spinors. Cambridge: Cambridge University Press. pp. 193. ISBN 978-0-521-00551-7.
This page uses content from Wikipedia. The original article was at Cross product. The list of authors can be seen in the page history. As with the Math Wiki, the text of Wikipedia is available under the Creative Commons Licence. |