[Linear Algebra] 10. Cross products and duality

3-D cross product formula:

$$\overrightarrow{\mathbf{v}}=\left[\begin{array}{c}{v}_1\\ v_2\\ v_3\end{array}\right];\overrightarrow{\mathbf{w}}=\left[\begin{array}{c}{w}_1\\ w_2\\ w_3\end{array}\right]$$
$$\overrightarrow{\mathbf{v}}\times \overrightarrow{\mathbf{w}}=det\left(\begin{array}{c}\left[\begin{array}{ccc}\hat{\mathbf{i}}& v_1& w_1\\ \hat{\mathbf{j}}& v_2& w_2\\ \hat{\mathbf{k}}& v_3& w_3\end{array}\right]\end{array}\right)=\hat{\mathbf{i}}(v_2{w}_3-v_3{w}_2)+\hat{\mathbf{j}}(v_3{w}_1-v_1{w}_3)+\hat{\mathbf{k}}(v_1{w}_2-v_2{w}_1)$$

 

People are typically told to just believe that the resulting vector has the following geometric properties. 1). Its length equals the area of the parallelogram defined by $\overrightarrow{\mathbf{v}}$ and $\overrightarrow{\mathbf{w}}$. 2). It points in a direction perpendicular to both $\overrightarrow{\mathbf{v}}$ and $\overrightarrow{\mathbf{w}}$. And this direction obeys the right-hand rule.

---

"Linear transformation from space to number is associated with a unique vector in that space" is main idea of duality. In other words, performing the linear transformation is the same as taking a dot product with that vector. That vector is called the "dual vector".

What cross product is?

Before learning what 3-D cross product is, we can imagine that 3-D cross product is determinant of $3\times 3$ matrix which columns are separate 3-D vectors ($\overrightarrow{\mathbf{u}},\overrightarrow{\mathbf{v}},\overrightarrow{\mathbf{w}}$). Geometrically, $3\times 3$ determinant is volume of a parallelepiped spanned out by those three vectors. Of course, It's not 3-D cross product, because cross product use only two vectors, but this idea actually get close to what the real cross product is.

 

To understand the connection between the computation and the geometry of the cross product, let's define a certain linear transformation from space to line.

$$\overrightarrow{\mathbf{v}}=\left[\begin{array}{c}{v}_1\\ v_2\\ v_3\end{array}\right]\overrightarrow{\mathbf{w}}=\left[\begin{array}{c}{w}_1\\ w_2\\ w_3\end{array}\right]\overrightarrow{\mathbf{u}}=\left[\begin{array}{c}x\\ y\\ z\end{array}\right]f\left(\left[\begin{array}{c}x\\ y\\ z\end{array}\right]\right)=det\left(\begin{array}{c}\left[\begin{array}{ccc}x& v_1& w_1\\ y& v_2& w_2\\ z& v_3& w_3\end{array}\right]\end{array}\right)$$

 

The "dual vector"(=$\overrightarrow{\mathbf{p}}$) associated with this 3-D to 1-D transformation is going to be the cross product of $\overrightarrow{\mathbf{v}}$ and $\overrightarrow{\mathbf{w}}$.

 

Geometrically, the output is the volume of a parallelepiped spanned out by three vectors. And one important fact about this transformation is that it's linear which can bring the idea of "duality".

What we're looking is the special 3-D vector $\overrightarrow{\mathbf{p}}$:
$$\overrightarrow{\mathbf{p}}=\left[\begin{array}{c}{p}_1\\ p_2\\ p_3\end{array}\right]f\left(\left[\begin{array}{c}x\\ y\\ z\end{array}\right]\right)=\left[\begin{array}{c}{p}_1\\ p_2\\ p_3\end{array}\right]\cdot \left[\begin{array}{c}x\\ y\\ z\end{array}\right]=det\left(\begin{array}{c}\left[\begin{array}{ccc}x& v_1& w_1\\ y& v_2& w_2\\ z& v_3& w_3\end{array}\right]\end{array}\right)$$

Computationally

Taking the dot product between $\overrightarrow{\mathbf{p}}$ and $\left[\begin{array}{c}x\\ y\\ z\end{array}\right]$ will give us $p_1\cdot x+p_2\cdot y+p_3\cdot z$ where $\left[\begin{array}{c}{p}_1\\ p_2\\ p_3\end{array}\right]$ are the coordinates of $\overrightarrow{\mathbf{p}}$. On the right side, determinant can be organized by $x(v_2\cdot w_3-v_3\cdot w_2)+y(v_3\cdot w_1-v_1\cdot v_3)+z(v_1\cdot w_2-v_2\cdot w_1)-(1)$ where those constants involve certain combinations of the components of $\overrightarrow{\mathbf{v}}$ and $\overrightarrow{\mathbf{w}}$. And, those constants which are the particular combinations of the coordinates of $\overrightarrow{\mathbf{v}}$ and $\overrightarrow{\mathbf{w}}$ are going to be the coordinates of the vector $\overrightarrow{\mathbf{p}}$ that we're looking for. Right side computation is very familiar with cross-product computation.

 

