All Questions
Tagged with mg.metric-geometry metric-spaces
53 questions with no upvoted or accepted answers
13
votes
0
answers
818
views
Covering number estimates for Hölder balls
Let $\alpha \in (0,1]$, $r>0$ and $L>0$, and positive intwgers $n$ and $m$. The Arzela-Ascoli Theorem guarantees that the set $X(\alpha,L,r)$ of $f:[-1,1]^n\rightarrow [-r,r]^m$ with $\alpha$-...
- 5,405
9
votes
0
answers
489
views
Category of metric spaces
Is there a standard/good reference text that does category of metric spaces?
Say, it seems that by looking at this category one can recover everything about particular metric space up to scaling --- ...
- 45k
8
votes
0
answers
149
views
Do the $\ell^{\infty}$ and $\ell^1$ norms yield minimal doubling constants amongst all norms on $\mathbb{R}^n$?
Setting:
Let $X:=\mathbb{R}^n$ for some positive integer $n$. For each $1\le p\le \infty$ let $d_p$ denote the metric induced by the $\ell^p_n$ norm thereon.
Note that, the doubling constant of a ...
- 5,405
7
votes
0
answers
493
views
A locally compact, complete metric space in which the closure of open balls coincide with the closed ball is Heine-Borel
I saw the following result stated without a proof in a paper about the isometry group of metric measure spaces:
Let $X$ be a locally compact, complete metric space such that for all $x \in X$ and $R &...
- 99
6
votes
0
answers
184
views
When is a distance space dominated by a metric space?
A distance space is a pair $(X,d)$ where $X$ is a set and $d:X \times X \rightarrow \mathbb{R}$ is a symmetric, non-negative map such that $d(x,x)=0$ for all $x \in X$. These are sometimes called semi-...
- 193
6
votes
0
answers
182
views
Factorization of metric space-valued maps through vector-valued Sobolev spaces
Let $(X,d,m)$ and $(Y,\rho,n)$ be metric measure spaces and let $f:X\rightarrow Y$ be a Borel-measurable function for which there is some $y_0$ and some $p\geq 0$ such that
$$
\int_{x\in X}\,d(y_0,f(x)...
- 5,405
6
votes
0
answers
812
views
Limit of metric spaces
Let $\{X_n\}_{n\in \mathbb{N}}$ be a collection of T2 topological spaces, with maps $f_n\colon X_n \to X_{n+1}$. These maps are continuous and open. Let $X$ be the direct limit of this system.
Assume ...
- 2,384
5
votes
0
answers
296
views
For which classes of metric spaces can we prove that quasi-isometry is an equivalence relation in ZF?
Given two metric spaces $(M_1, d_1)$ and $(M_2, d_2)$, a map $\phi \colon (M_1, d_1) \to (M_2, d_2)$ is a large-scale Lipschitz essentially surjective map if there exist constants $A \geq 1, B \geq 0$,...
4
votes
0
answers
114
views
Sufficient conditions for the Besicovitch covering theorem to hold on groups of polynomial growth
Let $G$ be a finitely generated group with symmetric generating set $S$. Then $S$ induces a distance $d$ on $G$ by letting $d(a,b) = $ the minimum $n$ such that there are generators $s_1,...,s_n$ with ...
- 41
4
votes
0
answers
114
views
"Snowflaked" Hausdorff metric
Let $(X,d_X)$ be a compact metric space and let $Comp(X)$ be the set of closed subsets of $X$ with the Hausdorff metric:
$$
D(A,B)\overset{\text{def}}{=} \, \max\left\{\sup_{b\in B}\,d_{A}(b),\sup_{a\...
- 93
4
votes
0
answers
147
views
Continuous extension preserving modulus of continuity
Let $X$ be a (non-empty) compact subset of $D(0,M):=\left\{x\in \mathbb{R}^n:\, \|x\|\leq M\right\}$, and let $f:X\rightarrow Y$ be uniformly continuous; for some metric space $Y$. Are there any ...
3
votes
0
answers
61
views
Isometric embedding of 4-element metric spaces into Riemannian manifolds and the curvature
I came across this question Preferred embedding of finite metric spaces in riemaniann manifolds of given dimension. In one of the answers it was stated that it is always possible to isometrically ...
- 820
3
votes
0
answers
158
views
Constant in Naor and Neiman's Assouad Theorem
In Naor and Neiman's Assouad embedding theorem - "Assouad’s theorem with dimension independent of the snowflaking" Revisita Mathematica, the authors derive quantitative estimates on the ...
- 5,405
3
votes
0
answers
115
views
Isometric embeddings of $c_0$ into metric spaces
Are there any nice and useful criteria or theorems which assert when a given metric space $M$ contains an isometric (not necessarily linear) copy of the Banach space $c_0$ or its unit ball $B_{c_0}$? (...
- 1,151
3
votes
0
answers
177
views
When do Polish spaces admit complete metric making them $\mathrm{CAT}(\kappa)$?
Question
$\DeclareMathOperator\CAT{CAT}$Let $X$ be a Polish space. When are there known conditions under which $X$'s topology can be metrized by a metric $d$ such that $(X,d)$ is a:
$\CAT(\kappa)$ ...
- 195
3
votes
0
answers
99
views
Condition for: A simple quotient metric induced by surjective map + equivalence relation
Let $X$ be a metric space and let $f:X\rightarrow Z$ be a surjective map onto some set $Z$. Define the pseudo-metric $d_f$ on $Z$ by:
$$
d_f(z_1,z_2)\triangleq \inf_{\underset{f(x_i)=z_i}{x_i\in X}}
\...
- 93
3
votes
0
answers
104
views
Every partial isometry extends
I am interested in metric spaces $X$ where every isometry between two subsets of the space extends to a full isometry $X \to X$. Is there a name for this kind of space? Is there some paper which ...
- 31
3
votes
0
answers
89
views
Reference request: Projection operators in metric spaces
Given a metric space $(X,d)$ and a subset $S\subset X$, the projection $P_S$ onto $S$ is well-defined as a set valued function. I am interested in learning more about properties of these projections ...
- 710
3
votes
0
answers
487
views
Homeomorphism between $L^p$-spaces on metric spaces and $L^p$-spaces on Euclidean space
Setup:
Fix $p \in [1,\infty)$.
Let $(X,d_X,x_0)$ and $(Y,d_Y,y_0)$ be complete pointed metric spaces and $\mu$ be Borel. Let $E^n,E^D$ be Euclidean spaces of respetive dimensions $n$ and $D$ and ...
- 5,405
3
votes
0
answers
261
views
Exponential map for non-smooth Finsler manifolds
Context
I'm interested in studying reversible Finsler manifolds which do not have the strong convexity of the Hessian property (that is the Finsler function is a regular norm on every tangent space). ...
- 5,405
2
votes
0
answers
115
views
Definition of the category QMet of metric spaces and quasi-isometries
I am following Clara Löh's Geometric Group Theory. An Introduction, and in remark 5.1.12, she defines the category QMet whose objects are metric spaces and whose morphisms are quasi-isometric ...
- 10.6k
2
votes
0
answers
51
views
Smallest doubling subset of a set in a metric space
Let $(X,d)$ be a separable metric space and $A\subseteq X$ be compact.
Since every finite set is doubling then, the collection $\mathcal{A}$ of doubling subsets of $A$ cannot be empty. My initial ...
- 195
2
votes
0
answers
39
views
Estimating the largest radius making each ball in a finite metric space into a tree
Motivation:
Let $n$ be a positive integer and $(X,d)$ be an $n$-point metric space. Clearly, $(X,d)$ need not be a metric tree (e.g. take for example the discrete metric on $\{0,1,2\}$.
Conversely, ...
- 5,405
2
votes
0
answers
93
views
Finite approximations to the Kuratowski/Fréchet embedding
Let $(X,d)$ be a compact doubling metric space with doubling constant $C>0$. Let $\{\mathbb{X}_n\}_{n=0}^{\infty}$ be a sequences of finite subsets of $X$ with
$$
\left\{B\left(x_k,\frac1{n}\right)...
- 195
2
votes
0
answers
71
views
Perturbing the approximation property from the Lipschitz-free space to stay in the Wasserstein space
Let $(X,d,x)$ be a separable pointed metric space and let $\mathcal{F}(X)$ be its Arens-Eells (also called its Lipschitz-Free space; in the case where $X$ is Banach) space. We view the $1$-...
- 5,405
2
votes
0
answers
102
views
What is the relationship between barycenters in the Arens-Eells sense and barycenters in the optimal transport sense
Setup:
Let $X$ be a complete pointed metric space.
Let us briefly recall that the Wasserstein space $W_1(X)$ is identifiable with a subset of the Arens-Eells (or Lipschitz-Free) space $\operatorname{...
- 5,405
2
votes
0
answers
94
views
Almost Lipschitz embedding of compact metric measure spaces into Euclidean spaces
Let $(X,d)$ be a compact metric space, $m$ be a metric outer-measure on $X$. Are there 'mild conditions' on $X$ ensuring the existence of a positive integer $N\geq 3$ such that there exist $x_1,\dots,...
- 109
2
votes
0
answers
186
views
Relationship between Hausdorff dimension and covering number
Let $(X,d)$ be a compact metric space and recall that the $\epsilon$-external covering number $\mathcal{N}^{\epsilon}(X)$ of $X$ is defined by:
$$
\mathcal{N}^{\epsilon}(X) := \inf\left\{
N\in \mathbb{...
- 5,405
2
votes
0
answers
235
views
Examples of doubling metric spaces
I keep reading a lot of metric space results which are frames for doubling metric spaces. However, besides some obvious examples (such as Euclidean case, discrete spaces, or quasi-symmetric images of ...
- 5,405
2
votes
0
answers
265
views
The contraction principle in quasi metric spaces
I am researching contractive mappings and I need the article of I. A. Bakhtin "The contraction principle in quasi metric spaces"(1989) or at least part where explanation is given for ...
1
vote
0
answers
33
views
Obtaining the geodesic extension property by embedding in a larger space
Suppose $(X,d)$ is a Hadamard space. By considering basic examples like a compact interval in $\mathbb{R}$ or a closed unit ball in Hilbert space, $X$ need not have the geodesic extension property (...
- 163
1
vote
0
answers
42
views
Genaralizing the metric expression present in the quadrilateral inequality
Let $(X, d)$ be a metric space. In Sato - An alternative proof of Berg and Nikolaev’s characterization of CAT(0)-spaces via quadrilateral inequality it is stated that if $X$ is a geodesic space, then ...
- 820
1
vote
0
answers
126
views
Absolute continuity of the volume growth in a metric space
Let $(M,d)$ be a metric space (separable, complete, better?) and let $\mu$ be a ($\sigma$-additive, positive, locally finite, regular?) Borel measure on $M$. For $x\in M$ consider the volume growth ...
- 1,959
1
vote
0
answers
125
views
Do cycle graphs embed isometrically in spheres?
I recently came across, what seems to be a folklore. Namely, that cycle graphs embeds isometrically into spheres $S^n(r)$, for some $n\in \mathbb{N}_+$ and some $r>0$. However, I could not track ...
- 169
1
vote
0
answers
165
views
Uniformly open map on a dense subset
Schauder's lemma asserts that you can always extend a uniformly continuous, uniformly open map from a dense subset of a complete metric space to a uniformly open map on the completion.
I think the ...
- 11
1
vote
0
answers
449
views
Bound on covering number of Lipschitz functions – missing part in proofs of Kolmogorov et al
Given a metric space $(\mathcal{X},\rho)$ and $\mathcal{A}\subset\mathcal{X}$ totally bounded, i.e. $\mathcal{A}$ has a finite $\varepsilon$-covering for any $\varepsilon>0$. Consider $\...
- 11
1
vote
0
answers
65
views
Are Carnot groups ever CAT(𝜅) spaces?
Let $G$ be a free Carnot group of homogeneous dimension $d$, equipped with the Carnot–Carathéodory metric. Is $(G,d)$ ever $\operatorname{CAT}(\kappa)$ for some $\kappa\in \mathbb{R}$?
- 195
1
vote
0
answers
106
views
Best estimate on doubling constant of a finite metric space
Let $(X,d)$ be a finite metric space. Clearly, $(X,d)$ is a doubling metric space but is there a 'best' estimate of $(X,d)$'s doubling constant?
Probability based on its cardinality, diameter, and ...
- 195
1
vote
0
answers
70
views
Injectivity of post-composition operator
Let $X$, $Y_1,Y_2$, and $Z$ be separable metric spaces. Let $C(X,Y)$ be the topological space of continuous functions from $X$ to $Y$ equipped with its compact-open topologies. Fix a continuous ...
1
vote
0
answers
84
views
A Hölder version of the Johnson-Lindenstrauss Lemma on essentially bounded functions
Does there exist a Hölder (not necessarily linear) projection from $L^{\infty}(\mathbb{R}^d)$ to any finite-dimensional linear subspace? This is known when $L^{\infty}(\mathbb{R}^d)$ is replaced by a ...
- 5,405
1
vote
0
answers
59
views
Explicit Quasisymmetric embedding into Euclidean space
It is known that every doubling metric space admits quasisymmetric map into Euclidean space. My question is, is there a known explicit (closed-form) quasisymmetry from the Heisenberg group into a ...
- 5,405
1
vote
0
answers
162
views
Gromov-Hausdorff relative compactness without curvature restrictions
A famous theorem of Gromov says that the set of compact Riemannian manifolds with $Ric \geq c$ and $\text{diam} \leq D$ is relatively compact in the Gromov-Hausdorff metric. Chapter 10 of the book by ...
- 1,407
0
votes
0
answers
37
views
Does smallness of Gromov-Hausdorff distance on scale 2 imply smallness on GH distance on scale 1?
Let $(M,g)$ be a Riemannian manifold and $C(Y)$ be a metric cone over $Y$. Let $B_r$ denote the geodesic ball of radius $r$ centered at a fixed point $x$ in $M$ and $C_r$ denote the metric ball of ...
- 151
0
votes
0
answers
77
views
Wasserstein space isomorphic to original space?
Is there a complete measurable metric space $(X,d)$ for which its $p$-Wasserstein space $W(X)$ is isometrically isomorphic to $(X,d)$ for some $p \in [1,\infty]$?
Note that there is a canonical non-...
0
votes
1
answer
410
views
Properties of doubling metric spaces
At present I work with tools that involves doubling metric space, my definition of DME is:
A metric space $X$ is called doubling with constant $N$, where $N \geq 1$ is an integer, if, for each ball $...
- 101
0
votes
0
answers
49
views
When can a compact metric space be covered by finitely many nearly-disjoint closed and convex sets?
This question is a follow-up of the following negative question.
Let $(X,d)$ be a (non-empty) compact metric space.
More generally than in the first post, I'll call a set of non-empty subsets $C_1,\...
- 5,405
0
votes
0
answers
62
views
Terminology: maps which are bi-Lipschitz on compact subsets
Let $X$ and $Y$ be metric spaces and let $f:X\rightarrow Y$ be such that: for every compact subset $K$ of $X$ the restricted map $f|_K:K\rightarrow Y$ defined by $f|_K(x)=f(x)$ is bi-Lipschitz (with ...
- 5,405
0
votes
0
answers
169
views
Do all manifolds admit metrics with Euclidean balls?
Let $M$ be a compact topological n-manifold. Suppose we are given a locally flat embedding $M \subset \mathbb{R}^{n+k}$. This induces a metric on $M$ by restriction. Is it true that for $\epsilon$ ...
- 5,839
0
votes
0
answers
69
views
Holder-continuous barycenter maps
Let $(X,d)$ be a complete locally-compact metric space. We define the $p$-barycenter map as a continuous function:
$$
\beta:\mathcal{P}_p(X)\rightarrow X,
$$
which is a right-inverse of the map ...
- 5,405
0
votes
0
answers
99
views
Banach fixed point theorem / convergence squeeze
I am trying to prove a convergence result on an iterative scheme which has the initial point defined as
$$x_1 = \frac{1 - s(x_0)}{s(x_0)}$$
where s(x) is some unknown function.
Here is my theorem and ...
- 51