English
Related papers

Related papers: Divisibility of countable metric spaces

200 papers

Homogeneous countably compact spaces $X$ and $Y$ whose product $X\times Y$ is not pseudocompact are constructed. It is proved that all compact subsets of homogeneous subspaces of the third power of an extremally disconnected space are…

General Topology · Mathematics 2023-06-13 Evgenii Reznichenko

We describe the class of graphs for which all metric spaces with diametrical graphs belonging to this class are ultrametric. It is shown that a metric space $(X, d)$ is ultrametric iff the diametrical graph of the metric $d_{\varepsilon}(x,…

Metric Geometry · Mathematics 2021-03-18 Viktoriia Bilet , Oleksiy Dovgoshey , Yuriy Kononov

A generalization of the Lebesgue number lemma is obtained. It is proved that, if each countably infinite locally finite open cover of a chainable metric space $X$ has a Lebesgue number, then $X$ is totally bounded. A property of metric…

General Topology · Mathematics 2022-05-25 Ajit Kumar Gupta , Saikat Mukherjee

Let U denote the Urysohn sphere and consider U as a metric structure in the empty continuous signature. We prove that every definable function from U^n to U is either a projection function or else has relatively compact range. As a…

Logic · Mathematics 2010-01-28 Isaac Goldbring

We review results concerning homogeneous compacta and discuss some open questions. It is established that indecomposable continua are Alexandroff (resp., Mazurkiewicz, or strong Cantor) manifolds with respect to the class of all continua.…

General Topology · Mathematics 2012-04-16 V. Todorov , V. Valov

We say that a set is exhaustible if it admits algorithmic universal quantification for continuous predicates in finite time, and searchable if there is an algorithm that, given any continuous predicate, either selects an element for which…

Logic in Computer Science · Computer Science 2015-07-01 Martin Escardo

A cubic space is a vector space equipped with a symmetric trilinear form. Using categorical Fra\"iss\'e theory, we show that there is a universal ultrahomogeneous cubic space $V$ of countable infinite dimension, which is unique up to…

Logic · Mathematics 2023-08-23 Nate Harman , Andrew Snowden

A problem of Banach asks whether every infinite-dimensional Banach space which is isomorphic to all its infinite-dimensional subspaces must be isomorphic to a separable Hilbert space. In this paper we prove a result of a Ramsey-theoretic…

Functional Analysis · Mathematics 2007-05-23 W. T. Gowers

A space has $\sigma$-compact tightness if the closures of $\sigma$-compact subsets determines the topology. We consider a dense set variant that we call densely k-separable. We consider the question of whether every densely k-separable…

General Topology · Mathematics 2018-10-12 Alan Dow , Istvan Juhasz

For an $r$-tuple $(\gamma_1,\ldots,\gamma_r)$ of special orthogonal $d\times d$ matrices, we say that the Euclidean $(d-1)$-dimensional sphere $S^{d-1}$ is $(\gamma_1,\ldots,\gamma_r)$-divisible if there is a subset $A\subseteq S^{d-1}$…

Metric Geometry · Mathematics 2022-07-12 Clinton T. Conley , Jan Grebík , Oleg Pikhurko

Let $\mathcal{M} (X)$ denote the space of complete Riemannian metrics with non-positive sectional curvature and with negatively curved ends, on a manifold $X$. We show that $\mathcal{M} (\mathbb{R} \times S ^{1}) $ and $\mathcal{M}…

Differential Geometry · Mathematics 2025-06-26 Yasha Savelyev

A 1910 theorem of Brouwer characterizes the Cantor set as the unique totally disconnected, compact metric space without isolated points. A 1920 theorem of Sierpinski characterizes the rationals as the unique countable metric space without…

General Topology · Mathematics 2012-10-04 Michael Francis

We characterise purely $n$-unrectifiable subsets $S$ of a complete metric space $X$ with finite Hausdorff $n$-measure by studying arbitrarily small perturbations of elements of the set of all bounded 1-Lipschitz functions $f\colon X \to…

Metric Geometry · Mathematics 2020-04-02 David Bate

We show that there exists a natural counterpart of the Gromov-Hausdorff metric in the class of ultrametric spaces. It is proved, in particular, that the space of all ultrametric spaces whose metric take values in a fixed countable set is…

General Topology · Mathematics 2007-05-23 Ihor Zarichnyi

We show that all density operators of 2$\times N$--dimensional quantum systems that remain invariant after partial transposition with respect to the first system are separable. Based on this criterion, we derive a sufficient separability…

Quantum Physics · Physics 2007-05-23 M. Lewenstein , J. I. Cirac , S. Karnas

We prove that every homogeneous countable dense homogeneous topological space containing a copy of the Cantor set is a Baire space. In particular, every countable dense homogeneous topological vector space is a Baire space. It follows that,…

General Topology · Mathematics 2023-09-28 Tadeusz Dobrowolski , Mikołaj Krupski , Witold Marciszewski

We partly extend the localisation technique from convex geometry to the multiple constraints setting. For a given $1$-Lipschitz map $u\colon\mathbb{R}^n\to\mathbb{R}^m$, $m\leq n$, we define and prove the existence of a partition of…

Metric Geometry · Mathematics 2021-08-17 Krzysztof J. Ciosmak

Dimensional types of metric scattered spaces are investigated. Revised proofs of Mazurkiewicz-Sierpi\'nski and Knaster-Urbanik theorems are presented. Embeddable properties of countable metric spaces are generalized onto uncountable metric…

General Topology · Mathematics 2015-05-01 Szymon Plewik , Marta Walczyńska

We investigate a tangent space at a point of a general metric space and metric space valued derivatives. The conditions under which two different subspace of a metric space have isometric tangent spaces in a common point of these subspaces…

Metric Geometry · Mathematics 2009-04-29 O. Dovgoshey

We study the space of ends of groups. For a finitely generated group, this is a Cantor space as soon as it is infinite. In contrast, we show that for infinitely generated countable groups, it exhibits several behaviors. For instance, we…

Group Theory · Mathematics 2019-07-03 Yves Cornulier