Motivation
A spanning list tells us which vectors can be generated. It may contain redundancy: one member can be a linear combination of the others, so deleting that member leaves the span unchanged. Linear dependence detects exactly this possibility.
Definitions
Definition
Linear independence of a finite list
Let be a real vector space. A finite list in is linearly independent if
implies .
Definition
Linear dependence of a finite list
The same list is linearly dependent if there exists a nontrivial choice of scalars (not all zero) with
The equation with all coefficients zero is the trivial relation. Any other relation is nontrivial. Independence means only the trivial relation exists.
Which vector can be removed?
Theorem
Dependence is equivalent to one vector being generated by the others
For a finite list with , the following are equivalent:
- The list is linearly dependent.
- At least one vector in the list is a linear combination of the remaining vectors.
So a dependent list always contains a removable vector that does not change the span.
Proof
Proof of the redundancy criterion
: start from a nontrivial relation . Choose an index with . Rearrange:
so is generated by the remaining vectors.
: if , move all terms to one side. You obtain a nontrivial relation, hence dependence.
The key logic: dependence is exactly the existence of at least one solvable elimination step inside the list.
Proof X-Ray
A relation identifies which vectors can be removed
A nontrivial relation means at least one coefficient is nonzero, not that every coefficient is nonzero. The redundancy proof may divide only by a coefficient known to be nonzero. Thus a particular relation identifies removable vectors at its nonzero positions; it does not license deleting an arbitrary vector.
For example, the list in satisfies . Either the first or the third vector can be recovered from the other two. Removing , however, leaves only multiples of and loses the vector from the span. The zero coefficient on supplies no formula for recovering it. This is why the proof selects an index with nonzero coefficient before rearranging.
Worked example
A redundant vector can be removed without changing the span
Let
Here . So every vector of the form
can be rewritten as
Therefore
The third vector changes the description, but not the span itself.
Theorem
A redundant vector can be removed without changing the span
If one vector in a list is a linear combination of the others, then deleting it does not change the span of the list.
Proof
Why the span stays the same
One inclusion is automatic: the shorter list is a subset of the longer list, so its span is contained in the larger span.
For the other inclusion, replace the redundant vector by the combination of the remaining vectors and collect like terms. Every linear combination of the longer list becomes a linear combination of the shorter one.
Counterexample mode
Spanning does not guarantee independence
False claim. A list that spans the whole ambient space must be linearly independent.
Reconsider in . Every equals , so the list spans all of . Nevertheless is a nontrivial relation. Thus spanning supplies existence of representations, while independence requires uniqueness; existence alone does not supply uniqueness.
Repair. To obtain a basis, require both spanning and independence. Here delete . The remaining still spans, and forces by coordinates. The repair removes redundancy without losing any output.
From a relation to a homogeneous system
The unknowns will be coefficients. A nonzero solution will record a nontrivial relation among the original generators; the pivot test makes this observation computational.
Theorem
Row-reduction test for dependence in
Let and build
Then are linearly independent iff the homogeneous system
has only the zero solution. Equivalently, when reducing to RREF, every column must be a pivot column.
Equivalently, the null space of this column matrix is .
Proof
Proof of the row-reduction criterion
By definition, dependence asks whether has a nonzero coefficient vector. Writing coefficients as , this is exactly where columns are the vectors. Elementary row operations preserve the solution set of a homogeneous system, so the question is unchanged in RREF. A free variable gives a nonzero solution and therefore dependence; no free variables give only the zero solution and therefore independence.
This gives a complete algorithm.
- Put the vectors into a column matrix .
- Solve the homogeneous system .
- If there is a free variable, choose a nonzero value for it and read a nontrivial relation.
- If every column is a pivot column, only the trivial solution exists and the vectors are independent.
A useful shortcut also falls out immediately: more than vectors in must be dependent, because an matrix with cannot have a pivot in every column.
Common mistake
Row reduction is allowed because it preserves the homogeneous solution set
When you row reduce for independence testing, you are not changing the columns themselves into new vectors you want to study. You are simplifying the equation . Row-equivalent matrices have the same homogeneous solutions, so they have the same dependence relations.
Read the relation, then check an independent list
Worked example
Read a dependence relation from row reduction
Take
whose columns are , , and . Row reduction gives
The third column is not a pivot column, so is free in . Set . Then the reduced system gives and , so
or equivalently .
Worked example
Independence test by RREF
Let
Set :
Column 3 is non-pivot, so is free in . Therefore the list is dependent.
Worked example
Use row reduction to test independence
Let
Set . Row reduce:
There is a pivot in each column, so the three vectors are linearly independent.
Worked example
Why a list containing the zero vector is dependent
Suppose . Then
is already a nontrivial relation (coefficient of is ). So any list containing is dependent.
The geometry behind a dependence relation
The following sequence connects the algebraic test to geometry. A third vector inside the span of the first two can be recovered from them, so adding it changes the list without enlarging its span.
After predicting dependence from the algebra, compare the corresponding geometric configurations below.
Fast low-dimensional tests
Theorem
Two nonzero vectors are independent exactly when neither is a scalar multiple of the other
For an ordered pair with both vectors nonzero, the pair is linearly independent if and only if one vector is not a scalar multiple of the other. The list convention retains both positions even when .
Proof
Why two vectors reduce to a scalar-multiple test
If is a nontrivial relation, then at least one coefficient is nonzero. If , solve for
If , solve for
Conversely, if , then is a nontrivial relation; the case is analogous. Thus two vectors are dependent exactly when one is a scalar multiple of the other.
Worked example
Two vectors in
Let
Since , the pair is dependent. Geometrically, both vectors point in the same direction.
Worked example
Three vectors in must be dependent
If , then the matrix has size . After row reduction it can have at most two pivots, so one column is not a pivot column. Therefore has a nontrivial solution and the three vectors are linearly dependent.
Worked example
Three vectors in that lie in one plane
If three vectors in all lie in the plane , then they all belong to the span of and . But that plane is already generated by two independent directions, so a third vector cannot add a new independent direction. The list is dependent.
Theorem
Too many vectors in force dependence
Any list of more than vectors in is linearly dependent.
Proof
Why more than vectors cannot be independent in
If is an matrix with , then row reduction can produce at most pivot columns. So at least one column is not a pivot column. That means has a free variable, hence a nontrivial solution. So the columns are dependent.
Common mistakes
Common mistake
Confusing dependence with not spanning
Dependent lists can still span a large space. Dependence only says the list is not minimal.
Common mistake
Forgetting that order does not matter for dependence
Permuting vectors changes their positions but not whether a nontrivial relation exists.
Summary
- Linear dependence can be read directly from the definition, as redundancy in a spanning list, or as a nonzero vector in the null space of a column matrix.
- Row reduction is used to simplify the coefficient equation ; it is not a replacement of the original vectors by new vectors.
- A free variable gives a nontrivial dependence relation, while a pivot in every column proves independence.
- Low-dimensional shortcuts, such as scalar-multiple tests in and the "more than vectors in " rule, are consequences of the same pivot count logic.
Checkpoints: three ways to detect redundancy
Checkpoint
Decide whether in is independent.
Use either the redundancy criterion or the RREF test.
Solution · Exercise 1
Dependent, because .
Checkpoint
Let in . Is independent?
Try to write one vector as a scalar multiple of the other.
Solution · Exercise 2
Dependent, because .
Checkpoint
If is independent, can be independent?
Translate the question into a linear relation.
Solution · Exercise 3
No. is a nontrivial relation in the larger list.
Exercises
Checkpoint
If a set has 5 vectors in , can it be linearly independent?
Use pivots and the number of rows.
Solution · Answer
No. A matrix can have at most 3 pivots, so at least two columns are free-variable columns. Therefore a nontrivial relation must exist.
Checkpoint
Determine whether is independent.
Set them as columns, reduce, and read pivot columns.
Solution · Guided solution
Let denote the vectors in the stated order. The answer is dependent. Put them in the columns of :
The first stage subtracts row and row from row ; the second subtracts twice row from row . Only columns and are pivot columns. Setting the free coefficient gives and . Direct verification confirms
The coefficient vector is nonzero, so this is a nontrivial relation. Equivalently, .
Checkpoint
Show that is dependent by writing one vector from others.
Look for a direct scalar-multiple relation first.
Solution · Guided solution
, so is nontrivial. The set is dependent.
Checkpoint
Is any list containing the zero vector automatically dependent?
Test the definition directly.
Solution · Answer
Yes. Put coefficient on the zero vector and on every other vector. That already gives a nontrivial relation.
Checkpoint
If a matrix has four pivot columns, what does that say about its columns?
Use the matrix test.
Solution · Answer
The columns are linearly independent, because has only the trivial solution.
Checkpoint
Explain why any subset of a linearly independent set is linearly independent.
Think about what would happen if the subset had its own relation.
Solution · Guided solution
If a subset had a nontrivial relation, that same relation would also be a relation among the larger set after giving coefficient to the vectors that were not used. That would make the larger set dependent. So a subset of an independent set must also be independent.
Checkpoint
A list satisfies . Which vectors can this relation justify deleting without changing the span?
Identify the nonzero coefficients; do not assume every vector is removable.
Solution · Guided solution
The relation gives and , so either or can be deleted. It gives no expression for . For example, if , and , deleting changes the span from the plane to a line.
Read this first
This section builds directly on 6.3 Linear combinations and span and the row-reduction workflow in 2.3 Gaussian elimination and RREF.
Independence removes redundancy; it does not guarantee that every target is reachable. In 6.5 Basis and dimension, we require independence and spanning together, then prove that the size of such a list is a property of the space.