Loading…
Detect redundancy in a list of vectors, test independence by direct relations and row reduction, and read the geometric meaning in low dimensions.
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.
Definition 6.4.1
(Linear independence of a finite list)
Let be a real vector space. A finite list in is linearly independent if
implies .
Definition 6.4.2
(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.
Theorem 6.4.3
(Dependence is equivalent to one vector being generated by the others)
For a finite list with , the following are equivalent:
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 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 6.4.4
(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 6.4.5
(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
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.
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 6.4.6
(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.
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.
Worked example 6.4.7
(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 6.4.8
(Independence test by RREF)
Let
Set :
Column 3 is non-pivot, so is free in . Therefore the list is dependent.
Worked example 6.4.9
(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 6.4.10
(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 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.
Follow a third vector stop adding a new direction, become a nontrivial relation, and appear as a free column in the homogeneous test.
Start from a span plane
The first two vectors generate a plane of outputs, so the next question is whether u₃ adds a new direction.
Outside means no visible redundancy
When u₃ is outside Span{u₁,u₂}, it is not generated by the previous vectors.
Inside means one vector repeats information
If u₃=u₁+u₂, then the third vector does not enlarge the span.
Redundancy becomes a relation
Moving all terms to one side gives u₁+u₂-u₃=0, a nontrivial linear relation.
Row reduction finds it
In Aα=0, a non-pivot column gives a free coefficient and therefore a nonzero solution.
Then use the checker
The existing independence checker below compares independent pairs, sum redundancy, scalar multiples, and zero-vector cases.
Dependence is not the same as failing to span. It says at least one listed vector is redundant because it can be rebuilt from the others.
After predicting dependence from the algebra, compare the corresponding geometric configurations below.
Test one set for dependence
Pick a vector family and read its dependence test. A solution with coefficients not all zero shows dependence.
Holds: the family is linearly independent
Independent. The only way to solve is , so this pair is linearly independent.
NoticeOne nontrivial relation is enough to prove dependence. Independence needs more: the test equation must have only the zero solution.
Theorem 6.4.11
(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 6.4.12
(Two vectors in )
Let
Since , the pair is dependent. Geometrically, both vectors point in the same direction.
Worked example 6.4.13
(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 6.4.14
(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 6.4.15
(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 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.
Quick check
(Decide whether in is independent.)
Use either the redundancy criterion or the RREF test.
Dependent, because .
Quick check
(Let in . Is independent?)
Try to write one vector as a scalar multiple of the other.
Dependent, because .
Quick check
(If is independent, can be independent?)
Translate the question into a linear relation.
No. is a nontrivial relation in the larger list.
Quick check
(If a set has 5 vectors in , can it be linearly independent?)
Use pivots and the number of rows.
No. A matrix can have at most 3 pivots, so at least two columns are free-variable columns. Therefore a nontrivial relation must exist.
Quick check
(Determine whether is independent.)
Set them as columns, reduce, and read pivot columns.
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, .
Quick check
(Show that is dependent by writing one vector from others.)
Look for a direct scalar-multiple relation first.
, so is nontrivial. The set is dependent.
Quick check
(Is any list containing the zero vector automatically dependent?)
Test the definition directly.
Yes. Put coefficient on the zero vector and on every other vector. That already gives a nontrivial relation.
Quick check
(If a matrix has four pivot columns, what does that say about its columns?)
Use the matrix test.
The columns are linearly independent, because has only the trivial solution.
Quick check
(Explain why any subset of a linearly independent set is linearly independent.)
Think about what would happen if the subset had its own relation.
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.
Quick check
(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.
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.
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.