Theorem

Letbe a T4 space and letbe any closed subset ofIfis any continuous function fromto the set of real numbers with the absolute value topology then there is a continuous extensionoffromto

Proof

Letbe a T4 space and letandbe disjoint closed, nonempty subsets ofDefine

and

byforandfor

is continuous so according to Tietze's theorem, it can be extended toresulting in a functionon