Tietze extension theorem
Let be a topological space. Then the following are equivalent
:
- 1.
is normal.
- 2.
If is a closed subset in , and is acontinuous function
, then has a continuous to all of .(In other words, there is a continuous function such that and coincide on .)
Remark:If and are as above, and is a continuous function, then has a continuous to all of .
The present result can be found in [1].
References
- 1 A. Mukherjea, K. Pothoven,Real and Functional analysis
,Plenum press, 1978.