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
is also a subspace of
.
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 
Let me know if something needs clarification.
A kind of library 