Definition 2
Tag 02CT, permanent. Cite it as [Bourbaki, Tag 02CT].
Théories spectrales, chapter I, § 6. Algèbres stellaires
An involutive normed algebra is a normed algebra A endowed with an involution such that for every . If A is a Banach algebra, one says that A is an involutive Banach algebra.
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.