Properties (14)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
mathematical theorem
|
| gptkbp:appliesTo |
topological spaces
|
| gptkbp:hasRelatedPatent |
measure theory
|
| https://www.w3.org/2000/01/rdf-schema#label |
Urysohn's Lemma
|
| gptkbp:isA |
separation axiom
|
| gptkbp:isEquippedWith |
Tietze Extension Theorem
|
| gptkbp:isPartOf |
general topology
|
| gptkbp:isRelatedTo |
continuous functions
normal spaces |
| gptkbp:isUsedBy |
construct continuous functions
|
| gptkbp:isUsedIn |
functional analysis
|
| gptkbp:isVisitedBy |
gptkb:Zorn's_Lemma
|
| gptkbp:namedAfter |
gptkb:Pavel_Urysohn
|
| gptkbp:state |
any two disjoint closed sets in a normal space can be separated by a continuous function
|