Chapter 2

Finite-Dimensional Vector Spaces

[51/0%]
Show
LaTeX
Problem 2A.1

Find a list of four distinct vectors in F3\mathbf{F}^{3} whose span equals

{(x,y,z)∈F3:x+y+z=0}. \left\{ (x, y, z) \in \mathbf{F}^{3}: x+y+z = 0\right\} .
?
Problem 2A.2

Prove or give a counterexample: If v1,v2,v3,v4v_{1}, v_{2}, v_{3}, v_{4} spans VV, then the list

v1−v2,v2−v3,v3−v4,v4 v_{1}-v_{2}, v_{2}-v_{3}, v_{3}-v_{4}, v_{4}

also spans VV.

?
Problem 2A.3

Suppose v1,…,vmv_{1}, \ldots , v_{m} is a list of vectors in VV. For k∈{1,…,m}k \in \left\{ 1, \ldots , m\right\}, let

wk=v1+⋯+vk. w_{k} = v_{1}+\cdots +v_{k}.

Show that span⁡(v1,…,vm)=span⁡(w1,…,wm)\operatorname {span}\left(v_{1}, \ldots , v_{m}\right) = \operatorname {span}\left(w_{1}, \ldots , w_{m}\right).

?
Problem 2A.4
?
(a)

Show that a list of length one in a vector space is linearly independent if and only if the vector in the list is not 0.

(b)

Show that a list of length two in a vector space is linearly independent if and only if neither of the two vectors in the list is a scalar multiple of the other.

Problem 2A.5

Find a number tt such that

(3,1,4),(2,−3,5),(5,9,t) (3,1,4),(2,-3,5),(5,9, t)

is not linearly independent in R3\mathbb {R}^{3}.

?
Problem 2A.6

Show that the list (2,3,1), (1, -1,2), (7,3,c) is linearly dependent in F3\mathbf{F}^{3} if and only if c=8c = 8.

?
Problem 2A.7
?
(a)

Show that if we think of C\mathbb {C} as a vector space over R\mathbb {R}, then the list 1+i,1−i1+i, 1-i is linearly independent.

(b)

Show that if we think of C\mathbb {C} as a vector space over C\mathbb {C}, then the list 1+i,1−i1+i, 1-i is linearly dependent.

Problem 2A.8

Suppose v1,v2,v3,v4v_{1}, v_{2}, v_{3}, v_{4} is linearly independent in VV. Prove that the list

v1−v2,v2−v3,v3−v4,v4 v_{1}-v_{2}, v_{2}-v_{3}, v_{3}-v_{4}, v_{4}

is also linearly independent.

?
Problem 2A.9

Prove or give a counterexample: If v1,v2,…,vmv_{1}, v_{2}, \ldots , v_{m} is a linearly independent list of vectors in VV, then

5v1−4v2,v2,v3,…,vm 5 v_{1}-4 v_{2}, v_{2}, v_{3}, \ldots , v_{m}

is linearly independent.

?
Problem 2A.10

Prove or give a counterexample: If v1,v2,…,vmv_{1}, v_{2}, \ldots , v_{m} is a linearly independent list of vectors in VV and λ∈F\lambda \in \mathbf{F} with λ≠0\lambda \neq 0, then λv1,λv2,…,λvm\lambda v_{1}, \lambda v_{2}, \ldots , \lambda v_{m} is linearly independent.

?
Problem 2A.11

Prove or give a counterexample: If v1,…,vmv_{1}, \ldots , v_{m} and w1,…,wmw_{1}, \ldots , w_{m} are linearly independent lists of vectors in VV, then the list v1+w1,…,vm+wmv_{1}+w_{1}, \ldots , v_{m}+w_{m} is linearly independent.

?
Problem 2A.12

Suppose v1,…,vmv_{1}, \ldots , v_{m} is linearly independent in VV and w∈Vw \in V. Prove that if v1+w,…,vm+wv_{1}+w, \ldots , v_{m}+w is linearly dependent, then w∈span⁡(v1,…,vm)w \in \operatorname {span}\left(v_{1}, \ldots , v_{m}\right).

