Bourbaki

Exercise 6, § 8

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

Spectral Theories, I, p. 193

Let Δ be the disk ∣ζ∣⩽1|\zeta |\leqslant 1 in C\mathbf{C} and A the Banach algebra of continuous complex-valued functions on Δ analytic in the interior of Δ (example 9 of I, p. 20).

a) If x∈Ax\in A, then xx is the limit in A of the functions

ζ↦xn(ζ)=x(nζn+1) \zeta \mapsto x_n(\zeta ) =x(\frac{n\zeta}{n + 1})

The identity mapping of Δ is a generator of A.

b) The space X(A)\mathsf{X}(A) is canonically identified with Δ. (Use assertion g) of the prop. 1 of I, p. 142.)

c) Let S be a closed subset of Δ, identified with a closed subset of X(A)\mathsf{X}(A). If S possesses a non-isolated point ζ\zeta such that ∣ζ∣<1|\zeta |<1, the closure of S for the Jacobson topology is Δ.

d) For x∈Ax\in A, put x∗(ζ)=x(ζ‾)‾x^*(\zeta ) =\overline{x(\overline{\zeta})}. Then x↦x∗x\mapsto x^* is an isometric involution of A. The hermitian characters of A are defined by the real elements of Δ .

e) The mapping x↦x∣Ux\mapsto x|\mathbf{U} is an isomorphism of A onto P(U)P(\mathbf{U}). Every function of CR(U)\mathscr{C}_{\mathbf{R}}(\mathbf{U}) is a uniform limit of real parts of functions of P(U)P(\mathbf{U}).

Solution

No solution has been written yet.

Cited by

Nothing.

Cites

Nothing.

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