Related papers: On topological spaces and topological groups with …

We investigate different notions of "computable topological base" for represented spaces. We show that several non-equivalent notions of bases become equivalent when we consider computably enumerable bases. This indicates the existence of a…

In this paper, it is shown that a topological space $X$ is compact iff every maximal ideal of the power set ring $\mathcal{P}(X)$ converges to exactly one point of $X$. Then as an application, simple and ring-theoretic proofs are provided…

We study generic properties of topological groups in the sense of Baire category. First we investigate countably infinite (discrete) groups. We extend a classical result of B. H. Neumann, H. Simmons and A. Macintyre on algebraically closed…

In this paper we consider the question of when the space $C_p(X)$ of continuous real-valued functions on $X$ with the pointwise convergence topology is countable dense homogeneous. In particular, we focus on the case when $X$ is countable…

$C_p(X)$ denotes the space of continuous real-valued functions on a Tychonoff space $X$ endowed with the topology of pointwise convergence. A Banach space $E$ equipped with the weak topology is denoted by $E_{w}$. It is unknown whether…

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…

A topological space $X$ is called strongly $\sigma$-metrizable if $X=\bigcup_{n\in\omega}X_n$ for an increasing sequence $(X_n)_{n\in\omega}$ of closed metrizable subspaces such that every convergence sequence in $X$ is contained in some…

We mainly discuss the cardinal invariants and generalized metric properties on paratopological groups or rectifiable spaces, and show that: (1) If $A$ and $B$ are $\omega$-narrow subsets of a paratopological group $G$, then $AB$ is…

Assuming the absence of Q-points (which is consistent with ZFC) we prove that the free topological group $F(X)$ over a Tychonov space $X$ is $o$-bounded if and only if every continuous metrizable image $T$ of $X$ satisfies the selection…

A space $X$ has countable $(F)$-property if it has countable point network satisfying the Collins-Roscoe structuring mechanism. Some sufficient conditions for $C_p(X)$ having countable $(F)$-property are obtained. As a corollary, we prove…

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

A topological group $G$ is said to have the L\'evy property if it admits a dense subgroup which is decomposed as the union of an increasing sequence of compact subgroups $\mathcal{G}=\{G_i:i\in\mathbb{N}\}$ of $G$ which exhibits…

We prove that if there are $\mathfrak c$ incomparable selective ultrafilters then, for every infinite cardinal $\kappa$ such that $\kappa^\omega=\kappa$, there exists a group topology on the free Abelian group of cardinality $\kappa$…

For a Tychonoff space $X$ and a family $\lambda$ of subsets of $X$, we denote by $C_{\lambda}(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…

A topological space is called {\it dense-separable} if each dense subset of its is separable. Therefore, each dense-separable space is separable. We establish some basic properties of dense-separable topological groups. We prove that each…

The Birkhoff--Kakutani Theorem asserts that a topological group is metrizable if and only if it has countable character. We develop and apply tools for the estimation of the character for a wide class of nonmetrizable topological groups. We…

For compact Hausdorff admissible right topological (CHART) group $G$, we prove $w(G)=\pi\chi(G)$. This equality is well known for compact topological groups. This implies the criteria for the metrizability of CHART groups: if $G$ is…

In our paper [18] we showed that a Tychonoff space $X$ is a $\Delta$-space (in the sense of [20], [30]) if and only if the locally convex space $C_{p}(X)$ is distinguished. Continuing this research, we investigate whether the class $\Delta$…

We prove that many completeness properties coincide in metric spaces, precompact groups and dense subgroups of products of separable metric groups. We apply these results to function spaces C_p(X,G) of G-valued continuous functions on a…

This article continues the study of computable elementary topology started by the author and T. Grubba in 2009 and extends the author's 2010 study of axioms of computable separation. Several computable T3- and Tychonoff separation axioms…