Exercise 1: A plane through the origin: two bases, one dimension
A basis of a subspace is a family of vectors of that is independent AND spans . Every basis of has the same number of vectors, and that number is the dimension of . The payoff comes the moment the dimension is known: in a subspace of dimension , a family of exactly vectors needs only ONE of the two checks.
The figure shows the plane of , with two of its vectors drawn from the origin.
- a) Solve the equation of to find a basis of . Give .
- b) Check that and lie in , and explain why is a basis of without checking that it spans.
- c) The vector lies in . Give its coordinates relative to the basis , then relative to the basis found in a).
- d) Can be a basis of ? Answer first without computing, then exhibit the dependency.
- e) Add one vector to to obtain a basis of , and justify in one line.
Show the solution
Answers
- a) Basis ,
- b) and ; two independent vectors in a plane of dimension form a basis
- c) in ; in
- d) No: three vectors in dimension are dependent;
- e) Add , which is not in since
a) The coefficient matrix is the single row , already reduced, with its pivot on . The variables and are free: , so . Every vector of is a combination of and , and these two are independent because each has a in the free position where the other has a (look at the and entries). So is a basis and : three unknowns, one independent equation, two free variables. This is exactly the null space of the matrix , and rank plus nullity says .
b) Membership is one substitution each: and . The two vectors are not multiples of one another (the first entry of is , that of is not, while their second entries are both non-zero), so they are independent. Now the dimension does the rest: has dimension , and in a subspace of dimension any independent vectors automatically span. So is a basis of , with no spanning computation at all. Checking both conditions is not wrong, it is wasted time; forgetting to say WHY one check suffices (the dimension is ) is what costs the mark.
c) Solve : . The first entry gives , the second , and the third checks: . So and . In the basis of a), the coordinates are simply the free variables: , , and indeed . So there. Same vector, two different coordinate pairs: coordinates belong to a basis, not to a vector. And note both pairs have TWO entries, not three, because is being described inside a plane.
d) No, and no computation is needed to say so: has dimension , and any three vectors in a subspace of dimension are dependent. To exhibit the dependency, solve : gives , and gives ; the middle entry checks, . So , that is .
e) Any vector outside will do. Take : , so . Then is independent (a vector outside the span of an independent pair cannot be a combination of it), and three independent vectors in , of dimension , form a basis. The one-line justification the marker wants is precisely that last clause: three independent vectors in a space of dimension three.