English
Related papers

Related papers: Every Separable Metrizable Space has a Proper Dyad…

200 papers

We show that, as conjectured by Adrien Douady back in 1972, every complete metric space is homeomorphic (moreover, isometric) to the locus of zeros of an analytic map between two Banach spaces. As a corollary, a paracompact topological…

funct-an · Mathematics 2008-02-03 Vladimir G. Pestov

For a bounded metric space X, we define a metric on the set of all finite subsets of X. This generalizes the sequence-subset distance introduced by Wentu Song, Kui Cai and Kees A. Schouhamer Immink to study error correcting codes for DNA…

Metric Geometry · Mathematics 2023-02-28 Richard Castro , Zhibin Chang , Ethan Ha , Evan Hall , Hiren Maharaj

Inspired by a classical theorem of topological dimension theory, we prove that every geodesic metric space of asymptotic dimension $n$ containing a bi-infinite geodesic can be coarsely separated by a subset $S$ of asymptotic dimension equal…

Group Theory · Mathematics 2024-03-26 Panagiotis Tselekidis

Given a metric pair $(X,A)$, i.e. a metric space $X$ and a distinguished closed set $A \subset X$, one may construct in a functorial way a pointed pseudometric space $\mathcal{D}_\infty(X,A)$ of persistence diagrams equipped with the…

In 1967, Kadison asked ``does every type $\mathrm{II}_1$ factor have an orthonormal (with respect to the trace) basis consisting of unitaries?'' Using a noncommutative Lyapunov theorem of Akemann and Weaver, we prove that if $M$ is a…

Operator Algebras · Mathematics 2026-05-19 Yixin He , Quanyu Tang , Teng Zhang

We prove that a set of finite perimeter is indecomposable if and only if it is, up to a choice of suitable representative, connected in the 1-fine topology. This gives a topological characterization of indecomposability which is new even in…

Metric Geometry · Mathematics 2025-12-23 Paolo Bonicatto , Panu Lahti , Enrico Pasqualetto

In this paper, we approach the question if some of the separation axioms are equivalent in the class of asymmetric normed spaces. In particular, we make a remark on a known theorem which states that every $T_1$ asymmetric normed space with…

General Topology · Mathematics 2019-05-10 Victor Donjuán , Natalia Jonard-Pérez

We are considering typed hierarchies of total, continuous functionals using complete, separable metric spaces at the base types. We pay special attention to the so called Urysohn space constructed by P. Urysohn. One of the properties of the…

Logic in Computer Science · Computer Science 2015-07-01 Dag Normann

The Urysohn space is a separable complete metric space with two fundamental properties: (a) universality: every separable metric space can be isometrically embedded in it; (b) ultrahomogeneity: every finite isometry between two finite…

Metric Geometry · Mathematics 2017-12-05 David Bryant , André Nies , Paul Tupper

It is well-known that a metric space $(X, d)$ is complete iff the set $X$ is closed in every metric superspace of $(X, d)$. For a given pseudometric space $(Y, \rho)$, we describe the maximal class $\mathbf{CEC}(Y, \rho)$ of superspaces of…

General Topology · Mathematics 2022-06-06 Viktoriia Bilet , Oleksiy Dovgoshey

In this paper we develop some combinatorial models for continuous spaces. In this spirit we study the approximations of continuous spaces by graphs, molecular spaces and coordinate matrices. We define the dimension on a discrete space by…

General Relativity and Quantum Cosmology · Physics 2009-10-22 Alexander V. Evako

In this note, we prove that separable subgroups have bounded packing in ambient groups. The notion bounded packing was introduced by Hruska and Wise and in particular, our result answers positively a question of theirs, asking whether each…

Group Theory · Mathematics 2011-03-18 Wen-yuan Yang

The sum theorem and its corollaries are proved for a countable family of zero-dimensional (in the sense of small and large inductive bidimensions) p-closed sets, using a new notion of relative normality whose topological correspondent is…

General Topology · Mathematics 2007-06-29 B. P. Dvalishvili

For separable metrizable spaces $X,Y$ and a metrizable topological group $Z$ by $S(X\times Y,Z)$ we denote the space of all separately continuous functions $f:X\times Y\to Z$ endowed with the topology of layer-wise uniform convergence,…

General Topology · Mathematics 2016-02-23 Taras Banakh

We give an intrinsic characterization of all subsets of a doubling metric space that can arise as a member of some system of dyadic cubes on the underlying space, as constructed by M. Christ.

Metric Geometry · Mathematics 2013-02-26 Tuomas Hytönen , Anna Kairema

We prove a Tb theorem on quasimetric spaces equipped with what we call an upper doubling measure. This is a property that encompasses both the doubling measures and those satisfying the upper power bound \mu(B(x,r)) \le Cr^d. Our spaces are…

Functional Analysis · Mathematics 2013-01-14 Tuomas Hytönen , Henri Martikainen

The main aim of the paper is to give a full classification (up to isometry) of all metric spaces X with the following two properties: X contains a compact set with non-empty interior; and for any three distinct points a, b and c of X there…

Metric Geometry · Mathematics 2025-01-08 Piotr Niemiec

The deck, $\mathcal{D}(X)$, of a topological space $X$ is the set $\mathcal{D}(X)=\{[X \setminus \{x\}]\colon x \in X\}$, where $[Y]$ denotes the homeomorphism class of $Y$. A space $X$ is (topologically) reconstructible if whenever…

General Topology · Mathematics 2015-10-12 Paul Gartside , Max F. Pitz , Rolf Suabedissen

In this paper (as in [Ken15]), we consider an effective version of the characterization of separable metric spaces as zero-dimensional iff every nonempty closed subset is a retract of the space (actually, it is a relative result for closed…

Logic in Computer Science · Computer Science 2021-05-26 Robert Kenny

In a complete metric space that is equipped with a doubling measure and supports a Poincar\'e inequality, we study strict subsets, i.e. sets whose variational capacity with respect to a larger reference set is finite, in the case $p=1$.…

Metric Geometry · Mathematics 2019-03-12 Panu Lahti