Every problem in the chapter beside the book’s answer, a chapter at a time as you scroll.

Chapter 2: Vector Spaces

206 problems · 7 figures

Two.I.1.17 §I.1 source ↗

Name the zero vector for each of these vector spaces.

(a)

The space of degree three polynomials under the natural operations.

(b)

The space of 2×4 matrices.

(c)

The space {f:[0..1]→ ℝ|f is continuous}⁠.

(d)

The space of real-valued functions of one natural number variable.

Answer (4 parts)

(a)

0+0x+0x2+0x3

(b)

(00000000)

(c)

The constant function f(x)=0

(d)

The constant function f(n)=0

Two.I.1.18 §I.1 source ↗

Find the additive inverse, in the vector space, of the vector.

(a)

In 𝒫3⁠, the vector −3−2x+x2⁠.

(b)

In the space 2×2⁠,

(1−103).

(c)

In {aex+be−x|a,b∈ℝ}⁠, the space of functions of the real variable x under the natural operations, the vector 3ex−2e−x⁠.

Answer (3 parts)

(a)

3+2x−x2

(b)

(−1+10−3)

(c)

−3ex+2e−x

Two.I.1.19 §I.1 source ↗

For each, list three elements and then show it is a vector space.

(a)

The set of linear polynomials 𝒫1={a0+a1x|a0,a1∈ℝ} under the usual polynomial addition and scalar multiplication operations.

(b)

The set of linear polynomials {a0+a1x|a0−2a1=0}⁠, under the usual polynomial addition and scalar multiplication operations.

Hint. Use Example 1.3 as a guide. Most of the ten conditions are just verifications.

Answer (2 parts)

(a)

Three elements are: 1+2x⁠, 2−1x⁠, and x⁠. (Of course, many answers are possible.)

The verification is just like Example 1.4. We first do conditions 1⁠-⁠5 from Definition 1.1, having to do with addition. For closure under addition, condition (1), note that where a+bx,c+dx∈𝒫1 we have that (a+bx)+ (c+dx)= (a+c)+ (b+d)x is a linear polynomial with real coefficients and so is an element of 𝒫1⁠. Condition (2) is verified with: where a+bx,c+dx∈𝒫1 then (a+bx)+ (c+dx)= (a+c)+ (b+d)x⁠, while in the other order they are (c+dx)+ (a+bx)= (c+a)+ (d+b)x⁠, and both a+c=c+a and b+d=d+b as these are real numbers. Condition (3) is similar: suppose a+bx,c+dx,e+fx∈𝒫 then ((a+bx)+(c+dx))+ (e+fx)= (a+c+e)+ (b+d+f)x while (a+bx)+ ((c+dx)+(e+fx))= (a+c+e)+ (b+d+f)x⁠, and the two are equal (that is, real number addition is associative so (a+c)+e=a+(c+e) and (b+d)+f=b+(d+f)⁠). For condition (4) observe that the linear polynomial 0+0x∈𝒫1 has the property that (a+bx)+(0+0x)=a+bx and (0+0x)+(a+bx)=a+bx⁠. For the last condition in this paragraph, condition (5), note that for any a+bx∈𝒫1 the additive inverse is −a−bx∈𝒫1 since (a+bx)+ (−a−bx)= (−a−bx)+ (a+bx)= 0+ 0x⁠.

We next also check conditions (6)-(10), involving scalar multiplication. For (6), the condition that the space be closed under scalar multiplication, suppose that r is a real number and a+bx is an element of 𝒫1⁠, and then r(a+bx)=(ra)+(rb)x is an element of 𝒫1 because it is a linear polynomial with real number coefficients. Condition (7) holds because (r+s)(a+bx)= r(a+bx)+ s(a+bx) is true from the distributive property for real number multiplication. Condition (8) is similar: r((a+bx)+(c+dx))= r((a+c)+(b+d)x)= r(a+c)+ r(b+d)x= (ra+rc)+ (rb+rd)x= r(a+bx)+ r(c+dx)⁠. For (9) we have (rs)(a+bx)= (rsa)+ (rsb)x= r(sa+sbx)= r(s(a+bx))⁠. Finally, condition (10) is 1(a+bx)=(1a)+(1b)x=a+bx⁠.

(b)

Call the set P⁠. In the prior item in this exercise there was no restriction on the coefficients but here we are restricting attention to those linear polynomials where a0−2a1=0⁠, that is, where the constant term minus twice the coefficient of the linear term is zero. Thus, three typical elements of P are 2+1x⁠, 6+3x⁠, and −4−2x⁠.

For condition (1) we must show that if we add two linear polynomials that satisfy the restriction then we get a linear polynomial also satisfying the restriction: here that argument is that if a+bx,c+dx∈P then (a+bx)+ (c+dx)= (a+c)+ (b+d)x is an element of P because (a+c)− 2(b+d)= (a−2b)+ (c−2d)= 0+ 0= 0⁠. We can verify condition (2) with: where a+bx,c+dx∈𝒫1 then (a+bx)+ (c+dx)= (a+c)+ (b+d)x⁠, while in the other order they are (c+dx)+ (a+bx)= (c+a)+ (d+b)x⁠, and both a+c=c+a and b+d=d+b as these are real numbers. (That is, this condition is not affected by the restriction and the verification is the same as the verification in the first item of this exercise). Condition (3) is also not affected by the extra restriction: suppose that a+bx,c+dx,e+fx∈𝒫 then ((a+bx)+(c+dx))+ (e+fx)= (a+c+e)+ (b+d+f)x while (a+bx)+ ((c+dx)+(e+fx))= (a+c+e)+ (b+d+f)x⁠, and the two are equal. For condition (4) observe that the linear polynomial satisfies the restriction 0+0x∈P because its constant term minus twice the coefficient of its linear term is zero, and then the verification from the first item of this question applies: 0+0x∈𝒫1 has the property that (a+bx)+(0+0x)=a+bx and (0+0x)+(a+bx)=a+bx⁠. To check condition (5), note that for any a+bx∈P the additive inverse is −a−bx since it is an element of P (because a+bx∈P we know that a−2b=0 and multiplying both sides by −1 gives that −a+2b=0⁠), and as in the first item it acts as the additive inverse (a+bx)+ (−a−bx)= (−a−bx)+ (a+bx)= 0+ 0x⁠.

We must also check conditions (6)-(10), those for scalar multiplication. For (6), the condition that the space be closed under scalar multiplication, suppose that r is a real number and a+bx∈P (so that a−2b=0⁠), then r(a+bx)=(ra)+(rb)x is an element of P because it is a linear polynomial with real number coefficients satisfying that (ra)−2(rb)=r(a−2b)=0⁠. Condition (7) holds for the same reason that it holds in the first item of this exercise, because (r+s)(a+bx)= r(a+bx)+ s(a+bx) is true from the distributive property for real number multiplication. Condition (8) is also unchanged from the first item: r((a+bx)+(c+dx))= r((a+c)+(b+d)x)= r(a+c)+ r(b+d)x= (ra+rc)+ (rb+rd)x= r(a+bx)+ r(c+dx)⁠. So is (9): (rs)(a+bx)= (rsa)+ (rsb)x= r(sa+sbx)= r(s(a+bx))⁠. Finally, so is condition (10): 1(a+bx)=(1a)+(1b)x=a+bx⁠.

Two.I.1.20 §I.1 source ↗

For each, list three elements and then show it is a vector space.

(a)

The set of 2×2 matrices with real entries under the usual matrix operations.

(b)

The set of 2×2 matrices with real entries where the 2,1 entry is zero, under the usual matrix operations.

Answer (3 parts)

Use Example 1.4 as a guide. (Comment. Because many of the conditions are quite easy to check, sometimes a person can feel that they must have missed something. Keep in mind that easy to do, or routine, is different from not necessary to do.)

(a)

Here are three elements.

(1234),(−1−2−3−4),(0000)

For (1), the sum of 2×2 real matrices is a 2×2 real matrix. For (2) we consider the sum of two matrices

(abcd)+(efgh)=(a+eb+fc+gd+h)

and apply commutativity of real number addition

=(e+af+bg+ch+d)=(efgh)+(abcd)

to verify that the addition of the matrices is commutative. The verification for condition (3), associativity of matrix addition, is similar to the prior verification:

((abcd)+(efgh))+(ijkl)=((a+e)+i(b+f)+j(c+g)+k(d+h)+l)

while

(abcd)+((efgh)+(ijkl))=(a+(e+i)b+(f+j)c+(g+k)d+(h+l))

and the two are the same entry-by-entry because real number addition is associative. For (4), the zero element of this space is the 2×2 matrix of zeroes. Condition (5) holds because for any 2×2 matrix A the additive inverse is the matrix whose entries are the negative of A⁠’s, the matrix −1⋅A⁠.

Condition (6⁠) holds because a scalar multiple of a 2×2 matrix is a 2×2 matrix. For condition (7) we have this.

(r+s)(abcd)=((r+s)a(r+s)b(r+s)c(r+s)d)=(ra+sarb+sbrc+scrd+sd)=r(abcd)+s(abcd)

Condition (8) goes the same way.

r((abcd)+(efgh))=r(a+eb+fc+gd+h)=(ra+rerb+rfrc+rgrd+rh)=r(abcd)+r(efgh)=r((abcd)+(efgh))

For (9) we have this.

(rs)(abcd)=(rsarsbrscrsd)=r(sasbscsd)=r(s(abcd))

Condition (10) is just as easy.

1(abcd)=(1⋅a1⋅b1⋅c1⋅d)=(sasbscsd)

(b)

This differs from the prior item in this exercise only in that we are restricting to the set T of matrices with a zero in the second row and first column. Here are three elements of T⁠.

(1204),(−1−20−4),(0000)

Some of the verifications for this item are the same as for the first item in this exercise, and below we’ll just do the ones that are different.

For (1), the sum of 2×2 real matrices with a zero in the 2,1 entry is also a 2×2 real matrix with a zero in the 2,1 entry.

(ab0d)+(ef0h)(a+eb+f0d+h)

The verification for condition (2) given in the prior item works in this item also. The same holds for condition (3). For (4), note that the 2×2 matrix of zeroes is an element of T⁠. Condition (5) holds because for any 2×2 matrix A the additive inverse is the matrix −1⋅A and so the additive inverse of a matrix with a zero in the 2,1 entry is also a matrix with a zero in the 2,1 entry.

Condition 6 holds because a scalar multiple of a 2×2 matrix with a zero in the 2,1 entry is a 2×2 matrix with a zero in the 2,1 entry. Condition (7)’s verification is the same as in the prior item. So are condition (8)’s, (9)’s, and (10)’s.

Two.I.1.21 §I.1 source ↗

For each, list three elements and then show it is a vector space.

(a)

The set of three-component row vectors with their usual operations.

(b)

The set

{(xyzw)∈ℝ4|x+y−z+w=0}

under the operations inherited from ℝ4⁠.

Answer (2 parts)

(a)

Three elements are (123)⁠, (213)⁠, and (000)⁠.

We must check conditions (1)-(10) in Definition 1.1. Conditions (1)-(5) concern addition. For condition (1) recall that the sum of two three-component row vectors

(abc)+(def)=(a+db+ec+f)

is also a three-component row vector (all of the letters a,…,f represent real numbers). Verification of (2) is routine

(abc)+(def)=(a+db+ec+f)=(d+ae+bf+c)=(def)+(abc)

(the second equality holds because the three entries are real numbers and real number addition commutes). Condition (3)’s verification is similar.

((abc)+(def))+(ghi)=((a+d)+g(b+e)+h(c+f)+i)=(a+(d+g)b+(e+h)c+(f+i))=(abc)+((def)+(ghi))

For (4), observe that the three-component row vector (000) is the additive identity: (abc)+(000)=(abc)⁠. To verify condition (5), assume we are given the element (abc) of the set and note that (−a−b−c) is also in the set and has the desired property: (abc)+(−a−b−c)=(000)⁠.

Conditions (6)-(10) involve scalar multiplication. To verify (6), that the space is closed under the scalar multiplication operation that was given, note that r(abc)=(rarbrc) is a three-component row vector with real entries. For (7) we compute.

(r+s)(abc)=((r+s)a(r+s)b(r+s)c)=(ra+sarb+sbrc+sc)=(rarbrc)+(sasbsc)=r(abc)+s(abc)

Condition (8) is very similar.

r((abc)+(def))=r(a+db+ec+f)=(r(a+d)r(b+e)r(c+f))=(ra+rdrb+rerc+rf)=(rarbrc)+(rdrerf)=r(abc)+r(def)

So is the computation for condition (9).

(rs)(abc)=(rsarsbrsc)=r(sasbsc)=r(s(abc))

Condition (10) is just as routine 1(abc)= (1⋅a1⋅b1⋅c)= (abc)⁠.

(b)

Call the set L⁠. Closure of addition, condition (1), involves checking that if the summands are members of L then the sum

(abcd)+(efgh)=(a+eb+fc+gd+h)

is also a member of L⁠, which is true because it satisfies the criteria for membership in L⁠: (a+e)+ (b+f)− (c+g)+ (d+h)= (a+b−c+d)+ (e+f−g+h)= 0+ 0⁠. The verifications for conditions (2), (3), and (5) are similar to the ones in the first part of this exercise. For condition (4) note that the vector of zeroes is a member of L because its first component plus its second, minus its third, and plus its fourth, totals to zero.

Condition (6), closure of scalar multiplication, is similar: where the vector is an element of L⁠,

r(abcd)=(rarbrcrd)

is also an element of L because ra+ rb− rc+ rd= r(a+b−c+d)= r⋅0= 0⁠. The verification for conditions (7), (8), (9), and (10) are as in the prior item of this exercise.

Two.I.1.22 §I.1 source ↗

Show that each of these is not a vector space. (Hint. Check closure by listing two members of each set and trying some operations on them.)

(a)

Under the operations inherited from ℝ3⁠, this set

{(xyz)∈ℝ3|x+y+z=1}

(b)

Under the operations inherited from ℝ3⁠, this set

{(xyz)∈ℝ3|x2+y2+z2=1}

(c)

Under the usual matrix operations,

{(a1bc)|a,b,c∈ℝ}

(d)

Under the usual polynomial operations,

{a0+a1x+a2x2|a0,a1,a2∈ℝ+}

where ℝ+ is the set of reals greater than zero

(e)

Under the inherited operations,

{(xy)∈ℝ2|x+3y=4 and 2x−y=3 and 6x+4y=10}

Answer (6 parts)

In each item the set is called Q⁠. For some items, there are other correct ways to show that Q is not a vector space.

(a)

It is not closed under addition; it fails to meet condition (1).

(100),(010)∈Q(110)∉Q

(b)

It is not closed under addition.

(100),(010)∈Q(110)∉Q

(c)

It is not closed under addition.

(0100),(1100)∈Q(1200)∉Q

(d)

It is not closed under scalar multiplication.

1+1x+1x2∈Q−1⋅(1+1x+1x2)∉Q

(e)

It is empty, violating condition (4).

Two.I.1.23 §I.1 source ↗

Define addition and scalar multiplication operations to make the complex numbers a vector space over ℝ⁠.

Answer

The usual operations (v0+v1i)+ (w0+w1i)= (v0+w0)+ (v1+w1)i and r(v0+v1i)=(rv0)+(rv1)i suffice. The check is easy.

Two.I.1.24 §I.1 source ↗

Is the set of rational numbers a vector space over ℝ under the usual addition and scalar multiplication operations?

Answer

No, it is not closed under scalar multiplication since, e.g., π⋅(1) is not a rational number.

Two.I.1.25 §I.1 source ↗

Show that the set of linear combinations of the variables x,y,z is a vector space under the natural addition and scalar multiplication operations.

Answer

The natural operations are (v1x+v2y+v3z)+ (w1x+w2y+w3z)= (v1+w1)x+ (v2+w2)y+ (v3+w3)z and r⋅(v1x+v2y+v3z)= (rv1)x+ (rv2)y+ (rv3)z⁠. The check that this is a vector space is easy; use Example 1.4 as a guide.

Two.I.1.26 §I.1 source ↗

Prove that this is not a vector space: the set of two-tall column vectors with real entries subject to these operations.

(x1y1)+(x2y2)=(x1−x2y1−y2)r⋅(xy)=(rxry)

Answer

The ‘⁠+⁠’ operation is not commutative (that is, condition (2) is not met); producing two members of the set witnessing this assertion is easy.

Two.I.1.27 §I.1 source ↗

Prove or disprove that ℝ3 is a vector space under these operations.

(a)

(x1y1z1)+ (x2y2z2)= (000) and r(xyz)= (rxryrz)

(b)

(x1y1z1)+ (x2y2z2)= (000) and r(xyz)= (000)

Answer (2 parts)

(a)

It is not a vector space.

(1+1)⋅(100)≠(100)+(100)

(b)

It is not a vector space.

1⋅(100)≠(100)

Two.I.1.28 §I.1 source ↗

For each, decide if it is a vector space; the intended operations are the natural ones.

(a)

The diagonal 2×2 matrices

{(a00b)|a,b∈ℝ}

(b)

This set of 2×2 matrices

{(xx+yx+yy)|x,y∈ℝ}

(c)

This set

{(xyzw)∈ℝ4|x+y+z+w=1}

(d)

The set of functions {f:ℝ→ℝ|df/dx+2f=0}

(e)

The set of functions {f:ℝ→ℝ|df/dx+2f=1}

Answer (6 parts)

For each “yes” answer, you can just check a couple of linear combinations in the space. For each “no” answer, give a specific example of the failure of one of the conditions.

(a)

Yes. One linear combination picked out of the air is this.

2⋅(3004)+5⋅(6007)

The key point about the collection being a vector space is that the result is a diagonal matrix.

=(360043)

(b)

Yes. Here is a linear combination.

10⋅(1332)+11⋅(3774)

We look for the result to follow the form that the upper left and lower right entries add to make the upper right entry, and also the lower left.

=(4310710764)

(c)

No, this set is not closed under the natural addition operation. The vector of all 1/4⁠’s is a member of this set but when added to itself the result, the vector of all 1/2⁠’s, is a nonmember.

(d)

Yes.

(e)

No, f(x)=e−2x+(1/2) is in the set but 2⋅f is not (that is, condition (6) fails).

Two.I.1.29 §I.1 source ↗

Prove or disprove that this is a vector space: the real-valued functions f of one real variable such that f(7)=0⁠.

Answer

It is a vector space. Most conditions of the definition of vector space are routine; we here check only closure. For addition, (f1+f2)(7)= f1(7)+ f2(7)= 0+ 0= 0⁠. For scalar multiplication, (r⋅f)(7)=rf(7)=r0=0⁠.

Two.I.1.30 §I.1 source ↗

Show that the set ℝ+ of positive reals is a vector space when we interpret ‘⁠x+y⁠’ to mean the product of x and y (so that 2+3 is 6⁠), and we interpret ‘⁠r⋅x⁠’ as the r⁠-th power of x⁠.

Answer

We check Definition 1.1.

First, closure under ‘⁠+⁠’ holds because the product of two positive reals is a positive real. The second condition is satisfied because real multiplication commutes. Similarly, as real multiplication associates, the third checks. For the fourth condition, observe that multiplying a number by 1∈ℝ+ won’t change the number. Fifth, any positive real has a reciprocal that is a positive real.

The sixth, closure under ‘⁠⋅⁠’, holds because any power of a positive real is a positive real. The seventh condition is just the rule that vr+s equals the product of vr and vs⁠. The eight condition says that (vw)r=vrwr⁠. The ninth condition asserts that (vr)s=vrs⁠. The final condition says that v1=v⁠.

Two.I.1.31 §I.1 source ↗

Is {(x,y)|x,y∈ℝ} a vector space under these operations?

(a)

(x1,y1)+ (x2,y2)= (x1+x2,y1+y2) and r⋅(x,y)=(rx,y)

(b)

(x1,y1)+ (x2,y2)= (x1+x2,y1+y2) and r⋅(x,y)=(rx,0)

Answer (2 parts)

(a)

No: 1⋅(0,1)+ 1⋅(0,1)≠(1+1)⋅(0,1)⁠.

(b)

No; the same calculation as the prior answer shows a condition in the definition of a vector space that is violated. Another example of a violation of the conditions for a vector space is that 1⋅(0,1)≠(0,1)⁠.

Two.I.1.32 §I.1 source ↗

Prove or disprove that this is a vector space: the set of polynomials of degree greater than or equal to two, along with the zero polynomial.

Answer

It is not a vector space since it is not closed under addition, as (x2)+(1+x−x2) is not in the set.

Two.I.1.33 §I.1 source ↗

At this point “the same” is only an intuition, but nonetheless for each vector space identify the k for which the space is “the same” as ℝk⁠.

(a)

The 2×3 matrices under the usual operations

(b)

The n×m matrices (under their usual operations)

(c)

This set of 2×2 matrices

{(a0bc)|a,b,c∈ℝ}

(d)

This set of 2×2 matrices

{(a0bc)|a+b+c=0}

Answer (4 parts)

(a)

6

(b)

nm

(c)

3

(d)

To see that the answer is 2⁠, rewrite it as

{(a0b−a−b)|a,b∈ℝ}

so that there are two parameters.

Two.I.1.34 §I.1 source ↗

Using +→ to represent vector addition and ⋅→ for scalar multiplication, restate the definition of vector space.

Answer

A vector space (over ℝ⁠) consists of a set V along with two operations ‘⁠+→⁠’ and ‘⁠⋅→⁠’ subject to these conditions. Where v→,w→∈V⁠, (1) their vector sum v→+→w→ is an element of V⁠. If u→,v→,w→∈V then (2) v→+→w→=w→+→v→ and (3) (v→+→w→)+→u→= v→+→(w→+→u→)⁠. (4) There is a zero vector 0→∈V such that v→+→0→=v→ for all v→∈V⁠. (5) Each v→∈V has an additive inverse w→∈V such that w→+→v→=0→⁠. If r,s are scalars, that is, members of ℝ⁠), and v→,w→∈V then (6) each scalar multiple r⋅v→ is in V⁠. If r,s∈ℝ and v→,w→∈V then (7) (r+s)⋅v→=r⋅v→+→s⋅v→⁠, and (8) r⋅→(v→+w→)=r⋅→v→+r⋅→w→⁠, and (9) (rs)⋅→v→=r⋅→(s⋅→v→)⁠, and (10) 1⋅→v→=v→⁠.

Two.I.1.35 §I.1 source ↗

Prove these.

(a)

For any v→∈V⁠, if w→∈V is an additive inverse of v→⁠, then v→ is an additive inverse of w→⁠. So a vector is an additive inverse of any additive inverse of itself.

(b)

Vector addition left-cancels: if v→,s→,t→∈V then v→+s→=v→+t→ implies that s→=t→⁠.

Answer (2 parts)

(a)

Let V be a vector space, let v→∈V⁠, and assume that w→∈V is an additive inverse of v→ so that w→+v→=0→⁠. Because addition is commutative, 0→=w→+v→=v→+w→⁠, so therefore v→ is also the additive inverse of w→⁠.

(b)

Let V be a vector space and suppose v→,s→,t→∈V⁠. The additive inverse of v→ is −v→ so v→+s→=v→+t→ gives that −v→+v→+s→=−v→+v→+t→⁠, which says that 0→+s→=0→+t→ and so s→=t→⁠.

Two.I.1.36 §I.1 source ↗

The definition of vector spaces does not explicitly say that 0→+v→=v→ (it instead says that v→+0→=v→⁠). Show that it must nonetheless hold in any vector space.

Answer

Addition is commutative, so in any vector space, for any vector v→ we have that v→=v→+0→=0→+v→⁠.

Two.I.1.37 §I.1 source ↗

Prove or disprove that this is a vector space: the set of all matrices, under the usual operations.

Answer

It is not a vector space since addition of two matrices of unequal sizes is not defined, and thus the set fails to satisfy the closure condition.

Two.I.1.38 §I.1 source ↗

In a vector space every element has an additive inverse. Can some elements have two or more?

Answer

Each element of a vector space has one and only one additive inverse.

For, let V be a vector space and suppose that v→∈V⁠. If w→1,w→2∈V are both additive inverses of v→ then consider w→1+v→+w→2⁠. On the one hand, we have that it equals w→1+(v→+w→2)=w→1+0→=w→1⁠. On the other hand we have that it equals (w→1+v→)+w→2=0→+w→2=w→2⁠. Therefore, w→1=w→2⁠.

Two.I.1.39 §I.1 source ↗

(a)

Prove that every point, line, or plane through the origin in ℝ3 is a vector space under the inherited operations.

(b)

What if it doesn’t contain the origin?

Answer (2 parts)

(a)

Every such set has the form {r⋅v→+s⋅w→|r,s∈ℝ} where either or both of v→,w→ may be 0→⁠. With the inherited operations, closure of addition (r1v→+s1w→)+ (r2v→+s2w→)= (r1+r2)v→+ (s1+s2)w→ and scalar multiplication c(rv→+sw→)= (cr)v→+ (cs)w→ are easy. The other conditions are also routine.

(b)

No such set can be a vector space under the inherited operations because it does not have a zero element.

Two.I.1.40 §I.1 source ↗

Using the idea of a vector space we can easily reprove that the solution set of a homogeneous linear system has either one element or infinitely many elements. Assume that v→∈V is not 0→⁠.

(a)

Prove that r⋅v→=0→ if and only if r=0⁠.

(b)

Prove that r1⋅v→=r2⋅v→ if and only if r1=r2⁠.

(c)

Prove that any nontrivial vector space is infinite.

(d)

Use the fact that a nonempty solution set of a homogeneous linear system is a vector space to draw the conclusion.

Answer (5 parts)

Assume that v→∈V is not 0→⁠.

(a)

