The next goal is to measure the size of a subspace by finding its dimension. The dimension of a subspace is the minimal number of vectors that span it. Above we found some finite spanning sets, but you might ask: How do I know whether or not I’ve found a minimal spanning set? To be able to answer that, we will first introduce the terminology of linear independence.
Let be vectors in a vector space. If one of them, say , is a linear combination (see Definition 2.3) of the others, then we say the whole sequence is linearly dependent. Otherwise, we call the sequence linearly independent.
The following theorem is the standard test for linear independence.
Let be a vector space over a field . A sequence of vectors is linearly independent if and only if, for any scalars , we have that
implies that .
Some sources define that phrase “linearly independent” by the condition in Theorem 2.20, rather than the definition we gave. Since they are logically equivalent, if makes no difference which one you use, and throughout this module we will find it convenient check linear independence using Theorem 2.20 without always stating the theorem number.
Is the sequence of vectors linearly independent?
Prove that the sequence is linearly dependent.
Solution: Assume are scalars such that
Then we obtain four equations:
In fact, the solution set to this system of equations is
In particular, this proves . Therefore we can write one of the vectors as a linear combination of the others, so these three vectors are linearly dependent.
Prove that the following sequences are linearly independent.
in the vector space .
The vectors , , , in the vector space . This is called the standard basis of .
The polynomials in the vector space of polynomials .
[End of Exercise]
Give an example of a pair of vectors in which is linearly independent, and all 4 of their coordinates are rational but not integers.
Give an example of a sequence of three vectors in which is linearly independent, and such that none of their coordinates are rational numbers.
Can you find a sequence of 100 vectors in which is linearly independent?
[End of Exercise]