In the vector space of polynomials with degree 4 or less,
(
Example VSP) consider the set
below.
Is this set of vectors linearly independent or dependent? Consider that
This is a nontrivial relation of linear dependence (
Definition RLD) on the set
and so convinces us that
is linearly dependent (
Definition LI).
Now, I hear you say, “Where did those scalars come from?” Do not worry about that right now, just be sure you understand why the above explanation is sufficient to prove that is linearly dependent. The remainder of the example will demonstrate how we might find these scalars if they had not been provided so readily.
Let us look at another set of vectors (polynomials) from Let
Suppose we have a relation of linear dependence on this set,
Using our definitions of vector addition and scalar multiplication in
(
Example VSP), we arrive at,
Equating coefficients, we arrive at the homogeneous system of equations,
We form the coefficient matrix of this homogeneous system of equations and row-reduce to find
We expected the system to be consistent (
Theorem HSC) and so can compute
and
Theorem CSRN tells us that the solution is unique. Since this is a homogeneous system, this unique solution is the trivial solution (
Definition TSHSE),
So by
Definition LI the set
is linearly independent.
A few observations. If we had discovered infinitely many solutions, then we could have used one of the nontrivial solutions to provide a linear combination in the manner we used to show that
was linearly dependent. It is important to realize that it is not interesting that we can create a relation of linear dependence with zero scalars — we can
always do that — but for
this is the
only way to create a relation of linear dependence. It was no accident that we arrived at a homogeneous system of equations in this example, it is related to our use of the zero vector in defining a relation of linear dependence. It is easy to present a convincing statement that a set is linearly dependent (just exhibit a nontrivial relation of linear dependence) but a convincing statement of linear independence requires demonstrating that there is no relation of linear dependence other than the trivial one. Notice how we relied on theorems from
Chapter SLE to provide this demonstration. Whew! There is a lot going on in this example. Spend some time with it, we will be waiting patiently right here when you get back.