# 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)$.

207
questions

**12**

votes

**0**answers

147 views

### Hopping geodesics

Is there a complete metric space $X$ with the following property?
For any pair of points $p,q\in X$ there is unique minimizing geodesic $[pq]_X$ that connects $p$ to $q$, but the map $(p,q)\mapsto [...

**0**

votes

**1**answer

57 views

### Example of a nonconvex Chebyshev set in a metric space with continuous projection?

Question: Is there an example of a nonconvex Chebyshev set $S$ in a metric space $(X,d)$ whose projection map is continuous?
For convexity to be well-defined, we need to assume that $X$ is a vector ...

**0**

votes

**1**answer

33 views

### separable support of Borel measure, with tau-additive measure and full support

I have a problem with Proposition 7.2.10 in Bogachev's Measure Theory Volume II book on page 77 (I have link to my drive with that book https://drive.google.com/file/d/...

**7**

votes

**0**answers

253 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 ...

**3**

votes

**0**answers

55 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 ...

**10**

votes

**3**answers

3k 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 ...

**8**

votes

**0**answers

238 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 --- ...

**6**

votes

**2**answers

234 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 ...

**1**

vote

**1**answer

116 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 ...

**30**

votes

**5**answers

1k views

### Trigonometry / Euclidean Geometry for natural numbers?

Let $d(a,b) = 1 - \frac{2\gcd(a,b)^3}{ab(a+b)}$ be a metric on natural numbers without $0$.
The metric space $X = \{x_0,x_1,\cdots,x_n\},n>2$ is isometric embeddable in $\mathbb{R}^n$ if and only ...

**10**

votes

**0**answers

588 views

### Two questions around the $abc$-conjecture

Let $d(a,b) = 1-\frac{2 \gcd(a,b)}{a+b}$, $d_{ABC}(a,b) = 1-\frac{2\gcd(a,b)^3}{ab(a+b)}$ be two metrics on natural numbers.
The abc-conjecture can be formulated using these two metrics as:
For ...

**7**

votes

**0**answers

143 views

### Composition of couplings as a pullback construction

A metric measure space $(X,d,\mu)$ consists of a metric space $(X,d)$ together with a Borel measure $\mu$. A coupling between metric measure spaces $(X_1,d_1,\mu_1)$ and $(X_2,d_2,\mu_2)$ consists of ...

**5**

votes

**2**answers

507 views

### Is the Hausdorff metric on sub-$\sigma$-fields separable?

Let $(X,\mu,\mathcal{F})$ be a probability space. The paper Equiconvergence of Martingales by Edward Boylan introduced a pseudometric on sub-$\sigma$-fields (sub-$\sigma$-algebras) of $\mathcal{F}$ ...

**0**

votes

**0**answers

90 views

### Upper-bound on optimal transport distance between uniform distribution on balls in metric space

Context: I'm studying the so-called "Ollivier-Ricci curvature theory" (e.g see this ref). I'm particularly interested with how concentration of measure (in particular, in the sense of the Otto-Villani ...

**1**

vote

**1**answer

103 views

### Restriction of non-metrizable topology to dense subset is non-metrizable

Let $(X,\tau)$ be a non-metrizable topological space which is not first-countable and let $\emptyset \neq Y\subset X$ be a proper dense subset. Is it possible for $(Y,\tau_Y)$ (where $\tau_Y$ is the ...

**1**

vote

**1**answer

136 views

### Comparing $(((A^\varepsilon)')^\varepsilon)'$ and $int(A)$, where $A' := X\setminus A$ and $A^\varepsilon := \{x \in X \mid d(x,A) \le \varepsilon\}$

Disclaimer. This is follow up to the question https://math.stackexchange.com/q/3486130/168758.
Let $X=(X,d)$ be a Polish metric space equiped with the Borel $\sigma$-algebra and let $\mu$ be a ...

**0**

votes

**1**answer

88 views

### Topologies and Borel $\sigma$-fields on disjoint unions

Consider a set of functions $\mathcal{F}$ on $E$ where $E \subset\mathbb{R}^k$ - e.g. the class of $L_1$ functions on $[0,1]$ - and endow it with a suitable metric $d$ that makes it Polish.
Consider ...

**1**

vote

**1**answer

102 views

### Criteria for $\epsilon$-Density

Let $Y$ be a compact, separable metric space and $X=C(Y)$ Banach space. There are many criteria for a linear subspace $Z\subseteq X$ to be dense; notably the Stone-Weierstraß theorem.
Are there ...

**4**

votes

**1**answer

264 views

### Greedy simplices in an ultrametric space (generalized Bhargava $p$-orderings)

Let $\left(U, d\right)$ be a finite ultrametric space -- that is, $U$ is a finite set, and $d : U \times U \to \mathbb{R}_{\geq 0}$ is a metric on $U$ such that every $x, y, z \in U$ satisfy $d\left(x,...

**0**

votes

**1**answer

100 views

### A closed subset $B$ of the Hilbert cube such that $\operatorname{Int}(B) = \emptyset$ and $B$ is not a z-set

$\def\cube{\mathbf Q}$Let $\cube$ be the Hilbert cube. Give an example of a closed subset $B$ of $\cube$ such that $\operatorname{Int}(B) = \emptyset$ and $B$ is not a z-set.
If anyone has any idea ...

**10**

votes

**2**answers

234 views

### Which points in the Samuel compactification of a metric space $X$ are limits of uniformly discrete subsets of $X$?

Given a metric space $(X.d)$ the Samuel compactification of $X$, written $sX$, is the unique compactification with the property that if $Y$ is an arbitrary compact Hausdorff space and $f:X\rightarrow ...

**1**

vote

**1**answer

71 views

### Dense $G_{\delta}$ set with $\sigma$-porous complement is cofinite?

Let $X$ be a separable Banach space and $D\subseteq X$ be a
proper, connected, and dense $G_{\delta}$ subset of $X$,
$X-D$ is $\sigma$-porous.
Then is $X-D$ contained in a finite-dimensional ...

**1**

vote

**0**answers

77 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 ...

**1**

vote

**1**answer

180 views

### Known Lipschitz-free spaces

The Lipschitz-Free space (also known as Arens-Eells spaces) $\mathcal{F}(X,d)$ over a pointed metric space $(X,d)$ is a well-studied object. In many instances, we have "concrete" representations of ...

**4**

votes

**0**answers

61 views

### universal 0-dimensional separable metric subspaces

Let $\ \mathscr U:=(U\ \delta)\ $ be a separable metric space which is universal for all finite metric spaces, i.e. for every finite metric space $ \mathscr X:=(X\ d)\ $ there
exists an isometric ...

**0**

votes

**0**answers

24 views

### A separable metric space barely metrically universal for metric compact spaces

Let $\ \mathscr U:=(U\ \delta)\ $ be an arbitrary separable metric space which is universal for all metric compact spaces, i.e. for every compact space
$\ \mathscr X:=(X\ d)\ $ there exists an ...

**22**

votes

**4**answers

1k views

### A reinterpretation of the $abc$ - conjecture in terms of metric spaces?

I hope it is appropriate to ask this question here:
One formulation of the abc-conjecture is
$$ c < \text{rad}(abc)^2$$
where $\gcd(a,b)=1$ and $c=a+b$. This is equivalent to ($a,b$ being ...

**7**

votes

**4**answers

1k views

### Is the space of Radon measures a Polish space or at least separable?

Background: I work on a SPDE problem where in order to apply Prokhorov's theorem I need that some measure space is Polish space. And additionaly it would be good if that space is Banach space. Earlier ...

**3**

votes

**1**answer

123 views

### Is this sum of nonexpansive maps itself nonexpansive?

For Hilbert spaces $\mathcal{H}_X$, $\mathcal{H}_Y$ and $\mathcal{K}$, consider a linear map $f\colon \mathcal{K} \oplus \mathcal{H}_X \to \mathcal{K} \oplus \mathcal{H}_Y$ that is given as a matrix
$...

**4**

votes

**2**answers

237 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&...

**0**

votes

**0**answers

31 views

### Skorohod Space with $J_1$ topology homeomorphic to Frechet Space

Is the Skorohod space $D([0,T];\mathbb{R}^d)$ equipped with the $J_1$ topology homoeomorphic to a separable Fr\'{e}chet space. In particular, is it homeomorphic to $L_{\mu}^1(\mathcal{B}([0,1])$ ...

**5**

votes

**0**answers

71 views

### Rough classification of Peano Curves

By Peano curve I mean a continuous map from the unit interval that fills the unit square in $\mathbb R^2$.
In the paper:
Shchepin, E. V.; Bauman, K. E., Minimal Peano curve, Proc. Steklov Inst. Math....

**1**

vote

**1**answer

69 views

### Continuous Left-inverse of Dirac Lipschitz-Free Space

Let $X$ be a separable pointed metric space and let $AE(X)$ denote the corresponding Lipschitz-Free (or Arens-Eells space) over $X$. The point-evaluation map $\delta:X\mapsto AE(X)$ is injective ...

**7**

votes

**1**answer

179 views

### Reference: Hajlasz-Sobolev Spaces with Values in a Metric Space

Let $(X,d,\mu)$ be a separable metric measure space on which every ball has positive but finite measure.
I've come across the definition of a homogeneous Fractional Hajlasz-Sobolev spaces $M^{s,p}(...

**3**

votes

**1**answer

121 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(\...

**2**

votes

**1**answer

58 views

### Lower Estimate of A Lipschitz Map

Suppose that $(X,d_X)$ and $(Y,d_Y)$ are complete doubling metric spaces and let $f:X\rightarrow Y$ be a non-constant Lipschitz map. Then can does there exist a lsc function
$\rho:(0,\infty)\...

**5**

votes

**0**answers

70 views

### Fractional Hajłasz-Besov-like similar to the Korevaar-Schoen-Sobolev spaces?

Suppose that $(X,\mu,d)$ and $(Y,\nu,\rho)$ are doubling metric measure spaces. Fix $\alpha>0$ and define the space, analogously to this paper, as the collection of all measurable functions $f:X\...

**0**

votes

**0**answers

60 views

### Contractable and Simply Connected Doubling Spaces Homeomorphic to Euclidean Space

Is there a characterization of all simply connected, contractable doubling metric spaces which are homeomorphic to a simply connected subset of Euclidean space?

**1**

vote

**1**answer

88 views

### When are Carnot groups negatively curved and homeomorphic to Euclidean space

When are Carnot groups complete and negatively curved (in the sense of $CAT(\kappa)$ spaces)?

**2**

votes

**1**answer

288 views

### Proving that family of sets has non-empty intersection

Let's say I have an object which can be viewed as family of sets $\mathfrak{S} \subseteq 2^S$, and I want to prove that its intersection is non-empty. What is known already:
$S$ is set of measurable ...

**11**

votes

**5**answers

3k views

### Measure of the support of a Borel probability on a metric space

Does the support of a Borel probability measure always have full measure in a metric space?
I know this is true for separable metric spaces, and locally compact metric spaces. Is it true in general?

**0**

votes

**0**answers

54 views

### Closure Wasserstein for pointmasses

Suppose that $(X,d)$ is a metric space which is (not necessarily) complete and let $W_1(X)$ denote the Wasserstein metric space on $(X,d)$. Let $\{\delta_x\}_{x \in K}$ is a collection of degenerate ...

**6**

votes

**1**answer

303 views

### Analogy between metric space completion and algebraic closure

I've noticed some similarities between the story of completing a metric space and taking algebraic closure of a field. My question is whether these two stories can be generalized.
Metric space
Fix a ...

**0**

votes

**1**answer

80 views

### If a function follows another one's range order, can we say it follows some continuity properties?

Suppose that $(X,d)$ be a complete metric space, $f:X \to \mathbb{R}$ is a sequentially lower monotone function. Let $g: X \to \mathbb{R}$ be a function with the property: $f(x)\leq f(y) \Rightarrow g(...

**29**

votes

**3**answers

1k views

### What is the structure preserved by strong equivalence of metrics?

Let $X$ be a set. Then we can define at least three equivalence relations on the set of metrics on $X$. We say that two metrics $d_1$ and $d_2$ are topologically equivalent if the identity maps $i:(...

**1**

vote

**0**answers

39 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 ...

**4**

votes

**1**answer

428 views

### (non) separability of the power set

Suppose that $(X,2^X)$ is equipped with a non-atomic probability measure $\mu$ (the existence of such spaces is consistent with ZFC). This induces the $L_1$ pseudometric $\Delta$ on $2^X$, via
$\...

**1**

vote

**0**answers

48 views

### Continuous injection of metric ball into Euclidean ball

This is a follow-up to this post.
Suppose that $(X,d_X)$ is a compact metric space with (finite) metric-capacity, defined by
$$
\kappa_X(\epsilon)\triangleq\sup\left\{
k : \exists x_0,\dots,x_k \...

**1**

vote

**1**answer

92 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 \...

**4**

votes

**1**answer

324 views

### Spreading $n$ points in $\{0,1\}^n$ as far as possible

Given a positive integer $n$, the Hamming distance $d^H_n(x,y)$ of $x,y\in \{0,1\}^n$ is defined by $$d^H_n(x,y) = |\{k\in\{0,\ldots,n-1\}: x(k)\neq y(k)\}|.$$
We say that a positive integer $s$ is $...