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

Filter by
Sorted by
Tagged with
12
votes
0answers
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
1answer
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
1answer
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
0answers
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
0answers
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
3answers
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
0answers
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
2answers
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
1answer
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
5answers
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
0answers
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
0answers
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
2answers
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
0answers
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
1answer
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
1answer
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
1answer
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
1answer
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
1answer
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
1answer
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
2answers
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
1answer
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
0answers
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
1answer
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
0answers
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
0answers
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
4answers
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
4answers
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
1answer
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
2answers
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
0answers
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
0answers
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
1answer
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
1answer
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
1answer
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
1answer
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
0answers
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
0answers
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
1answer
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
1answer
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
5answers
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
0answers
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
1answer
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
1answer
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
3answers
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
0answers
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
1answer
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
0answers
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
1answer
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
1answer
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 $...

1
2 3 4 5