?
Problem 2A.13

Suppose v1,…,vmv_{1}, \ldots , v_{m} is linearly independent in VV and w∈Vw \in V. Show that

v1,…,vm,w is linearly independent ⇔w∉span⁡(v1,…,vm). v_{1}, \ldots , v_{m}, w \text{ is linearly independent } \Leftrightarrow w \notin \operatorname {span}\left(v_{1}, \ldots , v_{m}\right).
?
Problem 2A.14

Suppose v1,…,vmv_{1}, \ldots , v_{m} is a list of vectors in VV. For k∈{1,…,m}k \in \left\{ 1, \ldots , m\right\}, let

wk=v1+⋯+vk. w_{k} = v_{1}+\cdots +v_{k}.

Show that the list v1,…,vmv_{1}, \ldots , v_{m} is linearly independent if and only if the list w1,…,wmw_{1}, \ldots , w_{m} is linearly independent.

?
Problem 2A.15

Explain why there does not exist a list of six polynomials that is linearly independent in P4(F)\mathcal{P}_{4}(\mathbf{F}).

?
Problem 2A.16

Explain why no list of four polynomials spans P4(F)\mathcal{P}_{4}(\mathbf{F}).

?
Problem 2A.17

Prove that VV is infinite-dimensional if and only if there is a sequence v1,v2,…v_{1}, v_{2}, \ldots of vectors in VV such that v1,…,vmv_{1}, \ldots , v_{m} is linearly independent for every positive integer mm.

?
Problem 2A.18

Prove that F∞\mathbf{F}^{\infty } is infinite-dimensional.

?
Problem 2A.19

Prove that the real vector space of all continuous real-valued functions on the interval [0,1][0,1] is infinite-dimensional.

?
Problem 2A.20

Suppose p0,p1,…,pmp_{0}, p_{1}, \ldots , p_{m} are polynomials in Pm(F)\mathcal{P}_{m}(\mathbf{F}) such that pk(2)=0p_{k}(2) = 0 for each k∈{0,…,m}k \in \left\{ 0, \ldots , m\right\}. Prove that p0,p1,…,pmp_{0}, p_{1}, \ldots , p_{m} is not linearly independent in Pm(F)\mathcal{P}_{m}(\mathbf{F}).

?
Problem 2B.1

Find all vector spaces that have exactly one basis.

?
Problem 2B.2

Verify all assertions in Example 2.27.

Example 2.27:

?
(a)

The list (1,0,…,0),(0,1,0,…,0),…,(0,…,0,1)(1,0,\ldots ,0), (0,1,0,\ldots ,0), \ldots , (0,\ldots ,0,1) is a basis of Fn\mathbf{F}^{n}, called the standard basis of Fn\mathbf{F}^{n}.

(b)

The list (1,2),(3,5)(1,2), (3,5) is a basis of F2\mathbf{F}^{2}. Note that this list has length two, which is the same as the length of the standard basis of F2\mathbf{F}^{2}.

(c)

The list (1,2,−4),(7,−5,6)(1,2,-4), (7,-5,6) is linearly independent in F3\mathbf{F}^{3} but is not a basis of F3\mathbf{F}^{3} because it does not span F3\mathbf{F}^{3}.

(d)

The list (1,2),(3,5),(4,13)(1,2), (3,5), (4,13) spans F2\mathbf{F}^{2} but is not a basis of F2\mathbf{F}^{2} because it is not linearly independent.

(e)

The list (1,1,0),(0,0,1)(1,1,0), (0,0,1) is a basis of {(x,x,y)∈F3:x,y∈F}\left\{ (x,x,y) \in \mathbf{F}^{3} : x, y \in \mathbf{F}\right\}.

(f)

