All Questions
Tagged with fa.functional-analysis mg.metric-geometry
187
questions
5
votes
1
answer
409
views
Can you always extend an isometry of a subset of a Hilbert Space to the whole space?
I remember that I read somewhere that the following theorem is true:
Let $A\subseteq H$ be a subset of a real Hilbert space $H$ and let $f : A \to A$ be a distance-preserving bijection, i.e. a ...
6
votes
2
answers
300
views
Mutual metric projection
Given a subset $S\subseteq \mathbb{R}^n$, the metric projection associated with $S$ is a function that maps each point $x\in \mathbb{R}^n$ to the set of nearest elements in $S$, that is $p_S(x) = \arg ...
1
vote
0
answers
95
views
Sum of upper semi continuous and lower semi continuous functions
Let $X$ be a compact metric space. Assume that $f: X \to \mathbb{R}$ is upper-semi continuous and $g:X \to \mathbb{R}$ is lower semi-continuous. Assume that $\sup \{ f(x)+g(x) : x \in X \}$ is finite. ...
9
votes
2
answers
436
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_\...
2
votes
0
answers
52
views
Instances of c-concavity outside of optimal transport?
Let $X$ and $Y$ be metric spaces, and let $c:X\times Y\rightarrow \mathbb{R}$ be a nonnegative function which we refer to as a cost. For any $\phi:X\rightarrow \mathbb{R}$ and $\psi:Y\rightarrow \...
3
votes
1
answer
158
views
Equivalent definition for Skorokhod metric
I have a question about the Skorokod distance on the space $\mathcal{D}([0,1],\mathbb{R})$:
$$
d(X,Y):= \inf_{\lambda \in \Lambda}\left( \sup_{t\in [0,1]}|t-\lambda(t)|\vee \sup_{t\in [0,1]}|X(t)-Y(\...
2
votes
0
answers
75
views
Converse of existence of minimizers
Let $(V,\|\cdot\|)$ be a real normed linear space. $V$ has the property that given any nonempty convex, closed subset $K$, there exists a unique $v_0\in K$ such that $\|v_0\| \leq \|v\|, \forall v\in ...
1
vote
0
answers
119
views
Intuition behind right-inverse of map from Johnson-Lindenstrauss Lemma
The Johnson–Lindenstrauss lemma states that for every $n$-point subset $X$ of $\mathbb{R}^d$ and each $0<\varepsilon\le 1$, there is a linear map $f:\mathbb{R}^d\to\mathbb{R}^{O(\log(n)/\varepsilon^...
0
votes
0
answers
54
views
Zero flux along lines
I am considering the $L^1$ ball in $\mathbb{R}^d$, and a conservative vector field $V$ on it, which arises as the gradient of a bounded, almost-everywhere Lipchitz-function. Denoting by $e_i$ as the i’...
6
votes
1
answer
475
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 ...
1
vote
0
answers
121
views
Non-surjective isometries of $l_p$
It is well known that all surjective isometries of $l_p$ for $p\neq 2$ are the signed permutations of the unit vector basis $(e_n)$. Is there a characterization for the linear non-surjective ...
7
votes
1
answer
308
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 ...
7
votes
2
answers
418
views
Vector measures as metric currents
Currents in metric spaces were introduced by Ambrosio and Kirchheim in 2000 as a generalization of currents in euclidean spaces. Very roughly, a principle idea is to replace smooth test functions (and ...
2
votes
1
answer
105
views
Lipschitz maps with Hölder inverse preserve the doubling property
Let $K$ be a compact doubling metric space, $X$ be a metric space and $f:K\rightarrow X$ be Lipschitz with $\alpha$-Hölder inverse, where $0<\alpha<1$. Does $f(K)$ need to be doubling?
4
votes
0
answers
132
views
A Lipschitzian's condition for the measure of nonconvexity
I'm actually working on the measure of nonconvexity and its application. Especially, the Eisenfeld–Lakshmikantham MNC defined - in a Banach space - by:
$$\alpha(A)=\sup_{b\in\overline{\operatorname{...