Let be a finite vector space over the set of rationals, and
be a linear transformation from
to
. Suppose
and
are vectors in
such that
(i)
(ii)
(iii)
Suppose is nonzero. Show that
and
are linearly independent vectors.
Proof: We first want to show that and
are linearly independent. Suppose not. Then there exists a nonzero rational
such that
Applying to this equation yields
Thus the three vectors can be written
and
.
Now, consider . On the other hand,
So that by transitivity, . Since
is nonzero,
. However, you can check that this polynomial does not have rational roots (e.g. by remainder theorem). Thus
does not exist and therefore
and
are linearly independent.
It is now left to show that is linearly independent to
and
. Suppose there exists rational numbers
and
such that
. Applying
twice gives us
. That is,
cannot be equal to 1, otherwise,
and
would be linearly dependent, a contradiction. Thus we can write
. But
and
are linearly independent so a representation of
in terms of them will be unique. Finally, we will now compare coefficients and come up with
and
, which simplify to
and
. Solving for
and
, we get
and
. These polynomials have no rational roots. Thus, by the same argument as of that of the above claim,
and
do not exist and therefore we can conclude that
and
are linearly independent.