Strict-range modification of a continuous extension

ID: strict-range-modification-of-a-continuous-extension

Suppose is closed in a normal space and on for a continuous real-valued on . The closed set misses . Urysohn's lemma supplies equal to zero on and one on . Then agrees with on and has range in . This permits the inverse transform in the proof of unbounded Tietze extension.

New to topics? Read the docs here!