Tychonoff's separation axiom
GPTKB entity
Statements (20)
Predicate | Object |
---|---|
gptkbp:instanceOf |
gptkb:topology
separation axiom |
gptkbp:alsoKnownAs |
Tychonoff property
Tychonoff separation axiom completely regular Hausdorff axiom |
gptkbp:appliesTo |
topological spaces
|
gptkbp:category |
gptkb:general_topology
|
gptkbp:defines |
A topological space is Tychonoff if it is both completely regular and Hausdorff.
|
https://www.w3.org/2000/01/rdf-schema#label |
Tychonoff's separation axiom
|
gptkbp:implies |
Hausdorff space
normal space completely regular space regular Hausdorff space |
gptkbp:namedAfter |
gptkb:Andrey_Tychonoff
|
gptkbp:relatedTo |
gptkb:Tychonoff_theorem
gptkb:Urysohn's_lemma |
gptkbp:symbol |
T_{3.5}
T_{ych} |
gptkbp:bfsParent |
gptkb:Soviet_school_of_topology
|
gptkbp:bfsLayer |
8
|