← 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 13 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 dimV=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 dimV=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 vVv\in V be arbitrary. Consider S={v,v1,,vn}S'=\{v,v_1,\dots,v_n\}, a set of n+1n+1 vectors.

Claim: SS' 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 dimV\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., vspan(S)v\in\operatorname{span}(S).

Since vVv\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 dimV=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 — 13 years, mapped. Get the take-away PDF free.