Prove VV is infinite dimensional if and only if there is a sequence v1,v2,v_1,v_2,\dots of vectors in VV such that v1,,vmv_1,\dots,v_m is linearly independent for every positive integer mm.


Recall definition 2.15:

A vector space is called infinite-dimensional if it is not finite-dimensional.

Therefor we must show VV is not finite dimensional, ie. that no finite list of vectors spans VV.

From 2.23 (length of spanning list) \ge (length of linearly independent list), since we can find linearly independent lists of any length no spanning list can exist. More precisely for any spanning list of length nn, the list v1,,vn+1v_1,\dots,v_{n+1} is linearly independent, contradicting the given list being spanning. Thus VV is infinite dimensional

Now suppose VV is infinite dimensional, let v1Vv_1 \in V, v2span(v1)v_2 \notin \text{span}(v_1) and in general vkspan(v1,,vk1)v_k \notin \text{span}(v_1,\dots,v_{k-1}) (we can always find vkv_k since no finite list spans VV) then we have our sequence v1,v2,v_1,v_2,\dots as desired.