Source author record

Lyubomyr Zdomskyy

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

36works
6topics
4close collaborators

Published work

36 publications

preprint2022arXiv

Locally compact, ω1ω_1-compact spaces

An ω1ω_1-compact space is a space in which every closed discrete subspace is countable. We give various general conditions under which a locally compact, ω1ω_1-compact space is σσ-countably compact, i.e., the union of countably many countably compact spaces. These conditions involve very elementary properties. Many results shown here are independent of the usual (ZFC) axioms of set theory, and the consistency of some may involve large cardinals. For example, it is independent of the ZFC axioms whether every locally compact, ω1ω_1-compact space of cardinality ℵ1\aleph_1 is σσ-countably compact. Whether ℵ1\aleph_1 can be replaced with ℵ2\aleph_2 is a difficult unsolved problem. Modulo large cardinals, it is also ZFC-independent whether every hereditarily normal, or every monotonically normal, locally compact, ω1ω_1-compact space is σσ-countably compact. As a result, it is also ZFC-independent whether there is a locally compact, ω1ω_1-compact Dowker space of cardinality ℵ1\aleph_1, or one that does not contain both an uncountable closed discrete subspace and a copy of the ordinal space ω1ω_1. Set theoretic tools used for the consistency results include the existence of a Souslin tree, the Proper Forcing Axiom (PFA), and models generically referred to as ``MM(S)[S]''. Most of the work is one by the PP-Ideal Dichotomy (PID) axiom, which holds in the latter two cases, and which requires no large cardinal axioms when directly applied to topological spaces of cardinality ℵ1\aleph_1, as it is in several theorems.

preprint2022arXiv

On complementability of c0c_0 in spaces C(K×L)C(K\times L)

Using elementary probabilistic methods, in particular a variant of the Weak Law of Large Numbers related to the Bernoulli distribution, we prove that for every infinite compact spaces KK and LL the product K×LK\times L admits a sequence ⟨μn ⁣:n∈N⟩\langleμ_n\colon n\in\mathbb{N}\rangle of normalized signed measures with finite supports which converges to 00 with respect to the weak* topology of the dual Banach space C(K×L)∗C(K\times L)^*. Our approach is completely constructive -- the measures μnμ_n are defined by an explicit simple formula. We also show that this result generalizes the classical theorem of Cembranos and Freniche which states that for every infinite compact spaces KK and LL the Banach space C(K×L)C(K\times L) contains a complemented copy of the space c0c_0.

preprint2022arXiv

On complemented copies of the space c0c_0 in spaces Cp(X×Y)C_p(X\times Y)

Cembranos and Freniche proved that for every two infinite compact Hausdorff spaces XX and YY the Banach space C(X×Y)C(X\times Y) of continuous real-valued functions on X×YX\times Y endowed with the supremum norm contains a complemented copy of the Banach space c0c_{0}. We extend this theorem to the class of CpC_p-spaces, that is, we prove that for all infinite Tychonoff spaces XX and YY the space Cp(X×Y)C_{p}(X\times Y) of continuous functions on X×YX\times Y endowed with the pointwise topology contains either a complemented copy of Rω\mathbb{R}^ω or a complemented copy of the space (c0)p={(xn)n∈ω∈Rω ⁣:xn→0}(c_{0})_{p}=\{(x_n)_{n\inω}\in \mathbb{R}^ω\colon x_n\to 0\}, both endowed with the product topology. We show that the latter case holds always when X×YX\times Y is pseudocompact. On the other hand, assuming the Continuum Hypothesis (or even a weaker set-theoretic assumption), we provide an example of a pseudocompact space XX such that Cp(X×X)C_{p}(X\times X) does not contain a complemented copy of (c0)p(c_{0})_{p}. As a corollary to the first result, we show that for all infinite Tychonoff spaces XX and YY the space Cp(X×Y)C_{p}(X\times Y) is linearly homeomorphic to the space Cp(X×Y)×RC_{p}(X\times Y)\times\mathbb{R}, although, as proved earlier by Marciszewski, there exists an infinite compact space XX such that Cp(X)C_{p}(X) cannot be mapped onto Cp(X)×RC_{p}(X)\times\mathbb{R} by a continuous linear surjection. This provides a positive answer to a problem of Arkhangel'ski for spaces of the form Cp(X×Y)C_p(X\times Y). Another corollary asserts that for every infinite Tychonoff spaces XX and YY the space Ck(X×Y)C_{k}(X\times Y) of continuous functions on X×YX\times Y endowed with the compact-open topology admits a quotient map onto a space isomorphic to one of the following three spaces: Rω\mathbb{R}^ω, (c0)p(c_{0})_{p} or c0c_{0}.

