Theorems from Linear independence
All theorems from Linear independence.
The homogeneous-system test
Let and let
Then is linearly independent if and only if the homogeneous system
has only the zero solution. Equivalently, after row reduction, every column of contains a pivot. If a column has no pivot, the free variable in that column produces a non-trivial dependence relation among the original columns.
If , there cannot be a pivot in every column, so any vectors in with are dependent.
When is dependent, the original vectors in the pivot columns form an independent subset with the same span as . This works because row operations left-multiply by an invertible matrix, so they preserve every linear relation among the columns. Each non-pivot column is therefore a combination of the pivot columns, not necessarily only the earlier ones.
Independence and uniqueness
Suppose
The coefficients are unique if and only if is linearly independent.
The span gives existence of a representation; independence gives its uniqueness.
Independence and the span of the other vectors
A finite set is linearly independent if and only if no vector in belongs to the span of the other vectors.
If is a combination of the other vectors, moving it to one side gives a non-trivial relation equal to zero. Conversely, in a non-trivial relation, choose a vector with a non-zero coefficient and solve for it in terms of the others.
- [1]:Linear independence
- [2]:Span
- [3]:Dependence in
Adding a vector to a span
For a finite set and a vector ,
if and only if
Since , we always have . If , every combination using can be rewritten using only vectors in , so the reverse inclusion also holds. Conversely, if the spans are equal, then belongs to and hence to .