scientific article; zbMATH DE number 1173172

From MaRDI portal
Publication:4397678





\textit{M. Tidten} [Arch. Math. 40, 73-81 (1983; Zbl 0508.46015)] has shown that if a compact subset \(E\) of \(\mathbb{R}\) has the extension property for \({\mathcal C}^\infty\) functions on \(E\), then \(E\) is a perfect set of class \(\rho\geq 1\) (Tidten's necessary condition for the existence of a continuous linear extension operator \(T:{\mathcal C}^\infty (E)\to{\mathcal C}^\infty (\mathbb{R})\). Here we prove that \(E\) is a perfect set of the class \(\rho\) iff \(\exists c\leq 1\forall \varepsilon\in (0,1)\forall x\in E\exists x'\in E\) \[ \varepsilon^\rho/c \leq|x-x'|\leq\varepsilon. \] Using a result due to \textit{W. Pleśniak} [Ann. Pol. Math. 51, 269-274 (1990; Zbl 0739.30008)], for each \(\rho>1\), we construct a Cantor set of the class \(\rho\) which does not admit Markov's inequality. By \textit{L. P. Bos} and \textit{P. D. Milman} [Topics in polynomials of one and several variables World Sci. Publ. Singapore 1993, 81-100 (1993)] a compact set \(E\) in \(\mathbb{R}^n\) has the extension property iff it admits Markov's inequality. It follows that Tidten's necessary condition is not sufficient. This paper is also closely related to the article [J. Approximation Theory 69, No. 3, 231-249 (1992; Zbl 0754.41010)] by H. Wallin and P. Wingren. For the entire collection see [Zbl 0833.00014].











This page was built for publication:

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