Searcharxiv⌕ Search

arXiv subjects

Lyubomyr Zdomskyy

Publications and source records attributed to Lyubomyr Zdomskyy.

At least 73 records · Page 4Linked to original sources
arXiv2015

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.

math.GN↗
arXiv2015

Selective versions of chain condition-type properties

We study selective and game-theoretic versions of properties like the ccc, weak Lindelöfness and separability, giving various characterizations of them and exploring connections between these properties and some classical cardinal invariants of the continuum.

math.GN↗
arXiv2015

Mathias forcing and combinatorial covering properties of filters

We give topological characterizations of filters $F$ on $w$ such that the Mathias forcing $M_F$ adds no dominating reals or preserves ground model unbounded families. This allows us to answer some questions of Brendle, Guzmán, Hrušák, Mart\'ınez, Minami, and Tsaban.

math.LO↗
arXiv2015

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.

math.GN↗
arXiv2014

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)}$.

math.GN↗
arXiv2014

A homogeneous space whose complement is rigid

We construct a homogeneous subspace of $2^ω$ whose complement is dense in $2^ω$ and rigid. Using the same method, assuming Martin's Axiom, we also construct a countable dense homogeneous subspace of $2^ω$ whose complement is dense in $2^ω$ and rigid.

math.GN↗
arXiv2014

Countable dense homogeneous filters and the Menger covering property

In this note we present a ZFC construction of a non-meager filter which fails to be countable dense homogeneous. This answers a question of Hernández-Gutiérrez and Hrušák. The method of the proof also allows us to obtain a metrizable Baire topological group which is strongly locally homogeneous but not countable dense homogeneous.

math.GN↗
arXiv2014

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.

math.GN↗
arXiv2013

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.

math.GN↗
arXiv2012

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.

math.GN↗
arXiv2012

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.

math.GN↗
arXiv2012

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.

math.GN↗
arXiv2011

Continuous selections and sigma-spaces

Assume that X is a metrizable separable space, and each clopen-valued lower semicontinuous multivalued map Phi from X to Q has a continuous selection. Our main result is that in this case, X is a sigma-space. We also derive a partial converse implication, and present a reformulation of the Scheepers Conjecture in the language of continuous selections.

math.GN↗
arXiv2011

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.

math.GN↗
arXiv2011

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 $βω$.

math.GN↗
arXiv2010

On the Menger covering property and $D$-spaces

The main results of this note are: It is consistent that every subparacompact space $X$ of size $ω_1$ is a $D$-space; If there exists a Michael space, then all productively Lindelöf spaces have the Menger property, and, therefore, are $D$-spaces; and Every locally $D$-space which admits a $σ$-locally finite cover by Lindelöf spaces is a $D$-space.

math.GN↗