One direction of the if and only if is clear: if r=0 then r⋅v→=0→⁠. For the other way, let r be a nonzero scalar. If rv→=0→ then (1/r)⋅rv→=(1/r)⋅0→ shows that v→=0→⁠, contrary to the assumption.

(b)

Where r1,r2 are scalars, r1v→=r2v→ holds if and only if (r1−r2)v→=0→⁠. By the prior item, then r1−r2=0⁠.

(c)

A nontrivial space has a vector v→≠0→⁠. Consider the set {k⋅v→|k∈ℝ}⁠. By the prior item this set is infinite.

(d)

The solution set is either trivial, or nontrivial. In the second case, it is infinite.

Two.I.1.41 §I.1 source ↗

Is this a vector space under the natural operations: the real-valued functions of one real variable that are differentiable?

Answer

Yes. A theorem of first semester calculus says that a sum of differentiable functions is differentiable and that (f+g)′=f′+g′⁠, and that a multiple of a differentiable function is differentiable and that (r⋅f)′=rf′⁠.

Two.I.1.42 §I.1 source ↗

A vector space over the complex numbers ℂ has the same definition as a vector space over the reals except that scalars are drawn from ℂ instead of from ℝ⁠. Show that each of these is a vector space over the complex numbers. (Recall how complex numbers add and multiply: (a0+a1i)+ (b0+b1i)= (a0+b0)+ (a1+b1)i and (a0+a1i)(b0+b1i)= (a0b0−a1b1)+ (a0b1+a1b0)i⁠.)

(a)

The set of degree two polynomials with complex coefficients

(b)

This set

{(0ab0)|a,b∈ℂ and a+b=0+0i}

Answer (3 parts)

The check is routine. Note that ‘⁠1⁠’ is 1+0i and the zero elements are these.

(a)

(0+0i)+(0+0i)x+(0+0i)x2

(b)

(0+0i0+0i0+0i0+0i)

Two.I.1.43 §I.1 source ↗

Name a property shared by all of the ℝn⁠’s but not listed as a requirement for a vector space.

Answer

Notably absent from the definition of a vector space is a distance measure.

Two.I.1.44 §I.1 source ↗

(a)

Prove that for any four vectors v→1,…,v→4∈V we can associate their sum in any way without changing the result.

((v→1+v→2)+v→3)+v→4=(v→1+(v→2+v→3))+v→4=(v→1+v→2)+(v→3+v→4)=v→1+((v→2+v→3)+v→4)=v→1+(v→2+(v→3+v→4))

This allows us to write ‘⁠v→1+v→2+v→3+v→4⁠’ without ambiguity.

(b)

Prove that any two ways of associating a sum of any number of vectors give the same sum. (Hint. Use induction on the number of vectors.)

Answer (2 parts)

(a)

A small rearrangement does the trick.

(v→1+(v→2+v→3))+v→4=((v→1+v→2)+v→3)+v→4=(v→1+v→2)+(v→3+v→4)=v→1+(v→2+(v→3+v→4))=v→1+((v→2+v→3)+v→4)

Each equality above follows from the associativity of three vectors that is given as a condition in the definition of a vector space. For instance, the second ‘⁠=⁠’ applies the rule (w→1+w→2)+ w→3= w→1+ (w→2+w→3) by taking w→1 to be v→1+v→2⁠, taking w→2 to be v→3⁠, and taking w→3 to be v→4⁠.

(b)

The base case for induction is the three vector case. This case v→1+ (v→2+v→3)= (v→1+v→2)+ v→3 is one of the conditions in the definition of a vector space.

For the inductive step, assume that any two sums of three vectors, any two sums of four vectors, …, any two sums of k vectors are equal no matter how we parenthesize the sums. We will show that any sum of k+1 vectors equals this one ((⋯((v→1+ v→2)+ v→3)+ ⋯)+ v→k)+ v→k+1⁠.

Any parenthesized sum has an outermost ‘⁠+⁠’. Assume that it lies between v→m and v→m+1 so the sum looks like this.

(⋯v→1⋯v→m⋯)+(⋯v→m+1⋯v→k+1⋯)

The second half involves fewer than k+1 additions, so by the inductive hypothesis we can re-parenthesize it so that it reads left to right from the inside out, and in particular, so that its outermost ‘⁠+⁠’ occurs right before v→k+1⁠.

=(⋯v→1⋯v→m⋯)+((⋯(v→m+1+v→m+2)+⋯+v→k)+v→k+1)

Apply the associativity of the sum of three things

=((⋯v→1⋯v→m⋯)+(⋯(v→m+1+v→m+2)+⋯v→k))+v→k+1

and finish by applying the inductive hypothesis inside these outermost parenthesis.

Two.I.1.45 §I.1 source ↗

Example 1.5 gives a subset of ℝ2 that is not a vector space, under the obvious operations, because while it is closed under addition, it is not closed under scalar multiplication. Consider the set of vectors in the plane whose components have the same sign or are 0⁠. Show that this set is closed under scalar multiplication but not addition.

Answer

Let v→ be a member of ℝ2 with components v1 and v2⁠. We can abbreviate the condition that both components have the same sign or are 0 by v1v2≥0⁠.

To show the set is closed under scalar multiplication, observe that the components of rv→ satisfy (rv1)(rv2)=r2(v1v2) and r2≥0 so r2v1v2≥0⁠.

To show the set is not closed under addition we need only produce one example. The vector with components −1 and 0⁠, when added to the vector with components 0 and 1 makes a vector with mixed-sign components of −1 and 1⁠.

Two.I.2.20 §I.2 source ↗

Which of these subsets of the vector space of 2×2 matrices are subspaces under the inherited operations? For each one that is a subspace, parametrize its description. For each that is not, give a condition that fails.

(a)

{(a00b)|a,b∈ℝ}

(b)

{(a00b)|a+b=0}

(c)

{(a00b)|a+b=5}

(d)

{(ac0b)|a+b=0,c∈ℝ}

Answer (5 parts)

By Lemma 2.9, to see if each subset of ℳ2×2 is a subspace, we need only check if it is nonempty and closed.

(a)

Yes, we can easily check that it is nonempty and closed. This is a parametrization.

{a(1000)+b(0001)|a,b∈ℝ}

By the way, the parametrization also shows that it is a subspace, since it is given as the span of the two-matrix set, and any span is a subspace.

(b)

Yes; it is easily checked to be nonempty and closed. Alternatively, as mentioned in the prior answer, the existence of a parametrization shows that it is a subspace. For the parametrization, the condition a+b=0 can be rewritten as a=−b⁠. Then we have this.

{(−b00b)|b∈ℝ}={b(−1001)|b∈ℝ}

(c)

No. It is not closed under addition. For instance,

(5000)+(5000)=(10000)

is not in the set. (This set is also not closed under scalar multiplication, for instance, it does not contain the zero matrix.)

(d)

Yes.

{b(−1001)+c(0100)|b,c∈ℝ}

Two.I.2.21 §I.2 source ↗

Is this a subspace of 𝒫2⁠: {a0+ a1x+ a2x2|a0+ 2a1+ a2= 4}⁠? If it is then parametrize its description.

Answer

No, it is not closed. In particular, it is not closed under scalar multiplication because it does not contain the zero polynomial.

Two.I.2.22 §I.2 source ↗

Is the vector in the span of the set?

(103){(21−1),(1−11)}

Answer

The equation

(103)=c1(21−1)+c2(1−11)

gives rise to a linear system

(2111−10−113)⟶(1/2)ρ1+ρ3(−1/2)ρ1+ρ2(2110−3/2−1/2003)

that has no solution, so the vector is not in the span.

Two.I.2.23 §I.2 source ↗

Decide if the vector lies in the span of the set, inside of the space.

(a)

(201)⁠, {(100),(001)}⁠, in ℝ3

(b)

x−x3⁠, {x2,2x+x2,x+x3}⁠, in 𝒫3

(c)

(0142)⁠, {(1011),(2023)}⁠, in ℳ2×2

Answer (3 parts)

(a)

Yes, solving the linear system arising from

r1(100)+r2(001)=(201)

gives r1=2 and r2=1⁠.

(b)

Yes; the linear system arising from r1(x2)+ r2(2x+x2)+ r3(x+x3)= x− x3

2r2+r3=1r1+r2=0r3=−1

gives that − 1(x2)+ 1(2x+x2)− 1(x+x3)= x− x3⁠.

(c)

No; any combination of the two given matrices has a zero in the upper right.

Two.I.2.24 §I.2 source ↗

A superhero is at the origin of a two dimensional plane. The superhero has two devices, a hoverboard that moves any distance in the direction (31) and a magic carpet that moves any distance in the direction (12)⁠.

(a)

An evil villain is hiding out in the plane at the point (−5,7)⁠. How many hoverboard units and magic carpet units does the superhero have to move to get to the villain?

(b)

Is there anywhere in the plane that the villain could safely hide and not be reached? If so, give one such location. If not, explain why not.

(c)

The superhero and the villain are transported to a three dimensional space where the superhero now has three devices.

hoverboard: (−103)magic carpet: (210)scooter: (54−9)

Is there anywhere that the villain could safely hide? If so, give one such location and if not, explain why not.

Answer (3 parts)

(a)

This relationship

(−57)=a(31)+b(12)

gives this system of equations.

3a+b=−5a+2b=7⟶−(1/3)ρ1+ρ23a+b=−5(5/3)b=26/3

So b=26/5⁠. Substituting 3a+(26/5)=−5 gives a=−17/5⁠. In the terms of the section, the vector (−57) is in the span of the set of the other two.

(b)

There is no place to hide. This Gauss’s method reduction

3a+b=xa+2b=y⟶−(1/3)ρ1+ρ23a+b=x(5/3)b=−(1/3)x+y

shows that for any x,y∈ℝ there is a pair a,b∈ℝ⁠. In the terms of the section, the span of the two vectors is the entire plane.

(c)

No place to hide. Consider this system.

a(−103)+b(210)+c(54−9)=(xyz)

After reduction

−a+2b+5c=xb+4c=y3a−9c=z⟶3ρ1+ρ3−a+2b+5c=xb+4c=y6b+6c=3x+z⟶−6ρ2+ρ3−a+2b+5c=xb+4c=y−18c=3x+−6y+z

it shows that for any x,y,z∈ℝ the required a⁠, b⁠, and c exist. The superhero’s devices span the plane.

Two.I.2.25 §I.2 source ↗

Which of these are members of the span [{cos2⁡x,sin2⁡x}] in the vector space of real-valued functions of one real variable?

(a)

f(x)=1

(b)

f(x)=3+x2

(c)

f(x)=sin⁡x

(d)

f(x)=cos⁡(2x)

Answer (4 parts)

(a)

Yes; it is in that span since 1⋅cos2⁡x+1⋅sin2⁡x=f(x)⁠.

(b)

No, since r1cos2⁡x+r2sin2⁡x=3+x2 has no scalar solutions that work for all x⁠. For instance, setting x to be 0 and π gives the two equations r1⋅1+r2⋅0=3 and r1⋅1+r2⋅0=3+π2⁠, which are not consistent with each other.

(c)

No; consider what happens on setting x to be π/2 and 3π/2⁠.

(d)

Yes, cos⁡(2x)= 1⋅cos2⁡(x)− 1⋅sin2⁡(x)⁠.

Two.I.2.26 §I.2 source ↗

Which of these sets spans ℝ3⁠? That is, which of these sets has the property that any three-tall vector can be expressed as a suitable linear combination of the set’s elements?

(a)

{(100),(020),(003)}

(b)

{(201),(110),(001)}

(c)

{(110),(300)}

(d)

{(101), (310), (−100), (215)}

(e)

{(211), (301), (512), (602)}

Answer (5 parts)

(a)

Yes, for any x,y,z∈ℝ this equation

r1(100)+r2(020)+r3(003)=(xyz)

has the solution r1=x⁠, r2=y/2⁠, and r3=z/3⁠.

(b)

Yes, the equation

r1(201)+r2(110)+r3(001)=(xyz)

gives rise to this

2r1+r2=xr2=yr1+r3=z⟶−(1/2)ρ1+ρ3⟶(1/2)ρ2+ρ32r1+r2=xr2=yr3=−(1/2)x+(1/2)y+z

so that, given any x⁠, y⁠, and z⁠, we can compute that r3=(−1/2)x+(1/2)y+z⁠, r2=y⁠, and r1=(1/2)x−(1/2)y⁠.

(c)

No. In particular, we cannot get the vector

(001)

as a linear combination since the two given vectors both have a third component of zero.

(d)

Yes. The equation

r1(101)+r2(310)+r3(−100)+r4(215)=(xyz)

leads to this reduction.

(13−12x0101y1005z)⟶−ρ1+ρ3⟶3ρ2+ρ3(13−12x0101y0016−x+3y+z)

We have infinitely many solutions. We can, for example, set r4 to be zero and solve for r3⁠, r2⁠, and r1 in terms of x⁠, y⁠, and z by the usual methods of back-substitution.

(e)

No. The equation

r1(211)+r2(301)+r3(512)+r4(602)=(xyz)

leads to this reduction.

(2356x1010y1122z)⟶−(1/2)ρ1+ρ3−(1/2)ρ1+ρ2⟶−(1/3)ρ2+ρ3(2356x0−3/2−3/2−3−(1/2)x+y0000−(1/3)x−(1/3)y+z)

This shows that not every three-tall vector can be so expressed. Only the vectors satisfying the restriction that −(1/3)x−(1/3)y+z=0 are in the span. (To see that any such vector is indeed expressible, take r3 and r4 to be zero and solve for r1 and r2 in terms of x⁠, y⁠, and z by back-substitution.)

Two.I.2.27 §I.2 source ↗

Parametrize each subspace’s description. Then express each subspace as a span.

(a)

The subset {(abc)|a−c=0} of the three-wide row vectors

(b)

This subset of ℳ2×2

{(abcd)|a+d=0}

(c)

This subset of ℳ2×2

{(abcd)|2a−c−d=0 and a+3b=0}

(d)

The subset {a+bx+cx3|a−2b+c=0} of 𝒫3

(e)

The subset of 𝒫2 of quadratic polynomials p such that p(7)=0

Answer (5 parts)

(a)

{(cbc)|b,c∈ℝ}= {b(010)+c(101)|b,c∈ℝ} The obvious choice for the set that spans is {(010),(101)}⁠.

(b)

{(−dbcd)|b,c,d∈ℝ}= {b(0100)+ c(0010)+ d(−1001)|b, c, d∈ℝ} One set that spans this space consists of those three matrices.

(c)

The system

a+3b=02a−c−d=0

gives b=−(c+d)/6 and a=(c+d)/2⁠. So one description is this.

{c(1/2−1/610)+d(1/2−1/601)|c,d∈ℝ}

That shows that a set spanning this subspace consists of those two matrices.

(d)

The a=2b−c gives that the set {(2b−c)+bx+cx3|b,c∈ℝ} equals the set {b(2+x)+c(−1+x3)|b,c∈ℝ}⁠. So the subspace is the span of the set {2+x,−1+x3}⁠.

(e)

The set {a+bx+cx2|a+7b+49c=0} can be parametrized as

{b(−7+x)+c(−49+x2)|b,c∈ℝ}

and so has the spanning set {−7+x,−49+x2}⁠.

Two.I.2.28 §I.2 source ↗

Find a set to span the given subspace of the given space. (Hint. Parametrize each.)

(a)

the xz⁠-plane in ℝ3

(b)

{(xyz)|3x+2y+z=0} in ℝ3

(c)

{(xyzw)|2x+ y+ w= 0 and y+ 2z= 0} in ℝ4

(d)

{a0+ a1x+ a2x2+ a3x3|a0+ a1= 0 and a2− a3= 0} in 𝒫3

(e)

The set 𝒫4 in the space 𝒫4

(f)

ℳ2×2 in ℳ2×2

Answer (6 parts)

(a)

We can parametrize in this way

{(x0z)|x,z∈ℝ}={x(100)+z(001)|x,z∈ℝ}

giving this for a spanning set.

{(100),(001)}

(b)

Here is a parametrization, and the associated spanning set.

{y(−2/310)+z(−1/301)|y,z∈ℝ}{(−2/310),(−1/301)}

(c)

{(1−210),(−1/2001)}

(d)

Parametrize the description as {− a1+ a1x+ a3x2+ a3x3|a1, a3∈ℝ} to get {−1+x,x2+x3}.

(e)

{1,x,x2,x3,x4}

(f)

{(1000), (0100), (0010), (0001)}

Two.I.2.29 §I.2 source ↗

Is ℝ2 a subspace of ℝ3⁠?

Answer

Technically, no. Subspaces of ℝ3 are sets of three-tall vectors, while ℝ2 is a set of two-tall vectors. Clearly though, ℝ2 is “just like” this subspace of ℝ3⁠.

{(xy0)|x,y∈ℝ}

Two.I.2.30 §I.2 source ↗

Decide if each is a subspace of the vector space of real-valued functions of one real variable.

(a)

The even functions {f:ℝ→ ℝ|f(− x)= f(x) for all x}⁠. For example, two members of this set are f1(x)=x2 and f2(x)=cos⁡(x)⁠.

(b)

The odd functions {f:ℝ→ ℝ|f(− x)= − f(x) for all x}⁠. Two members are f3(x)=x3 and f4(x)=sin⁡(x)⁠.

Answer (3 parts)

Of course, the addition and scalar multiplication operations are the ones inherited from the enclosing space.

(a)

This is a subspace. It is not empty as it contains at least the two example functions given. It is closed because if f1,f2 are even and c1,c2 are scalars then we have this.

(c1f1+c2f2)(−x)=c1f1(−x)+c2f2(−x)=c1f1(x)+c2f2(x)=(c1f1+c2f2)(x)

(b)

This is also a subspace; the check is similar to the prior one.

Two.I.2.31 §I.2 source ↗

Example 2.16 says that for any vector v→ that is an element of a vector space V⁠, the set {r⋅v→|r∈ℝ} is a subspace of V⁠. (This is simply the span of the singleton set {v→}⁠.) Must any such subspace be a proper subspace?

Answer

It can be improper. For instance, if the vector space is ℝ1 and v→≠0→ then the subspace {r⋅v→|r∈ℝ} is all of ℝ1⁠.

Two.I.2.32 §I.2 source ↗

An example following the definition of a vector space shows that the solution set of a homogeneous linear system is a vector space. In the terminology of this subsection, it is a subspace of ℝn where the system has n variables. What about a non-homogeneous linear system; do its solutions form a subspace (under the inherited operations)?

Answer

No, such a set is not closed. For one thing, it does not contain the zero vector.

Two.I.2.33 §I.2 source ↗

[Cleary] Give an example of each or explain why it would be impossible to do so.

(a)

A nonempty subset of ℳ2×2 that is not a subspace.

(b)

A set of two vectors in ℝ2 that does not span the space.

Answer (2 parts)

(a)

This nonempty subset of ℳ2×2 is not a subspace.

A={(1234),(5678)}

One reason that it is not a subspace of ℳ2×2 is that it does not contain the zero matrix. (Another reason is that it is not closed under addition, since the sum of the two is not an element of A⁠. It is also not closed under scalar multiplication.)

(b)

This set of two vectors does not span ℝ2⁠.

{(11),(33)}

No linear combination of these two can give a vector whose second component is unequal to its first component.

Two.I.2.34 §I.2 source ↗

Example 2.19 shows that ℝ3 has infinitely many subspaces. Does every nontrivial space have infinitely many subspaces?

Answer

No. The only subspaces of ℝ1 are the space itself and its trivial subspace. Any subspace S of ℝ that contains a nonzero member v→ must contain the set of all of its scalar multiples {r⋅v→|r∈ℝ}⁠. But this set is all of ℝ⁠.

Two.I.2.35 §I.2 source ↗

Finish the proof of Lemma 2.9.

Answer

Item (1) is checked in the text.

Item (2) has five conditions. First, for closure, if c∈ℝ and s→∈S then c⋅s→∈S as c⋅s→=c⋅s→+0⋅0→⁠. Second, because the operations in S are inherited from V⁠, for c,d∈ℝ and s→∈S⁠, the scalar product (c+d)⋅s→ in S equals the product (c+d)⋅s→ in V⁠, and that equals c⋅s→+d⋅s→ in V⁠, which equals c⋅s→+d⋅s→ in S⁠.

The check for the third, fourth, and fifth conditions are similar to the second condition’s check just given.

Two.I.2.36 §I.2 source ↗

Show that each vector space has only one trivial subspace.

Answer

An exercise in the prior subsection shows that every vector space has only one zero vector (that is, there is only one vector that is the additive identity element of the space). But a trivial space has only one element and that element must be this (unique) zero vector.

Two.I.2.37 §I.2 source ↗

Show that for any subset S of a vector space, the span of the span equals the span [[S]]=[S]⁠. (Hint. Members of [S] are linear combinations of members of S⁠. Members of [[S]] are linear combinations of linear combinations of members of S⁠.)

Answer

As the hint suggests, the basic reason is the Linear Combination Lemma from the first chapter. For the full proof, we will show mutual containment between the two sets.

The first containment [[S]]⊇[S] is an instance of the more general, and obvious, fact that for any subset T of a vector space, [T]⊇T⁠.

For the other containment, that [[S]]⊆[S]⁠, take m vectors from [S]⁠, namely c1,1s→1,1+⋯+c1,n1s→1,n1⁠, …, c1,ms→1,m+⋯+c1,nms→1,nm⁠, and note that any linear combination of those

r1(c1,1s→1,1+⋯+c1,n1s→1,n1)+⋯+rm(c1,ms→1,m+⋯+c1,nms→1,nm)

is a linear combination of elements of S

=(r1c1,1)s→1,1+⋯+(r1c1,n1)s→1,n1+⋯+(rmc1,m)s→1,m+⋯+(rmc1,nm)s→1,nm

and so is in [S]⁠. That is, simply recall that a linear combination of linear combinations (of members of S⁠) is a linear combination (again of members of S⁠).

Two.I.2.38 §I.2 source ↗

All of the subspaces that we’ve seen in some way use zero in their description. For example, the subspace in Example 2.3 consists of all the vectors from ℝ2 with a second component of zero. In contrast, the collection of vectors from ℝ2 with a second component of one does not form a subspace (it is not closed under scalar multiplication). Another example is Example 2.2, where the condition on the vectors is that the three components add to zero. If the condition there were that the three components add to one then it would not be a subspace (again, it would fail to be closed). However, a reliance on zero is not strictly necessary. Consider the set

{(xyz)|x+y+z=1}

under these operations.

(x1y1z1)+(x2y2z2)=(x1+x2−1y1+y2z1+z2)r(xyz)=(rx−r+1ryrz)

(a)

Show that it is not a subspace of ℝ3⁠. (Hint. See Example 2.7).

(b)

Show that it is a vector space. Note that by the prior item, Lemma 2.9 can not apply.

(c)

Show that any subspace of ℝ3 must pass through the origin, and so any subspace of ℝ3 must involve zero in its description. Does the converse hold? Does any subset of ℝ3 that contains the origin become a subspace when given the inherited operations?

Answer (3 parts)

(a)

It is not a subspace because these are not the inherited operations. For one thing, in this space,

0⋅(xyz)=(100)

while this does not, of course, hold in ℝ3⁠.

(b)

We can combine the argument showing closure under addition with the argument showing closure under scalar multiplication into one single argument showing closure under linear combinations of two vectors. If r1,r2,x1,x2,y1,y2,z1,z2 are in ℝ then

r1(x1y1z1)+r2(x2y2z2)=(r1x1−r1+1r1y1r1z1)+(r2x2−r2+1r2y2r2z2)=(r1x1−r1+r2x2−r2+1r1y1+r2y2r1z1+r2z2)

(note that the definition of addition in this space is that the first components combine as (r1x1−r1+1)+ (r2x2−r2+1)− 1⁠, so the first component of the last vector does not say ‘⁠+2⁠’). Adding the three components of the last vector gives r1(x1−1+y1+z1)+ r2(x2−1+y2+z2)+ 1= r1⋅0+ r2⋅0+ 1= 1⁠.

Most of the other checks of the conditions are easy (although the oddness of the operations keeps them from being routine). Commutativity of addition goes like this.

(x1y1z1)+(x2y2z2)=(x1+x2−1y1+y2z1+z2)=(x2+x1−1y2+y1z2+z1)=(x2y2z2)+(x1y1z1)

Associativity of addition has

((x1y1z1)+(x2y2z2))+(x3y3z3)=((x1+x2−1)+x3−1(y1+y2)+y3(z1+z2)+z3)

while

(x1y1z1)+((x2y2z2)+(x3y3z3))=(x1+(x2+x3−1)−1y1+(y2+y3)z1+(z2+z3))

and they are equal. The identity element with respect to this addition operation works this way

(xyz)+(100)=(x+1−1y+0z+0)=(xyz)

and the additive inverse is similar.

(xyz)+(−x+2−y−z)=(x+(−x+2)−1y−yz−z)=(100)

The conditions on scalar multiplication are also easy. For the first condition,

(r+s)(xyz)=((r+s)x−(r+s)+1(r+s)y(r+s)z)

while

r(xyz)+s(xyz)=(rx−r+1ryrz)+(sx−s+1sysz)=((rx−r+1)+(sx−s+1)−1ry+syrz+sz)

and the two are equal. The second condition compares

r⋅((x1y1z1)+(x2y2z2))=r⋅(x1+x2−1y1+y2z1+z2)=(r(x1+x2−1)−r+1r(y1+y2)r(z1+z2))

with

r(x1y1z1)+r(x2y2z2)=(rx1−r+1ry1rz1)+(rx2−r+1ry2rz2)=((rx1−r+1)+(rx2−r+1)−1ry1+ry2rz1+rz2)

and they are equal. For the third condition,

(rs)(xyz)=(rsx−rs+1rsyrsz)

while

