Productively Lindelof spaces may all be D

Franklin D. Tall

DOI: https://doi.org/10.48550/arXiv.1104.2794

2011-04-14

Abstract:We give easy proofs that a) the Continuum Hypothesis implies that if the product of X with every Lindelof space is Lindelof, then X is a D-space, and b) Borel's Conjecture implies every Rothberger space is Hurewicz.

General Topology,Logic

What problem does this paper attempt to address?

Lindelof spaces which are indestructible, productive, or D

Franklin D. Tall,Leandro F. Aurichi

DOI: https://doi.org/10.48550/arXiv.1104.2793

2011-04-14

Abstract:We discuss relationships in Lindelof spaces among the properties "indestructible", "productive", "D", and related properties.

General Topology
Productivity of cellular-Lindelof spaces

Alan Dow,Robert M. Stephenson

DOI: https://doi.org/10.48550/arXiv.2012.02762

2020-12-05

Abstract:The main purpose of this note is to prove that the product of a cellular Lindelof space with a space of countable spread need not be cellular-Lindelof.

General Topology
Set-theoretic problems concerning Lindelof spaces

Franklin D. Tall

DOI: https://doi.org/10.48550/arXiv.1104.2796

2011-04-14

Abstract:I survey problems concerning Lindelof spaces which have partial set- theoretic solutions.

Logic,General Topology
On totally Lindelöf spaces

Gabriel Fernandes,Guilherme Pinto,Vinícius Rocha

2023-10-03

Abstract:The results in this paper answer three questions asked by (NOBLE, 2019) and give a partial answer to a question asked by (ALSTER, 1988). We prove that every Alster space is totally Lindelof and this gives a new characterization of regular Alster spaces. We construct a non-regular totally Lindelof space that is not Alster and we prove that there exists a Lindelof P-space that is not Frolik.

General Topology
The product of Lindelöf groups and $\mathbb R$-factorizability

Evgeny Reznichenko

2023-09-30

Abstract:Lindelöf topological groups $G_1$ , $H_1$, $G_2$, $H_2$ are constructed in such a way that the products of $G_1 \times H_1$ and $G_2 \times H_2$ are not $\mathbb R$-factorizable groups and (1) the group $G_1 \times H_1$ is not pseudo-$\aleph_1$-compact; (2) the group $G_2 \times H_2$ is a separable not normal group and contains a discrete closed subset of the cardinality continuum.

Group Theory,General Topology
Notes on the Collins–Roscoe Property and D-spaces

Yin-Zhu Gao,Wei-Xue Shi

DOI: https://doi.org/10.1016/j.topol.2015.05.019

IF: 0.583

2015-01-01

Topology and its Applications