The list (1,−1,0),(1,0,−1)(1,-1,0), (1,0,-1) is a basis of {(x,y,z)∈F3:x+y+z=0}\left\{ (x,y,z) \in \mathbf{F}^{3} : x+y+z = 0\right\}.

(g)

The list 1,z,…,zm1, z, \ldots , z^{m} is a basis of Pm(F)\mathcal{P}_{m}(\mathbf{F}), called the standard basis of Pm(F)\mathcal{P}_{m}(\mathbf{F}).

Problem 2B.3
?
(a)

Let UU be the subspace of R5\mathbb {R}^{5} defined by

U={(x1,x2,x3,x4,x5)∈R5:x1=3x2 and x3=7x4}. U = \left\{ \left(x_{1}, x_{2}, x_{3}, x_{4}, x_{5}\right) \in \mathbb {R}^{5}: x_{1} = 3 x_{2} \text{ and } x_{3} = 7 x_{4}\right\} .

Find a basis of UU.

(b)

Extend the basis in (a) to a basis of R5\mathbb {R}^{5}.

(c)

Find a subspace WW of R5\mathbb {R}^{5} such that R5=U⊕W\mathbb {R}^{5} = U \oplus W.

Problem 2B.4
?
(a)

Let UU be the subspace of C5\mathbb {C}^{5} defined by

U={(z1,z2,z3,z4,z5)∈C5:6z1=z2 and z3+2z4+3z5=0} U = \left\{ \left(z_{1}, z_{2}, z_{3}, z_{4}, z_{5}\right) \in \mathbb {C}^{5}: 6 z_{1} = z_{2} \text{ and } z_{3}+2 z_{4}+3 z_{5} = 0\right\}

Find a basis of UU.

(b)

Extend the basis in (a) to a basis of C5\mathbb {C}^{5}.

(c)

Find a subspace WW of C5\mathbb {C}^{5} such that C5=U⊕W\mathbb {C}^{5} = U \oplus W.

Problem 2B.5

Suppose VV is finite-dimensional and U,WU, W are subspaces of VV such that V=U+WV = U+W. Prove that there exists a basis of VV consisting of vectors in U∪WU \cup W.

?
Problem 2B.6

Prove or give a counterexample: If p0,p1,p2,p3p_{0}, p_{1}, p_{2}, p_{3} is a list in P3(F)\mathcal{P}_{3}(\mathbf{F}) such that none of the polynomials p0,p1,p2,p3p_{0}, p_{1}, p_{2}, p_{3} has degree 2, then p0,p1,p2,p3p_{0}, p_{1}, p_{2}, p_{3} is not a basis of P3(F)\mathcal{P}_{3}(\mathbf{F}).

?
Problem 2B.7

Suppose v1,v2,v3,v4v_{1}, v_{2}, v_{3}, v_{4} is a basis of VV. Prove that

v1+v2,v2+v3,v3+v4,v4 v_{1}+v_{2}, v_{2}+v_{3}, v_{3}+v_{4}, v_{4}

is also a basis of VV.

?
Problem 2B.8

Prove or give a counterexample: If v1,v2,v3,v4v_{1}, v_{2}, v_{3}, v_{4} is a basis of VV and UU is a subspace of VV such that v1,v2∈Uv_{1}, v_{2} \in U and v3∉Uv_{3} \notin U and v4∉Uv_{4} \notin U, then v1,v2v_{1}, v_{2} is a basis of UU.

?
Problem 2B.9

Suppose v1,…,vmv_{1}, \ldots , v_{m} is a list of vectors in VV. For k∈{1,…,m}k \in \left\{ 1, \ldots , m\right\}, let

wk=v1+⋯+vk. w_{k} = v_{1}+\cdots +v_{k}.

Show that v1,…,vmv_{1}, \ldots , v_{m} is a basis of VV if and only if w1,…,wmw_{1}, \ldots , w_{m} is a basis of VV.

?
Problem 2B.10

