Finding a basis for a subspace

  • Thread starter Thread starter Niles
  • Start date Start date
  • Tags Tags
    Basis Subspace
Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
8 replies · 4K views
Niles
Messages
1,834
Reaction score
0
[SOLVED] Finding a basis for a subspace

Homework Statement


We have a subspace U in R^3 defined by:

U = {(x_1 , x_2 ; x_3) | x_1 + 2*x_2 + x_3 = 0 }.

Find a basis for U.

The Attempt at a Solution



We have the following homogeneous system:

(1 2 1 | 0).

From this I find the solution to be written as a*(2,1,0)^T + b(-1,0,1)^T, where a and b are arbitrary constants. From this I find three linearly independent vectors.

Am I correct?
 
Physics news on Phys.org
(2,1,0) isn't a solution (but it's close). Also, if your subspace contains 3 linearly independent vectors then it's all of R^3. This is obviously not the case right?
 
The solution was (-2,1,0).

Yeah, I need a condition too so it is just the subspace where x_1 + 2*x_2 + x_3 = 0 - but how do I include that?
 
Last edited:
Well, in the answer you gave I see two vectors (one with the correction you mentioned) that appear to be linearly independent. They must be a basis of the solution space, right?
 
Last edited:
You solved the homogeneous system and found the solution a*(-2,1,0)+b*(-1,0,1). That means (-2,1,0) and (-1,0,1) are in the subspace and they span it. They are also independent. 1) Anything in their span already automatically solves x1+2x2+x3=0, since that relation is linear. 2) What do you mean 'three' independent vectors??
 
They must be basis for U. I only have two linearly independent vectors so far (not three as I wrote originally, sorry) - I need three linearly independent vectors that satisfy x_1 + 2*x_2 + x_3 = 0, right? How do I find the third?
 
Doesn't U have to be spanned by three (3) vectors, since it is a subspace of R^3? If not, why?
 
You can't find a third unless the solution space is all of R^3. You have two independent vectors that solve the equation so they must span the solution space.
 
Ok, thanks to both of you.