Independent study guide

Subspaces, Span and Linear Independence: Practice with Solutions

Learn to prove subspace closure, build counterexamples and justify span and independence. Six progressive questions with a worked start, hints and solutions.

Nablio · 6 questionsPublished

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 Rn\mathbb R^n consists of vectors with nn 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 0\mathbf0 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 SS of Rn\mathbb R^n is a subspace when it contains 0\mathbf0 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 0∈S\mathbf0\in S, then take arbitrary a,b∈Sa,b\in S and arbitrary real numbers α,β\alpha,\beta, and prove that αa+βb∈S\alpha a+\beta b\in S. This checks addition by taking α=β=1\alpha=\beta=1, and scalar multiplication by taking β=0\beta=0. 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 v1,…,vkv_1,\ldots,v_k has the form c1v1+⋯+ckvkc_1v_1+\cdots+c_kv_k, with real coefficients cic_i.
  • 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 c1v1+⋯+ckvk=0c_1v_1+\cdots+c_kv_k=\mathbf0 forces every ci=0c_i=0. 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 H={(t,−t):t∈R}H=\{(t,-t):t\in\mathbb R\} a subspace of R2\mathbb R^2?

Start with zero. Choosing t=0t=0 gives (0,0)∈H(0,0)\in H.

Use arbitrary members. Write a=(s,−s)a=(s,-s) and b=(t,−t)b=(t,-t), where s,ts,t are arbitrary real numbers. For any real α,β\alpha,\beta,

αa+βb=(r,−r),r=αs+βt.\begin{aligned}\alpha a+\beta b&=(r,-r),\\r&=\alpha s+\beta t.\end{aligned}

This has the required form (r,−r)(r,-r), with the real parameter r=αs+βtr=\alpha s+\beta t. Thus the combination belongs to HH, so HH is a subspace.

The phrase “has the required form” is the bridge between the calculation and the conclusion. By comparison, K={(t,1−t):t∈R}K=\{(t,1-t):t\in\mathbb R\} fails immediately: every vector in KK has coordinate sum 1, whereas (0,0)(0,0) has sum 0. This translated line is not a subspace.

1. Prove closure using arbitrary vectors

Let WW be the set of vectors x∈R4x\in\mathbb R^4 satisfying both equations:

x2=x1+x3,x4=2x1−x3.\begin{aligned}x_2&=x_1+x_3,\\x_4&=2x_1-x_3.\end{aligned}

A student checks that 0∈W\mathbf0\in W, tests two particular sums, and concludes that WW 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 a,b∈Wa,b\in W, let c=αa+βbc=\alpha a+\beta b, and use ci=αai+βbic_i=\alpha a_i+\beta b_i. Can you turn c2c_2 into c1+c3c_1+c_3, and c4c_4 into 2c1−c32c_1-c_3?

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 a,b∈Wa,b\in W and α,β∈R\alpha,\beta\in\mathbb R, and put c=αa+βbc=\alpha a+\beta b. Since a,b∈Wa,b\in W,

c2=α(a1+a3)+β(b1+b3)=c1+c3,\begin{aligned}c_2&=\alpha(a_1+a_3)\\&\quad+\beta(b_1+b_3)\\&=c_1+c_3,\end{aligned}

c4=α(2a1−a3)+β(2b1−b3)=2c1−c3.\begin{aligned}c_4&=\alpha(2a_1-a_3)\\&\quad+\beta(2b_1-b_3)\\&=2c_1-c_3.\end{aligned}

Both required equations hold, so c∈Wc\in W. Together with the zero check, this proves that WW is a subspace.

Common error: assuming that c∈Wc\in W 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 WW, then explain where each was used.

2. Find a counterexample even though zero belongs

Keep WW from question 1, but restrict it to

D={x∈W:x12+x32≤1}.D=\{x\in W:x_1^2+x_3^2\leq1\}.

Does DD 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 e=(1,1,0,2)e=(1,1,0,2). First check every condition for e∈De\in D. What happens to x12+x32x_1^2+x_3^2 when you double it?

Full solution to question 2

The zero vector is in WW and gives 02+02=0≤10^2+0^2=0\leq1, so it is in DD.

For e=(1,1,0,2)e=(1,1,0,2), the equations of WW give 1=1+01=1+0 and 2=2(1)−02=2(1)-0. Also 12+02=11^2+0^2=1, so e∈De\in D.

