${\mathcal C}^m$ -norms on finite sets and ${\mathcal C}^m$ extension criteria
Bierstone, Edward ; Milman, Pierre D.
Duke Math. J., Tome 136 (2007) no. 1, p. 1-18 / Harvested from Project Euclid
C. Fefferman [F1], [F2] has recently given criteria for a function defined on a compact set $E \subset {\mathbb R}^n$ to extend to a ${\mathcal C}^m$ - or ${\mathcal C}^{m,{\omega}}$ -function. His criteria involve uniformity of the ${\mathcal C}^m$ - or ${\mathcal C}^{m,{\omega}}$ -norms for extension from finite subsets $S \subset E$ of cardinality at most a large natural number $k^\#$ depending only on $m$ and $n$ . We prove that one can take $k^\# = 2^{\dim {\mathcal P}}$ in both cases, where ${\mathcal P}$ denotes the space of polynomials of degree at most $m$ in $n$ variables. We also show that the geometric ${\mathcal C}^m$ “paratangent bundle” of $E$ (see [BMP2]) can be defined using limits of distributions supported on $2^{\dim {\mathcal P} - 1}$ points
Publié le : 2007-03-15
Classification:  58C25,  26B05,  26B35,  58A20
@article{1173373449,
     author = {Bierstone, Edward and Milman, Pierre D.},
     title = {${\mathcal C}^m$ -norms on finite sets and ${\mathcal C}^m$ extension criteria},
     journal = {Duke Math. J.},
     volume = {136},
     number = {1},
     year = {2007},
     pages = { 1-18},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1173373449}
}
Bierstone, Edward; Milman, Pierre D. ${\mathcal C}^m$ -norms on finite sets and ${\mathcal C}^m$ extension criteria. Duke Math. J., Tome 136 (2007) no. 1, pp.  1-18. http://gdmltest.u-ga.fr/item/1173373449/