r(s(xyz))=r((sx−s+1sysz))=(r(sx−s+1)−r+1rsyrsz)

and the two are equal. For scalar multiplication by 1 we have this.

1⋅(xyz)=(1x−1+11y1z)=(xyz)

Thus all the conditions on a vector space are met by these two operations.

Remark. A way to understand this vector space is to think of it as the plane in ℝ3

P={(xyz)|x+y+z=0}

displaced away from the origin by 1 along the x⁠-axis. Then addition becomes: to add two members of this space,

(x1y1z1),(x2y2z2)

(such that x1+y1+z1=1 and x2+y2+z2=1⁠) move them back by 1 to place them in P and add as usual,

(x1−1y1z1)+(x2−1y2z2)=(x1+x2−2y1+y2z1+z2)(in P)

and then move the result back out by 1 along the x⁠-axis.

(x1+x2−1y1+y2z1+z2).

Scalar multiplication is similar.

(c)

For the subspace to be closed under the inherited scalar multiplication, where v→ is a member of that subspace,

0⋅v→=(000)

must also be a member.

The converse does not hold. Here is a subset of ℝ3 that contains the origin

{(000),(100)}

(this subset has only two elements) but is not a subspace.

Two.I.2.39 §I.2 source ↗

We can give a justification for the convention that the sum of zero-many vectors equals the zero vector. Consider this sum of three vectors v→1+v→2+v→3⁠.

(a)

What is the difference between this sum of three vectors and the sum of the first two of these three?

(b)

What is the difference between the prior sum and the sum of just the first one vector?

(c)

What should be the difference between the prior sum of one vector and the sum of no vectors?

(d)

So what should be the definition of the sum of no vectors?

Answer (4 parts)

(a)

(v→1+v→2+v→3)− (v→1+v→2)= v→3

(b)

(v→1+v→2)−(v→1)=v→2

(c)

Surely, v→1⁠.

(d)

Taking the one-long sum and subtracting gives (v→1)−v→1=0→⁠.

Two.I.2.40 §I.2 source ↗

Is a space determined by its subspaces? That is, if two vector spaces have the same subspaces, must the two be equal?

Answer

Yes; any space is a subspace of itself, so each space contains the other.

Two.I.2.41 §I.2 source ↗

(a)

Give a set that is closed under scalar multiplication but not addition.

(b)

Give a set closed under addition but not scalar multiplication.

(c)

Give a set closed under neither.

Answer (3 parts)

(a)

The union of the x⁠-axis and the y⁠-axis in ℝ2 is one.

(b)

The set of integers, as a subset of ℝ1⁠, is one.

(c)

The subset {v→} of ℝ2 is one, where v→ is any nonzero vector.

Two.I.2.42 §I.2 source ↗

Show that the span of a set of vectors does not depend on the order in which the vectors are listed in that set.

Answer

Because vector space addition is commutative, a reordering of summands leaves a linear combination unchanged.

Two.I.2.43 §I.2 source ↗

Which trivial subspace is the span of the empty set? Is it

{(000)}⊆ℝ3,or{0+0x}⊆𝒫1,

or some other subspace?

Answer

We always consider that span in the context of an enclosing space.

Two.I.2.44 §I.2 source ↗

Show that if a vector is in the span of a set then adding that vector to the set won’t make the span any bigger. Is that also ‘only if’?

Answer

It is both ‘if’ and ‘only if’.

For ‘if’, let S be a subset of a vector space V and assume v→∈S satisfies v→=c1s→1+⋯+cns→n where c1,…,cn are scalars and s→1,…,s→n∈S⁠. We must show that [S∪{v→}]=[S]⁠.

Containment one way, [S]⊆[S∪{v→}] is obvious. For the other direction, [S∪{v→}]⊆[S]⁠, note that if a vector is in the set on the left then it has the form d0v→+d1t→1+⋯+dmt→m where the d⁠’s are scalars and the t→⁠’s are in S⁠. Rewrite that as d0(c1s→1+⋯+cns→n)+ d1t→1+ ⋯+ dmt→m and note that the result is a member of the span of S⁠.

The ‘only if’ is clearly true — adding v→ enlarges the span to include at least v→⁠.

Two.I.2.45 §I.2 source ↗

Subspaces are subsets and so we naturally consider how ‘is a subspace of’ interacts with the usual set operations.

(a)

If A,B are subspaces of a vector space, must their intersection A∩B be a subspace? Always? Sometimes? Never?

(b)

Must the union A∪B be a subspace?

(c)

If A is a subspace of some V⁠, must its set complement V−A be a subspace?

(Hint. Try some test subspaces from Example 2.19.)

Answer (3 parts)

(a)

Always.

Assume that A,B are subspaces of V⁠. Note that their intersection is not empty as both contain the zero vector. If w→,s→∈A∩B and r,s are scalars then rv→+sw→∈A because each vector is in A and so a linear combination is in A⁠, and rv→+sw→∈B for the same reason. Thus the intersection is closed. Now Lemma 2.9 applies.

(b)

Sometimes (more precisely, only if A⊆B or B⊆A⁠).

To see the answer is not ‘always’, take V to be ℝ3⁠, take A to be the x⁠-axis, and B to be the y⁠-axis. Note that

(10)∈A and (01)∈Bbut(10)+(01)∉A∪B

as the sum is in neither A nor B⁠.

The answer is not ‘never’ because if A⊆B or B⊆A then clearly A∪B is a subspace.

To show that A∪B is a subspace only if one subspace contains the other, we assume that A⊈B and B⊈A and prove that the union is not a subspace. The assumption that A is not a subset of B means that there is an a→∈A with a→∉B⁠. The other assumption gives a b→∈B with b→∉A⁠. Consider a→+b→⁠. Note that sum is not an element of A or else (a→+b→)−a→ would be in A⁠, which it is not. Similarly the sum is not an element of B⁠. Hence the sum is not an element of A∪B⁠, and so the union is not a subspace.

(c)

Never. As A is a subspace it contains the zero vector and therefore the set that is A⁠’s complement, V−A⁠, does not. Without the zero vector, the complement cannot be a vector space.

Two.I.2.46 §I.2 source ↗

Does the span of a set depend on the enclosing space? That is, if W is a subspace of V and S is a subset of W (and so also a subset of V⁠), might the span of S in W differ from the span of S in V⁠?

Answer

The span of a set does not depend on the enclosing space. A linear combination of vectors from S gives the same sum whether we regard the operations as those of W or as those of V⁠, because the operations of W are inherited from V⁠.

Two.I.2.47 §I.2 source ↗

Is the relation ‘is a subspace of’ transitive? That is, if V is a subspace of W and W is a subspace of X⁠, must V be a subspace of X⁠?

Answer

It is; apply Lemma 2.9. (You must consider the following. Suppose B is a subspace of a vector space V and suppose A⊆B⊆V is a subspace. From which space does A inherit its operations? The answer is that it doesn’t matter — A will inherit the same operations in either case.)

Two.I.2.48 §I.2 source ↗

Because ‘span of’ is an operation on sets we naturally consider how it interacts with the usual set operations.

(a)

If S⊆T are subsets of a vector space, is [S]⊆[T]⁠? Always? Sometimes? Never?

(b)

If S,T are subsets of a vector space, is [S∪T]=[S]∪[T]⁠?

(c)

If S,T are subsets of a vector space, is [S∩T]=[S]∩[T]⁠?

(d)

Is the span of the complement equal to the complement of the span?

Answer (4 parts)

(a)

Always; if S⊆T then a linear combination of elements of S is also a linear combination of elements of T⁠.

(b)

Sometimes (more precisely, if and only if S⊆T or T⊆S⁠).

The answer is not ‘always’ as is shown by this example from ℝ3

S={(100),(010)},T={(100),(001)}

because of this.

(111)∈[S∪T](111)∉[S]∪[T]

The answer is not ‘never’ because if either set contains the other then equality is clear. We can characterize equality as happening only when either set contains the other by assuming S⊈T (implying the existence of a vector s→∈S with s→∉T⁠) and T⊈S (giving a t→∈T with t→∉S⁠), noting s→+t→∈[S∪T]⁠, and showing that s→+t→∉[S]∪[T]⁠.

(c)

Sometimes.

Clearly [S∩T]⊆[S]∩[T] because any linear combination of vectors from S∩T is a combination of vectors from S and also a combination of vectors from T⁠.

Containment the other way does not always hold. For instance, in ℝ2⁠, take

S={(10),(01)},T={(20)}

so that [S]∩[T] is the x⁠-axis but [S∩T] is the trivial subspace.

Characterizing exactly when equality holds is tough. Clearly equality holds if either set contains the other, but that is not ‘only if’ by this example in ℝ3⁠.

S={(100),(010)},T={(100),(001)}

(d)

Never, as the span of the complement is a subspace, while the complement of the span is not (it does not contain the zero vector).

Two.I.2.49 §I.2 source ↗

Find a structure that is closed under linear combinations, and yet is not a vector space.

Answer

For this to happen, one of the conditions giving the sensibleness of the addition and scalar multiplication operations must be violated. Consider ℝ2 with these operations.

(x1y1)+(x2y2)=(00)r(xy)=(00)

The set ℝ2 is closed under these operations. But it is not a vector space.

1⋅(11)≠(11)

Two.II.1.21 §II.1 source ↗

Decide whether each subset of ℝ3 is linearly dependent or linearly independent.

(a)

{(1−35),(224),(4−414)}

(b)

{(177),(277),(377)}

(c)

{(00−1),(104)}

(d)

{(990), (201), (35−4), (1212−1)}

Answer (5 parts)

For each of these, when the subset is independent you must prove it, and when the subset is dependent you must give an example of a dependence.

(a)

It is dependent. Considering

c1(1−35)+c2(224)+c3(4−414)=(000)

gives this linear system.

c1+2c2+4c3=0−3c1+2c2−4c3=05c1+4c2+14c3=0

Gauss’s Method

(1240−32−4054140)⟶−5ρ1+ρ33ρ1+ρ2⟶(3/4)ρ2+ρ3(124008800000)

yields a free variable, so there are infinitely many solutions. For an example of a particular dependence we can set c3 to be, say, 1⁠. Then we get c2=−1 and c1=−2⁠.

(b)

It is dependent. The linear system that arises here

(123077707770)⟶−7ρ1+ρ3−7ρ1+ρ2⟶−ρ2+ρ3(12300−7−1400000)

has infinitely many solutions. We can get a particular solution by taking c3 to be, say, 1⁠, and back-substituting to get the resulting c2 and c1⁠.

(c)

It is linearly independent. The system

(010000−140)⟶ρ1↔ρ2⟶ρ3↔ρ1(−140010000)

has only the solution c1=0 and c2=0⁠. (We could also have gotten the answer by inspection — the second vector is obviously not a multiple of the first, and vice versa.)

(d)

It is linearly dependent. The linear system

(92312090512001−4−10)

has more unknowns than equations, and so Gauss’s Method must end with at least one variable free (there can’t be a contradictory equation because the system is homogeneous, and so has at least the solution of all zeroes). To exhibit a combination, we can do the reduction

⟶−ρ1+ρ2⟶(1/2)ρ2+ρ3(9231200−220000−3−10)

and take, say, c4=1⁠. Then we have that c3=−1/3⁠, c2=−1/3⁠, and c1=−31/27⁠.

Two.II.1.22 §II.1 source ↗

Which of these subsets of 𝒫3 are linearly dependent and which are independent?

(a)

{3− x+ 9x2, 5− 6x+ 3x2, 1+ 1x− 5x2}

(b)

{−x2,1+4x2}

(c)

{2+x+7x2,3−x+2x2,4−3x2}

(d)

{8+ 3x+ 3x2, x+ 2x2, 2+ 2x+ 2x2, 8− 2x+ 5x2}

Answer (5 parts)

In the cases of independence, you must prove that it is independent. Otherwise, you must exhibit a dependence. (Here we give a specific dependence but others are possible.)

(a)

This set is independent. Setting up the relation c1(3−x+9x2)+ c2(5−6x+3x2)+ c3(1+1x−5x2)= 0+ 0x+ 0x2 gives a linear system

(3510−1−61093−50)⟶−3ρ1+ρ3(1/3)ρ1+ρ2⟶3ρ2⟶−(12/13)ρ2+ρ3(35100−134000−128/130)

with only one solution: c1=0⁠, c2=0⁠, and c3=0⁠.

(b)

This set is independent. We can see this by inspection, straight from the definition of linear independence. Obviously neither is a multiple of the other.

(c)

This set is linearly independent. The linear system reduces in this way

(23401−10072−30)⟶−(7/2)ρ1+ρ3−(1/2)ρ1+ρ2⟶−(17/5)ρ2+ρ3(23400−5/2−2000−51/50)

to show that there is only the solution c1=0⁠, c2=0⁠, and c3=0⁠.

(d)

This set is linearly dependent. The linear system

(80280312−2032250)

must, after reduction, end with at least one variable free (there are more variables than equations, and there is no possibility of a contradictory equation because the system is homogeneous). We can take the free variables as parameters to describe the solution set. We can then set the parameter to a nonzero value to get a nontrivial linear relation.

Two.II.1.23 §II.1 source ↗

Determine if each set is linearly independent in the natural space.

(a)

{(120),(−110)}

(b)

{(131),(−143),(−1117)}

(c)

{(5412),(0000),(10−14)}

Answer (3 parts)

(a)

The natural vector space is ℝ3⁠. Set up the equation

(000)=c1(120)+c2(−110)

and consider the resulting homogeneous system.

(1−10210000)⟶−2ρ1+ρ2(1−10030000)

This has the unique solution, that c1=0⁠, c2=0⁠. So it is linearly independent.

(b)

The natural vector space is the set of three-wide row vectors. The equation

(000)=c1(131)+c2(−143)+c3(−1117)

gives rise to a linear system

(1−1−10341101370)⟶−ρ1+ρ3−3ρ1+ρ2(1−1−10071400480)⟶(4/7)ρ2+ρ3(1−1−10071400000)

with infinitely many solutions, that is, more than just the trivial solution.

{(c1c2c3)=(−1−21)c3|c3∈ℝ}

So the set is linearly dependent. One dependence comes from setting c3=2⁠, giving c1=−2 and c2=−4⁠.

(c)

Without having to set up a system we can see that the second element of the set is a multiple of the first (namely, 0 times the first).

Two.II.1.24 §II.1 source ↗

Prove that each set {f,g} is linearly independent in the vector space of all functions from ℝ+ to ℝ⁠.

(a)

f(x)=x and g(x)=1/x

(b)

f(x)=cos⁡(x) and g(x)=sin⁡(x)

(c)

f(x)=ex and g(x)=ln⁡(x)

Answer (4 parts)

Let Z:ℝ+→ℝ be the zero function Z(x)=0⁠, which is the additive identity in the vector space under discussion.

(a)

This set is linearly independent. Consider c1⋅f(x)+c2⋅g(x)=Z(x)⁠. Plugging in x=1 and x=2 gives a linear system

c1⋅1+c2⋅1=0c1⋅2+c2⋅(1/2)=0

with the unique solution c1=0⁠, c2=0⁠.

(b)

This set is linearly independent. Consider c1⋅f(x)+c2⋅g(x)=Z(x) and plug in x=π and x=π/2 to get

c1⋅(−1)+c2⋅0=0c1⋅0+c2⋅1=0

which obviously gives c1=0⁠, c2=0⁠.

(c)

This set is also linearly independent. Considering c1⋅f(x)+c2⋅g(x)=Z(x) and plugging in x=1 and x=e

c1⋅e+c2⋅0=0c1⋅ee+c2⋅1=0

gives that c1=0 and c2=0⁠.

Two.II.1.25 §II.1 source ↗

Which of these subsets of the space of real-valued functions of one real variable is linearly dependent and which is linearly independent? (We have abbreviated some constant functions; e.g., in the first item, the ‘⁠2⁠’ stands for the constant function f(x)=2⁠.)

(a)

{2,4sin2⁡(x),cos2⁡(x)}

(b)

{1,sin⁡(x),sin⁡(2x)}

(c)

{x,cos⁡(x)}

(d)

{(1+x)2,x2+2x,3}

(e)

{cos⁡(2x), sin2⁡(x), cos2⁡(x)}

(f)

{0,x,x2}

Answer (7 parts)

In each case, if the set is independent then you must prove that and if it is dependent then you must exhibit a dependence.

(a)

This set is dependent. The familiar relation sin2⁡(x)+cos2⁡(x)=1 shows that 2= c1⋅(4sin2⁡(x))+ c2⋅(cos2⁡(x)) is satisfied by c1=1/2 and c2=2⁠.

(b)

This set is independent. Consider the relationship c1⋅1+ c2⋅sin⁡(x)+ c3⋅sin⁡(2x)= 0 (that ‘⁠0⁠’ is the zero function). Taking three suitable points such as x=π⁠, x=π/2⁠, x=π/4 gives a system

c1=0c1+c2=0c1+(2/2)c2+c3=0

whose only solution is c1=0⁠, c2=0⁠, and c3=0⁠.

(c)

By inspection, this set is independent. Any dependence cos⁡(x)=c⋅x is not possible since the cosine function is not a multiple of the identity function (we are applying Corollary 1.19).

(d)

By inspection, we spot that there is a dependence. Because (1+x)2=x2+2x+1⁠, we get that c1⋅(1+x)2+c2⋅(x2+2x)=3 is satisfied by c1=3 and c2=−3⁠.

(e)

This set is dependent. The easiest way to see that is to recall the trigonometric relationship cos2⁡(x)− sin2⁡(x)= cos⁡(2x)⁠. (Remark. A person who doesn’t recall this, and tries some x⁠’s, simply never gets a system leading to a unique solution, and never gets to conclude that the set is independent. Of course, this person might wonder if they simply never tried the right set of x⁠’s, but a few tries will lead most people to look instead for a dependence.)

(f)

This set is dependent, because it contains the zero object in the vector space, the zero polynomial.

Two.II.1.26 §II.1 source ↗

Does the equation sin2⁡(x)/cos2⁡(x)= tan2⁡(x) show that this set of functions {sin2⁡(x), cos2⁡(x), tan2⁡(x)} is a linearly dependent subset of the set of all real-valued functions with domain the interval (−π/2..π/2) of real numbers between −π/2 and π/2)⁠?

Answer

No, that equation is not a linear relationship. In fact this set is independent, as the system arising from taking x to be 0⁠, π/6 and π/4 shows.

Two.II.1.27 §II.1 source ↗

Is the xy⁠-plane subset of the vector space ℝ3 linearly independent?

Answer

No. Here are two members of the plane where the second is a multiple of the first.

(100),(200)

(Another reason that the answer is “no” is the the zero vector is a member of the plane and no set containing the zero vector is linearly independent.)

Two.II.1.28 §II.1 source ↗

Show that the nonzero rows of an echelon form matrix form a linearly independent set.

Answer

We have already showed this: the Linear Combination Lemma and its corollary state that in an echelon form matrix, no nonzero row is a linear combination of the others.

Two.II.1.29 §II.1 source ↗

(a)

Show that if the set {u→,v→,w→} is linearly independent then so is the set {u→,u→+v→,u→+v→+w→}⁠.

(b)

What is the relationship between the linear independence or dependence of {u→,v→,w→} and the independence or dependence of {u→−v→,v→−w→,w→−u→}⁠?

Answer (2 parts)

(a)

Assume that {u→,v→,w→} is linearly independent, so that any relationship d0u→+d1v→+d2w→=0→ leads to the conclusion that d0=0⁠, d1=0⁠, and d2=0⁠.

Consider the relationship c1(u→)+ c2(u→+v→)+ c3(u→+v→+w→)= 0→⁠. Rewrite it to get (c1+c2+c3)u→+ (c2+c3)v→+ (c3)w→= 0→⁠. Taking d0 to be c1+c2+c3⁠, taking d1 to be c2+c3⁠, and taking d2 to be c3 we have this system.

c1+c2+c3=0c2+c3=0c3=0

Conclusion: the c⁠’s are all zero, and so the set is linearly independent.

(b)

The second set is dependent

1⋅(u→−v→)+1⋅(v→−w→)+1⋅(w→−u→)=0→

whether or not the first set is independent.

Two.II.1.30 §II.1 source ↗

Example 1.11 shows that the empty set is linearly independent.

(a)

When is a one-element set linearly independent?

(b)

How about a set with two elements?

Answer (2 parts)

(a)

A singleton set {v→} is linearly independent if and only if v→≠0→⁠. For the ‘if’ direction, with v→≠0→⁠, we can apply Lemma 1.5 by considering the relationship c⋅v→=0→ and noting that the only solution is the trivial one: c=0⁠. For the ‘only if’ direction, just recall that Example 1.12 shows that {0→} is linearly dependent, and so if the set {v→} is linearly independent then v→≠0→⁠.

(Remark. Another answer is to say that this is the special case of Lemma 1.15 where S=⌀⁠.)

(b)

A set with two elements is linearly independent if and only if neither member is a multiple of the other (note that if one is the zero vector then it is a multiple of the other). This is an equivalent statement: a set is linearly dependent if and only if one element is a multiple of the other.

The proof is easy. A set {v→1,v→2} is linearly dependent if and only if there is a relationship c1v→1+c2v→2=0→ with either c1≠0 or c2≠0 (or both). That holds if and only if v→1=(−c2/c1)v→2 or v→2=(−c1/c2)v→1 (or both).

Two.II.1.31 §II.1 source ↗

In any vector space V⁠, the empty set is linearly independent. What about all of V⁠?

Answer

This set is linearly dependent set because it contains the zero vector.

Two.II.1.32 §II.1 source ↗

Show that if {x→,y→,z→} is linearly independent then so are all of its proper subsets: {x→,y→}⁠, {x→,z→}⁠, {y→,z→}⁠, {x→}⁠,⁠{y→}⁠, {z→}⁠, and {}⁠. Is that ‘only if’ also?

Answer

Lemma 1.20 gives the ‘if’ half. The converse (the ‘only if’ statement) does not hold. An example is to consider the vector space ℝ2 and these vectors.

x→=(10),y→=(01),z→=(11)

Two.II.1.33 §II.1 source ↗

(a)

Show that this

S={(110),(−120)}

is a linearly independent subset of ℝ3⁠.

(b)

Show that

(320)

is in the span of S by finding c1 and c2 giving a linear relationship.

c1(110)+c2(−120)=(320)

Show that the pair c1,c2 is unique.

(c)

Assume that S is a subset of a vector space and that v→ is in [S]⁠, so that v→ is a linear combination of vectors from S⁠. Prove that if S is linearly independent then a linear combination of vectors from S adding to v→ is unique (that is, unique up to reordering and adding or taking away terms of the form 0⋅s→⁠). Thus S as a spanning set is minimal in this strong sense: each vector in [S] is a combination of elements of S a minimum number of times — only once.

(d)

Prove that it can happen when S is not linearly independent that distinct linear combinations sum to the same vector.

Answer (4 parts)

(a)

The linear system arising from

c1(110)+c2(−120)=(000)

has the unique solution c1=0 and c2=0⁠.

(b)

The linear system arising from

c1(110)+c2(−120)=(320)

has the unique solution c1=8/3 and c2=−1/3⁠.

(c)

Suppose that S is linearly independent. Suppose that we have both v→=c1s→1+⋯+cns→n and v→=d1t→1+⋯+dmt→m (where the vectors are members of S⁠). Now,

c1s→1+⋯+cns→n=v→=d1t→1+⋯+dmt→m

can be rewritten in this way.

c1s→1+⋯+cns→n−d1t→1−⋯−dmt→m=0→

Possibly some of the s→⁠’s equal some of the t→⁠’s; we can combine the associated coefficients (i.e., if s→i=t→j then ⋯+cis→i+⋯−djt→j−⋯ can be rewritten as ⋯+(ci−dj)s→i+⋯⁠). That equation is a linear relationship among distinct (after the combining is done) members of the set S⁠. We’ve assumed that S is linearly independent, so all of the coefficients are zero. If i is such that s→i does not equal any t→j then ci is zero. If j is such that t→j does not equal any s→i then dj is zero. In the final case, we have that ci−dj=0 and so ci=dj⁠.

Therefore, the original two sums are the same, except perhaps for some 0⋅s→i or 0⋅t→j terms that we can neglect.

(d)

This set is not linearly independent:

S={(10),(20)}⊂ℝ2

and these two linear combinations give the same result

(00)=2⋅(10)−1⋅(20)=4⋅(10)−2⋅(20)

Thus, a linearly dependent set might have indistinct sums.

In fact, this stronger statement holds: if a set is linearly dependent then it must have the property that there are two distinct linear combinations that sum to the same vector. Briefly, where c1s→1+⋯+cns→n=0→ then multiplying both sides of the relationship by two gives another relationship. If the first relationship is nontrivial then the second is also.

Two.II.1.34 §II.1 source ↗

Prove that a polynomial gives rise to the zero function if and only if it is the zero polynomial. (Comment. This question is not a Linear Algebra matter but we often use the result. A polynomial gives rise to a function in the natural way: x↦cnxn+⋯+c1x+c0⁠.)

Answer

In this ‘if and only if’ statement, the ‘if’ half is clear — if the polynomial is the zero polynomial then the function that arises from the action of the polynomial must be the zero function x↦0⁠. For ‘only if’ we write p(x)=cnxn+⋯+c0⁠. Plugging in zero p(0)=0 gives that c0=0⁠. Taking the derivative and plugging in zero p′(0)=0 gives that c1=0⁠. Similarly we get that each ci is zero, and p is the zero polynomial.

Two.II.1.35 §II.1 source ↗

Return to Section 1.2 and redefine point, line, plane, and other linear surfaces to avoid degenerate cases.

Answer

The work in this section suggests that we should define an n⁠-dimensional non-degenerate linear surface as the span of a linearly independent set of n vectors.

