arXiv Science⌕ 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

About the space of continuous functions with open domain

We will see how to define the metric $β$, which turns the topological space of continuous functions whose domains are open subsets of a locally compact and second countable space $X$ to values in a polish space $Y$, called $(C_{od}(X,Y),τ_{ι,D})$ into a polish space. In particular, we will present a metric for the inverse semigroup of homeomorphisms of a locally compact, Hausdorff, and second-countable space.

math.GN↗
arXiv2026

Metrizable and Fréchet--Urysohn subgroups and linear subspaces of topological vector spaces

For a normed space $E$, we denote by $E_w$ and $E'_{w^*}$ the space $E$ and its dual $E'$ endowed with the weak topology $w$ and the weak$^*$ topology $w^*$, respectively. It is well known that for a Banach space $E$, both spaces $E_w$ and $E'_{w^*}$ are Fréchet--Urysohn topological spaces if and only if $E$ is finite-dimensional. This statement remains true for all linear subspaces of $E_w$ and $E'_{w^*}$. Moreover, for any normed space $E$, every Fréchet--Urysohn subgroup of $E_w$ is locally finite-dimensional; that is, it has an open subgroup contained in a finite-dimensional linear subspace. Similarly, for any Banach space $E$, every Fréchet--Urysohn subgroup of $E'_{w^*}$ is locally finite-dimensional. Analogous results are obtained for the free locally convex space $L(X)$, its weak version $L_p(X)$, and the free topological vector space $V(X)$ over a Tychonoff space~$X$. The same conclusions hold for Baire subgroups and Baire linear subspaces of $E_w$, $E'_{w^*}$, $L(X)$, $L_p(X)$, and $V(X)$. We emphasize that even for metrizable subgroups, these results are new and nontrivial. In fact, all results are established for the much wider family of $κ$-Fréchet--Urysohn subgroups of topological vector spaces. The class of $κ$-Fréchet--Urysohn spaces is the natural framework in which the proofs of our results work.

math.GN↗