Definition 2
Tag 02Z9, permanent. Cite it as [Bourbaki, Tag 02Z9].
Théories spectrales, chapter IV, § 2. Endomorphismes normaux
Let A be a commutative unital stellar subalgebra of . For every and in E, the linear form on is called the spectral measure of relative to A. If , it is said to be the spectral measure of relative to A.
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.