11.04.2014 Views

Linear Algebra Exercises-n-Answers.pdf

Linear Algebra Exercises-n-Answers.pdf

Linear Algebra Exercises-n-Answers.pdf

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

192 <strong>Linear</strong> <strong>Algebra</strong>, by Hefferon<br />

Five.III.1.13 The nullspaces form chains because because if ⃗v ∈ N (t j ) then t j (⃗v) = ⃗0 and t j+1 (⃗v) =<br />

t( t j (⃗v) ) = t(⃗0) = ⃗0 and so ⃗v ∈ N (t j+1 ).<br />

Now, the “further” property for nullspaces follows from that fact that it holds for rangespaces,<br />

along with the prior exercise. Because the dimension of R(t j ) plus the dimension of N (t j ) equals the<br />

dimension n of the starting space V , when the dimensions of the rangespaces stop decreasing, so do<br />

the dimensions of the nullspaces. The prior exercise shows that from this point k on, the containments<br />

in the chain are not proper — the nullspaces are equal.<br />

Five.III.1.14 (Of course, many examples are correct, but here is one.) An example is the shift operator<br />

on triples of reals (x, y, z) ↦→ (0, x, y). The nullspace is all triples that start with two zeros. The map<br />

stabilizes after three iterations.<br />

Five.III.1.15 The differentiation operator d/dx: P 1 → P 1 has the same rangespace as nullspace. For<br />

an example of where they are disjoint — except for the zero vector — consider an identity map (or any<br />

nonsingular map).<br />

Subsection Five.III.2: Strings<br />

Five.III.2.17 Three. It is at least three because l 2 ( (1, 1, 1) ) = (0, 0, 1) ≠ ⃗0. It is at most three because<br />

(x, y, z) ↦→ (0, x, y) ↦→ (0, 0, x) ↦→ (0, 0, 0).<br />

Five.III.2.18 (a) The domain has dimension four. The map’s action is that any vector in the space<br />

c 1· ⃗β 1 +c 2· ⃗β 2 +c 3· ⃗β 3 +c 4· ⃗β 4 is sent to c 1· ⃗β 2 +c 2·⃗0+c 3· ⃗β 4 +c 4·⃗0 = c 1· ⃗β 3 +c 3· ⃗β 4 . The first application<br />

of the map sends two basis vectors β ⃗ 2 and β ⃗ 4 to zero, and therefore the nullspace has dimension two<br />

and the rangespace has dimension two. With a second application, all four basis vectors are sent to<br />

zero and so the nullspace of the second power has dimension four while the rangespace of the second<br />

power has dimension zero. Thus the index of nilpotency is two. This is the canonical form.<br />

⎛ ⎞<br />

0 0 0 0<br />

⎜1 0 0 0<br />

⎟<br />

⎝0 0 0 0⎠<br />

0 0 1 0<br />

(b) The dimension of the domain of this map is six. For the first power the dimension of the<br />

nullspace is four and the dimension of the rangespace is two. For the second power the dimension of<br />

the nullspace is five and the dimension of the rangespace is one. Then the third iteration results in<br />

a nullspace of dimension six and a rangespace of dimension zero. The index of nilpotency is three,<br />

and this is the canonical form. ⎛<br />

⎞<br />

0 0 0 0 0 0<br />

1 0 0 0 0 0<br />

0 1 0 0 0 0<br />

⎜0 0 0 0 0 0<br />

⎟<br />

⎝0 0 0 0 0 0⎠<br />

0 0 0 0 0 0<br />

(c) The dimension of the domain is three, and the index of nilpotency is three. The first power’s<br />

null space has dimension one and its range space has dimension two. The second power’s null space<br />

has dimension two and its range space has dimension one. Finally, the third power’s null space has<br />

dimension three and its range space has dimension zero. Here is the canonical form matrix.<br />

⎛<br />

⎝ 0 0 0<br />

⎞<br />

1 0 0⎠<br />

0 1 0<br />

Five.III.2.19 By Lemma 1.3 the nullity has grown as large as possible by the n-th iteration where n<br />

is the dimension of the domain. Thus, for the 2×2 matrices, we need only check whether the square<br />

is the zero matrix. For the 3×3 matrices, we need only check the cube.<br />

(a) Yes, this matrix is nilpotent because its square is the zero matrix.<br />

(b) No, the square is not the zero matrix.<br />

( ) 2 ( )<br />

3 1 10 6<br />

=<br />

1 3 6 10

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!