Suppose UU and WW are subspaces of VV such that V=U⊕WV = U \oplus W. Suppose also that u1,…,umu_{1}, \ldots , u_{m} is a basis of UU and w1,…,wnw_{1}, \ldots , w_{n} is a basis of WW. Prove that

u1,…,um,w1,…,wn u_{1}, \ldots , u_{m}, w_{1}, \ldots , w_{n}

is a basis of VV.

?
Problem 2B.11

Suppose VV is a real vector space. Show that if v1,…,vnv_{1}, \ldots , v_{n} is a basis of VV (as a real vector space), then v1,…,vnv_{1}, \ldots , v_{n} is also a basis of the complexification VCV_{\mathrm{C}} (as a complex vector space).

?
Remark.
?

The complexification VCV_{\mathrm{C}} was defined in Exercise 8 in Section 1B: suppose VV is a real vector space; the complexification of VV, denoted by VCV_{\mathrm{C}}, equals V×VV \times V, with an element (u,v)(u,v), u,v∈Vu, v \in V, written as u+ivu+iv; addition on VCV_{\mathrm{C}} is defined by (u1+iv1)+(u2+iv2)=(u1+u2)+i(v1+v2)(u_1+iv_1)+(u_2+iv_2) = (u_1+u_2)+i(v_1+v_2); complex scalar multiplication on VCV_{\mathrm{C}} is defined by (a+bi)(u+iv)=(au−bv)+i(av+bu)(a+bi)(u+iv) = (au-bv)+i(av+bu) for all a,b∈Ra, b \in \mathbb {R} and all u,v∈Vu, v \in V.

Problem 2C.1

Show that the subspaces of R2\mathbb {R}^{2} are precisely {0}\left\{ 0\right\}, all lines in R2\mathbb {R}^{2} containing the origin, and R2\mathbb {R}^{2}.

?
Problem 2C.2

Show that the subspaces of R3\mathbb {R}^{3} are precisely {0}\left\{ 0\right\}, all lines in R3\mathbb {R}^{3} containing the origin, all planes in R3\mathbb {R}^{3} containing the origin, and R3\mathbb {R}^{3}.

?
Problem 2C.3
?
(a)

Let U={p∈P4(F):p(6)=0}U = \left\{ p \in \mathcal{P}_{4}(\mathbf{F}): p(6) = 0\right\}. Find a basis of UU.

(b)

Extend the basis in (a) to a basis of P4(F)\mathcal{P}_{4}(\mathbf{F}).

(c)

Find a subspace WW of P4(F)\mathcal{P}_{4}(\mathbf{F}) such that P4(F)=U⊕W\mathcal{P}_{4}(\mathbf{F}) = U \oplus W.

Problem 2C.4
?
(a)

Let U={p∈P4(R):p′′(6)=0}U = \left\{ p \in \mathcal{P}_{4}(\mathbb {R}): p^{\prime \prime }(6) = 0\right\}. Find a basis of UU.

(b)

Extend the basis in (a) to a basis of P4(R)\mathcal{P}_{4}(\mathbb {R}).

(c)

Find a subspace WW of P4(R)\mathcal{P}_{4}(\mathbb {R}) such that P4(R)=U⊕W\mathcal{P}_{4}(\mathbb {R}) = U \oplus W.

Problem 2C.5
?
(a)

Let U={p∈P4(F):p(2)=p(5)}U = \left\{ p \in \mathcal{P}_{4}(\mathbf{F}): p(2) = p(5)\right\}. Find a basis of UU.

(b)

Extend the basis in (a) to a basis of P4(F)\mathcal{P}_{4}(\mathbf{F}).

(c)

Find a subspace WW of P4(F)\mathcal{P}_{4}(\mathbf{F}) such that P4(F)=U⊕W\mathcal{P}_{4}(\mathbf{F}) = U \oplus W.

Problem 2C.6
?
(a)

Let U={p∈P4(F):p(2)=p(5)=p(6)}U = \left\{ p \in \mathcal{P}_{4}(\mathbf{F}): p(2) = p(5) = p(6)\right\}. Find a basis of UU.

