All Questions
Tagged with mg.metric-geometry metric-spaces
159 questions
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}$? (...
- 63.9k
0
votes
1
answer
514
views
Distance between two points using triangulation
Suppose we have two points $p_1$ and $p_2$ in a metric space with unknown dimensionality, with no way to directly compute the distance between them, e.g. no coordinates.
Say we can randomly sample a ...
- 236k
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
4
votes
1
answer
407
views
Lipschitz-regularity of partition of unity
Let $K$ be a compact subset of $\mathbb{R}^n$ and $\mathcal{U}$ be a finite collection of open subsets covering $K$ satisfying the minimality property: for every $U\in \mathcal{U}$, the sub-collection ...
- 39k
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 ...
- 63.9k
1
vote
0
answers
238
views
Example of CAT($k$) space [closed]
Good time of day. I repeat the question from MSE (https://math.stackexchange.com/questions/4464888/question-about-example-of-catk-space) because no response has been received.Question is the following:...
- 103
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 $\...
- 63.9k
3
votes
1
answer
486
views
There exists differentiable curves arbitrarily close to the continuous ones
Let $M$ be a Riemannian manifold; if $d$ is the distance on $M$, we can consider the distance $D$ between any two continuous curves given by $D(c, \gamma) = \max _{t \in [0,1]} d(c(t), \gamma(t))$.
...
- 2,806
1
vote
1
answer
124
views
A neighborhood $Y$ of a set $X$ such that the line segment connecting any point in $Y$ and its projection to $X$ is contained in $Y$
A direct line from a point $p$ to a set $X$ is a line segment with one endpoint at $p$ and one endpoint in $X$, which is as short as any other line segment from $p$ to $X$. Given a closed set $X$ and ...
- 23.7k
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
10
votes
1
answer
561
views
Does a compact contractible metric space have a point that is fixed by all isometries?
Let $(X,d)$ be a compact and contractible metric space. Let $\operatorname{Isom}(X)=\{\phi\colon X\to X\}$ be its group of isometries.
Question: Is there a point $x\in X$ fixed by all $\phi\in\...
- 63.9k
1
vote
1
answer
99
views
Lower bound on a norm of $\mathbb{CP}^2$ inducing a lower bound on the Euclidean norm of $\mathbb{C}^3$
Let $|\cdot|$ denote the usual Euclidean norm on $\mathbb{C}^3$ and fix some arbitrary metric $\rho$ on $\mathbb{CP}^2$. For $\delta > 0$ and any set $\hat{P} \subset \mathbb{CP}^2$, define the $\...
- 53
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}$?
- 12.9k
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
15
votes
3
answers
7k
views
A metric for Grassmannians
I'm reading an article by Ricardo Mañé, "The Hausdorff dimension of horseshoes of diffeomorphisms of surfaces" (https://doi.org/10.1007/BF02585431). I'm having a technical problem. Sorry for ...
- 258
1
vote
1
answer
109
views
When are uniform embeddings quasisymetric
Let $X,Y$ be metric space and suppose that $f:X\rightarrow Y$ is a uniform embedding; i.e.:
$$
\omega(d_X(x,z))\leq d_Y(f(x),f(z)) \leq \Omega(d_X(x,z)),
$$
where $\omega\leq \Omega$ are both strictly ...
- 7,842
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
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). ...
- 12.9k
6
votes
1
answer
551
views
Relationship between doubling constant of a metric space and of a metric measure space
Let $(X,d,m)$ be a metric measure space. We say that it is doubling in the sense of metric spaces if for every:
$x\in X$ and every $r>0$ there exists some (metric) doubling constant $C_d\geq 0$ ...
- 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
0
votes
1
answer
189
views
Terminology "upper" Ahlfors regular measure
Let $(X,d)$ be a metric space and $m$ be a Borel measure on $(X,d)$. The measure $m$ is called Ahlors regular if $m(B(x,r))\asymp r^q$ for some $q>0$ and each $x\in X$. Is there a name for ...
- 16
8
votes
1
answer
530
views
Whitney's approximation theorem for Lipschitz manifolds
In the smooth setting, Whitney's approximation theorem says the following: If $M,N$ are smooth manifolds and $f,g:M\to N$ are smooth functions that are continuously homotopic (ie there is a continuous ...
- 7,842
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 ...
- 63.9k
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
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
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
1
vote
1
answer
306
views
When are Wasserstein spaces $CAT(\kappa)$?
Let $(X,d)$ be a complete and separable metric space and, for $1\leq p<\infty$, let $(\mathcal{P}_p(X,d),W_p)$ be the $p$-Wasserstein space on $(X,d)$. For which $p$ and $(X,d)$ is $(\mathcal{P}_p(...
- 45k
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$-...
- 1,848
8
votes
1
answer
432
views
What should a meaningful notion of curvature satisfy, in the absence of a smooth structure?
There are many generalizations of various curvatures to non-smooth metric spaces (e.g. Ollivier's Ricci curvature). Suppose I have a metric space $(X,d)$ and I want to define a notion of curvature ...
- 6,001
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
1
vote
1
answer
158
views
Effect of snowflaking on doubling constants
This question is related to this one. Let $(X,d)$ be a metric space, let $\epsilon\in [0,1)$ and consider the snowflake $(X,d^{1-\epsilon})$. Suppose that $(X,d)$ has a finite doubling constant, ...
- 42.8k
18
votes
1
answer
901
views
How to compute the Gromov-Hausdorff distance between spheres $S_n$ and $S_m$?
Can we compute the Gromov-Hausdorff distance $d(\mathbb{S}_n,\mathbb{S}_m)$ for two different spheres $\mathbb{S}_n$ and $\mathbb{S}_m$, $m\neq n$? We consider the spheres with the metrics induced by ...
CommunityBot
- 1
2
votes
2
answers
163
views
Monotonicity of doubling dimension
Let $(X,d)$ be a metric space with finite Assouad dimension $0<C_X$. It seems intuitive to me that if $\emptyset \subset Y\subseteq X$ then $Y$ is also doubling and its Assouad dimension, denoted ...
- 63.9k
24
votes
8
answers
4k
views
When does a metric space have "infinite metric dimension"? (Definition of metric dimension)
Definition 1 A subset $B$ of a metric space $(M,d)$ is called a metric basis for $M$ if and only if $$[\forall b \in B,\,d(x,b)=d(y,b)] \implies x = y \,.$$
Definition 2 A metric space $(M,d)$ has &...
- 4,786
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
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 ...
- 63.9k
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{...
- 63.9k
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 ...
- 63.9k
5
votes
2
answers
2k
views
Distance between two metric spaces
I am given two metric spaces as two arrays of the same size. Each one is supposed to represent distance between vertices on a mesh in R^3. The meshes are assumed to have the same number of vertices ...
- 63.9k
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
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
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}}
\...
- 63.9k
0
votes
0
answers
81
views
Gromov–Hausdorff closure of non-positively curved graphs
Setup:
Let $\Gamma$ be the set of non-positively curved weighted connected graphs, with finitely many points, which are isometrically embedded in $\mathbb{R}^n$; for some $n\in \mathbb{N}$;$n\geq 2$. ...
- 63.9k
7
votes
1
answer
195
views
Does there exist a countable metric space which is Lipschitz universal for all countable metric spaces?
Is there a countable metric space $U$ such that any countable metric space is bi-Lipschitz equivalent to a subset of $U$? How about $c_{00}(\mathbb{Q})$ where $\mathbb{Q}$ is the rational numbers? ...
- 41.8k
2
votes
1
answer
226
views
Metric projection on closed convex sets in Busemann space
I am looking for a proof of the following statement:
Let $X$ be a complete Busemann space. For any point $x\in X$ and any nonempty closed convex set $A\subseteq X$, there is a unique $a\in A$ such ...
- 267
2
votes
1
answer
223
views
Is there a theory of partially-defined metric spaces?
Is there a theory of metric spaces in which the distance between a given pair of points need not be defined?
I'm aware that there is a theory of partial metric spaces, but these deal with a different ...
- 3,065
5
votes
1
answer
200
views
Criterion for Kuratowski Limit Inferior
Let $(X,d_X)$ be a compact metric space and let $\{K_n\}_{n=1}^{\infty}$ be a collection of non-empty compact subsets. Let $K\subseteq X$ be compact. Then, if for every $x_n \in K_n$ we have
$$
d_X(...
- 6,367
7
votes
1
answer
590
views
When is a metric space a snowflake?
Let $(X,d)$ be a metric space. For any $0<\epsilon<1$, we call the metric space $(X,d^{\epsilon})$; where $d^{\epsilon}(x,y)\triangleq (d(x,y))^{\epsilon}$ the $\epsilon$-snowflake of $(X,d)$.
...
- 86
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 ...
- 63.9k