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
3
votes
1
answer
132
views
If $X,X'$ have the same $\varepsilon$-packing numbers and $f:X \to X'$ surjective $1$-Lipschitz, then $f$ is an isometry
Let $(X, d)$ be a compact metric space.
We say that $\{x_1, \cdots, x_n\} \subseteq X$ is an $\varepsilon$-covering of $X$ if for any $x \in X$, there exists $i \in \{1, \ldots, n\}$ such that $d(x, ...
- 835
3
votes
1
answer
107
views
Results in computational geometry utilizing doubling dimension of a metric space
According to Wikipedia,
However, many results from classical harmonic analysis and computational geometry extend to the setting of metric spaces with doubling measures.
My question is: what are some ...
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
3
votes
1
answer
233
views
Show identity for a norm on Fréchet differentiable functions on a Banach space
Let $E$ be a $\mathbb R$-Banach space, $v:E\to(0,\infty)$ be continuous with $$\inf_{x\in E}v(x)>0\tag1,$$ $r\in(0,1]$ and$^1$ $$\rho(x,y):=\inf_{\substack{c\:\in\:C^1([0,\:1],\:E)\\ c(0)=x\\ c(1)=...
- 167
3
votes
1
answer
167
views
Does the Chen-Chvátal Conjecture on metric spaces hold for maximal lines?
A conjecture by Chen and Chvátal asks for the minimum number of induced "lines" in a metric space, in the same spirit as the De Bruijn–Erdős theorem.
Though the statement of this problem on Douglas ...
- 781
3
votes
1
answer
100
views
Which posets arise from closed, transitive relations?
This a follow up question of Chain components and posets.
Let $X$ be a compact metric space and $R\subset X^2$ a closed, transitive relation. Denote by $|R|=\{x\in X: xR x\}$ the diagonal of $R$.
The ...
- 339
3
votes
0
answers
27
views
Given a metric space $X$, is there a natural way to view the quasi-isometry group $QI(X)$ as a topological group?
Given a metric space $(X,d)$, we define $QI(X)$ as the set of quasi-isometries $f : X \to X$, modulo the equivalence relation
$$
f \sim g \ \ \ \ \text{ if and only if } \ \ \ \sup_{x \in X} \ d(f(x)...
- 639
3
votes
0
answers
89
views
Loop space, parametrization equivalence and the issue of giving a topology
This question has been motivated by p.165 of this book.
As in the cited link above, we consider the following space of paraemtrized piecewise $C^1$ loops
\begin{equation}
X:= \Bigl\{ x : [0,1] \to \...
- 3,477
3
votes
0
answers
132
views
Is the Schwartz space a tame Frechet space?
I ran into the following definition of tame Frechet spaces and Nash-Moser therem.
It says that the space of smooth functions on a compact manifold is tame Frechet.
However, I wonder if
The Schwartz ...
- 3,477
3
votes
0
answers
239
views
Metrizing pointwise convergence of *sequences* of functionals in a dual space
This question was asked by myself on the math stackexchange a few days ago. I thought I'd repeat it here:
Let $X$ be a normed, real vector space of uncountable dimension. Let $X^*$ denote the set of ...
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
69
views
Is every weakly $1$-dimensional space embeddable in the plane?
A $1$-dimensional (separable metric) space $X$ is weakly $1$-dimensional if $$\Lambda(X)=\{x\in X:X\text{ is 1-dimensional at }x\}$$
is zero-dimensional (i.e. the space $\Lambda(X)$ has a basis of ...
- 3,317
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
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
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&...
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
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
165
views
Which metric spaces embed isometrically in $\ell_p$?
It is known that each metric space $X$ embeds isometrically in the Banach space
$\ell_\infty(X)$ of bounded (not necessarily continuous) functions $X \to \mathbb R$. Since $\ell_\infty(X)$ does not ...
- 1,955
3
votes
0
answers
48
views
A complete metric space with some convex-type property
Let $(X,d)$ be a complete metric space with this property:
for each $x∈X$, $r>0$ and $y∈X$ with $d(x,y)<r$, there exists $z∈X$ such that $d(x,y)+d(y,z)=d(x,z)=r$.
I want to know if the family ...
- 179
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
161
views
A characterization of Cauchy filters on countable metric spaces?
Given a filter $\mathcal F$ on a countable set $X$, consider the family
$$\mathcal F^+:=\{A\subset X:\forall F\in\mathcal F\;(A\cap F\ne\emptyset)\}.$$
The following characterization is well-known.
...
- 41.9k
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
3
votes
0
answers
150
views
Metric space has a basis countably locally finite
it is know that all metric space has a basis countably locally finite and this result is proved by using axiom of choice. Then, the natural question is: is possible to prove this result without using ...
3
votes
0
answers
277
views
For METRIZABLE spaces, do the Banach classes and Baire classes coincide?
In this paper: 'Borel structures for Function spaces' by Robert Aumann,
http://projecteuclid.org/euclid.ijm/1255631584
Aumann claims that when X and Y are metric spaces (among other things), the ...
- 456
2
votes
1
answer
139
views
Are two metric spaces isometric if they have the same $\varepsilon$-covering and $\varepsilon$-packing numbers for all $\varepsilon>0$?
Let $(X, d)$ be a compact metric space.
We say that $\{x_1, \cdots, x_n\} \subseteq X$ is an $\varepsilon$-covering of $X$ if for any $x \in X$, there exists $i \in \{1, \ldots, n\}$ such that $d(x, ...
- 835
2
votes
1
answer
236
views
A sensible topology on the space of continuous linear maps between Fréchet spaces
Let $V_1$ and $V_2$ be Fréchet spaces. Let $\{ \lVert \cdot \rVert_{1,n} \}_{n \in \mathbb{N}}$ be a family of seminorms for $V_1$ and similarly $\{ \lVert \cdot \rVert_{2,n} \}_{n \in \mathbb{N}}$ ...
- 3,477
2
votes
2
answers
297
views
Density of subsequences in Bolzano-Weierstrass
Let $(M, d)$ be a metric space and $K$ compact. It is known that $K$ is sequentially compact, so we can "run" Bolzano-Weierstrass on it.
I want to identify the set $\mathcal{F}$ of all ...
- 83
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
2
votes
1
answer
261
views
Bounded ball measure on compact metric space
Fix $c>1$. Let $(X,d)$ be a separable compact metric space, does there necessarily exist a Borel probability measure $\nu$ on $(X,d)$ such that
$\operatorname{sup}_{x \in X,r>0}\frac{\nu(\...
- 5,405
2
votes
2
answers
264
views
Existence of a Hölder-free space
The Lipschitz-free or Arens-Eells space over a pointed separable metric space $(X,0,d)$ is a well-studied object. My question is, is an analogos Hölder-free space; for a fixed Hölder constant $\alpha&...
- 5,405
2
votes
1
answer
259
views
Are two metric spaces isometric if they have the same $\varepsilon$-covering numbers for all $\varepsilon>0$?
Let $(E, d)$ be a metric space. For $\varepsilon>0$, we define two notions of $\varepsilon$-covering number as follows, i.e.,
$N_\varepsilon^o (E)$ is the smallest number of open balls whose radii ...
- 835
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 ...
2
votes
1
answer
49
views
Is any submetrizable linear topology linearly submetrizable?
Let $E$ be a vector space. A topology $\tau$ on $E$ is called (linearly) submetrizable if there is a (linear) metrizable topology $\pi$ on $E$ which is weaker than $\tau$, i.e. $\pi\subset\tau$.
Is ...
- 5,529
2
votes
2
answers
226
views
A property for maps between metric spaces
Let $X, Y$ be metric spaces with distance functions denoted by $d_X, d_Y$ respectively. Consider a map $f \colon X \rightarrow Y$. I am interested in the following property: for every $x,y,z \in X$, ...
- 327
2
votes
1
answer
336
views
Complex Borel measures: does $\mu_n \to \mu$ weakly imply $|\mu|(\Theta) \le \liminf_n |\mu_n|(\Theta)$ for every open subset $\Theta$?
Let
$\Omega$ be a metric space,
$C_b(\Omega)$ the space of all real-valued bounded continuous functions on $\Omega$, and
$\mathcal{M}(\Omega)$ the space of all finite signed Borel measures on $\Omega$...
- 657
2
votes
1
answer
113
views
Continuous inclusion of metric spaces of smaller capacity
If $(X,d_X)$ is a compact metric space, and $(Y,d)$ is another metric space. Moreover, suppose that the metric capacity of $(Y,d)$ is at-least that of $(X,d_X)$, that is
$$
\kappa_X(\epsilon)\leq \...
- 5,405
2
votes
2
answers
620
views
A metric associated with a continuous surjective map $f:X\to Y$
Assume that $f:(X,d_{1})\to (Y,d_{2})$ is a continuous surjective map between compact metric spaces. We define another
metric $d_{f}$ on $Y$ With $$ d_{f}(y_{1},y_{2})=Hd(f^{-1}(y_{1}), f^{-1}(...
- 356
2
votes
1
answer
139
views
Is there any standard procedure to properly define a composite metric?
For example, space $A$ has a metric $\rho$, and its subspace $B\subset A$ has a metric $d$, which happens to have much better properties than $\rho$.
So if $x_{1},x_{2}\in A\setminus B$, but they are ...
- 357
2
votes
1
answer
396
views
Manhattan distance vs. absorption time on an unbounded integer lattice
Imagine I have unbounded $d$-dimensional integer lattice where I take two vertices, $v_a$ and $v_b$, separated by a fixed Manhattan distance $L$, and I release a random walker at $v_a$ and allow for ...
- 173
2
votes
2
answers
142
views
Is completion of measures equivalent to completion of sigma algebras as metric spaces with respect to measures?
An alternative way to get the Lebesgue $\sigma $-algebra $\mathcal{L} $ from the Borel algebra $B$ is to set $E\sim J$ iff $d(E,J):=\lambda(E\mathbin\Delta J)=0$ for $E,J\in B$. Then the completion of ...
- 85
2
votes
1
answer
162
views
A topological characterization of trees?
Motivated by this complex dynamics question:
Let $X$ be a compact, path-connected metric space. Suppose there exist an integer $N\geq 2$ and distinct points $p_1,\dots,p_N\in X$ such that no proper ...
- 3,599
2
votes
1
answer
79
views
Hausdorff-Lipschitz continuity of cone correspondence
Let $\mathbb{R}_+$ denote the strictly positive real numbers, let $\mathcal{X} \subset \mathbb{R}^n$ and $\mathcal{P} \subset \mathbb{R}^m$ be compact and convex subsets, let
\begin{equation}
f: \...
- 55
2
votes
2
answers
231
views
$(1+\epsilon)$-bilipschitz parametrization of Lipschitz manifold
Let $\mathscr{H}^m$ be the $m$ dimensional Hausdorff measure in $\mathbb{R}^n$, $m\leq n$. Is it true that for $\mathscr{H}^m$-almost every point $p$ on a Lipschitz manifold $M$ of dimension $m$ ...
- 1,149
2
votes
1
answer
378
views
Gromov-Hausdorff distance between weighted tree graphs
I would like to measure the similarity between a pair of weighted tree graphs. According to this post, this can be done by regarding the trees as metric spaces and then applying the Gromov-Hausdorff ...
- 23
2
votes
1
answer
84
views
Spatial dimension of a finite graph
If $(X,d)$ is a metric space, we associate with it a simple, undirected graph, called its proximity graph $G(X,d)$ given by $V(G(X,d)) = X$ and $$E(G(X,d)) = \big\{\{x,y\}:x\neq y\in X \text{ and } d(...
- 48.9k
2
votes
1
answer
177
views
Takahashi minimization theorem for lower pseudo-continuous functions on complete metric spaces
Takahashi minimization theorem says : Let $(X,d)$ is a complete metric space, $f:X\to \mathbb{R}\cup\{+\infty\}$ is a proper(not constantly +$\infty$) lower semi continuous function, which is bounded ...
- 179