On $T_0$ spaces determined by well-filtered spaces

Xiaoquan Xu; Chong Shen; Xiaoyong Xi; Dongsheng Zhao

Home/Archive/arXiv

arXiv · 1909.09303

On $T_0$ spaces determined by well-filtered spaces

Xiaoquan Xu·Chong Shen·Xiaoyong Xi·Dongsheng Zhao

View original source ↗Read source document ↗Export metadata ↓

Abstract

We first introduce and study two new classes of subsets in $T_0$ spaces - Rudin sets and $\wdd$ sets lying between the class of all closures of directed subsets and that of irreducible closed subsets. Using such subsets, we define three new types of topological spaces - $\mathsf{DC}$ spaces, Rudin spaces and $\wdd$ spaces. The class of Rudin spaces lie between the class of $\wdd$ spaces and that of $\dc$ spaces, while the class of $\dc$ spaces lies between the class of Rudin spaces and that of sober spaces. Using Rudin sets and $\wdd$ sets, we formulate and prove a number of new characterizations of well-filtered spaces and sober spaces. For a $T_0$ space $X$, it is proved that $X$ is sober if{}f $X$ is a well-filtered Rudin space if{}f $X$ is a well-filtered $\mathsf{WD}$ space. We also prove that every locally compact $T_0$ space is a Rudin space, and every core compact $T_0$ space is a $\wdd$ space. One immediate corollary is that every core compact well-filtered space is sober, giving a positive answer to Jia-Jung problem. Using $\wdd$ sets, we present a more directed construction of the well-filtered reflections of $T_0$ spaces, and prove that the products of any collection of well-filtered spaces are well-filtered. Our study also leads to a number of problems, whose answering will deepen our understanding of the related spaces and structures.

Explore related subjects

math.GN

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Xiaoquan Xu, Chong Shen, Xiaoyong Xi, Dongsheng Zhao. 2019-09-20. On $T_0$ spaces determined by well-filtered spaces. https://arxiv.org/abs/1909.09303

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Homogeneous linearly ordered spaces

Every compact subset of a homogeneous generalized ordered (GO) space has character at most $ω_1$ and cardinality at most $2^{ω_1}$; if such a subset has uncountable character, then the character of the whole space equals $ω_1$ and its $π$-character is countable. We construct a homogeneous $σ$-compact linearly ordered space (LOTS) $\mathbf{H}$ containing a compact subset $\mathbf{S}$ of cardinality $2^{ω_1}$ whose character is $ω_1$ at every point and whose weight and Souslin number are both $2^{ω_1}$; thus both bounds obtained are sharp. We prove that a semitopological group that is a GO space is hereditarily paracompact; if, in addition, it is not a $P$-space, then it is submetrizable, has countable character, and its compact subsets are metrizable. Every linearly ordered semitopological group (and, more generally, every GO semitopological group) is either metrizable or is a $P$-space; the same holds for topological groups. We also show that in an order-homogeneous LOTS every compact subset is first countable.

math.GN↗

arXiv2026

A New Approach to Universal Measurability

V. Fedorchuk, A. Chizogidze, and T. Banakh in 2003 and V. Bogachev in 2024 posed the following questions: (i) is it true that $P_τ(X)$ is $C$-embedded in $P_σ(X)$; (ii) Is it true that $P_R(X)$ is $C$-embedded in $P_R(βX)$ if and only if $X$ is pseudocompact, where $P_σ$, $P_τ$, and $P_R$ are the functors of probability $σ$-additive on the Baire $σ$-algebra, $τ$-additive, and Radon measures on the space $X$? The answers to these questions are negative. However, if instead of probability measures we consider the corresponding alternating measures $M_σ$, $M_τ$, and $M_R$, the situation changes. It is proved that (i) $M_τ(X)$ is $C$-embedded in $M_σ(X)$; (ii) $M_R(X)$ is $C$-embedded in $M_R(βX)$ if and only if $X$ is pseudocompact. The question of $C$-embedding of measure spaces is an extension of the question of coincidence of measure spaces, which is a development of the classical concepts of universally measurable and universal measure zero sets. A general theorem is obtained, which leads to the mentioned results.

math.GN↗

arXiv2026

One-Point Metrizable Coarsenings: Gauges and Local Metric Preservation

Let $(X,τ)$ be metrizable and let $a\in X$. We give a constructive account of metrizable topologies $σ\subseteqτ$ that agree with $τ$ on $X\setminus\{a\}$. Applying Hausdorff's classical metric collapse construction, for every noncompact $(X,τ)$ and every compatible metric $d$ we obtain a strict coarsening with a metric $p\le d$ that agrees with $d$ on a common neighborhood of each point other than $a$. A prescribed countably infinite closed discrete set $\{x_n:n\in\N\}\subseteq X\setminus\{a\}$ can be made to satisfy $p(a,x_n)\leλ_n$ for any positive null sequence $(λ_n)$. The resulting metric is greatest among the metrics dominated by $d$ that satisfy these bounds, and is complete whenever $d$ is complete. We exhibit its realization as a classical metric quotient. We also represent all localized metrizable coarsenings by continuous scalar gauges using a standard cone metric. Inclusion is expressed by the cofinal comparison of sublevel sets familiar from extension-trace theory, while pointwise maximum and minimum realize finite joins and meets. A closed-discrete criterion detects strictness. Standard preservation results for Borel structure, complete metrizability, and Polishness, together with function-space and local-field examples, complete the account.

math.GN↗