For a strict-range modification of a continuous extension, the closed sets and are disjoint. Choose by Urysohn's lemma a continuous with and , and defineThis function is continuous and agrees with on . On it vanishes. Off we have and , so . Hence its range lies strictly inside on all of . The construction also covers empty or empty by a constant separating function where appropriate.
Articles by others on the same topic
There are currently no matching articles.