A theorem of insertion and extension of functions for normal spaces (Q689765)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A theorem of insertion and extension of functions for normal spaces |
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A theorem of insertion and extension of functions for normal spaces |
scientific article |
Statements
A theorem of insertion and extension of functions for normal spaces (English)
0 references
15 November 1993
0 references
The main result of this paper is a theorem which characterizes the normal spaces as those topological spaces in which it is possible to insert a continuous function \(h\) between two functions \(g\leq f\), being \(g\) upper semicontinuous, \(f\) lower semicontinuous and \(f\) continuous in the closed subset \(C\), with \(h(x)=f(x)\) for every\(x\in C\). The Katětov-Tong theorem and the Tietze-Urysohn theorem are immediate corollaries of this result.
0 references
\({\mathcal C}\)-binary relation
0 references
insertion
0 references
normal space
0 references
semicontinuous function
0 references
Katětov-Tong theorem
0 references
Tietze-Urysohn theorem
0 references
