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)$.
414
questions
1
vote
1
answer
221
views
Defining area / n-volume of a finite metric space
Let $(X, d)$ be a finite metric space. I've seen several answers to the question when can $X$ be isometrically embedded into Euclidean space (or, more generally, Riemannian manifold). I'm interested ...
4
votes
1
answer
96
views
Generalization of a bounded variation
Let $(X, d)$ be a metric space. We will say that $\gamma \colon [a,b] \to X$ is of bounded variation, if
\begin{equation}
V(\gamma) = \sup_{a=t_0 < \cdots < t_n < b} \sum_{i=1}^n d( \gamma(...
1
vote
0
answers
61
views
What's the best arrangement of solid objects for providing shade?
Let's say we have a horizontal roof and the sun is going to go from 0 to some number of degrees on the horizon. We wish to arrange solid objects above the roof to completely block out the sun across ...
1
vote
0
answers
46
views
Metrics on paths in digraphs
I'm looking for metrics (or even just symmetric dissimilarities) on finite paths in finite digraphs but not finding anything in the literature. Can anyone point me to references?
I've looked in Deza ...
2
votes
0
answers
71
views
Is there a literature name for this concept of a "graded metric"?
Given a space $X$, I have been thinking about a function $d\colon X \times X \times \mathbb{N} \to \mathbb{R}_{\geq 0}$ (i.e. with values that are nonnegative reals) with the properties below. One may ...
1
vote
1
answer
110
views
Changing a metric to that 2 points have different distance
Let $X$ be a compact metric space. Assume that $X$ has more than $2$ points (or even better, that $X$ is connected with more than 1 point). Given a metric $d$ on $X$ we define $$d(x,X)=\max\{d(x,z):z\...
2
votes
0
answers
112
views
Regularity of $\sigma$-finite measure pushforwarded by completion
Let $(X, d)$ be a metric space. Let $\mu$ be a $\sigma$-finite measure defined on borel subsets of $X$. Let $i \colon X \to \hat{X}$ be an isometry on image, where $\hat{X}$ is a complete metric space ...
3
votes
1
answer
126
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, ...
2
votes
1
answer
131
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, ...
2
votes
1
answer
229
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 ...
4
votes
1
answer
258
views
Is every 1-Lipschitz homeomorphism $f:X\to X$ from a compact metric space to itself an isometry?
I found a statement involving a homeomorphism $f:X\to X$ of a compact metric space $X$, with Lipshitz coefficient 1, i.e., a non-expansive map, and cannot think of an example where $f$ is not an ...
3
votes
1
answer
138
views
Is this map (from the space of probability densities to the Wasserstein space) Lipschitz?
Let $p \in [1, \infty)$. Let $\mathcal P_p(\mathbb R^d)$ be the space of all Borel probability measures on $\mathbb R^d$ with finite $p$-th moments. Let $D_p$ be the collection of all Borel measurable ...
15
votes
1
answer
672
views
Is the topology generated by this weaker notion of a metric necessarily metrisable?
The triangle inequality seems much stronger than necessary for a lot of analysis. So I will define a "loose metric" on a set $X$ to be a function $d \colon X \times X \to [0,\infty)$ with ...
0
votes
1
answer
78
views
Can a measure on a finite metric space be Alhfors regular?
Recall that a probability $\mu$ measure on a metric space $(X,d)$ is called Ahlfors $q$-regular if there are $0<c\le C$ such that: for $\mu$-a.e.\ $x\in X$ one has
$$
cr^q \le \mu(B(x,r)) \le Cr^q,
...
6
votes
0
answers
106
views
A generalized Hausdorff dimension in form of a Lower semi continuous function
Let $(X,d)$ be a compact metric space. Assume that $f:X\to \mathbb{R}$ is a positive continuous function. We say that the $f$-dimension of $(X,d)$ is equal to $0$ if for every $\epsilon>0$ ...
1
vote
0
answers
156
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 ...
2
votes
0
answers
204
views
Chess pieces metrics in higher dimensions
A couple of days ago, I was thinking about applying the knight (the well-known piece of chess) metric to any cubic lattice $\mathbb{N}^k$, $k \in \mathbb{N}-\{0,1\}$.
I suddenly realized that, from $k ...
2
votes
1
answer
103
views
Lipschitz maps with Hölder inverse preserve the doubling property
Let $K$ be a compact doubling metric space, $X$ be a metric space and $f:K\rightarrow X$ be Lipschitz with $\alpha$-Hölder inverse, where $0<\alpha<1$. Does $f(K)$ need to be doubling?
0
votes
0
answers
129
views
Cyclic group action and finite invariant set
Let $(X, d)$ be a compact metric space and $G$ a discrete group acting on $X$ such that, for each $g\in G$, the mapping $x\mapsto g\cdot x$ defines a homeomorphism on $X$
Is it true that the ...
1
vote
1
answer
150
views
Right-continuity of covering number
Consider an ambient metric space $(\mathcal{X},\Vert\cdot\Vert_\infty)$. Let $\mathcal{B}_1 = \mathcal{B}_{\Vert\cdot\Vert_K}(0,1)\subseteq\mathcal{X}$ be the closed unit ball with respect to some ...
1
vote
1
answer
269
views
Bilipschitz embedding of the unit ball of $c_0$ into $\ell_1$
This is a follow-up to this question of mine.
It is well-known that the Banach space $\ell_1$ does not contain any isomorphic copies of $c_0$. One can even go further and show that $\ell_1$ does not ...
1
vote
1
answer
172
views
What properties are preserved by quasi-isometries
Recently, I came across the notion of quasi-isometries, while thinking of "discrete spaces which are surrogates for approximate continuous ones".
What (metric)/geometric properties are ...
2
votes
0
answers
106
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 \...
1
vote
1
answer
102
views
Does the topology of Wasserstein space $(\mathcal P_p (E), W_p)$ coincide with the initial topology induced by $\mathcal C_b(E) \cup \{g_p\}$?
Let $(E, d)$ be a Polish space and $\mathcal C_b(E)$ the space of all real-valued bounded continuous functions on $E$. Let $p \in [1, \infty)$ and $\mathcal P_p (E)$ the space of all Borel probability ...
1
vote
1
answer
90
views
Conditions that ensure the metric topology of $E$ coincides with the initial topology induced by a collection of real-valued functions on $E$
Let $(E, d)$ be a metric space and $\mathcal F$ a collection of real-valued functions on $E$. Assume that for all $x,x_n \in E$ with $n\in \mathbb N$,
$$
x_n \to x \iff [f(x_n) \to f(x) \quad \forall ...
1
vote
1
answer
196
views
Optimal transport: the existence of an optimal pair of $c$-conjugate functions
$\newcommand{\diff}{ \, \mathrm d}$
Let
$X,Y$ be Polish spaces,
$\mathcal C_b(X)$ the space of all real-valued bounded continuous functions on $X$,
$\mathcal P(X)$ the space of Borel probability ...
2
votes
0
answers
83
views
A variant of disintegration theorem where the assumptions on $f$ and $g$ are exchanged
I have recently read about about disintegration theorem, i.e.,
Disintegration theorem Let
$X$ be a Polish space, $\mathcal X$ its Borel $\sigma$-algebra, and $\mu$ a Borel probability measure on $X$...
5
votes
0
answers
155
views
Does "achieving more GH-distances than some compact space" imply compactness?
Previously asked and bountied at MSE:
For complete metric spaces $X,Y$, write $X\trianglelefteq Y$ iff for every complete metric space $Z$ such that the Gromov-Hausdorff distance between $X$ and $Z$ ...
4
votes
2
answers
184
views
Reference request: "Tangent relation" in metric spaces
Let $X,Y$ be metric spaces. Let $f,g : X \to Y$ be two maps and $x_0 \in X$. Let us say that $f$ and $g$ are tangent at $x_0$ if the following condition is satisfied: For every $\epsilon > 0$ there ...
0
votes
1
answer
182
views
A generalization about the density of $\mathcal C_c(X, E)$ in $\mathcal L_p (X, \mu, E)$ when $E$ is a Banach space
Let $X$ be a metric space, $\mu$ a $\sigma$-finite non-negative Borel measure on $X$, and $(E, |\cdot|)$ a Banach space. Let $\mathcal L_p := \mathcal L_p (X, \mu, E)$ and $\|\cdot\|_{\mathcal L_p}$ ...
2
votes
1
answer
298
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$...
0
votes
1
answer
188
views
Complex Borel measures: relation between the total variation norm of a measure and those of its real and imaginary parts
Let $X$ be a metric space and $\mathcal B$ its Borel $\sigma$-algebra. For $B \in \mathcal B$ we denote by $\Pi(B)$ the collection of all finite measurable partitions of $B$, i.e.,
$$
\Pi(B)=\left\{\...
4
votes
2
answers
324
views
Vague convergence: confusion about the regularity of a signed Radon measure and that of its variation
I'm reading a proof of below theorem from this paper.
Theorem A.3. Let $\Omega$ be a locally compact normal Hausdorff space. Let $\left\{\mu_n\right\} \cup\{\mu\} \subset \mathcal{M}(\Omega)$ and ...
3
votes
1
answer
103
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 ...
0
votes
0
answers
64
views
Let $E$ be Banach, $\mu_n\to\mu$ weakly on a locally compact $X$, and $f \in C_b(X, E)$. Does $\int f\mathrm d\mu_n\to\int f\mathrm d\mu$ in norm?
Let
$X$ be a metric space,
$(E, |\cdot|)$ a Banach space
$\mathcal M(X)$ the space of all finite signed Borel measures on $X$,
$\mathcal C_b(X)$ be the space of real-valued bounded continuous ...
1
vote
0
answers
303
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 ...
1
vote
1
answer
54
views
Are there some conditions on a metric space $X$ such that these two types of weak converge of finite signed Borel measures on $X$ are related?
Let
$X$ be a metric space,
$\mathcal M(X)$ the space of all finite signed Borel measures on $X$, and
$\mathcal C_b(X)$ be the space of real-valued bounded continuous functions on $X$.
Then $\mathcal ...
6
votes
1
answer
222
views
Expected doubling constant of a random Erdős–Rényi graph
Consider the $G(n,p)$ random graph model where $n$ is a ``large'' positive integer and $p\in (0,1)$. We may equip every realized random graph $G$ with its shortest path distance, making it into a (...
6
votes
1
answer
272
views
Extending a partially defined metric on a metrizable space
Let $X$ be a metrizable topological space, $A\subseteq X\times X$ a nonempty closed subset which is reflexive, symmetric and transitive, $d:A\to \mathbb{R}_+$ a continuous function that satisfies the ...
8
votes
4
answers
600
views
Uniform density of Lipschitz maps is space of continuous function — for general metric spaces
Let $X$ and $Y$ be metric space, $X$ be compact, $C(X,Y)$ denote the set of continuous functions from $X$ to $Y$ with uniform convergence on compacts topology, and $\operatorname{Lip}(X,Y)$ denote the ...
4
votes
0
answers
394
views
Disintegration of measures: a confusion about an existence proof from a lecture note
I'm reading a proof of Theorem 2.25 below from this note. First, we recall a definition and a theorem, i.e.,
Theorem 2.25 (Disintegration). Let $\left(Z, d_Z\right)$ and $\left(X, d_X\right)$ be ...
1
vote
1
answer
78
views
How to find the point at minimal average distance of a given measure
Given a compactly supported probability measure $m$ on $\mathbb{R}^n$, we can define its average distance to a point $x$ as $\int_\mathbb{R^n}d(x,y)dm(y)$. In this question I found that for a given ...
6
votes
1
answer
217
views
m-point-homogeneous, but not (m+1)-point-homogeneous
It is straightforward to check that the discrete cube $Q=\{0,1\}^n$ with $\ell^1$-metric is 3-point-homogeneous, but not 4-point-homogeneous (assuming $n$ is large).
In other words, if $A\subset Q$ ...
4
votes
1
answer
149
views
Extending a metric in a bi-Lipschitz way
Suppose we are in the following situation: $(X,d)$ is a metric space and $Y$ is a subspace of $X$. Furthermore we have a different metric $\delta$ defined on $Y$ such that $\delta$ is bi Lipschitz ...
0
votes
1
answer
60
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 $< \...
3
votes
1
answer
239
views
Partitioning a smooth manifold into geodesically convex sets
Let $X$ be a connected and compact $d$-dimensional smooth manifold; where $d$ is a positive integer. Does (or rather, when does) there exist a metric $\rho$ on $X$ generating $X$'s topology and a ...
3
votes
1
answer
132
views
"Geodesic coherent" partition of a graph
Let $G=(V,E)$ be a finite undirected graph which we equip with its usual graph geodesic distance $d_G$ making $(G,d_G)$ into a metric space; let $1<\#V<\infty$. For a given $1<N< \#V$ ...
2
votes
0
answers
101
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 ...
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}} =...
2
votes
2
answers
198
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$ ...