Efroymson's approximation theorem for globally subanalytic functions

Anna Valette, Guillaume Valette

Efroymson's approximation theorem asserts that if $f$ is a ${\mathcal{C}}^0$ semialgebraic mapping on a ${\mathcal{C}}^{\infty }$ semialgebraic submanifold $M$ of ${\mathbb{R}}^n$ and if $\…