Invertible Linear Map Eigenvalue Spectrum Resolvent Set Resolvent Function Approximate Eigenvalue Approximate Point Spectrum Spectral Mapping Theorem Non-emptiness of the Spectrum