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.
Articles by others on the same topic
There are currently no matching articles.