(b)

Extend the basis in (a) to a basis of P4(F)\mathcal{P}_{4}(\mathbf{F}).

(c)

Find a subspace WW of P4(F)\mathcal{P}_{4}(\mathbf{F}) such that P4(F)=U⊕W\mathcal{P}_{4}(\mathbf{F}) = U \oplus W.

Problem 2C.7
?
(a)

Let U={p∈P4(R):∫−11p=0}U = \left\{ p \in \mathcal{P}_{4}(\mathbb {R}): \int_{-1}^{1} p = 0\right\}. Find a basis of UU.

(b)

Extend the basis in (a) to a basis of P4(R)\mathcal{P}_{4}(\mathbb {R}).

(c)

Find a subspace WW of P4(R)\mathcal{P}_{4}(\mathbb {R}) such that P4(R)=U⊕W\mathcal{P}_{4}(\mathbb {R}) = U \oplus W.

Problem 2C.8

Suppose v1,…,vmv_{1}, \ldots , v_{m} is linearly independent in VV and w∈Vw \in V. Prove that

dim⁡span⁡(v1+w,…,vm+w)≥m−1 \operatorname {dim} \operatorname {span}\left(v_{1}+w, \ldots , v_{m}+w\right) \geq m-1
?
Problem 2C.9

Suppose mm is a positive integer and p0,p1,…,pm∈P(F)p_{0}, p_{1}, \ldots , p_{m} \in \mathcal{P}(\mathbf{F}) are such that each pkp_{k} has degree kk. Prove that p0,p1,…,pmp_{0}, p_{1}, \ldots , p_{m} is a basis of Pm(F)\mathcal{P}_{m}(\mathbf{F}).

?
Problem 2C.10

Suppose mm is a positive integer. For 0≤k≤m0 \leq k \leq m, let

pk(x)=xk(1−x)m−k. p_{k}(x) = x^{k}(1-x)^{m-k}.

Show that p0,…,pmp_{0}, \ldots , p_{m} is a basis of Pm(F)\mathcal{P}_{m}(\mathbf{F}). The basis in this exercise leads to what are called Bernstein polynomials. You can do a web search to learn how Bernstein polynomials are used to approximate continuous functions on [0,1][0,1].

?
Problem 2C.11

Suppose UU and WW are both four-dimensional subspaces of C6\mathbb {C}^{6}. Prove that there exist two vectors in U∩WU \cap W such that neither of these vectors is a scalar multiple of the other.

?
Problem 2C.12

Suppose that UU and WW are subspaces of R8\mathbb {R}^{8} such that dim⁡U=3,dim⁡W=5\operatorname {dim} U = 3, \operatorname {dim} W = 5, and U+W=R8U+W = \mathbb {R}^{8}. Prove that R8=U⊕W\mathbb {R}^{8} = U \oplus W.

?
Problem 2C.13

Suppose UU and WW are both five-dimensional subspaces of R9\mathbb {R}^{9}. Prove that U∩W≠{0}U \cap W \neq \left\{ 0\right\}.

?
Problem 2C.14

Suppose VV is a ten-dimensional vector space and V1,V2,V3V_{1}, V_{2}, V_{3} are subspaces of VV with dim⁡V1=dim⁡V2=dim⁡V3=7\operatorname {dim} V_{1} = \operatorname {dim} V_{2} = \operatorname {dim} V_{3} = 7. Prove that V1∩V2∩V3≠{0}V_{1} \cap V_{2} \cap V_{3} \neq \left\{ 0\right\}.

?
Problem 2C.15

Suppose VV is finite-dimensional and V1,V2,V3V_{1}, V_{2}, V_{3} are subspaces of VV with dim⁡V1+dim⁡V2+dim⁡V3>2dim⁡V\operatorname {dim} V_{1}+\operatorname {dim} V_{2}+\operatorname {dim} V_{3} > 2 \operatorname {dim} V. Prove that V1∩V2∩V3≠{0}V_{1} \cap V_{2} \cap V_{3} \neq \left\{ 0\right\}.

