properties of linear independence
Let be a vector space over a field . Below are some basic properties of linear independence.
- 1.
is never linearly independent
if .
Proof.
Since . ∎
- 2.
If is linearly independent, so is any subset of . As a result, if and are linearly independent, so is . In addition, is linearly independent, its spanning set
being the singleton consisting of the zero vector .
Proof.
If , where , then , so for all . ∎
- 3.
If is a chain of linearly independent subsets of , so is their union.
Proof.
Let be the union. If , then , for each . Pick the largest so that all ’s are in it. Since this set is linearly independent, for all .∎
- 4.
is a basis for iff is a maximal linear independent subset of . Here, maximal means that any proper superset
of is linearly dependent.
Proof.
If is a basis for , then it is linearly independent and spans . If we take any vector , then can be expressed as a linear combination
of elements in , so that is no longer linearly independent, for the coefficient in front of is non-zero. Therefore, is maximal.
Conversely, suppose is a maximal linearly independent set in . Let be the span of . If , pick an element . Suppose , where , then . If , then would be in the span of , contradicting the assumption
. So , and as a result, , since is linearly independent. This shows that is linearly independent, which is impossible since is assumed to be maximal. Therefore, .∎
Remark. All of the properties above can be generalized to modules over rings, except the last one, where the implication is only one-sided: basis implying maximal linear independence.