A Hausdorff topological space is called (resp. ) if for any nonempty open sets , the intersection of their closures is not empty (resp. the complement is a regular topological space). A canonical example of a coregular superconnected space is the projective space of the topological vector space $\mathbb Q^{<\omega}={(x_n)_{n\in\omega}\in \mathbb Q^{\omega}:|{n\in\omega:x_n\ne 0}|<\omega}\mathbb Q\mathbb Q\mathsf P^\infty\mathbb Q^{<\omega}\setminus{0}^\omegax\sim y\mathbb Q{\cdot}x=\mathbb Q{\cdot}y$. We prove that every countable second-countable coregular space is homeomorphic to a subspace of , and a topological space is homeomorphic to if and only if is countable, second-countable, and admits a decreasing sequence of closed sets such that (i) , , (ii) for every and a nonempty open set the closure contains some set , and (iii) for every the complement is a regular topological space. Using this topological characterization of $\mathbb Q\mathsf P^\infty\mathbb Q\mathsf P^\infty$ among quotient spaces, orbit spaces of group actions, and projective spaces of topological vector spaces over countable topological fields.

生成讲解博客的中文版本

生成AI智能校验的中文版本