Source author record

Alexander V. Osipov

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

23works
3topics
4close collaborators

Published work

23 publications

preprint2026arXiv

Completeness and reflexivity type properties of B1(X)B_1(X)

For a Tychonoff space XX, B1(X)B_1(X) denotes the space of all Baire-one functions on XX endowed with the pointwise topology. We prove that the following assertions are equivalent: (1) B1(X)B_1(X) is a (semi-)Montel space, (2) B1(X)B_1(X) is a (semi-)reflexive space, (3) B1(X)B_1(X) is a (quasi-)complete space, (4) B1(X)=RXB_1(X)=\mathbb{R}^X, (5) XX is a QfQ_f-space. It is proved that B1(X)B_1(X) is sequentially complete iff B1(X)B_1(X) is locally complete iff XX is a CZCZ-space. In the case when KK is a compact space, we show that B1(K)B_1(K) is locally complete iff KK is scattered. We thoroughly study the case when XX is a separable metrizable space. Numerous distinguished examples are given.

preprint2022arXiv

Baire property of some function spaces

A compact space XX is called ππ-monolithic if for any surjective continuous mapping f:X→Kf:X\rightarrow K where KK is a metrizable compact space there exists a metrizable compact space T⊆XT\subseteq X such that f(T)=Kf(T)=K. A topological space XX is Baire if the intersection of any sequence of open dense subsets of XX is dense in XX. Let Cp(X,Y)C_p(X,Y) denote the space of all continuous YY- valued functions C(X,Y)C(X,Y) on a Tychonoff space XX with the topology of pointwise convergence. In this paper we have proved that for a totally disconnected space XX the space Cp(X,{0,1})C_p(X,\{0,1\}) is Baire if, and only if, Cp(X,K)C_p(X,K) is Baire for every ππ-monolithic compact space KK. For a Tychonoff space XX the space Cp(X)C_p(X) is Baire if, and only if, Cp(X,L)C_p(X,L) is Baire for each Frechet space LL. We construct a totally disconnected Tychonoff space TT such that Cp(T,M)C_p(T,M) is Baire for a separable metric space MM if, and only if, MM is a Peano continuum. Moreover, Cp(T,[0,1])C_p(T,[0,1]) is Baire but Cp(T,{0,1})Cp(T,\{0,1\}) is not.

preprint2022arXiv

Baire property of spaces of [0,1][0,1]-valued continuous functions

A topological space XX is Baire if the intersection of any sequence of open dense subsets of XX is dense in XX. Let Cp(X,[0,1])C_p(X,[0,1]) denote the space of all continuous [0,1][0,1]-valued functions on a Tychonoff space XX with the topology of pointwise convergence. In this paper, we have obtained a characterization when the function space Cp(X,[0,1])C_p(X,[0,1]) is Baire for a Tychonoff space XX all separable closed subsets of which are CC-embedded. In particular, this characterization is true for normal spaces and, hence, for metrizable spaces. Moreover, we obtained that the space Cp(X,[0,1])C_p(X,[0,1]) is Baire, if and only if, the space Cp(X,K)Cp(X,K) is Baire for a Peano continuum KK.

preprint2022arXiv

Baireness of the space of pointwise stabilizing functions of the first Baire class

A topological space XX is Baire if the Baire Category Theorem holds for XX, i.e., the intersection of any sequence of open dense subsets of XX is dense in XX. In this paper, we have obtained that the space B1st(X)B^{st}_1(X) of pointwise stabilizing Baire-one functions is Baire if the space B1(X)B_1(X) of Baire-one functions is so. This answers a question posed recently by T. Banakh and S. Gabriyelyan.

preprint2022arXiv

Every metric space of weight λ=λℵ0λ=λ^{\aleph_0} admits a condensation onto a Banach space

In this paper, we have proved that for each cardinal number λλ such that λ=λℵ0λ=λ^{\aleph_0} a metric space of weight λλ admits a bijective continuous mapping onto a Banach space of weight λλ. Then, we get that every metric space of weight continuum admits a bijective continuous mapping onto the Hilbert cube. This resolves the famous Banach's Problem (when does a metric (possibly Banach) space XX admit a bijective continuous mapping onto a compact metric space?) in the class of metric spaces of weight continuum. Also we get that every metric space of weight λ=λℵ0λ=λ^{\aleph_0} admits a bijective continuous mapping onto a Hausdorff compact space. This resolves the Alexandroff Problem (when does a Hausdorff space XX admit a bijective continuous mapping onto a Hausdorff compact space?) in the class of metric spaces of weight λ=λℵ0λ=λ^{\aleph_0}.