Two.II.1.36 §II.1 source ↗

(a)

Show that any set of four vectors in ℝ2 is linearly dependent.

(b)

Is this true for any set of five? Any set of three?

(c)

What is the most number of elements that a linearly independent subset of ℝ2 can have?

Answer (3 parts)

(a)

For any a1,1⁠, …, a2,4⁠,

c1(a1,1a2,1)+c2(a1,2a2,2)+c3(a1,3a2,3)+c4(a1,4a2,4)=(00)

yields a linear system

a1,1c1+a1,2c2+a1,3c3+a1,4c4=0a2,1c1+a2,2c2+a2,3c3+a2,4c4=0

that has infinitely many solutions (Gauss’s Method leaves at least two variables free). Hence there are nontrivial linear relationships among the given members of ℝ2⁠.

(b)

Any set five vectors is a superset of a set of four vectors, and so is linearly dependent.

With three vectors from ℝ2⁠, the argument from the prior item still applies, with the slight change that Gauss’s Method now only leaves at least one variable free (but that still gives infinitely many solutions).

(c)

The prior item shows that no three-element subset of ℝ2 is independent. We know that there are two-element subsets of ℝ2 that are independent — one is

{(10),(01)}

and so the answer is two.

Two.II.1.37 §II.1 source ↗

Is there a set of four vectors in ℝ3 such that any three form a linearly independent set?

Answer

Yes; here is one.

{(100),(010),(001),(111)}

Two.II.1.38 §II.1 source ↗

Must every linearly dependent set have a subset that is dependent and a subset that is independent?

Answer

Yes. Fix any vector space V⁠, and let S be a linearly dependent subset of V⁠. For a subset of S that is dependent we can take S itself. For a subset of S that is independent we can take the empty set.

Two.II.1.39 §II.1 source ↗

In ℝ4 what is the biggest linearly independent set you can find? The smallest? The biggest linearly dependent set? The smallest? (‘Biggest’ and ‘smallest’ mean that there are no supersets or subsets with the same property.)

Answer

In ℝ4 the biggest linearly independent set has four vectors. There are many examples of such sets, this is one.

{(1000),(0100),(0010),(0001)}

To see that no set with five or more vectors can be independent, set up

c1(a1,1a2,1a3,1a4,1)+c2(a1,2a2,2a3,2a4,2)+c3(a1,3a2,3a3,3a4,3)+c4(a1,4a2,4a3,4a4,4)+c5(a1,5a2,5a3,5a4,5)=(0000)

and note that the resulting linear system

a1,1c1+a1,2c2+a1,3c3+a1,4c4+a1,5c5=0a2,1c1+a2,2c2+a2,3c3+a2,4c4+a2,5c5=0a3,1c1+a3,2c2+a3,3c3+a3,4c4+a3,5c5=0a4,1c1+a4,2c2+a4,3c3+a4,4c4+a4,5c5=0

has four equations and five unknowns, so Gauss’s Method must end with at least one c variable free, so there are infinitely many solutions, and so the above linear relationship among the four-tall vectors has more solutions than just the trivial solution.

The smallest linearly independent set is the empty set.

The biggest linearly dependent set is ℝ4⁠. The smallest is {0→}⁠.

Two.II.1.40 §II.1 source ↗

Linear independence and linear dependence are properties of sets. We can thus naturally ask how the properties of linear independence and dependence act with respect to the familiar elementary set relations and operations. In this body of this subsection we have covered the subset and superset relations. We can also consider the operations of intersection, complementation, and union.

(a)

How does linear independence relate to intersection: can an intersection of linearly independent sets be independent? Must it be?

(b)

How does linear independence relate to complementation?

(c)

Show that the union of two linearly independent sets can be linearly independent.

(d)

Show that the union of two linearly independent sets need not be linearly independent.

Answer (4 parts)

(a)

The intersection of two linearly independent sets S∩T must be linearly independent as it is a subset of the linearly independent set S (as well as the linearly independent set T also, of course).

(b)

The complement of a linearly independent set is linearly dependent as it contains the zero vector.

(c)

A simple example in ℝ2 is these two sets.

S={(10)}T={(01)}

A somewhat subtler example, again in ℝ2⁠, is these two.

S={(10)}T={(10),(01)}

(d)

We must produce an example. One, in ℝ2⁠, is

S={(10)}T={(20)}

since the linear dependence of S1∪S2 is easy to see.

Two.II.1.41 §II.1 source ↗

Continued from prior exercise. What is the interaction between the property of linear independence and the operation of union?

(a)

We might conjecture that the union S∪T of linearly independent sets is linearly independent if and only if their spans have a trivial intersection [S]∩[T]={0→}⁠. What is wrong with this argument for the ‘if’ direction of that conjecture? “If the union S∪T is linearly independent then the only solution to c1s→1+ ⋯+ cns→n+ d1t→1+ ⋯+ dmt→m= 0→ is the trivial one c1=0⁠, …, dm=0⁠. So any member of the intersection of the spans must be the zero vector because in c1s→1+ ⋯+ cns→n= d1t→1+ ⋯+ dmt→m each scalar is zero.”

(b)

Give an example showing that the conjecture is false.

(c)

Find linearly independent sets S and T so that the union of S−(S∩T) and T−(S∩T) is linearly independent, but the union S∪T is not linearly independent.

(d)

Characterize when the union of two linearly independent sets is linearly independent, in terms of the intersection of spans.

Answer (4 parts)

(a)

Lemma 1.5 requires that the vectors s→1,…,s→n,t→1,…,t→m be distinct. But we could have that the union S∪T is linearly independent with some s→i equal to some t→j⁠.

(b)

One example in ℝ2 is these two.

S={(10)}T={(10),(01)}

(c)

An example from ℝ2 is these sets.

S={(10),(01)}T={(10),(11)}

(d)

The union of two linearly independent sets S∪T is linearly independent if and only if their spans of S and T−(S∩T) have a trivial intersection [S]∩[T−(S∩T)]={0→}⁠. To prove that, assume that S and T are linearly independent subsets of some vector space.

For the ‘only if’ direction, assume that the intersection of the spans is trivial [S]∩[T−(S∩T)]={0→}⁠. Consider the set S∪(T−(S∩T))=S∪T and consider the linear relationship c1s→1+ ⋯+ cns→n+ d1t→1+ ⋯+ dmt→m= 0→⁠. Subtracting gives c1s→1+ ⋯+ cns→n= − d1t→1− ⋯− dmt→m⁠. The left side of that equation sums to a vector in [S]⁠, and the right side is a vector in [T−(S∩T)]⁠. Therefore, since the intersection of the spans is trivial, both sides equal the zero vector. Because S is linearly independent, all of the c⁠’s are zero. Because T is linearly independent so also is T−(S∩T) linearly independent, and therefore all of the d⁠’s are zero. Thus, the original linear relationship among members of S∪T only holds if all of the coefficients are zero. Hence, S∪T is linearly independent.

For the ‘if’ half we can make the same argument in reverse. Suppose that the union S∪T is linearly independent. Consider a linear relationship among members of S and T−(S∩T)⁠. c1s→1+ ⋯+ cns→n+ d1t→1+ ⋯+ dmt→m= 0→ Note that no s→i is equal to a t→j so that is a combination of distinct vectors, as required by Lemma 1.5. So the only solution is the trivial one c1=0⁠, …, dm=0⁠. Since any vector v→ in the intersection of the spans [S]∩[T−(S∩T)] we can write v→= c1s→1+ ⋯+ cns→n= − d1t→1− ⋯− dmt→m⁠, and it must be the zero vector because each scalar is zero.

Two.II.1.42 §II.1 source ↗

For Corollary 1.17,

(a)

fill in the induction for the proof;

(b)

give an alternate proof that starts with the empty set and builds a sequence of linearly independent subsets of the given finite set until one appears with the same span as the given set.

Answer (2 parts)

(a)

We do induction on the number of vectors in the finite set S⁠.

The base case is that S has no elements. In this case S is linearly independent and there is nothing to check — a subset of S that has the same span as S is S itself.

For the inductive step assume that the theorem is true for all sets of size n=0⁠, n=1⁠, …, n=k in order to prove that it holds when S has n=k+1 elements. If the k+1⁠-element set S={s→0,…,s→k} is linearly independent then the theorem is trivial, so assume that it is dependent. By Corollary 1.19 there is an s→i that is a linear combination of other vectors in S⁠. Define S1=S−{s→i} and note that S1 has the same span as S by Corollary 1.3. The set S1 has k elements and so the inductive hypothesis applies to give that it has a linearly independent subset with the same span. That subset of S1 is the desired subset of S⁠.

(b)

Here is a sketch of the argument. We have left out the induction argument details.

If the finite set S is empty then there is nothing to prove. If S={0→} then the empty subset will do.

Otherwise, take some nonzero vector s→1∈S and define S1={s→1}⁠. If [S1]=[S] then we are finished with this proof by noting that S1 is linearly independent.

If not, then there is a nonzero vector s→2∈S−[S1] (if every s→∈S is in [S1] then [S1]=[S]⁠). Define S2=S1∪{s→2}⁠. If [S2]=[S] then we are finished by using Theorem 1.19 to show that S2 is linearly independent.

Repeat the last paragraph until a set with a big enough span appears. That must eventually happen because S is finite, and [S] will be reached at worst when we have used every vector from S⁠.

Two.II.1.43 §II.1 source ↗

With a some calculation we can get formulas to determine whether or not a set of vectors is linearly independent.

(a)

Show that this subset of ℝ2

{(ac),(bd)}

is linearly independent if and only if ad−bc≠0⁠.

(b)

Show that this subset of ℝ3

{(adg),(beh),(cfi)}

is linearly independent iff aei+ bfg+ cdh− hfa− idb− gec≠0⁠.

(c)

When is this subset of ℝ3

{(adg),(beh)}

linearly independent?

(d)

This is an opinion question: for a set of four vectors from ℝ4⁠, must there be a formula involving the sixteen entries that determines independence of the set? (You needn’t produce such a formula, just decide if one exists.)

Answer (4 parts)

(a)

Assuming first that a≠0⁠,

x(ac)+y(bd)=(00)

gives

ax+by=0cx+dy=0⟶−(c/a)ρ1+ρ2ax+by=0(−(c/a)b+d)y=0

which has a solution if and only if 0≠−(c/a)b+d=(−cb+ad)/d (we’ve assumed in this case that a≠0⁠, and so back substitution yields a unique solution).

The a=0 case is also not hard — break it into the c≠0 and c=0 subcases and note that in these cases ad−bc=0⋅d−bc⁠.

Comment. An earlier exercise showed that a two-vector set is linearly dependent if and only if either vector is a scalar multiple of the other. We could also use that to make the calculation.

(b)

The equation

c1(adg)+c2(beh)+c3(cfi)=(000)

expresses a homogeneous linear system. We proceed by writing it in matrix form and applying Gauss’s Method.

We first reduce the matrix to upper-triangular. Assume that a≠0⁠. With that, we can clear down the first column.

⟶(1/a)ρ1(1b/ac/a0def0ghi0)⟶−gρ1+ρ3−dρ1+ρ2(1b/ac/a00(ae−bd)/a(af−cd)/a00(ah−bg)/a(ai−cg)/a0)

Then we get a 1 in the second row, second column entry. (Assuming for the moment that ae−bd≠0⁠, in order to do the row reduction step.)

⟶(a/(ae−bd))ρ2(1b/ac/a001(af−cd)/(ae−bd)00(ah−bg)/a(ai−cg)/a0)

Then, under the assumptions, we perform the row operation ((ah−bg)/a)ρ2+ρ3 to get this.

(1b/ac/a001(af−cd)/(ae−bd)000(aei+bgf+cdh−hfa−idb−gec)/(ae−bd)0)

Therefore, the original system is nonsingular if and only if the above 3,3 entry is nonzero (this fraction is defined because of the ae−bd≠0 assumption). It equals zero if and only if the numerator is zero.

We next worry about the assumptions. First, if a≠0 but ae−bd=0 then we swap

(1b/ac/a000(af−cd)/a00(ah−bg)/a(ai−cg)/a0)⟶ρ2↔ρ3(1b/ac/a00(ah−bg)/a(ai−cg)/a000(af−cd)/a0)

and conclude that the system is nonsingular if and only if either ah−bg=0 or af−cd=0⁠. That’s the same as asking that their product be zero:

ahaf−ahcd−bgaf+bgcd=0ahaf−ahcd−bgaf+aegc=0a(haf−hcd−bgf+egc)=0

(in going from the first line to the second we’ve applied the case assumption that ae−bd=0 by substituting ae for bd⁠). Since we are assuming that a≠0⁠, we have that haf−hcd−bgf+egc=0⁠. With ae−bd=0 we can rewrite this to fit the form we need: in this a≠0 and ae−bd=0 case, the given system is nonsingular when haf− hcd− bgf+ egc− i(ae−bd)= 0⁠, as required.

The remaining cases have the same character. Do the a=0 but d≠0 case and the a=0 and d=0 but g≠0 case by first swapping rows and then going on as above. The a=0⁠, d=0⁠, and g=0 case is easy — a set with a zero vector is linearly dependent, and the formula comes out to equal zero.

(c)

It is linearly dependent if and only if either vector is a multiple of the other. That is, it is not independent iff

(adg)=r⋅(beh)or(beh)=s⋅(adg)

(or both) for some scalars r and s⁠. Eliminating r and s in order to restate this condition only in terms of the given letters a⁠, b⁠, d⁠, e⁠, g⁠, h⁠, we have that it is not independent — it is dependent — iff ae−bd=ah−gb=dh−ge⁠.

(d)

Dependence or independence is a function of the indices, so there is indeed a formula (although at first glance a person might think the formula involves cases: “if the first component of the first vector is zero then …”, this guess turns out not to be correct).

Two.II.1.44 §II.1 source ↗

(a)

Prove that a set of two perpendicular nonzero vectors from ℝn is linearly independent when n>1⁠.

(b)

What if n=1⁠? n=0⁠?

(c)

Generalize to more than two vectors.

Answer (4 parts)

Recall that two vectors from ℝn are perpendicular if and only if their dot product is zero.

(a)

Assume that v→ and w→ are perpendicular nonzero vectors in ℝn⁠, with n>1⁠. With the linear relationship cv→+dw→=0→⁠, apply v→ to both sides to conclude that c⋅‖v→‖2+d⋅0=0⁠. Because v→≠0→ we have that c=0⁠. A similar application of w→ shows that d=0⁠.

(b)

Two vectors in ℝ1 are perpendicular if and only if at least one of them is zero.

We define ℝ0 to be a trivial space, and so both v→ and w→ are the zero vector.

(c)

The right generalization is to look at a set {v→1,…,v→n}⊆ℝk of vectors that are mutually orthogonal (also called pairwise perpendicular): if i≠j then v→i is perpendicular to v→j⁠. Mimicking the proof of the first item above shows that such a set of nonzero vectors is linearly independent.

Two.II.1.45 §II.1 source ↗

Consider the set of functions from the interval (−1..1)⊆ℝ to ℝ⁠.

(a)

Show that this set is a vector space under the usual operations.

(b)

Recall the formula for the sum of an infinite geometric series: 1+x+x2+⋯=1/(1−x) for all x∈(−1..1)⁠. Why does this not express a dependence inside of the set {g(x)= 1/(1− x), f0(x)= 1, f1(x)= x, f2(x)= x2, …} (in the vector space that we are considering)? (Hint. Review the definition of linear combination.)

(c)

Show that the set in the prior item is linearly independent.

This shows that some vector spaces exist with linearly independent subsets that are infinite.

Answer (3 parts)

(a)

This check is routine.

(b)

The summation is infinite (has infinitely many summands). The definition of linear combination involves only finite sums.

(c)

No nontrivial finite sum of members of {g,f0,f1,…} adds to the zero object: assume that

c0⋅(1/(1−x))+c1⋅1+⋯+cn⋅xn=0

(any finite sum uses a highest power, here n⁠). Multiply both sides by 1−x to conclude that each coefficient is zero, because a polynomial describes the zero function only when it is the zero polynomial.

Two.II.1.46 §II.1 source ↗

Show that, where S is a subspace of V⁠, if a subset T of S is linearly independent in S then T is also linearly independent in V⁠. Is that ‘only if’?

Answer

It is both ‘if’ and ‘only if’.

Let T be a subset of the subspace S of the vector space V⁠. The assertion that any linear relationship c1t→1+⋯+cnt→n=0→ among members of T must be the trivial relationship c1=0⁠, …, cn=0 is a statement that holds in S if and only if it holds in V⁠, because the subspace S inherits its addition and scalar multiplication operations from V⁠.

Two.III.1.20 §III.1 source ↗

Decide if each is a basis for 𝒫2⁠.

(a)

⟨x2−x+1,2x+1,2x−1⟩

(b)

⟨x+x2,x−x2⟩

Answer (2 parts)

(a)

This is a basis for 𝒫2⁠. To show that it spans the space we consider a generic a2x2+a1x+a0∈𝒫2 and look for scalars c1,c2,c3∈ℝ such that a2x2+ a1x+ a0= c1⋅(x2−x+1)+ c2⋅(2x+1)+ c3(2x−1)⁠. The resulting linear system is this.

c1=a2−c1+2c2+2c3=a1c1+c2−c3=a0⟶−ρ1+ρ3ρ1+ρ2c1+=a22c2+2c3=a1+a2c2−c3=a0−a2⟶(−1/2)ρ2+ρ3c1+=a22c2+2c3=a1+a2−2c3=a0−(1/2)a1−(3/2)a2

Thus, given any triple of ai⁠’s, we can compute the cj⁠’s as c1=a2⁠, c2= (1/2)a0+ (1/4)a1− (1/4)a2⁠, and c3= − (1/2)a0+ (1/4)a1+ (3/4)a2⁠. Therefore each element of 𝒫2 is a combination of the given x2−x+1⁠, 2x+1⁠, and 2x−1⁠.

To prove that the set of the given three is linearly independent we can set up the equation 0x2+ 0x+ 0= c1⋅(x2−x+1)+ c2⋅(2x+1)+ c3(2x−1) and solve. It will give that c1=0⁠, c2=0⁠, and c3=0⁠. Or, we can instead observe that the solution in the prior paragraph is unique, and cite Theorem 1.12.

(b)

This is not a basis. It does not span the space since no combination of the two c1⋅(x+x2)+c2⋅(x−x2) will sum to the polynomial 3∈𝒫2⁠.

Two.III.1.21 §III.1 source ↗

Decide if each is a basis for ℝ3⁠.

(a)

⟨(123),(321),(001)⟩

(b)

⟨(123),(321)⟩

(c)

⟨(02−1),(111),(250)⟩

(d)

⟨(02−1),(111),(130)⟩

Answer (5 parts)

By Theorem 1.12, each is a basis if and only if we can express each vector in the space in a unique way as a linear combination of the given vectors.

(a)

Yes this is a basis. The relation

c1(123)+c2(321)+c3(001)=(xyz)

gives

(130x220y311z)⟶−3ρ1+ρ3−2ρ1+ρ2⟶−2ρ2+ρ3(130x0−40−2x+y001x−2y+z)

which has the unique solution c3=x−2y+z⁠, c2=x/2−y/4⁠, and c1=−x/2+3y/4⁠.

(b)

This is not a basis. Setting it up as in the prior item

c1(123)+c2(321)=(xyz)

gives a linear system whose solution

(13x22y31z)⟶−3ρ1+ρ3−2ρ1+ρ2⟶−2ρ2+ρ3(13x0−4−2x+y00x−2y+z)

is possible if and only if the three-tall vector’s components x⁠, y⁠, and z satisfy x−2y+z=0⁠. For instance, we can find the coefficients c1 and c2 that work when x=1⁠, y=1⁠, and z=1⁠. However, there are no c⁠’s that work for x=1⁠, y=1⁠, and z=2⁠. Thus this is not a basis; it does not span the space.

(c)

Yes, this is a basis. Setting up the relationship leads to this reduction

(012x215y−110z)⟶ρ1↔ρ3⟶2ρ1+ρ2⟶−(1/3)ρ2+ρ3(−110z035y+2z001/3x−y/3−2z/3)

which has a unique solution for each triple of components x⁠, y⁠, and z⁠.

(d)

No, this is not a basis. The reduction

(011x213y−110z)⟶ρ1↔ρ3⟶2ρ1+ρ2⟶(−1/3)ρ2+ρ3(−110z033y+2z000x−y/3−2z/3)

which does not have a solution for each triple x⁠, y⁠, and z⁠. Instead, the span of the given set includes only those three-tall vectors where x=y/3+2z/3⁠.

Two.III.1.22 §III.1 source ↗

Represent the vector with respect to the basis.

(a)

(12)⁠, B=⟨(11),(−11)⟩⊆ℝ2

(b)

x2+x3⁠, D= ⟨1,1+ x, 1+ x+ x2, 1+ x+ x2+ x3⟩⊆𝒫3

(c)

(0−101)⁠, ℰ4⊆ℝ4

Answer (3 parts)

(a)

We solve

c1(11)+c2(−11)=(12)

with

(1−11112)⟶−ρ1+ρ2(1−11021)

and conclude that c2=1/2 and so c1=3/2⁠. Thus, the representation is this.

RepB⁡((12))=(3/21/2)B

(b)

The relationship c1⋅(1)+ c2⋅(1+x)+ c3⋅(1+x+x2)+ c4⋅(1+x+x2+x3)= x2+ x3 is easily solved by eye to give that c4=1⁠, c3=0⁠, c2=−1⁠, and c1=0⁠.

RepD⁡(x2+x3)=(0−101)D

(c)

Repℰ4⁡((0−101))= (0−101)ℰ4

Two.III.1.23 §III.1 source ↗

Represent the vector with respect to each of the two bases.

v→=(3−1)B1=⟨(1−1),(11)⟩,B2=⟨(12),(13)⟩

Answer

Solving

(3−1)=(1−1)⋅c1+(11)⋅c2

gives c1=2 and c2=1⁠.

RepB1⁡((3−1))=(21)B1

Similarly, solving

(3−1)=(12)⋅c1+(13)⋅c2

gives this.

RepB2⁡((3−1))=(10−7)B2

Two.III.1.24 §III.1 source ↗

Find a basis for 𝒫2⁠, the space of all quadratic polynomials. Must any such basis contain a polynomial of each degree: degree zero, degree one, and degree two?

Answer

A natural basis is ⟨1,x,x2⟩⁠. There are bases for 𝒫2 that do not contain any polynomials of degree one or degree zero. One is ⟨1+x+x2,x+x2,x2⟩⁠. (Every basis has at least one polynomial of degree two, though.)

Two.III.1.25 §III.1 source ↗

Find a basis for the solution set of this system.

x1−4x2+3x3−x4=02x1−8x2+6x3−2x4=0

Answer

The reduction

(1−43−102−86−20)⟶−2ρ1+ρ2(1−43−1000000)

gives that the only condition is that x1=4x2−3x3+x4⁠. The solution set is

{(4x2−3x3+x4x2x3x4)|x2,x3,x4∈ℝ}={x2(4100)+x3(−3010)+x4(1001)|x2,x3,x4∈ℝ}

and so the obvious candidate for the basis is this.

⟨(4100),(−3010),(1001)⟩

We’ve shown that this spans the space, and showing it is also linearly independent is routine.

Two.III.1.26 §III.1 source ↗

Find a basis for ℳ2×2⁠, the space of 2×2 matrices.

Answer

There are many bases. This is a natural one.

⟨(1000),(0100),(0010),(0001)⟩

Two.III.1.27 §III.1 source ↗

Find a basis for each.

(a)

The subspace {a2x2+a1x+a0|a2−2a1=a0} of 𝒫2

(b)

The space of three-wide row vectors whose first and second components add to zero

(c)

This subspace of the 2×2 matrices

{(ab0c)|c−2b=0}

Answer (4 parts)

For each item, many answers are possible.

(a)

One way to proceed is to parametrize by expressing the a2 as a combination of the other two a2=2a1+a0⁠. Then a2x2+a1x+a0 is (2a1+a0)x2+a1x+a0 and

{(2a1+a0)x2+a1x+a0|a1,a0∈ℝ}={a1⋅(2x2+x)+a0⋅(x2+1)|a1,a0∈ℝ}

suggests ⟨2x2+x,x2+1⟩⁠. This only shows that it spans, but checking that it is linearly independent is routine.

(b)

Parametrize {(abc)|a+b=0} to get {(−bbc)|b,c∈ℝ}⁠, which suggests using the sequence ⟨(−110),(001)⟩⁠. We’ve shown that it spans, and checking that it is linearly independent is easy.

(c)

Rewriting

{(ab02b)|a,b∈ℝ}={a⋅(1000)+b⋅(0102)|a,b∈ℝ}

suggests this for the basis.

⟨(1000),(0102)⟩

Two.III.1.28 §III.1 source ↗

Find a basis for each space, and verify that it is a basis.

(a)

The subspace M= {a+ bx+ cx2+ dx3|a− 2b+ c− d= 0} of 𝒫3⁠.

(b)

This subspace of ℳ2×2⁠.

W={(abcd)|a−c=0}

Answer (2 parts)

(a)

Parametrize a−2b+c−d=0 as a=2b−c+d⁠, b=b⁠, c=c⁠, and d=d to get this description of M as the span of a set of three vectors.

M={(2+x)⋅b+(−1+x2)⋅c+(1+x3)⋅d|b,c,d∈ℝ}

To show that this three-vector set is a basis, what remains is to verify that it is linearly independent.

0+0x+0x2+0x3=(2+x)⋅c1+(−1+x2)⋅c2+(1+x3)⋅c3

From the x⁠ terms we see that c1=0⁠. From the x2⁠ terms we see that c2=0⁠. The x3⁠ terms give that c3=0⁠.

