The math optional, made finite. Daily Practice

Linear dependence and independence

At a Glance

Why This Chapter Matters

Linear dependence and independence is the most fundamental concept in linear algebra and one of the fastest questions to solve when you know the method. UPSC asks it in three distinct flavours — testing independence over different fields (R\mathbb R vs C\mathbb C), deciding membership in a span, and row-reducing to find the rank and an explicit dependence relation. All three take under 8 minutes with the right technique. At 8–10 marks each, these are “safe” marks: straightforward once the method is automatic, but a mark trap for students who try to compute determinants of non-square matrices or who skip exhibiting the explicit dependence relation.

Minimum Theory

Linear dependence and independence. Let VV be a vector space over a field F\mathbb F. Vectors v1,,vkVv_1,\ldots,v_k\in V are linearly dependent over F\mathbb F if there exist scalars c1,,ckFc_1,\ldots,c_k\in\mathbb F, not all zero, with civi=0\sum c_i v_i=0. They are linearly independent if the only solution to civi=0\sum c_i v_i=0 is c1==ck=0c_1=\cdots=c_k=0.

Span and membership. wspan{v1,,vk}w\in\operatorname{span}\{v_1,\ldots,v_k\} iff the system c1v1++ckvk=wc_1 v_1+\cdots+c_k v_k=w is consistent. Test consistency by row-reducing the augmented matrix [v1vkw][v_1|\cdots|v_k|w].

Row-rank test. Stack the vectors as rows of a matrix. The vectors are linearly independent iff the matrix has full row-rank. Row-reduce to echelon form and count non-zero rows. If any row reduces to zero, the corresponding vector is in the span of the others — read the dependence relation from the row operations.

Field dependence/independence. The same set of vectors can be independent over R\mathbb R but dependent over C\mathbb C, because over C\mathbb C there are more (complex) scalars available. To show independence over R\mathbb R: let ciRc_i\in\mathbb R and use the real/imaginary-part trick (a real linear combination of complex vectors is zero iff its real and imaginary parts are separately zero — each complex component gives two real equations). To show dependence over C\mathbb C: explicitly find complex cic_i (not all zero) with civi=0\sum c_i v_i=0.

Question Archetypes

ArchetypeYou are seeing this when…
field-dependent-independenceShow a set is independent over R\mathbb R but dependent over C\mathbb C
membership-in-span”Is (a,b,c,d)span{V1,V2,V3}(a,b,c,d)\in\operatorname{span}\{V_1,V_2,V_3\}?” — solve the linear system and check consistency
test-independenceStack vectors as rows; row-reduce; report rank and exhibit any dependence relation

field-dependent-independence (1 question(s); 2013)

Recognition Cues

Solution Template

  1. Dependence over C\mathbb C: Try c=1c=1 (or another fixed value) and solve for the remaining complex scalars. Show the system has a non-trivial solution.
  2. Independence over R\mathbb R: Let a,b,cRa,b,c\in\mathbb R with aV1+bV2+cV3=0aV_1+bV_2+cV_3=0. Look for a component that forces immediate conclusions. If any component gives α+βi=0\alpha+\beta i=0 with α,βR\alpha,\beta\in\mathbb R real-valued expressions, then α=0\alpha=0 and β=0\beta=0 separately. Drive all scalars to zero.
  3. Conclude each part explicitly.

Worked Example

2013 Paper 1, 2013-P1-Q2c-ii (8 marks)

Show that the vectors X1=(1,1+i,i)X_1=(1,1+i,i), X2=(i,i,1i)X_2=(i,-i,1-i), X3=(0,12i,2i)X_3=(0,1-2i,2-i) in C3\mathbb C^3 are linearly independent over R\mathbb R but linearly dependent over C\mathbb C.

Part 1 — Dependence over C\mathbb C.

Try aX1+bX2=X3aX_1+bX_2=X_3 (i.e. a,b,1a,b,1 are the coefficients with the third scalar set to 1-1):

The relation iX1+X2X3=0-iX_1+X_2-X_3=0 (or equivalently iX1X2+X3=0iX_1-X_2+X_3=0) has non-zero complex coefficients, so {X1,X2,X3}\{X_1,X_2,X_3\} is linearly dependent over C\mathbb C. \blacksquare

  iX1X2+X3=0.  \boxed{\;iX_1-X_2+X_3=0.\;}

Part 2 — Independence over R\mathbb R.

Let a,b,cRa,b,c\in\mathbb R satisfy aX1+bX2+cX3=0aX_1+bX_2+cX_3=0.

So a=b=c=0a=b=c=0, and {X1,X2,X3}\{X_1,X_2,X_3\} is linearly independent over R\mathbb R. \blacksquare

Common Traps


membership-in-span (1 question(s); 2023)

Recognition Cues

Solution Template

  1. Set up the system. Write aV1+bV2+cV3=waV_1+bV_2+cV_3=w as a system of nn equations in kk unknowns.
  2. Reduce. Use two equations to express all unknowns in terms of one free parameter.
  3. Substitute into a third equation. Check for consistency. If consistent: wspanw\in\operatorname{span}. If inconsistent: wspanw\notin\operatorname{span}.
  4. Conclude explicitly.

Worked Example

2023 Paper 1, 2023-P1-Q1a (10 marks)

