This paper deals with the following types of problems: Assume a Banach space $X$ has some property (P). Can it be embedded into some Banach space $Z$ with a finite dimensional decomposition having property (P), or more generally, having a property related to (P)? Secondly, given a class of Banach spaces, does there exist a Banach space in this class, or in a closely related one, which is universal for this class?
We present a new proof of Zippin's Embedding Theorem, that every separable reflexive Banach space embeds into one with shrinking and boundedly complete basis, and every Banach space with a separable dual embeds into one with a shrinking basis. This new proof leads to improved versions of other embedding results.
We extend a theorem of Kato on similarity for sequences of projections in Hilbert spaces to the case of isomorphic Schauder decompositions in certain Banach spaces. To this end we use $\ell_Ψ$-Hilbertian and $\infty$-Hilbertian Schauder decompositions instead of orthogonal Schauder decompositions, generalize the concept of an orthogonal Schauder decomposition in a Hilbert space and introduce the class of spaces with Schauder-Orlicz decompositions. Furthermore, we generalize the notions of type, cotype, infratype and $M$-cotype of a Banach space and study the properties of unconditional Schaude…
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.
Moreau's decomposition is a powerful nonlinear hilbertian analysis tool that has been used in various areas of optimization and applied mathematics. In this paper, it is extended to reflexive Banach spaces and in the context of generalized proximity measures. This extension unifies and significantly improves upon existing results.
We construct generalised shift-invariant systems of functions of several real variables for anisotropic Besov spaces that can be generated by the decomposition method using any given expansive matrix and establish the conditions on those systems under which they will constitute Banach frames or sets of atoms for the anisotropic homo- or inhomogeneous Besov spaces.
The aim of this paper is to show that almost greedy bases induce tighter embeddings in superreflexive Banach spaces than in general Banach spaces. More specifically, we show that an almost greedy basis in a superreflexive Banach space $\mathbb{X}$ induces embeddings that allow squeezing $\mathbb{X}$ between two superreflexive Lorentz sequence spaces that are close to each other in the sense that they have the same fundamental function.
In this paper, we study nonlinear embeddings between Banach spaces. More specifically, the goal of this paper is to study weaker versions of coarse and uniform embeddability, and to provide suggestive evidences that those weaker embeddings may be stronger than one would think. We do such by proving that many known results for coarse and uniform embeddings remain valid for those weaker notions of embeddings.
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.
In this paper we first show that if $X$ is a Banach space and $α$ is a left invariant crossnorm on $\ell_\infty\otimes X$, then there is a Banach lattice $L$ and an isometric embedding $J$ of $X$ into $L$, so that $I\otimes J$ becomes an isometry of $\ell_\infty\otimes_αX$ onto $\ell_\infty\otimes_m J(X)$. Here $I$ denotes the identity operator on $\ell_\infty$ and $\ell_\infty\otimes_m J(X)$ the canonical lattice tensor product. This result is originally due to G. Pisier (unpublished), but our proof is different. We then use this to characterize the Gordon-Lewis property $\GL$ in terms of emb…
We study how well a quasi-Banach space can be coarsely embedded into a Hilbert space. Given any quasi-Banach space X which coarsely embeds into a Hilbert space, we compute its Hilbert space compression exponent. We also show that the Hilbert space compression exponent of X is equal to the supremum of the amounts of snowflakings of X which admit a bi-Lipschitz embedding into a Hilbert space.
In these notes, we study nonlinear embeddings between Banach spaces which are also weakly sequentially continuous. In particular, our main result implies that if a Banach space $X$ coarsely (resp. uniformly) embeds into a Banach space $Y$ by a weakly sequentially continuous map, then every spreading model $(e_n)_n$ of a normalized weakly null sequence in $X$ satisfies \[\|e_1+\ldots+e_k\|_{\overlineδ_Y}\lesssim\|e_1+\ldots+e_k\|_S,\] where $\overlineδ_Y$ is the modulus of asymptotic uniform convexity of $Y$. Among other results, we obtain Banach spaces $X$ and $Y$ so that $X$ coarsely (resp. u…
[L. Gavruta, Frames for Operators, Appl. comput. Harmon. Anal. 32(2012), 139-144] introduced a special kind of frames, named $K$-frames, where $K$ is an operator, in Hilbert spaces, is significant in frame theory and has many applications. In this paper, first of all, we have introduced the notion of approximative $K$-atomic decomposition in Banach spaces. We gave two characterizations regarding the existence of approximative $K$-atomic decompositions in Banach spaces. Also some results on the existence of approximative $K$-atomic decompositions are obtained. We discuss several methods to cons…
Let $X$ be Banach space which is not super-reflexive. Then, for each $n\ge1$ and $\varepsilon>0$, we exhibit metric embeddings of the Laakso graph $\mathcal{L}_n$ into $X$ with distortion less than $2+\varepsilon$ and into $L_1[0,1]$ with distortion $4/3$. The distortion of an embedding of $\mathcal{L}_2$ (respectively, the diamond graph $D_2$) into $L_1[0,1]$ is at least $9/8$ (respectively, $5/4$).
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.
Necessary and sufficient conditions are given for when a sequence of finite dimensional subspaces (X_n) can be blocked to be a skipped blocking decompositon (SBD). These are very similar to known results about blocking of biorthogonal sequences. A separable space $X$ has PCP, if and only if, every norming decomposition (X_n) can be blocked to be a boundedly complete SBD. Every boundedly complete SBD is a JT-decomposition.
Hytönen, McIntosh and Portal (J. Funct. Anal., 2008) proved two vector-valued generalizations of the classical Carleson embedding theorem, both of them requiring the boundedness of a new vector-valued maximal operator, and the other one also the type p property of the underlying Banach space as an assumption. We show that these conditions are also necessary for the respective embedding theorems, thereby obtaining new equivalences between analytic and geometric properties of Banach spaces.
We obtain Lebesgue-type inequalities for the greedy algorithm for arbitrary complete seminormalized biorthogonal systems in Banach spaces. The bounds are given only in terms of the upper democracy functions of the basis and its dual. We also show that these estimates are equivalent to embeddings between the given Banach space and certain discrete weighted Lorentz spaces. Finally, the asymptotic optimality of these inequalities is illustrated in various examples of non necessarily quasi-greedy bases.
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$.
There are two main aims of the paper. The first one is to extend the criterion for the precompactness of sets in Banach function spaces to the setting of quasi-Banach function spaces. The second one is to extend the criterion for the precompactness of sets in the Lebesgue spaces $L_p(\mathbb R^n)$, $1 \leq p < \infty$, to the so-called power quasi-Banach function spaces. These criteria are applied to establish compact embeddings of abstract Besov spaces into quasi-Banach function spaces. The results are illustrated on embeddings of Besov spaces $B^s_{p,q}(\mathbb R^n)$, $0<s<1$, $0<p,q\leq \in…
Let $E,F$ be Banach spaces. In the case that $F$ is reflexive we give a description for the solutions $(f,g)$ of the Banach-orthogonality equation $$\langle f(x),g(α)\rangle=\langle x,α\rangle\hspace{10mm}\forall x\in E,\forall α\in E^*,$$ where $f:E\rightarrow F,g:E^*\rightarrow F^*$ are two maps. Our result generalizes the recent result of Łukasik and Wójcik in the case that $E$ and $F$ are Hilbert spaces.
We introduce a notion of p-orthogonality in a general Banach space $1 \le p \le \infty$. We use this concept to characterize $\ell_p$-spaces among Banach spaces and also among complete order smooth p-normed spaces. We further introduce a notion of $p$-orthogonal decomposition in order smooth p-normed spaces. We prove that if the $\infty$-orthogonal decomposition holds in an order smooth $\infty$-normed space, then the 1-orthogonal decomposition holds in the dual space. We also give an example to show that the above said decomposition may not be unique.
In these notes, we study the relation between uniform and coarse embeddings between Banach spaces. In order to understand this relation better, we also look at the problem of when a coarse embedding can be assumed to be topological. Among other results, we show that if a Banach space $X$ uniformly embeds into a minimal Banach space $Y$, then $X$ simultaneously coarsely and uniformly embeds into $Y$, and if a Banach space $X$ coarsely embeds into a minimal Banach space $Y$, then $X$ simultaneously coarsely and homeomorphically embeds into $Y$ by a map with uniformly continuous inverse.
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.
Krivine and Maurey proved in 1981 that every stable Banach space contains almost isometric copies of $\ell_p$, for some $p\in[1,\infty)$. In 1983, Raynaud showed that if a Banach space uniformly embeds into a superstable Banach space, then $X$ must contain an isomorphic copy of $\ell_p$, for some $p\in[1,\infty)$. In these notes, we show that if a Banach space coarsely embeds into a superstable Banach space, then $X$ has a spreading model isomorphic to $\ell_p$, for some $p\in[1,\infty)$. In particular, we obtain that there exist reflexive Banach spaces which do not coarsely embed into any sup…
We give sufficient conditions on a Banach space $X$ which ensure that $\ell_{\infty}$ embeds in $\mathcal{L}(X)$, the space of all operators on $X$. We say that a basic sequence $(e_n)$ is quasisubsymmetric if for any two increasing sequences $(k_n)$ and $(\ell_n)$ of positive integers with $k_n \leq \ell_n$ for all $n$, we have that $(e_{k_n})$ dominates $(e_{\ell_n})$. We prove that if a Banach space $X$ has a seminormalized quasisubsymmetric basis then $\ell_{\infty}$ embeds in $\mathcal{L}(X)$.
We give a simple example of a countable metric space $M$ that does not embed bi-Lipschitz with distortion strictly less than 2 into any Asplund space. Actually, if $M$ embeds with distortion strictly less than 2 to a Banach space $X$, then $X$ contains an isomorphic copy of $\ell_1$. We also show that the space $M$ does not embed with distortion strictly less than $2$ into $\ell_1$ itself but it does embed isometrically into a space that is isomorphic to $\ell_1$.
A well-known classical result states that $c_0$ is linearly embeddable in a Banach lattice if and only if it is lattice embeddable. Improving results of H.P.~Lotz, H.P.~Rosenthal and N.~Ghoussoub, we prove that $C[0,1]$ shares this property with $c_0$. Furthermore, we show that any infinite-dimensional sublattice of $C[0,1]$ is either lattice isomorphic to $c_0$ or contains a sublattice isomorphic to $C[0,1]$. As a consequence, it is proved that for a separable Banach lattice $X$ the following conditions are equivalent: (1) $X$ is linearly embeddable in a Banach lattice if and only if it is la…
In this article we deal with the free Banach lattice generated by a lattice and its behavior with respect to subspaces. In general, any lattice embedding $i\colon \mathbb{L} \longrightarrow \mathbb{M}$ between two lattices $\mathbb{L} \subseteq \mathbb{M}$ induces a Banach lattice homomorphism $\hat \imath\colon FBL \langle \mathbb{L} \rangle \longrightarrow FBL \langle \mathbb{M}\rangle$ between the corresponding free Banach lattices. We show that this mapping $\hat \imath$ might not be an isometric embedding neither an isomorphic embedding. In order to provide sufficient conditions for $\hat…
Let $X$ be a Banach space with an unconditional finite-dimensional Schauder decomposition $(E_n)$. We consider the general problem of characterizing conditions under which one can construct an unconditional basis for $X$ by forming an unconditional basis for each $E_n.$ For example, we show that if $\sup \dim E_n<\infty$ and $X$ has Gordon-Lewis local unconditional structure then $X$ has an unconditional basis of this type. We also give an example of a non-Hilbertian space $X$ with the property that whenever $Y$ is a closed subspace of $X$ with a UFDD $(E_n)$ such that $\sup\dim E_n<\infty$ th…
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 prove several dichotomies on linear embeddings between Banach spaces. Given an arbitrary Banach space X with a basis, we show that the relations of isomorphism and bi-embedding are meager or co-meager on the Polish set of block-subspaces of X. We relate this result with tightness and minimality of Banach spaces. Examples and open questions are provided.
The main purpose of the paper is to prove the following results: Let $A$ be a locally finite metric space whose finite subsets admit uniformly bilipschitz embeddings into a Banach space $X$. Then $A$ admits a bilipschitz embedding into $X$. Let $A$ be a locally finite metric space whose finite subsets admit uniformly coarse embeddings into a Banach space $X$. Then $A$ admits a coarse embedding into $X$. These results generalize previously known results of the same type due to Brown-Guentner (2005), Baudier (2007), Baudier-Lancien (2008), and the author (2006, 2009). One of the main steps in th…
We generalize the classical coorbit space theory developed by Feichtinger and Gr"ochenig to quasi-Banach spaces. As a main result we provide atomic decompositions for coorbit spaces defined with respect to quasi-Banach spaces. These atomic decompositions are used to prove fast convergence rates of best $n$-term approximation schemes. We apply the abstract theory to time-frequency analysis of modulation spaces $M^{p,q}_m$, $0< p,q \leq \infty$.
We prove that a Schauder frame for any separable Banach space is shrinking if and only if it has an associated space with a shrinking basis, and that a Schauder frame for any separable Banach space is shrinking and boundedly complete if and only if it has a reflexive associated space. To obtain these results, we prove that the upper and lower estimate theorems for finite dimensional decompositions of Banach spaces can be extended and modified to Schauder frames. We show as well that if a separable infinite dimensional Banach space has a Schauder frame, then it also has a Schauder frame which i…
In this paper, we study the coarse embedding into Banach space. We proved that under certain conditions, the property of embedding into Banach space can be preserved under taking the union the metric spaces. For a group $G$ strongly relative hyperbolic to a subgroup $H$, we proved that if $H$ admits a coarse embedding into a uniformly convex Banach space, so is $B(n)=\{g\in G|\abs{g}_{S\cup\mathscr{H}}\leq n\}$.
We show that a pseudoconvex open subset of a Banach space with an unconditional basis is biholomorphic to a closed direct submanifold of a Banach space with an unconditional basis.
We prove that a WLD subspace of the space $\ell_\infty^c(Γ)$ consisting of all bounded, countably supported functions on a set $Γ$ embeds isomorphically into $\ell_\infty$ if and only if it does not contain isometric copies of $c_0(ω_1)$. Moreover, a subspace of $\ell_\infty^c(ω_1)$ is constructed that has an unconditional basis, does not embed into $\ell_\infty$, and whose every weakly compact subset is separable (in particular, it cannot contain any isomorphic copies of $c_0(ω_1)$).
In this paper we consider series expansions via a frame and a non-frame and the possibilities for interchange of the two sequences, both in the Hilbert and Banach space setting. First we give a characterization of frame-related concepts in Banach spaces (atomic decompositions, Banach frames, $X_d$-Riesz bases, $X_d$-frames, $X_d$-Bessel sequences, and sequences satisfying the lower $X_d$-frame condition). We also determine necessary and sufficient conditions for operators to preserve the type of the concepts listed above. Then we discuss differences and relationships between expansions in a Ba…
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 prove modulation invariant embedding bounds from Bochner spaces $L^p(\mathbb{W};X)$ on the Walsh group to outer-$L^p$ spaces on the Walsh extended phase plane. The Banach space $X$ is assumed to be UMD and sufficiently close to a Hilbert space in an interpolative sense. Our embedding bounds imply $L^p$ bounds and sparse domination for the Banach-valued tritile operator, a discrete model of the Banach-valued bilinear Hilbert transform.
$\newcommand{mc}[1]{\mathcal{#1}}$ $\newcommand{D}{\mc{D}(\mc{Q},L^p,\ell_w^q)}$ We present a framework for the construction of structured, possibly compactly supported Banach frames and atomic decompositions for decomposition spaces. Such a space $\D$ is defined using a frequency covering $\mc{Q}=(Q_i)_{i\in I}$: If $(φ_i)_{i}$ is a suitable partition of unity subordinate to $\mc{Q}$, then $\Vert g\Vert_{\D}:=\left\Vert\left(\Vert\mc{F}^{-1}(φ_i\hat{g})\Vert_{L^p}\right)_{i}\right\Vert_{\ell_w^q}$. We assume $\mc{Q}=(T_iQ+b_i)_{i}$, with $T_i\in{\rm GL}(\Bbb{R}^d),b_i\in\Bbb{R}^d$. Given a pr…
We show that there exists a strong uniform embedding from any proper metric space into any Banach space without cotype. Then we prove a result concerning the Lipschitz embedding of locally finite subsets of $\mathcal{L}_{p}$-spaces. We use this locally finite result to construct a coarse bi-Lipschitz embedding for proper subsets of any $\mathcal{L}_p$-space into any Banach space $X$ containing the $\ell_p^n$'s. Finally using an argument of G. Schechtman we prove that for general proper metric spaces and for Banach spaces without cotype a converse statement holds.
We show that every metric space with bounded geometry uniformly embeds into an explicit reflexive Banach space (a direct sum of l^p spaces). In the case of discrete groups we show the analogue of a-T-menability. That is, we construct a metrically proper affine isometric action on this Banach space.
We prove that the operator norm of every Banach space valued Calderon-Zygmund operator T on the weighted Lebesgue-Bochner space depends linearly on the Muckenhoupt A_2 characteristic of the weight. In parallel with the proof of the real-valued case, the proof is based on pointwise dominating every Banach space valued Calderon-Zygmund operator by a series of positive dyadic shifts. In common with the real-valued case, the pointwise dyadic domination relies on Lerner's local oscillation decomposition formula, which we extend from real-valued functions to Banach space valued functions. The extens…
The concept of a profile decomposition formalizes concentration compactness arguments on the functional-analytic level, providing a powerful refinement of the Banach-Alaoglu weak-star compactness theorem. We prove existence of profile decompositions for general bounded sequences in uniformly convex Banach spaces equipped with a group of bijective isometries, thus generalizing analogous results previously obtained for Sobolev spaces and for Hilbert spaces. Profile decompositions in uniformly convex Banach spaces are based on the notion of $Δ$-convergence by T. C. Lim instead of weak convergence…
We work on $\ell_p$ uniform Roe algebras associated to metric spaces, and on their mutual embedding. We generalize results of I. Farah and the authors to mutual embeddings of uniform Roe algebras of operators on $\ell_p$ spaces. Simultaneously, we obtain rigidity results for the classic uniform Roe $\mathrm{C}^*$-algebras which depend only on their Banach algebra structure.
We prove that if X is any complex separable infinite-dimensional Banach space with an unconditional Schauder decomposition, X supports an operator T which is chaotic and frequently hypercyclic. In contrast with the complex case, we observe that there are real Banach spaces with an unconditional basis which support no chaotic operator.
In our note we show the very close connection between the existence of a Finite Dimensional Decomposition (FDD for short) for a separable Banach space $X$ and the existence of a Lipschitz retraction of $X$ onto a small (in a certain precise sense) generating convex and compact subset $K$ of $X$. In one direction, if $X$ admits an FDD then we construct a Lipschitz retraction onto a small generating convex and compact set $K$. On the other hand, we prove that if $X$ admits a small generating compact Lipschitz retract then $X$ has the $π$-property. We note that it is still unknown if the $π$-prop…
A Banach space $\X$ has the complete continuity property (CCP) if each bounded linear operator from $L_1$ into $\X$ is completely continuous (i.e., maps weakly convergent sequences to norm convergent sequences). The main theorem shows that a Banach space failing the CCP (resp., failing the CCP and failing cotype) has a subspace with a finite dimensional decomposition (resp., basis) which fails the CCP.