Abstract:Let X be a space and W = {W(x) : x is an element of X}, where each W(x) is a countable family of subsets containing x. If X has W satisfying: if x is an element of U and U is open, then there exists an open V = V(x, U) containing x such that x is an element of W subset of U for some W is an element of W(y) whenever y is an element of V, we say that the space X satisfies the Collins-Roscoe property. For simplicity, we call the Collins-Roscoe property (G) in the paper. A neighborhood assignment for a space X is a function cc from X to the topology of X such that x is an element of (phi(x) for all x is an element of X. A space X is said to be a D-space if for every neighborhood assignment phi for X, there exists a closed discrete subset D of X such that X = U{phi(d) : d is an element of D}. Spaces satisfying (G) are D-spaces. We show the following. (1) The preimage of a (monotone) D-space under a fiber-discrete mapping is a (monotone) D-space. (2) Any uncountable subspace of the Sorgenfrey line and the Alexandroff double arrow space do not satisfy (G); the Niemytzki plane is not meta-Lindelof. (3) A space satisfies (G) if and only if its Alexandroff duplicate does so. (4) A locally separable regular space satisfying open (G) is metrizable; a locally quasi-developable, hereditarily meta-Lindelof space has a point-countable base. (5) The Tychonoff product of a D-space and a D-c-space is a D-space. (6) Let X and Y be linearly ordered spaces and Y have the maximal point and the minimal point and satisfy (G). Then the lexicographical ordered product X x Y with the ordered topology satisfies (G) if and only if the r-ordered space (X, T-r) and the l-ordered space (X, T-l) satisfy (G). (C) 2015 Elsevier B.V. All rights reserved.
Products of Lipschitz-free spaces and applications

Pedro Levit Kaufmann

DOI: https://doi.org/10.48550/arXiv.1403.6605

2014-11-12

Abstract:We show that, given a Banach space $X$, the Lipschitz-free space over $X$, denoted by $\mathcal{F}(X)$, is isomorphic to $(\sum_{n=1}^\infty \mathcal{F}(X))_{\ell_1}$. Some applications are presented, including a non-linear version of Pelczyśki's decomposition method for Lipschitz-free spaces and the identification up to isomorphism between $\mathcal{F}(\mathbb{R}^n)$ and the Lipschitz-free space over any compact metric space which is locally bi-Lipschitz embeddable into $\mathbb{R}^n$ and which contains a subset that is Lipschitz equivalent to the unit ball of $\mathbb{R}^n$. We also show that $\mathcal{F}(M)$ is isomorphic to $\mathcal{F}(c_0)$ for all separable metric spaces $M$ which are absolute Lipschitz retracts and contain a subset which is Lipschitz equivalent to the unit ball of $c_0$. This class contains all $C(K)$ spaces with $K$ infinite compact metric (Dutrieux and Ferenczi had already proved that $\mathcal{F}(C(K))$ is isomorphic to $\mathcal{F}(c_0)$ for those $K$ using a different method). Finally we study Lipschitz-free spaces over certain unions and quotients of metric spaces, extending a result by Godard.

Functional Analysis
$C$-embedding, Lindelöfness, and Čech-completeness

Alan Dow,Klaas Pieter Hart,Jan van Mill,Hans Vermeer

2024-08-24

Abstract:We show that in the class of Lindelöf Čech-complete spaces the property of being $C$-embedded is quite well-behaved. It admits a useful characterization that can be used to show that products and perfect preimages of $C$-embedded spaces are again $C$-embedded. We also show that both properties, Lindelöf and Čech-complete, are needed in the product result.

General Topology
Eventually Constant and stagnating functions in non-Lindelöf spaces

Mathieu Baillif

2024-09-25

Abstract:Inspired by recent work of A. Mardani which elaborates on the elementary fact that for any continuous function $f:\omega_1\times\mathbb{R}\to\mathbb{R}$, there is an $\alpha\in\omega_1$ such that $f(\langle\beta,x\rangle) = f(\langle\alpha,x\rangle)$ for all $\beta\ge\alpha$ and $x\in\mathbb{R}$, we introduce four properties $\mathsf{P}(X,Y)$, $\mathsf{P}\in\{\mathsf{EC},\mathsf{S},\mathsf{L},\mathsf{BR}\}$, which are different formalizations of the idea vaguely stated as "given a continuous $f:X\to Y$, there is a small subspace of $X$ outside of which $f$ does not do anything much new". We say that the spaces $X,Y$ satisfy the property $\mathsf{EC}(X,Y)$ (resp. $\mathsf{S}(X,Y)$) [resp. $\mathsf{L}(X,Y)$] iff given $f:X\to Y$, then there is a Lindelöf $Z\subset X$ such that $f(X-Z)$ is a singleton (resp. there is a retraction $r:X\to Z$ such that $f\circ r = f$) [resp. $f(Z) = f(X)$]. ($\mathsf{BR}(X,Y)$ is defined similarly.) We investigate the relations between these four and other classical topological properties. Two variants of each property are given depending on whether $Z$ can be chosen to be closed. Here is a sample of our results. An uncountable subspace $T$ of a tree of height $\omega_1$ is $\omega_1$-compact iff $\mathsf{S}(T,Y)$ holds for any metrizable space $Y$ of cardinality $>1$. If $M$ is a $\aleph_1$-strongly collectionwise Hausforff non-metrizable manifold satisfying either a weakening of $\mathsf{S}(M,\mathbb{R})$ or $\mathsf{EC}(M,\mathbb{R})$, then $M$ is $\omega_1$-compact. The property $\mathsf{L}(M,\mathbb{R})$ holds for any manifold while $\mathsf{L}(M,\mathbb{R}^2)$ does not. Under PFA, a locally compact countably tight space $Y$ for which $\mathsf{EC}(\omega_1,Y)$ holds is isocompact, while there are counterexamples under $\clubsuit_C$. Some of our results are restatements of other researchers work put in our context.

General Topology
The Collins-Roscoe mechanism and D-spaces

Yuming Xu,Dániel Soukup

DOI: https://doi.org/10.1007/s10474-011-0083-5

2010-10-18

Abstract:We prove that if a space X is well ordered $(\alpha A)$, or linearly semi-stratifiable, or elastic then X is a D-space.

General Topology
On the product of almost discrete Grothendieck spaces

Alexander V. Osipov

DOI: https://doi.org/10.1016/j.topol.2024.108919

IF: 0.583

2024-04-19

Topology and its Applications

Abstract:A topological space X is called almost discrete, if it has precisely one nonisolated point. In this paper, we get that for a countable product X=∏Xi of almost discrete spaces Xi the space Cp(X) of all continuous real-valued functions with the topology of pointwise convergence is a μ -space if, and only if, X is a weak q -space if, and only if, t(X)=ω if, and only if, X is functionally generated by the family of all its countable subspaces. This result makes it possible to solve Archangel'skii's problem on the product of Grothendieck spaces. It is proved that in the model of ZFC , obtained by adding one Cohen real, there are Grothendieck spaces X and Y such that X×Y is not weakly Grothendieck space. In (PFA) : the product of any countable family almost discrete Grothendieck spaces is a Grothendieck space.

mathematics, applied
T 0 -spaces and the lower topology

Jimmie Lawson,Xiaoquan Xu

DOI: https://doi.org/10.1017/s0960129524000240

2024-09-20

Mathematical Structures in Computer Science

Abstract:The authors' primary goal in this paper is to enhance the study of topological spaces by using the order of specialization of a -space to introduce the lower topology (with a subbasis of closed sets ) and studying the interaction of the original topology and the lower topology. Using the lower topology, one can define and study new properties of the original space that provide deeper insight into its structure. One focus of study is the property R, which asserts that if the intersection of a family of finitely generated sets , finite, is contained in an open set , then the same is true for finitely many of the family. We first show that property R is equivalent to several other interesting properties, for example, the property that all closed subsets of the original space are compact in the lower topology. We then find conditions under which these spaces are compact, well-filtered, and coherent, a weaker variant of stably compact spaces. We also investigate what have been called strong -spaces, develop some of their basic properties, and make connections with the earlier considerations involving spaces satisfying property R. Two key results we obtain are that if a dcpo with the Scott topology is a strong -space, then it is well-filtered, and if additionally the Scott topology of the product is the product of the Scott topologies of the factors, then the Scott space of is sober. We also exhibit connections of this work with de Groot duality.

computer science, theory & methods
A class of nontrivial simple examples of a non- D -space

Yu-Lin Chou

DOI: https://doi.org/10.1515/gmj-2024-2033

2024-06-26

Georgian Mathematical Journal

Abstract:Given any regular T 0 (equivalently, regular T 1 ) space X , the question of whether X being Lindelöf implies X being a D -space is an active open problem. This article gives a class of handy examples of a second countable collectionwise normal collectionwise Hausdorff T 0 space of uncountable cardinal, with at most countably many singletons being not closed, that is not a D -space. Also given is a class of handy examples of a second countable hyperconnected T 0 space of uncountable cardinal, with at most countably many singletons being not closed, that is not a D -space.

mathematics
On a variant of extremal disconnectedness in locales and spaces

Themba Dube,Ali Taherifar

DOI: https://doi.org/10.2989/16073606.2024.2411451

2024-10-17

Quaestiones Mathematicae

Abstract:We study a variant of extremal disconnectedness in frames, defined by requiring that any two disjoint open sublocales should be separable by disjoint open sublocales each of which is the interior of some zero-sublocale. In spaces, this notion was recently introduced in [1] in order to study some properties of frames of z -ideals of rings of continuous functions. The point-free approach adopted here brings to the fore some topological results not considered in [1], such as that a dense z -embedded subspace of a Tychonoff space has this property if and only if the space containing it has the property. In [1], this was proved only for the embedding X ⊆ βX . We give a ring-theoretic characterization by defining a property of f -rings in a transparent manner which shows why the property should be defined the way we do. The property is that if two annihilator ideals meet trivially, then the annihilator of each of the annihilator ideals contains a positive element such that the sum of the two elements is a non-zerodivisor.

mathematics
A Continuum Erdős-Beck Theorem

Paige Bright,Caleb Marshall

2024-06-14

Abstract:We prove a version of the Erdős--Beck Theorem from discrete geometry for fractal sets in all dimensions. More precisely, let $X\subset \mathbb{R}^n$ Borel and $k \in [0, n-1]$ be an integer. Let $\dim (X \setminus H) = \dim X$ for every $k$-dimensional hyperplane $H \in \mathcal{A}(n,k)$, and let $\mathcal L(X)$ be the set of lines that contain at least two distinct points of $X$. Then, a recent result of Ren shows $$ \dim \mathcal{L}(X) \geq \min \{2 \dim X, 2k\}. $$ If we instead have that $X$ is not a subset of any $k$-plane, and $$ 0<\inf_{H \in \mathcal{A}(n,k)} \dim (X \setminus H) = t < \dim X, $$ we instead obtain the bound $$ \dim \mathcal{L}(X) \geq \dim X + t. $$ We then strengthen this lower bound by introducing the notion of the "trapping number" of a set, $T(X)$, and obtain \[ \dim \mathcal L(X) \geq \max\{\dim X + t, \min\{2\dim X, 2(T(X)-1)\}\}, \] as consequence of our main result and of Ren's result in $\mathbb{R}^n$. Finally, we introduce a conjectured equality for the dimension of the line set $\mathcal{L}(X)$, which would in particular imply our results if proven to be true.

Classical Analysis and ODEs,Combinatorics,Metric Geometry
A Note on D-spaces

Hang Zhang,Wei-Xue Shi

DOI: https://doi.org/10.1016/j.topol.2011.09.006

IF: 0.583

2011-01-01

Topology and its Applications

Abstract:We show that every regular T1 submeta-Lindelöf space of cardinality ω1 is D under MA+¬CH, which answers a question posed by Gruenhage (2011) [9]. Borges (1991) [5] asked if every monotonically normal paracompact space is a D-space, we give a characterization of paracompactness for monotonically normal spaces, which may be of some use in solving this problem.
Rohlin properties for $Z^d$-actions on the Cantor set

Michael Hochman

DOI: https://doi.org/10.1090/S0002-9947-2011-05319-5

2009-01-26

Abstract:We study the space of continuous $Z^d$-actions on the Cantor set, particularly questions on the existence and nature of actions whose isomorphism class is dense (Rohlin's property). Kechris and Rosendal showed that for $d=1$ there is an action on the Cantor set whose isomorphism class is residual. We prove in contrast that for $\geq 2$ every isomorphism class is meager; on the other hand, while generically an action has dense isomorphism class and the effective actions are dense, no effective action has dense isomorphism class. Thus for $d \geq 2$ conjugation on the space of actions is topologically transitive but one cannot construct a transitive point. Finally, we show that in the space of transitive and minimal actions the effective actions are nowhere dense, and in particular there are minimal actions that are not approximable by minimal SFTs.

Dynamical Systems,Logic
On Remainders of Locally S-Spaces

Hanfeng Wang,Wei He

DOI: https://doi.org/10.1016/j.topol.2020.107231

IF: 0.583

2020-01-01

Topology and its Applications

Abstract:We study the remainders of locally s-spaces and locally Lindelöf Σ-spaces. It is proved that a space X is a locally s-space if and only if every (some) remainder Y of X is a Lindelöf Σ-space outside of some compact subspace F of Y. Some corollaries about this statement are presented. It is showed that if a locally s-space X has a remainder Y with a Gδ⁎-diagonal, then X is an s-space and Y has a countable network. It is also proved that every remainder Y of a locally Lindelöf Σ-space X is an s-space outside of some compact subspace F of Y. In addition, some properties about locally s-spaces are investigated.
Lindelof type of generalization of separability in Banach spaces

Jarno Talponen

DOI: https://doi.org/10.48550/arXiv.0803.3541

2008-03-25

Functional Analysis

Abstract:We will introduce the countable separation property (CSP) of Banach spaces X, which is defined as follows: For each subset \mathcal{F} of X^{\ast}, which separates X, there exists a countable separating subset \mathcal{F}_{0} of \mathcal{F}. All separable Banach spaces have CSP and plenty of examples of non-separable CSP spaces are provided. Connections of CSP with Markucevic-bases, Corson property and related geometric issues are discussed.

Productively Lindelof spaces may all be D

Lindelof spaces which are indestructible, productive, or D

Productivity of cellular-Lindelof spaces

Set-theoretic problems concerning Lindelof spaces

On totally Lindelöf spaces

The product of Lindelöf groups and $\mathbb R$-factorizability

Notes on the Collins–Roscoe Property and D-spaces

Products of Lipschitz-free spaces and applications

$C$-embedding, Lindelöfness, and Čech-completeness

Eventually Constant and stagnating functions in non-Lindelöf spaces

The Collins-Roscoe mechanism and D-spaces

On the product of almost discrete Grothendieck spaces

T 0 -spaces and the lower topology

A class of nontrivial simple examples of a non- D -space

On a variant of extremal disconnectedness in locales and spaces

A Continuum Erdős-Beck Theorem

A Note on D-spaces

Rohlin properties for $Z^d$-actions on the Cantor set

On Remainders of Locally S-Spaces

Lindelof type of generalization of separability in Banach spaces