Urysohn's lemma

GPTKB entity

Statements (13)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:appliesTo normal topological spaces
gptkbp:category separation axioms
gptkbp:field gptkb:topology
https://www.w3.org/2000/01/rdf-schema#label Urysohn's lemma
gptkbp:implies normal spaces are Tychonoff
gptkbp:namedAfter gptkb:Pavel_Urysohn
gptkbp:relatedTo gptkb:Urysohn_metrization_theorem
gptkbp:state For any two disjoint closed subsets of a normal space, there exists a continuous function from the space to [0,1] mapping one closed set to 0 and the other to 1.
gptkbp:usedIn gptkb:Tietze_extension_theorem
gptkbp:yearProposed 1925
gptkbp:bfsParent gptkb:Topology
gptkbp:bfsLayer 5