1.
Let \(W
=\left\{\ba{r}x_1\\x_2\\x_3\\x_4\ea \in
\R^4\ \Bigg|\ x_1+2x_2+3x_3+4x_4=0\right\}\text{.}\)
(a)
Find bases for \(W\) and \(W^\perp.\)
Solution.
\(W\) is the solution space to \(Ax=0\) where \(A\) is the \(1\times 4\) matrix \(A =
\ba{rrrr}1\amp2\amp3\amp4\ea\text{;}\) it is a hyperplane in \(\R^4.\) We easily read a set of independent solutions from the matrix \(A\) which is already in reduced row-echelon form. Taking \(x_2, x_3, x_4\) as free variables, we may take as a basis:
\begin{equation*}
\{w_1, w_2, w_3\} =
\left\{\ba{r}-2\\1\\0\\0\ea, \ba{r}-3\\0\\1\\0\ea,
\ba{r}-4\\0\\0\\1\ea\right\}.
\end{equation*}
Thinking the four fundamental subspaces (Theorem 5.2.17), we know that the
\begin{equation*}
W^\perp =
(\ker A)^\perp =
C(A^*)=\Span\left\{\ba{r}1\\2\\3\\4\ea\right\}.
\end{equation*}
If you did not recall that fact, it is clear that this vector is in \(W^\perp,\) but since
\begin{equation*}
4 = \dim \R^4 = \dim W + \dim W^\perp,
\end{equation*}
we see we already have a spanning set.
(b)
Find orthogonal bases for \(W\) and \(W^\perp.\)
Solution.
Since \(W^\perp =
\Span\left\{\ba{r}1\\2\\3\\4\ea\right\}\) is one-dimensional, the given basis is automatically an orthogonal basis.
For \(W,\) we use Gram-Schmidt: We take \(v_1 = w_1 = \ba{r}-2\\0\\0\\1\ea,\) and compute
\begin{equation*}
v_2 = w_2 - \frac{\la w_2, v_1\ra}{\la v_1,v_1\ra}v_1 =
\ba{r}-3/5\\-6/5\\1\\0\ea
\end{equation*}
and
\begin{equation*}
v_3 = w_3 - \cdots = \ba{r}-2/7\\-4/7\\-6/7\\1\ea.
\end{equation*}
(c)
Find the orthogonal projection of \(b=
\ba{r}1\\1\\1\\1\ea\) onto the subspace \(W\text{.}\)
Hint.
It is definitely worth noting that \(\R^4 = W \boxplus
W^\perp\text{.}\) The question is, how to leverage that fact.
Solution.
The issue we want to leverage is that
\begin{equation*}
\proj_W = I_V -\proj_{W^\perp}.
\end{equation*}
Since we know that \(W^\perp
=\Span\left\{e\right\}\) where \(e= \ba{r}1\\2\\3\\4\ea\text{,}\) we compute
\begin{equation*}
\proj_{W^\perp}(b) = \frac{\la b,e\ra}{\la e,e \ra} e =
\frac{10}{30}\ba{r}1\\2\\3\\4\ea=
\frac{1}{3}\ba{r}1\\2\\3\\4\ea.
\end{equation*}
Now using the observation, we compute
\begin{equation*}
\proj_W(b) = b- \proj_{W^\perp}(b) =
\ba{r}
1\\1\\1\\1
\ea- \frac{1}{3}\ba{r}1\\2\\3\\4\ea
= \frac{1}{3}\ba{r}2\\1\\0\\-1\ea.
\end{equation*}
One alternative is that having gone to the trouble of finding an orthogonal basis for \(W,\) we could brute force the answer from Definition 5.2.13.
Other alternatives: if we made our orthogonal basis for \(W\) into an orthonormal one, we could use Corollary 5.3.2. Or perhaps with a bit less fuss, we could simply take advantage of Proposition 5.3.3 as follows: Let
\begin{equation*}
A =
\ba{rrr}-2\amp-3\amp-4\\1\amp0\amp0\\0\amp1\amp0\\0\amp0\amp1\ea.
\end{equation*}
Then
\begin{equation*}
A (A^*A)^{-1}A^* = \ba{rrrr}\frac{29}{30} \amp
-\frac{1}{15} \amp -\frac{1}{10} \amp -\frac{2}{15} \\ -\frac{1}{15}
\amp \frac{13}{15} \amp -\frac{1}{5} \amp -\frac{4}{15} \\
-\frac{1}{10} \amp -\frac{1}{5} \amp \frac{7}{10} \amp -\frac{2}{5} \\
-\frac{2}{15} \amp -\frac{4}{15} \amp -\frac{2}{5} \amp \frac{7}{15}
\ea
\end{equation*}
is the matrix of the projection map \([\proj_W]\) with respect to the standard basis, so that
\begin{equation*}
\proj_W(b) = A\ba{r}1\\1\\1\\1\ea = \frac{1}{3}\ba{r}2\\1\\0\\-1\ea.
\end{equation*}
I am pretty sure which method I prefer!