English
Related papers

Related papers: Metric Scott analysis

200 papers

We introduce an analogue of the theory of length spaces into the setting of Lorentzian geometry and causality theory. The r\^ole of the metric is taken over by the time separation function, in terms of which all basic notions are…

Differential Geometry · Mathematics 2019-11-07 Michael Kunzinger , Clemens Sämann

We derive two fixed point theorems for a class of metric spaces that includes all Banach spaces and all complete Busemann spaces. We obtain our results by the use of a 1-Lipschitz barycenter construction and an existence result for…

Metric Geometry · Mathematics 2023-03-13 Giuliano Basso

Robustness is a property of system analyses, namely monotonic maps from the complete lattice of subsets of a (system's state) space to the two-point lattice. The definition of robustness requires the space to be a metric space. Robust…

Logic in Computer Science · Computer Science 2022-08-29 Amin Farjudian , Eugenio Moggi

We define and study several new interleaving distances for persistent cohomology which take into account the algebraic structures of the cohomology of a space, for instance the cup product or the action of the Steenrod algebra. In…

Algebraic Topology · Mathematics 2021-04-05 Grégory Ginot , Johan Leray

In this paper we examine two basic topological properties of partial metric spaces, namely compactness and completeness. Our main result claims that in these spaces compactness is equivalent to sequential compactness. We also show that…

General Topology · Mathematics 2022-02-01 Dariusz Bugajewski , Piotr Maćkowiak , Ruidong Wang

We present a model-theoretic property of finite structures, that can be seen to be a finitary analogue of the well-studied downward L\"owenheim-Skolem property from classical model theory. We call this property as the…

Logic in Computer Science · Computer Science 2017-05-15 Abhisekh Sankaran

We extend \L ukasiewicz logic obtaining the infinitary logic $\mathcal{IR}\L$ whose models are algebras $C(X,[0,1])$, where $X$ is a basically disconnected compact Hausdorff space. Equivalently, our models are unit intervals in…

Logic · Mathematics 2018-04-20 Antonio Di Nola , Serafina Lapenta , Ioana Leustean

Fix an integer $r\geq 3$. We consider metric spaces on $n$ points such that the distance between any two points lies in $\{1,..., r\}$. Our main result describes their approximate structure for large $n$. As a consequence, we show that the…

Combinatorics · Mathematics 2015-02-10 Dhruv Mubayi , Caroline Terry

We show that every complete metric space is homeomorphic to the precise locus of zeros of an entire analytic map from a Hilbert space to a Banach space. As a corollary, every complete separable metric space is homeomorphic to the precise…

dg-ga · Mathematics 2008-02-03 Vladimir Pestov

We demonstrate that any $\Pi_\alpha$ sentence of the infinitary logic $L_{\omega_1 \omega}$ extending the theory of linear orderings has a model with a $\Pi_{\alpha+4}$ Scott sentence and hence of Scott rank at most $\alpha+3$. In other…

Logic · Mathematics 2025-05-02 David Gonzalez , Matthew Harrison-Trainor

We prove that uniformly locally finite metric spaces with isomorphic Roe algebras must be coarsely equivalent. As an application, we also prove that the outer automorphism group of the Roe algebra of a metric space of bounded geometry is…

Operator Algebras · Mathematics 2025-03-10 Diego Martínez , Federico Vigolo

A Banach space has the Schur property when every weakly convergent sequence converges in norm. We prove a Schur-like property for measures: if a sequence of finite signed Borel measures on a Polish space is such that it is bounded in total…

Functional Analysis · Mathematics 2018-12-18 Sander C. Hille , Tomasz Szarek , Daniel T. H. Worm , Maria Ziemlanska

We provide an alternative, constructive proof that the collection $\mathcal{M}$ of isometry classes of compact metric spaces endowed with the Gromov-Hausdorff distance is a geodesic space. The core of our proof is a construction of explicit…

Metric Geometry · Mathematics 2018-03-21 Samir Chowdhury , Facundo Mémoli

We establish new results and introduce new methods in the theory of measurable orbit equivalence, using bounded cohomology of group representations. Our rigidity statements hold for a wide (uncountable) class of groups arising from negative…

Group Theory · Mathematics 2007-05-23 Nicolas Monod , Yehuda Shalom

We study a category of probability spaces and measure-preserving Markov kernels up to almost sure equality. This category contains, among its isomorphisms, mod-zero isomorphisms of probability spaces. It also gives an isomorphism between…

Probability · Mathematics 2025-08-05 Noé Ensarguet , Paolo Perrone

This is a pedagogical introduction covering maps of metric spaces, Gromov-Hausdorff distance and its "physical" meaning, and dilation structures as a convenient simplification of an exhaustive database of maps of a metric space into…

Metric Geometry · Mathematics 2011-12-24 Marius Buliga

We present an adaptation of continuous first order logic to unbounded metric structures. This has the advantage of being closer in spirit to C. Ward Henson's logic for Banach space structures than the unit ball approach (which has been the…

Logic · Mathematics 2010-04-22 Itaï Ben Yaacov

The aim of this paper is to demonstrate relations between Gromov-Hausdorff distance properties and the Borsuk Conjecture. The Borsuk number of a given bounded metric space $X$ is the infimum of cardinal numbers $n$ such that $X$ can be…

General Topology · Mathematics 2022-03-15 Alexander Ivanov , Alexey Tuzhilin

In this note we study the structure of Lipschitz-free Banach spaces. We show that every Lipschitz-free Banach space over an infinite metric space contains a complemented copy of $\ell_1$. This result has many consequences for the structure…

Functional Analysis · Mathematics 2018-02-09 Marek Cuth , Michal Doucha , Przemyslaw Wojtaszczyk

We present theoretical properties of the space of metric pairs equipped with the Gromov--Hausdorff distance. First, we establish the classical metric separability and the geometric geodesicity of this space. Second, we prove an…

Metric Geometry · Mathematics 2026-02-06 Andrés Ahumada Gómez , Mauricio Che , Manuel Cuerno