Homepage › Solution manuals › Stephen Friedberg › Linear Algebra › Exercise 5.4.21
Exercise 5.4.21
Answers
If we have some vector such that and are not parallel, we know the -cyclic subspace generated by has dimension . This means is a -cyclic subspace of itself generated by . Otherwise for every , we may find some scalar such that . Now, if is a same value for every nonzero vector , then we have . If not, we may find for some nonzero vector and . This means and lies in different eigenspace and so the set is independent. Thus they forms a basis. Now let . We have both
and
By the uniqueness of representation of linear combination, we must have
a contradiction. So in this case we must have .