All Questions
Tagged with fa.functional-analysis mg.metric-geometry
190 questions
0
votes
0
answers
165
views
Compact embedding of Lipschitz continuous functions
Let $(X,d,\mu)$ be a metric measure space, not necessarily with $\mu(X)<\infty$. I would like to study the embedding of $W^{1,2}(X)\cap \mathrm{Lip}(X)$ into $L^2(X)$. Are there simple conditions ...
- 3,388
5
votes
1
answer
244
views
Dual Banach space $X^*$ complemented in $\mathrm{Lip}_0(X)$?
$\DeclareMathOperator\Lip{Lip}$Let $X$ be a real Banach space. The dual $X^*$ is a closed subspace of $\Lip_0(X)$. ($\Lip_0(X)$ denotes the space of real-valued Lipschitz functions $f:X\to\mathbb{R}$ ...
- 42.8k
1
vote
1
answer
519
views
Asymptotic cone
Let $S$ be a subset in a real vector space $\mathbb{R}^n$. Define the asymptotic cone $S\infty:=\{y\in\mathbb{R}^n\mid\textrm{there exists a sequence }(y_k,\varepsilon_k)\in S\times\mathbb{R}^+\textrm{...
- 128k
40
votes
5
answers
5k
views
"Entropy" proof of Brunn-Minkowski Inequality?
I read in an information theory textbook the Brunn-Minkowski inequality follows from the Entropy Power inequality.
The first one says that if $A,B$ are convex polygons in $\mathbb{R}^d$, then
$$ m(...
- 716
5
votes
2
answers
245
views
Differentiability of the map $x\mapsto \delta_x$ in the Arens-Eells/Lipschitz-free space
$\DeclareMathOperator\AE{AE}\DeclareMathOperator\Lip{Lip}$Let $\AE(X)$ denote the Arens-Eells space on a Banach space $X$. Consider the map:
$$
\begin{aligned}
\delta: X & \rightarrow \AE(X)
\\
x&...
- 42.8k
1
vote
0
answers
70
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 ...
- 63.9k
6
votes
1
answer
549
views
Volume doubling, uniform Poincaré, counterexample
The Poincaré inequality and the volume doubling property are important notions related to heat kernel estimates.
Pavel Gyrya and Laurent Saloff-Coste obtain the two sided heat kernel estimate of ...
- 28k
8
votes
1
answer
360
views
What is the smallest Lipschitz constant of a Lipschitz retraction of $\ell_\infty([0,1])$ onto $C[0,1]$?
By Theorem 1.6 in the book "Geometric Nonlinear Functional Analysis" by Benyamini and Lindenstrauss, the Banach space $C[0,1]$ is a Lipschitz retract of the Banach space $\ell_\infty[0,1]$. ...
- 1,724
3
votes
0
answers
239
views
How to prove the following the set are equal
Let $D$ be an open convex subset of $\mathbf R^d$ with boundary $\partial D$ and closure $\overline D$.
For $x\in\mathbf R^d$ and a unit vector $e$ let $L_{x,e}=\{x+\lambda e, \lambda\ge0\}$ be the ...
- 4,713
12
votes
1
answer
1k
views
Smoothness of distance function to a compact set
Fix a non-empty compact subset $K\subseteq \mathbb{R}^n$ and let $d_K(x):=\min_{z \in K} \,\|z-x\|$ be the map sending any $x\in \mathbb{R}^n$ to its distance from $K$.
Suppose that:
$K$ is regular : ...
- 28k
2
votes
1
answer
223
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 ...
- 3,065
6
votes
0
answers
132
views
Mazur-Ulam bases in finite-dimensional Banach spaces
Definition. A basis $e_1,\dots,e_n$ of a finite-dimensional Banach space $X$ is called Mazur-Ulam if all vectors $e_1,\dots,e_n$ have norm one and every self-isometry $f:S_X\to S_X$ of the unit sphere ...
- 4,535
9
votes
0
answers
137
views
A self-isometry of the sphere of a strictly convex Banach space that does not move basic vectors
Problem. Let $n\in\mathbb N$, $X$ be a strictly convex $n$-dimensional real Banach space, $S_X=\{x\in X:\|x\|=1\}$ be the unit sphere of $X$, and $e_1,\dots,e_n\in S_X$ be linearly independent points. ...
- 41.8k
2
votes
0
answers
186
views
Metric on space of Borel-measurable functions
Let $(X,d_X),(Y,d_Y)$ be metric spaces and $X$ is locally-compact and fix a Borel probability measure $\nu$ on $X$. For any Borel-measurable $f:X\rightarrow Y$, let $\mathcal{K}(f,\delta)$ be the set ...
4
votes
0
answers
147
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 ...
- 63.9k
0
votes
0
answers
44
views
Let $A,B,C$ be centrally-symmetric convex bodies. What is this function $G(x,y) := \sup_{b \in B}\inf_{a \in A} a^T x - b^T y + \|a-b\|_C$?
Let $A$, $B$, and $C$ be centrally-symmeric convex bodies in $\mathbb R^n$. Note that any such set can such set induces a norm $\|\cdot\|_C$ on $\mathbb R^n$ defined by $\|x\|_C := \sup_{c \in C}c^\...
- 6,853
0
votes
1
answer
223
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 ...
CommunityBot
- 1
2
votes
0
answers
265
views
The contraction principle in quasi metric spaces
I am researching contractive mappings and I need the article of I. A. Bakhtin "The contraction principle in quasi metric spaces"(1989) or at least part where explanation is given for ...
- 63.9k
1
vote
0
answers
122
views
Metric transforms that preserve $\ell^1$ embeddability
Consider a function $f$ from reals to reals such that $f$, when applied to pairwise Manhattan distances between $n$ points, always results in a set of Manhattan distances.
Work by Schoenberg and ...
- 63.9k
2
votes
0
answers
49
views
A question about strong slopes (nonsmooth analysis)
Context. I'm reading the manuscrip "Nonlinear Error Bounds via a Change of Function" by Dominique Azé and Jean-Noël Corvellec (J Optim Theory Appl 2016), and I'm having a hard time ...
- 6,853
3
votes
1
answer
295
views
BV spaces and fractals -- are they Sobolev? Besov?
Do the real-valued functions of bounded variation on $[0,1]$ belong to some Sobolev/Besov class?
What about a fractal, such as the Weierstrass function?
- 39k
2
votes
1
answer
173
views
Can we define geodesic in the space of compactly supported functions?
From Wikepedia, the definition of geodesic is stated as:
A curve $\gamma: I\to M$ from an interval $I$ of the reals to the metric space $M$ is a geodesic if there is a constant $v\geq 0$ such that ...
CommunityBot
- 1
16
votes
1
answer
537
views
Balls in Hilbert space
I recently noticed an interesting fact which leads to a perhaps difficult question. If $n$ is a natural number, let $k_n$ be the smallest number $k$ such that an open ball of radius $k$ in a real ...
- 63.9k
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$ ...
- 4,727
2
votes
0
answers
159
views
Explicit homeomorphism between $L^p$ and Sobolev Space
From the Anderson-Kadec theorem, we know that all separable infinite-dimensional Banach spaces are homeomorphic. I'm wondering, is there an explicit such homeomorphism between $W^{p,k}(\mathbb{R}^n)$ ...
- 63.9k
4
votes
0
answers
97
views
Smoothing continuous functions in metric space
Let $(X,\rho)$ be a metric space.
For any $f:X\to\mathbb{R}$, define the local Lipschitz constant of $f$ at $x$ by
$$ \Lambda_f(x) := \sup_{x'\in X\setminus\{x\}} \frac{|f(x)-f(x')|}{\rho(x,x,')}
.
$$...
- 6,541
3
votes
1
answer
309
views
Continuity/Lipschitz regularity of exponential map from $C_c$ to $\operatorname{Diff}_c$?
For finite-dimensional Lie algebras, see this for a nice example, the exponential map is smooth and in particular, it is locally-Lipschitz onto its image. However, things are different when moving to ...
- 2,388
3
votes
0
answers
222
views
Sets of finite perimeter: intersection with an half space
I have a question regarding sets of finite perimeter. In particular I'm interested to find
$$\mu_{E \cap H_t}, \label{1}\tag{1}$$
where $E$ is a set of finite perimeter in a generic open set $\Omega \...
- 51
1
vote
0
answers
97
views
Determining the behavior of a contraction mapping with undefined points
Label $X$ as the real interval $[0, a]$ where $a \in \mathbb{R}^+$, so that $\text{int}(X) = (0, a)$ labels the interior of $X$ and $\partial X$ labels the boundary of $X$. I have a function $f:\text{...
- 1,087
0
votes
0
answers
254
views
The set of all functions which vanish at infinity is a subset of the set of all functions which have vanishing variation
Let $X$ be a coarse space, we define the following:
$D_b(X)$ is the set of all bounded functions $f:X\rightarrow \mathbb{C}$
$f\in $$D_b(X)$ is said to vanish at infinity if for each $\varepsilon$>0 ...
CommunityBot
- 1
3
votes
0
answers
487
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,405
3
votes
0
answers
89
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 ...
- 63.9k
26
votes
3
answers
11k
views
L1 distance between gaussian measures
L1 distance between gaussian measures: Definition
Let $P_1$ and $P_0$ be two gaussian measures on $\mathbb{R}^p$ with respective "mean,Variance" $m_1,C_1$ and $m_0,C_0$ (I assume matrices have full ...
- 6,853
4
votes
1
answer
243
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}\...
- 12.7k
2
votes
1
answer
315
views
Estimate the metric entropy of unit ball in $L^2$ space
Let me clarify the setting I'm thinking.
For any totally bounded metric space $(Y,d_Y)$ and $\varepsilon>0$, the $\textit{metric entropy}$ $N_M(\varepsilon,Y)$ is the smallest number of closed ...
- 109k
4
votes
0
answers
144
views
A Pythagorian inequality characterization of inner-product spaces
Let $(X,\|\cdot\|)$ be a real normed space. For any points $A$ and $B$ in $X$, let $AB:=\|A-B\|$. Suppose that for any points $A$ and $B$ in $X$ and any straight line $\ell\subseteq X$ such that $B\...
- 12.9k
4
votes
1
answer
137
views
Are unit balls in Banach spaces retracts of bidual balls?
Let $X$ be a separable Banach space embedded canonically in $X^{**}$. Is there a retraction from the unit ball $B_{X^{**}}$ of $X^{**}$ onto the unit ball $B_X$ of $X$?
When we insist on uniformly ...
- 60.5k
1
vote
1
answer
194
views
Strictly increasing functions in reflexive subspaces of $C([0,1])$
By the Banach-Mazur theorem, every separable Banach space $X$ embeds into $C([0,1])$. When $X$ is reflexive, it is not possible to find a sequence of disjointly supported, non-negative functions in ...
1
vote
0
answers
91
views
Gaussian width and restricted isometry
It is known that, for an $m$ dimensional space and an $n\times m$ dimensional random matrix $U$ whose entries are iid Gaussian, then $\|I-(1/n)U^TU\|$ is bounded by $\sqrt{m/n}$ when $n>m$.
If a ...
- 11
5
votes
0
answers
139
views
Copies of $\ell_\infty^k$ in subspaces of the space of operators between $n$-dimensional Banach spaces
Are there a positive integer $k$ and an unbounded increasing function $d:\mathbb N\to\mathbb N$ (of growth order $\Omega(n^2)$) such that for any $n$-dimensional Banach spaces $X,Y$, the Banach space $...
- 4,535
5
votes
1
answer
177
views
An extremal property of points on the unit sphere of a 2-dimensional Banach space
Let $(X,\|\cdot\|)$ be a 2-dimensional real Banach space and $S=\{x\in X:\|x\|=1\}$ be its unit sphere. Assume that $S$ is smooth in the sense that for any $y\in S$ there exists a unique functional $y^...
- 12.5k
14
votes
1
answer
922
views
What are the applications of the Mazur-Ulam Theorem?
Every bijective isometry between normed spaces is affine. This well-known and beautiful statement, the Mazur-Ulam Theorem, was proved in 1932, but the proof has been simplified and polished in years, ...
- 63.9k
1
vote
0
answers
84
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 ...
- 63.9k
1
vote
1
answer
896
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 ...
- 2,472
5
votes
2
answers
514
views
Concrete description of lift in Arens-Eells space
Let $X$ be a compact pointed metric subspace of the $d$-dimensional Euclidean space $(\mathbb{R}^d,d_E)$ and let $AE(X)$ denote its Arens-Eells space. Then a result of Nik Weaver shows that for every ...
- 5,405
3
votes
0
answers
103
views
"Hoelder conjugate" version of the Johnson-Lindenstrauss transform
A variation of the well-known Johnson-Lindenstrauss transform (JLT) asserts that for $x_1,\ldots,x_m\in\mathbb{R}^n$ there exists a linear transformation $A:\mathbb{R}^n\to\mathbb{R}^k$ with $k=\...
- 10.4k
2
votes
1
answer
145
views
Orbit-based metric
Let $(X,d)$ be a metric space and $f:X\rightarrow X$ be continuous. Then, is there any meaning/research done on the metric
$$
D(x,y)\triangleq \sum_{n \in \mathbb{N}} \frac1{2^n} d(f^n(x),f^n(y));
$$
...
- 60.5k
0
votes
0
answers
79
views
Hausdorff distance restricted to linear subspaces
Let $V$ be a Hilbert space, $Q \subset V$ be convex and compact and $Q_n \subset V$ be convex and compact for $n\in \mathbb{N}$ such that $Q_n \rightarrow Q$ for $n\rightarrow \infty$ in Hausdorff ...
- 1,095
6
votes
1
answer
348
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}(...
- 28k
2
votes
0
answers
90
views
Invariance under diffeomorphisms of the Hajlasz-Sobolev spaces
In this post it was shown that if $\Omega$ and $\Omega'$ are diffeomorphic non-empty open domains in some Euclidean space then the corresponding local Sobolev spaces are diffeomorphic with ...
- 5,405