Dowker spaces

GPTKB entity

Statements (16)
Predicate Object
gptkbp:instanceOf gptkb:topology
gptkbp:category gptkb:general_topology
gptkbp:defines A normal topological space whose product with the unit interval is not normal
gptkbp:firstExampleConstructedBy gptkb:Mary_Ellen_Rudin
gptkbp:firstExampleYear 1971
https://www.w3.org/2000/01/rdf-schema#label Dowker spaces
gptkbp:namedAfter C. H. Dowker
gptkbp:openProblem Existence of Dowker spaces was an open problem until 1971
gptkbp:property normal
not countably paracompact
product with [0,1] is not normal
gptkbp:relatedConcept paracompactness
product topology
normal space
gptkbp:bfsParent gptkb:set-theoretic_topology
gptkbp:bfsLayer 6