Proposition 4
Tag 02UR, permanent. Cite it as [Bourbaki, Tag 02UR].
Théories spectrales, chapter III, § 6. Propriétés spectrales des endomorphismes des espaces de Banach
Let E be a complete normed space, the dual space of E and an endomorphism of E.
a) One has Sp Sp, Sp Sp for every and Sp;
b) Every point of Sp has the same spectral multiplicity for and for .
Assertion a) of prop. 3 of I, p. 131 proves that Sp() Sp(), and assertion c) of loc. cit. implies that Sp Sp and that assertion b) is valid.
For every , lemma 4 of III, p. 69 implies that is a strict morphism if and only if is one, and that
dim Coker() dim Ker()
dim Ker() dim Coker()
in . Assertion a) follows from this, taking account of the definitions of the various parts of the spectrum (def. 3 of III, p. 85).
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.