Bourbaki

Example 6

Tag 02CZ, permanent. Cite it as [Bourbaki, Tag 02CZ].

Théories spectrales, chapter I, § 6. Algèbres stellaires

Let A be an involutive normed algebra and let A~\widetilde{A} be the normed algebra deduced from A by adjunction of a unit element. Endowed with the involution defined in No.o2^o2, the algebra A~\widetilde{A} is an involutive normed algebra. If A is an involutive Banach algebra, then A~\widetilde{A} is likewise an involutive Banach algebra.

If A is an involutive normed algebra, the closure of an involutive subalgebra is an involutive subalgebra. If M⊂AM\subset A, the smallest closed involutive subalgebra containing M is called the closed involutive subalgebra generated by M; it is the closure of the subalgebra generated by M∪M∗M\cup M^*. If M reduces to a normal element, the closed involutive algebra generated by M is commutative, and all its elements are normal.

Analogously, if A is a unital involutive normed algebra and M a subset of A, the smallest closed involutive unital subalgebra containing M is called the closed involutive unital subalgebra generated by M; it is the closure of the unital subalgebra generated by M∪M∗M\cup M^*. If M reduces to a normal element, the closed involutive unital algebra generated by M is commutative, and all its elements are normal.

The quotient of an involutive normed algebra by a closed self-adjoint two-sided ideal, the completion, and the opposite of an involutive normed algebra are naturally involutive normed algebras.

If A is an involutive normed algebra, the set AhA_h of hermitian elements of A is a normed real vector space.

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.

Machine translation of the English, by gpt-5-6-mini, gpt-5.4, against glossary version 34. Not checked by a person. That model is a cut down version of the one the rest of this language was written by.