gptkbp:instanceOf
|
gptkb:topology
|
gptkbp:alsoKnownAs
|
completely regular Hausdorff space
|
gptkbp:characterizedBy
|
for any closed set and point not in it, there exists a continuous function separating them
|
gptkbp:definedIn
|
gptkb:point-set_topology
|
gptkbp:hasProperty
|
product of any family of Tychonoff spaces is Tychonoff
|
gptkbp:hasSeparationAxiom
|
gptkb:T_{3.5}_(Tychonoff)
|
gptkbp:hasSubgroup
|
gptkb:Stone–Čech_compactification
gptkb:topology
gptkb:locally_compact_Hausdorff_space
Hausdorff space
compact Hausdorff space
normal space
regular space
completely regular space
normal Hausdorff space
|
https://www.w3.org/2000/01/rdf-schema#label
|
Tychonoff space
|
gptkbp:namedAfter
|
gptkb:Andrey_Tychonoff
|
gptkbp:relatedTo
|
gptkb:Stone–Čech_compactification
gptkb:Tychonoff_theorem
gptkb:Urysohn_lemma
Hausdorff space
normal space
regular space
completely regular space
|
gptkbp:satisfies
|
Hausdorff separation axiom
completely regular
|
gptkbp:usedIn
|
gptkb:Tychonoff_theorem
gptkb:general_topology
functional analysis
compactification theory
|
gptkbp:bfsParent
|
gptkb:Stone–Čech_compactification
gptkb:Andrey_Tychonoff
|
gptkbp:bfsLayer
|
6
|