Orthogonal Basis for a subspace

[Hiche]

Homework Statement

Let W = \begin{cases} \begin{pmatrix}x\\y\\z\\w\end{pmatrix} \in R^4 | w + 2x + 2y + 4z = 0 \end{cases}

A)Find basis for W.
B)Find basis for W^{\perp}
C)Use parts (A) and (B) to find an orthogonal basis for R^4 with
respect to the Euclidean inner product.

Homework Equations

..

The Attempt at a Solution

So, part A is done and part B, I used the Gram-Shmidt process to find the basis of W^{\perp}. So far okay? But part C is a little vague to me. How do I approach this?

 

[HallsofIvy]

If you used Gram-Schmidt for A and B, then you have two orthonormal bases for W and W^⊥ and the union of the two bases is a basis for R⁴.

 

[Hiche]

Oh thank you.

For part A), the basis I found was B_W = \begin{pmatrix}1\\0\\0\\-2\end{pmatrix}, \begin{pmatrix}0\\1\\0\\-2\end{pmatrix}, \begin{pmatrix}0\\0\\1\\-4\end{pmatrix}

For part B), v = \begin{pmatrix}x\\y\\z\\w\end{pmatrix} is in the orthogonal compliment of W if and only if v \cdot u_is = 0 where the u_is are the vectors of the basis of W.
We find that the basis for W^{\perp} = \begin{pmatrix}2\\2\\4\\1\end{pmatrix}. Is this the way to solve the first two parts?

Now for part C), let S be the set of vectors S = \{u_1, u_2, u_3, v\}. We need to now use the Gram-Shmidt process on the basis of parts A and B then unionize the vectors as one set. Does this make S the basis for R^4?

I might be confused here, but my teacher, my friend and the book all say different things.

 

[algebrat]

The choice of basis has a lot of room for choice, so it's possible that everyone has different answers but is correct. You might try to understand how they chose their bases.

 

[HallsofIvy]

algebrat is completely correct- there are an infinite number of possible bases for any vector space.
What you have done, for others who might want to follow this, is say that, since you are requiring that w+ 2x+ 2y+ 4z= 0, so that w= -2x- 2y- 4z, we can write
\begin{pmatrix}x \\ y \\ z\\ w\end{pmatrix}= \begin{pmatrix}1 \\ y \\ z\\ -2x- 2y- 4z\end{pmatrix}
= \begin{pmatrix}x \\ 0 \\ 0 \\ -2x\end{pmatrix}+ \begin{pmatrix}0 \\ y \\ 0 \\ -2y\end{pmatrix}+ \begin{pmatrix}0 \\ 0 \\ z \\-4z\end{pmatrix}= x\begin{pmatrix}1 \\ 0 \\ 0 \\ -2\end{pmatrix}+ y\begin{pmatrix}0 \\ 1 \\ 0 \\ -2\end{pmatrix}+ z\begin{pmatrix}0 \\ 0 \\ 1 \\ -4\end{pmatrix}
showing clearly what the basis vectors are.

Any vector (a, b, c, d) in the "orthogonal complement" of that space must have dot product with any vector in the space, and in particular with any basis vector, equal to 0. So we must have (a, b, c, d)\cdot (1, 0, 0, -2)= a- 2d= 0, (a, b, c, d)\cdot (0, 1, 0, -2)= b- 2d= 0, and (a, b, c, d)\cdot (0, 0, 1, -4)= c- 4d= 0. In other words, a= 2d, b= 2d, and c= 4d so that any vector in this space can be written as
\begin{pmatrix}a \\ b \\ c \\ d\end{pmatrix}= \begin{pmatrix}2d \\ 2d \\ 4d \\ d\end{pmatrix}= d\begin{pmatrix}2 \\ 2 \\ 4\\ 1\end{pmatrix}.

Use the Gram-Schmidt process to convert your given basis for W to an orthonormal basis. If your only purpose is to find an orthogonal basis for Rⁿ, you don't really need to do anything to the single vector in the basis for W^⊥ is already perpendicular to all three vectors in the basis for W. If you want an orthonormal basis you can divide (2, 2, 4, 1) by its length, 5.

 

[Hiche]

Finally, a CLEAR explanation. Thank you, HallsofIvy and algebrat.