Math 206 |
Substituting from the given formulas, we wish to show that there exist k1, k2, k3 for which
Distributing the scalars and then combining terms, we can
rewrite this last equation in the form
As a basis for V, the set {v1,
v2, v3} spans V. Therefore we
know there exist (uniquely determined) scalars c1,
c2, c3 such that
So we need to show that there is a solution for the system
k2+k3=c2
k3=c3.
Solving this system by back substitution, we find
k3= c3, k2=
c2-k3 = c2-c3,
k1= c1- k2-k3=
c1- c2+c3-c3,=
c1- c2. Thus the desired scalars do exist.
(This last step in the proof could be established in other ways,
as well, for instance by using the Long Theorem.)
Prove that {p1, p2,
p3, p4} is a basis for
P3.
Another Proof. We know that P3 has dimension 4,
and there are 4 vectors in the given set. According to one of the
theorems in 5.4, we need only show that the given set spans
P3. To this end, suppose that p is a vector in
P3, with, say, p(x) =
a+bx+cx2+dx3. We must show that there exist
scalars k1, k2, k3, and k4
for which
Using the stipulated definitions for the five vectors we're
working with, we can reformulate this condition as
for every x. Distributing the scalars and combining terms, we
find that
for every x. A theorem from high-school algebra tells us this
happens iff the respective coefficients are equal, so we must
have
One possibility at this point is to solve this system. Using Joy of Mathematica to reduce the augmented matrix I found
Thus the required scalars do exist.
Alternatively, one could check the determinant for the coefficient
matrix for this system. The determinant works out to be nonzero
(in fact the determinant is 24), so the coefficient matrix is
invertible and the Long Theorem assures us that the given system
does have a solution (no matter what a, b, c, d might happen to
be). Again, we conclude that the required scalars do exist.
Since our fixed but arbitrary vector p in P3 has
been shown to be a linear combination of p1,
p2, p3, p4
we have now shown that {p1,
p2, p3,
p4}spans P3.