(b)

First parametrize the description (note that the fact that b and d are not mentioned in the description of W does not mean they are zero or absent, it means that they are unrestricted).

W={(0100)⋅b+(1010)⋅c+(0001)⋅d|b,c,d∈ℝ}

That gives W as the span of a three element set. We will be done if we show that the set is linearly independent.

(0000)=(0100)⋅c1+(1010)⋅c2+(0001)⋅c3

Using the upper right entries we see that c1=0⁠. The upper left entries give that c2=0⁠, and the lower left entries show that c3=0⁠.

Two.III.1.29 §III.1 source ↗

Check Example 1.6.

Answer

We will show that the second is a basis; the first is similar. We will show this straight from the definition of a basis, because this example appears before Theorem 1.12.

To see that it is linearly independent, we set up c1⋅(cos⁡θ−sin⁡θ)+ c2⋅(2cos⁡θ+3sin⁡θ)= 0cos⁡θ+ 0sin⁡θ⁠. Taking θ=0 and θ=π/2 gives this system

c1⋅1+c2⋅2=0c1⋅(−1)+c2⋅3=0⟶ρ1+ρ2c1+2c2=0+5c2=0

which shows that c1=0 and c2=0⁠.

The calculation for span is also easy; for any x,y∈ℝ⁠, we have that c1⋅(cos⁡θ−sin⁡θ)+ c2⋅(2cos⁡θ+3sin⁡θ)= xcos⁡θ+ ysin⁡θ gives that c2=x/5+y/5 and that c1=3x/5−2y/5⁠, and so the span is the entire space.

Two.III.1.30 §III.1 source ↗

Find the span of each set and then find a basis for that span.

(a)

{1+x,1+2x} in 𝒫2

(b)

{2−2x,3+4x2} in 𝒫2

Answer (2 parts)

(a)

Asking which a0+a1x+a2x2 can be expressed as c1⋅(1+x)+c2⋅(1+2x) gives rise to three linear equations, describing the coefficients of x2⁠, x⁠, and the constants.

c1+c2=a0c1+2c2=a10=a2

Gauss’s Method with back-substitution shows, provided that a2=0⁠, that c2=−a0+a1 and c1=2a0−a1⁠. Thus, with a2=0⁠, we can compute appropriate c1 and c2 for any a0 and a1⁠. So the span is the entire set of linear polynomials {a0+a1x|a0,a1∈ℝ}⁠. Parametrizing that set {a0⋅1+a1⋅x|a0,a1∈ℝ} suggests a basis ⟨1,x⟩ (we’ve shown that it spans; checking linear independence is easy).

(b)

With

a0+a1x+a2x2=c1⋅(2−2x)+c2⋅(3+4x2)=(2c1+3c2)+(−2c1)x+(4c2)x2

we get this system.

2c1+3c2=a0−2c1=a14c2=a2⟶ρ1+ρ2⟶(−4/3)ρ2+ρ32c1+3c2=a03c2=a0+a10=(−4/3)a0−(4/3)a1+a2

Thus, the only quadratic polynomials a0+a1x+a2x2 with associated c⁠’s are the ones such that 0=(−4/3)a0−(4/3)a1+a2⁠. Hence the span is this.

{(−a1+(3/4)a2)+a1x+a2x2|a1,a2∈ℝ}

Parametrizing gives {a1⋅(− 1+ x)+ a2⋅((3/4)+ x2)|a1, a2∈ℝ}⁠, which suggests ⟨−1+x,(3/4)+x2⟩ (checking that it is linearly independent is routine).

Two.III.1.31 §III.1 source ↗

Find a basis for each of these subspaces of the space 𝒫3 of cubic polynomials.

(a)

The subspace of cubic polynomials p(x) such that p(7)=0

(b)

The subspace of polynomials p(x) such that p(7)=0 and p(5)=0

(c)

The subspace of polynomials p(x) such that p(7)=0⁠, p(5)=0⁠, and p(3)=0

(d)

The space of polynomials p(x) such that p(7)=0⁠, p(5)=0⁠, p(3)=0⁠, and p(1)=0

Answer (5 parts)

(a)

The subspace is this.

{a0+a1x+a2x2+a3x3|a0+7a1+49a2+343a3=0}

Rewriting a0=−7a1−49a2−343a3 gives this.

{(−7a1−49a2−343a3)+a1x+a2x2+a3x3|a1,a2,a3∈ℝ}

On breaking out the parameters, this suggests ⟨−7+x,−49+x2,−343+x3⟩ for the basis (it is easily verified).

(b)

The given subspace is the collection of cubics p(x)=a0+a1x+a2x2+a3x3 such that a0+7a1+49a2+343a3=0 and a0+5a1+25a2+125a3=0⁠. Gauss’s Method

a0+7a1+49a2+343a3=0a0+5a1+25a2+125a3=0⟶−ρ1+ρ2a0+7a1+49a2+343a3=0−2a1−24a2−218a3=0

gives that a1=−12a2−109a3 and that a0=35a2+420a3⁠. Rewriting (35a2+420a3)+ (−12a2−109a3)x+ a2x2+ a3x3 as a2⋅(35−12x+x2)+ a3⋅(420−109x+x3) suggests this for a basis ⟨35−12x+x2,420−109x+x3⟩⁠. The above shows that it spans the space. Checking it is linearly independent is routine. (Comment. A worthwhile check is to verify that both polynomials in the basis have both seven and five as roots.)

(c)

Here there are three conditions on the cubics, that a0+7a1+49a2+343a3=0⁠, that a0+5a1+25a2+125a3=0⁠, and that a0+3a1+9a2+27a3=0⁠. Gauss’s Method

a0+7a1+49a2+343a3=0a0+5a1+25a2+125a3=0a0+3a1+9a2+27a3=0⟶−ρ1+ρ3−ρ1+ρ2⟶−2ρ2+ρ3a0+7a1+49a2+343a3=0−2a1−24a2−218a3=08a2+120a3=0

yields the single free variable a3⁠, with a2=−15a3⁠, a1=71a3⁠, and a0=−105a3⁠. The parametrization is this.

{(−105a3)+(71a3)x+(−15a3)x2+(a3)x3|a3∈ℝ}={a3⋅(−105+71x−15x2+x3)|a3∈ℝ}

Therefore, a natural candidate for the basis is ⟨−105+71x−15x2+x3⟩⁠. It spans the space by the work above. It is clearly linearly independent because it is a one-element set (with that single element not the zero object of the space). Thus, any cubic through the three points (7,0)⁠, (5,0)⁠, and (3,0) is a multiple of this one. (Comment. As in the prior question, a worthwhile check is to verify that plugging seven, five, and three into this polynomial yields zero each time.)

(d)

This is the trivial subspace of 𝒫3⁠. Thus, the basis is empty ⟨⟩⁠.

Remark. Alternatively, we could have derived the polynomial in the third item by multiplying out (x−7)(x−5)(x−3)⁠.

Two.III.1.32 §III.1 source ↗

We’ve seen that the result of reordering a basis can be another basis. Must it be?

Answer

Yes. Linear independence and span are unchanged by reordering.

Two.III.1.33 §III.1 source ↗

Can a basis contain a zero vector?

Answer

No linearly independent set contains a zero vector.

Two.III.1.34 §III.1 source ↗

Let ⟨β→1,β→2,β→3⟩ be a basis for a vector space.

(a)

Show that ⟨c1β→1,c2β→2,c3β→3⟩ is a basis when c1,c2,c3≠0⁠. What happens when at least one ci is 0⁠?

(b)

Prove that ⟨α→1,α→2,α→3⟩ is a basis where α→i=β→1+β→i⁠.

Answer (2 parts)

(a)

To show that it is linearly independent, note that if d1(c1β→1)+ d2(c2β→2)+ d3(c3β→3)= 0→ then (d1c1)β→1+ (d2c2)β→2+ (d3c3)β→3= 0→⁠, which in turn implies that each dici is zero. But with ci≠0 that means that each di is zero. Showing that it spans the space is much the same; because ⟨β→1,β→2,β→3⟩ is a basis, and so spans the space, we can for any v→ write v→=d1β→1+d2β→2+d3β→3⁠, and then v→= (d1/c1)(c1β→1)+ (d2/c2)(c2β→2)+ (d3/c3)(c3β→3)⁠.

If any of the scalars are zero then the result is not a basis, because it is not linearly independent.

(b)

Showing that ⟨2β→1,β→1+β→2,β→1+β→3⟩ is linearly independent is easy. To show that it spans the space, assume that v→=d1β→1+d2β→2+d3β→3⁠. Then, we can represent the same v→ with respect to ⟨2β→1,β→1+β→2,β→1+β→3⟩ in this way v→= (1/2)(d1−d2−d3)(2β→1)+ d2(β→1+β→2)+ d3(β→1+β→3)⁠.

Two.III.1.35 §III.1 source ↗

Find one vector v→ that will make each into a basis for the space.

(a)

⟨(11),v→⟩ in ℝ2

(b)

⟨(110),(010),v→⟩ in ℝ3

(c)

⟨x,1+x2,v→⟩ in 𝒫2

Answer (4 parts)

Each forms a linearly independent set if we omit v→⁠. To preserve linear independence, we must expand the span of each. That is, we must determine the span of each (leaving v→ out), and then pick a v→ lying outside of that span. Then to finish, we must check that the result spans the entire given space. Those checks are routine.

(a)

Any vector that is not a multiple of the given one, that is, any vector that is not on the line y=x will do here. One is v→=e→1⁠.

(b)

By inspection, we notice that the vector e→3 is not in the span of the set of the two given vectors. The check that the resulting set is a basis for ℝ3 is routine.

(c)

For any member of the span {c1⋅(x)+ c2⋅(1+ x2)|c1, c2∈ℝ}⁠, the coefficient of x2 equals the constant term. So we expand the span if we add a quadratic without this property, say, v→=1−x2⁠. The check that the result is a basis for 𝒫2 is easy.

Two.III.1.36 §III.1 source ↗

Consider 2+4x2,1+3x2,1+5x2∈𝒫2⁠.

(a)

Find a linear relationship among the three.

(b)

Represent them with respect to B=⟨1−x,1+x,x2⟩⁠.

(c)

Check that the same linear relationship holds among the representations, as in Lemma 1.18.

Answer (3 parts)

(a)

1⋅(2+4x2)− 3⋅(1+3x2)+ 1⋅(1+5x2)= 0+ 0x+ 0x2

(b)

Simple calculation gives this.

RepB⁡(2+4x2)=(114)RepB⁡(1+3x2)=(1/21/23)RepB⁡(1+5x2)=(1/21/25)

(c)

The check is straightforward.

1⋅(114)−3⋅(1/21/23)+1⋅(1/21/25)=(000)

Two.III.1.37 §III.1 source ↗

Where ⟨β→1,…,β→n⟩ is a basis, show that in this equation

c1β→1+⋯+ckβ→k=ck+1β→k+1+⋯+cnβ→n

each of the ci⁠’s is zero. Generalize.

Answer

To show that each scalar is zero, simply subtract c1β→1+ ⋯+ ckβ→k− ck+1β→k+1− ⋯− cnβ→n= 0→⁠. The obvious generalization is that in any equation involving only the β→⁠’s, and in which each β→ appears only once, each scalar is zero. For instance, an equation with a combination of the even-indexed basis vectors (i.e., β→2⁠, β→4⁠, etc.) on the right and the odd-indexed basis vectors on the left also gives the conclusion that all of the coefficients are zero.

Two.III.1.38 §III.1 source ↗

A basis contains some of the vectors from a vector space; can it contain them all?

Answer

No; no linearly independent set contains the zero vector.

Two.III.1.39 §III.1 source ↗

Theorem 1.12 shows that, with respect to a basis, every linear combination is unique. If a subset is not a basis, can linear combinations be not unique? If so, must they be?

Answer

Here is a subset of ℝ2 that is not a basis, and two different linear combinations of its elements that sum to the same vector.

{(12),(24)}2⋅(12)+0⋅(24)=0⋅(12)+1⋅(24)

Thus, when a subset is not a basis, it can be the case that its linear combinations are not unique.

But just because a subset is not a basis does not imply that its combinations must be not unique. For instance, this set

{(12)}

does have the property that

c1⋅(12)=c2⋅(12)

implies that c1=c2⁠. The idea here is that this subset fails to be a basis because it fails to span the space; the proof of the theorem establishes that linear combinations are unique if and only if the subset is linearly independent.

Two.III.1.40 §III.1 source ↗

A square matrix is symmetric if for all indices i and j⁠, entry i,j equals entry j,i⁠.

(a)

Find a basis for the vector space of symmetric 2×2 matrices.

(b)

Find a basis for the space of symmetric 3×3 matrices.

(c)

Find a basis for the space of symmetric n×n matrices.

Answer (3 parts)

(a)

Describing the vector space as

{(abbc)|a,b,c∈ℝ}

suggests this for a basis.

⟨(1000),(0001),(0110)⟩

Verification is easy.

(b)

This is one possible basis.

⟨(100000000),(000010000),(000000001),(010100000),(001000100),(000001010)⟩

(c)

As in the prior two questions, we can form a basis from two kinds of matrices. First are the matrices with a single one on the diagonal and all other entries zero (there are n of those matrices). Second are the matrices with two opposed off-diagonal entries are ones and all other entries are zeros. (That is, all entries in M are zero except that mi,j and mj,i are one.)

Two.III.1.41 §III.1 source ↗

We can show that every basis for ℝ3 contains the same number of vectors.

(a)

Show that no linearly independent subset of ℝ3 contains more than three vectors.

(b)

Show that no spanning subset of ℝ3 contains fewer than three vectors. Hint: recall how to calculate the span of a set and show that this method cannot yield all of ℝ3 when we apply it to fewer than three vectors.

Answer (2 parts)

(a)

Any four vectors from ℝ3 are linearly related because the vector equation

c1(x1y1z1)+c2(x2y2z2)+c3(x3y3z3)+c4(x4y4z4)=(000)

gives rise to a linear system

x1c1+x2c2+x3c3+x4c4=0y1c1+y2c2+y3c3+y4c4=0z1c1+z2c2+z3c3+z4c4=0

that is homogeneous (and so has a solution) and has four unknowns but only three equations, and therefore has nontrivial solutions. (Of course, this argument applies to any subset of ℝ3 with four or more vectors.)

(b)

We shall do just the two-vector case. Given x1⁠, …, z2⁠,

S={(x1y1z1),(x2y2z2)}

to decide which vectors

(xyz)

are in the span of S⁠, set up

c1(x1y1z1)+c2(x2y2z2)=(xyz)

and row reduce the resulting system.

x1c1+x2c2=xy1c1+y2c2=yz1c1+z2c2=z

There are two variables c1 and c2 but three equations, so when Gauss’s Method finishes, on the bottom row there will be some relationship of the form 0=m1x+m2y+m3z⁠. Hence, vectors in the span of the two-element set S must satisfy some restriction. Hence the span is not all of ℝ3⁠.

Two.III.1.42 §III.1 source ↗

One of the exercises in the Subspaces subsection shows that the set

{(xyz)|x+y+z=1}

is a vector space under these operations.

(x1y1z1)+(x2y2z2)=(x1+x2−1y1+y2z1+z2)r(xyz)=(rx−r+1ryrz)

Find a basis.

Answer

We have (using these oddball operations with care)

{(1−y−zyz)|y,z∈ℝ}={(−y+1y0)+(−z+10z)|y,z∈ℝ}={y⋅(010)+z⋅(001)|y,z∈ℝ}

and so a natural candidate for a basis is this.

⟨(010),(001)⟩

To check linear independence we set up

c1(010)+c2(001)=(100)

(the vector on the right is the zero object in this space). That yields the linear system

(−c1+1)+(−c2+1)−1=1c1=0c2=0

with only the solution c1=0 and c2=0⁠. Checking the span is similar.

Two.III.2.16 §III.2 source ↗

Find a basis for, and the dimension of, 𝒫2⁠.

Answer

One basis is ⟨1,x,x2⟩⁠, and so the dimension is three.

Two.III.2.17 §III.2 source ↗

Find a basis for, and the dimension of, the solution set of this system.

x1−4x2+3x3−x4=02x1−8x2+6x3−2x4=0

Answer

The solution set is

{(4x2−3x3+x4x2x3x4)|x2,x3,x4∈ℝ}

so a natural basis is this

⟨(4100),(−3010),(1001)⟩

(checking linear independence is easy). Thus the dimension is three.

Two.III.2.18 §III.2 source ↗

Find a basis for, and the dimension of, each space.

(a)

{(xyzw)∈ℝ4|x−w+z=0}

(b)

the set of 5×5 matrices whose only nonzero entries are on the diagonal (e.g., in entry 1,1 and 2,2⁠, etc.)

(c)

{a0+ a1x+ a2x2+ a3x3|a0+ a1= 0 and a2− 2a3= 0}⊆𝒫3

Answer (3 parts)

(a)

Parametrize to get this description of the space.

{(w−zyzw)=(0100)y+(−1010)z+(1001)w|y,z,w∈ℝ}

That gives the space as the span of the three-vector set. To show the three vector set makes a basis we check that it is linearly independent.

(0000)=(0100)c1+(−1010)c2+(1001)c3

The second components give that c1=0⁠, and the third and fourth components give that c2=0 and c3=0⁠. So one basis is this.

⟨(0100),(−1010),(1001)⟩

The dimension is the number of vectors in a basis: 3⁠.

(b)

The natural parametrization is this.

{(a00000b00000c00000d00000e)|a,…,e∈ℝ}{(1000000000000000000000000)⋅a+(0000001000000000000000000)⋅b+⋯|a,…,e∈ℝ}

Checking that the five-element set is linearly independent is trivial. So this is a basis; the dimension is 5⁠.

⟨(1000000000000000000000000),(0000001000000000000000000),…,(0000000000000000000000001)⟩

(c)

The restrictions form a two-equations, four-unknowns linear system. Parametrizing that system to express the leading variables in terms of those that are free gives a0=−a1⁠, a1=a1⁠, a2=2a3⁠, and a3=a3⁠.

{−a1+a1x+2a3x2+a3x3|a1,a3∈ℝ}={(−1+x)⋅a1+(2x2+x3)⋅a3|a1,a3∈ℝ}

That description shows that the space is the span of the two-element set {−1+x,x2+x3}⁠. We will be done if we show the set is linearly independent. This relationship

0+0x+0x2+0x3=(−1+x)⋅c1+(2x2+x3)⋅c2

gives that c1=0 from the constant terms, and c2=0 from the cubic terms. One basis for the space is ⟨−1+x,2x2+x3⟩⁠. This is a two-dimensional space.

Two.III.2.19 §III.2 source ↗

Find a basis for, and the dimension of, ℳ2×2⁠, the vector space of 2×2 matrices.

Answer

For this space

{(abcd)|a,b,c,d∈ℝ}={a⋅(1000)+⋯+d⋅(0001)|a,b,c,d∈ℝ}

this is a natural basis.

⟨(1000),(0100),(0010),(0001)⟩

The dimension is four.

Two.III.2.20 §III.2 source ↗

Find the dimension of the vector space of matrices

(abcd)

subject to each condition.

(a)

a,b,c,d∈ℝ

(b)

a−b+2c=0 and d∈ℝ

(c)

a+b+c=0⁠, a+b−c=0⁠, and d∈ℝ

Answer (3 parts)

(a)

As in the prior exercise, the space ℳ2×2 of matrices without restriction has this basis

⟨(1000),(0100),(0010),(0001)⟩

and so the dimension is four.

(b)

For this space

{(abcd)|a=b−2c and d∈ℝ}={b⋅(1100)+c⋅(−2010)+d⋅(0001)|b,c,d∈ℝ}

this is a natural basis.

⟨(1100),(−2010),(0001)⟩

The dimension is three.

(c)

Gauss’s Method applied to the two-equation linear system gives that c=0 and that a=−b⁠. Thus, we have this description

{(−bb0d)|b,d∈ℝ}={b⋅(−1100)+d⋅(0001)|b,d∈ℝ}

and so this is a natural basis.

⟨(−1100),(0001)⟩

The dimension is two.

Two.III.2.21 §III.2 source ↗

Find the dimension of this subspace of ℝ2⁠.

S={(a+ba+c)|a,b,c∈ℝ}

Answer

We cannot simply count the parameters. That is, the answer is not 3⁠. Instead, observe that we can express every member (xy)∈ℝ2 in the form

(xy)=(a+ba+c)

with the choice of a=0⁠, b=x⁠, and c=y (other choices are possible). So S is the set S=ℝ2⁠. It has dimension 2⁠.

Two.III.2.22 §III.2 source ↗

Find the dimension of each.

(a)

The space of cubic polynomials p(x) such that p(7)=0

(b)

The space of cubic polynomials p(x) such that p(7)=0 and p(5)=0

(c)

The space of cubic polynomials p(x) such that p(7)=0⁠, p(5)=0⁠, and p(3)=0

(d)

The space of cubic polynomials p(x) such that p(7)=0⁠, p(5)=0⁠, p(3)=0⁠, and p(1)=0

Answer (5 parts)

The bases for these spaces are developed in the answer set of the prior subsection.

(a)

One basis is ⟨−7+x,−49+x2,−343+x3⟩⁠. The dimension is three.

(b)

One basis is ⟨35−12x+x2,420−109x+x3⟩ so the dimension is two.

(c)

A basis is {−105+71x−15x2+x3}⁠. The dimension is one.

(d)

This is the trivial subspace of 𝒫3 and so the basis is empty. The dimension is zero.

Two.III.2.23 §III.2 source ↗

What is the dimension of the span of the set {cos2⁡θ, sin2⁡θ, cos⁡2θ, sin⁡2θ}⁠? This span is a subspace of the space of all real-valued functions of one real variable.

Answer

First recall that cos⁡2θ=cos2⁡θ−sin2⁡θ⁠, and so deletion of cos⁡2θ from this set leaves the span unchanged. What’s left, the set {cos2⁡θ,sin2⁡θ,sin⁡2θ}⁠, is linearly independent (consider the relationship c1cos2⁡θ+ c2sin2⁡θ+ c3sin⁡2θ= Z(θ) where Z is the zero function, and then take θ=0⁠, θ=π/4⁠, and θ=π/2 to conclude that each c is zero). It is therefore a basis for its span. That shows that the span is a dimension three vector space.

Two.III.2.24 §III.2 source ↗

Find the dimension of ℂ47⁠, the vector space of 47⁠-tuples of complex numbers.

Answer

Here is a basis

⟨(1+0i,0+0i,…,0+0i),(0+1i,0+0i,…,0+0i),(0+0i,1+0i,…,0+0i),…⟩

and so the dimension is 2⋅47=94⁠.

Two.III.2.25 §III.2 source ↗

What is the dimension of the vector space ℳ3×5 of 3×5 matrices?

Answer

A basis is

⟨(100000000000000),(010000000000000),…,(000000000000001)⟩

and thus the dimension is 3⋅5=15⁠.

Two.III.2.26 §III.2 source ↗

Show that this is a basis for ℝ4⁠.

⟨(1000),(1100),(1110),(1111)⟩

(We can use the results of this subsection to simplify this job.)

Answer

In a four-dimensional space a set of four vectors is linearly independent if and only if it spans the space. The form of these vectors makes linear independence easy to show (look at the equation of fourth components, then at the equation of third components, etc.).

Two.III.2.27 §III.2 source ↗

Decide if each is a basis for 𝒫2⁠.

(a)

{1,x2,x2−x}

(b)

{x2+x,x2−x}

(c)

{2x2+x+1,2x+1,2}

(d)

{3x2,−1,3x,x2−x}

Answer (5 parts)

By the results of this section, because 𝒫2 has dimension 3⁠, to show that a linearly independent set is a basis we need only observe that it has three members. To show a set is not a basis we need only observe that it does not have three members (in this case we don’t have to worry about linear independence).

(a)

This is a basis; it is linearly independent by inspection (the first element has no quadratic or linear term, the second has a quadratic but no linear term, and the third has a linear term) and it has three elements.

(b)

This is not a basis as it has only two elements.

(c)

This three-element set is a basis.

(d)

This is not a basis as it has four elements.

Two.III.2.28 §III.2 source ↗

Refer to Example 2.11.

(a)

Sketch a similar subspace diagram for 𝒫2⁠.

(b)

Sketch one for ℳ2×2⁠.

Answer (2 parts)

(a)

The diagram for 𝒫2 has four levels. The top level has the only three-dimensional subspace, 𝒫2 itself. The next level contains the two-dimensional subspaces (not just the linear polynomials; any two-dimensional subspace, like those polynomials of the form ax2+b⁠). Below that are the one-dimensional subspaces. Finally, of course, is the only zero-dimensional subspace, the trivial subspace.

(b)

For ℳ2×2⁠, the diagram has five levels, including subspaces of dimension four through zero.

Two.III.2.29 §III.2 source ↗

Where S is a set, the functions f:S→ℝ form a vector space under the natural operations: the sum f+g is the function given by f+g(s)=f(s)+g(s) and the scalar product is r⋅f(s)=r⋅f(s)⁠. What is the dimension of the space resulting for each domain?

(a)

S={1}

(b)

S={1,2}

(c)

S={1,…,n}

Answer (3 parts)

(a)

One

(b)

Two

(c)

n

Two.III.2.30 §III.2 source ↗

(See Exercise 2.29.) Prove that this is an infinite-dimensional space: the set of all functions f:ℝ→ℝ under the natural operations.

Answer

We need only produce an infinite linearly independent set. One is such sequence is ⟨f1,f2,…⟩ where fi:ℝ→ℝ is

