Theorem
An indexed set of two or more vectors, with , is linearly dependent if and only if some (with ) is a linear combination of the preceding vectors, .
The Spanning Set Theorem
Let be a set in , and let .
a. If one of the vectors in , say , is a linear combination of the remaining vectors in , then the set formed from by removing still spans .
b. If , some subset of is a basis for .
a. If one of the vectors in , say , is a linear combination of the remaining vectors in , then the set formed from by removing still spans .
b. If , some subset of is a basis for .
Theorem
The pivot columns of a matrix form a basis for Col .