However, 2e=(2,2,0,4)2e=(2,2,0,4) gives 22+02=4>12^2+0^2=4>1. Thus 2e∉D2e\notin D, even though 2e∈W2e\in W. Closure under scalar multiplication fails. Since e+e=2ee+e=2e, addition also fails: both summands belong to DD, but their sum does not. Therefore DD is not a subspace.

Common error: stopping after the zero check, or choosing a starting vector that does not belong to DD. The extra restriction must be checked as well as the equations of WW.

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 WW, let

u=(1,1,0,2),v=(0,1,1,−1).\begin{aligned}u&=(1,1,0,2),\\v&=(0,1,1,-1).\end{aligned}

  1. Prove W=span⁡{u,v}W=\operatorname{span}\{u,v\}. Include both directions.
  2. Decide whether p=(2,1,−1,5)p=(2,1,-1,5) and q=(2,1,−1,4)q=(2,1,-1,4) belong to this span. Give coefficients when possible and a reason when impossible.
Hint for question 3

Expand su+rvsu+rv. In the other direction, take an arbitrary x∈Wx\in W and use x1,x3x_1,x_3 as the coefficients. Checking only the first defining equation of WW will not settle membership.

Full solution to question 3

Every linear combination has the form

su+rv=(s,s+r,r,2s−r).\begin{gathered}su+rv\\=(s,s+r,r,2s-r).\end{gathered}

Its second coordinate is the first plus the third, and its fourth is twice the first minus the third. Thus every combination is in WW: span⁡{u,v}⊆W\operatorname{span}\{u,v\}\subseteq W.

Conversely, if x∈Wx\in W, its defining equations give

x=(x1x1+x3x32x1−x3).x=\begin{pmatrix}x_1\\x_1+x_3\\x_3\\2x_1-x_3\end{pmatrix}.

x=x1u+x3v.x=x_1u+x_3v.

Every member of WW is therefore in the span. The two inclusions establish equality.

For pp, choose coefficients 2 and −1-1:

2u−v=(2,1,−1,5)=p.\begin{aligned}2u-v&=(2,1,-1,5)\\&=p.\end{aligned}

The vector qq satisfies its second-coordinate condition, but its fourth coordinate would have to be 2(2)−(−1)=52(2)-(-1)=5, not 4. Hence q∉Wq\notin W and cannot be a combination of u,vu,v.

Common error: showing that two generators belong to WW and stopping. Because WW is a subspace, that proves their span is contained in WW; it does not prove that the span reaches every vector in WW.

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 u,vu,v and add w=u−2v=(1,−1,−2,4)w=u-2v=(1,-1,-2,4). 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 w=u−2vw=u-2v 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

u−2v−w=0u-2v-w=\mathbf0

has coefficients (1,−2,−1)(1,-2,-1), which are not all zero. The triple is dependent.

The pairs are nevertheless independent:

  • For au+bv=0au+bv=\mathbf0, coordinates 1 and 3 give a=0a=0 and b=0b=0.
  • For au+bw=0au+bw=\mathbf0, those coordinates give a+b=0a+b=0 and −2b=0-2b=0, hence a=b=0a=b=0.
  • For av+bw=0av+bw=\mathbf0, they give b=0b=0 and a−2b=0a-2b=0, 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 (u,v)(u,v) is a basis of WW, by its independence here and its spanning property in question 3. Adding ww 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 tt, replace u,vu,v with

at=u+tv,bt=tu+v.\begin{aligned}a_t&=u+tv,\\b_t&=tu+v.\end{aligned}

For which values of tt is (at,bt)(a_t,b_t) independent? For which values does it span WW? Prove your answers. When the pair spans WW, express an arbitrary Au+BvAu+Bv as cat+dbtca_t+db_t. Handle any exceptional values before dividing.

Hint for question 5

Use the already-proved independence of u,vu,v to match their coefficients. You should obtain c+td=Ac+td=A and tc+d=Btc+d=B. Subtract tt times the first equation from the second.

Full solution to question 5

Expanding gives

cat+dbt=(c+td)u+(tc+d)v.\begin{aligned}ca_t+db_t&=(c+td)u\\&\quad+(tc+d)v.\end{aligned}

Case t∉{−1,1}t\notin\{-1,1\}. A zero combination requires c+td=0c+td=0 and tc+d=0tc+d=0, since u,vu,v are independent. Subtraction gives (1−t2)d=0(1-t^2)d=0. The factor is nonzero, so d=0d=0, then c=0c=0. Thus (at,bt)(a_t,b_t) is independent.

