Killing Gruenhage spaces in ZFC
Speaker: R. Smith
Date: Tue 25th January 2011
Location: Mathematical Sciences Seminar Room
A topological space X of cardinality at most the continuum is called Gruenhage if there is a countable sequence of open subsets (Un), such that given distinct x,y∈X, there exists n such that either x or y is in Un, but not both.
A space X has a Gδ-diagonal if its diagonal is a Gδ set in X2 with the usual product topology.
Both notions concern the separation of distinct points in a controlled way, without using 'too many' open sets. The classes of Gruenhage spaces and spaces having Gδ-diagonals contain all metric spaces, together with some much wilder objects. Recently, the two classes have been shown to be relevant to Banach space geometry, but the relationship between them has been unclear.
In this talk, we present an example of a locally compact, Hausdorff, non-Gruenhage space having a Gδ-diagonal. It improves upon a previous example of the speaker's, which relied on the continuum hypothesis.
(This talk is part of the Analysis series.)