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

244 questions
Filter by
Sorted by
Tagged with
0answers
46 views

0answers
89 views

### Simplify Kantorovich–Rubinstein duality when distributions share a common marginal

Consider the product of two metrical spaces $X\times Y$ and two probability distributions $\mu$ and $\nu$ on this product space. By the Kantorovich-Rubinstein duality I know that I can write the ...
1answer
186 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)$. ...
0answers
81 views

### Continuous extension preserving modulus of continuity

Let $X$ be a (non-empty) compact subset of $D(0,M):=\left\{x\in \mathbb{R}^n:\, \|x\|\leq M\right\}$, and let $f:X\rightarrow Y$ be uniformly continuous; for some metric space $Y$. Are there any ...
1answer
145 views

### Is there a theory of partially-defined metric spaces?

Is there a theory of metric spaces in which the distance between a given pair of points need not be defined? I'm aware that there is a theory of partial metric spaces, but these deal with a different ...
2answers
249 views

0answers
184 views

### Is every Baire metric space a complete metric space in disguise?

I am currently giving lectures in real analysis and a student asked an interesting question I couldn't answer, so I'm posting it here: Let's say that a metric space $X$ is Baire if every countable ...
1answer
44 views

### What is sequential boundary of a $\delta$-hyperbolic space and how is the Gromov product extended to the boundary?

I have been reading up on $\delta$-hyperbolic spaces. But I am not getting a clear idea of sequential boundary of $\delta$-hyperbolic spaces and how the Gromov product is extended to it. Could ...
1answer
182 views

### A rather non-$F_\sigma$ Borel set

I asked this question at MSE a week ago, but received no answer, so I cross-post it here. I obtained a negative answer to this MSE question provided each metric space $X$ such that $|X|=\frak c$ and ...
1answer
219 views

### What is the quotient (pseudo)metric $d_\sim$ and how do I identify the infimum of possible sequences in this instance?

Let $Z$ be the the set of dyadic and ternary rationals in the interval $\left[\frac12,1\right)$ whose 3-adic valuation is either $-1$ or $0$, with the standard absolute value topology inherited from ...
0answers
108 views

1answer
108 views

### Domains in $\mathbb{R}^n$ for which Hajlasz-Sobolev spaces and Sobolev Spaces are the same

I'm reading Heinonen's book on metric measure spaces. He writes that for general domains $\Omega \subset \mathbb{R}^n$, $M^{1,p}(\Omega) \subset W^{1,p}(\Omega)$ where the former are Hajlasz-Sobolev ...
0answers
100 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 ...
0answers
41 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 ...
0answers
152 views

### For which classes of metric spaces can we prove that quasi-isometry is an equivalence relation in ZF?

Given two metric spaces $(M_1, d_1)$ and $(M_2, d_2)$, a map $\phi \colon (M_1, d_1) \to (M_2, d_2)$ is a large-scale Lipschitz essentially surjective map if there exist constants $A \geq 1, B \geq 0$,...
1answer
102 views

### When is the internal covering number of a metric space monotonic?

Given a radius $r > 0$, the internal covering number of a subset $T$ of a metric space $(X, d)$ is denoted $N_r(T)$ and is defined to be the smallest number of balls of radius $r$ (under $d$) with ...
1answer
315 views