preprint2016arXiv

Arhangel'ski\uı sheaf amalgamations in topological groups

We consider amalgamation properties of convergent sequences in topological groups and topological vector spaces. The main result of this paper is that, for arbitrary topological groups, Nyikos's property α1.5α_{1.5} is equivalent to Arhangel'ski\uı's formally stronger property α1α_1. This result solves a problem of Shakhmatov (2002), and its proof uses a new perturbation argument. We also prove that there is a topological space XX such that the space Cp(X)C_p(X) of continuous real-valued functions on XX, with the topology of pointwise convergence, has Arhangel'ski\uı's property α1α_1 but is not countably tight. This result follows from results of Arhangel'ski\uı--Pytkeev, Moore and Todorčević, and provides a new solution, with remarkable properties, to a problem of Averbukh and Smolyanov (1968) concerning topological vector spaces. The Averbukh--Smolyanov problem was first solved by Plichko (2009), using Banach spaces with weaker locally convex topologies.

preprint2016arXiv

Menger remainders of topological groups

In this paper we discuss what kind of constrains combinatorial covering properties of Menger, Scheepers, and Hurewicz impose on remainders of topological groups. For instance, we show that such a remainder is Hurewicz if and only it is σσ-compact. Also, the existence of a Scheepers non-σσ-compact remainder of a topological group follows from CH and yields a PP-point, and hence is independent of ZFC. We also make an attempt to prove a dichotomy for the Menger property of remainders of topological groups in the style of Arhangel'skii.

preprint2016arXiv

The Ascoli property for function spaces

The paper deals with Ascoli spaces Cp(X)C_p(X) and Ck(X)C_k(X) over Tychonoff spaces XX. The class of Ascoli spaces XX, i.e. spaces XX for which any compact subset KK of Ck(X)C_k(X) is evenly continuous, essentially includes the class of kRk_{\mathbb R}-spaces. First we prove that if Cp(X)C_p(X) is Ascoli, then it is κκ-Fréchet-Urysohn. If XX is cosmic, then Cp(X)C_p(X) is Ascoli iff it is κκ-Fr'echet-Urysohn. This leads to the following extension of a result of Morishita: If for a Čech-complete space XX the space Cp(X)C_p(X) is Ascoli, then XX is scattered. If XX is scattered and stratifiable, then Cp(X)C_p(X) is an Ascoli space. Consequently: (a) If XX is a complete metrizable space, then Cp(X)C_p(X) is Ascoli iff XX is scattered. (b) If XX is a Čech-complete Lindelöf space, then Cp(X)C_p(X) is Ascoli iff XX is scattered iff Cp(X)C_p(X) is Fréchet-Urysohn. Moreover, we prove that for a paracompact space XX of point-countable type the following conditions are equivalent: (i) XX is locally compact. (ii) Ck(X)C_k(X) is a kRk_{\mathbb R}-space. (iii) Ck(X)C_k(X) is an Ascoli space. The Asoli spaces Ck(X,[0,1])C_k(X,[0,1]) are also studied.

preprint2016arXiv

Topological properties of function spaces over ordinals

