Polynomial approximation on real-analytic varieties in \mathbf {C}^n

From MaRDI portal
Publication:4452249





A compact real-analytic variety in \(\mathbb{C}^n\) is a compact subset \(\Sigma\subset\mathbb{C}^n\) such that for every point \(p\in\Sigma\) there exists an open neighborhood \(V\) of \(p\) and real-analytic functions \(f_1,\dots, f_k\) in \(U\) such that \(\Sigma\cap U= \{x\in U: f_1(x)=\cdots= f_k(x)= 0\}\). By \(C(\Sigma)\) denote the Banach algebra of continuous complex-valued functions on \(\Sigma\) with sup-norm and by \(P(\Sigma)\) the closure of polynomials in \(C(\Sigma)\). The obvious necessary conditions on \(\Sigma\) for \(C(\Sigma)= P(\Sigma)\), i.e. for each continuous \(f\) to be approximable on \(\Sigma\) by polynomials, are: (i) \(\Sigma\) is polynomially convex, i.e. for each point \(P\in \mathbb{C}^n\setminus\Sigma\) there exists a polynomial \(Q\) s.t. \(Q(p)= 1\) and \(\|\rho\|_\Sigma= \sup_{x\in\Sigma} | Q(x)|< 1\); (ii) every point of \(\Sigma\) is a peak point for \(P(\Sigma)\), i.e., given \(P\in\Sigma\) there exists \(f\in P(\Sigma)\) with \(f(p)= 1\) and \(| f|< 1\) on \(\Sigma\setminus\{P\}\). The aim of the paper is to prove that these two conditions are also sufficient: Theorem 1.3. Let \(\Sigma\) be a compact real-analytic variety in \(\mathbb{C}^n\) satisfying (i) and (ii). Then \(P(\Sigma)= C(\Sigma)\).




Cited in
(21)








This page was built for publication: Polynomial approximation on real-analytic varieties in $\mathbf {C}^n$

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4452249)