Approximation of C^-functions without changing their zero-set

For a \(C^{\infty}\) function \(\phi:\quad M\to {\mathbb{R}}\) (where M is a real algebraic manifold) the following problem is studied. If \(\phi^{- 1}(0)\) is an algebraic subvariety of M, can \(\phi\) be approximated by rational regular functions f such that \(f^{-1}(0)=\phi^{-1}(0)?\) We find that this is possible if and only if there exists a rational regular function \(g:\quad M\to {\mathbb{R}}\) such that \(g^{-1}(0)=\phi^{- 1}(0)\) and g(x)\(\cdot \phi (x)\geq 0\) for any x in \({\mathbb{R}}^ n\). Similar results are obtained also in the analytic and in the Nash cases. For non approximable functions the minimal flatness locus is also studied.

Recommendations

Cites work

Cited in

(7)

This page was built for publication: Approximation of \(C^{\infty}\)-functions without changing their zero-set

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