Abstract
Let $\mathcal M$ be an $o$-minimal expansion of a real closed field. We prove the definable smoothing of definable Lipschitz continuous functions. In the case of Lipschitz functions of one variable, we are even able to preserve the Lipschitz constant.
Citation
Andreas Fischer. "Definable smoothing of Lipschitz continuous functions." Illinois J. Math. 52 (2) 583 - 590, Summer 2008. https://doi.org/10.1215/ijm/1248355351
Information