Dimension

Proof. The proof of this theorem is a slight refinement of the method used in Section: Linear combinations , and, incidentally, it proves something more than the theorem states. Let and be two finite sets of vectors, each with one of the two defining properties of a basis; i.e., we assume that every vector in is a linear combination of the ’s (but not that the ’s are linearly independent), and we assume that the ’s are linearly independent (but not that every vector is a linear combination of them). We may apply the theorem of Section: Linear combinations , just as above, to the set of vectors Again we know that every vector is a linear combination of vectors of and that is linearly dependent. Reasoning just as before, we obtain a set of vectors again with the property that every vector is a linear combination of vectors of . Now we write in front of the vectors of and apply the same argument. Continuing in this way, we see that the ’s will not be exhausted before the ’s, since otherwise the remaining ’s would have to be linear combinations of the ones already incorporated into , whereas we know that the ’s are linearly independent. In other words, after the argument has been applied times, we obtain a set with the same property the ’s had, and this set differs from the set of ’s in that of them are replaced by ’s. This seemingly innocent statement is what we are after; it implies that . Consequently if both and are bases (so that they each have both properties), then and . ◻