?
Problem 2C.16

Suppose VV is finite-dimensional and UU is a subspace of VV with U≠VU \neq V. Let n=dim⁡Vn = \operatorname {dim} V and m=dim⁡Um = \operatorname {dim} U. Prove that there exist n−mn-m subspaces of VV, each of dimension n−1n-1, whose intersection equals UU.

?
Problem 2C.17

Suppose that V1,…,VmV_{1}, \ldots , V_{m} are finite-dimensional subspaces of VV. Prove that V1+⋯+VmV_{1}+\cdots +V_{m} is finite-dimensional and

dim⁡(V1+⋯+Vm)≤dim⁡V1+⋯+dim⁡Vm. \operatorname {dim}\left(V_{1}+\cdots +V_{m}\right) \leq \operatorname {dim} V_{1}+\cdots +\operatorname {dim} V_{m}.

The inequality above is an equality if and only if V1+⋯+VmV_{1}+\cdots +V_{m} is a direct sum, as will be shown in 3.94.

?
Problem 2C.18

Suppose VV is finite-dimensional, with dim⁡V=n≥1\operatorname {dim} V = n \geq 1. Prove that there exist one-dimensional subspaces V1,…,VnV_{1}, \ldots , V_{n} of VV such that

V=V1⊕⋯⊕Vn. V = V_{1} \oplus \cdots \oplus V_{n}.
?
Problem 2C.19

Explain why you might guess, motivated by analogy with the formula for the number of elements in the union of three finite sets, that if V1,V2,V3V_{1}, V_{2}, V_{3} are subspaces of a finite-dimensional vector space, then

dim⁡(V1+V2+V3)=dim⁡V1+dim⁡V2+dim⁡V3−dim⁡(V1∩V2)−dim⁡(V1∩V3)−dim⁡(V2∩V3)+dim⁡(V1∩V2∩V3). \begin{aligned} \operatorname {dim}\left(V_{1}+V_{2}+V_{3}\right) = & \operatorname {dim} V_{1}+\operatorname {dim} V_{2}+\operatorname {dim} V_{3} \\ & -\operatorname {dim}\left(V_{1} \cap V_{2}\right)-\operatorname {dim}\left(V_{1} \cap V_{3}\right)-\operatorname {dim}\left(V_{2} \cap V_{3}\right) \\ & +\operatorname {dim}\left(V_{1} \cap V_{2} \cap V_{3}\right). \end{aligned}

Then either prove the formula above or give a counterexample.

?
Problem 2C.20

Prove that if V1,V2V_{1}, V_{2}, and V3V_{3} are subspaces of a finite-dimensional vector space, then

dim⁡(V1+V2+V3)=dim⁡V1+dim⁡V2+dim⁡V3−dim⁡(V1∩V2)+dim⁡(V1∩V3)+dim⁡(V2∩V3)3−dim⁡((V1+V2)∩V3)+dim⁡((V1+V3)∩V2)+dim⁡((V2+V3)∩V1)3. \begin{aligned} \operatorname {dim} & \left(V_{1}+V_{2}+V_{3}\right) \\ = & \operatorname {dim} V_{1}+\operatorname {dim} V_{2}+\operatorname {dim} V_{3} \\ & -\frac{\operatorname {dim}\left(V_{1} \cap V_{2}\right)+\operatorname {dim}\left(V_{1} \cap V_{3}\right)+\operatorname {dim}\left(V_{2} \cap V_{3}\right)}{3} \\ & -\frac{\operatorname {dim}\left(\left(V_{1}+V_{2}\right) \cap V_{3}\right)+\operatorname {dim}\left(\left(V_{1}+V_{3}\right) \cap V_{2}\right)+\operatorname {dim}\left(\left(V_{2}+V_{3}\right) \cap V_{1}\right)}{3}. \end{aligned}

The formula above may seem strange because the right side does not look like an integer.

?