Exercise
Show that
form a linearly independent set of vectors in
, viewed as a vector space over
.
Proof
Recall that the set of vectors
in a vector space
(over a field
) are said to be linearly independent if whenever
are scalars in
such that
then
. So for this problem, since we’re considering the complex numbers
as a vector space over
, we must show that whenever
and
then
. Rearranging the above equation, we obtain
Now, a complex number is equal to
if and only if its real and imaginary parts are both
. So in this case, we conclude that
This implies
, so that
, which yields
. Thus we conclude the vectors
are linearly independent in
(over
).
Exercise
Show that
form a linearly independent set of vectors in
, viewed as a vector space over
.
Proof
Recall that a set of vectors
in a vector space
(over a field
) is said to be
if they are not linearly independent. More concretely, these vectors are linearly dependent if we can find scalars
not all equal to zero such that
So for this problem, to show that
and
are not linearly dependent over
, all we need to do is exhibit two complex scalars
and
that are not both zero such that
There are many choices for
and
, but one such example is
and
.
Exercise
Let
be a vector space over a field
. If
are a linearly independent set of vectors, then show that
also form a linearly independent set of vectors in
.
Proof
Recall that the set of vectors
in a vector space
(over a field
) are said to be linearly independent if whenever
are scalars in
such that
then
.
Exercise
So for this problem, we must show that whenever
and
we have that
After rearranging terms in the above equation, we have that
Now since the vectors
are linearly independent in
by assumption, we have that Failed to parse (syntax error): {\displaystyle c_{1} = 0 \\ c_{2} - c_{1} = 0 \\ c_{3} - c_{2} = 0 \\ c_{4} - c_{3} = 0. }
In other words,
, so that
form a linearly independent set as desired.