A characterisation of probabilistic metrizability for approach spaces

2026-01-09T19:31:11Z

Characterisations of metrizable topological spaces or metrizable uniform spaces are well known. A natural counterpart to being metrizable for topological spaces can be expressed in terms of probabilistic metrizability for approach spaces. The notion of a probabilistic metrizable approach space is based on a well known concrete functor $Γ$, as introduced in [9], from the category of probabilistic metric spaces with respect to a continuous arbitrary t-norm to the category of approach spaces. A characterization of those probabilistic metrizable approach spaces is still missing and in the first part of this paper we solve this problem. A natural counterpart to being metrizable for uniform spaces can be expressed in terms of probabilistic metrizability for uniform gauge spaces. In the second part of the paper we start from another concrete functor $Λ$, as described in [7], on the category of probabilistic metric spaces with respect to a continuous t-norm to the category of uniform gauge spaces. In a similar way as for the functor $Γ$ we obtain a characterisation of probabilistic metrizability of uniform gauge spaces. The last section of the paper is devoted to an isomorphic description of the category of probabilistic metric spaces. This problem is not new. Previous attempts in providing isomorphic descriptions of the category of probabilistic metric spaces worked with collections of (pseudo)metrics. These attempts were only formulated in restricted cases. Our isomorphic description is in terms of objects that are sets endowed with a collection of distances, where the distances involved do not satisfy the triangle inequality but fulfil a mixed triangle condition instead.

Approximation by zero-free continuous maps

2026-01-08T23:11:50Z

We prove that if E a subset of an n-dimensional manifold, then every continuous R^n-valued map on E that is zero-free on the interior of E can be approximated in the fine topology, and hence, in particular, in the uniform topology, by a continuous R^n-valued map that is zero-free on all of E.

The power of trees

2026-01-06T08:25:34Z

We give two consistent constructions of trees $T$ whose finite power $T^{n+1}$ is sharply different from $T^n$: 1. An $\aleph_1$-tree $T$ whose interval topology $X_T$ is perfectly normal, but $(X_T)^2$ is not even countably metacompact. 2. For an inaccessible $κ$ and a positive integer $n$, a $κ$-tree such that all of its $n$-derived trees are Souslin and all of its $(n+1)$-derived trees are special.

A Classification of Fractal Squares

2026-01-06T04:07:12Z

Let $λ_K:\bbR^2\rightarrow\{0,1,\ldots\}\cup\{\infty\}$ be the lambda function of a planar comapctum $K$, as defined in MR4488162. It is known that a planar continuum is locally connected if and only if its lambda function vanishes everywhere, or equivalently, $λ_K(K)=\{0\}$. In this article we show that every fractal square $K$ satisfies $λ_K(K)\subset\{0,1\}$ and find criterions to classify when $λ_K(K)$ equals $\{0\}$, $\{1\}$ or $\{0,1\}$. Here for any integer $N\ge2$ and any set $\Dc=\left\{(i,j): 0\le i,j\le N-1\right\}$ with cardinality $\ge2$, if we set $K^{(0)}=[0,1]^2$ and $\displaystyle K^{(n)}=\left\{\frac{x+d}{N}: x\in K^{(n-1)}, d\in\Dc\right\}(n\ge1)$ then $K=\bigcap_nK^{(n)}$ is called a fractal square.

On topologization of subsemigroups of the bicyclic monoid

2026-01-05T13:27:31Z

We show that if a subsemigroup $S$ of the bicyclic monoid ${\mathscr{C}}(p,q)$ contains infinitely many idempotents then $S$ admits only the discrete Hausdorff shift-continuous topology. Also we proof that every right-continuous (left-continuous\emph) Hausdorff Baire topology on the semigroup $\mathscr{C}_+(a,b)$ $(\mathscr{C}_-(a,b))$ is discrete and the same statement holds for the bicyclic monoid.

Hausdorff dimension and quasisymmetric minimality of homogeneous Moran sets

2026-01-05T08:26:55Z

In this paper, we study the quasisymmetric Hausdorff minimality of homogeneous Moran sets. First, we obtain the Hausdorff dimension formula of two classes of homogeneous Moran sets which satisfy some conditions. Second, we show two special classes of homogeneous Moran sets with Hausdorff dimension 1 are quasisymmetrically Hausdorff minimal.

Plastic metric spaces and groups

2026-01-02T11:03:07Z

A metric space is plastic if all its non-expansive bijections are isometries. We prove three main results: (1) every countable dense subspace of a normed space is not plastic, (2) every $k$-crowded separable metric space contains a plastic dense subspace, and (3) every strictly convex separable metric group contains a plastic dense subgroup.

The Complexity of Connectedness Relations on Polish Spaces

2026-01-02T07:57:38Z

We systematically investigate three different equivalence relations of connectedness: being connected by arcs, being connected by continua and being connected by chains of continua of decreasing diameter. The investigation is conducted from the point of view of Borel reductions, mainly on Polish spaces. All of the studied equivalence relations turn out to be tied together and intimately related to the arc-connection relation. Among other results, it is shown that the arc-connection relation in the plane is Borel reducible to the Vitali equivalence relation and thus of a very low complexity. The same is proven for the chain continuum-connection relation on locally compact subsets of the plane, on which the continuum-connection relation is shown to have higher complexity.

Heraclitean Dialectical Concept Space

2025-12-31T02:24:03Z