Collecting the constant terms in "Equation (1)" is no different from plugging in the symbols $\hat{\mathbf{i}}$, $\hat{\mathbf{j}}$ and $\hat{\mathbf{k}}$ to the first column and seeing which coefficients aggregate on each one of those terms.

 

Plugging in $\hat{\mathbf{i}}$, $\hat{\mathbf{j}}$ and $\hat{\mathbf{k}}$ is a way of signaling that we should interpret those coefficients as the coordinates of a vector.

 

Now we can answer the following question: If dot product between $\overrightarrow{\mathbf{p}}$ and $\left[\begin{array}{c}x\\ y\\ z\end{array}\right]$ gives the same result as determinant which plugging in $\left[\begin{array}{c}x\\ y\\ z\end{array}\right]$ to the first column of the matrix whose other columns have the coordinates of $\overrightarrow{\mathbf{v}}$ and $\overrightarrow{\mathbf{w}}$. What is vector $\overrightarrow{\mathbf{p}}$?

Geometrically

Remember, the geometric interpretation of a dot product between a vector $\overrightarrow{\mathbf{p}}$ and some other vector is to project that other vector onto $\overrightarrow{\mathbf{p}}$ and then multiply the length of that projection by the length of $\overrightarrow{\mathbf{p}}$.

 

To calculate volume of the parallelepiped, 1). take the area of the parallelogram defined by $\overrightarrow{\mathbf{v}}$ and $\overrightarrow{\mathbf{w}}$ 2). then multiply it, not by the length of $\left[\begin{array}{c}x\\ y\\ z\end{array}\right]$ but by the component of $\left[\begin{array}{c}x\\ y\\ z\end{array}\right]$ that's perpendicular to that parallelogram.

 

In other words, this linear function projects $\left[\begin{array}{c}x\\ y\\ z\end{array}\right]$ onto a line that's perpendicular to both $\overrightarrow{\mathbf{v}}$ and $\overrightarrow{\mathbf{w}}$ then, 2). multiplies the length of that projection by the area of the parallelogram spanned by $\overrightarrow{\mathbf{v}}$ and $\overrightarrow{\mathbf{w}}$. But this is the same thing as taking a dot product between $\left[\begin{array}{c}x\\ y\\ z\end{array}\right]$ and a vector that's perpendicular to $\overrightarrow{\mathbf{v}}$ and $\overrightarrow{\mathbf{w}}$ with a length equal to the area of that parallelogram. Also taking a dot product between $\overrightarrow{\mathbf{p}}$ and $\left[\begin{array}{c}x\\ y\\ z\end{array}\right]$ is the same thing as computing that determinant of a $3\times 3$ matrix whose columns are $\left[\begin{array}{c}x\\ y\\ z\end{array}\right]$, the coordinates of $\overrightarrow{\mathbf{v}}$ and $\overrightarrow{\mathbf{w}}$.

 

Now we can answer the following question: If dot product between $\overrightarrow{\mathbf{p}}$ and $\left[\begin{array}{c}x\\ y\\ z\end{array}\right]$ gives the same result as the signed volume of a parallelepiped defined by $\left[\begin{array}{c}x\\ y\\ z\end{array}\right]$ along with $\overrightarrow{\mathbf{v}}$ and $\overrightarrow{\mathbf{w}}$. What is 3D vector $\overrightarrow{\mathbf{p}}$ 

Summary

Just to sum up what happened here, 1). Define 3-D to 1-D transformation by $\overrightarrow{\mathbf{v}}$ and $\overrightarrow{\mathbf{w}}$, 2). then find dual vector from two perspective (numerically and geometrically).

 

In computational approach, explained about trick of plugging in the symbols $\hat{\mathbf{i}}$, $\hat{\mathbf{j}}$ and $\hat{\mathbf{k}}$ to the first column of the matrix and computing the determinant.

 

In geometrical approach, deduce that this duel vector must be perpendicular to $\overrightarrow{\mathbf{v}}$ and $\overrightarrow{\mathbf{w}}$ with a length equal to the area of the parallelogram spanned out by those two vectors.

 

Since both of these approaches give us a dual vector to the same transformation, they must be the same vector. So this computation has those geometrical property.