Questions tagged [metric-spaces]
A metric space is a pair $(X,d)$, where $X$ is a set and $d:X \times X \to \mathbb{R}$ satisfies the following conditions for all $x,y,z \in X$. (Symmetry) $d(x,y)=d(y,x)$. (Identity of Indiscernibles) $d(x,y)=0$ if and only if $x=y$. (Triangle Inequality) $d(x,y)+d(y,z) \geq d(x,z)$.
442 questions
0
votes
1
answer
61
views
$\omega$-homogenous space which is not $\omega_1$-homogenous
Consider a metric space $(X,d)$ and let $\kappa$ be a cardinal. We say that $(X,d)$ is $\kappa$-homogenous, if every (surjective) isometry $h:X_1 \to X_2$ between subspaces of $(X,d)$ of size $< \...
- 135
2
votes
3
answers
299
views
Banach-like analysis on metric spaces
Some time ago, I was thinking about whether it would be possible to generalize some results from functional analysis on Banach spaces to some metric spaces. Specifically, I wondered whether if one ...
- 820
1
vote
0
answers
450
views
Portmanteau theorem for finite signed Borel measures
Let
$X$ be a metric space,
$\mathcal M(X)$ the space of all finite signed Borel measures on $X$,
$\mathcal M_+(X)$ the space of all finite nonnegative Borel measures on $X$,
$\mathcal M_1(X)$ the ...
- 657
0
votes
1
answer
199
views
Prove that $(v^Tx)^2-(u^Tx)^2 < 1-(u^Tv)^2$ for any unit vectors $u$, $v$, $x$
Let $u,v,x \in \mathbb R^d$ be three unit vectors. I found a very complicated proof that $(v^Tx)^2-(u^Tx)^2 \leq 1-(u^Tv)^2$.
That is $\lVert uu^T-vv^T\rVert^2_2 = 1-(u^Tv)^2$, or that $f(v,x)\leq f(v,...
- 143
6
votes
2
answers
297
views
Can every set of points with rational distance squares be isometrically embedded in $\Bbb Q^d$?
Suppose we are given a finite family of points $p_1,...,p_n\in \Bbb R^d$, so that any two points have a rational distance square, that is,
$$\|p_i-p_j\|^2\in\Bbb Q,\quad\text{for all $i,j\in\{1,...,n\}...
- 13.6k
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
0
votes
1
answer
55
views
Get an estimate on $L^{2}(0,1)$ [closed]
Consider $f \in L^{2}(0,1)$ and $g \in L^{\infty}(0,1)$ such that
$ \text{lim} ~g(x) = 0 \ \ \text{when} \ \ x \to 0^{+};$
$g(x) > 0 \ \forall x \in (0,1)$;
$\text{lim}~\dfrac{g(x)}{x^{\alpha}} =...
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 ...
- 637
36
votes
2
answers
2k
views
Is there a "universal" connected compact metric space?
Fact 1. The Cantor set $K$ is "universal" among nonempty compact metric spaces in the following sense: given any nonempty compact metric space $X$, there exists a continuous surjection $f\colon K \to ...
- 22.3k
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
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
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(...
- 195
0
votes
0
answers
113
views
Finite sets are residual in the Hausdorff space
Let $X$ be a metric space, let $\mathbb{H}(X)$ denote the set of non-empty closed subsets of $X$ with Hausdorff metric which we denote by $d_{\mathbb{H}(X)}$, and let $\mathbb{H}_{\operatorname{fin}}(...
- 5,405
3
votes
1
answer
181
views
Completeness of intrinsication
Lemma. Suppose $(X,\rho)$ is a complete metric space and $\hat \rho$ is its induced intrinsic metric. Then $(X,\hat \rho)$ is complete.
This lemma was essentially proved in [2.3. in Metric minimizing ...
- 45k
2
votes
0
answers
150
views
A version of Portmanteau theorem where $(\mu_n)_{n\in \mathbb N}$ is replaced by a net $(\mu_d)_{d\in D}$
Let $(E, d)$ be a metric space, $\mathcal C_b(E)$ the space of all real-valued bounded continuous functions on $E$, and $\mathcal P(E)$ the space of all Borel probability measures on $E$. For $f \in \...
- 657
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
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)$.
...
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 ...
- 195
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
1
vote
0
answers
112
views
What is the topological characteristic of a separable metric space $X$ such that $|kX\setminus X|=\frak{c}$ for any completion $kX$ of $X$?
What is the topological characteristic of a separable metric space $X$ such that $|kX\setminus X|=\frak{c}$ for any completion $kX$ of $X$?
- 1,101
9
votes
1
answer
311
views
Continuously varying norms
Let $V$ be a finite-dimensional real vector space with its Euclidean topology. Then all norms on $V$ are equivalent and consequently given two norms $\lVert-\rVert$, $\lVert-\rVert'$, the number
$$
d =...
- 1,153
16
votes
5
answers
903
views
Which metric spaces have this superposition property?
Let $A \subset X$ and $B \subset X$ be two isometric subsets of a metric space $X$. So there is an isometry $f: A \to B$.
Say that a metric space $X$ has the superposition property (my terminology) ...
- 151k
6
votes
1
answer
318
views
How complicated can the path component of a compact metric space be?
Let $X$ be a compact metric space and $P$ be a path component of $X$. Since we are not assuming $X$ is locally path connected, $P$ must need not be open nor closed. Certainly, $P$ must be separable ...
- 7,193
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 ...
1
vote
0
answers
97
views
Are Hölder functions between Banach spaces residual in the compact-open topology?
Let $X$ and $Y$ be Banach spaces and let $C(X,Y)$ be the set of continuous functions from $X$ to $Y$ equipped with the topology of uniform convergence on compact sets (i.e. the compact-open topology). ...
- 5,405
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? ...
- 73
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
3
votes
0
answers
148
views
Topologically characterizing metrizable spaces
There are some well-known theorems that imply that some metrizable spaces, when satisfying other topological properties, are unique up to homeomorphism. Here are a few examples, where "perfect&...
2
votes
0
answers
135
views
Does a lifted functor on $\mathbf{1Met}$ preserve isometries?
Let $\mathbf{1Met}$ denote the category of metric spaces with distance bounded by $1$ and nonexpansive maps ($1$-Lipschitz functions). I call isometry a distance-preserving map (some people require it ...
- 93
2
votes
0
answers
114
views
Why does the solution to pendulum problem with the geometric approach of Jacobi metric does not correspond to the solution with Lagrangian approach? [closed]
When we solve the pendulum problem with EL equation, we get to the differential equation $\ddot{q}+\frac{g}{l}\sin q=0$
but when I apply the substitution $t \rightarrow t\sqrt\frac{g}{l}$ and ...
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
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
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, ...
- 5,405
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
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 ...
- 5,405
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(...
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
5
votes
1
answer
168
views
Compactness of symmetric power of a compact space
Suppose I have a compact metric space $(X,d)$ and let $\mathcal{X}=X^K$ be the product space. Consider the equivalence relation $\sim$ on $\mathcal{X}$ given as: for $\alpha,\beta\in \mathcal{X}$, $\...
- 59
3
votes
0
answers
171
views
Covering number $C^k$-balls in $C(\mathbb{R}^n)$
Fix a positive integer $n$ and and an non-negative integer $k$. The Arzela-Ascoli theorem guarantees that for a given positive integer $k$ and a given $L>0$ the set
$$
Ball_{C^{k,1}([0,1]^n)}(0,L)
...
- 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
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
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
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 ...
user11178
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
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
3
votes
0
answers
80
views
String metric properties when extending strings
I am studying some aspects concerning string distance functions, and I am sure there are generic results available in the field of metric spaces, but I have not been able to find appropriate ...
- 91
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 ...
- 697
6
votes
2
answers
1k
views
Is the separability of the space needed in the proof of the Prohorov's theorem?
The Section 5 of the book:
Billingsley, P., Convergence of Probability Measures, 1999,
studies Prohorov's theorem. A short reminder is given below.
Let $\Pi$ be a family of probability measures on ...
- 657
18
votes
3
answers
7k
views
Quotient of metric spaces
Let $(X,d)$ be a compact metric space and $\sim$ an equivalence relation on $X$ such that the quotient space $X/\sim$ is Hausdorff. It is well known that in this case the quotient is metrizable. My ...
- 1,769
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