Bourbaki

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 uu be an endomorphism of E. The numerical image of uu is the set of complex numbers of the form ⟨x∣u(x)⟩\langle x|u(x)\rangle, where xx ranges over the unit sphere of E. We denote by ι(u)\iota (u) the numerical image of uu.

The numerical image of u∗u^* is the image of ι(u)\iota (u) under complex conjugation. For any complex numbers λ\lambda and μ\mu, the numerical image of λu+μ1E\lambda u+\mu1_E is equal to λι(u)+μ\lambda \iota (u) +\mu.

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.

Machine translation of the English, by gpt-5.4, gpt-5-mini, against glossary version 34. Not checked by a person. That model is a cut down version of the one the rest of this language was written by.