Metric Tietze two-thirds approximation

ID: metric-tietze-two-thirds-approximation

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.

New to topics? Read the docs here!