Showing 1–50 of 65 results for author: Osipov, A V

The $Δ_1$-property of $X$ is equivalent to the Choquet property of $B_1(X)$

Authors: Alexander V. Osipov

Abstract: We give a characterization of the $Δ_1$-property of any Tychonoff space $X$ in terms of the function space $B_1(X)$ of all Baire-one real-valued functions on a space $X$ with the topology of pointwise convergence. We establish that for a Tychonoff space $X$ the $Δ_1$-property is equivalent to the Choquet property of $B_1(X)$. Also we construct under $ZFC$ an example of a separable pseudocompact sp… ▽ More We give a characterization of the $Δ_1$-property of any Tychonoff space $X$ in terms of the function space $B_1(X)$ of all Baire-one real-valued functions on a space $X$ with the topology of pointwise convergence. We establish that for a Tychonoff space $X$ the $Δ_1$-property is equivalent to the Choquet property of $B_1(X)$. Also we construct under $ZFC$ an example of a separable pseudocompact space $X$ such that $C_p(X)$ is $κ$-Frechet-Urysohn but $X$ fails to be a $Δ_1$-space. This answers a question of Kakol-Leiderman-Tkachuk. △ Less

Submitted 15 April, 2025; v1 submitted 13 March, 2025; originally announced March 2025.

Comments: 8 pages. arXiv admin note: text overlap with arXiv:2110.15496, arXiv:2501.06898

The $κ$-Fréchet-Urysohn property for $C_p(X)$ is equivalent to Baireness of $B_1(X)$

Authors: Alexander V. Osipov

Abstract: A topological space $X$ is Baire if the intersection of any sequence of open dense subsets of $X$ is dense in $X$. We establish that the property $(κ)$ for a Tychonoff space $X$ is equivalent to Baireness of $B_1(X)$ and, hence, the Banakh property for $C_p(X)$ is equivalent to meagerness of $B_1(X)$. Thus, we obtain one characteristic of the Banakh property for $C_p(X)$ through the property of sp… ▽ More A topological space $X$ is Baire if the intersection of any sequence of open dense subsets of $X$ is dense in $X$. We establish that the property $(κ)$ for a Tychonoff space $X$ is equivalent to Baireness of $B_1(X)$ and, hence, the Banakh property for $C_p(X)$ is equivalent to meagerness of $B_1(X)$. Thus, we obtain one characteristic of the Banakh property for $C_p(X)$ through the property of space $X$. △ Less

Submitted 19 May, 2025; v1 submitted 12 January, 2025; originally announced January 2025.

Comments: 8 pages

On Baire property of spaces of compact-valued measurable functions

Authors: Alexander V. Osipov

Abstract: A topological space $X$ is Baire if the Baire Category Theorem holds for $X$, i.e., the intersection of any sequence of open dense subsets of $X$ is dense in $X$. One of the interesting problems in the theory of functional spaces is the characterization of the Baire property of a functional space through the topological property of the support of functions. In the paper this problem is solved fo… ▽ More A topological space $X$ is Baire if the Baire Category Theorem holds for $X$, i.e., the intersection of any sequence of open dense subsets of $X$ is dense in $X$. One of the interesting problems in the theory of functional spaces is the characterization of the Baire property of a functional space through the topological property of the support of functions. In the paper this problem is solved for the space $M(X, K)$ of all measurable compact-valued ($K$-valued) functions defined on a measurable space $(X,Σ)$ with the topology of pointwise convergence. It is proved that $M(X, K)$ is Baire for any metrizable compact space $K$. △ Less

Submitted 4 September, 2024; originally announced September 2024.

Comments: 9 pages

Velichko's notions close to sequentially separability and their hereditary variants in $C_p$-theory

Authors: Alexander V. Osipov

Abstract: A space $X$ is sequentially separable if there is a countable $S\subset X$ such that every point of $X$ is the limit of a sequence of points from $S$. In 2004, N.V. Velichko defined and investigated concepts close to sequentially separability: $σ$-separability and $F$-separability. The aim of this paper is to study $σ$-separability and $F$-separability (and their hereditary variants) of the space… ▽ More A space $X$ is sequentially separable if there is a countable $S\subset X$ such that every point of $X$ is the limit of a sequence of points from $S$. In 2004, N.V. Velichko defined and investigated concepts close to sequentially separability: $σ$-separability and $F$-separability. The aim of this paper is to study $σ$-separability and $F$-separability (and their hereditary variants) of the space $C_p(X)$ of all real-valued continuous functions, defined on a Tychonoff space $X$, endowed with the pointwise convergence topology. In particular, we proved that $σ$-separability coincides with sequential separability. Hereditary variants (hereditarily $σ$-separablity and hereditarily $F$-separablity) coincides with Frechet-Urysohn property in the class of cosmic spaces. △ Less

Submitted 16 July, 2024; v1 submitted 5 June, 2024; originally announced June 2024.

Comments: 12 pages

Tightness type properties of spaces of quasicontinuous functions

Authors: Anton E. Lipin, Alexander V. Osipov

