Bourbaki

Exercise 11, § 6

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

Spectral Theories, I, p. 181

Let A be an involutive Banach algebra, whose involution satisfies ∣x∗x∣=∣x∣cdot∣x∗∣\\|x^*x\\|=\\|x\\| \\cdot \\|x^*\\| for all xinAx\\in A. Then A is a star algebra. (We haveSpA′(x∗)='_A(x^*) = Sp∥y2∥=∥′A(x)y∥\|y^2\frac{\| = \|}{_{'A}(x)}y\|for all2^2 for yxyxhermitian, hence∈A\in A, we have therefore ∥y∥=ϱ(y)\|y\|=\varrho (y); observing that

∥x∗∥⋅∥x∥=∥x∗x∥=ϱ(x∗x)⩽ϱ(x∗)ϱ(x)=ϱ(x2)⩽∥x∥2 \|x^*\| \cdot \|x\|=\|x^*x\|=\varrho (x^*x)\leqslant \varrho (x^*)\varrho (x) =\varrho (x^2)\leqslant \|x\|^2

whence ∥x∗∥⩽∥x∥\|x^*\|\leqslant \|x\| and ∥x∗∥=∥x∥.)\|x^*\|=\|x\|.)

Solution

No solution has been written yet.

Cited by

Nothing.

Cites

Nothing.

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