preprint2022arXiv

Mildly version of Hurewicz Basis covering property and Hurewicz measure zero spaces

In this paper, we introduced the mildly version of the Hurewicz basis covering property, studied by Babinkostova, Kočinac, and Scheepers. A space XX is said to have mildly-Hurewicz property if for each sequence ⟨Un:n∈ω⟩\langle \mathcal{U}_n : n\in ω\rangle of clopen covers of XX there is a sequence ⟨Vn:n∈ω⟩\langle \mathcal{V}_n : n\in ω\rangle such that for each nn, Vn\mathcal{V}_n is a finite subset of Un\mathcal{U}_n and for each x∈Xx\in X, xx belongs to ⋃Vn\bigcup\mathcal{V}_n for all but finitely many nn. Then we characterized mildly-Hurewicz property by mildly-Hurewicz Basis property and mildly-Hurewicz measure zero property for metrizable spaces.

preprint2022arXiv

Note on the Banach Problem 1 of condensations of Banach spaces onto compacta

It is consistent with any possible value of the continuum c\mathfrak{c} that every infinite-dimensional Banach space of density ≤c\leq \mathfrak{c} condenses onto the Hilbert cube. Let μμ be a cardinal of uncountable cofinality. It is consistent that the continuum be arbitrary large, no Banach space XX of density γγ, μ<γ<cμ< γ< \mathfrak{c} condenses onto a compactum, but any Banach space of density μμ admit a condensation onto a compactum. In particular, for μ=ω1μ=ω_1, it is consistent that c\mathfrak{c} is arbitrarily large, no Banach space of density γγ, ω1<γ<cω_1< γ< \mathfrak{c}, condenses onto a compactum. These results imply a complete answer to the Problem 1 in the Scottish Book for Banach spaces: When does a Banach space X admit a bijective continuous mapping onto a compact metric space?

preprint2022arXiv

Some observations on the mildly Menger property and topological games

In this paper, we defined two new games - the mildly Menger game and the compact-clopen game. In a zero-dimensional space, the Menger game is equivalent to the mildly Menger game and the compact-open game is equivalent to the compact-clopen game. An example is given for a space on which the mildly Menger game is undetermined. Also we introduced a new game namely K-quasi-component-clopen game and proved that this game is equivalent to the compact-clopen game. Then we proved that if a topological space is a union of countably many quasi-components of compact sets, then TWO has a winning strategy in the mildly Menger game.

preprint2022arXiv

Spaces of Real Functions, Covers and Dense Subsets

In paper we study relationships between covering properties of a topological space XX and the space (USC∗(X),τB)(USC^*(X),τ_{\mathcal{B}}) of bounded upper semicontinuous functions on XX with the topology τBτ_{\mathcal{B}} defined by the bornology B\mathcal{B} on XX. We present characterizations of various local properties of (USC∗(X),τB)(USC^*(X),τ_{\mathcal{B}}) in terms of selection principles related to bornological covers of XX. We also investigate topological properties of sequences of upper dense and upper sequentially dense subsets of (USC∗(X),τB)(USC^*(X),τ_{\mathcal{B}}).

preprint2020arXiv

On generalization of theorems of Pestryakov

In 1987, A.V. Pestryakov proved a series of theorems for cardinal functions of the space Bα(X)B_α(X) of all real-valued functions of Baire class αα (α>0)(α> 0), and he conjectured that most of these theorems are true for spaces containing all finite linear combinations of characteristic functions of zero-sets in XX. In this paper we investigate for which theorems of Pestriakov generalizations are valid. Also we prove some additional propositions for function spaces applying the theory of selection principles.

preprint2020arXiv

On homeomorphism groups and the set-open topology

In this paper we focus on the set-open topologies on the group H(X)\mathcal{H}(X) of all self-homeomorphisms of a topological space XX which yield continuity of both the group operations, product and inverse function. As a consequence, we make the more general case of Dijkstra's theorem. In this case a homogeneously encircling family B\mathcal{B} consists of regular open sets and the closure of every set from B\mathcal{B} is contained in the finite union of connected sets from B\mathcal{B}. Also we proved that the zero-cozero topology of H(X)\mathcal{H}(X) is the relativisation to H(X)\mathcal{H}(X) of the compact-open topology of H(βX)\mathcal{H}(βX) for any Tychonoff space XX and every homogeneous zero-dimensional space XX can be represented as the quotient space of a topological group with respect to a closed subgroup.

