Researcher profile

Lyubomyr Zdomskyy

Lyubomyr Zdomskyy contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
7works
0followers
4topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

7 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.

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

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