5
There are a number of theorems in classical functional analysis about approximation of Lipschitz functions by smooth functions. I was wondering if there are any similar constructive (a la Bishop for instance) and explicit results.
Namely, if $f$ is a function from a (compact) metric space $(X,\r...