Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-oxford/2021/prelims/mathematics-i/3/c/ii/solution

Every is a finitely supported sequence, so for a finite set of indices ,
Thus is a spanning set. If contained , the displayed expression would give a nontrivial relation
among the distinct vectors of the finite subset of : the coefficient of is . This contradicts the linear independence of . It also covers , whose singleton is not linearly independent. Hence . In particular, is both a basis and a maximal linearly independent subset of .

New to topics? Read the docs here!