Urysohn two-thirds approximation

ID: urysohn-two-thirds-approximation

Let be closed in a normal topological space and continuous. Separate its closed level sets and by Urysohn's lemma to obtain taking the corresponding endpoint values. Checking the outer and middle ranges gives the displayed bounds. Iteration on residuals gives a uniformly convergent series with total supremum norm at most . The uniform limit theorem gives the bounded Tietze extension theorem.

New to topics? Read the docs here!