Definition 3
Tag 02GH, permanent. Cite it as [Bourbaki, Tag 02GH].
Théories spectrales, chapter I, § 7. Spectre des endomorphismes des espaces de Banach
One says that is the absolute value of , and it is denoted by .
In the case where , this definition coincides with that given in Remark 9 of I, p. 119.
For an element of , let us recall (EVT, V, p. 41, Def. 2) that the initial subspace of is the closed subspace Ker() of and the final subspace of is the closed subspace Im() of .
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.