fi(x)={1if x=i0otherwise

the function that has value 1 only at x=i⁠.

Two.III.2.31 §III.2 source ↗

(See Exercise 2.29.) What is the dimension of the vector space of functions f:S→ℝ⁠, under the natural operations, where the domain S is the empty set?

Answer

A function is a set of ordered pairs (x,f(x))⁠. So there is only one function with an empty domain, namely the empty set. A vector space with only one element a trivial vector space and has dimension zero.

Two.III.2.32 §III.2 source ↗

Show that any set of four vectors in ℝ2 is linearly dependent.

Answer

Apply Corollary 2.10.

Two.III.2.33 §III.2 source ↗

Show that ⟨α→1,α→2,α→3⟩⊂ℝ3 is a basis if and only if there is no plane through the origin containing all three vectors.

Answer

A plane has the form {p→+ t1v→1+ t2v→2|t1, t2∈ℝ}⁠. (The first chapter also calls this a ‘⁠2⁠-flat’, and contains a discussion of why this is equivalent to the description often taken in Calculus as the set of points (x,y,z) subject to a condition of the form ax+by+cz=d⁠). When the plane passes through the origin we can take the particular vector p→ to be 0→⁠. Thus, in the language we have developed in this chapter, a plane through the origin is the span of a set of two vectors.

Now for the statement. Asserting that the three are not coplanar is the same as asserting that no vector lies in the span of the other two — no vector is a linear combination of the other two. That’s simply an assertion that the three-element set is linearly independent. By Corollary 2.14, that’s equivalent to an assertion that the set is a basis for ℝ3 (more precisely, any sequence made from the set’s elements is a basis).

Two.III.2.34 §III.2 source ↗

Prove that any subspace of a finite dimensional space is finite dimensional.

Answer

Let the space V be finite dimensional and let S be a subspace of V⁠.

If S is not finite dimensional then it has a linearly independent set that is infinite (start with the empty set and iterate adding vectors that are not linearly dependent on the set; this process can continue for infinitely many steps or else S would be finite dimensional). But any linearly independent subset of S is a linearly independent subset of V⁠, contradicting Corollary 2.10

Two.III.2.35 §III.2 source ↗

Where is the finiteness of B used in Theorem 2.4?

Answer

It ensures that we exhaust the β→⁠’s. That is, it justifies the first sentence of the last paragraph.

Two.III.2.36 §III.2 source ↗

Prove that if U and W are both three-dimensional subspaces of ℝ5 then U∩W is non-trivial. Generalize.

Answer

Let BU be a basis for U and let BW be a basis for W⁠. Consider the concatenation of the two basis sequences. If there is a repeated element then the intersection U∩W is nontrivial. Otherwise, the set BU∪BW is linearly dependent as it is a six member subset of the five-dimensional space ℝ5⁠. In either case some member of BW is in the span of BU⁠, and thus U∩W is more than just the trivial space {0→}⁠.

Generalization: if U,W are subspaces of a vector space of dimension n and if dim⁡(U)+dim⁡(W)>n then they have a nontrivial intersection.

Two.III.2.37 §III.2 source ↗

A basis for a space consists of elements of that space. So we are naturally led to how the property ‘is a basis’ interacts with operations ⊆ and ∩ and ∪⁠. (Of course, a basis is actually a sequence that it is ordered, but there is a natural extension of these operations.)

(a)

Consider first how bases might be related by ⊆⁠. Assume that U,W are subspaces of some vector space and that U⊆W⁠. Can there exist bases BU for U and BW for W such that BU⊆BW⁠? Must such bases exist?

For any basis BU for U⁠, must there be a basis BW for W such that BU⊆BW⁠?

For any basis BW for W⁠, must there be a basis BU for U such that BU⊆BW⁠?

For any bases BU,BW for U and W⁠, must BU be a subset of BW⁠?

(b)

Is the ∩ of bases a basis? For what space?

(c)

Is the ∪ of bases a basis? For what space?

(d)

What about the complement operation?

(Hint. Test any conjectures against some subspaces of ℝ3⁠.)

Answer (5 parts)

First, note that a set is a basis for some space if and only if it is linearly independent, because in that case it is a basis for its own span.

(a)

The answer to the question in the second paragraph is “yes” (implying “yes” answers for both questions in the first paragraph). If BU is a basis for U then BU is a linearly independent subset of W⁠. Apply Corollary 2.12 to expand it to a basis for W⁠. That is the desired BW⁠.

The answer to the question in the third paragraph is “no”, which implies a “no” answer to the question of the fourth paragraph. Here is an example of a basis for a superspace with no sub-basis forming a basis for a subspace: in W=ℝ2⁠, consider the standard basis ℰ2⁠. No sub-basis of ℰ2 forms a basis for the subspace U of ℝ2 that is the line y=x⁠.

(b)

It is a basis (for its span) because the intersection of linearly independent sets is linearly independent (the intersection is a subset of each of the linearly independent sets).

It is not, however, a basis for the intersection of the spaces. For instance, these are bases for ℝ2⁠:

B1=⟨(10),(01)⟩andB2=⟨[⟩r](20),(02)

and ℝ2∩ℝ2=ℝ2⁠, but B1∩B2 is empty. All we can say is that the ∩ of the bases is a basis for a subset of the intersection of the spaces.

(c)

The ∪ of bases need not be a basis: in ℝ2

B1=⟨(10),(11)⟩andB2=⟨(10),(02)⟩

B1∪B2 is not linearly independent. A necessary and sufficient condition for a ∪ of two bases to be a basis

B1∪B2 is linearly independent ⟺[B1∩B2]=[B1]∩[B2]

it is easy enough to prove (but perhaps hard to apply).

(d)

The complement of a basis cannot be a basis because it contains the zero vector.

Two.III.2.38 §III.2 source ↗

Consider how ‘dimension’ interacts with ‘subset’. Assume U and W are both subspaces of some vector space, and that U⊆W⁠.

(a)

Prove that dim⁡(U)≤dim⁡(W)⁠.

(b)

Prove that equality of dimension holds if and only if U=W⁠.

(c)

Show that the prior item does not hold if they are infinite-dimensional.

Answer (3 parts)

(a)

A basis for U is a linearly independent set in W and so can be expanded via Corollary 2.12 to a basis for W⁠. The second basis has at least as many members as the first.

(b)

One direction is clear: if V=W then they have the same dimension. For the converse, let BU be a basis for U⁠. It is a linearly independent subset of W and so can be expanded to a basis for W⁠. If dim⁡(U)=dim⁡(W) then this basis for W has no more members than does BU and so equals BU⁠. Since U and W have the same bases, they are equal.

(c)

Let W be the space of finite-degree polynomials and let U be the subspace of polynomials that have only even-powered terms.

U={a0+a1x2+a2x4+⋯+anx2n|a0,…,an∈ℝ}

Both spaces have infinite dimension but U is a proper subspace.

Two.III.2.39 §III.2 source ↗

Here is an alternative proof of this section’s main result, Theorem 2.4. First is an example, then a lemma, then the theorem.

(a)

Express this vector from ℝ3 a as a linear combination of members of the basis.

B=⟨(100),(110),(002)⟩v→=(120)

(b)

In that combination pick a basis vector with a non-zero coefficient. Alter B by exchanging v→ for that basis vector, to get a new sequence Bˆ⁠. Check that Bˆ is also a basis for ℝ3⁠.

(c)

(Exchange Lemma) Assume that B=⟨β→1,…,β→n⟩ is a basis for a vector space, and that for the vector v→ the relationship v→=c1β→1+c2β→2+⋯+cnβ→n has ci≠0⁠. Prove that exchanging v→ for β→i yields another basis for the space.

(d)

Use that, with induction, to prove Theorem 2.4.

Answer (4 parts)

(a)

(120)= (−1)⋅(100)+ 2(110)+ 0⋅(002)

(b)

Two of the basis vectors are associated with non-zero coefficients. We can for instance pick the first.

Bˆ=⟨(120),(110),(002)⟩

Checking that it is another basis for ℝ3 is routine.

(c)

Call the outcome of the exchange Bˆ= ⟨β→1, …, β→i−1, v→, β→i+1, …, β→n⟩⁠. We first show that Bˆ is linearly independent. Any relationship d1β→1+⋯+div→+⋯+dnβ→n=0→ among the members of Bˆ⁠, after substitution for v→⁠,

d1β→1+⋯+di⋅(c1β→1+⋯+ciβ→i+⋯+cnβ→n)+⋯+dnβ→n=0→(∗)

gives a linear relationship among the members of B⁠. The basis B is linearly independent so the coefficient dici of β→i is zero. Because we assumed that ci is nonzero, di=0⁠. Using this in equation (∗) gives that all of the other d⁠’s are also zero. Therefore Bˆ is linearly independent.

We finish by showing that Bˆ has the same span as B⁠. Half of this argument, that [Bˆ]⊆[B]⁠, is easy; we can write any member d1β→1+⋯+div→+⋯+dnβ→n of [Bˆ] as d1β→1+ ⋯+ di⋅(c1β→1+⋯+cnβ→n)+ ⋯+ dnβ→n⁠, which is a linear combination of linear combinations of members of B⁠, and hence is in [B]⁠. For the [B]⊆[Bˆ] half of the argument, recall that if v→=c1β→1+⋯+cnβ→n with ci≠0 then we can rearrange the equation to β→i= (−c1/ci)β→1+ ⋯+ (1/ci)v→+ ⋯+ (−cn/ci)β→n⁠. Now, consider any member d1β→1+⋯+diβ→i+⋯+dnβ→n of [B]⁠, substitute for β→i its expression as a linear combination of the members of Bˆ⁠, and recognize, as in the first half of this argument, that the result is a linear combination of linear combinations of members of Bˆ⁠, and hence is in [Bˆ]⁠.

(d)

Fix a vector space with at least one finite basis. Choose, from among all of this space’s bases, one B=⟨β→1,…,β→n⟩ of minimal size. We will show that any other basis D=⟨δ→1,δ→2,…⟩ also has the same number of members, n⁠. Because B has minimal size, D has no fewer than n⁠ vectors. We will argue that it cannot have more than n vectors.

The basis B spans the space and δ→1 is in the space, so δ→1 is a nontrivial linear combination of elements of B⁠. By the Exchange Lemma, we can swap δ→1 for a vector from B⁠, resulting in a basis B1⁠, where one element is δ→1 and all of the n−1 other elements are β→⁠’s.

The prior paragraph forms the basis step for an induction argument. The inductive step starts with a basis Bk (for 1≤k<n⁠) containing k members of D and n−k members of B⁠. We know that D has at least n members so there is a δ→k+1⁠. Represent it as a linear combination of elements of Bk⁠. The key point: in that representation, at least one of the nonzero scalars must be associated with a β→i or else that representation would be a nontrivial linear relationship among elements of the linearly independent set D⁠. Exchange δ→k+1 for β→i to get a new basis Bk+1 with one δ→ more and one β→ fewer than the previous basis Bk⁠.

Repeat that until no β→⁠’s remain, so that Bn contains δ→1,…,δ→n⁠. Now, D cannot have more than these n vectors because any δ→n+1 that remains would be in the span of Bn (since it is a basis) and hence would be a linear combination of the other δ→⁠’s, contradicting that D is linearly independent.

Two.III.2.40 §III.2 source ↗

[Sheffer] A library has n books and n+1 subscribers. Each subscriber read at least one book from the library. Prove that there must exist two disjoint sets of subscribers who read exactly the same books (that is, the union of the books read by the subscribers in each set is the same).

Answer

(This answer is from a site comment by Yuzhou Gu.) For each person assign a vector v→i∈ℝn⁠, where an entry is 1 if the person reads the book, and 0 otherwise. Because the vectors are linear dependent, we will have a equation of the form ∑aivi=0⁠. Then the set of i such that ai>0 and the set of i such that ai<0 are two disjoint sets with same union of read books.

Two.III.2.41 §III.2 source ↗

[Wohascum no. 47] For any vector v→ in ℝn and any permutation σ of the numbers 1⁠, 2⁠, …, n (that is, σ is a rearrangement of those numbers into a new order), define σ(v→) to be the vector whose components are vσ(1)⁠, vσ(2)⁠, …, and vσ(n) (where σ(1) is the first number in the rearrangement, etc.). Now fix v→ and let V be the span of {σ(v→)|σ permutes 1, …, n}⁠. What are the possibilities for the dimension of V⁠?

Answer

The possibilities for the dimension of V are 0⁠, 1⁠, n−1⁠, and n⁠.

To see this, first consider the case when all the coordinates of v→ are equal.

v→=(zz⋮z)

Then σ(v→)=v→ for every permutation σ⁠, so V is just the span of v→⁠, which has dimension 0 or 1 according to whether v→ is 0→ or not.

Now suppose not all the coordinates of v→ are equal; let x and y with x≠y be among the coordinates of v→⁠. Then we can find permutations σ1 and σ2 such that

σ1(v→)=(xya3⋮an)andσ2(v→)=(yxa3⋮an)

for some a3,…,an∈ℝ⁠. Therefore,

1y−x(σ1(v→)−σ2(v→))=(−110⋮0)

is in V⁠. That is, e→2−e→1∈V⁠, where e→1⁠, e→2⁠, …, e→n is the standard basis for ℝn⁠. Similarly, e→3−e→2⁠, …, e→n−e→1 are all in V⁠. It is easy to see that the vectors e→2−e→1⁠, e→3−e→2⁠, …, e→n−e→1 are linearly independent (that is, form a linearly independent set), so dim⁡V≥n−1⁠.

Finally, we can write

v→=x1e→1+x2e→2+⋯+xne→n=(x1+x2+⋯+xn)e→1+x2(e→2−e→1)+⋯+xn(e→n−e→1)

This shows that if x1+x2+⋯+xn=0 then v→ is in the span of e→2−e→1⁠, …, en→−e→1 (that is, is in the span of the set of those vectors); similarly, each σ(v→) will be in this span, so V will equal this span and dim⁡V=n−1⁠. On the other hand, if x1+x2+⋯+xn≠0 then the above equation shows that e→1∈V and thus e→1,…,e→n∈V⁠, so V=ℝn and dim⁡V=n⁠.

Two.III.3.16 §III.3 source ↗

Transpose each.

(a)

(2131)

(b)

(2113)

(c)

(143678)

(d)

(000)

(e)

(−1−2)

Answer (5 parts)

(a)

(2311)

(b)

(2113)

(c)

(164738)

(d)

(000)

(e)

(−1−2)

Two.III.3.17 §III.3 source ↗

Decide if the vector is in the row space of the matrix.

(a)

(2131)⁠, (10)

(b)

(013−101−127)⁠, (111)

Answer (2 parts)

(a)

Yes. To see if there are c1 and c2 such that c1⋅(21)+c2⋅(31)=(10)⁠, we solve

2c1+3c2=1c1+c2=0

and get c1=−1 and c2=1⁠. Thus the vector is in the row space.

(b)

No. The equation c1(013)+ c2(−101)+ c3(−127)= (111) has no solution.

(0−1−1110213171)⟶ρ1↔ρ2⟶−3ρ1+ρ3⟶ρ2+ρ3(10210−1−11000−1)

Thus, the vector is not in the row space.

Two.III.3.18 §III.3 source ↗

Decide if the vector is in the column space.

(a)

(1111)⁠, (13)

(b)

(1312041−3−3)⁠, (100)

Answer (2 parts)

(a)

No. To see if there are c1,c2∈ℝ such that

c1(11)+c2(11)=(1−3)

we can use Gauss’s Method on the resulting linear system.

c1+c2=1c1+c2=3⟶−ρ1+ρ2c1+c2=10=2

There is no solution and so the vector is not in the column space.

(b)

Yes. From this relationship

c1(121)+c2(30−3)+c3(14−3)=(100)

we get a linear system that, when we apply Gauss’s Method,

(131120401−3−30)⟶−ρ1+ρ3−2ρ1+ρ2⟶−ρ2+ρ3(13110−62−200−61)

yields a solution. Thus, the vector is in the column space.

Two.III.3.19 §III.3 source ↗

Decide if the vector is in the column space of the matrix.

(a)

(2125)⁠, (1−3)

(b)

(4−82−4)⁠, (01)

(c)

(1−1111−1−1−11)⁠, (200)

Answer (3 parts)

(a)

Yes; we are asking if there are scalars c1 and c2 such that

c1(22)+c2(15)=(1−3)

which gives rise to a linear system

2c1+c2=12c1+5c2=−3⟶−ρ1+ρ22c1+c2=14c2=−4

and Gauss’s Method produces c2=−1 and c1=1⁠. That is, there is indeed such a pair of scalars and so the vector is indeed in the column space of the matrix.

(b)

No; we are asking if there are scalars c1 and c2 such that

c1(42)+c2(−8−4)=(01)

and one way to proceed is to consider the resulting linear system

4c1−8c2=02c1−4c2=1

that is easily seen to have no solution. Another way to proceed is to note that any linear combination of the columns on the left has a second component half as big as its first component, but the vector on the right does not meet that criterion.

(c)

Yes; we can simply observe that the vector is the first column minus the second. Or, failing that, setting up the relationship among the columns

c1(11−1)+c2(−11−1)+c3(1−11)=(200)

and considering the resulting linear system

c1−c2+c3=2c1+c2−c3=0−c1−c2+c3=0⟶ρ1+ρ3−ρ1+ρ2c1−c2+c3=22c2−2c3=−2−2c2+2c3=2⟶ρ2+ρ3c1−c2+c3=22c2−2c3=−20=0

gives the additional information (beyond that there is at least one solution) that there are infinitely many solutions. Parametrizing gives c2=−1+c3 and c1=1⁠, and so taking c3 to be zero gives a particular solution of c1=1⁠, c2=−1⁠, and c3=0 (which is, of course, the observation made at the start).

Two.III.3.20 §III.3 source ↗

Find a basis for the row space of this matrix.

(2034011−1310210−4−1)

Answer

A routine Gaussian reduction

(2034011−1310210−4−1)⟶−(1/2)ρ1+ρ4−(3/2)ρ1+ρ3⟶−ρ2+ρ3⟶−ρ3+ρ4(2034011−100−11/2−30000)

suggests this basis ⟨(2034), (011−1), (00−11/2−3)⟩⁠.

Another procedure, perhaps more convenient, is to swap rows first,

⟶ρ1↔ρ4⟶−2ρ1+ρ4−3ρ1+ρ3⟶−ρ2+ρ3⟶−ρ3+ρ4(10−4−1011−1001160000)

leading to the basis ⟨(10−4−1), (011−1), (00116)⟩⁠.

Two.III.3.21 §III.3 source ↗

Find the rank of each matrix.

(a)

(2131−12103)

(b)

(1−123−36−22−4)

(c)

(132511643)

(d)

(000000000)

Answer (4 parts)

(a)

This reduction

⟶−(1/2)ρ1+ρ3−(1/2)ρ1+ρ2⟶−(1/3)ρ2+ρ3(2130−3/21/2004/3)

shows that the row rank, and hence the rank, is three.

(b)

Inspection of the columns shows that the others are multiples of the first (inspection of the rows shows the same thing). Thus the rank is one.

Alternatively, the reduction

(1−123−36−22−4)⟶2ρ1+ρ3−3ρ1+ρ2(1−12000000)

shows the same thing.

(c)

This calculation

(132511643)⟶−6ρ1+ρ3−5ρ1+ρ2⟶−ρ2+ρ3(1320−14−9000)

shows that the rank is two.

(d)

The rank is zero.

Two.III.3.22 §III.3 source ↗

Give a basis for the column space of this matrix. Give the matrix’s rank.

(13−1221100114)

Answer

We want a basis for this span.

[(120),(311),(−111),(204)]⊆ℝ3

The most straightforward approach is to transpose those columns to rows, use Gauss’s Method to find a basis for the span of the rows, and then transpose them back to columns.

(120311−111204)⟶ρ1+ρ3−2ρ1+ρ4−3ρ1+ρ2⟶−(4/5)ρ2+ρ4(3/5)ρ2+ρ3⟶−2ρ3+ρ4(1200−51008/5000)

Discard the zero vector as showing that there was a redundancy among the starting vectors, to get this basis for the column space.

⟨(120),(0−51),(008/5)⟩

The matrix’s rank is the dimension of its column space, so it is three. (It is also equal to the dimension of its row space.)

Two.III.3.23 §III.3 source ↗

Find a basis for the span of each set.

(a)

{(13), (−13), (14), (21)}⊆ℳ1×2

(b)

{(121), (31−1), (1−3−3)}⊆ℝ3

(c)

{1+x,1−x2,3+2x−x2}⊆𝒫3

(d)

{(10131−1), (103214), (−10−5−1−1−9)}⊆ℳ2×3

Answer (4 parts)

(a)

This reduction

(13−131421)⟶−ρ1+ρ3−2ρ1+ρ4ρ1+ρ2⟶(5/6)ρ2+ρ4−(1/6)ρ2+ρ3(13060000)

gives ⟨(13),(06)⟩⁠.

(b)

Transposing and reducing

(12131−11−3−3)⟶−ρ1+ρ3−3ρ1+ρ2(1210−5−40−5−4)⟶−ρ2+ρ3(1210−5−4000)

and then transposing back gives this basis.

⟨(121),(0−5−4)⟩

(c)

Notice first that the surrounding space is as 𝒫3⁠, not 𝒫2⁠. Then, taking the first polynomial 1+1⋅x+0⋅x2+0⋅x3 to be “the same” as the row vector (1100)⁠, etc., leads to

(110010−1032−10)⟶−3ρ1+ρ3−ρ1+ρ2⟶−ρ2+ρ3(11000−1−100000)

which yields the basis ⟨1+x,−x−x2⟩⁠.

(d)

Here “the same” gives

(10131−1103214−10−5−1−1−9)⟶ρ1+ρ3−ρ1+ρ2⟶2ρ2+ρ3(10131−1002−105000000)

leading to this basis.

⟨(10131−1),(002−105)⟩

Two.III.3.24 §III.3 source ↗

Give a basis for the span of each set, in the natural vector space.

(a)

{(113),(−120),(0126)}

(b)

{x+x2,2−2x,7,4+3x+2x2}

Answer (2 parts)

(a)

Transpose the columns to rows, bring to echelon form (and then lose any zero rows), and transpose back to columns.

(113−1200126)⟶ρ1+ρ2⟶−4ρ2+ρ3(11303300−6)

One basis for the span is this.

⟨(113),(033),(00−6)⟩

(b)

As in the prior part we think of those as rows, to take advantage of the work we’ve done with Gauss’s Method.

(0112−20700432)⟶ρ1↔ρ2⟶2ρ1+ρ4−(7/2)ρ1+ρ3⟶−7ρ2+ρ4−7ρ2+ρ3⟶−(5/7)ρ3+ρ4(2−2001100−7000)

One basis for the span of that set is ⟨2−2x,x+x2,−5x2⟩⁠.

Two.III.3.25 §III.3 source ↗

Which matrices have rank zero? Rank one?

Answer

Only the zero matrices have rank of zero. The only matrices of rank one have the form

(k1⋅ρ⋮km⋅ρ)

where ρ is some nonzero row vector, and not all of the ki⁠’s are zero. (Remark. We can’t simply say that all of the rows are multiples of the first because the first row might be the zero row. Another Remark. The above also applies with ‘column’ replacing ‘row’.)

Two.III.3.26 §III.3 source ↗

Given a,b,c∈ℝ⁠, what choice of d will cause this matrix to have the rank of one?

(abcd)

Answer

If a≠0 then a choice of d=(c/a)b will make the second row be a multiple of the first, specifically, c/a times the first. If a=0 and b=0 then any non-⁠0 choice for d will ensure that the second row is nonzero. If a=0 and b≠0 and c=0 then any choice for d will do, since the matrix will automatically have rank one (even with the choice of d=0⁠). Finally, if a=0 and b≠0 and c≠0 then no choice for d will suffice because the matrix is sure to have rank two.

Two.III.3.27 §III.3 source ↗

Find the column rank of this matrix.

(13−1504201041)

Answer

The column rank is two. One way to see this is by inspection — the column space consists of two-tall columns and so can have a dimension of at least two, and we can easily find two columns that together form a linearly independent set (the fourth and fifth columns, for instance). Another way to see this is to recall that the column rank equals the row rank, and to perform Gauss’s Method, which leaves two nonzero rows.

Two.III.3.28 §III.3 source ↗

Show that a linear system with at least one solution has at most one solution if and only if the matrix of coefficients has rank equal to the number of its columns.

Answer

We apply Theorem 3.13. The number of columns of a matrix of coefficients A of a linear system equals the number n of unknowns. A linear system with at least one solution has at most one solution if and only if the space of solutions of the associated homogeneous system has dimension zero (recall: in the ‘⁠General= Particular+ Homogeneous⁠’ equation v→=p→+h→⁠, provided that such a p→ exists, the solution v→ is unique if and only if the vector h→ is unique, namely h→=0→⁠). But that means, by the theorem, that n=r⁠.

Two.III.3.29 §III.3 source ↗

If a matrix is 5×9⁠, which set must be dependent, its set of rows or its set of columns?

Answer

The set of columns must be dependent because the rank of the matrix is at most five while there are nine columns.

Two.III.3.30 §III.3 source ↗

Give an example to show that, despite that they have the same dimension, the row space and column space of a matrix need not be equal. Are they ever equal?

Answer

There is little danger of their being equal since the row space is a set of row vectors while the column space is a set of columns (unless the matrix is 1×1⁠, in which case the two spaces must be equal).

Remark. Consider

A=(1326)

and note that the row space is the set of all multiples of (13) while the column space consists of multiples of

(12)

so we also cannot argue that the two spaces must be simply transposes of each other.

Two.III.3.31 §III.3 source ↗

Show that the set {(1, − 1,2, − 3), (1,1,2,0), (3, − 1,6, − 6)} does not have the same span as {(1,0,1,0),(0,2,0,3)}⁠. What, by the way, is the vector space?

Answer

First, the vector space is the set of four-tuples of real numbers, under the natural operations. Although this is not the set of four-wide row vectors, the difference is slight — it is “the same” as that set. So we will treat the four-tuples like four-wide vectors.

With that, one way to see that (1,0,1,0) is not in the span of the first set is to note that this reduction

(1−12−311203−16−6)⟶−3ρ1+ρ3−ρ1+ρ2⟶−ρ2+ρ3(1−12−302030000)

and this one

(1−12−311203−16−61010)⟶−3ρ1+ρ3−ρ1+ρ4−ρ1+ρ2⟶−(1/2)ρ2+ρ4−ρ2+ρ3⟶ρ3↔ρ4(1−12−3020300−13/20000)

yield matrices differing in rank. This means that addition of (1,0,1,0) to the set of the first three four-tuples increases the rank, and hence the span, of that set. Therefore (1,0,1,0) is not already in the span.

Two.III.3.32 §III.3 source ↗

Show that this set of column vectors

{(d1d2d3)|there are x, y, and z such that: 3x+2y+4z=d1x−z=d22x+2y+5z=d3}

is a subspace of ℝ3⁠. Find a basis.

Answer

It is a subspace because it is the column space of the matrix

(32410−1225)

of coefficients. To find a basis for the column space,

{c1(312)+c2(202)+c3(4−15)|c1,c2,c3∈ℝ}

we eliminate linear relationships among the three column vectors from the spanning set by transposing, reducing,

(3122024−15)⟶−(4/3)ρ1+ρ3−(2/3)ρ1+ρ2⟶−(7/2)ρ2+ρ3(3120−2/32/3000)

omitting the zero row, and transposing back.

⟨(312),(0−2/32/3)⟩

Two.III.3.33 §III.3 source ↗

Show that the transpose operation is linear:

(rA+sB)𝖳=rA𝖳+sB𝖳

for r,s∈ℝ and A,B∈ℳm×n⁠.

Answer

We can do this as a straightforward calculation.

(rA+sB)𝖳=(ra1,1+sb1,1…ra1,n+sb1,n⋮ram,1+sbm,1…ram,n+sbm,n)𝖳=(ra1,1+sb1,1…ram,1+sbm,1⋮ra1,n+sb1,n…ram,n+sbm,n)=(ra1,1…ram,1⋮ra1,n…ram,n)+(sb1,1…sbm,1⋮sb1,n…sbm,n)=rA𝖳+sB𝖳

Two.III.3.34 §III.3 source ↗

In this subsection we have shown that Gaussian reduction finds a basis for the row space.

(a)

Show that this basis is not unique — different reductions may yield different bases.

(b)

Produce matrices with equal row spaces but unequal numbers of rows.

(c)

Prove that two matrices have equal row spaces if and only if after Gauss-Jordan reduction they have the same nonzero rows.

Answer (3 parts)

(a)

These reductions give different bases.

(120121)⟶−ρ1+ρ2(120001)(120121)⟶−ρ1+ρ2⟶2ρ2(120002)

(b)

An easy example is this.

(121314)(121314000)

This is a less simplistic example.

(121314)(121314242435)

(c)

Comment: a matrix’s row space consists row vectors as wide as the matrix and therefore the two matrices must be the same width. However, they might have different heights. For that reason they might not be inter-reducible and might not be row equivalent. So instead of that terminology, this exercise talks about Gauss-Jordan reduction.

The first direction is easy. Assume that A and B have the same nonzero rows in their reduced echelon forms. Since those rows form a basis for their row spaces, they have equal row spaces.

For the other direction assume that matrices A and B have the same row space. They may be the same height, or one may be taller. Suppose that A is at least as tall as B⁠. Get a new matrix Bˆ with the same height as A by filling out B with zero rows. The rowspace of Bˆ is the same as the rowspace of B⁠, and therefore the same as that of A⁠. As A and Bˆ are same-sized and their row spaces are equal, they are row equivalent. Each row equivalence class contains a unique reduced echelon form (Theorem One.III.2.6), so the reduced echelon form of A equals that of Bˆ⁠. Clearly the nonzero rows of the reduced echelon form of Bˆ are the same as the nonzero rows of the reduced echelon form of B⁠, and so A and B have the same nonzero rows in their reduced echelon form.

Two.III.3.35 §III.3 source ↗

Why is there not a problem with Remark 3.15 in the case that r is bigger than n⁠?

Answer

It cannot be bigger.

Two.III.3.36 §III.3 source ↗

Show that the row rank of an m×n matrix is at most m⁠. Is there a better bound?

Answer

The number of rows in a maximal linearly independent set cannot exceed the number of rows. A better bound (the bound that is, in general, the best possible) is the minimum of m and n⁠, because the row rank equals the column rank.

Two.III.3.37 §III.3 source ↗

Show that the rank of a matrix equals the rank of its transpose.

Answer

Because the rows of a matrix A are the columns of A𝖳 the dimension of the row space of A equals the dimension of the column space of A𝖳⁠. But the dimension of the row space of A is the rank of A and the dimension of the column space of A𝖳 is the rank of A𝖳⁠. Thus the two ranks are equal.

Two.III.3.38 §III.3 source ↗

True or false: the column space of a matrix equals the row space of its transpose.

Answer

False. The first is a set of columns while the second is a set of rows.

This example, however,

A=(123456),A𝖳=(142536)

indicates that as soon as we have a formal meaning for “the same”, we can apply it here:

Columnspace⁡(A)=[{(14),(25),(36)}]

while

Rowspace⁡(A𝖳)=[{(14),(25),(36)}]

are “the same” as each other.

Two.III.3.39 §III.3 source ↗

We have seen that a row operation may change the column space. Must it?

Answer

No. Here, Gauss’s Method does not change the column space.

(1031)⟶−3ρ1+ρ2(1001)

Two.III.3.40 §III.3 source ↗

Prove that a linear system has a solution if and only if that system’s matrix of coefficients has the same rank as its augmented matrix.

Answer

A linear system

c1a→1+⋯+cna→n=d→

has a solution if and only if d→ is in the span of the set {a→1,…,a→n}⁠. That’s true if and only if the column rank of the augmented matrix equals the column rank of the matrix of coefficients. Since rank equals the column rank, the system has a solution if and only if the rank of its augmented matrix equals the rank of its matrix of coefficients.

Two.III.3.41 §III.3 source ↗

An m×n matrix has full row rank if its row rank is m⁠, and it has full column rank if its column rank is n⁠.

(a)

Show that a matrix can have both full row rank and full column rank only if it is square.

(b)

Prove that the linear system with matrix of coefficients A has a solution for any d1⁠, …, dn⁠’s on the right side if and only if A has full row rank.

(c)

Prove that a homogeneous system has a unique solution if and only if its matrix of coefficients A has full column rank.

(d)

Prove that the statement “if a system with matrix of coefficients A has any solution then it has a unique solution” holds if and only if A has full column rank.

Answer (4 parts)

(a)

Row rank equals column rank so each is at most the minimum of the number of rows and columns. Hence both can be full only if the number of rows equals the number of columns. (Of course, the converse does not hold: a square matrix need not have full row rank or full column rank.)

(b)

If A has full row rank then, no matter what the right-hand side, Gauss’s Method on the augmented matrix ends with a leading one in each row and none of those leading ones in the furthest right column (the “augmenting” column). Back substitution then gives a solution.

On the other hand, if the linear system lacks a solution for some right-hand side it can only be because Gauss’s Method leaves some row so that it has all zeroes on the left of the “augmenting” bar and has a nonzero entry on the right. Thus, if A does not have a solution for some right-hand sides, then A does not have full row rank because some of its rows have been eliminated.

(c)

The matrix A has full column rank if and only if its columns form a linearly independent set. That’s equivalent to the existence of only the trivial linear relationship among the columns, so the only solution of the system is where each variable is 0⁠.

(d)

The matrix A has full column rank if and only if the set of its columns is linearly independent, and so forms a basis for its span. That’s equivalent to the existence of a unique linear representation of all vectors in that span. That proves it, since any linear representation of a vector in the span is a solution of the linear system.

Two.III.3.42 §III.3 source ↗

How would the conclusion of Lemma 3.3 change if Gauss’s Method were changed to allow multiplying a row by zero?

Answer

Instead of the row spaces being the same, the row space of B would be a subspace (possibly equal to) the row space of A⁠.

Two.III.3.43 §III.3 source ↗

What is the relationship between rank⁡(A) and rank⁡(−A)⁠? Between rank⁡(A) and rank⁡(kA)⁠? What, if any, is the relationship between rank⁡(A)⁠, rank⁡(B)⁠, and rank⁡(A+B)⁠?

Answer

Clearly rank⁡(A)=rank⁡(−A) as Gauss’s Method allows us to multiply all rows of a matrix by −1⁠. In the same way, when k≠0 we have rank⁡(A)=rank⁡(kA)⁠.

Addition is more interesting. The rank of a sum can be smaller than the rank of the summands.

(1234)+(−1−2−3−4)=(0000)

The rank of a sum can be bigger than the rank of the summands.

(1200)+(0034)=(1234)

But there is an upper bound (other than the size of the matrices). In general, rank⁡(A+B)≤rank⁡(A)+ rank⁡(B)⁠.

To prove this, note that we can perform Gaussian elimination on A+B in either of two ways: we can first add A to B and then apply the appropriate sequence of reduction steps

(A+B)⟶step1⋯⟶stepkechelon form

or we can get the same results by performing step1 through stepk separately on A and B⁠, and then adding. The largest rank that we can end with in the second case is clearly the sum of the ranks. (The matrices above give examples of both possibilities, rank⁡(A+B)< rank⁡(A)+ rank⁡(B) and rank⁡(A+B)= rank⁡(A)+ rank⁡(B)⁠, happening.)

Two.III.4.20 §III.4 source ↗

Decide if ℝ2 is the direct sum of each W1 and W2⁠.

(a)

W1={(x0)|x∈ℝ}⁠, W2={(xx)|x∈ℝ}

(b)

W1={(ss)|s∈ℝ}⁠, W2={(s1.1s)|s∈ℝ}

(c)

W1=ℝ2⁠, W2={0→}

(d)

W1=W2={(tt)|t∈ℝ}

(e)

W1={(10)+(x0)|x∈ℝ}⁠, W2={(−10)+(0y)|y∈ℝ}

Answer (6 parts)

With each of these we can apply Lemma 4.15.

(a)

Yes. The plane is the sum of this W1 and W2 because for any scalars a and b

(ab)=(a−b0)+(bb)

shows that the general vector is a sum of vectors from the two parts. And, these two subspaces are (different) lines through the origin, and so have a trivial intersection.

(b)

Yes. To see that any vector in the plane is a combination of vectors from these parts, consider this relationship.

(ab)=c1(11)+c2(11.1)

We could now simply note that the set

{(11),(11.1)}

is a basis for the space (because it is clearly linearly independent, and has size two in ℝ2⁠), and thus there is one and only one solution to the above equation, implying that all decompositions are unique. Alternatively, we can solve

c1+c2=ac1+1.1c2=b⟶−ρ1+ρ2c1+c2=a0.1c2=−a+b

to get that c2=10(−a+b) and c1=11a−10b⁠, and so we have

(ab)=(11a−10b11a−10b)+(−10a+10b1.1⋅(−10a+10b))

as required. As with the prior answer, each of the two subspaces is a line through the origin, and their intersection is trivial.

(c)

Yes. Each vector in the plane is a sum in this way

(xy)=(xy)+(00)

and the intersection of the two subspaces is trivial.

(d)

No. The intersection is not trivial.

(e)

No. These are not subspaces.

Two.III.4.21 §III.4 source ↗

Show that ℝ3 is the direct sum of the xy⁠-plane with each of these.

(a)

the z⁠-axis

(b)

the line

{(zzz)|z∈ℝ}

Answer (3 parts)

With each of these we can use Lemma 4.15.

(a)

Any vector in ℝ3 can be decomposed as this sum.

(xyz)=(xy0)+(00z)

And, the intersection of the xy⁠-plane and the z⁠-axis is the trivial subspace.

(b)

Any vector in ℝ3 can be decomposed as

(xyz)=(x−zy−z0)+(zzz)

and the intersection of the two spaces is trivial.

Two.III.4.22 §III.4 source ↗

Is 𝒫2 the direct sum of {a+bx2|a,b∈ℝ} and {cx|c∈ℝ}⁠?

Answer

It is. Showing that these two are subspaces is routine. To see that the space is the direct sum of these two, just note that each member of 𝒫2 has the unique decomposition m+nx+px2=(m+px2)+(nx)⁠.

Two.III.4.23 §III.4 source ↗

In 𝒫n⁠, the even polynomials are the members of this set

ℰ={p∈𝒫n|p(−x)=p(x) for all x}

and the odd polynomials are the members of this set.

𝒪={p∈𝒫n|p(−x)=−p(x) for all x}

Show that these are complementary subspaces.

Answer

To show that they are subspaces is routine. We will argue they are complements with Lemma 4.15. The intersection ℰ∩𝒪 is trivial because the only polynomial satisfying both conditions p(−x)=p(x) and p(−x)=−p(x) is the zero polynomial. To see that the entire space is the sum of the subspaces ℰ+𝒪=𝒫n⁠, note that the polynomials p0(x)=1⁠, p2(x)=x2⁠, p4(x)=x4⁠, etc., are in ℰ and also note that the polynomials p1(x)=x⁠, p3(x)=x3⁠, etc., are in 𝒪⁠. Hence any member of 𝒫n is a combination of members of ℰ and 𝒪⁠.

Two.III.4.24 §III.4 source ↗

Which of these subspaces of ℝ3

W1⁠: the x⁠-axis, W2⁠: the y⁠-axis, W3⁠: the z⁠-axis,
W4⁠: the plane x+y+z=0⁠, W5⁠: the yz⁠-plane

can be combined to

(a)

sum to ℝ3⁠?

(b)

direct sum to ℝ3⁠?

Answer (3 parts)

Each of these is ℝ3⁠.

(a)

These are broken into some separate lines for readability.

W1+W2+W3⁠, W1+W2+W3+W4⁠, W1+W2+W3+W5⁠,
W1+W2+W3+W4+W5⁠, W1+W2+W4⁠, W1+W2+W4+W5⁠,
W1+W2+W5⁠, W1+W3+W4⁠, W1+W3+W5⁠, W1+W3+W4+W5⁠,
W1+W4⁠, W1+W4+W5⁠, W1+W5⁠,
W2+W3+W4⁠, W2+W3+W4+W5⁠, W2+W4⁠, W2+W4+W5⁠,
W3+W4⁠, W3+W4+W5⁠,
W4+W5
(b)

W1⊕︎W2⊕︎W3⁠, W1⊕︎W4⁠, W1⊕︎W5⁠, W2⊕︎W4⁠, W3⊕︎W4

Two.III.4.25 §III.4 source ↗

Show that 𝒫n= {a0|a0∈ℝ}⊕︎⋯⊕︎{anxn|an∈ℝ}⁠.

Answer

Clearly each is a subspace. The bases Bi=⟨xi⟩ for the subspaces, when concatenated, form a basis for the whole space.

Two.III.4.26 §III.4 source ↗

What is W1+W2 if W1⊆W2⁠?

Answer

It is W2⁠.

Two.III.4.27 §III.4 source ↗

Does Example 4.5 generalize? That is, is this true or false: if a vector space V has a basis ⟨β→1,…,β→n⟩ then it is the direct sum of the spans of the one-dimensional subspaces V=[{β→1}]⊕︎⋯⊕︎[{β→n}]⁠?

Answer

True by Lemma 4.8.

Two.III.4.28 §III.4 source ↗

Can ℝ4 be decomposed as a direct sum in two different ways? Can ℝ1⁠?

Answer

Two distinct direct sum decompositions of ℝ4 are easy to find. Two such are W1=[{e→1,e→2}] and W2=[{e→3,e→4}]⁠, and also U1=[{e→1}] and U2=[{e→2,e→3,e→4}]⁠. (Many more are possible, for example ℝ4 and its trivial subspace.)

In contrast, any partition of ℝ1⁠’s single-vector basis will give one basis with no elements and another with a single element. Thus any decomposition involves ℝ1 and its trivial subspace.

Two.III.4.29 §III.4 source ↗

This exercise makes the notation of writing ‘⁠+⁠’ between sets more natural. Prove that, where W1,…,Wk are subspaces of a vector space,

W1+⋯+Wk={w→1+w→2+⋯+w→k|w→1∈W1,…,w→k∈Wk},

and so the sum of subspaces is the subspace of all sums.

Answer

Set inclusion one way is easy: {w→1+⋯+w→k|w→i∈Wi} is a subset of [W1∪⋯∪Wk] because each w→1+⋯+w→k is a sum of vectors from the union.

For the other inclusion, to any linear combination of vectors from the union apply commutativity of vector addition to put vectors from W1 first, followed by vectors from W2⁠, etc. Add the vectors from W1 to get a w→1∈W1⁠, add the vectors from W2 to get a w→2∈W2⁠, etc. The result has the desired form.

Two.III.4.30 §III.4 source ↗

(Refer to Example 4.19. This exercise shows that the requirement that pairwise intersections be trivial is genuinely stronger than the requirement only that the intersection of all of the subspaces be trivial.) Give a vector space and three subspaces W1⁠, W2⁠, and W3 such that the space is the sum of the subspaces, the intersection of all three subspaces W1∩W2∩W3 is trivial, but the pairwise intersections W1∩W2⁠, W1∩W3⁠, and W2∩W3 are nontrivial.

Answer

One example is to take the space to be ℝ3⁠, and to take the subspaces to be the xy⁠-plane, the xz⁠-plane, and the yz⁠-plane.

Two.III.4.31 §III.4 source ↗

Prove that if V=W1⊕︎⋯⊕︎Wk then Wi∩Wj is trivial whenever i≠j⁠. This shows that the first half of the proof of Lemma 4.15 extends to the case of more than two subspaces. (Example 4.19 shows that this implication does not reverse; the other half does not extend.)

Answer

Of course, the zero vector is in all of the subspaces, so the intersection contains at least that one vector.. By the definition of direct sum the set {W1,…,Wk} is independent and so no nonzero vector of Wi is a multiple of a member of Wj⁠, when i≠j⁠. In particular, no nonzero vector from Wi equals a member of Wj⁠.

Two.III.4.32 §III.4 source ↗

Recall that no linearly independent set contains the zero vector. Can an independent set of subspaces contain the trivial subspace?

Answer

It can contain a trivial subspace; this set of subspaces of ℝ3 is independent: {{0→},x-axis}⁠. No nonzero vector from the trivial space {0→} is a multiple of a vector from the x⁠-axis, simply because the trivial space has no nonzero vectors to be candidates for such a multiple (and also no nonzero vector from the x⁠-axis is a multiple of the zero vector from the trivial subspace).

Two.III.4.33 §III.4 source ↗

Does every subspace have a complement?

Answer

Yes. For any subspace of a vector space we can take any basis ⟨ω→1,…,ω→k⟩ for that subspace and extend it to a basis ⟨ω→1,…,ω→k,β→k+1,…,β→n⟩ for the whole space. Then the complement of the original subspace has this basis ⟨β→k+1,…,β→n⟩⁠.

Two.III.4.34 §III.4 source ↗

Let W1,W2 be subspaces of a vector space.

(a)

Assume that the set S1 spans W1⁠, and that the set S2 spans W2⁠. Can S1∪S2 span W1+W2⁠? Must it?

(b)

Assume that S1 is a linearly independent subset of W1 and that S2 is a linearly independent subset of W2⁠. Can S1∪S2 be a linearly independent subset of W1+W2⁠? Must it?

Answer (2 parts)

(a)

It must. We can write any member of W1+W2 as w→1+w→2 where w→1∈W1 and w→2∈W2⁠. As S1 spans W1⁠, the vector w→1 is a combination of members of S1⁠. Similarly w→2 is a combination of members of S2⁠.

(b)

An easy way to see that it can be linearly independent is to take each to be the empty set. On the other hand, in the space ℝ1⁠, if W1=ℝ1 and W2=ℝ1 and S1={1} and S2={2}⁠, then their union S1∪S2 is not independent.

Two.III.4.35 §III.4 source ↗

When we decompose a vector space as a direct sum, the dimensions of the subspaces add to the dimension of the space. The situation with a space that is given as the sum of its subspaces is not as simple. This exercise considers the two-subspace special case.

(a)

For these subspaces of ℳ2×2 find W1∩W2⁠, dim⁡(W1∩W2)⁠, W1+W2⁠, and dim⁡(W1+W2)⁠.

W1={(00cd)|c,d∈ℝ}W2={(0bc0)|b,c∈ℝ}

(b)

Suppose that U and W are subspaces of a vector space. Suppose that the sequence ⟨β→1,…,β→k⟩ is a basis for U∩W⁠. Finally, suppose that the prior sequence has been expanded to give a sequence ⟨μ→1,…,μ→j,β→1,…,β→k⟩ that is a basis for U⁠, and a sequence ⟨β→1,…,β→k,ω→1,…,ω→p⟩ that is a basis for W⁠. Prove that this sequence

⟨μ→1,…,μ→j,β→1,…,β→k,ω→1,…,ω→p⟩

is a basis for the sum U+W⁠.

(c)

Conclude that dim⁡(U+W)= dim⁡(U)+ dim⁡(W)− dim⁡(U∩W)⁠.

(d)

Let W1 and W2 be eight-dimensional subspaces of a ten-dimensional space. List all values possible for dim⁡(W1∩W2)⁠.

Answer (4 parts)

(a)

The intersection and sum are

{(00c0)|c∈ℝ}{(0bcd)|b,c,d∈ℝ}

which have dimensions one and three.

(b)

We write BU∩W for the basis for U∩W⁠, we write BU for the basis for U⁠, we write BW for the basis for W⁠, and we write BU+W for the basis under consideration.

To see that BU+W spans U+W⁠, observe that we can write any vector cu→+dw→ from U+W as a linear combination of the vectors in BU+W⁠, simply by expressing u→ in terms of BU and expressing w→ in terms of BW⁠.

We finish by showing that BU+W is linearly independent. Consider

c1μ→1+⋯+cj+1β→1+⋯+cj+k+pω→p=0→

which can be rewritten in this way.

c1μ→1+⋯+cjμ→j=−cj+1β→1−⋯−cj+k+pω→p

Note that the left side sums to a vector in U while right side sums to a vector in W⁠, and thus both sides sum to a member of U∩W⁠. Since the left side is a member of U∩W⁠, it is expressible in terms of the members of BU∩W⁠, which gives the combination of μ→⁠’s from the left side above as equal to a combination of β→⁠’s. But, the fact that the basis BU is linearly independent shows that any such combination is trivial, and in particular, the coefficients c1⁠, …, cj from the left side above are all zero. Similarly, the coefficients of the ω→⁠’s are all zero. This leaves the above equation as a linear relationship among the β→⁠’s, but BU∩W is linearly independent, and therefore all of the coefficients of the β→⁠’s are also zero.

(c)

Just count the basis vectors in the prior item: dim⁡(U+W)=j+k+p⁠, and dim⁡(U)=j+k⁠, and dim⁡(W)=k+p⁠, and dim⁡(U∩W)=k⁠.

(d)

We know that dim⁡(W1+W2)= dim⁡(W1)+ dim⁡(W2)− dim⁡(W1∩W2)⁠. Because W1⊆W1+W2⁠, we know that W1+W2 must have dimension greater than that of W1⁠, that is, must have dimension eight, nine, or ten. Substituting gives us three possibilities 8=8+8−dim⁡(W1∩W2) or 9=8+8−dim⁡(W1∩W2) or 10=8+8−dim⁡(W1∩W2)⁠. Thus dim⁡(W1∩W2) must be either eight, seven, or six. (Giving examples to show that each of these three cases is possible is easy, for instance in ℝ10⁠.)

Two.III.4.36 §III.4 source ↗

Let V=W1⊕︎⋯⊕︎Wk and for each index i suppose that Si is a linearly independent subset of Wi⁠. Prove that the union of the Si⁠’s is linearly independent.

Answer

Expand each Si to a basis Bi for Wi⁠. The concatenation of those bases B1⌢⋯⌢Bk is a basis for V and thus its members form a linearly independent set. But the union S1∪⋯∪Sk is a subset of that linearly independent set, and thus is itself linearly independent.

Two.III.4.37 §III.4 source ↗

A matrix is symmetric if for each pair of indices i and j⁠, the i,j entry equals the j,i entry. A matrix is antisymmetric if each i,j entry is the negative of the j,i entry.

(a)

Give a symmetric 2×2 matrix and an antisymmetric 2×2 matrix. (Remark. For the second one, be careful about the entries on the diagonal.)

(b)

What is the relationship between a square symmetric matrix and its transpose? Between a square antisymmetric matrix and its transpose?

(c)

Show that ℳn×n is the direct sum of the space of symmetric matrices and the space of antisymmetric matrices.

Answer (3 parts)

(a)

Two such are these.

(1223)(01−10)

For the antisymmetric one, entries on the diagonal must be zero.

(b)

A square symmetric matrix equals its transpose. A square antisymmetric matrix equals the negative of its transpose.

(c)

Showing that the two sets are subspaces is easy. Suppose that A∈ℳn×n⁠. To express A as a sum of a symmetric and an antisymmetric matrix, we observe that

A=(1/2)(A+A𝖳)+(1/2)(A−A𝖳)

and note the first summand is symmetric while the second is antisymmetric. Thus ℳn×n is the sum of the two subspaces. To show that the sum is direct, assume a matrix A is both symmetric A=A𝖳 and antisymmetric A=−A𝖳⁠. Then A=−A and so all of A⁠’s entries are zeroes.

Two.III.4.38 §III.4 source ↗

Let W1,W2,W3 be subspaces of a vector space. Prove that (W1∩W2)+ (W1∩W3)⊆W1∩(W2+W3)⁠. Does the inclusion reverse?

Answer

Assume that v→∈(W1∩W2)+(W1∩W3)⁠. Then v→=w→2+w→3 where w→2∈W1∩W2 and w→3∈W1∩W3⁠. Note that w→2,w→3∈W1 and, as a subspace is closed under addition, w→2+w→3∈W1⁠. Thus v→=w→2+w→3∈W1∩(W2+W3)⁠.

This example proves that the inclusion may be strict: in ℝ2 take W1 to be the x⁠-axis, take W2 to be the y⁠-axis, and take W3 to be the line y=x⁠. Then W1∩W2 and W1∩W3 are trivial and so their sum is trivial. But W2+W3 is all of ℝ2 so W1∩(W2+W3) is the x⁠-axis.

Two.III.4.39 §III.4 source ↗

The example of the x⁠-axis and the y⁠-axis in ℝ2 shows that W1⊕︎W2=V does not imply that W1∪W2=V⁠. Can W1⊕︎W2=V and W1∪W2=V happen?

Answer

It happens when at least one of W1,W2 is trivial. But that is the only way it can happen.

To prove this, assume that both are non-trivial, select nonzero vectors w→1,w→2 from each, and consider w→1+w→2⁠. This sum is not in W1 because w→1+w→2=v→∈W1 would imply that w→2=v→−w→1 is in W1⁠, which violates the assumption of the independence of the subspaces. Similarly, w→1+w→2 is not in W2⁠. Thus there is an element of V that is not in W1∪W2⁠.

Two.III.4.40 §III.4 source ↗

Consider Corollary 4.13. Does it work both ways — that is, supposing that V=W1+⋯+Wk⁠, is V=W1⊕︎⋯⊕︎Wk if and only if dim⁡(V)= dim⁡(W1)+ ⋯+ dim⁡(Wk)⁠?

Answer

Yes. The left-to-right implication is Corollary 4.13. For the other direction, assume that dim⁡(V)= dim⁡(W1)+ ⋯+ dim⁡(Wk)⁠. Let B1,…,Bk be bases for W1,…,Wk⁠. As V is the sum of the subspaces, we can write any v→∈V as v→=w→1+⋯+w→k and expressing each w→i as a combination of vectors from the associated basis Bi shows that the concatenation B1⌢⋯⌢Bk spans V⁠. Now, that concatenation has dim⁡(W1)+⋯+dim⁡(Wk) members, and so it is a spanning set of size dim⁡(V)⁠. The concatenation is therefore a basis for V⁠. Thus V is the direct sum.

Two.III.4.41 §III.4 source ↗

We know that if V=W1⊕︎W2 then there is a basis for V that splits into a basis for W1 and a basis for W2⁠. Can we make the stronger statement that every basis for V splits into a basis for W1 and a basis for W2⁠?

Answer

No. The standard basis for ℝ2 does not split into bases for the complementary subspaces the line x=y and the line x=−y⁠.

Two.III.4.42 §III.4 source ↗

We can ask about the algebra of the ‘⁠+⁠’ operation.

(a)

Is it commutative; is W1+W2=W2+W1⁠?

(b)

Is it associative; is (W1+W2)+W3=W1+(W2+W3)⁠?

(c)

Let W be a subspace of some vector space. Show that W+W=W⁠.

(d)

Must there be an identity element, a subspace I such that I+W=W+I=W for all subspaces W⁠?

(e)

Does left-cancellation hold: if W1+W2=W1+W3 then W2=W3⁠? Right cancellation?

Answer (5 parts)

(a)

Yes, W1+W2=W2+W1 for all subspaces W1,W2 because each side is the span of W1∪W2=W2∪W1⁠.

(b)

This one is similar to the prior one — each side of that equation is the span of (W1∪W2)∪W3=W1∪(W2∪W3)⁠.

(c)

Because this is an equality between sets, we can show that it holds by mutual inclusion. Clearly W⊆W+W⁠. For W+W⊆W just recall that every subset is closed under addition so any sum of the form w→1+w→2 is in W⁠.

(d)

In each vector space, the identity element with respect to subspace addition is the trivial subspace.

(e)

Neither of left or right cancellation needs to hold. For an example, in ℝ3 take W1 to be the xy⁠-plane, take W2 to be the x⁠-axis, and take W3 to be the y⁠-axis.

1 Topic: Fields source ↗

Check that the real numbers form a field.

Answer

Going through the five conditions shows that they are all familiar from elementary mathematics.

2 Topic: Fields source ↗

Prove that these are fields.

(a)

The rational numbers ℚ

(b)

The complex numbers ℂ

Answer

As with the prior question, going through the five conditions shows that for both of these structures, the properties are familiar.

3 Topic: Fields source ↗

Give an example that shows that the integer number system is not a field.

Answer

The integers fail condition (5). For instance, there is no multiplicative inverse for 2 — while 2 is an integer, 1/2 is not.

4 Topic: Fields source ↗

Check that the set 𝔹={0,1} is a field under the operations listed above,

Answer

We can do these checks by listing all of the possibilities. For instance, to verify the first half of condition (2) we must check that the structure is closed under addition and that addition is commutative a+b=b+a⁠, we can check both of these for all possible pairs a and b because there are only four such pairs. Similarly, for associativity, there are only eight triples a⁠, b⁠, c⁠, and so the check is not too long. (There are other ways to do the checks; in particular, you may recognize these operations as arithmetic modulo 2⁠. But an exhaustive check is not onerous)

5 Topic: Fields source ↗

Give suitable operations to make the set {0,1,2} a field.

Answer

These will do.

+012
0012
1120
2201
⋅012
0000
1012
2021

As in the prior item, we could verify that they satisfy the conditions by listing all of the cases.

1 Topic: Crystals source ↗

How many fundamental regions are there in one face of a speck of salt? (With a ruler, we can estimate that face is a square that is 0.1⁠ cm on a side.)

Answer

Each fundamental unit is 3.34×10−10⁠ cm, so there are about 0.1/(3.34×10−10) such units. That gives 2.99×108⁠, so there are something like 300,000,000 (three hundred million) regions.

2 Topic: Crystals source ↗

In the graphite picture, imagine that we are interested in a point 5.67⁠ Å ngstroms over and 3.14⁠ Å ngstroms up from the origin.

(a)

Express that point in terms of the basis given for graphite.

(b)

How many hexagonal shapes away is this point from the origin?

(c)

Express that point in terms of a second basis, where the first basis vector is the same, but the second is perpendicular to the first (going up the plane) and of the same length.

Answer (3 parts)

(a)

We solve

c1(1.420)+c2(0.711.23)=(5.673.14)⟹1.42c1+0.71c2=5.671.23c2=3.14

to get c1≈2.74 and c2≈2.55⁠.

(b)

Here is the point located in the lattice. In the picture on the left, superimposed on the unit cell are the two basis vectors β→1 and β→2⁠, and a box showing the offset of 2.55β→1+2.72β→2⁠. The picture on the right shows where that appears inside of the crystal lattice, taking as the origin the lower left corner of the hexagon in the lower left.

So this point is two columns of hexagons over and one hexagon up.

(c)

This second basis

⟨(1.420),(01.42)⟩

makes the computation easier

c1(1.420)+c2(01.42)=(5.673.14)⟹1.42c1=5.671.42c2=3.14

(we get c2≈2.21 and c1≈3.99⁠), but it doesn’t seem to have to do much with the physical structure that we are studying.

3 Topic: Crystals source ↗

Give the locations of the atoms in the diamond cube both in terms of the basis, and in Å ngstroms.

Answer

In terms of the basis the locations of the corner atoms are (0,0,0)⁠, (1,0,0)⁠, …, (1,1,1)⁠. The locations of the face atoms are (0.5,0.5,1)⁠, (1,0.5,0.5)⁠, (0.5,1,0.5)⁠, (0,0.5,0.5)⁠, (0.5,0,0.5)⁠, and (0.5,0.5,0)⁠. The locations of the atoms a quarter of the way down from the top are (0.75,0.75,0.75) and (0.25,0.25,0.25)⁠. The atoms a quarter of the way up from the bottom are at (0.75,0.25,0.25) and (0.25,0.75,0.25)⁠. Converting to Å ngstroms is easy.

4 Topic: Crystals source ↗

This illustrates how we could compute the dimensions of a unit cell from the shape in which a substance crystallizes ([Ebbing], p. 462).

(a)

Recall that there are 6.022×1023 atoms in a mole (this is Avogadro’s number). From that, and the fact that platinum has a mass of 195.08 grams per mole, calculate the mass of each atom.

(b)

Platinum crystallizes in a face-centered cubic lattice with atoms at each lattice point, that is, it looks like the middle picture given above for the diamond crystal. Find the number of platinum’s per unit cell (hint: sum the fractions of platinum’s that are inside of a single cell).

(c)

From that, find the mass of a unit cell.

(d)

Platinum crystal has a density of 21.45 grams per cubic centimeter. From this, and the mass of a unit cell, calculate the volume of a unit cell.

(e)

Find the length of each edge.

(f)

Describe a natural three-dimensional basis.

Answer (6 parts)

(a)

195.08/6.02×1023= 3.239×10−22

(b)

Each platinum atom in the middle of each face is split between two cubes, so that is 6/2=3 atoms so far. Each atom at a corner is split among eight cubes, so that makes an additional 8/8=1⁠ atom, so the total is 4⁠.

(c)

4⋅3.239×10−22= 1.296×10−21

(d)

1.296×10−21/21.45= 6.042×10−23 cubic centimeters

(e)

3.924×10−8 centimeters.

(f)

⟨(3.924×10−800), (03.924×10−80), (003.924×10−8)⟩

1 Topic: Voting Paradoxes source ↗

Here is a reasonable way in which a voter could have a cyclic preference. Suppose that this voter ranks each candidate on each of three criteria.

(a)

Draw up a table with the rows labeled ‘Democrat’, ‘Republican’, and ‘Third’, and the columns labeled ‘character’, ‘experience’, and ‘policies’. Inside each column, rank some candidate as most preferred, rank another as in the middle, and rank the remaining one as least preferred.

(b)

In this ranking, is the Democrat preferred to the Republican in (at least) two out of three criteria, or vice versa? Is the Republican preferred to the Third?

(c)

Does the table that was just constructed have a cyclic preference order? If not, make one that does.

So it is possible for a voter to have a cyclic preference among candidates. The paradox described above, however, is that even if each voter has a straight-line preference list, a cyclic preference can still arise for the entire group.

Answer

This example yields a non-rational preference order for a single voter.

characterexperiencepolicies
Democratmostmiddleleast
Republicanmiddleleastmost
Thirdleastmostmiddle

The Democrat is better than the Republican for character and experience. The Republican wins over the Third for character and policies. And, the Third beats the Democrat for experience and policies.

2 Topic: Voting Paradoxes source ↗

Compute the values in the table of decompositions.

Answer

First, compare the D>R>T decomposition that was covered in the Topic

(−111)=13⋅(111)+23⋅(−110)+23⋅(−101)

with the decomposition of the opposite T>R>D voter.

(1−1−1)=d1⋅(111)+d2⋅(−110)+d3⋅(−101)

Obviously, the second is the negative of the first, and so d1=−1/3⁠, d2=−2/3⁠, and d3=−2/3⁠. This principle holds for any pair of opposite voters, and so we need only do the computation for a voter from the second row, and a voter from the third row. For a positive spin voter in the second row,

c1−c2−c3=1c1+c2=1c1+c3=−1⟶−ρ1+ρ3−ρ1+ρ2⟶(−1/2)ρ2+ρ3c1−c2−c3=12c2+c3=0(3/2)c3=−2

gives c3=−4/3⁠, c2=2/3⁠, and c1=1/3⁠. For a positive spin voter in the third row,

c1−c2−c3=1c1+c2=−1c1+c3=1⟶−ρ1+ρ3−ρ1+ρ2⟶(−1/2)ρ2+ρ3c1−c2−c3=12c2+c3=−2(3/2)c3=1

gives c3=2/3⁠, c2=−4/3⁠, and c1=1/3⁠.

3 Topic: Voting Paradoxes source ↗

Perform the cancellations of opposite preference orders for the Political Science class’s mock election. Are all the remaining preferences from the left three rows of the table or from the right?

Answer

The mock election corresponds to the table on page  in the way shown in the first table, and after cancellation the result is the second table.

positive spinnegative spin
D>R>T
5 voters
T>R>D
2 voters
R>T>D
8 voters
D>T>R
4 voters
T>D>R
8 voters
R>D>T
2 voters
positive spinnegative spin
D>R>T
3 voters
T>R>D
-canceled-
R>T>D
4 voters
D>T>R
-canceled-
T>D>R
6 voters
R>D>T
-canceled-

All three come from the same side of the table (the left), as the result from this Topic says must happen. Now we can tally, using the canceled numbers

to get the same outcome.

4 Topic: Voting Paradoxes source ↗

The necessary condition that a voting paradox can happen only if all three preference lists remaining after cancellation have the same spin is not also sufficient.

(a)

Give an example of a vote where there is a majority cycle and addition of one more voter with the same spin causes the cycle to go away.

(b)

Can the opposite happen; can addition of one voter with a “wrong” spin cause a cycle to appear?

(c)

Give a condition that is both necessary and sufficient to get a majority cycle.

Answer (3 parts)

(a)

A trivial example starts with the zero-voter election, which has a trivial majority cycle, and adds any one voter. A more interesting example takes the Political Science mock election and adds two T>D>R voters (to satisfy the “addition of one more voter” criteria in the question we can add them one at a time). The new voters have positive spin, which is the spin of the votes remaining after cancellation in the original mock election. This is the resulting table of voters and next to it is the result of cancellation.

positive spinnegative spin
D>R>T
5 voters
T>R>D
2 voters
R>T>D
8 voters
D>T>R
4 voters
T>D>R
10 voters
R>D>T
2 voters
positive spinnegative spin
D>R>T
3 voters
T>R>D
-canceled
R>T>D
4 voters
D>T>R
-canceled-
T>D>R
8 voters
R>D>T
-canceled-

This is the election using the canceled numbers.

The majority cycle has indeed disappeared.

(b)

Reverse the prior exercise. That is, add a voter to the result of the prior exercise that cancels the one who made the cycle disappear.

(c)

One such condition is that, after cancellation, all three be nonnegative or all three be nonpositive, and: |c|<|a+b| and |b|<|a+c| and |a|<|b+c|⁠. That follows from this diagram.

5 Topic: Voting Paradoxes source ↗

A one-voter election cannot have a majority cycle because of the requirement that we’ve imposed that the voter’s list must be rational.

(a)

Show that a two-voter election may have a majority cycle. (We consider the group preference a majority cycle if all three group totals are nonnegative or if all three are nonpositive—that is, we allow some zero’s in the group preference.)

(b)

Show that for any number of voters greater than one, there is an election involving that many voters that results in a majority cycle.

Answer (2 parts)

(a)

A two-voter election can have a majority cycle in two ways. First, the two voters could be opposites, resulting after cancellation in the trivial election (with the majority cycle of all zeroes). Second, the two voters could have the same spin but come from different rows, as here.

(b)

There are two cases. An even number of voters can split half and half into opposites, e.g., half the voters are D>R>T and half are T>R>D⁠. Then cancellation gives the trivial election. If the number of voters is greater than one and odd (of the form 2k+1 with k>0⁠) then using the cycle diagram from the proof,

we can take a=k and b=k and c=1⁠. Because k>0⁠, this is a majority cycle.

6 Topic: Voting Paradoxes source ↗

Let U be a subspace of ℝ3⁠. Prove that the set U⟂= {v→|v→∙u→=0 for all u→∈U} of vectors that are perpendicular to each vector in U is also subspace of ℝ3⁠. Does this hold if U is not a subspace?

Answer

It is nonempty because it contains the zero vector. To see that it is closed under linear combinations of two of its members, suppose that v→1 and v→2 are in U⟂ and consider c1v→1+c2v→2⁠. For any u→∈U⁠,

(c1v→1+c2v→2)∙u→=c1(v→1∙u→)+c2(v→2∙u→)=c1⋅0+c2⋅0=0

and so c1v→1+c2v→2∈U⟂⁠.

As to whether it holds if U is a subset but not a subspace, the answer is yes.

1 Topic: Dimensional Analysis source ↗

[de Mestre] Consider a projectile, launched with initial velocity v0⁠, at an angle θ⁠. To study its motion we may guess that these are the relevant quantities.

quantity
dimensional
formula
horizontal position xL1M0T0
vertical position yL1M0T0
initial speed v0L1M0T−1
angle of launch θL0M0T0
acceleration due to gravity gL1M0T−2
time tL0M0T1
(a)

Show that {gt/v0,gx/v02,gy/v02,θ} is a complete set of dimensionless products. (Hint. One way to go is to find the appropriate free variables in the linear system that arises but there is a shortcut that uses the properties of a basis.)

(b)

These two equations of motion for projectiles are familiar: x=v0cos⁡(θ)t and y=v0sin⁡(θ)t−(g/2)t2⁠. Manipulate each to rewrite it as a relationship among the dimensionless products of the prior item.

Answer (2 parts)

(a)

Assuming that this

(L1M0T0)p1(L1M0T0)p2(L1M0T−1)p3(L0M0T0)p4(L1M0T−2)p5(L0M0T1)p6

equals L0M0T0 gives rise to this linear system

p1+p2+p3+p5=0−p3−2p5+p6=0

(there is no restriction on p4⁠). The natural parametrization uses the free variables to give p3=−2p5+p6 and p1=−p2+p5−p6⁠. The resulting description of the solution set

{(p1p2p3p4p5p6)=p2(−110000)+p4(000100)+p5(10−2010)+p6(−101001)|p2,p4,p5,p6∈ℝ}

gives {y/x,θ,xt/v02,v0t/x} as a complete set of dimensionless products (recall that “complete” in this context does not mean that there are no other dimensionless products; it simply means that the set is a basis). This is, however, not the set of dimensionless products that the question asks for.

There are two ways to proceed. The first is to fiddle with the choice of parameters, hoping to hit on the right set. For that, we can do the prior paragraph in reverse. Converting the given dimensionless products gt/v0⁠, gx/v02⁠, gy/v02⁠, and θ into vectors gives this description (note the ?’s where the parameters will go).

{(p1p2p3p4p5p6)= ? (00−1011)+ ? (10−2010)+ ? (01−2010)+p4(000100)|p2,p4,p5,p6∈ℝ}

The p4 is already in place. Examining the rows shows that we can also put in place p6⁠, p1⁠, and p2⁠.

The second way to proceed, following the hint, is to note that the given set is of size four in a four-dimensional vector space and so we need only show that it is linearly independent. That is easily done by inspection, by considering the sixth, first, second, and fourth components of the vectors.

(b)

The first equation can be rewritten

gxv02=gtv0cos⁡θ

so that Buckingham’s function is f1(Π1,Π2,Π3,Π4)= Π2− Π1cos⁡(Π4)⁠. The second equation can be rewritten

gyv02=gtv0sin⁡θ−12(gtv0)2

and Buckingham’s function here is f2(Π1,Π2,Π3,Π4)= Π3− Π1sin⁡(Π4)+ (1/2)Π12⁠.

2 Topic: Dimensional Analysis source ↗

[Einstein] conjectured that the infrared characteristic frequencies of a solid might be determined by the same forces between atoms as determine the solid’s ordinary elastic behavior. The relevant quantities are these.

quantity
dimensional
formula
characteristic frequency νL0M0T−1
compressibility kL1M−1T2
number of atoms per cubic cm NL−3M0T0
mass of an atom mL0M1T0

Show that there is one dimensionless product. Conclude that, in any complete relationship among quantities with these dimensional formulas, k is a constant times ν−2N−1/3m−1⁠. This conclusion played an important role in the early study of quantum phenomena.

Answer

Consider

(L0M0T−1)p1(L1M−1T2)p2(L−3M0T0)p3(L0M1T0)p4=(L0M0T0)

which gives these relations among the powers.

p2−3p3=0−p2+p4=0−p1+2p2=0⟶ρ1↔ρ3⟶ρ2+ρ3−p1+2p2=0−p2+p4=0 −3p3+p4=0

This is the solution space (because we wish to express k as a function of the other quantities, we take p2 as the parameter).

{(211/31)p2|p2∈ℝ}

Thus, Π1=ν2kN1/3m is the dimensionless combination, and we have that k equals ν−2N−1/3m−1 times a constant (the function fˆ is constant since it has no arguments).

3 Topic: Dimensional Analysis source ↗

[Giordano, Wells, Wilde] The torque produced by an engine has dimensional formula L2M1T−2⁠. We may first guess that it depends on the engine’s rotation rate (with dimensional formula L0M0T−1⁠), and the volume of air displaced (with dimensional formula L3M0T0⁠).

(a)

Try to find a complete set of dimensionless products. What goes wrong?

(b)

Adjust the guess by adding the density of the air (with dimensional formula L−3M1T0⁠). Now find a complete set of dimensionless products.

Answer (2 parts)

(a)

Setting

(L2M1T−2)p1(L0M0T−1)p2(L3M0T0)p3=(L0M0T0)

gives this

2p1+3p3=0p1=0−2p1−p2=0

which implies that p1=p2=p3=0⁠. That is, among quantities with these dimensional formulas, the only dimensionless product is the trivial one.

(b)

Setting

(L2M1T−2)p1(L0M0T−1)p2(L3M0T0)p3(L−3M1T0)p4=(L0M0T0)

gives this.

2p1+3p3−3p4=0p1+p4=0−2p1−p2=0⟶ρ1+ρ3(−1/2)ρ1+ρ2⟶ρ2↔ρ32p1+3p3−3p4=0−p2+3p3−3p4=0(−3/2)p3+(5/2)p4=0

Taking p1 as parameter to express the torque gives this description of the solution set.

{(1−2−5/3−1)p1|p1∈ℝ}

Denoting the torque by τ⁠, the rotation rate by r⁠, the volume of air by V⁠, and the density of air by d we have that Π1=τr−2V−5/3d−1⁠, and so the torque is r2V5/3d times a constant.

4 Topic: Dimensional Analysis source ↗

[Tilley] Dominoes falling make a wave. We may conjecture that the wave speed v depends on the spacing d between the dominoes, the height h of each domino, and the acceleration due to gravity g⁠.

(a)

Find the dimensional formula for each of the four quantities.

(b)

Show that {Π1=h/d,Π2=dg/v2} is a complete set of dimensionless products.

(c)

Show that if h/d is fixed then the propagation speed is proportional to the square root of d⁠.

Answer (3 parts)

(a)

These are the dimensional formulas.

quantity
dimensional
formula
speed of the wave vL1M0T−1
separation of the dominoes dL1M0T0
height of the dominoes hL1M0T0
acceleration due to gravity gL1M0T−2
(b)

The relationship

(L1M0T−1)p1(L1M0T0)p2(L1M0T0)p3(L1M0T−2)p4=(L0M0T0)

gives this linear system.

p1+p2+p3+p4=00=0−p1−2p4=0⟶ρ1+ρ4p1+p2+p3+p4=0p2+p3−p4=0

Taking p3 and p4 as parameters, we can describe the solution set in this way.

{(0−110)p3+(−2101)p4|p3,p4∈ℝ}

That gives {Π1=h/d,Π2=dg/v2} as a complete set.

(c)

Buckingham’s Theorem says that v2=dg⋅fˆ(h/d) and so, since g is a constant, if h/d is fixed then v is proportional to d⁠.

5 Topic: Dimensional Analysis source ↗

Prove that the dimensionless products form a vector space under the +→ operation of multiplying two such products and the ⋅→ operation of raising such the product to the power of the scalar. (The vector arrows are a precaution against confusion.) That is, prove that, for any particular homogeneous system, this set of products of powers of m1⁠, …, mk

{m1p1…mkpk|p1, …, pk satisfy the system}

is a vector space under:

m1p1…mkpk+→m1q1…mkqk=m1p1+q1…mkpk+qk

and

r⋅→(m1p1…mkpk)=m1rp1…mkrpk

(assume that all variables represent real numbers).

Answer

Checking the conditions in the definition of a vector space is routine.

6 Topic: Dimensional Analysis source ↗

The advice about apples and oranges is not right. Consider the familiar equations for a circle C=2πr and A=πr2⁠.

(a)

Check that C and A have different dimensional formulas.

(b)

Produce an equation that is not dimensionally homogeneous (i.e., it adds apples and oranges) but is nonetheless true of any circle.

(c)

The prior item asks for an equation that is complete but not dimensionally homogeneous. Produce an equation that is dimensionally homogeneous but not complete.

(Just because the old saying isn’t strictly right doesn’t keep it from being a useful strategy. Dimensional homogeneity is often used to check the plausibility of equations used in models. For an argument that any complete equation can easily be made dimensionally homogeneous, see [Bridgman], Chapter I, especially page 15.)

Answer (3 parts)

(a)

The dimensional formula of the circumference is L⁠, that is, L1M0T0⁠. The dimensional formula of the area is L2⁠.

(b)

One is C+A=2πr+πr2⁠.

(c)

One example is this formula relating the the length of arc subtended by an angle to the radius and the angle measure in radians: ℓ−rθ=0⁠. Both terms in that formula have dimensional formula L1⁠. The relationship holds for some unit systems (inches and radians, for instance) but not for all unit systems (inches and degrees, for instance).

Loading chapter 3…

Exercises and answers are adapted from Linear Algebra by Jim Hefferon, which is free to read and download, and are used under the CC BY-SA 2.5 licence. They are taken from the book’s LaTeX source and set for the web, so they may differ slightly from the printed page. This adaptation is released under the same licence and is neither affiliated with nor endorsed by Jim Hefferon.