arXiv math/05102542005-10-12math.COmath.LO

Divisibility of countable metric spaces

Christian Delhomme, Claude Laflamme, Maurice Pouzet, Norbert Sauer

备注：: 34 pages

英文摘要：

Prompted by a recent question of G. Hjorth as to whether a bounded Urysohn space is indivisible, that is to say has the property that any partition into finitely many pieces has one piece which contains an isometric copy of the space, we answer this question and more generally investigate partitions of countable metric spaces. We show that an indivisible metric space must be totally Cantor disconnected, which implies in particular that every Urysohn space U_V with V bounded or not but dense in some initial segment of R+, is divisible. On the other hand we also show that one can remove "large" pieces from a bounded Urysohn space with the remainder still inducing a copy of this space, providing a certain "measure" of the indivisibility. Associated with every totally Cantor disconnected space is an ultrametric space, and we go on to characterize the countable ultrametric spaces which are homogeneous and indivisible.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

Big Ramsey degrees and divisibility in classes of ultrametric spaces

Given a countable set S of positive reals, we study finite-dimensional Ramsey-theoretic properties of the countable ultrametric Urysohn space with distances in S.

2007-10-11math.COmath.LO

Distinguishing number of Urysohn metric spaces

The distinguishing number of a structure is the smallest size of a partition of its elements so that only the trivial automorphism of the structure preserves each cell of the partition. We show that for any countable subset of the positive real numbers, the corresponding countable homogeneous Urysohn metric space, when it exists, has distinguishing number 2 or the distinguishing number is infinite. While it is known that a sufficiently large finite primitive structure has distinguishing number 2, unless its automorphism group is the full symmetric group or alternating group, the infinite case …

2021-01-25math.CO

Geometric random graphs and Rado sets in sequence spaces

We consider a random geometric graph model, where pairs of vertices are points in a metric space and edges are formed independently with fixed probability $p$ between pairs within threshold distance $δ$. A countable dense set in a metric space is {\sl Rado} if this random model gives, with probability 1, a graph that is unique up to isomorphism. In earlier work, the first two authors proved that in finite dimensional spaces $\mathbb{R}^n$ equipped with the $\ell_{\infty}$ norm, all countable dense set satisfying a mild non-integrality condition are Rado. In this paper, we extend this result to…

2018-02-21math.CO

梯级空间

Echeloned Spaces

本文引入梯级空间作为度量空间的序理论抽象，刻画了可度量化梯级空间的态射性质，并证明有限有序梯级空间类具有Ramsey性质，且全对称群可拓扑嵌入其万有齐性空间的自同构群。

2024-02-12math.COmath.LO

Differential calculus on the space of countable labelled graphs

The study of very large graphs is a prominent theme in modern-day mathematics. In this paper we develop a rigorous foundation for studying the space of finite labelled graphs and their limits. These limiting objects are naturally countable graphs, and the completed graph space $\mathscr{G}(V)$ is identified with the 2-adic integers as well as the Cantor set. The goal of this paper is to develop a model for differentiation on graph space in the spirit of the Newton-Leibnitz calculus. To this end, we first study the space of all finite labelled graphs and their limiting objects, and establish an…

2020-09-27math.CO

Simplicity of the automorphism groups of generalised metric spaces

Tent and Ziegler proved that the automorphism group of the Urysohn sphere is simple and that the automorphism group of the Urysohn space is simple modulo bounded automorphisms. A key component of their proof is the definition of a stationary independence relation (SIR). In this paper we prove that the existence of a SIR satisfying some extra axioms is enough to prove simplicity of the automorphism group of a countable structure. The extra axioms are chosen with applications in mind, namely homogeneous structures which admit a "metric-like amalgamation", for example all primitive 3-constrained …

2021-04-03math.COmath.GRmath.LO

更多相关论文收起更多论文

Some weak indivisibility results in ultrahomogeneous metric spaces

We study the validity of a partition property known as weak indivisibility for the integer and the rational Urysohn metric spaces. We also compare weak indivisiblity to another partition property, called age-indivisibility, and provide an example of a countable ultrahomogeneous metric space which may be age-indivisible but not weakly indivisible.

2014-01-06math.COmath.MG

关于和秩度量下完美码不存在性的研究

On the non-existence of perfect codes in the sum-rank metric

本文研究和秩度量下线性完美码的存在性，通过分析度量球几何与体积界，给出两块空间的参数约束，并在多块空间中基于最小距离、整除性和码维数建立多类不存在性结果。

2025-08-28cs.ITmath.COmath.IT

A finite Hausdorff dimension for graphs

The classical Hausdorff dimension of finite or countable metric spaces is zero. Recently, we defined a variant, called \emph{finite Hausdorff dimension}, which is not necessarily trivial on finite metric spaces. In this paper we apply this to connected simple graphs, a class that provides many interesting examples of finite metric spaces. There are two very different cases: one in which the distance is coarse (and one is doing Graph Theory), and another case in which the distance is much finer (and one is somewhere between graphs and finite metric spaces).

2016-07-27math.COmath.MG

Partitions of metric spaces with finite distance sets

A metric space $\mathrm{M}=(M,\de)$ is {\em indivisible} if for every colouring $χ: M\to 2$ there exists $i\in 2$ and a copy $\mathrm{N}=(N, \de)$ of $\mathrm{M}$ in $\mathrm{M}$ so that $χ(x)=i$ for all $x\in N$. The metric space $\mathrm{M}$ is {\em homogeneus} if for every isometry $α$ of a finite subspace of $\mathrm{M}$ to a subspace of $\mathrm{M}$ there exists an isometry of $\mathrm{M}$ onto $\mathrm{M}$ extending $α$. A homogeneous metric space $\mathrm{U}$ with set of distances $\mathcal{D}$ is an Urysohn metric space if every finite metric space with set of distances a subset of $\m…

2010-11-30math.COmath.DSmath.FA