Let $E$ be one of the spaces $C(K)$ and $L_1$, $F$ be an arbitrary Banach space, $p>1,$ and $(X,σ)$ be a space with a finite measure. We prove that $E$ is isometric to a subspace of the Lebesgue-Bochner space $L_p(X;F)$ only if $E$ is isometric to a subspace of $F.$ Moreover, every isometry $T$ from $E$ into $L_p(X;F)$ has the form $Te(x)=h(x)U(x)e, e\in E,$ where $h:X\rightarrow R$ is a measurable function and, for every $x\in X,$ $U(x)$ is an isometry from $E$ to $F.$
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$.
Real smooth three-dimensional or higher Banach spaces are isomorphic with respect to the nonlinear structure of Birkhoff-James orthogonality if and only if they are isometrically isomorphic. Moreover, using smooth Radon planes and non-smooth direct sums, in arbitrary dimensions, we construct examples of non-isometric pairs of real Banach spaces that admit norm-preserving homogeneous bicontinuous Birkhoff-James orthogonality preservers among them.
For every $n\geq 3,$ we construct an $n$-dimensional Banach space which is isometric to a subspace of $L_{1/2}$ but is not isometric to a subspace of $L_1.$ The isomorphic version of this problem (posed by S. Kwapien in 1969) is still open. Another example gives a Banach subspace of $L_{1/4}$ which does not embed isometrically in $L_{1/2}.$ Note that, from the isomorphic point of view, all the spaces $L_q$ with $q<1$ have the same Banach subspaces.
We present an isometric version of the complementably universal Banach space $\mathbb{P}$ with a Schauder decomposition. The space $\mathbb{P}$ is isomorphic to Pełczyński's space with a universal basis as well as to Kadec' complementably universal space with the bounded approximation property.
This paper surveys some of the late Nigel Kalton's contributions to Banach space theory. The paper is written for the Nigel Kalton Memorial Website http://mathematics.missouri.edu/kalton/, which is scheduled to go online in summer 2011.
A natural class of ideals, almost isometric ideals, of Banach spaces is defined and studied. The motivation for working with this class of subspaces is our observation that they inherit diameter 2 properties and the Daugavet property. Lindenstrauss spaces are known to be the class of Banach spaces that are ideals in every superspace; we show that being an almost isometric ideal in every superspace characterizes the class of Gurariy spaces.
See title. (A Banach space is said to be L-embedded if it is complemented in its bidual such that the norm between the two complementary subspaces is additive.)
We study $M$-ideals of compact operators by means of the property~$(M)$ introduced in \cite{Kal-M}. Our main result states for a separable Banach space $X$ that the space of compact operators on $X$ is an $M$-ideal in the space of bounded operators if (and only if) $X$ does not contain a copy of $\ell_{1}$, has the metric compact approximation property, and has property~$(M)$. The investigation of special versions of property~$(M)$ leads to results on almost isometric structure of some classes of Banach spaces. For instance, we give a simple necessary and sufficient condition for a Banach spac…
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.
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…
We obtain the following characterization of Hilbert spaces. Let $E$ be a Banach space whose unit sphere $S$ has a hyperplane of symmetry. Then $E$ is a Hilbert space iff any of the following two conditions is fulfilled: a) the isometry group ${\rm Iso}\, E$ of $E$ has a dense orbit in S; b) the identity component $G_0$ of the group ${\rm Iso}\, E$ endowed with the strong operator topology acts topologically irreducible on $E$. Some related results on infinite dimentional Coxeter groups generated by isometric reflexions are given which allow to analyse the structure of isometry groups containin…
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.
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 the horofunction boundaries of Hilbert and Thompson geometries, and of Banach spaces, in arbitrary dimension. By comparing the boundaries of these spaces, we show that the only Hilbert and Thompson geometries that are isometric to Banach spaces are the ones defined on the cone of positive continuous functions on a compact space.
We introduce and study the notion of space of almost universal complemented disposition (a.u.c.d.) as a generalization of Kadec space. We show that every Banach space with separable dual is isometrically contained as a $1$-complemented subspace of a separable a.u.c.d. space and that all a.u.c.d. spaces with $1$-FDD are isometric and contain isometric $1$-complemented copies of every separable Banach space with $1$-FDD. We then study spaces of universal complemented disposition (u.c.d.) and provide different constructions for such spaces. We also consider spaces of u.c.d. with respect to separa…
Let \(X\) be a compact metric space and \(E\) be a Banach space. \(\lip (X, E)\) denotes the Banach space of all \(E\)-valued little Lipschitz functions on \(X\). We show that \(\lip (X, E)^{**}\) is isometrically isomorphic to Banach space of \(E^{**}\)-valued Lipschitz functions \(\Lip(X, E^{**})\) under several conditions. Moreover, we describe the isometric isomorphism from \(\lip (X, E)^{**}\) to \(\Lip (X, E^{**})\).
We show that if $T$ is an isometry (as metric spaces) from an open subgroup of the invertible group $A^{-1}$ of a unital Banach algebra $A$ onto an open subgroup of the invertible group $B^{-1}$ of a unital Banach algebra $B$, then $T$ is extended to a real-linear isometry up to translation between these Banach algebras. We consider multiplicativity or unti-multiplicativity of the isometry. Note that a unital linear isometry between unital semisimple commutative Banach algebra need be multiplicative. On the other hand, we show that if $A$ is commutative and $A$ or $B$ are semisimple, then $(T(…
We prove that if $ C $ is a family of separable Banach spaces which is analytic with respect to the Effros-Borel structure and none member of $ C $ is isometrically universal for all separable Banach spaces, then there exists a separable Banach space with a monotone Schauder basis which is isometrically universal for $ C $ but still not for all separable Banach spaces. We also establish an analogous result for the class of strictly convex spaces.
In this paper Hilbert spaces are characterized among Banach spaces in terms of transitivity with respect to nicely behaved subgroups of the isometry group. For example, the following result is typical here: If X is a real Banach space isomorphic to a Hilbert space and convex-transitive with respect to the isometric finite-dimensional perturbations of the identity, then X is already isometric to a Hilbert space.
In this paper we show that a countable, residually amenable group admits a proper isometric affine action on some uniformly convex Banach space if and only if one (or equivalently, all) of its box families admits a fibred cofinitely-coarse embedding into some uniformly convex Banach 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$.
If a separable Banach space contains an isometric copy of every separable reflexive Fréchet smooth Banach space, then it contains an isometric copy of every separable Banach space. The same conclusion holds if we consider separable Banach spaces with Fréchet smooth dual space. This improves a result of G. Godefroy and N. J. Kalton.
Given a Boolean algebra $A$, we construct another Boolean algebra $B$ with no uncountable well-ordered chains such that the Banach space of real valued continuous functions $C(K_A)$ embeds isometrically into $C(K_B)$, where $K_A$ and $K_B$ are the Stone spaces of $A$ and $B$ respectively. As a consequence we obtain the following: If there exists an isometrically universal Banach space for the class of Banach spaces of a given uncountable density $κ$, then there is another such space which is induced by a Boolean algebra which is not universal for Boolean algebras of cardinality $κ$. Such a phe…
It was proved by Argyros and Dodos that, for many classes $ C $ of separable Banach spaces which share some property $ P $, there exists an isomorphically universal space that satisfies $ P $ as well. We introduce a variant of their amalgamation technique which provides an isometrically universal space in the case that $ C $ consists of spaces with a monotone Schauder basis. For example, we prove that if $ C $ is a set of separable Banach spaces which is analytic with respect to the Effros-Borel structure and every $ X \in C $ is reflexive and has a monotone Schauder basis, then there exists a…
School of Mathematical Sciences, Key Laboratory of Intelligent Computing and Applications (Tongji University), Ministry of Education, Tongji University（同济大学数学科学学院，教育部智能计算与应用重点实验室）
R.M. Aron et al. proved that the Cluster Value Theorem in the infinite dimensional Banach space setting holds for the Banach algebra $\mathcal{H}^\infty (B_{c_0})$. On the other hand, B.J. Cole and T.W. Gamelin showed that $\mathcal{H}^\infty (\ell_2 \cap B_{c_0})$ is isometrically isomorphic to $\mathcal{H}^\infty (B_{c_0})$ in the sense of an algebra. Motivated by this work, we are interested in a class of open subsets $U$ of a Banach space $X$ for which $\mathcal{H}^\infty (U)$ is isometrically isomorphic to $\mathcal{H}^\infty (B_{c_0})$. We prove that there exist polydisk type domains $U$…
The construction of the free Banach lattice generated by a real Banach space is extended to the complex setting. It is shown that for every complex Banach space $E$ there is a complex Banach lattice $FBL_{\mathbb C}[E]$ containing a linear isometric copy of $E$ and satisfying the following universal property: for every complex Banach lattice $X_{\mathbb C}$, every operator $T:E\rightarrow X_{\mathbb C}$ admits a unique lattice homomorphic extension $\hat{T}:FBL_{\mathbb C}[E]\rightarrow X_{\mathbb C}$ with $\|\hat{T}\|=\|T\|$. The free complex Banach lattice $FBL_{\mathbb C}[E]$ is shown to ha…
The main object of the paper is to study the distance between Banach spaces introduced by Kadets. For Banach spaces $X$ and $Y$, the Kadets distance is defined to be the infimum of the Hausdorff distance $d(B_X,B_Y)$ between the respective closed unit balls over all isometric linear embeddings of $X$ and $Y$ into a common Banach space $Z.$ This is compared with the Gromov-Hausdorff distance which is defined to be the infimum of $d(B_X,B_Y)$ over all isometric embeddings into a common metric space $Z$. We prove continuity type results for the Kadets distance including a result that shows that t…
We study uniform and coarse embeddings between Banach spaces and topological groups. A particular focus is put on equivariant embeddings, i.e., continuous cocycles associated to continuous affine isometric actions of topological groups on separable Banach spaces with varying geometry.
We compare two types of universal operators constructed relatively recently by Cabello Sánchez, and the authors. The first operator $Ω$ acts on the Gurarii space, while the second one $P_S$ has values in a fixed separable Banach space $S$. We show that if $S$ is the Gurarii space, then both operators are isometric. We also prove that, for a fixed space $S$, the operator $P_S$ is isometrically unique. Finally, we show that $Ω$ is generic in the sense of a natural infinite game.
Let C be an axiomatizable class of order continuous real or complex Banach lattices, that is, this class is closed under isometric vector lattice isomorphisms and ultraproducts, and the complementary class is closed under ultrapowers. We show that if linear isometric embeddings of members of C in their ultrapowers preserve disjointness, the class C^B of Banach spaces obtained by forgetting the Banach lattice structure is still axiomatizable. Moreover if C coincides with its "script class" SC, so does C^B with SC^B. This allows us to give new examples of axiomatizable classes of Banach spaces, …
We define the notion of isometric envelope of a subspace in a Banach space, and relate it to a) the mean ergodic projection on the space of fixed points of a semigroup of contractions, b) results on Korovkin sets from the 70's, and c) extension properties of linear isometric embeddings. We use this concept to address the recent conjecture that the Gurarij space and the spaces $L_p$, $p \notin 2\mathbb N+4$ are the only separable Approximately Ultrahomogeneous Banach spaces (a certain multidimensional transitivity of the action of the linear isometry group). The similar conjecture for Fraïssé B…
The space Weak L^1 consists of all measurable functions on [0,1] such that q(f) = sup_{c>0} c λ{t : |f(t)| > c} is finite, where λdenotes Lebesgue measure. Let ρbe the gauge functional of the unit ball {f : q(f) \leq 1} of the quasi- norm q, and let N be the null space of ρ. The normed envelope of Weak L^1, which we denote by W, is the space (Weak L^1/N, ρ). The Banach envelope of Weak L^1, \overline{W}, is the completion of W. We show that \overline{W} is isometrically lattice isomorphic to a sublattice of W. It is also shown that all rearrangement invariant Banach function spaces are isometr…
We characterize non-reflexive Banach spaces by a low-distortion (resp. isometric) embeddability of a certain metric graph up to a renorming. Also we study non-linear sufficient conditions for $\ell_1^n$ being $(1+\varepsilon)$-isomorphic to a subspace of a Banach space $X$.
It was proved by Dodos and Ferenczi that the classes of Banach spaces with a separable dual and of separable reflexive Banach spaces are strongly bounded. In this note, we provide an isometric version of this result.
We introduce a flexible almost isometric version of the almost transitivity property of Banach spaces. With the help of this new notion we generalize to several directions a strong recent rotational characterization of Hilbert spaces due to Randrianantoanina. This characterization is a partial answer to the classical Banach-Mazur rotation problem.
We show that any bounded analytic semigroup on $L^p$ (with $1<p<\infty$) whose negative generator admits a bounded $H^{\infty}$ functional calculus with respect to some angle $< π/2$ can be dilated into a bounded analytic semigroup $(R_t)_{t\geq 0}$ on a bigger $L^p$-space in such a way that $R_t$ is a positive contraction for any $t$. We also establish a discrete analogue for Ritt operators and consider the case when $L^p$-spaces are replaced by more general Banach spaces. In connection with these functional calculus issues, we study isometric dilations of bounded continuous representations o…
We present a compensated compactness theorem in Banach spaces established recently, whose formulation is originally motivated by the weak rigidity problem for isometric immersions of manifolds with lower regularity. As a corollary, a geometrically intrinsic div-curl lemma for tensor fields on Riemannian manifolds is obtained. Then we show how this intrinsic div-curl lemma can be employed to establish the global weak rigidity of the Gauss-Codazzi-Ricci equations, the Cartan formalism, and the corresponding isometric immersions of Riemannian submanifolds.
A dual Banach algebra is a Banach algebra which is a dual space, with the multiplication being separately weak$^*$-continuous. We show that given a unital dual Banach algebra $\mc A$, we can find a reflexive Banach space $E$, and an isometric, weak$^*$-weak$^*$-continuous homomorphism $π:\mc A\to\mc B(E)$ such that $π(\mc A)$ equals its own bicommutant.
We show that for each $p\in(0,1]$ there exists a separable $p$-Banach space $\mathbb G_p$ of almost universal disposition, that is, having the following extension property: for each $ε>0$ and each isometric embedding $g:X\to Y$, where $Y$ is a finite dimensional $p$-Banach space and $X$ is a subspace of $\mathbb G_p$, there is an $ε$-isometry $f:Y\to \mathbb G_p$ such that $x=f(g(x))$ for all $x\in X$. Such a space is unique, up to isometries, does contain an isometric copy of each separable $p$-Banach space and has the remarkable property of being "locally injective" amongst $p$-Banach spaces…
We characterize metric spaces whose Lipschitz free space is isometric to $\ell_1$. In particular, the Lipschitz free space over an ultrametric space is not isometric to $\ell_1(Γ)$ for any set $Γ$. We give a lower bound for the Banach-Mazur distance in the finite case.
Let $X$ be a Banach space, $Σ$ be a $σ$-algebra, and $m:Σ\to X$ be a (countably additive) vector measure. It is a well known consequence of the Davis-Figiel-Johnson-Pelczýnski factorization procedure that there exist a reflexive Banach space $Y$, a vector measure $\tilde{m}:Σ\to Y$ and an injective operator $J:Y \to X$ such that $m$ factors as $m=J\circ \tilde{m}$. We elaborate some theory of factoring vector measures and their integration operators with the help of the isometric version of the Davis-Figiel-Johnson-Pelczýnski factorization procedure. Along this way, we sharpen a result of Okad…
