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

418 questions
Filter by
Sorted by
Tagged with
827 views

• 291
44 views

• 177
1k views

• 101
1 vote
29 views

### Can we modify this extended pseudometric such that its convergence is equivalent to that in measure?

Below we use Bochner measurability and Bochner integral. Let $(X, \mathcal A, \mu)$ be a complete $\sigma$-finite measure space, $(E, | \cdot |)$ a Banach space, $S (X)$ the space of $\mu$-simple ...
• 647
291 views

### Best way to hang a lampshade

I have a lampshade which looks like a demi-sphere but with irregular border. The goal is to hang it to the ceiling so that the border looks as horizontal as possible. In order to formalize this, let ...
• 1,291
1 vote
81 views

### Is this metric on the space of $\mu$-measurable functions complete?

Below we use Bochner measurability and Bochner integral. Let $(X, \mathcal A, \mu)$ be a complete finite measure space, $(E, | \cdot |)$ a Banach space, $S (X)$ the space of $\mu$-simple functions ...
• 647
180 views

### Bi-Lipschitz embeddings of compact doubling spaces

Suppose that $(X,\rho)$ is a compact doubling metric space. Does there necessarily exist an $\epsilon>0$ and a maximal $\epsilon$-net $\{x_i\}_{i=1}^n\subseteq X$ such that the map  \begin{...
• 4,809
44 views

### Complexity for determining whether a given metric space is hyperconvex?

Suppose I am given a finite metric space as a distance matrix. What is the complexity of determining whether this metric space is hyperconvex? Definition: A metric space is said to be hyperconvex if ...
1 vote
160 views

### Billingsley convergence of probability measures - inequality used in Theorem 2

On Page 8, Billingsley defines $f(x)=(1-\rho(x,F)/\epsilon)^{+}$ where $\rho(x,F)$ is the metric distance from the set $F$. He then states $|f(x)-f(y)|\leq \rho(x,y)/\epsilon$ and goes on to use this ...
• 19
1 vote
120 views

### Absolute continuity of the volume growth in a metric space

Let $(M,d)$ be a metric space (separable, complete, better?) and let $\mu$ be a ($\sigma$-additive, positive, locally finite, regular?) Borel measure on $M$. For $x\in M$ consider the volume growth ...
• 1,939
1 vote
87 views

### Expected value of the projective metric between random orthogonal Stiefel matrices in $\mathbb{R}^{N \times k}$ equals $1 - \frac{k}{N}$

This is a cross-post from this other question that I asked ~1 month ago in the mathematics forum, with no reaction. I am still stuck on this, looking for references or approaches to proofs. I hope I ...
• 113
59 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 ...
102 views

### Is this a smooth approximation to the $\ell$-infinity distance actually a quasi-metric?

The $\|\cdot\|_{\infty}$-norm on $\mathbb{R}^n$ for $n\in \mathbb{Z}^+$ is not a smooth function. However, I came across this post which essentially says that a pointwise approximation to the maximum ...
46 views

### The world of non-weak*-topologies on $\mathcal{P}(X)$

Let $X$ be a metrizable space and consider $\mathcal{P}(X)$, the set of all probability measures on $X$. Typically, the weak*-topology is considered on $\mathcal{P}(X)$, which is a very natural ...
• 419
Let $p>0$ and consider a metric space $(X,d)$. I have recently come across a problem where the space $(X,d^q)$ provides is natural; where $q>1$. However, the triangle inquality break (i.e. it ...
### Maximal cliques in neighborhood graphs of partial $k$-trees (bounded treewidth)
Background My question is about a generalization of the following situation: Let $M$ be a finite metric space. Given $r>0$, the $r$-neighborhood graph $N(M)_r$ has vertex set $M$ and an edge \$\{x,y\...