← 2022 Paper 1

UPSC 2022 Maths Optional Paper 1 Q1a — Step-by-Step Solution

10 marks · Section A

Bases and dimension; coordinates in a basis · Linear Algebra · asked 7× in 14 yrs · Read the full method →

Question

Prove that any set of nn linearly independent vectors in a vector space VV of dimension nn constitutes a basis for VV.

Technique

Standard “augment-and-show-dependence” proof. The argument uses the theorem that in dim⁡V=n\dim V=n, n+1n+1 vectors are linearly dependent — itself a consequence of the dimension being well-defined.

Solution

Setup. Let VV be a vector space with dim⁡V=n\dim V=n, and let S={v1,v2,…,vn}⊂VS=\{v_1,v_2,\dots,v_n\}\subset V be linearly independent. To prove SS is a basis, we must show SS also spans VV.

Step 1 — SS is linearly independent (given)

By hypothesis.

Step 2 — SS spans VV

Let v∈Vv\in V be arbitrary. Consider S′={v,v1,…,vn}S'=\{v,v_1,\dots,v_n\}, a set of n+1n+1 vectors.

Claim: S′S' is linearly dependent.

Reason: In a vector space of dimension nn, any set of n+1n+1 (or more) vectors is linearly dependent. (Standard theorem: any linearly independent set has at most dim⁡V\dim V elements.)

Therefore, there exist scalars α,α1,…,αn\alpha,\alpha_1,\dots,\alpha_n, not all zero, such that

αv+α1v1+α2v2+⋯+αnvn=0.(⋆)\alpha v+\alpha_1 v_1+\alpha_2 v_2+\cdots+\alpha_n v_n=0.\qquad(\star)

Sub-claim: α≠0\alpha\ne 0.

Reason: If α=0\alpha=0, then (⋆)(\star) becomes ∑αivi=0\sum\alpha_i v_i=0, which by linear independence of {v1,…,vn}\{v_1,\dots,v_n\} forces all αi=0\alpha_i=0. Combined with α=0\alpha=0, this contradicts “not all zero”.

So α≠0\alpha\ne 0, and we can solve for vv:

v=−α1αv1−α2αv2−⋯−αnαvn.v=-\dfrac{\alpha_1}{\alpha}v_1-\dfrac{\alpha_2}{\alpha}v_2-\cdots-\dfrac{\alpha_n}{\alpha}v_n.

Hence vv is a linear combination of vectors in SS, i.e., v∈span⁡(S)v\in\operatorname{span}(S).

Since v∈Vv\in V was arbitrary, span⁡(S)=V\operatorname{span}(S)=V, i.e., SS spans VV.

Step 3 — Conclusion

SS is linearly independent (given) and spans VV (Step 2), so SS is a basis of VV. ■\blacksquare

Answer

  Any set of n linearly independent vectors in V with dim⁡V=n is a basis.  \boxed{\;\text{Any set of }n\text{ linearly independent vectors in }V\text{ with }\dim V=n\text{ is a basis.}\;}
We post more of this — worked solutions, CSAT trap breakdowns, guide chapters — a few times a week on Telegram. Free, no sign-in. Join

This solution is part of the Maths Coverage Map — 14 years, mapped. Get the take-away PDF free.