3Blue1Brown

Chapter 10Cross products

"Every dimension is special."

- Jeff Lagarias

Last chapter, I talked about the dot product, showing both the standard introduction to the topic, as well as the deeper view of it related to linear transformations. I'd like to do the same for cross products, which also have a standard introduction along with a deeper understanding in the light of linear transformations, but this time I'm dividing it into two chapters.

Here, I'll try to hit the main points that students are usually shown about the cross product, and in the next chapter I'll show a view which is less commonly taught, but really satisfying when you learn it.

Two dimensions

We'll start in two dimensions. If you have two vectors, v\vec{\mathbf{v}} and w\vec{\mathbf{w}}, think about the parallelogram that they span out. What I mean by this is that if you take a copy of v\vec{\mathbf{v}}, and move its tail to the tip of w, and you take a copy of w\vec{\mathbf{w}}, and move its tail to the tip of v\vec{\mathbf{v}}, the four vectors enclose a certain parallelogram.

The cross product of v\vec{\mathbf{v}} and w\vec{\mathbf{w}}, written with the x-shaped multiplication symbol (×\times), is the area of this parallelogram.

Well, almost, we also need to consider orientation. If w\vec{\mathbf{w}} is a counterclockwise rotation away from v\vec{\mathbf{v}}, then v×w\vec{\mathbf{v}} \times \vec{\mathbf{w}} is positive and equal to the area of that parallelogram.

But if w\vec{\mathbf{w}} is a clockwise rotation away from v\vec{\mathbf{v}}, the cross product is 1-1 times the area of that parallelogram.

Notice, this means order matters. If you swap v\vec{\mathbf{v}} and w\vec{\mathbf{w}}, and instead consider w\vec{\mathbf{w}} cross v\vec{\mathbf{v}}, the cross product becomes the negative of whatever it was before.

v×w=w×v\vec{\mathbf{v}} \times \vec{\mathbf{w}} = -\vec{\mathbf{w}} \times \vec{\mathbf{v}}

The way I always remember this is that when you take the cross product of the two basis vectors in order, ı^×ȷ^\hat{\imath} \times \hat{\jmath}, the result should be positive. In fact, the order of your basis vectors is what defines orientation. So since ı^\hat{\imath} is on the right of ȷ^\hat{\jmath}, I remember that v×w\vec{\mathbf{v}} \times \vec{\mathbf{w}} is positive whenever w\vec{\mathbf{w}} a counterclockwise rotation away from v\vec{\mathbf{v}}.

