Smooth functions in o-minimal structures (Q2483177): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 02:47, 3 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Smooth functions in o-minimal structures |
scientific article |
Statements
Smooth functions in o-minimal structures (English)
0 references
28 April 2008
0 references
Let \({\mathcal M}\) be an o-minimal expansion of the real exponential field that admits smooth cell decomposition. For every natural number \(m\), and even for \(m = \infty\), let \(C^m\) mean \(m\) times continuously differentiable. The paper examines definable \(C^m\) functions from a definable open subset \(U\) of \(\mathbb R^n\) to \(\mathbb R\). In particular, it studies the density of smooth (that is, \(C^\infty\)) functions inside \(C^0\) functions with respect to the definable version of the Whitney topology. Actually, the author already dealt with the case \(m = 0\) in his paper [``Smooth approximation of definable continuous functions'', Proc. Am. Math. Soc. 136, No. 7, 2583--2587 (2008; Zbl 1147.03020)]. Here that result is extended to every \(m > 0\). As a consequence it is proved that, for all \(m\), every abstract definable \(C^m\) manifold of dimension \(n\) is definably \(C^m\)-diffeomorphic to a definable \(C^m\) submanifold of \(\mathbb R^{2n+1}\). Also, two abstract definable smooth manifolds are abstract definably \(C^\infty\)-diffeomorphic if and only if they are abstract definably \(C^1\)-diffeomorphic. Finally, it is shown that, for \(m\) a positive integer, every definable \(C^m\) submanifold of \(\mathbb R^n\) can be approximated in a suitable sense by a definable smooth submanifold.
0 references
real exponential field
0 references
smooth function
0 references
Whitney topology
0 references
differentiable manifold
0 references