BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Lyubomyr Zdomskyy

Lyubomyr Zdomskyy appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.GNmath.LOmath.FAmath.COmath.GRmath.PR

Catalog footprint

What is connected

36works
6topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

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.

Published work

36 published item(s)

preprint2022arXiv

Locally compact, $ω_1$-compact spaces

An $ω_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$-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$-compact space of cardinality $\aleph_1$ is $σ$-countably compact. Whether $\aleph_1$ can be replaced with $\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$-compact space is $σ$-countably compact. As a result, it is also ZFC-independent whether there is a locally compact, $ω_1$-compact Dowker space of cardinality $\aleph_1$, or one that does not contain both an uncountable closed discrete subspace and a copy of the ordinal space $ω_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 $P$-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 $\aleph_1$, as it is in several theorems.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

On complementability of $c_0$ in spaces $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 $K$ and $L$ the product $K\times L$ admits a sequence $\langleμ_n\colon n\in\mathbb{N}\rangle$ of normalized signed measures with finite supports which converges to $0$ with respect to the weak* topology of the dual Banach space $C(K\times L)^*$. Our approach is completely constructive -- the measures $μ_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 $K$ and $L$ the Banach space $C(K\times L)$ contains a complemented copy of the space $c_0$.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

On complemented copies of the space $c_0$ in spaces $C_p(X\times Y)$

