Bourbaki

Exercise 14, § 3

Tag 029E, permanent. Cite it as [Bourbaki, Tag 029E].

Spectral Theories, I, p. 168

In C2\mathbf{C}^2, let Ω be the compact set defined by

12⩽∣z1∣2+∣z2∣2⩽1 \frac{1}{2}\leqslant |z_1|^2+|z_2|^2\leqslant 1

and let A be the subalgebra of C(Ω)\mathscr{C}(\Omega ) formed by the functions which are holomorphic in Ω˚\mathring{\Omega}. Let U be the open set defined by ∣z1∣2+∣z2∣2<1|z_1|^2+|z_2|^2<1. By virtue of a theorem of Hartogs (cf. J.-P. Demailly, Complex analytic and differential geometry, Ch. I, th. 3.28) for every f∈Af\in A, there exists one and only one function f~∈C(U)\widetilde{f}\in \mathscr{C}(U) which is holomorphic in U and coincides with ff on Ω. Now prove that the canonical injection of A into C(Ω)\mathscr{C}(\Omega ) is an isometric morphism hh whose image is a full subalgebra of C(Ω)\mathscr{C}(\Omega ), but X(h)\mathsf{X}(h) is not surjective.

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.