Definition 1
Tag 02UE, permanent. Cite it as [Bourbaki, Tag 02UE].
Théories spectrales, chapter III, § 6. Propriétés spectrales des endomorphismes des espaces de Banach
One says that is of finite spectral multiplicity for if the spectral projector is of finite rank; in this case, the integer dim(Im()) is called the spectral multiplicity of for .
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.