Let V1=(2,1,3,2)V_1=(2,-1,3,2), V2=(1,1,1,3)V_2=(-1,1,1,-3), V3=(1,1,9,5)V_3=(1,1,9,-5). Does (3,1,0,1)span{V1,V2,V3}(3,-1,0,-1)\in\operatorname{span}\{V_1,V_2,V_3\}?

Step 1 — System. Seek a,b,cRa,b,c\in\mathbb R with aV1+bV2+cV3=(3,1,0,1)aV_1+bV_2+cV_3=(3,-1,0,-1): 2ab+c=3,a+b+c=1,3a+b+9c=0,2a3b5c=1.2a-b+c=3,\qquad -a+b+c=-1,\qquad 3a+b+9c=0,\qquad 2a-3b-5c=-1.

Step 2 — Reduce. Add Eq 1 and Eq 2: a+2c=2a=22ca+2c=2\Rightarrow a=2-2c. Substitute into Eq 2: b=13cb=1-3c.

Step 3 — Check Eq 3. 3(22c)+(13c)+9c=66c+13c+9c=73(2-2c)+(1-3c)+9c=6-6c+1-3c+9c=7. For consistency, need 7=07=0. Contradiction.

Conclusion.   (3,1,0,1)span{V1,V2,V3}.  \boxed{\;(3,-1,0,-1)\notin\operatorname{span}\{V_1,V_2,V_3\}.\;}

(Also check Eq 4 for completeness: 2(22c)3(13c)5c=44c3+9c5c=112(2-2c)-3(1-3c)-5c=4-4c-3+9c-5c=1\neq -1 — also inconsistent.)

Common Traps


test-independence (1 question(s); 2015)

Recognition Cues

Solution Template

  1. Form the matrix MM with the vectors as rows (or columns).
  2. Row-reduce to echelon form, recording the operations.
  3. Identify rank. Count non-zero rows in echelon form.
  4. If rank <k<k: the vectors are dependent. Read off the dependence relation from the row operations (or solve ciVi=0\sum c_i V_i=0 directly with the reduced system).
  5. State conclusion clearly: true/false + the explicit relation.

Worked Example

2015 Paper 1, 2015-P1-Q1a (10 marks)

The vectors V1=(1,1,2,4)V_1=(1,1,2,4), V2=(2,1,5,2)V_2=(2,-1,-5,2), V3=(1,1,4,0)V_3=(1,-1,-4,0), V4=(2,1,1,6)V_4=(2,1,1,6) in R4\mathbb R^4 are linearly independent. Is it true? Justify.

Step 1 — Matrix. M=(1124215211402116).M=\begin{pmatrix}1&1&2&4\\2&-1&-5&2\\1&-1&-4&0\\2&1&1&6\end{pmatrix}.

Step 2 — Row-reduce.

R2R22R1R_2\to R_2-2R_1, R3R3R1R_3\to R_3-R_1, R4R42R1R_4\to R_4-2R_1: (1124039602640132).\begin{pmatrix}1&1&2&4\\0&-3&-9&-6\\0&-2&-6&-4\\0&-1&-3&-2\end{pmatrix}.

Observe: R2=3R4R_2=3R_4 and R3=2R4R_3=2R_4. So R2R23R4R_2\to R_2-3R_4 and R3R32R4R_3\to R_3-2R_4: (1124000000000132).\begin{pmatrix}1&1&2&4\\0&0&0&0\\0&0&0&0\\0&-1&-3&-2\end{pmatrix}.

Step 3 — Rank. Two non-zero rows. Rank =2<4=2<4.

Conclusion. The statement is false — the vectors are linearly dependent.

Step 4 — Explicit relation. Solve αV1+βV2+γV3+δV4=0\alpha V_1+\beta V_2+\gamma V_3+\delta V_4=0. From the row operations: R23R4=0R_2-3R_4=0 means 3V2+(1)(3)V4=0-3V_2+(-1)(-3)V_4=0… more directly, try α=0\alpha=0: then 2β+γ+2δ=02\beta+\gamma+2\delta=0, βγ+δ=0-\beta-\gamma+\delta=0, 2β+6δ=0β=3δ2\beta+6\delta=0\Rightarrow\beta=-3\delta. Then γ=4δ\gamma=4\delta. Take δ=1\delta=1:   V4=3V24V3.  \boxed{\;V_4=3V_2-4V_3.\;}

Verify: 3V24V3=3(2,1,5,2)4(1,1,4,0)=(64,3+4,15+16,60)=(2,1,1,6)=V43V_2-4V_3=3(2,-1,-5,2)-4(1,-1,-4,0)=(6-4,-3+4,-15+16,6-0)=(2,1,1,6)=V_4 ✓.

Common Traps


Marks-Aware Writing

8-mark questions (field independence, 2013): Two parts, roughly 4 marks each. For independence over R\mathbb R: write the linear combination equation, use one component to force real and imaginary parts to zero simultaneously, drive other scalars to zero. One display equation suffices. For dependence over C\mathbb C: write the explicit relation with the non-zero complex coefficients and verify by component check.

10-mark questions (span/row-rank): For membership-in-span: the system setup + two-step reduction + consistency check + conclusion covers all marks. For test-independence: matrix + row operations + rank determination + explicit dependence relation. In both cases, the final boxed conclusion sentence (“the vectors are/are not independent”, ”ww is/is not in the span”) is required.

Practice Set

We've mapped all 13 years of this exam. Get new chapters, tools, and solutions as we release them — free.