Let be a (complex) Banach Space and , .
Then is an eigenvalue of if there is some with
Such an is an eigenvector of
is an eigenvalue of if and only if is not injective