Cembranos and Freniche proved that for every two infinite compact Hausdorff spaces $X$ and $Y$ the Banach space $C(X\times Y)$ of continuous real-valued functions on $X\times Y$ endowed with the supremum norm contains a complemented copy of the Banach space $c_{0}$. We extend this theorem to the class of $C_p$-spaces, that is, we prove that for all infinite Tychonoff spaces $X$ and $Y$ the space $C_{p}(X\times Y)$ of continuous functions on $X\times Y$ endowed with the pointwise topology contains either a complemented copy of $\mathbb{R}^ω$ or a complemented copy of the space $(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\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 $X$ such that $C_{p}(X\times X)$ does not contain a complemented copy of $(c_{0})_{p}$. As a corollary to the first result, we show that for all infinite Tychonoff spaces $X$ and $Y$ the space $C_{p}(X\times Y)$ is linearly homeomorphic to the space $C_{p}(X\times Y)\times\mathbb{R}$, although, as proved earlier by Marciszewski, there exists an infinite compact space $X$ such that $C_{p}(X)$ cannot be mapped onto $C_{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 $C_p(X\times Y)$. Another corollary asserts that for every infinite Tychonoff spaces $X$ and $Y$ the space $C_{k}(X\times Y)$ of continuous functions on $X\times Y$ endowed with the compact-open topology admits a quotient map onto a space isomorphic to one of the following three spaces: $\mathbb{R}^ω$, $(c_{0})_{p}$ or $c_{0}$.

0 citations0 reviewsNo code linkedOpen access
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}$ is equivalent to Arhangel'ski\uı's formally stronger property $α_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 $X$ such that the space $C_p(X)$ of continuous real-valued functions on $X$, with the topology of pointwise convergence, has Arhangel'ski\uı's property $α_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.

0 citations0 reviewsNo code linkedOpen access
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 $P$-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.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

The Ascoli property for function spaces

The paper deals with Ascoli spaces $C_p(X)$ and $C_k(X)$ over Tychonoff spaces $X$. The class of Ascoli spaces $X$, i.e. spaces $X$ for which any compact subset $K$ of $C_k(X)$ is evenly continuous, essentially includes the class of $k_{\mathbb R}$-spaces. First we prove that if $C_p(X)$ is Ascoli, then it is $κ$-Fréchet-Urysohn. If $X$ is cosmic, then $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 $X$ the space $C_p(X)$ is Ascoli, then $X$ is scattered. If $X$ is scattered and stratifiable, then $C_p(X)$ is an Ascoli space. Consequently: (a) If $X$ is a complete metrizable space, then $C_p(X)$ is Ascoli iff $X$ is scattered. (b) If $X$ is a Čech-complete Lindelöf space, then $C_p(X)$ is Ascoli iff $X$ is scattered iff $C_p(X)$ is Fréchet-Urysohn. Moreover, we prove that for a paracompact space $X$ of point-countable type the following conditions are equivalent: (i) $X$ is locally compact. (ii) $C_k(X)$ is a $k_{\mathbb R}$-space. (iii) $C_k(X)$ is an Ascoli space. The Asoli spaces $C_k(X,[0,1])$ are also studied.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Topological properties of function spaces over ordinals

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

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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 $E$ and its closed unit ball $B$, both endowed with the weak topology of $E$. We show that $B$ has the Pytkeev property if and only if $E$ in the norm topology contains no isomorphic copy of $\ell_1$, while $E$ has the Pytkeev property if and only if it is finite-dimensional. We extend Schlüchtermann and Wheeler's result by showing that $B$ is a (separable) metrizable space if and only if it has countable $cs^\ast$-character and is a $k$-space. As a corollary we obtain that $B$ is Polish if and only if it has countable $cs^\ast$-character and is Čech-complete, that supplements a result of Edgar and Wheeler.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Between Polish and completely Baire

All spaces are assumed to be separable and metrizable. Consider the following properties of a space $X$. (1) $X$ is Polish. (2) For every countable crowded $Q\subseteq X$ there exists a crowded $Q'\subseteq Q$ with compact closure. (3) Every closed subspace of $X$ is either scattered or it contains a homeomorphic copy of $2^ω$. (4) Every closed subspace of $X$ 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)\rightarrow (2)\rightarrow (3)\rightarrow (4)$ hold for every space $X$. Furthermore, it follows from a classical result of Hurewicz that all these implications are equivalences if $X$ is coanalytic. Under the axiom of Projective Determinacy, this equivalence result extends to all projective spaces. We will complete the picture by giving a $\mathsf{ZFC}$ counterexample and a consistent definable counterexample of lowest possible complexity to the implication $(i)\leftarrow (i+1)$ for $i=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.

0 citations0 reviewsNo code linkedOpen access
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 $\mathsf{P}$-filter. In particular, we show that a filter is countable dense homogeneous if and only if it is a non-meager $\mathsf{P}$-filter. Here, we identify a filter with a subspace of $2^ω$ through characteristic functions. Along the way, we generalize to non-meager $\mathsf{P}$-filters a result of Miller about $\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 $\mathsf{P}$-subfilter" is independent of $\mathsf{ZFC}$ (more precisely, it is a consequence of $\mathfrak{u}<\mathfrak{g}$ and its negation is a consequence of $\Diamond$). It follows from results of Hrušák and van Mill that, under $\mathfrak{u}<\mathfrak{g}$, a filter has less than $\mathfrak{c}$ types of countable dense subsets if and only if it is a non-meager $\mathsf{P}$-filter. In particular, under $\mathfrak{u}<\mathfrak{g}$, there exists an ultrafilter with $\mathfrak{c}$ types of countable dense subsets. We also show that such an ultrafilter exists under $\mathsf{MA(countable)}$.

0 citations0 reviewsNo code linkedOpen access
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 $S$ there is a Luzin set $L$ 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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

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

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

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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)$ 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.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

On the Pytkeev property in spaces of continuous functions (II)

We prove that for each Polish space X, the space C(X) of continuous real-valued functions on X satisfies a strong version of the Pytkeev property, if endowed with the compact-open topology. (This shows that whereas it need not be metrizable, it is "very close" to that.) We also consider the Pytkeev property in the case where C(X) is endowed with the topology of pointwise convergence.

0 citations0 reviewsNo code linkedOpen access
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_ω$-subgroup.

0 citations0 reviewsNo code linkedOpen access