Lemma 2
Tag 02G6, permanent. Cite it as [Bourbaki, Tag 02G6].
Théories spectrales, chapter I, § 7. Spectre des endomorphismes des espaces de Banach
Let E be a complex Hilbert space and let be a normal endomorphism of E. Let be a finite family of closed subspaces of E, stable under and pairwise orthogonal, such that . For every , let denote the endomorphism of induced by . One has Sp() Sp(), and for every (Sp()), the endomorphism stabilises the spaces , and coincides with on .
The proof follows that of lemma 1 of I, p. 128, using the remark of 6 of I, p. 110 and prop. 8 of I, p. 112.
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.