We introduce Heraclitean Dialectical Concept Spaces (HDCS), a topological framework for modelling how concepts evolve. Concepts are represented as open regions generated by neighbourhoods in a feasible family, and their relationships are organised through overlaps and channel ideals. New concepts emerge from remainders where existing structures fail to fit together, and inherit their topology from these parent regions. HDCS extends across developmental stages using carry maps and a colimit topology, giving a global picture of conceptual change. Short case studies from economic exchange, biology, and the history of the zero symbol illustrate the scope of the framework.

All spaces of countable spread can be small

2025-12-29T15:31:51Z

The main result of this paper is the proof of the simultaneous consistency, modulo a weakly compact cardinal, of the equality $2^{< \mathfrak{c}} = \mathfrak{c}$ with the following property (*) of partitions of pairs of $\mathfrak{c}$: \smallskip (*) For any coloring (or partition) $k : [\mathfrak{c}]^2 \rightarrow 2$ either there is a homogeneous set of size $\mathfrak{c}$ in color $0$ or there is a set $S \in [\mathfrak{c}]^\mathfrak{c}$ such that for every countable $A \subset S$ there is $β\in \mathfrak{c}$ for which $A \subset β$ and $k(\{α, β\}) = 1$ for all $α\in A$. \smallskip (*) plus $2^{< \mathfrak{c}} = \mathfrak{c}$ together then imply that for every topological space $X$ of countable spread, i.e. not containing any uncountable discrete subset, $|X| \le \mathfrak{c}$ if it is Hausdorff and $o(X) = \mathfrak c$ if it is also infinite and regular. Here $o(X)$ denotes the number of all open subsets of $X$.

The semi-simple theory of higher rank acylindricity

2025-12-29T07:23:22Z

We present a new notion of non-positively curved groups: the collection of discrete countable groups acting (AU-)acylindrically on finite products of $δ$-hyperbolic spaces with general type factors. Inspired by the classical theory of ($S$-arithmetic) lattices and the flourishing theory of acylindrically hyperbolic groups, we show that, up to virtual isomorphism, finitely generated groups in this class enjoy a strongly canonical product decomposition. This semi-simple decomposition also descends to the outer-automorphism group, allowing us to give a partial resolution to a recent conjecture of Sela. We also develop various structure results including a free vs abelian Tits' Alternative, and connections to lattice envelopes. Along the way we give representation-theoretic proofs of various results about acylindricity -- some methods are new even in the rank-1 setting. The vastness of this class of groups is exhibited by recognizing that it contains, for example, $S$-arithmetic lattices with rank-1 factors, acylindrically hyperbolic groups, HHGs, groups with property (QT), and is closed under direct products, passing to (totally general type) subgroups, and finite index over-groups.

Vietoris thickenings and complexes of manifolds are homotopy equivalent

2025-12-28T23:14:23Z

We show that if $X$ is a finite-dimensional Polish metric space, then the natural bijection $\mathrm{VR}(X;r)\to \mathrm{VR^m}(X;r)$ from the (open) Vietoris-Rips complex to the Vietoris-Rips metric thickening is a homotopy equivalence. This occurs, for example, if $X$ is a Riemannian manifold. The same is true for the map $\mathrm{\check{C}}(X;r)$ to $\mathrm{\check{C}}^\mathrm{m}(X;r)$ from the Čech complex to the Čech metric thickening, and more generally, for the natural bijection $\mathrm{V}(\mathcal W)\to \mathrm{V^m}(\mathcal W)$ from the Vietoris complex to the Vietoris metric thickening of any uniformly bounded cover $\mathcal W$ of a finite dimensional Polish metric space. We also show that if $X$ is a compact metrizable space, then $\mathrm{V^m}(\mathcal W)$ is strongly locally contractible.

Topologies on abelian groups and a topological five-lemma

2025-12-27T14:19:37Z

In this article we establish some results that allow to deduce the continuity of homomorphisms of (topological) abelian groups from commutative diagrams. In particular, we present a new topological version of the classical Five-Lemma. These results aim to be applied in duality results between cohomology groups in arithmetical contexts. In such a topological-arithmetical context, Pontryagin duality plays a central role and it becomes necessary to know whether certain homomorphisms are continuous.

Esakia order-compactifications and locally Esakia spaces

2025-12-26T14:31:57Z

We introduce Esakia order-compactifications and study how they fit in the general theory of Priestley order-compactifications. We provide an analog of Dwinger's theorem by characterizing Esakia order-compactifications by means of special rings of upsets. These considerations naturally lead to the notion of a locally Esakia space, for which we prove that taking the largest Esakia order-compacification is functorial, thus obtaining an analog of Banaschewski's theorem.

Spectral selections, commutativity preservation and Coxeter-Lipschitz maps

2025-12-26T12:36:05Z

Let $(W,S)$ be a Coxeter system whose graph is connected, with no infinite edges. A self-map $τ$ of $W$ such that $τ_{σθ}\in \{τ_θ,\ στ_θ\}$ for all $θ\in W$ and all reflections $σ$ (analogous to being 1-Lipschitz with respect to the Bruhat order on $W$) is either constant or a right translation. A somewhat stronger version holds for $S_n$, where it suffices that $σ$ range over smaller, $θ$-dependent sets of reflections. These combinatorial results have a number of consequences concerning continuous spectrum- and commutativity-preserving maps $\mathrm{SU}(n)\to M_n$ defined on special unitary groups: every such map is a conjugation composed with (a) the identity; (b) transposition, or (c) a continuous diagonal spectrum selection. This parallels and recovers Petek's analogous statement for self-maps of the space $H_n\le M_n$ of self-adjoint matrices, strengthening it slightly by expanding the codomain to $M_n$.