An old problem of P. Levy is to characterize those Banach spaces which embed isometrically in $L_p.$ We show a new criterion in terms of the second derivative of the norm. As an application, we show that if $M$ is a twice differentiable Orlicz function with $M'(0)=M''(0)=0$ then the $n$-dimensional Orlicz space $\ell_M^n,\ n\ge 3,$ does not embed isometrically in $L_p$ with $0<p\le 2.$ These results generalize and clear up the recent solution to the 1938 Schoenberg's problem on positive definite functions.
The isometric embeddings $\ell_{2;K}^m\to\ell_{p;K}^n$ ($m\geq 2$, $p\in 2\N$) over a field $K\in{R, C, H}$ are considered, and an upper bound for the minimal $n$ is proved. In the commutative case ($K\neq H$) the bound was obtained by Delbaen, Jarchow and Pełczy{ń}ski (1998) in a different way.
We show the existence of a compact metric space $K$ such that whenever $K$ embeds isometrically into a Banach space $Y$, then any separable Banach space is linearly isometric to a subspace of $Y$. We also address the following related question: if a Banach space $Y$ contains an isometric copy of the unit ball or of some special compact subset of a separable Banach space $X$, does it necessarily contain a subspace isometric to $X$? We answer positively this question when $X$ is a polyhedral finite-dimensional space, $c_0$ or $\ell_1$.
We show that the dual of every infinite-dimensional Lipschitz-free Banach space contains an isometric copy of $\ell_\infty$ and that it is often the case that a Lipschitz-free Banach space contains a $1$-complemented subspace isometric to $\ell_1$. Even though we do not know whether the latter is true for every infinite-dimensional Lipschitz-free Banach space, we show that the space is never rotund. Further, in the last section we survey the relations between "isometric embedding of~$\ell_\infty$ into the dual" and "containing as good copy of~$\ell_1$ as possible" in a general Banach space.
A recursive construction is presented for the projective cubature formulas of index $p$ on the unit spheres $S(m,K)\subset K^m$ where $K$ is $R$ or $C$, or $H$. This yields a lot of new upper bounds for the minimal number of nodes $n=N_K(m,p)$ in such formulas or, equivalently, for the minimal $n$ such that there exists an isometric embedding $\ell_{2; K}^m \rightarrow \ell_{p; K}^n$.
In this paper, we provide an infinite metric space $M$ such that the set $\mbox{SNA}(M)$ of strongly norm-attaining Lipschitz functions does not contain a subspace which is isometric to $c_0$. This answers a question posed by Antonio Avilés, Gonzalo Martínez Cervantes, Abraham Rueda Zoca, and Pedro Tradacete. On the other hand, we prove that $\mbox{SNA}(M)$ contains an isometric copy of $c_0$ whenever $M$ is a metric space which is not uniformly discrete. In particular, the latter holds true for infinite compact metric spaces while it does not for proper metric spaces. Some positive results in…
We show in this paper that every bijective linear isometry between the continuous section spaces of two non-square Banach bundles gives rise to a Banach bundle isomorphism. This is to support our expectation that the geometric structure of the continuous section space of a Banach bundle determines completely its bundle structures. We also describe the structure of an \emph{into} isometry from a continuous section space into an other. However, we demonstrate by an example that a non-surjective linear isometry can be far away from a subbundle embedding.
If $M$ is a compact smooth manifold and $X$ is a compact metric space, the Sobolev space $W^{1,p}(M,X)$ is defined through an isometric embedding of $X$ into a Banach space. We prove that the answer to the question whether Lipschitz mappings ${\rm Lip}\,(M,X)$ are dense in $W^{1,p}(M,X)$ may depend on the isometric embedding of the target.
Let $X$ be a Banach space with separable dual. It is proved that for every $\varepsilon\in (0,1)$, $X$ embeds isometrically into a Banach space $W$ with a shrinking basis $(w_n)$ which is $(1+ \varepsilon)$-monotone. Moreover, if $X$ has further an FDD $(E_n)$ whose strong bimonotonicity projection constant is not larger than $\mathcal{D}$, then $(w_n)$ has strong bimonotonicity projection constant not exceeding $\mathcal{D}(1 +\varepsilon)$. Further, if $(E_n)$ is $\mathcal{C}$-unconditional then $(w_n)$ is $\mathcal{C}(1 + \varepsilon)$-unconditional. The proof uses renorming and skipped blo…
In 1996 A. Alexandrov solved an isometric embedding problem for model spaces $K_Θ$ with an arbitrary inner function $Θ$. We find all extreme points of this convex set of measures in the case when $Θ$ is a finite Blaschke product, and obtain some partial results for generic inner functions.
We investigate certain recently introduced ODE-determined varying exponent $L^p$ spaces. It turns out that these spaces are finitely representable in a concrete universal varying exponent $\ell^p$ space. Moreover, this can be accomplished in a natural unified fashion. This leads to order-isomorphic isometric embeddings of all of the above $L^p$ spaces to an ultrapower of the above varying exponent $\ell^p$ space.
Let $(M,d)$ be a bounded countable metric space and $c>0$ a constant, such that $d(x,y)+d(y,z)-d(x,z) \ge c$, for any pairwise distinct points $x,y,z$ of $M$. For such metric spaces we prove that they can be isometrically embedded into any Banach space containing an isomorphic copy of $\ell_\infty$.
We study existence of linear isometric embedding of $\ell_p^m$ into $S_\infty,$ for $1\leq p< \infty$ and unique operator space structure on two dimensional Banach spaces. For $p\in(2,\infty)\cup\{1\},$ we show that indeed $\ell_p^2$ does not embed isometrically into $S_\infty$. This verifies a guess of Pisier and broadly generalizes the main result of \cite{GUR18}. We also show that $S_1^m$ does not embed isometrically into $S_p^n$ for all $1<p<\infty$ and $m\geq 2$. As a consequence, we establish noncommutative analogue of some of the results in \cite{LYS04}. We also show that $(\mathbb{C}^2…
The aim of this short paper is to offer a complete characterization of all (not necessarily surjective) isometric embeddings of the Wasserstein space $\mathcal{W}_p(\mathcal{X})$, where $\mathcal{X}$ is a countable discrete metric space and $0<p<\infty$ is any parameter value. Roughly speaking, we will prove that any isometric embedding can be described by a special kind of $\mathcal{X}\times(0,1]$-indexed family of nonnegative finite measures. Our result implies that a typical non-surjective isometric embedding of $\mathcal{W}_p(\mathcal{X})$ splits mass and does not preserve the shape of mea…
We construct a locally finite graph and a bounded geometry metric space which do not admit a quasi-isometric embedding into any uniformly convex Banach space. Connections with the geometry of $c_0$ and superreflexivity are discussed.
We study finite subsets of $\ell_2$, and more generally any metric space, and consider whether these isometrically embed into a Banach space. Our results partially answer a question of Ostrovskii, on whether every infinite-dimensional Banach space contains every finite subset of $\ell_2$ isometrically. The updated version contains acknowledgement that Theorem 3.1 has been proven previously in a paper of Shkarin.
Isometric embeddings of noncommutative $L_p$-spaces into noncommutative symmetric spaces
Institute for Advanced Study in Mathematics of HIT, Harbin Institute of Technology（哈尔滨工业大学数学高等研究院）；Department of Mathematics, University of Illinois at Urbana-Champaign（伊利诺伊大学厄巴纳-香槟分校数学系）；School of Mathematics and Statistics, The University of New South Wales（新南威尔士大学数学与统计学院）
