Practice: Using non-square matrices to do a projection

1. Shadow projection

Shadows are an example of a transformation that reduces the number of dimensions. For example, 3D objects in the world cast shadows on surfaces that are 2D.

We can consider an example for looking at shadows using linear algebra.

The sun is sufficiently far away that effectively all of its rays come in parallel to each other. We can describe their direction with the unit vector$\hat{s}$.

We can describe the 3D coordinates of points on objects in our space with the vector $r$. Objects will cast a shadow on the ground at the point $r'$ along the path that light would have taken if it hadn't been blocked at $r$, that is, $r' = r + \lambda \hat{s}$.

The ground is at $r'_3 = 0$; by using $r' \cdot \hat{e}_3 = 0$, we can derive the expression, $r \cdot \hat{e}_3 + \lambda s_3 = 0$, (where $s_3 = \hat{s} \cdot \hat{e}_3$​).

Rearrange this expression for $\lambda$ and substitute it back into the expression for $r'$ in order to get $r'$ in terms of $r$.

First Tab

From the lecture video, we know that the projection and the dot product are the same things, which result in dimension reduction: e.g., 3D -> 2D as in the current case. The first two problems are just pure linear algebra to express the formula in different forms.

$(2) r_3^′=0$

The subscript refers to the dimension, the third dimension in this case, which is the vertical line. For r', there is no third dimension since it is 2D and thus it equals zero.

r' is perpendicular to the vertical line and thus the dot product of the two vectors is zero.

is the projection of onto which is $s_3$

From (1), if we dot product both sides by , we get:

Since we know, :

Or

Finally, from (4), we get (5)

If we rearrange (5) in terms of λ

Plugging it into (1), we get:

Which is the answer for #1

If we apply Einstein's convention on (6):

$r_3$ is the projection of r to :

$(8) r_i^′=r_i −s_i r_3/s_3$

From (7), if we take $r$ as the common term:

Similarly, from (8), we get:

$(8−1) r_i^′=(I_ij − s_i I_{3j}/s_3 ) r_j$

Second Tab