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.