Related papers: A Hofmann-Mislove theorem for approach spaces

We show that for any smooth Hausdorff manifolds M and N, which are not necessarily second countable, paracompact or connected, any isomorphism from the algebra of smooth (real or complex) functions on N to the algebra of smooth functions on…

We study homogeneous metric spaces, by which we mean connected, locally compact metric spaces whose isometry group acts transitively. After a review of some classical results, we use the Gleason-Iwasawa-Montgomery-Yamabe-Zippin structure…

Miculescu and Mihail in 2008 introduced the concept of a \emph{generalized iterated function system} (GIFS in~short), a particular extension of the classical IFS. The idea is that, instead of families of selfmaps of a metric space~$X$,…

We explain how to see finite combinatorics of preorders implicit in the {text} of basic topological definitions or arguments in (Bourbaki, General topology, Ch.I), and define a concise combinatorial notation such that complete definitions…

A natural topology on the space of left orderings of an arbitrary semi-group is introduced. It is proved that this space is compact and that for free abelian groups it is homeomorphic to the Cantor set. An application of this result is a…

We show "free theorems" in the style of Wadler for polymorphic functions in homotopy type theory as consequences of the abstraction theorem. As an application, it follows that every space defined as a higher inductive type has the same…

The omega limit sets plays a fundamental role to construct global attractors for topological semi-dynamical systems with continuous time or discrete time. Therefore, it is important to know when omega limit sets become nonempty compact…

Let $\Omega$ be a metric space, $A^t$ denote the metric neighborhood of the set $A\subset\Omega$ of the radius $t$; ${\mathfrak O}$ be the lattice of open sets in $\Omega$ with the partial order $\subseteq$ and the order convergence. The…

Condensed mathematics, developed by Clausen and Scholze over the last few years, proposes a generalization of topology with better categorical properties. It replaces the concept of a topological space by that of a condensed set, which can…

Let $n$ be any positive integer and $\mathscr{I\!P\!F}(\mathbb{N}^n)$ be the semigroup of all order isomorphisms between principal filters of the $n$-th power of the set of positive integers $\mathbb{N}$ with the product order. We prove…

A quantized metric space is a matrix order unit space equipped with an operator space version of Rieffel's Lip-norm. We develop for quantized metric spaces an operator space version of quantum Gromov-Hausdorff distance. We show that two…

We show a Whitney Approximation Theorem for a continuous map from a manifold to a smooth CW complex. This enables us to show that a topological CW complex is homotopy equivalent to a smooth CW complex in a category of topological spaces. It…

In this paper, we consider a fixed metric space (possibly an oriented Riemannian manifold with boundary) with an increasing sequence of distance functions and a uniform upper bound on diameter. When the metric space endowed with the…

The Kantorovich-Rubinshtein metric is an $L^1$-like metric on spaces of probability distributions that enjoys several serendipitous properties. It is complete separable if the underlying metric space of points is complete separable, and in…

In this paper we focus on the set-open topologies on the group $\mathcal{H}(X)$ of all self-homeomorphisms of a topological space $X$ which yield continuity of both the group operations, product and inverse function. As a consequence, we…

Gromov's Lipschitz order is an order relation on the set of metric measure spaces. One of the compactifications of the space of isomorphism classes of metric measure spaces equipped with the concentration topology is constructed by using…

We study conformal iterated function systems (IFS) $\mathcal S = \{\phi_i\}_{i \in I}$ with arbitrary overlaps, and measures $\mu$ on limit sets $\Lambda$, which are projections of equilibrium measures $\hat \mu$ with respect to a certain…

A compactness of the Revuz map is established in the sense that the locally uniform convergence of a sequence of positive continuous additive functionals is derived in terms of their smooth measures. To this end, we first introduce a metric…

Let $K=2^\mathbb{N}$ be the Cantor set, let $\mathcal{M}$ be the set of all metrics $d$ on $K$ that give its usual (product) topology, and equip $\mathcal{M}$ with the topology of uniform convergence, where the metrics are regarded as…

This is a systematic study of isometries between noncommutative symmetric spaces. Let $\mathcal{M}$ be a semifinite von Neumann algebra (or an atomic von Neumann algebra with all atoms having the same trace) acting on a separable Hilbert…