Skip to main content

Questions tagged [lipschitz-spaces]

11 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
5 votes
0 answers
137 views

A concrete description of the projective tensor product of Lipschitz spaces

$\newcommand{\projtenprod}[2]{#1 \; \hat\otimes_\pi #2}$ $\DeclareMathOperator\Lip{Lip}\DeclareMathOperator\AE{AE}$ $\newcommand{\norm}[1]{\| #1\|}$ $\newcommand{\abs}[1]{| #1|}$ Background ...
Yury Korolev's user avatar
4 votes
0 answers
197 views

Compactness of the unit ball in the space of Radon measures w.r.t. the Kantorovich-Rubinstein norm

This question was posted previously but has not attracted any responses so I am repharising it in a slightly different language hoping to reach a wider community Let $(X,d)$ be a pointed metric space ...
Yury Korolev's user avatar
3 votes
0 answers
171 views

Covering number $C^k$-balls in $C(\mathbb{R}^n)$

Fix a positive integer $n$ and and an non-negative integer $k$. The Arzela-Ascoli theorem guarantees that for a given positive integer $k$ and a given $L>0$ the set $$ Ball_{C^{k,1}([0,1]^n)}(0,L) ...
ABIM's user avatar
  • 5,405
2 votes
0 answers
71 views

Perturbing the approximation property from the Lipschitz-free space to stay in the Wasserstein space

Let $(X,d,x)$ be a separable pointed metric space and let $\mathcal{F}(X)$ be its Arens-Eells (also called its Lipschitz-Free space; in the case where $X$ is Banach) space. We view the $1$-...
ABIM's user avatar
  • 5,405
1 vote
0 answers
227 views

How to prove a concentration isoperimetric inequality for a non-Lipschitz function

Definition $1$. A probability measure $\mu$ on $\mathbb{R}^{d}$ satisfies c-isoperimetry if for any bounded L-Lipschitz $f: \mathbb{R}^{d} \rightarrow \mathbb{R}$, and any $t \geq 0$, \begin{align} \...
XYZ's user avatar
  • 79
1 vote
0 answers
448 views

Bound on covering number of Lipschitz functions – missing part in proofs of Kolmogorov et al

Given a metric space $(\mathcal{X},\rho)$ and $\mathcal{A}\subset\mathcal{X}$ totally bounded, i.e. $\mathcal{A}$ has a finite $\varepsilon$-covering for any $\varepsilon>0$. Consider $\...
samuel's user avatar
  • 11
1 vote
0 answers
254 views

Sobolev variant of Wasserstein space

Let $\mathcal{P}(\mathbb{R}^n)$ be the set of Borel probability measures on the Euclidean space $\mathbb{R}^n$ and consider thereof consisting of all probability measures $\mathbb{P}$ satisfying $\int\...
ABIM's user avatar
  • 5,405
0 votes
0 answers
50 views

Kirszbraun-like extension of periodic functions

Let $\Lambda \subset \Lambda' \subset \mathbb{R}^n$ be lattices. Let $f : \Lambda' \rightarrow \mathcal{H}$ be a $a$-Lipschitz function, where $\mathcal{H}$ is a finite-dimensional Hilbert Space. ...
jetSett's user avatar
0 votes
0 answers
97 views

Tangent spaces of Lipschitz sub manifolds

Consider $\mathbb{R}^n$, $k<n$, and topological embeddings (homeomorphisms onto image) $f_i : \mathbb{R}^k \supseteq B_1(0) \to \mathbb{R}^n$, $i=1,2$, which are also Lipschitz continuous and ...
jsb's user avatar
  • 403
0 votes
0 answers
85 views

Lagrange's interpolating polynomial

Let $f:[a,b]\rightarrow R$ be a function that is not $C^{(n+1)}$ on $[a,b]$ but its $n$-th derivative is a Lipschitz function? How does the Lagrange's interpolating polynomial formula change? How does ...
Adi's user avatar
  • 1
0 votes
0 answers
62 views

Terminology: maps which are bi-Lipschitz on compact subsets

Let $X$ and $Y$ be metric spaces and let $f:X\rightarrow Y$ be such that: for every compact subset $K$ of $X$ the restricted map $f|_K:K\rightarrow Y$ defined by $f|_K(x)=f(x)$ is bi-Lipschitz (with ...
ABIM's user avatar
  • 5,405