Source author record

Yaryna Stelmakh

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

4works
2topics
2close collaborators

Published work

4 publications

preprint2020arXiv

A universal coregular countable second-countable space

A Hausdorff topological space XX is called superconnected\textit{superconnected} (resp. coregular\textit{coregular}) if for any nonempty open sets U1,…Un⊆XU_1,\dots U_n\subseteq X, the intersection of their closures Uˉ1∩⋯∩Uˉn\bar U_1\cap\dots\cap\bar U_n is not empty (resp. the complement X∖(Uˉ1∩⋯∩Uˉn)X\setminus (\bar U_1\cap\dots\cap\bar U_n) is a regular topological space). A canonical example of a coregular superconnected space is the projective space QP∞\mathbb Q\mathsf P^\infty of the topological vector space Q<ω={(xn)n∈ω∈Qω:∣{n∈ω:xn≠0}∣<ω}\mathbb Q^{<ω}=\{(x_n)_{n\inω}\in \mathbb Q^ω:|\{n\inω:x_n\ne 0\}|<ω\} over the field of rationals Q\mathbb Q. The space QP∞\mathbb Q\mathsf P^\infty is the quotient space of Q<ω∖{0}ω\mathbb Q^{<ω}\setminus\{0\}^ω by the equivalence relation x∼yx\sim y iff Q⋅x=Q⋅y\mathbb Q{\cdot}x=\mathbb Q{\cdot}y. We prove that every countable second-countable coregular space is homeomorphic to a subspace of QP∞\mathbb Q\mathsf P^\infty, and a topological space XX is homeomorphic to QP∞\mathbb Q\mathsf P^\infty if and only if XX is countable, second-countable, and admits a decreasing sequence of closed sets (Xn)n∈ω(X_n)_{n\inω} such that (i) X0=XX_0=X, ⋂n∈ωXn=∅\bigcap_{n\inω}X_n=\emptyset, (ii) for every n∈ωn\inω and a nonempty open set U⊆XnU\subseteq X_n the closure Uˉ\bar U contains some set XmX_m, and (iii) for every n∈ωn\inω the complement X∖XnX\setminus X_n is a regular topological space. Using this topological characterization of QP∞\mathbb Q\mathsf P^\infty we find topological copies of the space QP∞\mathbb Q\mathsf P^\infty among quotient spaces, orbit spaces of group actions, and projective spaces of topological vector spaces over countable topological fields.

preprint2020arXiv

Homeomorphisms of the space of non-zero integers with the Kirch topology

The GolombGolomb (resp. KirchKirch) topology on the set Z∙\mathbb Z^\bullet of nonzero integers is generated by the base consisting of arithmetic progressions a+bZ={a+bn:n∈Z}a+b\mathbb Z=\{a+bn:n\in\mathbb Z\} where a∈Z∙a\in\mathbb Z^\bullet and bb is a (square-free) number, coprime with aa. In 2019 Dario Spirito proved that the space of nonzero integers endowed with the Golomb topology admits only two self-homeomorphisms. In this paper we prove an analogous fact for the space of nonzero integers endowed with the Kirch topology: it also admits exactly two self-homeomorphisms.

preprint2020arXiv

The cometrizability of generalized metric spaces

A topological space XX is cometrizable if it admits a weaker metrizable topology such that each point x∈Xx\in X has a (not necessarily open) neighborhood base consisting of metrically closed sets. We study the relation of cometrizable spaces to other generalized metric spaces and prove that all as\mathsf{as}-cosmic spaces are cometrizable. Also, we present an example of a regular countable space of weight ω1ω_1, which is not cometrizable. Under ω1=cω_1=\mathfrak c this space contains no infinite compact subsets and hence is cs\mathsf{cs}-cosmic. Under ω1<pω_1<\mathfrak p this countable space is Fréchet-Urysohn and is not cs\mathsf{cs}-cosmic.

preprint2020arXiv

The Kirch space is topologically rigid

The GolombGolomb spacespace (resp. the KirchKirch spacespace) is the set N\mathbb N of positive integers endowed with the topology generated by the base consisting of arithmetic progressions a+bN0={a+bn:n≥0}a+b\mathbb N_0=\{a+bn:n\ge 0\} where a∈Na\in\mathbb N and bb is a (square-free) number, coprime with aa. It is known that the Golomb space (resp. the Kirch space) is connected (and locally connected). By a recent result of Banakh, Spirito and Turek, the Golomb space has trivial homeomorphism group and hence is topologically rigid. In this paper we prove the topological rigidity of the Kirch space.

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.