Tychonoff space

GPTKB entity

Statements (33)
Predicate Object
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