Abstract: Using approximation by continuous functions we prove the following statements to types of tightness in a space $Q_p(X, \mathbb{R})$ of all quasicontinuous real-valued functions with the topology $τ_p$ of pointwise convergence: the countability of tightness (fan-tightness, strong fan-tightness) at a point $f$ of space $Q_p(X, \mathbb{R})$ implies the countability of tightness (fan-tightness, strong… ▽ More Using approximation by continuous functions we prove the following statements to types of tightness in a space $Q_p(X, \mathbb{R})$ of all quasicontinuous real-valued functions with the topology $τ_p$ of pointwise convergence: the countability of tightness (fan-tightness, strong fan-tightness) at a point $f$ of space $Q_p(X, \mathbb{R})$ implies the countability of tightness (fan-tightness, strong fan-tightness) of space $Q_p(X,Y)$ of all quasicontinuous functions from $X$ into any non-one-point metrizable space $Y$. This result is the answer to the open question in the class of metrizable spaces. △ Less

Submitted 5 March, 2025; v1 submitted 6 March, 2024; originally announced March 2024.

Comments: 13 pages. arXiv admin note: text overlap with arXiv:2311.07517

Dieudonné completeness of function spaces

Authors: Mikhail Al'perin, Alexander V. Osipov

Abstract: A space is called Dieudonné complete if it is complete relative to the maximal uniform structure compatible with its topology. In this paper, we investigated when the function space $C(X,Y)$ of all continuous functions from a topological space $X$ into a uniform space $Y$ with the topology of uniform convergence on a family of subsets of $X$ is Dieudonné complete. Also we proved a generalization o… ▽ More A space is called Dieudonné complete if it is complete relative to the maximal uniform structure compatible with its topology. In this paper, we investigated when the function space $C(X,Y)$ of all continuous functions from a topological space $X$ into a uniform space $Y$ with the topology of uniform convergence on a family of subsets of $X$ is Dieudonné complete. Also we proved a generalization of the Eberlein-Šmulian theorem to the class of Banach spaces. △ Less

Submitted 2 September, 2024; v1 submitted 29 January, 2024; originally announced January 2024.

Comments: 10 pages

On the product of almost discrete Grothendieck spaces

Authors: Alexander V. Osipov

Abstract: A topological space $X$ is called almost discrete, if it has precisely one nonisolated point. In this paper, we get that for a countable product $X=\prod X_i$ of almost discrete spaces $X_i$ the space $C_p(X)$ of continuous real-valued functions with the topology of pointwise convergence is a $μ$-space if, and only if, $X$ is a weak $q$-space if, and only if, $t(X)=ω$ if, and only if, $X$ is funct… ▽ More A topological space $X$ is called almost discrete, if it has precisely one nonisolated point. In this paper, we get that for a countable product $X=\prod X_i$ of almost discrete spaces $X_i$ the space $C_p(X)$ of continuous real-valued functions with the topology of pointwise convergence is a $μ$-space if, and only if, $X$ is a weak $q$-space if, and only if, $t(X)=ω$ if, and only if, $X$ is functionally generated by the family of all its countable subspaces. This result makes it possible to solve Archangel'skii's problem on the product of Grothendieck spaces. It is proved that in the model of $ZFC$, obtained by adding one Cohen real, there are Grothendieck spaces $X$ and $Y$ such that $X\times Y$ is not weakly Grothendieck space. In $(PFA)$: the product of any countable family almost discrete Grothendieck spaces is a Grothendieck space. △ Less

Submitted 17 December, 2023; originally announced December 2023.

Comments: 9 pages

On countable tightness type properties of spaces of quasicontinuous functions

Authors: Alexander V. Osipov

Abstract: In this paper we get characterizations countable tightness, countable fan-tightness and countable strong fan-tightness of spaces of quasicontinuous functions with the topology of pointwise convergence from a open Whyburn $T_2$-space $X$ into the discrete two-point space $\{0, 1\}$ through properties of $X$ determined by selection principles. These properties (e.g. $S_1(K, K)$, $K_Ω$-Lindelofness,… ▽ More In this paper we get characterizations countable tightness, countable fan-tightness and countable strong fan-tightness of spaces of quasicontinuous functions with the topology of pointwise convergence from a open Whyburn $T_2$-space $X$ into the discrete two-point space $\{0, 1\}$ through properties of $X$ determined by selection principles. These properties (e.g. $S_1(K, K)$, $K_Ω$-Lindelofness, $S_1(K_Ω, K_Ω)$) were defined by M. Scheepers and studied in theory of selection principles in the class of metric spaces. For any cardinal number $κ$, we get a functional characterization of $κ^+$-Lusin space in class of separable metrizable spaces through tightness of compact subsets of a space of quasicontinuous real-valued functions with the topology of pointwise convergence. △ Less

Submitted 26 January, 2024; v1 submitted 13 November, 2023; originally announced November 2023.

Comments: 14 pages

Joint continuity in semitopological monoids and semilattices

Authors: Alexander V. Osipov, Konstantin Kazachenko

Abstract: In this paper we study the separately continuous actions of semitopological monoids on pseudocompact spaces. The main aim of this paper is to generalize Lawson's results to some class of pseudocompact spaces. Also, we introduce a concept of a weak $q_D$-space and prove that a pseudocompact space and a weak $q_D$-space form a Grothendieck pair. As an application of the main result, we investigate… ▽ More In this paper we study the separately continuous actions of semitopological monoids on pseudocompact spaces. The main aim of this paper is to generalize Lawson's results to some class of pseudocompact spaces. Also, we introduce a concept of a weak $q_D$-space and prove that a pseudocompact space and a weak $q_D$-space form a Grothendieck pair. As an application of the main result, we investigate the continuity of multiplication and taking inverses in subgroups of semitopological semigroups. In particular, we get that if $(S,\bullet)$ is a Tychonoff pseudocompact semitopological monoid with a quasicontinuous multiplication $\bullet$ and $G$ is a subgroup of $S$, then $G$ is a topological group. Also, we study the continuity of operations in semitopological semilattices. △ Less

Submitted 12 November, 2023; v1 submitted 20 September, 2023; originally announced September 2023.

Comments: 12 pages

Generalization of the Grothendieck's theorem

Authors: Mikhail Al'perin, Alexander V. Osipov

Abstract: In this paper, we have obtained a generalization of the Grothendieck's theorem for the space of continuous mappings $C_{λ,μ}(X,Y)$ where $Y$ is a complete uniform space with the uniformity $μ$ endowed with the topology of uniform convergence on the family $λ$ of subsets of $X$. A new topological game is defined - the Asanov-Velichko game, which makes it possible to single out a class of topologica… ▽ More In this paper, we have obtained a generalization of the Grothendieck's theorem for the space of continuous mappings $C_{λ,μ}(X,Y)$ where $Y$ is a complete uniform space with the uniformity $μ$ endowed with the topology of uniform convergence on the family $λ$ of subsets of $X$. A new topological game is defined - the Asanov-Velichko game, which makes it possible to single out a class of topological spaces of the Grothendieck type. The developed technique is used to generalize the Grothendieck theorem for the space of continuous mappings endowed with the set-open topology. △ Less

Submitted 19 July, 2023; v1 submitted 8 May, 2023; originally announced May 2023.

Comments: 14 pages

Some observations on a clopen version of the Rothberger property

Authors: Manoj Bhardwaj, Alexander V. Osipov

Abstract: In this paper, we proved that a clopen version $S_1(C_O, C_O)$ of the Rothberger property and Borel strong measure zeroness are independent. For a zero-dimensional metric space $(X, d)$, $X$ satisfies $S_1(C_O, C_O)$ if, and only if, $X$ has Borel strong measure zero with respect to each metric which has a same topology as d has. In a zero-dimensional space, the game $G_1(O,O)$ is equivalent to th… ▽ More In this paper, we proved that a clopen version $S_1(C_O, C_O)$ of the Rothberger property and Borel strong measure zeroness are independent. For a zero-dimensional metric space $(X, d)$, $X$ satisfies $S_1(C_O, C_O)$ if, and only if, $X$ has Borel strong measure zero with respect to each metric which has a same topology as d has. In a zero-dimensional space, the game $G_1(O,O)$ is equivalent to the game $G_1(C_O, C_O)$ and the point-open game is equivalent to the point-clopen game. Using reflections, we obtained that the game $G_1(C_O, C_O)$ and the point-clopen game are strategically and Markov dual. An example is given for a space on which the game $G_1(C_O, C_O)$ is undetermined. △ Less

Submitted 11 March, 2023; originally announced March 2023.

Comments: 13 pages. arXiv admin note: text overlap with arXiv:2201.12759

Covering games using semi-open sets

Authors: Manoj Bhardwaj, Alexander V. Osipov

Abstract: In this paper, we prove the following Theorems 1. An extremally disconnected space $X$ has the semi-Menger property if and only if One does not have a winning strategy in the game $G_{fin}(sO,sO)$. 2. An extremally disconnected space $X$ has the semi-Rothberger property if and only if One does not have a winning strategy in the game $G_1(sO,sO)$. In this paper, we prove the following Theorems 1. An extremally disconnected space $X$ has the semi-Menger property if and only if One does not have a winning strategy in the game $G_{fin}(sO,sO)$. 2. An extremally disconnected space $X$ has the semi-Rothberger property if and only if One does not have a winning strategy in the game $G_1(sO,sO)$. △ Less

Submitted 9 March, 2023; originally announced March 2023.

Comments: 10 pages. arXiv admin note: substantial text overlap with arXiv:1904.02736 by other authors

The projectively Hurewicz property is t-invariant

Authors: Alexander V. Osipov

Abstract: A space $X$ is projectively Hurewicz provided every separable metrizable continuous image of $X$ is Hurewicz. In this paper we prove that the projectively Hurewicz property is $t$-invariant, i.e., if $C_p(X)$ is homeomorphic to $C_p(Y)$ and $X$ is projectively Hurewicz, then $Y$ is projectively Hurewicz, too. A space $X$ is projectively Hurewicz provided every separable metrizable continuous image of $X$ is Hurewicz. In this paper we prove that the projectively Hurewicz property is $t$-invariant, i.e., if $C_p(X)$ is homeomorphic to $C_p(Y)$ and $X$ is projectively Hurewicz, then $Y$ is projectively Hurewicz, too. △ Less

Submitted 5 June, 2023; v1 submitted 5 March, 2023; originally announced March 2023.

Comments: 6 pages. arXiv admin note: text overlap with arXiv:1812.05925

Frechet-Urysohn property of quasicontinuous functions

Authors: Alexander V. Osipov

Abstract: The aim of this paper is to study the Frechet-Urysohn property of the space $Q_p(X,\mathbb{R})$ of real-valued quasicontinuous functions, defined on a Hausdorff space $X$, endowed with the pointwise convergence topology. It is proved that under Suslin's Hypothesis, for an open Whyburn space $X$, the space $Q_p(X,\mathbb{R})$ is Frechet-Urysohn if and only if $X$ is countable. In particular, it is… ▽ More The aim of this paper is to study the Frechet-Urysohn property of the space $Q_p(X,\mathbb{R})$ of real-valued quasicontinuous functions, defined on a Hausdorff space $X$, endowed with the pointwise convergence topology. It is proved that under Suslin's Hypothesis, for an open Whyburn space $X$, the space $Q_p(X,\mathbb{R})$ is Frechet-Urysohn if and only if $X$ is countable. In particular, it is true in the class of first-countable regular spaces $X$. In ZFC, it is proved that for a metrizable space $X$, the space $Q_p(X,\mathbb{R})$ is Frechet-Urysohn if and only if $X$ is countable. △ Less

Submitted 14 February, 2023; v1 submitted 13 February, 2023; originally announced February 2023.

Comments: 10 pages

On Baire property, compactness and completeness properties of spaces of Baire functions

Authors: Alexander V. Osipov

Abstract: A topological space $X$ is Baire if the intersection of any sequence of open dense subsets of $X$ is dense in $X$. One of the interesting problems for the space of Baire functions is the Banakh-Gabriyelyan problem: Let $α$ be a countable ordinal. Characterize topological spaces $X$ and $Y$ for which the function space $B_α(X,Y)$ is Baire. In this paper, for any Frechet space $Y$ , we have obtained… ▽ More A topological space $X$ is Baire if the intersection of any sequence of open dense subsets of $X$ is dense in $X$. One of the interesting problems for the space of Baire functions is the Banakh-Gabriyelyan problem: Let $α$ be a countable ordinal. Characterize topological spaces $X$ and $Y$ for which the function space $B_α(X,Y)$ is Baire. In this paper, for any Frechet space $Y$ , we have obtained a characterization topological spaces $X$ for which the function space $B_α(X,Y)$ is Baire. In particular, we proved that $B_α(X,\mathbb{R})$ is Baire if and only if $B_α(X,Y)$ is Baire for any Banach space $Y$. Also we proved that many completeness and compactness properties coincide in spaces $B_α(X,Y)$ for any Frechet space $Y$. △ Less

Submitted 5 March, 2025; v1 submitted 19 November, 2022; originally announced November 2022.

Comments: 15 pages

On the first Banach problem, concerning condensations of absolute $κ$-Borel sets onto compacta

Authors: Alexander V. Osipov

Abstract: It is consistent that the continuum be arbitrary large and no absolute $κ$-Borel set $X$ of density $κ$, $\aleph_1<κ<\mathfrak{c}$, condenses onto a compact metric space. It is consistent that the continuum be arbitrary large and any absolute $κ$-Borel set $X$ of density $κ$, $κ\leq\mathfrak{c}$, containing a closed subspace of the Baire space of weight $κ$, condenses onto a compactum. In particul… ▽ More It is consistent that the continuum be arbitrary large and no absolute $κ$-Borel set $X$ of density $κ$, $\aleph_1<κ<\mathfrak{c}$, condenses onto a compact metric space. It is consistent that the continuum be arbitrary large and any absolute $κ$-Borel set $X$ of density $κ$, $κ\leq\mathfrak{c}$, containing a closed subspace of the Baire space of weight $κ$, condenses onto a compactum. In particular, applying Brian's results in model theory, we get the following unexpected result. Given any $A\subseteq \mathbb{N}$ with $1\in A$, there is a forcing extension in which every absolute $\aleph_n$-Borel set, containing a closed subspace of the Baire space of weight $\aleph_n$, condenses onto a compactum if, and only if, $n\in A$. △ Less

Submitted 22 February, 2024; v1 submitted 5 September, 2022; originally announced September 2022.

Comments: 6 pages

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

Authors: Alexander V. Osipov

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

Submitted 24 May, 2022; originally announced June 2022.

Comments: 7 pages. arXiv admin note: text overlap with arXiv:2110.15496

Spaces of Real Functions, Covers and Dense Subsets

Authors: Lev Bukovský, Alexander V. Osipov

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

Submitted 17 April, 2022; originally announced April 2022.

Comments: 12 pages. arXiv admin note: substantial text overlap with arXiv:1905.10287

Baire property of some function spaces

Authors: Alexander V. Osipov, Evgenii G. Pytkeev

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

Submitted 3 August, 2022; v1 submitted 12 April, 2022; originally announced April 2022.

Comments: 15 pages. arXiv admin note: text overlap with arXiv:2203.05976

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

Authors: Alexander V. Osipov, Evgenii G. Pytkeev

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

Submitted 11 March, 2022; originally announced March 2022.

Comments: 15 pages

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

Authors: Manoj Bhardwaj, Alexander V. Osipov

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

Submitted 25 February, 2022; originally announced February 2022.

Comments: 9 pages. arXiv admin note: substantial text overlap with arXiv:1910.13822

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

Authors: Alexander V. Osipov, Evgenii G. Pytkeev

Abstract: In this paper, we have proved that for each cardinal number $λ$ such that $λ=λ^{\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… ▽ More In this paper, we have proved that for each cardinal number $λ$ such that $λ=λ^{\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 $X$ 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 $λ=λ^{\aleph_0}$ admits a bijective continuous mapping onto a Hausdorff compact space. This resolves the Alexandroff Problem (when does a Hausdorff space $X$ admit a bijective continuous mapping onto a Hausdorff compact space?) in the class of metric spaces of weight $λ=λ^{\aleph_0}$. △ Less

Submitted 9 February, 2022; originally announced February 2022.

Comments: 8 pages

Some observations on the mildly Menger property and topological games

Authors: Manoj Bhardwaj, Alexander V. Osipov

Abstract: 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 p… ▽ More 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. △ Less

Submitted 30 January, 2022; originally announced January 2022.

Comments: 12 pages

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

Authors: Alexander V. Osipov

Abstract: It is consistent with any possible value of the continuum $\mathfrak{c}$ that every infinite-dimensional Banach space of density $\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 $X$ of density $γ$, $μ< γ< \mathfrak{c}$ condenses onto a compactum, but any Banach space of dens… ▽ More It is consistent with any possible value of the continuum $\mathfrak{c}$ that every infinite-dimensional Banach space of density $\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 $X$ of density $γ$, $μ< γ< \mathfrak{c}$ condenses onto a compactum, but any Banach space of density $μ$ admit a condensation onto a compactum. In particular, for $μ=ω_1$, it is consistent that $\mathfrak{c}$ is arbitrarily large, no Banach space of density $γ$, $ω_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? △ Less

Submitted 28 August, 2022; v1 submitted 20 December, 2021; originally announced December 2021.

Comments: 7 pages

Embedding Theorems for function spaces

Authors: Mikhail Al'perin, Sergei Nokhrin, Alexander V. Osipov

Abstract: In this paper, we have proved results similar to Tychonoff's Theorem on embedding a space of functions with the topology of pointwise convergence into the Tychonoff product of topological spaces, but applied to the function space $C(X,Y)$ of all continuous functions from a topological space $X$ into a uniform space $Y$ with the topology of uniform convergence on a family of subsets of $X$ and with… ▽ More In this paper, we have proved results similar to Tychonoff's Theorem on embedding a space of functions with the topology of pointwise convergence into the Tychonoff product of topological spaces, but applied to the function space $C(X,Y)$ of all continuous functions from a topological space $X$ into a uniform space $Y$ with the topology of uniform convergence on a family of subsets of $X$ and with the (weak) set-open topology. We also investigated the following question: how the topological embedding of the space $C(X,Y)$ is related to algebraic structures (such as topological groups, topological rings and topological vector spaces) on $C(X,Y)$. △ Less

Submitted 4 April, 2023; v1 submitted 14 December, 2021; originally announced December 2021.

Comments: 29 pages

Baire property of space of Baire-one functions

Authors: Alexander V. Osipov

Abstract: A topological space $X$ is Baire if the Baire Category Theorem holds for $X$, i.e., the intersection of any sequence of open dense subsets of $X$ is dense in $X$. One of the interesting problems for the space $B_1(X)$ of all Baire-one real-valued functions is characterization topological space $X$ for which the function space $B_1(X)$ is Baire. In this paper, we solve this problem, namely, we have… ▽ More A topological space $X$ is Baire if the Baire Category Theorem holds for $X$, i.e., the intersection of any sequence of open dense subsets of $X$ is dense in $X$. One of the interesting problems for the space $B_1(X)$ of all Baire-one real-valued functions is characterization topological space $X$ for which the function space $B_1(X)$ is Baire. In this paper, we solve this problem, namely, we have obtained a characterization when a function space $B_1(X)$ has the Baire property for any Tychonoff space $X$. Also we proved that $B_1(X)$ is Baire for any $γ$-space $X$. This answers a question posed recently by T. Banakh and S. Gabriyelyan. We also conclude that, it is consistent there are no uncountable separable metrizable space $X$ such that $B_1(X)$ is countable dense homogeneous. △ Less

Submitted 2 November, 2024; v1 submitted 28 October, 2021; originally announced October 2021.

Comments: 34 pages

Various types of completeness in topologized semilattices

Authors: Konstantin Kazachenko, Alexander V. Osipov

Abstract: A topologized semilattice $X$ is called complete if each non-empty chain $C\subset X$ has $\inf C$ and $\sup C$ that belong to the closure $C$ of the chain $C$ in $X$. In this paper, we introduce various concepts of completeness of topologized semilattices in the context of operators that generalize the closure operator, and study their basic properties. In addition, examples of specific topologiz… ▽ More A topologized semilattice $X$ is called complete if each non-empty chain $C\subset X$ has $\inf C$ and $\sup C$ that belong to the closure $C$ of the chain $C$ in $X$. In this paper, we introduce various concepts of completeness of topologized semilattices in the context of operators that generalize the closure operator, and study their basic properties. In addition, examples of specific topologized semilattices are given, showing that these classes do not coincide with each other. Also in this paper, we prove theorems that allow us to generalize the available results on complete semilattices endowed with topology. △ Less

Submitted 18 August, 2021; originally announced August 2021.

Comments: 15 pages, 2 figures

MSC Class: 06B30; 06B35; 54D55

Compact condensations of Hausdorff spaces

Authors: Vitalii I. Belugin, Alexander V. Osipov, Evgenii G. Pytkeev

Abstract: In this paper, we continue to study one of the classic problems in general topology raised by P.S. Alexandrov: when a Hausdorff space $X$ has a continuous bijection (a condensation) onto a compactum? We concentrate on the situation when not only $X$ but also $X\setminus Y$ can be condensed onto a compactum whenever the cardinality of $Y$ does not exceed certain $τ$. In this paper, we continue to study one of the classic problems in general topology raised by P.S. Alexandrov: when a Hausdorff space $X$ has a continuous bijection (a condensation) onto a compactum? We concentrate on the situation when not only $X$ but also $X\setminus Y$ can be condensed onto a compactum whenever the cardinality of $Y$ does not exceed certain $τ$. △ Less

Submitted 24 July, 2020; originally announced July 2020.

Comments: 17 pages

Topological properties of some function spaces

Authors: Saak Gabriyelyan, Alexander V. Osipov

Abstract: Let $Y$ be a metrizable space containing at least two points, and let $X$ be a $Y_{\mathcal{I}}$-Tychonoff space for some ideal $\mathcal{I}$ of compact sets of $X$. Denote by $C_{\mathcal{I}}(X,Y)$ the space of continuous functions from $X$ to $Y$ endowed with the $\mathcal{I}$-open topology. We prove that $C_{\mathcal{I}}(X,Y)$ is Fréchet - Urysohn iff $X$ has the property $γ_{\mathcal{I}}$. We… ▽ More Let $Y$ be a metrizable space containing at least two points, and let $X$ be a $Y_{\mathcal{I}}$-Tychonoff space for some ideal $\mathcal{I}$ of compact sets of $X$. Denote by $C_{\mathcal{I}}(X,Y)$ the space of continuous functions from $X$ to $Y$ endowed with the $\mathcal{I}$-open topology. We prove that $C_{\mathcal{I}}(X,Y)$ is Fréchet - Urysohn iff $X$ has the property $γ_{\mathcal{I}}$. We characterize zero - dimensional Tychonoff spaces $X$ for which the space $C_{\mathcal{I}}(X,{\bf 2})$ is sequential. Extending the classical theorems of Gerlits, Nagy and Pytkeev we show that if $Y$ is not compact, then $C_{p}(X,Y)$ is Fréchet - Urysohn iff it is sequential iff it is a $k$-space iff $X$ 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 $B_{1}(X,Y)$ and $B(X,Y)$ the space of Baire one functions and the space of all Baire functions from $X$ to $Y$, respectively. If $H$ is a subspace of $B(X,Y)$ containing $B_{1}(X,Y)$, then $H$ is metrizable iff it is a $σ$ - space iff it has countable $cs^*$ - character iff $X$ is countable. If additionally $Y$ is not compact, then $H$ is Fréchet - Urysohn iff it is sequential iff it is a $k$ - space iff it has countable tightness iff $X_{\aleph_0}$ has the property $γ$, where $X_{\aleph_0}$ is the space $X$ with the Baire topology. We show that if $X$ is a Polish space, then the space $B_{1}(X,\mathbb{R})$ is normal iff $X$ is countable. △ Less

Submitted 11 April, 2020; originally announced April 2020.

Comments: 39 pages

On homeomorphism groups and the set-open topology

Authors: Alexander V. Osipov

Abstract: In this paper we focus on the set-open topologies on the group $\mathcal{H}(X)$ of all self-homeomorphisms of a topological space $X$ 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 $\mathcal{B}$ consists of regular open sets and the closure of ev… ▽ More In this paper we focus on the set-open topologies on the group $\mathcal{H}(X)$ of all self-homeomorphisms of a topological space $X$ 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 $\mathcal{B}$ consists of regular open sets and the closure of every set from $\mathcal{B}$ is contained in the finite union of connected sets from $\mathcal{B}$. Also we proved that the zero-cozero topology of $\mathcal{H}(X)$ is the relativisation to $\mathcal{H}(X)$ of the compact-open topology of $\mathcal{H}(βX)$ for any Tychonoff space $X$ and every homogeneous zero-dimensional space $X$ can be represented as the quotient space of a topological group with respect to a closed subgroup. △ Less

Submitted 19 February, 2020; originally announced February 2020.

Comments: 11 pages

MSC Class: 54C35 (Primary) 54H11; 22A05 (Secondary)

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

Authors: Serhii Bardyla, Alexander V. Osipov

Abstract: In this paper for each cardinal $κ$ we construct an infinite $κ$-bounded (and hence countably compact) regular space $R_κ$ such that for any $T_1$ space $Y$ of pseudo-character $\leqκ$, each continuous function $f: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 Herr… ▽ More In this paper for each cardinal $κ$ we construct an infinite $κ$-bounded (and hence countably compact) regular space $R_κ$ such that for any $T_1$ space $Y$ of pseudo-character $\leqκ$, each continuous function $f: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. △ Less

Submitted 21 January, 2020; v1 submitted 22 December, 2019; originally announced December 2019.

On Ramsey properties, function spaces, and topological games

Authors: Steven Clontz, Alexander V. Osipov

Abstract: An open question of Gruenhage asks if all strategically selectively separable spaces are Markov selectively separable, a game-theoretic statement known to hold for countable spaces. As a corollary of a result by Berner and Juh$\acute{a}$sz, we note that the strong version of this statement, where the second player is restricted to selecting single points in the rather than finite subsets, holds fo… ▽ More An open question of Gruenhage asks if all strategically selectively separable spaces are Markov selectively separable, a game-theoretic statement known to hold for countable spaces. As a corollary of a result by Berner and Juh$\acute{a}$sz, we note that the strong version of this statement, where the second player is restricted to selecting single points in the rather than finite subsets, holds for all $T_3$ spaces without isolated points. Continuing this investigation, we also consider games related to selective sequential separability, and demonstrate results analogous to those for selective separability. In particular, strong selective sequential separability in the presence of the Ramsey property may be reduced to a weaker condition on a countable sequentially dense subset. Additionally, $γ$- and $ω$- covering properties on $X$ are shown to be equivalent to corresponding sequential properties on $C_p(X)$. A strengthening of the Ramsey property is also introduced, which is still equivalent to $α_2$ and $α_4$ in the context of $C_p(X)$. △ Less

Submitted 11 July, 2019; originally announced July 2019.

Comments: 17 pages

Selectors for dense subsets of function spaces

Authors: Lev Bukovský, Alexander V. Osipov

Abstract: Let $USC^*_p(X)$ be the topological space of real upper semicontinuous bounded functions defined on $X$ with the subspace topology of the product topology on ${}^X\mathbb{R}$. $\tildeΦ^{\uparrow},\tildeΨ^{\uparrow}$ are the sets of all upper sequentially dense, upper dense or pointwise dense subsets of $USC^*_p(X)$, respectively. We prove several equivalent assertions to the assertion… ▽ More Let $USC^*_p(X)$ be the topological space of real upper semicontinuous bounded functions defined on $X$ with the subspace topology of the product topology on ${}^X\mathbb{R}$. $\tildeΦ^{\uparrow},\tildeΨ^{\uparrow}$ are the sets of all upper sequentially dense, upper dense or pointwise dense subsets of $USC^*_p(X)$, respectively. We prove several equivalent assertions to the assertion $USC^*_p(X)$ satisfies the selection principles $S_1(\tildeΦ^{\uparrow},\tildeΨ^{\uparrow})$, including a condition on the topological space $X$. We prove similar results for the topological space $C^*_p(X)$ of continuous bounded functions. Similar results hold true for the selection principles $S_{fin}(\tildeΦ^{\uparrow},\tildeΨ^{\uparrow})$. △ Less

Submitted 1 July, 2019; v1 submitted 24 May, 2019; originally announced May 2019.

Comments: 19 pages

Strongly sequentially separable function spaces, via selection principles

Authors: Alexander V. Osipov, Piotr Szewczak, Boaz Tsaban

Abstract: A separable space is strongly sequentially separable if, for each countable dense set, every point in the space is a limit of a sequence from the dense set. We consider this and related properties, for the spaces of continous and Borel real-valued functions on Tychonoff spaces, with the topology of pointwise convergence. Our results solve a problem stated by Gartside, Lo, and Marsh. A separable space is strongly sequentially separable if, for each countable dense set, every point in the space is a limit of a sequence from the dense set. We consider this and related properties, for the spaces of continous and Borel real-valued functions on Tychonoff spaces, with the topology of pointwise convergence. Our results solve a problem stated by Gartside, Lo, and Marsh. △ Less

Submitted 7 November, 2019; v1 submitted 20 May, 2019; originally announced May 2019.

Comments: 9 pages

MSC Class: 37F20; 26A03; 03E75; 54C35

Selection principles and games in bitopological function spaces

Authors: Daniil Lyakhovets, Alexander V. Osipov

Abstract: For a Tychonoff space $X$, we denote by $(C(X), τ_k, τ_p)$ the bitopological space of all real-valued continuous functions on $X$ where $τ_k$ is the compact-open topology and $τ_p$ is the topology of pointwise convergence. In papers [5, 6, 13] variations of selective separability and tightness in $(C(X), τ_k, τ_p)$ were investigated. In this paper we continued to study the selective properties and… ▽ More For a Tychonoff space $X$, we denote by $(C(X), τ_k, τ_p)$ the bitopological space of all real-valued continuous functions on $X$ where $τ_k$ is the compact-open topology and $τ_p$ is the topology of pointwise convergence. In papers [5, 6, 13] variations of selective separability and tightness in $(C(X), τ_k, τ_p)$ were investigated. In this paper we continued to study the selective properties and the corresponding topological games in the space $(C(X), τ_k, τ_p)$. △ Less

Submitted 19 March, 2019; originally announced March 2019.

Comments: 10 pages. arXiv admin note: text overlap with arXiv:1805.04363

On generalization of theorems of Pestryakov

Authors: Alexander V. Osipov

Abstract: In 1987, A.V. Pestryakov proved a series of theorems for cardinal functions of the space $B_α(X)$ of all real-valued functions of Baire class $α$ $(α> 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 $X$. In this paper we investigate for which theorems of Pestriakov generalizations are vali… ▽ More In 1987, A.V. Pestryakov proved a series of theorems for cardinal functions of the space $B_α(X)$ of all real-valued functions of Baire class $α$ $(α> 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 $X$. 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. △ Less

Submitted 5 May, 2020; v1 submitted 14 March, 2019; originally announced March 2019.

Comments: 18 pages

Projective versions of the properties in the Scheepers Diagram

Authors: Alexander V. Osipov

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

Submitted 5 May, 2020; v1 submitted 13 December, 2018; originally announced December 2018.

Comments: 30 pages, 3 figures. arXiv admin note: text overlap with arXiv:1708.06404, arXiv:1710.07272, arXiv:1805.11019

A note on the Alster, Menger and D-type properties

Authors: Alexander V. Osipov, Selma Özçağ

Abstract: In this paper we give new characterizations for almost Menger and weakly Menger spaces by neighborhood assignments and define a natural weakening of almost D-spaces and weakly D-spaces. In this paper we give new characterizations for almost Menger and weakly Menger spaces by neighborhood assignments and define a natural weakening of almost D-spaces and weakly D-spaces. △ Less

Submitted 8 November, 2018; originally announced November 2018.

Comments: 11 pages

Selectors for sequences of subsets of hyperspaces

Authors: Alexander V. Osipov

Abstract: For a Hausdorff space $X$ we denote be $2^X$ the family of all closed subsets of $X$. In this paper we continue to research relationships between closure -type properties of hyperspaces over a space $X$ and covering properties of $X$. We investigate selectors for sequence of subsets of the space $2^{X}$ with the $Z^{+}$-topology and the upper Fell topology. For a Hausdorff space $X$ we denote be $2^X$ the family of all closed subsets of $X$. In this paper we continue to research relationships between closure -type properties of hyperspaces over a space $X$ and covering properties of $X$. We investigate selectors for sequence of subsets of the space $2^{X}$ with the $Z^{+}$-topology and the upper Fell topology. △ Less

Submitted 2 November, 2018; originally announced November 2018.

Comments: 13 pages

Indestructibly productively Lindelöf and Menger function spaces

Authors: Alexander V. Osipov

Abstract: For a Tychonoff space $X$ and a family $λ$ of subsets of $X$, we denote by $C_λ(X)$ the $T_1$-space of all real-valued continuous functions on $X$ with the $λ$ -open topology. A topological space is productively Lindelöf if its product with every Lindelöf space is Lindelöf. A space is indestructibly productively Lindelöf if it is productively Lindelöf in any extension by countably closed forcing.… ▽ More For a Tychonoff space $X$ and a family $λ$ of subsets of $X$, we denote by $C_λ(X)$ the $T_1$-space of all real-valued continuous functions on $X$ with the $λ$ -open topology. A topological space is productively Lindelöf if its product with every Lindelöf space is Lindelöf. A space is indestructibly productively Lindelöf if it is productively Lindelöf in any extension by countably closed forcing. In this paper, we study indestructibly productively Lindelöf and Menger function space $C_λ(X)$. △ Less

Submitted 10 October, 2018; originally announced October 2018.

Comments: 12 pages

On the cardinality of $S(n)$-spaces

Authors: Alexander V. Osipov

Abstract: In this paper we continue to study of properties of $S(n)$-spaces. We establish bounded on the cardinality of $S(n)$-spaces. In this paper we continue to study of properties of $S(n)$-spaces. We establish bounded on the cardinality of $S(n)$-spaces. △ Less

Submitted 7 June, 2019; v1 submitted 25 September, 2018; originally announced September 2018.

Comments: 11 pages

On some properties of the space of upper semicontinuous functions

Authors: Alexander V. Osipov, Evgenii G. Pytkeev

Abstract: For a Tychonoff space $X$, we will denote by $USC_{p}(X)$ ($B_1(X)$) a set of all real-valued upper semicontinuous functions (a set of all Baire functions of class 1) defined on $X$ endowed with the pointwise convergence topology. In this paper we describe a class of Tychonoff spaces $X$ for which the space $USC_{p}(X)$ is sequentially separable. Unexpectedly, it turns out that this class coincide… ▽ More For a Tychonoff space $X$, we will denote by $USC_{p}(X)$ ($B_1(X)$) a set of all real-valued upper semicontinuous functions (a set of all Baire functions of class 1) defined on $X$ endowed with the pointwise convergence topology. In this paper we describe a class of Tychonoff spaces $X$ for which the space $USC_{p}(X)$ is sequentially separable. Unexpectedly, it turns out that this class coincides with the class of spaces for which a stronger form of the sequential separability for the space $B_1(X)$ holds. △ Less

Submitted 26 September, 2018; v1 submitted 5 July, 2018; originally announced July 2018.

Comments: 7 pages

A functional characterization of the Hurewicz property

Authors: Alexander V. Osipov

Abstract: For a Tychonoff space $X$, we denote by $C_p(X)$ the space of all real-valued continuous functions on $X$ with the topology of pointwise convergence. We give the functional characterization of the covering property of Hurewicz. For a Tychonoff space $X$, we denote by $C_p(X)$ the space of all real-valued continuous functions on $X$ with the topology of pointwise convergence. We give the functional characterization of the covering property of Hurewicz. △ Less

Submitted 27 May, 2018; originally announced May 2018.

Comments: 13 pages. arXiv admin note: text overlap with arXiv:1805.11019, arXiv:1805.04363, arXiv:1805.05794

The functional characteristics of the Rothberger and Menger properties

Authors: Alexander V. Osipov

Abstract: In this paper we give the functional characteristics of the Rothberger and Menger properties. In this paper we give the functional characteristics of the Rothberger and Menger properties. △ Less

Submitted 25 May, 2018; originally announced May 2018.

Comments: 11 pages. arXiv admin note: substantial text overlap with arXiv:1708.06404, arXiv:1710.07272; text overlap with arXiv:1805.04363, arXiv:1805.05794

On selective sequential separability of function spaces with the compact-open topology

Authors: Alexander V. Osipov

Abstract: For a Tychonoff space $X$, we denote by $C_k(X)$ the space of all real-valued continuous functions on X with the compact-open topology. In this paper, we have gave characterization for $C_k(X)$ to satisfy $S_{fin}(S, S)$. For a Tychonoff space $X$, we denote by $C_k(X)$ the space of all real-valued continuous functions on X with the compact-open topology. In this paper, we have gave characterization for $C_k(X)$ to satisfy $S_{fin}(S, S)$. △ Less

Submitted 13 May, 2018; originally announced May 2018.

Comments: 9 pages. arXiv admin note: substantial text overlap with arXiv:1805.04363

Selection principles in function spaces with the compact-open topology

Authors: Alexander V. Osipov

Abstract: We continue to investigate applications of $k$-covers in function spaces with the compact-open topology. We continue to investigate applications of $k$-covers in function spaces with the compact-open topology. △ Less

Submitted 11 May, 2018; originally announced May 2018.

Comments: 19 pages

The Menger and projective Menger properties of function spaces with the set-open topology

Authors: Alexander V. Osipov

Abstract: For a Tychonoff space $X$ and a family $λ$ of subsets of $X$, we denote by $C_λ(X)$ the space of all real-valued continuous functions on $X$ with the set-open topology. In this paper, we study the Menger and projective Menger properties of a Hausdorff space $C_λ(X)$. Our main results state that if $λ$ is a $π$-network of $X$ then (1) $C_λ(X)$ is Menger space if and only if it is $σ$-compact, if… ▽ More For a Tychonoff space $X$ and a family $λ$ of subsets of $X$, we denote by $C_λ(X)$ the space of all real-valued continuous functions on $X$ with the set-open topology. In this paper, we study the Menger and projective Menger properties of a Hausdorff space $C_λ(X)$. Our main results state that if $λ$ is a $π$-network of $X$ then (1) $C_λ(X)$ is Menger space if and only if it is $σ$-compact, if $Y$ is a dense subset of $X$ then (2) $C_{p}(Y\vert X)$ is projective Menger space if and only if it is $σ$-pseudocompact. △ Less

Submitted 23 March, 2018; v1 submitted 20 March, 2018; originally announced March 2018.

Comments: 11 pages

Remarks on the Ostrovsky's Theorem

Authors: Alexander V. Osipov

Abstract: In this paper we prove that the condition one-to-one of continuous open-resolvable mapping is necessary in the Ostrovsky's Theorem. Also we get that the Ostrovsky's Problem (Is every open-LCn function between Polish spaces piecewise open for n = 2, 3, ... ?) has a negative solution for any n > 1. In this paper we prove that the condition one-to-one of continuous open-resolvable mapping is necessary in the Ostrovsky's Theorem. Also we get that the Ostrovsky's Problem (Is every open-LCn function between Polish spaces piecewise open for n = 2, 3, ... ?) has a negative solution for any n > 1. △ Less

Submitted 24 February, 2018; originally announced February 2018.

Comments: 4 pages

On resolvability of Lindelöf generated spaces

Authors: Maria A. Filatova, Alexander V. Osipov

Abstract: In this paper we study the properties of P-generated spaces (by analogy with compactly generated). We prove that a regular Lindelöf generated space with uncountable dispersion character is resolvable. It is proved that Hausdorff hereditarily L-spaces are L-tight spaces which were defined by István Juhász, Jan van Mill in (Variations on countable tightness, arXiv:1702.03714v1). We also prove ω-reso… ▽ More In this paper we study the properties of P-generated spaces (by analogy with compactly generated). We prove that a regular Lindelöf generated space with uncountable dispersion character is resolvable. It is proved that Hausdorff hereditarily L-spaces are L-tight spaces which were defined by István Juhász, Jan van Mill in (Variations on countable tightness, arXiv:1702.03714v1). We also prove ω-resolvability of regular L-tight space with uncountable dispersion character. △ Less

Submitted 3 December, 2017; originally announced December 2017.

Comments: 11 pages, 1 figure

Group structures of a function spaces with the set-open topology

Authors: Alexander V. Osipov

Abstract: In this paper, we find at the properties of the family lambda which imply that the function space C(X,R^alpha) with the lambda-open topology is a semitopological group (paratopological group, topological group, topological vector space and other algebraic structures) under the usual operations of addition and multiplication (and multiplication by scalars). In this paper, we find at the properties of the family lambda which imply that the function space C(X,R^alpha) with the lambda-open topology is a semitopological group (paratopological group, topological group, topological vector space and other algebraic structures) under the usual operations of addition and multiplication (and multiplication by scalars). △ Less

Submitted 21 October, 2017; originally announced October 2017.

Comments: 9 pages