General Topology
A topological gyrogroup is a gyrogroup endowed with a topology such that the binary operation is jointly continuous and the inverse mapping is also continuous. In this paper, it is proved that if $G$ is a sequential topological gyrogroup…
We define and study Noetherian topologies for spaces of infinite sets, and infinite words. In each case, we also obtain S-representations, namely, computable presentations of the sobrifications of those spaces.
Given a coarse space $(X, \mathcal{E})$ with the bornology $\mathcal B$ of bounded subsets, we extend the coarse structure $\mathcal E$ from $X\times X$ to the natural coarse structure on $(\mathcal B \backslash \lbrace…
This paper is one in a series that investigates topological measures on locally compact spaces. A topological measure is a set function which is finitely additive on the collection of open and compact sets, inner regular on open sets, and…
The classical Jordan curve theorem for digital curves asserts that the Jordan curve theorem remains valid in the Khalimsky plane. Since the Khalimsky plane is a quotient space of $\mathbb R^2$ induced by a tiling of squares, it is natural…
This work presents proofs for Hurewicz's and Pawlikowski's Theorems about topological games in the context of lattices, in which one cannot argue with points.
I acknowledge that the example of LaBuz does show that Proposition 9 in and therefore the proof of Proposition 10 is incorrect. I show what the correct "universal basis" is.
The purpose of this paper is to define statistically convergent sequences with respect to the metrics on generalized metric spaces (g-metric spaces) and investigate basic properties of this statistical form of convergence.
A strong generalized topological space is an ordered pair $\mathbf{X}=\langle X, \mathcal{T}\rangle$ such that $X$ is a set and $\mathcal{T}$ is a collection of subsets of $X$ such that $\emptyset, X\in \mathcal{T}$ and $\mathcal{T}$ is…
Let $\mathcal{C}(G)$ denote the Chabauty space of closed subgroups of the locally compact group $G$. In this paper, we first prove that $\mathcal{C} (\mathbb{Q}_p^\times)$ is a proper compactification of $\mathbb{N}$, identified with the…
This paper considers generalizations of open mappings, closed mappings, pseudo-open mappings, and quotient mappings from topological spaces to generalized topological spaces. Characterizations of these classes of mappings are obtained and…
In this paper we consider McAlister semigroups over arbitrary cardinals and investigate their algebraic and topological properties. We show that the group of automorphisms of a McAlister semigroup $\mathcal{M}_{\lambda}$ is isomorphic to…
We discuss two problems concerning the class Eberlein compacta, i.e., weakly compact subspaces of Banach spaces. The first one deals with preservation of some classes of scattered Eberlein compacta under continuous images. The second one…
In this paper, we obtain some results on the relationships between different ideal \linebreak convergence modes namely, $\mathcal{I}^\mathcal{K}$, $\mathcal{I}^{\mathcal{K}^*}$, $\mathcal{I}$, $\mathcal{K}$, $\mathcal{I} \cup \mathcal{K}$…
Ge and Lin (2015) proved the existence and the uniqueness of p-Cauchy completions of partial metric spaces under symmetric denseness. They asked if every (non-empty) partial metric space $X$ has a p-Cauchy completion $\bar{X}$ such that $X$…
We extend known results of selection principles in $C_p$-theory to the context of spaces of the form $C_{\mathcal{B}}(X)$, where $\mathcal{B}$ is a bornology on $X$. Particularly, by using the filter approach of Jordan to $C_p$-theory, we…
We describe the order type of range sets of compact ultrametrics and show that an ultrametrizable infinite topological space $(X, \tau)$ is compact iff the range sets are order isomorphic for any two ultrametrics compatible with the…
We establish a new category equivalent to compact pospaces, and which extend the equivalence between compact Hausdorff spaces and Gleason spaces. As a corollary of this equivalence, we obtain in particular, that every compact pospace is the…
We show in ZF that: (i) Every subcompact metrizable space is completely metrizable, and every completely metrizable space is countably subcompact. (ii) A metrizable space X=(X,T) is countably compact iff it is countably subcompact relative…
In 1971 I announced what I described as a nice proof of Tychonoff's Theorem, an immediate corollary of a result concerning closed projections combined with Mrowka's characterization of compactness: a space X is compact if and only if for…