You are not logged in | Log in

A universal coregular countable second-countable space

Speaker(s)
Taras Banakh
Affiliation
Ivan Franko National University of Lviv and UJK Kielce
Date
May 26, 2021, 4:15 p.m.
Information about the event
Zoom
Seminar
Topology and Set Theory Seminar

A Hausdorff topological space X is called superconnected (resp. coregular) if for any nonempty open sets U_1 , . . . ,U_n ⊆ X, the intersection of their closures cl(U_1)∩...∩cl(U_n) is not empty (resp. the complement X \ (cl(U_1)∩...∩cl(U_n)) is a regular topological space). A canonical example of a coregular superconnected space is the projective space QP^∞ of the topological vector space Q^<ω = {(x_n)_{n∈ω} ∈ Q^ω : |{n ∈ ω : x_n \neq 0}| < ω} over the field of rationals Q. The space QP^∞ is the quotient space of Q^<ω \ {0}^ω by the equivalence relation x ∼ y iff Q·x = Q·y. We prove that every countable second-countable coregular space is homeomorphic to a subspace of QP^∞ , and a topological space X is homeomorphic to QP^∞ if and only if X is countable, second-countable, and admits a decreasing sequence of closed sets (X_n )_{n∈ω} such that (i) X_0 = X, \bigcap_{n∈ω}X_n = ∅, (ii) for every n ∈ ω and a nonempty open set U ⊆ X_n the closure cl(U) contains some set X_m, and (iii) for every n ∈ ω the complement X \ X_n is a regular topological space. Using this topological characterization of QP^∞ we find topological copies of the space QP^∞ among quotient spaces, orbit spaces of group actions, and projective spaces of topological vector spaces over countable topological fields.