Section 1C

Subspaces

[24/0%]
Show
LaTeX
Problem 1C.1

For each of the following subsets of F3\mathbf{F}^{3}, determine whether it is a subspace of F3\mathbf{F}^{3}.

?
(a)

{(x1,x2,x3)∈F3:x1+2x2+3x3=0}\left\{ \left(x_{1}, x_{2}, x_{3}\right) \in \mathbf{F}^{3}: x_{1}+2 x_{2}+3 x_{3} = 0\right\}

(b)

{(x1,x2,x3)∈F3:x1+2x2+3x3=4}\left\{ \left(x_{1}, x_{2}, x_{3}\right) \in \mathbf{F}^{3}: x_{1}+2 x_{2}+3 x_{3} = 4\right\}

(c)

{(x1,x2,x3)∈F3:x1x2x3=0}\left\{ \left(x_{1}, x_{2}, x_{3}\right) \in \mathbf{F}^{3}: x_{1} x_{2} x_{3} = 0\right\}

(d)

{(x1,x2,x3)∈F3:x1=5x3}\left\{ \left(x_{1}, x_{2}, x_{3}\right) \in \mathbf{F}^{3}: x_{1} = 5 x_{3}\right\}

Problem 1C.2

Verify all assertions about subspaces in Example 1.35.

Example 1.35:

?
(a)

If b∈Fb \in \mathbf{F}, then {(x1,x2,x3,x4)∈F4:x3=5x4+b}\left\{ \left(x_{1}, x_{2}, x_{3}, x_{4}\right) \in \mathbf{F}^{4}: x_{3} = 5 x_{4}+b\right\} is a subspace of F4\mathbf{F}^{4} if and only if b=0b = 0.

(b)

The set of continuous real-valued functions on the interval [0,1][0,1] is a subspace of R[0,1]\mathbb {R}^{[0,1]}.

(c)

The set of differentiable real-valued functions on R\mathbb {R} is a subspace of RR\mathbb {R}^{\mathbb {R}}.

(d)

The set of differentiable real-valued functions ff on the interval (0,3)(0,3) such that f′(2)=bf^{\prime }(2) = b is a subspace of R(0,3)\mathbb {R}^{(0,3)} if and only if b=0b = 0.

(e)

The set of all sequences of complex numbers with limit 0 is a subspace of C∞\mathbb {C}^{\infty }.

Problem 1C.3

Show that the set of differentiable real-valued functions ff on the interval (−4,4)(-4,4) such that f′(−1)=3f(2)f^{\prime }(-1) = 3 f(2) is a subspace of R(−4,4)\mathbb {R}^{(-4,4)}.

?
Problem 1C.4

Suppose b∈Rb \in \mathbb {R}. Show that the set of continuous real-valued functions ff on the interval [0,1][0,1] such that ∫01f=b\int_{0}^{1} f = b is a subspace of R[0,1]\mathbb {R}^{[0,1]} if and only if b=0b = 0.

?
Problem 1C.5

Is R2\mathbb {R}^{2} a subspace of the complex vector space C2\mathbb {C}^{2}?

?
Problem 1C.6
?
(a)

Is {(a,b,c)∈R3:a3=b3}\left\{ (a, b, c) \in \mathbb {R}^{3}: a^{3} = b^{3}\right\} a subspace of R3\mathbb {R}^{3}?

(b)

Is {(a,b,c)∈C3:a3=b3}\left\{ (a, b, c) \in \mathbb {C}^{3}: a^{3} = b^{3}\right\} a subspace of C3\mathbb {C}^{3}?

Problem 1C.7

Prove or give a counterexample: If UU is a nonempty subset of R2\mathbb {R}^{2} such that UU is closed under addition and under taking additive inverses (meaning −u∈U-u \in U whenever u∈Uu \in U), then UU is a subspace of R2\mathbb {R}^{2}.

?
Problem 1C.8

Give an example of a nonempty subset UU of R2\mathbb {R}^{2} such that UU is closed under scalar multiplication, but UU is not a subspace of R2\mathbb {R}^{2}.

?
Problem 1C.9

A function f:R→Rf: \mathbb {R} \rightarrow \mathbb {R} is called periodic if there exists a positive number pp such that f(x)=f(x+p)f(x) = f(x+p) for all x∈Rx \in \mathbb {R}. Is the set of periodic functions from R\mathbb {R} to R\mathbb {R} a subspace of RR\mathbb {R}^{\mathbb {R}}? Explain.

?
Problem 1C.10

Suppose V1V_{1} and V2V_{2} are subspaces of VV. Prove that the intersection V1∩V2V_{1} \cap V_{2} is a subspace of VV.

