Definition 2
Tag 02GB, permanent. Cite it as [Bourbaki, Tag 02GB].
Théories spectrales, chapter I, § 7. Spectre des endomorphismes des espaces de Banach
Let E be a complex Hilbert space and let be an endomorphism of E. The numerical image of is the set of complex numbers of the form , where ranges over the unit sphere of E. We denote by the numerical image of .
The numerical image of is the image of under complex conjugation. For any complex numbers and , the numerical image of is equal to .
Bourbaki sets the proof directly after the statement, and the corpus does not separate them, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.