https://arxiv.org/api/gHFbTtVfvVml7IuAvr81fEcnY24 2026-06-13T21:19:56Z 5910 135 15 http://arxiv.org/abs/2603.25850v1 2026-03-26T19:17:03Z

The center of distances of a metric space $(X,d)$ is the set $C(X)$ of all $t\in \mathbb R^+$ for which the equation $d(x,p)=t$ has a solution for each $p\in X$. We prove the inequality $|C(X)| \le 1 + \lfloor \log_2 n \rfloor$ for all finite ultrametric spaces $(X,d)$ which have exactly $n$ points. It is also shown that for every integer $n \geq 1$ there exists a finite ultrametric space $(Y,ρ)$ such that $|Y| = n$ and $|C(Y)| = 1 + \log_2 \lfloor n \rfloor. $

2026-03-26T19:17:03Z Oleksiy Dovgoshey Olga Rovenska http://arxiv.org/abs/2604.14173v1 2026-03-25T14:22:21Z

In this note a criterion for Cauchy sequences is proved which refines the one presented in `Cauchy sequences in b-metric spaces', Topology Appl. 373 (2025) 109477.

2026-03-25T14:22:21Z 3 pages Lech Pasicki http://arxiv.org/abs/2502.17707v5 2026-03-25T11:48:29Z

In this long note, we investigate various purely topological aspects of non-Hausdorff manifolds (NH-manifolds for short). Our emphasis is on manifolds which exhibit homogeneity or weakenings thereof, in particular being everywhere non-Hausdorff. Homogeneous NH-manifolds and everywhere non-Hausdorff manifolds are respectively called HNH- and ENH-manifolds. We write $NH_X(x)$ for the subset of points of a space $X$ which cannot be separated of $x$ by open sets. The topics covered in this note are the following. -- General (basic) properties of manifolds and their quasi-compact or quasi-countably compact subspaces. -- Covering properties implying the Hausdorffness of (weakly) homogeneous manifolds. -- (Non-)existence of hereditarily separable ENH-manifolds (under set theoretic hypotheses). -- Non-existence of a quasi-countably compact ENH-manifold. -- Properties of NH-manifolds which imply that $NH_M(x)$ is discrete, or at least ``simple''. -- Constructions of HNH-manifolds such that $NH(x)$ is non-homogeneous, for instance a countable union of closed intervals and $n$-torii. -- Constructions of NH-manifolds $M$ with a point $x$ such that $NH_M(x)$ is homeomorphic to various ``complicated'' spaces, in particular in dimension $1$ and $2$. We use elementary (or at least well known) methods of general or set theoretic topology, with a little bit of conformal theory and dynamical systems (flows) in some constructions. Many pictures are given to illustrate the constructions, and the proofs are rather detailed, which is the main reason for the length of this note.

2025-02-24T23:00:04Z Work in progress whose contents might change over time. Some pictures use colors and can be difficult to decipher for color blind readers. V5: See the list of main changes on first page Mathieu Baillif http://arxiv.org/abs/2504.15915v3 2026-03-24T10:37:58Z

This paper investigates spaces equipped with a family of metric-like functions satisfying certain axioms. These functions provide a unified framework for defining topology, uniformity, and diffeology. The framework is based on a family of metric-like functions originally introduced for spaces of submanifolds. We show that the topologies, uniformities, and diffeologies of these spaces can be systematically derived from the proposed axioms. Furthermore, the framework covers examples such as spaces with compact-open topologies, tiling spaces, and spaces of graphs, which have appeared in different contexts. These results support the study of spaces with metric-like structures from both topological and diffeological perspectives.

2025-04-22T14:02:25Z 15 pages, 0 figures Masaki Taho http://arxiv.org/abs/2512.15912v3 2026-03-23T20:12:45Z

We investigate classes of functions from a topological space to a metric space that are related to those of Borel class 1. Following the idea defining an equi-Baire 1 family (due to Lecomte) we define the respective equi-families of functions from the considered classes. We observe that studying of equi-families can be reduced to the exploration of a single orbit map with values in a product space. We consider the closure of equi-families with respect to the topology of pointwise convergence. Finally, we investigate functions $f\colon X\times Y\to Z$, for metric spaces $X,Y,Z$, with sections that are equi-continuous, equi-Baire~1 or have equi-generalized Lebesgue property with respect to measurable sets of class $α$. In particular, we generalize a result of Grande.

2025-12-17T19:25:27Z Marek Balcerzak Ľubica Holá Olena Karlova Piotr Szuca http://arxiv.org/abs/2501.13615v2 2026-03-23T17:16:28Z

Given an extended real-valued submeasure $ν$ defined on a field of subsets $Σ$ of a given set, we provide necessary and sufficient conditions for which the pseudometric $d_ν$ defined by $d_ν(A,B):=\min\{1,ν(A\bigtriangleup B)\}$ for all $A,B \in Σ$ is complete. As an application, we show that if $\varphi: \mathcal{P}(ω)\to [0,\infty]$ is a lower semicontinuous submeasure and $ν(A):=\lim_n \varphi(A\setminus \{0, 1, \ldots, n-1\})$ for all $A\subseteq ω$, then $d_ν$ is complete. This includes the case of all weighted upper densities, fixing a gap in a proof by Just and Krawczyk in [Trans.~Amer.~Math.~Soc.~\textbf{285} (1984), 803--816]. In contrast, we prove that if $ν$ is the upper Banach density (or an upper density greater than or equal to the latter) then $d_ν$ is not complete. We conclude with several characterizations of completeness in terms of the Stone space of the Boolean algebra $Σ/ν$.

2025-01-23T12:36:24Z Jonathan M. Keith Paolo Leonetti http://arxiv.org/abs/2603.02791v3 2026-03-23T00:33:31Z

Previously, we have investigated a natural smooth map onto the region surrounded by the graphs of two smooth real-valued functions in the plane converging to a same value or diverges to $+\infty$ or $-\infty$ simultaneously, at each infinity, and topological properties and combinatorial ones of its composition with the canonical projection. Here, we consider smooth functions with congruent or globally similar graphs instead. Here, the Reeb space of a smooth function on a manifold with no boundary is fundamental and important. This is the naturally topologized quotient space of the manifold, consisting of all connected components (contours) of the function and is a graph under a certain nice situation. Related studies also related to the present study were started due to interest of the author in theory of Reeb spaces of non-proper functions. For proper functions, in 2020s related studies have developed mainly due to Gelbukh and Saeki.

2026-03-03T09:27:45Z 15 pages, Propositions 1 and 2 are revised drastically and we have Propositions 1--4. Several theorems are improved. Several exposition is revised Naoki Kitazawa http://arxiv.org/abs/2603.21452v1 2026-03-22T23:56:05Z

This is a note on the graphs of two smooth real-valued functions in the plane with no intersection and the natural map onto the region surrounded by them with the canonical projection to the line composed, yielding its Reeb space. The Reeb space of a real-valued function on a topological space is the set of all connected components of all level sets and topologized naturally. Such spaces have been fundamental and strong tools in theory of Morse functions and its generalization and variants, since the former half of the 20th century. They are graphs for tame functions such as Morse(-Bott) functions. The author has launched and has been studying this problem since 2020s, interested in Reeb spaces of smooth or non-analytic non-proper functions. For smooth closed manifolds and nice compact spaces, topological properties and combinatorial ones on Reeb spaces have been investigated by Gelbukh, Saeki, and so on.

2026-03-22T23:56:05Z 13 pages Naoki Kitazawa http://arxiv.org/abs/2602.23381v2 2026-03-21T15:21:29Z

We study shallow and deep neural networks whose inputs range over a general topological space. The model is built from a prescribed family of continuous feature maps and reduces to multilayer feedforward networks in the Euclidean case. We focus on the universal approximation property and establish general conditions under which such networks are dense in spaces of continuous vector-valued functions on arbitrary topological spaces and, in particular, locally convex spaces. Universality results obtained in the arbitrary-width case extend classical approximation theorems to non-Euclidean spaces. We also consider the deep narrow setting, in which the width of each hidden layer is uniformly bounded while the depth is allowed to grow. We identify conditions under which such networks retain the universal approximation property. As a concrete example, we employ Ostrand's extension of the Kolmogorov superposition theorem to derive an explicit universality result for products of compact metric spaces, with width bounds expressed in terms of topological dimension.

2026-02-03T17:46:46Z 24 pages, 35 references; revised version with corrections and improved exposition Vugar Ismailov http://arxiv.org/abs/2110.00848v2 2026-03-20T15:44:26Z

In the paper we apply some of the results from the theory of ball spaces in the semimetric spaces. This allowed us to obtain some fixed point theorems which we believe to be unknown to this day. We also show the limitations of the ball space approach to this topic. As a byproduct, we obtain the equivalence of some different notions of completness in semimetric spaces where the distance function is $1$-continuous. In the second part of the article, we generalize Caristi-Kirk results for for $b$-metric spaces. Additionally, we obtain characterization of semicompleteness for $1$-continuous $b$-metric space via fixed point theorem analogous to the result of Suzuki. In the epilogue, we introduce the concept of convergence in ball spaces, based on the idea that balls should resemble closed sets in topological sets. We prove several of its properties, compare it with convergence in semimetric spaces and pose several open questions connected with this notion.

2021-10-02T17:19:08Z Journal of Fixed Point Theory and Applications 25 (2023), no 31 Piotr Nowakowski Filip Turoboś 10.1007/s11784-022-01030-y http://arxiv.org/abs/2602.19003v2 2026-03-20T06:45:31Z

We study topology, particularly compactness, as an extension of Shulman's work on constructive mathematics via affine logic, while allowing propositional impredicativity. We introduce a notion of compactness in affine logic and prove the fundamental properties of compactness, including the extreme value theorem and the Heine-Borel theorem for 'cuts', which are a version of Dedekind cuts in affine logic. Moreover, from the antithesis translation of the Heine-Borel theorem for cuts to intuitionistic logic, we derive the Heine-Borel theorem for one-sided reals intuitionistically, and have verified the proof with an interactive theorem prover. The code is available at https://github.com/hziwara/CutsHeineBorel.

2026-02-22T01:51:18Z 14 pages Kazumi Kasaura http://arxiv.org/abs/2411.02760v2 2026-03-20T01:18:11Z

In this paper we address the question: How many pairwise non-isomorphic extremely amenable groups are there which are separable metrizable or even Polish? We show that there are continuum many such groups. In fact we construct continuum many pairwise non-isomorphic extremely amenable groups as automorphism groups of countable structures. We also consider this classification problem from the point of view of descriptive set theory by showing that the class of all extremely amenable closed subgroups of $S_\infty$ is Borel and their isomorphism relation is more complex than any isomorphism relation of countable structures in the Borel reducibility hierarchy.

2024-11-05T03:11:53Z Mahmood Etedadialiabadi Su Gao Feng Li Ruiwen Li http://arxiv.org/abs/2603.18580v1 2026-03-19T07:40:32Z

In this paper, we introduce a novel distance-like notion of furtherness for finite topological spaces, demonstrating that every finite space can be viewed as an asymmetric pseudometric space. In particular, we show that every finite T0 space is asymmetric metric space. The topology induced by the forward balls coincides with the original topology of the space, while the backward balls induce the opposite topology. To capture essential information about each finite space, we construct a furtherness Matrix, which gives significant structural details of the finite space. As an application, we introduce the notion of center and radius of subsets of finite topological spaces.

2026-03-19T07:40:32Z Akhilesh Badra Hemant Kumar Singh http://arxiv.org/abs/2603.04271v2 2026-03-19T00:54:32Z

Magnitude is an isometric invariant of metric spaces introduced by Leinster. Although magnitude is nowhere continuous on the Gromov-Hausdorff space of finite metric spaces, continuity results are possible if we restrict the ambient space. In this paper, we focus on $\ell_1^N$ and prove that magnitude is continuous at every skew finite subset of $\ell_1^N$, that is, at every finite set whose coordinate projections are injective. For such sets, we analyze cubical thickenings and derive an explicit formula for their weight measures. This yields a formula for the magnitude of these thickenings, which we use to prove that their magnitude converges to that of the underlying finite set. Since skew finite subsets of $\ell_1^N$ form an open and dense subset of the space of all finite subsets, magnitude is continuous on an open dense subset of the space of finite subsets of $\ell_1^N$.

2026-03-04T16:55:00Z Sara Kalisnik Davorin Lesnik http://arxiv.org/abs/2508.08480v3 2026-03-18T20:09:27Z

We solve a long-standing open problem, formulated by Krasner in the 1950's, in the context of Polish (i.e. separable complete) ultrametric spaces by providing a characterization of their isometry groups using suitable forms of generalized wreath products of full permutation groups. Since our solution is developed in the finer context of topological (Polish) groups, it also solves a problem of Gao and Kechris from 2003. Furthermore, we provide an exact correspondence between the isometry groups of Polish ultrametric spaces belonging to some natural subclasses and various kinds of generalized wreath products proposed in the literature by Hall, Holland, and Malicki.

2025-08-11T21:33:19Z Minor expository adjustments to the introduction. Added Figure 1 in Section 3 Riccardo Camerlo Alberto Marcone Luca Motto Ros