Bourbaki

Proposition 6

Tag 02GC, permanent. Cite it as [Bourbaki, Tag 02GC].

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.

a) The set of eigenvalues of uu is contained in ι(u)\iota (u);

b) The spectrum of uu is contained in the closure of ι(u)\iota (u) in C\mathbf{C}.

Let λ\lambda be an eigenvalue of uu and let x∈Ex\in E be a nonzero vector such that u(x)=λxu(x) =\lambda x. Replacing xx by x/∥x∥x/\|x\| if necessary, one may suppose that ∥x∥=1\|x\|= 1. Then ⟨x∣u(x)⟩=λ\langle x|u(x)\rangle =\lambda, hence λ∈ι(u)\lambda \in \iota (u).

Let us prove b). Considering u−λ1Eu-\lambda 1_E, we are reduced to proving that if 0 belongs to the spectrum of uu, then 0 is adherent to ι(u)\iota (u).

Suppose first that there exists a real number c>c > 0 such that ∥u(x)∥⩾c\|u(x)\|\geqslant c for every xx of norm 1 in E. Then the endomorphism uu is injective and closed (Lemma 8 of I, p. 107). Since it is not invertible by hypothesis, it is not surjective. Consequently, the orthogonal complement of the kernel of u∗u^* is not equal to E (EVT, V, p. 41, Prop. 4), which proves that the kernel of u∗u^* is not reduced to 0. Thus 0 belongs to ι(u∗)\iota (u^*), hence to ι(u)\iota (u).

If the preceding assumption is not valid, then for every integer n⩾1n\geqslant 1, there exists a vector xnx_n of norm 1 in E such that ∥u(xn)∥⩽1/n\|u(x_n)\|\leqslant 1/n. We then have ∣⟨xn∣u(xn)⟩∣⩽1/n|\langle x_n|u(x_n)\rangle |\leqslant 1/n, which implies that 0 belongs to the closure of ι(u)\iota (u).

Proposition 7 (Hausdorff-Toeplitz Theorem)

Let E be a complex Hilbert space and let u∈L(E)u\in \mathscr{L}(E). The numerical range ι(u)\iota (u) is a convex subset of C\mathbf{C}.

We shall need two lemmas to prove this proposition.

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.