Approximations in globally subanalytic and Denjoy-Carleman classes (Q2032937)

\textit{G. Efroymson}'s approximation theorem [Lect. Notes Math. 959, 343--357 (1982; Zbl 0516.14020)] asserts that, if \(f\) is a continuous semialgebraic mapping on a \(\mathcal C^{\infty}\) submanifold \(M\) of \(\mathbb R^n\) and if \(\varepsilon:M \rightarrow \mathbb R\) is a positive continuous semialgebraic function then there exists a \(\mathcal C^{\infty}\) semialgebraic function \(g:M \rightarrow R\) such that \(|f-g|<\varepsilon\). Shiota independently proved this result and established a stronger result that, if \(f\) is \(\mathcal C^m\), its first \(m\) derivatives are also approximated as well in [\textit{M. Shiota}, Trans. Am. Math. Soc. 293, 319--337 (1986; Zbl 0601.58005)] and [\textit{M. Shiota}, Nash manifolds. Berlin: Springer-Verlag (1987; Zbl 0629.58002)]. This paper generalizes their results to the case in which functions are definable in a polynomially bounded o-minimal expansion of the real field which admits \(\mathcal C^{\infty}\) cell decomposition. An approximation theorem for Lipschitz definable functions is also demonstrated as well in the same setting. Global subanalytic sets and the structures defined by quasi-analytic Denjoy-Carleman classes in the title are known as o-minimal expansions of the real field satisfying the above conditions. The strategy of the proof is as follows. Approximations on Lipschitz cells are firstly constructed and then they are pasted with pseudo-partitions of unity. The construction of pseudo-partitions of unity is the hardest part. Efroymson-Shiota's theorem is used in constructing \(\mathcal C^{\infty}\) semialgebraic functions satisfying given technical conditions in the course of the construction of pseudo-partitions of unity, and this paper does not provide a new proof for Efroymson-Shiota's theorem.