Prove is infinite dimensional if and only if there is a sequence of vectors in such that is linearly independent for every positive integer .
Recall definition 2.15:
A vector space is called infinite-dimensional if it is not finite-dimensional.
Therefor we must show is not finite dimensional, ie. that no finite list of vectors spans .
From 2.23 (length of spanning list) (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 , the list is linearly independent, contradicting the given list being spanning. Thus is infinite dimensional
Now suppose is infinite dimensional, let , and in general (we can always find since no finite list spans ) then we have our sequence as desired.