Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2610.10077

Nonexpansive Bijections in $T_0$-Quasi-Metric Spaces and Their $q$-Hyperconvex Hulls

Collins Amburo Agyingi
View original source ↗Read source document ↗Export metadata ↓

Abstract

We study bijective nonexpansive maps in $T_0$-quasi-metric spaces, distinguishing preservation of directed distances from pointwise rigidity. Our focus is their behaviour under passage to the $q$-hyperconvex hull. The upper quasi-metric integers are $q$-plastic and bicomplete, but their hull is the non-$q$-plastic upper real line. An explicit hull calculation and an established metric dense-rigidity theorem give the same failure of inheritance for a $q$-rigid original space. Tightness propagates distance preservation from the canonical copy throughout the hull. Under compactness and a bounded lattice structure for the zero-distance order, identifying that copy with the complemented elements gives a sufficient condition for inheritance of $q$-rigidity. A four-vertex asymmetric rectangle verifies this criterion. We also record metric transfer mechanisms and show that a directed interval condition gives an endpoint-coordinate representation, automatic $q$-plasticity, and $q$-rigidity under uniqueness of the ordered diametral pair.

Explore related subjects

math.GN

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Collins Amburo Agyingi. 2026-10-07. Nonexpansive Bijections in $T_0$-Quasi-Metric Spaces and Their $q$-Hyperconvex Hulls. https://arxiv.org/abs/2610.10077

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

A Universal Quasi-Polish Space

In this paper, we first construct a universal quasi-Polish space Y with the property that every quasi-Polish space is homeomorphic to a closed subspace of Y. This gives a hyperspace F(Y) of all quasi-Polish spaces which is itself a quasi-Polish space. We then prove that the collection of all Polish closed subspaces of Y forms a coanalytic, non-Borel subset of F(Y). In particular, this collection is Π11-complete.

math.GN↗
arXiv2026

The size of the poset of compatible locally quasi-convex topologies on locally compact abelian groups

For a Hausdorff locally quasi-convex abelian group $G$, let $\C(G)$ be the poset of all Hausdorff locally quasi-convex group topologies on its underlying group having the same continuous characters as $G$. We prove that, whenever $G$ is non-precompact, $\C(G)$ contains an order-isomorphic copy of $(\Pow(\cont),\subseteq)$, where $\cont=2^{\aleph_0}$. The embedding takes values between the Bohr topology and the original topology. Consequently, every infinite discrete abelian group $D$ satisfies $|\C(D)|=\width\C(D)=2^{2^{|D|}}$. The discrete reduction for locally compact abelian groups then yields exact cardinality and width formulas for all such groups; in particular, both invariants equal $2^{\cont}$ for every non-compact $σ$-compact locally compact abelian group. These results answer Questions 6.1--6.3 and 6.5--6.7, and the locally compact case of Question 6.4, posed by L.~Außenhofer and D.~Dikranjan in \cite{AD20}. The embedding also applies to non-compact complete metrizable locally quasi-convex groups. A non-compact precompact nuclear group with a unique compatible topology shows that non-compactness alone does not suffice in the nuclear setting. Finally, the compatible poset of $\R^{\N}$ is not order-isomorphic to that of any discrete abelian group.

math.GN↗
arXiv2026

Countable compactness is $A$-invariant

Let $A(X)$ denote the free Abelian topological group over a Tychonoff space $X$. We prove that if $A(X)$ and $A(Y)$ are topologically isomorphic and $X$ is countably compact, then $Y$ is also countably compact. Thus countable compactness is an $A$-invariant and, consequently, an $M$-invariant; this answers Open Problem~7.10.1 of Arhangel'skii and Tkachenko.

math.GN↗