General Topology
The notion of hull-kernel topology on a collection of prime filters in a residuated lattice is introduced and investigated. It is observed that any collection of prime filters is a $T_0$ topological space under the hull-kernel and the dual…
Recall that a space X is selectively pseudocompact if for every sequence (U_n) of non-empty open subsets of X one can choose a point x_n in U_n for all n such that the resulting sequence (x_n) has an accumulation point in X. This notion was…
Let G be an abelian group. For a subset A of G, Cyc(A) denotes the set of all elements x of G such that the cyclic subgroup generated by x is contained in A, and G is said to have the small subgroup generating property (abbreviated to SSGP)…
The existence of a countably compact group without non-trivial convergent sequences in ZFC alone is a major open problem in topological group theory. We give a ZFC example of a Boolean topological group G without non-trivial convergent…
We characterize the category of Sambin's positive topologies as a fibration over the category of locales Loc. The fibration is obtained by applying the Grothendieck construction to a doctrine over Loc. We then construct an adjunction…
A continuum is hereditarily equivalent if it is homeomorphic to each of its non-degenerate sub-continua. We show in this paper that the arc and the pseudo-arc are the only non-degenerate hereditarily equivalent plane continua.
We continue the work of [5] and [3], in which are considered papers in the literature that discuss fixed point assertions in digital topology. We discuss published assertions that are incorrect or incorrectly proven; that are severely…
For a compact space $K$ we denote by $C_w(K)$ ($C_p(K)$) the space of continuous real-valued functions on $K$ endowed with the weak (pointwise) topology. In this paper we discuss the following basic question which seems to be open: Let $K$…
We give an example of an infinite metrizable space $X$ such that the space $C_p(X)$, of continuous real-valued function on $X$ endowed with the pointwise topology, is not homeomorphic to its own square $C_p(X)\times C_p(X)$. The space $X$…
We construct a space ${X}$ that has a Lusin $\pi$-base and such that ${X}^{2}$ has no Lusin $\pi$-base.
Given a collection of pairwise co-prime integers $% m_{1},\ldots ,m_{r}$, greater than $1$, we consider the product $\Sigma =\Sigma _{m_{1}}\times \cdots \times \Sigma _{m_{r}}$, where each $\Sigma _{m_{i}}$ is the $m_{i}$-adic solenoid.…
The notion of a difference hierarchy, first introduced by Hausdorff, plays an important role in many areas of mathematics, logic and theoretical computer science such as descriptive set theory, complexity theory, and the theory of regular…
One of the most startling mathematical discoveries of the nineteen century was the existence of plane-filling curves. As is well known, the first example of such a curve was given by the Italian mathematician Giuseppe Peano in 1890.…
The concept of quasi-partial b-metric-like spaces is being introduced and studied with the help of topology. Examples are also discussed to support the results. Some fixed point theorems are proved in the setting of quasi-partial…
A topology $\tau$ on a set $X$ is called maximal connected if it is connected, but no strictly finer topology $\tau^* > \tau$ is connected. We consider a construction of so-called tree sums of topological spaces, and we show how this…
We present an approach to the factorization method for second order difference equations on time scales. We construct Hilbert spaces of functions on the time scale and show how to construct a chain of intertwined first order…
Let G be a discrete group, and let M be a closed spin manifold of dimension m>3 with pi_1(M)=G. We assume that M admits a Riemannian metric of positive scalar curvature. We discuss how to use the L2-rho invariant and the delocalized eta…
Let $G$ be a metric group and let $\sA ut(G)$ denote the automorphism group of $G$. If $\sA$ and $\sB$ are groups of $G$-valued maps defined on the sets $X$ and $Y$, respectively, we say that $\sA$ and $\sB$ are \emph{equivalent} if there…
We establish some geometrical properties of the space of idempotent probability measures. In particular, for a compact $X$ it is established that if the space $I_{3}(X)\backslash X$ is hereditary normally, then $X$ is metrizable; some…
Let $\sR$ be an epireflective category of $\topo$ and let $F_\sR$\, be the epireflective functor associated with $\sR$. If $\sA$ denotes a (semi)topological algebraic subcategory of $\topo$, we study when $F_\sR\,(A)$ is an epireflective…