# KatĚTov–Tong Insertion Theorem

### (Theory)

Tech

###### Theory ## What is Katětov–Tong insertion theorem?

The Katětov–Tong insertion theorem is a theorem of point-set topology proved independently by Miroslav Katětov and Hing Tong in the 1950s. The theorem states the following: Let be a normal topological space and let be functions with g upper semicontinuous, h lower semicontinuous and . There exists a continuous function with This theorem has a number of applications and is the first of many classical insertion theorems. In particular it implies the Tietze extension theorem and consequently Urysohn's lemma, and so the conclusion of the theorem is equivalent to normality.

### Technology Types

continuous mappingfunctiongeneral topologymathematical relationmathematical theorempropositionstatementtheoremtheorems in topologytheory

### Synonyms

Katetov Tong Insertion TheoremKatetov-Tong insertion theoremKatětov-Tong insertion theoremKatetov–Tong insertion theorem

### Translations

Twierdzenie Katětova-Tonga (pl)

## Tech Info

Source: [object Object]
— Date merged: 11/6/2021, 1:32:43 PM
— Date scraped: 5/20/2021, 6:09:18 PM