For example, with the vectors shown here, the area of that parallelogram is 7 (You'll see how to compute this below). Because w\vec{\mathbf{w}} is a clockwise rotation away from v\vec{\mathbf{v}}, the cross product should be negative, so v×w=7\vec{\mathbf{v}} \times \vec{\mathbf{w}} = -7.

Given the diagram below:

Is the cross product v×w\vec{\mathbf{v}} \times \vec{\mathbf{w}} positive?

Given the diagram below:

Is the cross product v×w\vec{\mathbf{v}} \times \vec{\mathbf{w}} positive?

Compute with determinant

Of course, you want to be able to compute this without someone telling you the area. This is where the determinant comes in from chapter 5. For the 2d cross product v×w\vec{\mathbf{v}} \times \vec{\mathbf{w}}, you write the coordinates of v\vec{\mathbf{v}} as the first column of a matrix, write the coordinates of w\vec{\mathbf{w}} as the second column, then you compute the determinant.

This is because a matrix whose columns represent v\vec{\mathbf{v}} and w\vec{\mathbf{w}} corresponds with a linear transformation that moves the basis vectors ı^\hat{\imath} and ȷ^\hat{\jmath} to v\vec{\mathbf{v}} and w\vec{\mathbf{w}}.

The determinant is all about measuring how areas change due to a transformation, and the prototypical area to look at is the unit square resting on ı^\hat{\imath} and ȷ^\hat{\jmath}. After the transformation, that square turns into the parallelogram we care about. So the determinant, which generally measures the factor by which areas are changed, gives the area of this parallelogram, since it evolved from a square that started with area 1.

What's more, if w\vec{\mathbf{w}} is a clockwise rotation away from v\vec{\mathbf{v}}, it means orientation is flipped during the transformation, which is what it means for a determinant to be negative.

Since the orientation is flipped, the determinant is negative.

Since the orientation isn't flipped, the determinant is positive.

Determinant example

For example, if v\vec{\mathbf{v}} has coordinates [31]\begin{bmatrix}-3\\1\end{bmatrix}, and w\vec{\mathbf{w}} has coordinates [21]\begin{bmatrix}2\\1\end{bmatrix}, the determinant is:

det([3211])=(3)121=5.00\operatorname{det}\left(\left[\begin{array}{cc}-3 & 2 \\ 1 & 1\end{array}\right]\right)=(-3)\cdot1 - 2\cdot1 = -5.00

Evidently the area of the parallelogram formed by the two vectors is 55, and since w\vec{\mathbf{w}} is a clockwise rotation away from v\vec{\mathbf{v}} it should make sense that this value is negative.

I'd recommend playing around with this notion a bit in your head to get an intuitive feel for the cross product.

What is result of of v×w\vec{\mathbf{v}} \times \vec{\mathbf{w}} where v=[12]\vec{\mathbf{v}} = \begin{bmatrix}1\\-2\end{bmatrix} and w=[43]\vec{\mathbf{w}} = \begin{bmatrix}4\\3\end{bmatrix}?

Properties

For example, you might notice that when two vectors are perpendicular, or close to being perpendicular, their cross product is larger than it would be if they were pointing in a very similar direction, because the area of that parallelogram is larger when its sides are perpendicular.

v×w\vec{\mathbf{v}} \times \vec{\mathbf{w}} is bigger when the vectors are more perpendicular to eachother and smaller when the vectors are pointing in a similar direction.

Something else you might notice is that if you scale up one of the vectors, perhaps multiplying v\vec{\mathbf{v}} by 33, then the area of that parallelogram is scaled up by a factor of three, so (3w)×w=3(w×w)(3\vec{\mathbf{w}}) \times \vec{\mathbf{w}} = 3 (\vec{\mathbf{w}} \times \vec{\mathbf{w}}).

Standard 3d View

Now, even though everything we just did is a perfectly fine mathematical operation, what I just described is technically not the cross product. The true cross product is something that combines two 3d vectors to get a new 3d vector.

[v1v2v3]×[w1w2w3]=[p1p2p3]\left[\begin{array}{l} v_1 \\ v_2 \\ v_3 \end{array}\right] \times \left[\begin{array}{l} w_1 \\ w_2 \\ w_3 \end{array}\right] = \left[\begin{array}{l} p_1 \\ p_2 \\ p_3 \end{array}\right]

You still consider the parallelogram defined by the two vectors, and the area of that parallelogram still plays a big role. To be concrete the area is 99 units for the vectors shown here.

The 3d cross product does not return a number, it returns a vector. This new vector's length will be the area of that parallelogram, which in this example is 99, and the direction of that new vector is perpendicular to that parallelogram.

But which way? There are two possible vectors with length 99 pointing perpendicular to a given plane. This is where the right-hand rule comes in. Point the forefinger of your right hand in the direction of v\vec{\mathbf{v}}, and stick out your middle finger in the direction of w\vec{\mathbf{w}}. Now when you point up your thumb, that's the direction of the cross product.

For example, let v\vec{\mathbf{v}} be the vector with length 22 in the zz direction, and let w\vec{\mathbf{w}} be the vector with length 22 in the yy direction. The parallelogram they define in this simple example is actually a square, since they're perpendicular, and the area of that square is 44. Using the right hand rule, their cross product should point in the negative xx direction, so this cross product is 4ı^-4 \hat{\imath}.

What is v×w\vec{\mathbf{v}} \times \vec{\mathbf{w}} where v=[200]\vec{\mathbf{v}} = \left[\begin{array}{c} 2 \\ 0 \\ 0 \end{array}\right] and w=[030]\vec{\mathbf{w}} = \left[\begin{array}{c} 0 \\ -3 \\ 0 \end{array}\right]?

Computing

There is a formula you could memorize for this cross product:

[v1v2v3]×[w1w2w3]=[v2w3w2v3v3w1w3v1v1w2w1v2]\left[\begin{array}{l} v_1 \\ v_2 \\ v_3 \end{array}\right] \times\left[\begin{array}{l} w_1 \\ w_2 \\ w_3 \end{array}\right]=\left[\begin{array}{l} v_2 \cdot w_3-w_2 \cdot v_3 \\ v_3 \cdot w_1-w_3 \cdot v_1 \\ v_1 \cdot w_2-w_1 \cdot v_2 \end{array}\right]

However, it's common and easier to remember a certain process involving the 3d determinant. This process looks truly strange at first. Write a 3d matrix where the second column is the coordinates of v\vec{\mathbf{v}}, and the third column is the coordinates w\vec{\mathbf{w}}. Then for the first column, write in the basis vector ı^\hat{\imath}, ȷ^\hat{\jmath}, and k^\hat{k}. Then, you compute the determinant of this matrix.

The silliness is probably clear here. What on earth does it mean to put a vector in as the entry to a matrix? Students are often told that this is just a notational trick; when you carry out all the computations as if ı^\hat{\imath}, ȷ^\hat{\jmath} and k^\hat{k} were numbers. Then you get some linear combination of those basis vectors, and the vector defined by that linear combination, students are told to just believe, is the unique vector perpendicular to v\vec{\mathbf{v}} and w\vec{\mathbf{w}} whose magnitude is the area of the appropriate parallelogram, and whose direction obeys the right-hand-rule.

And sure, in some sense this is a notational trick, but there is a reason for doing it. It's not just a coincidence that the determinant is once again important, and putting the basis vectors in these slots is not just random. To understand where this all comes from, it helps to use the idea of duality that I introduced in the last chapter. This concept is a bit heavy, though, so I'm putting it into a separate follow-on chapter for those of you curious to learn more.

Arguably, it falls outside the essence of linear algebra, so you can feel comfortable if you want to skip that next chapter and go straight to the lesson on Cramer's Rule. But for those of you willing to go a bit deeper, it's just really cool.

TwitterRedditFacebook
Notice a mistake? Submit a correction on GitHub
Table of Contents