Exercise 1: A plane through the origin: two bases, one dimension
8 answers to check
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
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 .
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.
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.
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 .
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.
Tick the exercises you have done or want to review: a free account, no password, keeps your ticks and your right answers from one visit to the next, tells you which chapter to tackle next and lets you ask for the exercise you are missing. Create your space, an email is enough.