Spectrum of a bounded operator (source code)

= Spectrum of a bounded operator

For a bounded operator on a complex Banach space, the spectrum is a nonempty compact subset of the complex plane contained in the closed disk of radius equal to the operator norm.