For a real function in the bounded continuous functions of norm on a closed subset of a metric space, separate its closed level sets and by . The distance to a set functions make continuous with the displayed bounds. Empty level sets are handled by the constants , or . Iterating on the residual yields a uniformly convergent continuous extension with no increase in the supremum norm.
Articles by others on the same topic
There are currently no matching articles.