Section 20.3 Linear Independence
Let be a set of vectors in a vector space If there exist scalars such that not all of the ’s are zero and
then is said to be linearly dependent. If the set is not linearly dependent, then it is said to be linearly independent. More specifically, is a linearly independent set if
implies that
for any set of scalars
Proof.
If
then
Since are linearly independent, for
The definition of linear dependence makes more sense if we consider the following proposition.
Proposition 20.10.
A set of vectors in a vector space is linearly dependent if and only if one of the ’s is a linear combination of the rest.
Proof.
Suppose that is a set of linearly dependent vectors. Then there exist scalars such that
with at least one of the ’s not equal to zero. Suppose that Then
Conversely, suppose that
Then
The following proposition is a consequence of the fact that any system of homogeneous linear equations with more unknowns than equations will have a nontrivial solution. We leave the details of the proof for the end-of-chapter exercises.
Proposition 20.11.
Suppose that a vector space is spanned by vectors. If then any set of vectors in must be linearly dependent.
A set of vectors in a vector space is called a basis for if is a linearly independent set that spans
Example 20.12.
The vectors and form a basis for The set certainly spans since any arbitrary vector in can be written as Also, none of the vectors can be written as a linear combination of the other two; hence, they are linearly independent. The vectors are not the only basis of the set is also a basis for
Example 20.13.
From the last two examples it should be clear that a given vector space has several bases. In fact, there are an infinite number of bases for both of these examples. In general, there is no unique basis for a vector space. However, every basis of consists of exactly three vectors, and every basis of consists of exactly two vectors. This is a consequence of the next proposition.
Proposition 20.14.
Proof.
Since is a basis, it is a linearly independent set. By Proposition 20.11, Similarly, is a linearly independent set, and the last proposition implies that Consequently,
If is a basis for a vector space then we say that the dimension of is and we write We will leave the proof of the following theorem as an exercise.