All Questions
16
questions
9
votes
2
answers
441
views
Proving the inequality involving Hausdorff distance and Wasserstein infinity distance
Prove the inequality
$$d_{H}(\mathrm{spt}(\mu),\mathrm{spt}(\nu))\leq W_{\infty}(\mu,\nu)$$
where $d_H$ denotes the Hausdorff distance between the supports of the measures $\mu$ and $\nu$, and $W_\...
- 99
6
votes
1
answer
478
views
A characterization of metric spaces, isometric to subspaces of Euclidean spaces
I am looking for the reference to the following (surely known) characterization of metric spaces that embed into $\mathbb R^n$:
Theorem. Let $n$ be positive integer number. A metric space $X$ is ...
- 41.1k
7
votes
1
answer
313
views
A metric characterization of Hilbert spaces
In the Wikipedia paper on Hadamard spaces, it is written that every flat Hadamard space is isometric to a closed convex subset of a Hilbert space. Looking through references provided by this Wikipedia ...
- 41.1k
13
votes
0
answers
730
views
Covering number estimates for Hölder balls
Let $\alpha \in (0,1]$, $r>0$ and $L>0$, and positive intwgers $n$ and $m$. The Arzela-Ascoli Theorem guarantees that the set $X(\alpha,L,r)$ of $f:[-1,1]^n\rightarrow [-r,r]^m$ with $\alpha$-...
- 5,079
1
vote
0
answers
68
views
Injectivity of post-composition operator
Let $X$, $Y_1,Y_2$, and $Z$ be separable metric spaces. Let $C(X,Y)$ be the topological space of continuous functions from $X$ to $Y$ equipped with its compact-open topologies. Fix a continuous ...
12
votes
5
answers
1k
views
Examples of metric spaces with measurable midpoints
Given a (separable complete) metric space $X=(X,d)$, let us say $X$ has the measurable (resp. continuous) midpoint property if there exists a measurable (resp. continuous) mapping $m:X \times X \to X$ ...
- 6,824
4
votes
1
answer
232
views
Choosing a convergent sub-sequence from a sequence of bi-Lipschitz homeomorphisms
Let $X,Y$ be two compact metric spaces. Suppose there is a sequence of bi-Lipschitz homeomorphisms $f_n: X\to Y$, and $c\in(0,1]$, satisfying
$$c\cdot d(x_1,x_2)\le d(f(x_1),f(x_2))\le \frac{1}{c}\...
- 14.1k
0
votes
1
answer
215
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 ...
- 5,079
3
votes
0
answers
476
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 ...
- 5,079
13
votes
3
answers
3k
views
Are uniformly continuous functions dense in all continuous functions?
Suppose that $X$ is a metric space. Is the family of all real-valued uniformly continuous functions on $X$ dense in the space of all continuous functions with respect to the topology of uniform ...
- 233
6
votes
1
answer
432
views
Is each compact metric space a subset of a compact absolute 1-Lipschitz retract?
A metric space $X$ is called an absolute $L$-Lipschitz retract if for any metric space $Y$ containing $X$ there exists a Lipschitz retraction $r:Y\to X$ with Lipschitz constant $Lip(r)\le L$.
...
- 41.1k
0
votes
3
answers
507
views
Converting a bounded metric into an unbounded metric
Suppose $d$ is a bounded metric on $X$, i.e. $d(x,y)< K<\infty$ for all $x,y\in X$. Is there a standard way to convert $d$ into another metric $\widetilde{d}$ on $X$ with the property that $\...
- 700
3
votes
0
answers
81
views
Proving the existence of a continuous function that satisfy a certain property from a finite version of this property
Let $M \subseteq [0,1] \times \mathbb{R}^n$ be a compact semialgebraic set.
In particular, $M$ can be described by a finite set of polynomial equalities and inequalities.
Let $\delta_0 > 0$ be a ...
- 745
6
votes
1
answer
390
views
Does a metric refine the weak-* topology on a dual space?
Let $X$ be a topological affine space over $\mathbb C$, with no additional assumptions. Let $X^*$ denote its dual space of continuous affine functionals $X \to \mathbb C$, equipped with the weak-$*$ ...
- 8,422
0
votes
1
answer
205
views
The pth power of a distance function is twice continuously differentiable, for $p>2$?
Suppose $\mathcal{O}$ is an open convex connected strict subset in $\mathbb{R}^n$ and define $\beta(x)=dist(x, \mathcal{O})$, for each $x\in\mathbb{R}^n$.
Is $\beta^p$, $p>2$ a twice continuously ...
- 9