A topological space XX is said to be an Ascoli space if any compact subset KK of Ck(X)C_k(X) is evenly continuous. This definition is motivated by the classical Ascoli theorem. We study the kRk_R-property and the Ascoli property of Cp(κ)C_p(κ) and Ck(κ)C_k(κ) over ordinals κκ. We prove that Cp(κ)C_p(κ) is always an Ascoli space, while Cp(κ)C_p(κ) is a kRk_R-space iff the cofinality of κκ is countable. In particular, this provides the first CpC_p-example of an Ascoli space which is not a kRk_R-space, namely Cp(ω1)C_p(ω_1). We show that Ck(κ)C_k(κ) is Ascoli iff cf(κ)cf(κ) is countable iff Ck(κ)C_k(κ) is metrizable.

preprint2015arXiv

Closed locally path-connected subspaces of finite-dimensional groups are locally compact

We prove that each closed locally continuum- connected subspace of a finite dimensional topological group is locally compact. This allows us to construct many 1-dimensional metrizable separable spaces that are not homeomorphic to closed subsets of finite-dimensional topological groups, which answers in negative a question of D.Shakhmatov. Another corollary is a characterization of Lie groups as finite-dimensional locally continuum-connected topological groups. For locally path connected topological groups this characterization was proved by Gleason and Palais in 1957.

preprint2015arXiv

On topological properties of the weak topology of a Banach space

Being motivated by the famous Kaplansky theorem we study various sequential properties of a Banach space EE and its closed unit ball BB, both endowed with the weak topology of EE. We show that BB has the Pytkeev property if and only if EE in the norm topology contains no isomorphic copy of ℓ1\ell_1, while EE has the Pytkeev property if and only if it is finite-dimensional. We extend Schlüchtermann and Wheeler's result by showing that BB is a (separable) metrizable space if and only if it has countable cs∗cs^\ast-character and is a kk-space. As a corollary we obtain that BB is Polish if and only if it has countable cs∗cs^\ast-character and is Čech-complete, that supplements a result of Edgar and Wheeler.

preprint2014arXiv

Between Polish and completely Baire

All spaces are assumed to be separable and metrizable. Consider the following properties of a space XX. (1) XX is Polish. (2) For every countable crowded Q⊆XQ\subseteq X there exists a crowded Q′⊆QQ'\subseteq Q with compact closure. (3) Every closed subspace of XX is either scattered or it contains a homeomorphic copy of 2ω2^ω. (4) Every closed subspace of XX is a Baire space. While (4) is the well-known property of being completely Baire, properties (2) and (3) have been recently introduced by Kunen, Medini and Zdomskyy, who named them the Miller property and the Cantor-Bendixson property respectively. It turns out that the implications (1)→(2)→(3)→(4)(1)\rightarrow (2)\rightarrow (3)\rightarrow (4) hold for every space XX. Furthermore, it follows from a classical result of Hurewicz that all these implications are equivalences if XX is coanalytic. Under the axiom of Projective Determinacy, this equivalence result extends to all projective spaces. We will complete the picture by giving a ZFC\mathsf{ZFC} counterexample and a consistent definable counterexample of lowest possible complexity to the implication (i)←(i+1)(i)\leftarrow (i+1) for i=1,2,3i=1,2,3. For one of these counterexamples we will need a classical theorem of Martin and Solovay, of which we give a new proof, based on a result of Baldwin and Beaudoin. Finally, using a method of Fischer and Friedman, we will investigate how changing the value of the continuum affects the definability of these counterexamples. Along the way, we will show that every uncountable completely Baire space has size continuum.

preprint2014arXiv

Seven characterizations of non-meager P-filters

