Related papers: A tripos based on compact Hausdorff spaces
In the work some relations between three techniques, Hopf's bundle, Kustaanheimo-Stiefel's bundle, 3-space with spinor structure have been examined. The spinor space is viewed as a real space that is minimally (twice as much) extended in…
A homeomorphism on a compact metric space is said hyper-expansive if every pair of different compact sets are separated by the homeomorphism in the Hausdorff metric. We characterize such dynamics as those with a finite number of orbits and…
Free actions of finite groups on spheres give rise to topological spherical space forms. The existence and classification problems for space forms have a long history in the geometry and topology of manifolds. In this article, we present a…
We examine the analogues for the respective categories of locales of two well-known results about regularity and effectiveness of some categories of spaces. We show that the category of compact regular locales is effective regular…
A Hausdorff topological group G is minimal if every continuous isomorphism f : G --> H between G and a Hausdorff topological group H is open. Clearly, every compact Hausdorff group is minimal. It is well known that every infinite compact…
In the hyperspace of subcontinua of a compact surface we consider a second order Hausdorff distance. This metric space is compactified in such a way that the stable foliation of a pseudo-Anosov map is naturally identified with a…
In this paper, we introduce the foundation of a fractal topological space constructed via a family of nested topological spaces endowed with subspace topologies, where the number of topological spaces involved in this family is related to…
In this paper, we introduce a Grothendieck topology on the category of totally bounded metric spaces and develop a theory of stacks with respect to this topology. We further define the fine moduli stack of compact metric spaces and prove…
We demonstrate that And\'ujar Guerrero, Thomas and Walsberg's results on definable compactness in o-minimal structures still hold true in definably complete locally o-minimal structures. As an application, we show that a definably simple…
In the paper it is shown that every Hausdorff locally compact semigroup topology on the extended bicyclic semigroup with adjoined zero $\mathscr{C}_{\mathbb{Z}}^{\mathbf{0}}$ is discrete, but on $\mathscr{C}_{\mathbb{Z}}^{\mathbf{0}}$ there…
We classify transverse Hopf links in the standard contact 3-space up to transverse isotopy in terms of their components' self-linking number.
A groupoid is a small category in which each morphism has an inverse. A topological groupoid is a groupoid in which both sets of objects and morphisms have topologies such that all groupoid structure maps are continuous. The notion of…
In this paper we work in o-minimal structures with definable Skolem functions and show that a continuous definable map between Hausdorff locally definably compact definable spaces is definably proper if and only if it is proper morphism in…
A small cover is a closed smooth manifold of dimension $n$ having a locally standard $\mathbb{Z}_2^n$-action whose orbit space is isomorphic to a simple polytope. A typical example of small covers is a real projective toric manifold (or,…
The complement of the codimension 2 complex coordinate subspace arrangement is shown to be homotopy equivalent to a wedge of spheres.
We study notions of persistent homotopy groups of compact metric spaces together with their stability properties in the Gromov-Hausdorff sense. We pay particular attention to the case of fundamental groups, for which we obtain a more…
The explicit description of the topology of the free product of topological groups being Hausdorff is given. In particular, it is shown that it coincides with the so-called $X_0$-topology for the corresponding colimit $X$ in the category of…
We prove a number of dualities between posets and (pseudo)bases of open sets in locally compact Hausdorff spaces. In particular, we show that (1) Relatively compact basic sublattices are finitely axiomatizable. (2) Relatively compact basic…
We introduce some compact orbifolds on which there is a certain finite group action having a simple convex polytope as the orbit space. We compute the orbifold fundamental group and homology groups of these orbifolds. We calculate the…
A class of topological spaces is projective (resp., $\omega$-projective) if and only if projective systems of spaces (resp., with a countable cofinal subset of indices) in the class are still in the class. A certain number of classes of…