?
Problem 1C.11

Prove that the intersection of every collection of subspaces of VV is a subspace of VV.

?
Problem 1C.12

Prove that the union of two subspaces of VV is a subspace of VV if and only if one of the subspaces is contained in the other.

?
Problem 1C.13

Prove that the union of three subspaces of VV is a subspace of VV if and only if one of the subspaces contains the other two.

?
Remark.
?

This exercise is surprisingly harder than Exercise 12, possibly because this exercise is not true if we replace F\mathbf{F} with a field containing only two elements.

Problem 1C.14

Suppose

U={(x,−x,2x)∈F3:x∈F} and W={(x,x,2x)∈F3:x∈F}. U = \left\{ (x,-x, 2 x) \in \mathbf{F}^{3}: x \in \mathbf{F}\right\} \quad \text{ and } \quad W = \left\{ (x, x, 2 x) \in \mathbf{F}^{3}: x \in \mathbf{F}\right\} .

Describe U+WU+W using symbols, and also give a description of U+WU+W that uses no symbols.

?
Problem 1C.15

Suppose UU is a subspace of VV. What is U+UU+U?

?
Problem 1C.16

Is the operation of addition on the subspaces of VV commutative? In other words, if UU and WW are subspaces of VV, is U+W=W+UU+W = W+U?

?
Problem 1C.17

Is the operation of addition on the subspaces of VV associative? In other words, if V1,V2,V3V_{1}, V_{2}, V_{3} are subspaces of VV, is

(V1+V2)+V3=V1+(V2+V3)? \left(V_{1}+V_{2}\right)+V_{3} = V_{1}+\left(V_{2}+V_{3}\right)?
?
Problem 1C.18

Does the operation of addition on the subspaces of VV have an additive identity? Which subspaces have additive inverses?

?
Problem 1C.19

Prove or give a counterexample: If V1,V2,UV_{1}, V_{2}, U are subspaces of VV such that

V1+U=V2+U, V_{1}+U = V_{2}+U,

then V1=V2V_{1} = V_{2}.

?
Problem 1C.20

Suppose

U={(x,x,y,y)∈F4:x,y∈F}. U = \left\{ (x, x, y, y) \in \mathbf{F}^{4}: x, y \in \mathbf{F}\right\} .

Find a subspace WW of F4\mathbf{F}^{4} such that F4=U⊕W\mathbf{F}^{4} = U \oplus W.

?
Problem 1C.21

Suppose

U={(x,y,x+y,x−y,2x)∈F5:x,y∈F}. U = \left\{ (x, y, x+y, x-y, 2 x) \in \mathbf{F}^{5}: x, y \in \mathbf{F}\right\} .

Find a subspace WW of F5\mathbf{F}^{5} such that F5=U⊕W\mathbf{F}^{5} = U \oplus W.

?
Problem 1C.22

Suppose

U={(x,y,x+y,x−y,2x)∈F5:x,y∈F}. U = \left\{ (x, y, x+y, x-y, 2 x) \in \mathbf{F}^{5}: x, y \in \mathbf{F}\right\} .

Find three subspaces W1,W2,W3W_{1}, W_{2}, W_{3} of F5\mathbf{F}^{5}, none of which equals {0}\left\{ 0\right\}, such that F5=U⊕W1⊕W2⊕W3\mathbf{F}^{5} = U \oplus W_{1} \oplus W_{2} \oplus W_{3}.

?
Problem 1C.23

Prove or give a counterexample: If V1,V2,UV_{1}, V_{2}, U are subspaces of VV such that

V=V1⊕U and V=V2⊕U, V = V_{1} \oplus U \quad \text{ and } \quad V = V_{2} \oplus U,

then V1=V2V_{1} = V_{2}.

?
Problem 1C.24

A function f:R→Rf: \mathbb {R} \rightarrow \mathbb {R} is called even if

f(−x)=f(x) f(-x) = f(x)

for all x∈Rx \in \mathbb {R}. A function f:R→Rf: \mathbb {R} \rightarrow \mathbb {R} is called odd if

f(−x)=−f(x) f(-x) = -f(x)

for all x∈Rx \in \mathbb {R}. Let VeV_{\mathrm{e}} denote the set of real-valued even functions on R\mathbb {R} and let VoV_{\mathrm{o}} denote the set of real-valued odd functions on R\mathbb {R}. Show that RR=Ve⊕Vo\mathbb {R}^{\mathbb {R}} = V_{\mathrm{e}} \oplus V_{\mathrm{o}}.

?