The button will add this page to my log of things to fix. Use it for broken links, equations not rendering correctly, etc. Submit other issues on GitHub.
Eigenvalue
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