For an arbitrary target Au+Bv∈WAu+Bv\in W, solve the same equations with right sides A,BA,B:

c=A−tB1−t2,d=B−tA1−t2.\begin{aligned}c&=\frac{A-tB}{1-t^2},\\d&=\frac{B-tA}{1-t^2}.\end{aligned}

These coefficients exist for every real A,BA,B. Direct substitution gives c+td=Ac+td=A and tc+d=Btc+d=B, so the pair spans WW and is a basis of WW.

Case t=1t=1. Both vectors equal u+vu+v. The relation a1−b1=0a_1-b_1=\mathbf0 proves dependence, and the span is the line span⁡{u+v}\operatorname{span}\{u+v\}.

Case t=−1t=-1. We have a−1=u−va_{-1}=u-v and b−1=−(u−v)b_{-1}=-(u-v). The relation a−1+b−1=0a_{-1}+b_{-1}=\mathbf0 proves dependence, and the span is span⁡{u−v}\operatorname{span}\{u-v\}.

Neither exceptional line is all of WW. For example, if u=s(u+v)u=s(u+v) or u=s(u−v)u=s(u-v), matching the vv-coefficient forces s=0s=0, while matching the uu-coefficient forces s=1s=1, a contradiction. Thus the pair is independent and spans WW exactly when t≠±1t\ne\pm1.

Common error: dividing by 1−t21-t^2 and forgetting the values that make it zero. Another is concluding “spans R4\mathbb R^4” when the calculation only reaches WW. Every combination still satisfies the two constraints of WW.

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 Rn\mathbb R^n. Try it after questions 1–5 if your assigned work asks you to justify statements for arbitrary lists.

Let n,kn,k be positive integers, let v1,…,vk∈Rnv_1,\ldots,v_k\in\mathbb R^n, and let bb be a vector known to belong to their span. Prove that this list is independent if and only if bb has exactly one representation using that ordered list of vectors.

Then return to p=2u−vp=2u-v and the dependent list (u,v,w)(u,v,w) from question 4. Find all its coefficient lists for pp. 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 ww freely and replace ww by u−2vu-2v.

Full solution to question 6

Independence gives uniqueness. Suppose

b=c1v1+⋯+ckvk,b=d1v1+⋯+dkvk.\begin{aligned}b&=c_1v_1+\cdots+c_kv_k,\\b&=d_1v_1+\cdots+d_kv_k.\end{aligned}

Subtracting gives

0=(c1−d1)v1+⋯+(ck−dk)vk.\begin{aligned}\mathbf0&=(c_1-d_1)v_1+\cdots\\&\quad+(c_k-d_k)v_k.\end{aligned}

Independence forces ci−di=0c_i-d_i=0 for every ii, so the coefficient lists agree. Existence was supplied by bb being in the span.

A unique representation gives independence. If the list were dependent, there would be coefficients h1,…,hkh_1,\ldots,h_k, not all zero, with h1v1+⋯+hkvk=0h_1v_1+\cdots+h_kv_k=\mathbf0. Adding that relation to the representation with coefficients cic_i gives a second representation with coefficients ci+hic_i+h_i. At least one coefficient changes, contradicting uniqueness. Therefore the list is independent.

In fact, varying ss over the real numbers and adding s(h1,…,hk)s(h_1,\ldots,h_k) to one coefficient list produces infinitely many distinct representations when a nontrivial relation exists.

For the concrete list, let the coefficient of ww be rr. Since

cu+dv+rw=(c+r)u+(d−2r)v,\begin{aligned}&cu+dv+rw\\&=(c+r)u\\&\quad+(d-2r)v,\end{aligned}

independence of u,vu,v shows that this equals p=2u−vp=2u-v exactly when c+r=2c+r=2 and d−2r=−1d-2r=-1. Thus all representations are

p=(2−r)u+(−1+2r)v+rw,r∈R.\begin{aligned}p&=(2-r)u\\&\quad+(-1+2r)v+rw,\\r&\in\mathbb R.\end{aligned}

For instance, r=0r=0 gives 2u−v2u-v, while r=1r=1 gives u+v+wu+v+w. Both evaluate to (2,1,−1,5)(2,1,-1,5). 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 bb 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