Past exam of the mathematics course of the University of Oxford / 2021 / Prelims / Mathematics I / 3 / c / ii

Every $v\in V$ is a finitely supported sequence, so for a finite set of indices $S$,Thus $E$ is a spanning set. If $F$ contained $v\notin E$, the displayed expression would give a nontrivial relationamong the distinct vectors of the finite subset $\{v\}\cup \{e^{(i)}:i\in S\}$ of $F$: the coefficient of $v$ is $1$. This contradicts the linear independence of $F$. It also covers $v=0$, whose singleton is not linearly independent. Hence $F=E$. In particular, $E$ is both a basis and a maximal linearly independent subset of $V$.