# Cross

Cross[a,b]

gives the vector cross product of a and b.

# Details

- If a and b are lists of length 3, corresponding to vectors in three dimensions, then Cross[a,b] is also a list of length 3.
- Cross[a,b] can be entered in StandardForm and InputForm as ab, a cross b or ab. Note the difference between \[Cross] and \[Times].
- Cross is antisymmetric, so that Cross[b,a] is -Cross[a,b]. »
- Cross[{x,y}] gives the perpendicular vector {-y,x}.
- In general, Cross[v
_{1},v_{2},…,v_{n-1}] is a totally antisymmetric product which takes vectors of length n and yields a vector of length n that is orthogonal to all of the v_{i}. - Cross[v
_{1},v_{2},…] gives the dual (Hodge star) of the wedge product of the v_{i}, viewed as one‐forms in n dimensions.

# Examples

open allclose all## Basic Examples (3)

## Scope (9)

Find the cross product of machine-precision vectors:

Cross product of complex vectors:

Cross product of exact vectors:

The cross product of arbitrary-precision vectors:

Cross product of symbolic vectors:

Compute the cross product of QuantityArray vectors:

The QuantityArray structure is preserved:

The cross product of a single vector in two dimensions:

The result is perpendicular to the original vector:

Define two vectors in three dimensions:

Verify that Cross is antisymmetric:

Define three vectors in four dimensions:

Compute the cross product of the vectors:

Verify that the product is orthogonal to all three vectors:

Compute all possible product orders; each swap of two vectors merely changes the overall sign:

## Applications (10)

### Geometric Applications (5)

Find the normal to the plane spanned by two vectors:

Verify that the result is perpendicular to both inputs:

Find a vector perpendicular to a vector in the plane:

Verify that u and v are perpendicular:

Find a vector orthogonal to n-1 vectors in n dimensions:

Find the area of the parallelogram defined by two vectors:

Compare with a direct computation using Area:

This can also be computed as , with the angle between the vectors:

The Frenet–Serret system encodes every space curve's properties in a vector basis and scalar functions. Consider the following curve:

Define the tangent, normal and binormal vectors in terms of cross products of the first two derivatives:

These three vectors define a right-handed, orthonormal basis for :

Compute the curvature, , and torsion, , which quantify how the curve bends:

Verify the answers using FrenetSerretSystem:

Visualize the curve and the associated moving basis, also called a frame:

### Physical Applications (5)

Find the torque about the origin of a force straight down applied at the point :

Torque is given by the formula :

Find the angular momentum of a particle of mass , velocity and position about the origin:

Angular momentum is given by , with linear momentum equal to :

Find the magnetic force on the particle of charge and velocity moving through a magnetic field of in the positive direction:

Use UnitSimplify get the expected unit Newtons, and MatrixForm to format the vector:

Consider a particle constrained to rotate at a fixed distance from the axis:

Define the angular velocity by means of a cross product:

Many properties can be expressed in terms of . The linear velocity equals :

The perpendicular or centripetal acceleration equals :

Since and are orthogonal, it is immediate that :

The well-known formula for centripetal acceleration, , also holds:

The derivative of is the angular velocity :

The acceleration parallel to the direction of motion, , equals :

Note that the linear acceleration equals the sum :

Cross products with respect to fixed three-dimensional vectors can be represented by matrix multiplication, which is useful in studying rotational motion. Construct the antisymmetric matrix representing the linear operator , where is an angular velocity about the axis:

Verify that the action of is the same as doing a cross product with :

The rotation matrix at time is the matrix exponential of times the previous matrix:

Verify using RotationMatrix:

The point at time zero will be at time :

The velocity of will be given by :

## Properties & Relations (10)

If u and v are linearly independent, u×v is nonzero and orthogonal to u and v:

If u and v are linearly dependent, u×v is zero:

For three-dimensional vectors, , with the angle between and :

The norm of Cross[u_{1},…,u_{k}] is the measure of the k-dimensional parallelopiped spanned by u_{i}:

Cross is antisymmetric:

Cross is linear in each argument:

Since Cross is linear, the operator can be represented by matrix multiplication:

Multiplying a vector by by the antisymmetric matrix is equivalent to :

There is a corresponding operator, , for computing the product in the opposite order:

These two matrices are transposes or—equivalently, due to antisymmetry—negations of each other:

Cross in dimension is the contraction of vectors into the Levi-Civita tensor:

Cross of vectors in dimension is ( times the Hodge dual of their tensor product:

The Hodge dual of the TensorWedge of -vectors coincides with the Cross of those vectors:

TensorWedge can treat higher-rank forms:

#### Text

Wolfram Research (1996), Cross, Wolfram Language function, https://reference.wolfram.com/language/ref/Cross.html.

#### CMS

Wolfram Language. 1996. "Cross." Wolfram Language & System Documentation Center. Wolfram Research. https://reference.wolfram.com/language/ref/Cross.html.

#### APA

Wolfram Language. (1996). Cross. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/Cross.html