06.09.2021 Views

Linear Algebra, Theory And Applications, 2012a

Linear Algebra, Theory And Applications, 2012a

Linear Algebra, Theory And Applications, 2012a

SHOW MORE
SHOW LESS

Create successful ePaper yourself

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

10.3. CYCLIC SETS 253<br />

Since β x is independent for each x ≠ 0, it follows that whenever x ≠0,<br />

{<br />

x, Ax, A 2 x, ··· ,A d−1 x }<br />

is linearly independent because, the length of β x is a multiple of d and is therefore, at least<br />

as long as the above list. However, if x ∈ ker (φ (A)) , then β x is equal to the above list.<br />

This is because φ (λ) isofdegreed so β x is no longer than the above list. However, from<br />

the first part β x has length equal to kd for some integer k so it is at least as long.<br />

Suppose now x ∈ U \ W where U ⊆ ker (φ (A)). Consider<br />

{<br />

v1 , ··· ,v s ,x,Ax,A 2 x, ··· ,A d−1 x } .<br />

Is this set of vectors independent? First note that<br />

span ( x, Ax, A 2 x, ··· ,A d−1 x )<br />

is A invariant because, from what was just shown, { x, Ax, A 2 x, ··· ,A d−1 x } = β x and so<br />

A d x is a linear combination of the other vectors in the above list. Suppose now that<br />

s∑<br />

a i v i +<br />

i=1<br />

d∑<br />

d j A j−1 x =0.<br />

j=1<br />

If z ≡ ∑ d<br />

j=1 d jA j−1 x, then z ∈ W ∩span ( x, Ax, ··· ,A d−1 x ) . Then also for each m ≤ d−1,<br />

A m z ∈ W ∩ span ( x, Ax, ··· ,A d−1 x )<br />

because W, span ( x, Ax, ··· ,A d−1 x ) are A invariant, and so<br />

span ( z, Az, ··· ,A d−1 z ) ⊆ W ∩ span ( x, Ax, ··· ,A d−1 x )<br />

⊆ span ( x, Ax, ··· ,A d−1 x ) (10.4)<br />

Suppose z ≠0. Then from the above, { z, Az, ··· ,A d−1 z } must be linearly independent.<br />

Therefore,<br />

d =dim ( span ( z, Az, ··· ,A d−1 z )) ≤ dim ( W ∩ span ( x, Ax, ··· ,A d−1 x ))<br />

≤ dim ( span ( x, Ax, ··· ,A d−1 x )) = d<br />

Thus<br />

span ( z, Az, ··· ,A d−1 z ) ⊆ span ( x, Ax, ··· ,A d−1 x )<br />

and both have the same dimension and so the two sets are equal. It follows from (10.4)<br />

W ∩ span ( x, Ax, ··· ,A d−1 x ) =span ( x, Ax, ··· ,A d−1 x )<br />

which would require x ∈ W but this is assumed not to take place. Hence z =0andsothe<br />

linearly independence of the {v 1 , ··· ,v s } implies each a i =0. Then the linear independence<br />

of { x, Ax, ··· ,A d−1 x } which follows from the first part of the argument shows each d j =0.<br />

Thus { v 1 , ··· ,v s ,x,Ax,··· ,A d−1 x } is linearly independent as claimed.<br />

Let x ∈ U \ W ⊆ ker (φ (A)) . Then it was just shown that {v 1 , ··· ,v s ,β x } is linearly<br />

independent. Recall that β x = { x, Ax, A 2 x, ··· ,A d−1 x } because x ∈ ker (φ (A)). Also, if<br />

y ∈ span ( v 1 , ··· ,v s ,x,Ax,A 2 x, ··· ,A d−1 x ) ≡ W 1

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

Saved successfully!

Ooh no, something went wrong!