$
\begin{array}{l}
\textbf{Exercises 3E} \\
1. \text{ Suppose } T \text{ is a function from } V \text{ to } W.\\ \text{ The graph of function } T \text{ is the subset of } V \times W \\
\text{ defined by} \\
\text{graph of } T = {(v,Tv)\in V x W:v \in V}\\\\
\text{ Prove that } T \text{ is a linear map if and only if the graph of } T \\\text{ is a subspace of } V \times W. \\
\text{ Formally, a function } T \text{ from } V \text{ to } W \text{ is a subset } T \text{ of } V \times W \text{ such that for each } v \in V, \\
\text{ there exists exactly one element } (v, w) \in T. \\\\\text{ In other words, formally a function is what is called above its graph.} \\\\
\text{ We do not usually think of functions in this formal manner.}\\\text{ However, if we do become formal, then this exercise could be rephrased as follows:} \\
\text{ Prove that a function } T \text{ from } V \text{ to } W \text{ is a linear map if and only if } T \text{ is a subspace of } V \times W. \\\\
2. \text{ Suppose that } V_1, \ldots, V_m \text{ are vector spaces such that } V_1 \times \cdots \times V_m \text{ is finite-dimensional.}\\\text{ Prove that } \\V_k \text{ is finite-dimensional for each } k = 1, \ldots, m. \\\\
3. \text{ Suppose } V_1, \ldots, V_m \text{ are vector spaces. Prove that } \\L(V_1 \times \cdots \times V_m, W) \text{ and } L(V_1, W) \times \cdots \times L(V_m, W) \text{ are isomorphic vector spaces.} \\\\
4. \text{ Suppose } W_1, \ldots, W_m \text{ are vector spaces. Prove that }\\ L(V, W_1 \times \cdots \times W_m) \text{ and } L(V, W_1) \times \cdots \times L(V, W_m) \text{ are isomorphic vector spaces.} \\\\
5. \text{ For } m \text{ a positive integer, define } V_m \text{ by } V_m = V \times \cdots \times V \text{ (} m \text{ times)}. \\\text{ Prove that } V_m \text{ and } L(F^m, V) \text{ are isomorphic vector spaces.} \\\\
6. \text{ Suppose that } v, x \text{ are vectors in } V \text{ and that } U, W \text{ are subspaces of } V \text{ such that } v + U = x + W.\\ \text{ Prove that } U = W. \\
7. \text{ Let } U = \{(x, y, z) \in \mathbb{R}^3 : 2x + 3y + 5z = 0\}. \text{ Suppose } A \subseteq \mathbb{R}^3.\\ \text{ Prove that } A \text{ is a translate of } U \text{ if and only if there exists } c \in \mathbb{R} \text{ such that } \\
A = \{(x, y, z) \in \mathbb{R}^3 : 2x + 3y + 5z = c\}. \\\\
8. (a) \text{ Suppose } T \in L(V, W) \text{ and } c \in W. \text{ Prove that } \{x \in V : T x = c\} \\\text{ is either the empty set or is a translate of null } T. \\\\
(b) \text{ Explain why the set of solutions to a system of linear equations such as 3.27}\\\text{ is either the empty set or is a translate of some subspace of } F^n. \\\\
9. \text{ Prove that a nonempty subset } A \text{ of } V \text{ is a translate of some subspace of } V \\\text{ if and only if } \lambda v + (1 - \lambda) w \in A \text{ for all } v, w \in A \text{ and all } \lambda \in F. \\
10. \text{ Suppose } A_1 = v + U_1 \text{ and } A_2 = w + U_2 \text{ for some } v, w \in V \text{ and some subspaces } U_1, U_2 \text{ of } V.\\ \text{ Prove that the intersection } A_1 \cap A_2 \text{ is either a translate of some subspace of } V \text{ or is the empty set.} \\
\text{ graph of } T = \{(v, T v) \in V \times W : v \in V\}.
\end{array}
$
---
$\begin{array}{l}
104 \text{ Chapter 3 Linear Maps} \\
11. \text{ Suppose } U = \{(x_1, x_2, \ldots) \in F^\infty : x_k \neq 0 \\\text{ for only finitely many } k\}. \\
(a) \text{ Show that } U \text{ is a subspace of } F^\infty. \\
(b) \text{ Prove that } F^\infty/U \text{ is infinite-dimensional.} \\\\
12. \text{ Suppose } v_1, \ldots, v_m \in V. \text{ Let } A = \{\lambda_1 v_1 + \cdots + \lambda_m v_m : \lambda_1, \ldots, \lambda_m \in F \text{ and } \lambda_1 + \cdots + \lambda_m = 1\}. \\
(a) \text{ Prove that } A \text{ is a translate of some subspace of } V. \\
(b) \text{ Prove that if } B \text{ is a translate of some subspace of } V \text{ and } \{v_1, \ldots, v_m\} \subseteq B, \\
\text{ then } A \subseteq B. \\
(c) \text{ Prove that } A \text{ is a translate of some subspace of } V \text{ of dimension less than } m. \\\\
13. \text{ Suppose } U \text{ is a subspace of } V \text{ such that } V/U \\\text{ is finite-dimensional.\\ Prove that } V \text{ is isomorphic to } U \times (V/U). \\\\
14. \text{ Suppose } U \text{ and } W \text{ are subspaces of } V \text{ and } V = U \oplus W. \text{ Suppose } w_1, \ldots, w_m \text{ is a basis of } W. \\\\
\text{ Prove that } w_1 + U, \ldots, w_m + U \text{ is a basis of } V/U. \\\\
15. \text{ Suppose } U \text{ is a subspace of } V \text{ and } v_1 + U, \ldots, v_m + U \text{ is a basis of } V/U \text{ and } u_1, \ldots, u_n \\\text{ is a basis of } U. \\
\text{ Prove that } v_1, \ldots, v_m, u_1, \ldots, u_n \text{ is a basis of } V. \\\\
16. \text{ Suppose } \phi \in L(V, F) \text{ and } \phi \neq 0. \text{ Prove that } \text{dim } V/(\text{null } \phi) = 1. \\\\
17. \text{ Suppose } U \text{ is a subspace of } V \text{ such that } \text{dim } V/U = 1. \\\text{ Prove that there exists } \phi \in L(V, F) \text{ such that } \text{null } \phi = U. \\\\
18. \text{ Suppose that } U \text{ is a subspace of } V \text{ such that } V/U \text{ is finite-dimensional.} \\
(a) \text{ Show that if } W \text{ is a finite-dimensional subspace of } V \text{ and } V = U + W, \text{ then } \text{dim } W \geq \text{dim } V/U. \\
(b) \text{ Prove that there exists a finite-dimensional subspace } W\\ \text{ of } V \text{ such that } \text{dim } W = \text{dim } V/U \text{ and } V = U \oplus W. \\\\
19. \text{ Suppose } T \in L(V, W) \text{ and } U \text{ is a subspace of } V.\\ \text{ Let } \pi \text{ denote the quotient map from } V \text{ onto } V/U. \\\text{ Prove that there exists } S \in L(V/U, W) \text{ such that } T = S \circ \pi \text{ if and only if } U \subseteq \text{null } T.
\end{array}
$
---
Exercises 3E
1 Suppose ๐ is a function from ๐ to ๐. The graph of ๐ is the subset of ๐ร ๐
defined by
Prove that ๐ is a linear map if and only if the graph of ๐ is a subspace of
๐ร๐.
Formally, a function ๐ from ๐ to ๐ is a subset ๐ of ๐ร ๐ such that for each ๐ฃ โ ๐, there exists exactly one element (๐ฃ, ๐ค) โ ๐. In other words, formally a function is what is called above its graph. We do not usually think of functions in this formal manner. However, if we do become formal, then this exercise could be rephrased as follows: Prove that a function ๐ from๐to๐isalinearmapifandonlyif ๐isasubspaceof ๐ร๐.
2. 3E-2 ย Suppose that ๐1, ..., ๐๐ are vector spaces such that ๐1 ร โฏ ร ๐๐ is finite- dimensional. Prove that ๐๐ is finite-dimensional for each ๐ = 1, ..., ๐.
3. 3E-3 ย Suppose๐1,...,๐๐arevectorspaces.ProvethatL(๐1รโฏร๐๐,๐)and L(๐1, ๐) ร โฏ ร L(๐๐, ๐) are isomorphic vector spaces.
4. 3E-4 ย Suppose ๐1, ..., ๐๐ are vector spaces. Prove that L(๐, ๐1 ร โฏ ร ๐๐) and L(๐, ๐1) ร โฏ ร L(๐, ๐๐) are isomorphic vector spaces.
5. 3E-5 ย For ๐ a positive integer, define ๐๐ by
๐ ๐ = ๐ โร โฏ ร ๐ .
๐ times
Prove that ๐๐ and L(๐
๐, ๐) are isomorphic vector spaces.
6. 3E-6 ย Suppose that ๐ฃ, ๐ฅ are vectors in ๐ and that ๐, ๐ are subspaces of ๐ such that ๐ฃ + ๐ = ๐ฅ + ๐. Prove that ๐ = ๐.
7. 3E-7 ย Let๐={(๐ฅ,๐ฆ,๐ง)โ๐3 โถ2๐ฅ+3๐ฆ+5๐ง=0}.Suppose๐ดโ๐3.Provethat ๐ด is a translate of ๐ if and only if there exists ๐ โ ๐ such that
๐ด = {(๐ฅ,๐ฆ,๐ง) โ ๐3 โถ2๐ฅ+3๐ฆ+5๐ง = ๐}.
8. 3E-8 ย (a) Suppose๐ โ L(๐,๐)and๐ โ ๐. Provethat{๐ฅ โ ๐ โถ๐๐ฅ = ๐}is either the empty set or is a translate of null ๐.
(b) Explainwhythesetofsolutionstoasystemoflinearequationssuchas
3.27 is either the empty set or is a translate of some subspace of ๐
๐.
9. 3E-9 ย Prove that a nonempty subset ๐ด of ๐ is a translate of some subspace of ๐ if
and only if ๐๐ฃ + (1 โ ๐)๐ค โ ๐ด for all ๐ฃ, ๐ค โ ๐ด and all ๐ โ ๐
.
10. 3E-10 ย Suppose๐ด1 = ๐ฃ+๐1 and๐ด2 = ๐ค+๐2 forsome๐ฃ,๐ค โ ๐andsome subspaces ๐1,๐2 of ๐. Prove that the intersection ๐ด1 โฉ ๐ด2 is either a translate of some subspace of ๐ or is the empty set.
graph of ๐ = {(๐ฃ, ๐๐ฃ) โ ๐ ร ๐ โถ ๐ฃ โ ๐}.
104 Chapter 3 Linear Maps
11. 3E-11 ย Suppose๐={(๐ฅ1,๐ฅ2,...)โ๐
โ โถ๐ฅ๐ =ฬธ0foronlyfinitelymany๐}.
(a) Showthat๐isasubspaceof๐
โ.
(b) Prove that ๐
โ/๐ is infinite-dimensional.
12. 3E-12 ย Suppose ๐ฃ1, ..., ๐ฃ๐ โ ๐. Let
๐ด={๐1๐ฃ1+โฏ+๐๐๐ฃ๐ โถ๐1,...,๐๐ โ๐
and๐1+โฏ+๐๐ =1}.
1. (a) ย Provethat๐ดisatranslateofsomesubspaceof๐.
2. (b) ย Provethatif๐ตisatranslateofsomesubspaceof๐and{๐ฃ1,...,๐ฃ๐}โ๐ต,
then ๐ด โ ๐ต.
3. (c) ย Prove that ๐ด is a translate of some subspace of ๐ of dimension less
than ๐.
13. 3E-13 ย Suppose ๐ is a subspace of ๐ such that ๐/๐ is finite-dimensional. Prove
that ๐ is isomorphic to ๐ ร (๐/๐).
14. 3E-14 ย Suppose๐and๐aresubspacesof๐and๐=๐โ๐.Suppose๐ค1,...,๐ค๐
isabasisof๐. Provethat๐ค1 +๐,...,๐ค๐ +๐isabasisof๐/๐.
15. 3E-15 ย Suppose๐isasubspaceof๐and๐ฃ1+๐,...,๐ฃ๐+๐isabasisof๐/๐and
๐ข1,...,๐ข๐ is a basis of ๐. Prove that ๐ฃ1,...,๐ฃ๐,๐ข1,...,๐ข๐ is a basis of ๐.
16. 3E-16 ย Suppose๐โL(๐,๐
)and๐=ฬธ0.Provethatdim๐/(null๐)=1.
17. 3E-17 ย Suppose ๐ is a subspace of ๐ such that dim ๐/๐ = 1. Prove that there exists ๐ โ L(๐,๐
) such that null๐ = ๐.
18. 3E-18 ย Suppose that ๐ is a subspace of ๐ such that ๐/๐ is finite-dimensional.
1. (a) ย Showthatif๐isafinite-dimensionalsubspaceof๐and๐=๐+๐, then dim ๐ โฅ dim ๐/๐.
2. (b) ย Provethatthereexistsafinite-dimensionalsubspace๐of๐suchthat dim๐ =dim๐/๐and๐ =๐โ๐.
19. 3E-19 ย Suppose ๐ โ L(๐, ๐) and ๐ is a subspace of ๐. Let ๐ denote the quotient map from ๐ onto ๐/๐. Prove that there exists ๐ โ L(๐/๐, ๐) such that ๐ = ๐ โ ๐ if and only if ๐ โ null ๐.