Bourbaki

Corollary

Tag 0366, permanent. Cite it as [Bourbaki, Tag 0366].

Théories spectrales, chapter IV, § 5. Opérateurs partiels normaux et théorème spectral

Let A be an open set in C\mathbf{C} and n∈Nn\in \mathbf{N}. If A contains nn elements of Sp(uu), then the dimension of the image of the spectral projector pAp_A of uu relative to A is at least equal to nn.

Let λ1,...,λn\lambda_1, . . .,\lambda_n be distinct elements of the spectrum of uu belonging to A. There exists a family (Vi)1⩽i⩽n(V_i)_{1\leqslant i\leqslant n} of pairwise disjoint open sets of C\mathbf{C} such that λi∈Vi\lambda_i\in V_i for 1⩽i⩽n1\leqslant i\leqslant n. Let B be the union of the sets ViV_i. The image of pAp_A contains the image of the spectral projector pBp_B; moreover pBp_B is the sum of the projectors pVip_{V_i}, and since the image of pVip_{V_i} is orthogonal to the image of pVjp_{V_j} for all i≠ji\not =j, the result follows from Prop. 10.

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-6-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.