We give several topological/combinatorial conditions that, for a filter on ωω, are equivalent to being a non-meager P\mathsf{P}-filter. In particular, we show that a filter is countable dense homogeneous if and only if it is a non-meager P\mathsf{P}-filter. Here, we identify a filter with a subspace of 2ω2^ω through characteristic functions. Along the way, we generalize to non-meager P\mathsf{P}-filters a result of Miller about P\mathsf{P}-points, and we employ and give a new proof of results of Marciszewski. We also employ a theorem of Hernández-Gutiérrez and Hrušák, and answer two questions that they posed. Our result also resolves several issues raised by Medini and Milovich, and proves false one "theorem" of theirs. Furthermore, we show that the statement "Every non-meager filter contains a non-meager P\mathsf{P}-subfilter" is independent of ZFC\mathsf{ZFC} (more precisely, it is a consequence of u<g\mathfrak{u}<\mathfrak{g} and its negation is a consequence of ◊\Diamond). It follows from results of Hrušák and van Mill that, under u<g\mathfrak{u}<\mathfrak{g}, a filter has less than c\mathfrak{c} types of countable dense subsets if and only if it is a non-meager P\mathsf{P}-filter. In particular, under u<g\mathfrak{u}<\mathfrak{g}, there exists an ultrafilter with c\mathfrak{c} types of countable dense subsets. We also show that such an ultrafilter exists under MA(countable)\mathsf{MA(countable)}.

preprint2013arXiv

Selective covering properties of product spaces

We study the preservation of selective covering properties, including classic ones introduced by Menger, Hurewicz, Rothberger, Gerlits and Nagy, and others, under products with some major families of concentrated sets of reals. Our methods include the projection method introduced by the authors in an earlier work, as well as several new methods. Some special consequences of our main results are (definitions provided in the paper): \be \item Every product of a concentrated space with a Hurewicz $\sone(\Ga,\Op)$ space satisfies $\sone(\Ga,\Op)$. On the other hand, assuming \CH{}, for each Sierpiński set SS there is a Luzin set LL such that $L\x S$ can be mapped onto the real line by a Borel function. \item Assuming Semifilter Trichotomy, every concentrated space is productively Menger and productively Rothberger. \item Every scale set is productively Hurewicz, productively Menger, productively Scheepers, and productively Gerlits--Nagy. \item Assuming $\fd=\aleph_1$, every productively Lindelöf space is productively Hurewicz, productively Menger, and productively Scheepers. \ee A notorious open problem asks whether the additivity of Rothberger's property may be strictly greater than $\add(\cN)$, the additivity of the ideal of Lebesgue-null sets of reals. We obtain a positive answer, modulo the consistency of Semifilter Trichotomy with $\add(\cN)<\cov(\cM)$. Our results improve upon and unify a number of results, established earlier by many authors.

preprint2012arXiv

Additivity of the Gerlits--Nagy property and concentrated sets

We settle all problems posed by Scheepers, in his tribute paper to Gerlits, concerning the additivity of the Gerlits--Nagy property and related additivity numbers. We apply these results to compute the minimal number of concentrated sets of reals (in the sense of Besicovitch) whose union, when multiplied with a Gerlits--Nagy space, need not have Rothberger's property. We apply these methods to construct a large family of spaces, whose product with every Hurewicz space has Menger's property.

preprint2012arXiv

Hereditarily Hurewicz spaces and Arhangel'skii sheaf amalgamations

A classical theorem of Hurewicz characterizes spaces with the Hurewicz covering property as those having bounded continuous images in the Baire space. We give a similar characterization for spaces X which have the Hurewicz property hereditarily. We proceed to consider the class of Arhangel'skii alpha_1 spaces, for which every sheaf at a point can be amalgamated in a natural way. Let C_p(X) denote the space of continuous real-valued functions on X with the topology of pointwise convergence. Our main result is that C_p(X) is an alpha_1 space if, and only if, each Borel image of X in the Baire space is bounded. Using this characterization, we solve a variety of problems posed in the literature concerning spaces of continuous functions.

preprint2012arXiv

Productively Lindelof and Indestructibly Lindelof Spaces

