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!