Definition 1
Tag 024S, permanent. Cite it as [Bourbaki, Tag 024S].
Théories spectrales, chapter I, § 1. Spectres et caractères
Let A be a unital algebra over K, and let be its unit element. For every , the spectrum of relative to A is the set of such that is not invertible.
The spectrum of will be denoted by Sp, or Sp() if no confusion can result. The complement of Sp in K is called the resolvent set 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.