We are working through the argument in this note showing that every linear operator in a finite dimensional complex vector space admits an eigenvector. There are two results we need to use along the way, that you have probably seen before:
- Suppose that is an -matrix (that is, rows and columns). The rank-nullity theorem states that .
- Let be a finite dimensional space, and let be subspaces of . The set is also a subspace of , and we have that .
As your first homework set, due February 11, please write proofs of these two results.
You can work in groups, ask other people, look at notes from previous classes, consult notes or books, etc. However, please do write your own version of these arguments. Even if your own version is not as polished or complete or mathematically correct or … as what a book would have. If there are details you do not understand, please indicate so, that’s fine. I want to be able to give you meaningful feedback, and this will be pretty much meaningless and a waste of time if you simply copy someone else’s argument.
Besides writing your own version of these proofs, the only requirement I have is that what you turn in is not your preliminary or scratch work. (If you know , it would be lovely if you could type up your homework, but this is not a requirement.)
Let me know if something needs clarification.