General Topology

The Higson compactification of any simply connected proper geodesic metric space admits an embedding into a product of adelic solenoids that induces an isomorphism of 1-dimensional cohomology.

In this paper we have introduced the notion of $\mathcal{I}$-density topology in the space of reals introducing the notions of upper $\mathcal{I}$-density and lower $\mathcal{I}$-density where $\mathcal{I}$ is an ideal of subsets of the set…

We give a combinatorial description of shape theory using finite topological $T_0$-spaces (finite partially ordered sets). This description may lead to a sort of computational shape theory. Then we introduce the notion of core for inverse…

We define and study a new compactification, called the height compactification of the horospheric product of two infinite trees. We will provide a complete description of this compactification. In particular, we show that this…

The study of the sobriety of Scott spaces has got an relative long history in domain theory. Lawson and Hoffmann independently proved that the Scott space of every continuous directed complete poset (usually called domain) is sober.…

We consider three monads on Top, the category of topological spaces, which formalize topological aspects of probability and possibility in categorical terms. The first one is the Hoare hyperspace monad H, which assigns to every space its…

In this paper we introduce the notion of $\mathcal{I^*}\text{-}\alpha$-uniform equal convergence and $\mathcal{I^*}\text{-}\alpha$-strong uniform equal convergence of sequences of functions and then investigate some lattice properties of…

A two-point selection on a set $X$ is a function $f:[X]^2 \to X$ such that $f(F) \in F$ for every $F \in [X]^2$. It is known that every two-point selection $f:[X]^2 \to X$ induced a topology $\tau_f$ on $X$ by using the relation: $x \leq y$…

We call a function $f$ in $C(X)$ to be hard-bounded if $f$ is bounded on every hard subset, a special kind of closed subset, of $X$. We call a subset $T$ of $X$ to be $S$-embedded if every hard-bounded continuous function of $T$ can be…

Powerdomains in domain theory plays an important role in modeling the semantics of nondeterministic functional programming languages.\ In this paper,\ we extend the notion of powerdomain to the category of directed spaces,\ which is…

A continuum is a compact connected metric space. A non-empty closed subset $B$ of a continuum $X$ does not block $x\in X\setminus B$ provided that the union of all subcontinua of $X$ containing $x$ and contained in $X\setminus B$ is dense…

One of the fundamental problem in rings of continuous function is to extract those spaces for which C(X) determines X, that is to investigate X and Y such that C(X) isomorphic with C(Y ) implies X homeomorphic with Y . The development…

In this paper, we mainly study the function spaces related to H-sober spaces. For an irreducible subset system H and $T_{0}$ spaces $X$ and $Y$, it is proved that $Y$ is H-sober iff the function space $\mathbb{C}(X, Y)$ of all continuous…

In paper we study relationships between covering properties of a topological space $X$ and the space $(USC^*(X),\tau_{\mathcal{B}})$ of bounded upper semicontinuous functions on $X$ with the topology $\tau_{\mathcal{B}}$ defined by the…

Suppose that $S_1$ and $S_2$ are nonempty subsets of a complete metric space $(\mathcal{M},d)$ and $\phi,\psi:S_1\to S_2$ are mappings. The aim of this work is to investigate some conditions on $\phi$ and $\psi$ such that the two functions,…

We study open colorings in certain classes of hereditary Lindel\"{o}f ($\mathsf{HL}$) spaces and submetrizable spaces. In particular, we show that the definible version for the Open Graph Axiom ($\mathsf{OGA}$) holds for the class of…

It is shown that the family of all homogeneous continua in the hyperspace of all subcontinua of any finite-dimensional Euclidean cube or the Hilbert cube is an analytic subspace of the hyperspace which contains a topological copy of the…

We show that there are widely-connected spaces of arbitrarily large cardinality, answering a question by David Bellamy.

We give a new proof of the following theorem due to W. Weiss and P. Komjath: if $X$ is a regular topological space, with character $ < \mathfrak{b}$ and $X \rightarrow (top \omega + 1)^{1}_{\omega}$, then, for all $\alpha < \omega_1$, $X…

We introduce and prove the consistency of a new set theoretic axiom we call the \emph{Invariant Ideal Axiom}. The axiom enables us to provide (consistently) a full topological classification of countable sequential groups, as well as fully…