Math 5718 - Solutions 1
Spring 2002
- Book problem 1.5.
- In each case, let
be the subspace in question.
- a.
is a subspace of
. (i) Clearly,
.
(ii) If
, then
satisfies
, where
. This implies that
. (iii) If
and
, then
satisfies
, implying that
. (With
,
is a plane through the origin,
which always forms a subspace.)
- b.
is not a subspace of
because
.
- c.
is not a subspace of
because it is not
closed under addition; for example,
and
, but
.
- d.
is a subspace of
. (i) Clearly,
.
(ii) If
, then
.
This implies that
. (iii) If
and
, then
, implying that
. (With
,
is a plane through the origin,
which always forms a subspace.)
- Book problem 1.6.
- The set
given by
(vectors in the plane
with integer coordinates) meets the requirements: it is closed
under addition, it contains additive inverses of every vector, but
it is not closed under scalar multiplication.
- Book problem 1.7.
- A set consisting of any two lines in
passing through the
origin works. For example,
meets the
requirements: it is closed under scalar multiplication, but not
under addition.
- Book problem 1.8.
- Let
and let
denote
. (i) Because each
is a vector
space,
for all
. Thus,
.
(ii) Let
for all
. Because each
is a
vector space,
for all
. Thus,
. (iii) Let
and
for all
. Because each
is a vector space,
for all
. Thus,
. We see that
contains the zero vector and is closed under addition and scalar
multiplication; thus, it is a vector space.
- Book problem 1.13.
- Here is a counterexample in
. Let
We see that
and
, but
.
- Book problem 1.15.
- Any three lines in
through the origin
provide a counterexample. For example, taking
we see that
and
, but
.
- Practice with subspaces.
-
- a.
is
viewed as a subset of
. Because
is
itself a vector space, it is a subspace of
.
- b.
is not a subspace of
because
.
- c.
is a not a subspace. It consists of the half-plane
above the line
and is not closed under scalar
multiplication.
- d.
is a subspace. Note that symmetry of a matrix
implies that
.
contains a zero element,
namely the
matrix filled with zeros. Adding two
symmetric matrices produces a symmetric matrix. Multiplying a
symmetric matrix by a scalar also produces a symmetric matrix.
Therefore, the set is closed under addition and scalar
multiplication, and is a subspace.
- e.
consists of even polynomials of degree at most four and it
is a subspace of
. First, the zero polynomial
belongs to
. The sum of two even polynomials of
degree at most four is another even polynomial of degree at most
four, and a scalar multiple of an even polynomial of degree at
most four is another even polynomial of degree at most four.
- f.
is a subspace. (i) Clearly,
if we take
. (ii) If
and
are two vectors in
, then
is also an element of
.
Similarly, for
and
, we have
.
- g.
is a subspace of
. Either note that
which is a vector
space or check the subspace properties: Clearly,
. Adding
two such sequences produces another such sequence (we cannot
create nonzero elements beyond
by addition). Multiplying
such a sequence by a scalar also produces another such sequence.
- h.
fails to be a subspace because
.
- i.
is the space of all convergent sequences and is a subspace of
.
(i) Certainly the zero sequence
is convergent.
(ii) Adding two convergent sequences results in a convergent
sequence, because
. (iii)
Multiplying a convergent sequence by a scalar produces a
convergent sequence, because
, where
.
- j.
- I will interpet
to be the set of all arithmetic
sequences; it is a subspace of
. (i) The zero sequence
is an arithmetic sequence. (ii) Suppose we have two sequences that
satisfy
and
, where
and
are
fixed real numbers. Then the sequence
has elements
. The terms of
satisfy
. Thus,
is also an arithmetic
sequence, and
is closed under addition. Similarly, the
sequence
, where
has elements
. We see that the elements of
satisfy
. Thus,
is also an arithmetic sequence, and
is closed under scalar multiplication.
- k.
- I will interpet
to be the set of all geometric
sequences; it is not a subspace of
. (i) The zero
sequence is a geometric sequence. (ii) Suppose we have two
sequences that satisfy
and
,
where
are fixed real numbers. Then the sequence
has a typical element of the form
, which cannot be expressed as
, for some fixed real number
. The
set is not closed under addition and is not a subspace.
- Practice with sums and direct sums.
- The direct sum problems are easier if
you use Proposition 2.19 of the text that gives a condition for
direct sums in terms of the dimensions of the subspaces. We didn't
have this result at the time these problems were assigned, so I
will not use it. Instead, we can use the definition of direct sum
or Proposition 1.8 for direct sums of more than two subspaces and
we can use Proposition 1.9 only for direct sums of two
subspaces.
- a.
- First observe that
. To prove that the
sum is a direct sum, it suffices to show that
only when
, where
, and
. Letting
, we see that
and
,
which implies that
.
- b.
- The statement is not true because
(for example, (0,0,1)
cannot be represented as
).
- c.
- The statement is true because
and
. By
Proposition 1.9,
.
- d.
- The statement is true because
and
. By
Proposition 1.9,
.
- e.
- The statement is not true because
;
for example,
cannot be represented as
.
- f.
- The statement is true. The arbitrary vector
can be expressed
as
, where
and
.
- g.
- The only direct sum representations I can find, in
addition to (a), (c), and (d) above, are
,
, and
.