preprint2020arXiv

On regular κκ-bounded spaces admitting only constant continuous mappings into T1T_1 spaces of pseudo-character ≤κ\leq κ

In this paper for each cardinal κκ we construct an infinite κκ-bounded (and hence countably compact) regular space RκR_κ such that for any T1T_1 space YY of pseudo-character ≤κ\leqκ, each continuous function f:Rκ→Yf:R_κ\rightarrow Y is constant. This result resolves two problems posted by Tzannes in Open Problems from Topology Proceedings and extends results of Ciesielski and Wojciechowski and Herrlich.

preprint2020arXiv

Projective versions of the properties in the Scheepers Diagram

Let P\mathcal{P} be a topological property. A.V. Arhangel'skii calls XX projectively P\mathcal{P} if every second countable continuous image of XX is P\mathcal{P}. Lj.D.R. Kocˇ\check{c}inac characterized the classical covering properties of Menger, Rothberger, Hurewicz and Gerlits-Nagy in term of continuous images in Rω\mathbb{R}^ω. In this paper we study the functional characterizations of all projective versions of the selection properties in the Scheepers Diagram.

preprint2020arXiv

Topological properties of some function spaces

Let YY be a metrizable space containing at least two points, and let XX be a YIY_{\mathcal{I}}-Tychonoff space for some ideal I\mathcal{I} of compact sets of XX. Denote by CI(X,Y)C_{\mathcal{I}}(X,Y) the space of continuous functions from XX to YY endowed with the I\mathcal{I}-open topology. We prove that CI(X,Y)C_{\mathcal{I}}(X,Y) is Fréchet - Urysohn iff XX has the property γIγ_{\mathcal{I}}. We characterize zero - dimensional Tychonoff spaces XX for which the space CI(X,2)C_{\mathcal{I}}(X,{\bf 2}) is sequential. Extending the classical theorems of Gerlits, Nagy and Pytkeev we show that if YY is not compact, then Cp(X,Y)C_{p}(X,Y) is Fréchet - Urysohn iff it is sequential iff it is a kk-space iff XX has the property γγ. An analogous result is obtained for the space of bounded continuous functions taking values in a metrizable locally convex space. Denote by B1(X,Y)B_{1}(X,Y) and B(X,Y)B(X,Y) the space of Baire one functions and the space of all Baire functions from XX to YY, respectively. If HH is a subspace of B(X,Y)B(X,Y) containing B1(X,Y)B_{1}(X,Y), then HH is metrizable iff it is a σσ - space iff it has countable cs∗cs^* - character iff XX is countable. If additionally YY is not compact, then HH is Fréchet - Urysohn iff it is sequential iff it is a kk - space iff it has countable tightness iff Xℵ0X_{\aleph_0} has the property γγ, where Xℵ0X_{\aleph_0} is the space XX with the Baire topology. We show that if XX is a Polish space, then the space B1(X,R)B_{1}(X,\mathbb{R}) is normal iff XX is countable.

preprint2012arXiv

Uniformity of uniform convergence on the family of sets

We prove that for every Hausdorff space X and any uniform quadra space (Y,U) the topology on C(X,Y) induced by the uniformity U| of uniform convergence on the saturation family L coincides with the set-open topology on C(X,Y). In particular, for every pseudocompact space X and any metrizable topological vector space Y with uniform U the topology on C(X,Y) induced by the uniformity U| of uniform convergence coincides with the C-compact-open topology on C(X,Y), and depends only on the topology induced on Y by the uniformity U. It is also shown that in the class closed-homogeneous complete uniform spaces Y necessary condition for coincidence of topologies is Y-compactness of elements of family L.

preprint2011arXiv

Some properties of minimal S(α) and S(α)FC spaces

A S(n)-space is S(n)-functionally compact (S(n)FC) if every continuous function onto a S(n)-space is closed. S(n)-closed, S(n)-θ-closed, minimal S(n) and S(n)FC spaces are characterized in terms of θ(n)-complete accumulation points. In paper we also give new characteristics of R-closed and regular functionally compact spaces. Results obtained to answer some questions raised by D.Dikranjan, E.Giuli, L.Friedler, M.Girou, D.Pettey and J.Porter.

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.