Six questions, with a worked start, hints and explained solutions. Learn how to prove that a set is a subspace, find a counterexample when it is not, and justify claims about span and linear independence.
Start with the worked example, then try each question before opening its hint. Questions 1–5 build on one set of vectors; question 6 is an optional general-reasoning extension. You need vector addition, multiplication by a real number and basic equation solving.
The definitions your answer must use
We work over the real numbers. The space consists of vectors with real coordinates, using the usual coordinate-by-coordinate addition and scalar multiplication. A scalar is a real number, including a negative number or a fraction. The vector has every coordinate equal to zero. We display coordinates as tuples or as columns; both describe the same vectors.
How do you prove that a set is a subspace?
A subset of is a subspace when it contains and is closed under addition and scalar multiplication. “Closed” means that the result still belongs to the set.
An efficient combined test is: first check , then take arbitrary and arbitrary real numbers , and prove that . This checks addition by taking , and scalar multiplication by taking . The zero check also rules out the empty set.
To show that a set is not a subspace, one failed condition is enough. For an addition counterexample, show that both starting vectors belong and their sum does not. For a scalar counterexample, show that the starting vector belongs and its chosen multiple does not. A few successful examples cannot prove a condition required for every choice.
What do span and independence ask?
- A linear combination of has the form , with real coefficients .
- The span is the set of all such combinations. To show that the span equals a proposed set, explain both why every combination is in the set and why every vector in the set can be produced.
- The list is linearly independent if forces every . It is dependent if a zero combination exists whose coefficients are not all zero.
- A basis of a space is a list that is both independent and spans that space. Always name the space: a basis of a plane need not span its entire ambient space.
A useful answer names the relevant definition, supplies the needed general argument or counterexample, and states exactly what the argument establishes.
Worked start: a line through the origin
Is a subspace of ?
Start with zero. Choosing gives .
Use arbitrary members. Write and , where are arbitrary real numbers. For any real ,
This has the required form , with the real parameter . Thus the combination belongs to , so is a subspace.
The phrase “has the required form” is the bridge between the calculation and the conclusion. By comparison, fails immediately: every vector in has coordinate sum 1, whereas has sum 0. This translated line is not a subspace.
1. Prove closure using arbitrary vectors
Let be the set of vectors satisfying both equations:
A student checks that , tests two particular sums, and concludes that is a subspace. Explain what is missing, then write a complete proof using arbitrary vectors and real coefficients. Check both defining equations.
Hint for question 1
Write , let , and use . Can you turn into , and into ?
Full solution to question 1
The successful sums only check selected cases. Closure must hold for every pair of members and every real scalar.
The zero vector satisfies both equations. Now take arbitrary and , and put . Since ,
Both required equations hold, so . Together with the zero check, this proves that is a subspace.
Common error: assuming that before checking its equations. Membership is the conclusion you must establish.
If you got stuck: revisit the worked start. Replace its single parameter condition with the two conditions defining , then explain where each was used.
2. Find a counterexample even though zero belongs
Keep from question 1, but restrict it to
Does remain a subspace? Check zero, then find a scalar-multiplication counterexample. Use the same vector to test addition. State which conditions fail.
Hint for question 2
Try . First check every condition for . What happens to when you double it?
Full solution to question 2
The zero vector is in and gives , so it is in .
For , the equations of give and . Also , so .
However, gives . Thus , even though . Closure under scalar multiplication fails. Since , addition also fails: both summands belong to , but their sum does not. Therefore is not a subspace.
Common error: stopping after the zero check, or choosing a starting vector that does not belong to . The extra restriction must be checked as well as the equations of .
If you got stuck: return to the counterexample checklist and write three lines: starting membership, operation, failed membership. Only one failed closure condition was needed; this example supplies two.
3. Show that a proposed span is exactly the set
For the same , let
- Prove . Include both directions.
- Decide whether and belong to this span. Give coefficients when possible and a reason when impossible.
Hint for question 3
Expand . In the other direction, take an arbitrary and use as the coefficients. Checking only the first defining equation of will not settle membership.
Full solution to question 3
Every linear combination has the form
Its second coordinate is the first plus the third, and its fourth is twice the first minus the third. Thus every combination is in : .
Conversely, if , its defining equations give
Every member of is therefore in the span. The two inclusions establish equality.
For , choose coefficients 2 and :
The vector satisfies its second-coordinate condition, but its fourth coordinate would have to be , not 4. Hence and cannot be a combination of .
Common error: showing that two generators belong to and stopping. Because is a subspace, that proves their span is contained in ; it does not prove that the span reaches every vector in .
If you got stuck: review linear combinations and span. For a geometric three-coordinate example, use when three vectors span only a plane.
4. Separate pairwise from collective independence
Keep and add . A student argues: “No vector is a multiple of another, so the three vectors are independent.”
Determine whether the triple is independent. Then check whether each pair is independent, and explain why the pairwise checks do not settle the original claim.
Hint for question 4
Move every term in to one side. For each pair, start with a combination equal to zero and inspect coordinates 1 and 3.
Full solution to question 4
The relation
has coefficients , which are not all zero. The triple is dependent.
The pairs are nevertheless independent:
- For , coordinates 1 and 3 give and .
- For , those coordinates give and , hence .
- For , they give and , again forcing both coefficients to zero.
Pairwise independence rules out a dependence involving only one pair. It does not rule out a relation involving all three vectors. The pair is a basis of , by its independence here and its spanning property in question 3. Adding leaves the span unchanged and makes the list dependent.
Common error: replacing “the only zero combination is the trivial one” with “the vectors look different.” Also, a nontrivial relation means that at least one coefficient is nonzero; it does not require every coefficient to be nonzero.
If you got stuck: revisit the definition of independence, then the two-vector check in the fundamentals lesson. Write the zero-combination equation before judging the list.
5. Handle the values where a generating pair changes
For each real , replace with
For which values of is independent? For which values does it span ? Prove your answers. When the pair spans , express an arbitrary as . Handle any exceptional values before dividing.
Hint for question 5
Use the already-proved independence of to match their coefficients. You should obtain and . Subtract times the first equation from the second.
Full solution to question 5
Expanding gives
Case . A zero combination requires and , since are independent. Subtraction gives . The factor is nonzero, so , then . Thus is independent.
For an arbitrary target , solve the same equations with right sides :
These coefficients exist for every real . Direct substitution gives and , so the pair spans and is a basis of .
Case . Both vectors equal . The relation proves dependence, and the span is the line .
Case . We have and . The relation proves dependence, and the span is .
Neither exceptional line is all of . For example, if or , matching the -coefficient forces , while matching the -coefficient forces , a contradiction. Thus the pair is independent and spans exactly when .
Common error: dividing by and forgetting the values that make it zero. Another is concluding “spans ” when the calculation only reaches . Every combination still satisfies the two constraints of .
If you got stuck: review solving and checking a system. If the equations were easy but their meaning was unclear, return to span in question 3 and independence in question 4.
6. Optional reasoning extension: explain why coefficients are unique
This question turns the concrete examples into a general argument about vectors in . Try it after questions 1–5 if your assigned work asks you to justify statements for arbitrary lists.
Let be positive integers, let , and let be a vector known to belong to their span. Prove that this list is independent if and only if has exactly one representation using that ordered list of vectors.
Then return to and the dependent list from question 4. Find all its coefficient lists for . Explain what changes for a target outside the span.
Hint for question 6
Subtract two representations of the same target. For the reverse direction, add a nontrivial zero combination to an existing representation. In the numerical part, choose the coefficient of freely and replace by .
Full solution to question 6
Independence gives uniqueness. Suppose
Subtracting gives
Independence forces for every , so the coefficient lists agree. Existence was supplied by being in the span.
A unique representation gives independence. If the list were dependent, there would be coefficients , not all zero, with . Adding that relation to the representation with coefficients gives a second representation with coefficients . At least one coefficient changes, contradicting uniqueness. Therefore the list is independent.
In fact, varying over the real numbers and adding to one coefficient list produces infinitely many distinct representations when a nontrivial relation exists.
For the concrete list, let the coefficient of be . Since
independence of shows that this equals exactly when and . Thus all representations are
For instance, gives , while gives . Both evaluate to . The derivation also proves that no other coefficient lists were missed.
A target outside the span has no representation. This is why the statement began with in the span. Uniqueness refers to coefficients relative to the specified ordered list; changing the list can change the coordinates of the same vector.
Common error: proving only one direction of “if and only if,” or confusing nonunique coefficients with different target vectors.
If you got stuck: return to the worked example separating existence from uniqueness. First subtract its two concrete representations, then repeat the argument with symbols.
Course fit and next steps
McGill MATH 133: the current departmental course description includes vector spaces, linear dependence and independence, and bases. U of T MAT223H1: the official course description includes subspaces and their translates, and bases in real coordinate space. Questions 1–5 practise these shared ideas; question 6 extends the reasoning to a general list. MAT223H1 does not emphasize proofs, so treat the general extension as enrichment unless your section assigns it. Use your current section’s outline and assigned work to choose which questions to attempt.
For further calculations, try systems, matrices and vectors practice. For coordinate changes after you are comfortable with bases, use the MAT223H1 worked example.
What a tutor can help you check
Bring one attempted proof or counterexample. A tutor can check that your starting vectors really belong to the set, ask which closure condition your calculation tests, and identify where an argument needs an arbitrary vector instead of a chosen example. For span and independence, the tutor can help you distinguish existence from uniqueness and have you explain the conclusion in your own words. See MATH 133 tutoring or MAT223H1 help; MAT223H1 tutoring coverage and availability are confirmed before booking.
Practice design and sources
The questions and solutions were written for this lesson. The instructor’s Summer 2022 MATH 133 archive and Summer 2023 archive informed the emphasis on explaining claims, using definitions and checking counterexamples. They provide historical examples of assessed reasoning, not the format or weighting of a current exam.
Useful for
Work on the step you’re missing.
Tell us the subject and your preferred time. Nablio confirms the details by text or email.
Request a lesson