There has recently been considerable interest in productively Lindelof spaces, i.e. spaces such that their product with every Lindelof space is Lindelof. Here we make several related remarks about such spaces. Indestructible Lindelof spaces, i.e. spaces that remain Lindelof in every countably closed forcing extension, were introduced by Tall in 1995. Their connection with topological games and selection principles was explored by Scheepers and Tall in 2010. We find further connections here.

preprint2011arXiv

Hurewicz sets of reals without perfect subsets

We show that even for subsets X of the real line which do not contain perfect sets, the Hurewicz property does not imply the property S1(Gamma,Gamma), asserting that for each countable family of open gamma-covers of X, there is a choice function whose image is a gamma-cover of X. This settles a problem of Just, Miller, Scheepers, and Szeptycki. Our main result also answers a question of Bartoszynski and Tsaban, and implies that for C_p(X), the conjunction of Sakai's strong countable fan tightness and the Reznichenko property does not imply Arhangelskii's property alpha_2.

preprint2011arXiv

On meager function spaces, network character and meager convergence in topological spaces

For a non-isolated point xx of a topological space XX the network character nwχ(x)nw_χ(x) is the smallest cardinality of a family of infinite subsets of XX such that each neighborhood O(x)O(x) of xx contains a set from the family. We prove that (1) each infinite compact Hausdorff space XX contains a non-isolated point xx with nwχ(x)=ℵ0nw_χ(x)=\aleph_0; (2) for each point x∈Xx\in X with countable character there is an injective sequence in XX that $\F$-converges to xx for some meager filter $\F$ on ωω; (3) if a functionally Hausdorff space XX contains an $\F$-convergent injective sequence for some meager filter $\F$, then for every T1T_1-space YY that contains two non-empty open sets with disjoint closures, the function space Cp(X,Y)C_p(X,Y) is meager. Also we investigate properties of filters $\F$ admitting an injective $\F$-convergent sequence in βωβω.

preprint2010arXiv

Combinatorial images of sets of reals and semifilter trichotomy

Using a dictionary translating a variety of classical and modern covering properties into combinatorial properties of continuous images, we get a simple way to understand the interrelations between these properties in ZFC and in the realm of the trichotomy axiom for upward closed families of sets of natural numbers. While it is now known that the answer to the Hurewicz 1927 problem is positive, it is shown here that semifilter trichotomy implies a negative answer to a slightly weaker form of this problem.

preprint2010arXiv

On M-separability of countable spaces and function spaces

We study M-separability as well as some other combinatorial versions of separability. In particular, we show that the set-theoretic hypothesis b=d implies that the class of selectively separable spaces is not closed under finite products, even for the spaces of continuous functions with the topology of pointwise convergence. We also show that there exists no maximal M-separable countable space in the model of Frankiewicz, Shelah, and Zbierski in which all closed P-subspaces of w^* admit an uncountable family of nonempty open mutually disjoint subsets. This answers several questions of Bella, Bonanzinga, Matveev, and Tkachuk.

preprint2010arXiv

On the length of chains of proper subgroups covering a topological group

We prove that if an ultrafilter L is not coherent to a Q-point, then each analytic non-sigma-bounded topological group G admits an increasing chain <G_a : a < b(L)> of its proper subgroups such that: (i) U_{a in b(L)} G_a=G; and (ii)(ii) For every sigma-bounded subgroup H of G there exists a such that H is a subset of G_a. In case of the group Sym(w) of all permutations of w with the topology inherited from w^w this improves upon earlier results of S. Thomas.

preprint2009arXiv

The topological structure of (homogeneous) spaces and groups with countable cs*-character

In this paper we introduce and study three new cardinal topological invariants called the cs*, cs-, and sb-characters. The class of topological spaces with countable cs*-character is closed under many topological operations and contains all aleph-spaces and all spaces with point-countable cs*-network. Our principal result states that each non-metrizable sequential topological group with countable cs*-character has countable pseudo-character and contains an open kωk_ω-subgroup.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.