A generalization of Lozanovskii's result is proved. Let E be $k$-dimensional subspace of an $n$-dimensional Banach space with unconditional basis. Then there exist $x_1,..,x_k \subset E$ such that $B_E \p \subset \p absconv\{x_1,..,x_k\}$ and \[ \kla \frac{{\rm vol}(absconv\{x_1,..,x_k\})}{{\rm vol}(B_E)} \mer^{\frac{1}{k}} \kl \kla e\p \frac{n}{k} \mer^2 \pl .\] This answers a question of V. Milman which appeared during a GAFA seminar talk about the hyperplane problem. We add logarithmical estimates concerning the hyperplane conjecture for proportional subspaces and quotients of Banach spaces with unconditional basis.
File Length:27K
In this note we give a simple proof that every subspace of L_p, 2<p<infinity, with an unconditional basis has an equivalent norm determined by partitions and weights. Consequently L_p has a norm determined by partitions and weights.
We prove that the dual or any quotient of a separable reflexive Banach space with the unconditional tree property has the unconditional tree property. Then we prove that a separable reflexive Banach space with the unconditional tree property embeds into a reflexive Banach space with an unconditional basis. This solves several long standing open problems. In particular, it yields that a quotient of a reflexive Banach space with an unconditional finite dimensional decomposition embeds into a reflexive Banach space with an unconditional basis.
We prove that every lattice homomorphism acting on a Banach space $\mathcal{X}$ with the lattice structure given by an unconditional basis has a non-trivial closed invariant subspace. In fact, it has a non-trivial closed invariant ideal, which is no longer true for every positive operator on such a space. Motivated by these later examples, we characterize tridiagonal positive operators without non-trivial closed invariant ideals on $\mathcal{X}$ extending to this context a result of Grivaux on the existence of non-trivial closed invariant subspaces for tridiagonal operators.
The main result of the paper is that a system of invariant subspaces of a (completely non-unitary) Hilbert space contraction $T$ with finite defects (rank$(I-T^*T)<\infty$, rank$(I-TT^*)<\infty$) is an unconditional basis (Riesz basis) if and only if it is uniformly minimal. Results of such type are quite well known: for a system of eigenspaces of a contraction with defects $1-1$ it is simply the famous Carleson interpolation theorem. For general invariant subspaces of operators with defects $1-1$ such theorem was proved by V. I. Vasyunin. Then partial results for the case of finite defects we…
For a large class of Banach spaces, a general construction of subspaces without local unconditional structure is presented. As an application it is shown that every Banach space of finite cotype contains either $l_2$ or a subspace without unconditional basis, which admits a Schauder basis. Some other interesting applications and corollaries follow.
We prove that if $X$ is a complex strictly monotone sequence space with $1$-unconditional basis, $Y \subseteq X$ has no bands isometric to $\ell_2^2$ and $Y$ is the range of norm-one projection from $X$, then $Y$ is a closed linear span a family of mutually disjoint vectors in $X$. We completely characterize $1$-complemented subspaces and norm-one projections in complex spaces $\ell_p(\ell_q)$ for $1 \leq p, q < \infty$. Finally we give a full description of the subspaces that are spanned by a family of disjointly supported vectors and which are $1$-complemented in (real or complex) Orlicz or …
We give precise conditions under which the real interpolation space [Y_0,X_1]_{s,p} coincides with a closed subspace of the corresponding interpolation space [X_0,X_1]_{s,p} when Y_0 is a closed subspace of X_0 of codimension one. This result is applied to study the basis properties of nonharmonic Fourier series in Sobolev spaces H^s on an interval when 0<s<1. The main result: let E be a family of exponentials exp(i λ_n t) and E forms an unconditional basis in L^2 on an interval. Then there exist two number s_0, s_1 such that E forms an unconditional basis in H^s for s<s_0, E forms an uncondit…
We prove a general result on complemented unconditional basic sequences in Banach lattices and apply it to give some new examples of spaces with unique unconditional basis. We show that Tsirelson space and certain Nakano spaces have the unique unconditional bases. We also construct an example of a space with a unique unconditional basis with a complemented subspace failing to have a unique unconditional basis.
If a Banach space is saturated with basic sequences whose linear span embeds into the linear span of any subsequence, then it contains a minimal subspace. It follows that any Banach space is either ergodic or contains a minimal subspace. For a Banach space $X$ with an (unconditional) basis, topological 0-1 law type dichotomies are stated for block-subspaces of $X$ as well as for subspaces of $X$ with a successive FDD on its basis. A uniformity principle for properties of block-sequences, results about block-homogeneity, and a possible method to construct a Banach space with an unconditional ba…
We introduce an unconditional concept of almost squareness in order to provide a partial negative answer to the problem of existence of any dual almost square Banach space. We also take advantage of this notion to provide some criterion of non-duality of some subspaces of scalar as well as vector valued Lipschitz functions.
We show that any Banach space contains a continuum of non isomorphic subspaces or a minimal subspace. We define an ergodic Banach space $X$ as a space such that $E_0$ Borel reduces to isomorphism on the set of subspaces of $X$, and show that every Banach space is either ergodic or contains a subspace with an unconditional basis $ which is complementably universal for the family of its block-subspaces. We also use our methods to get uniformity results; for example, in combination with a result of B. Maurey, V. Milman and N. Tomczak-Jaegermann, we show that an unconditional basis of a Banach spa…
We construct an indecomposable reflexive Banach space $X_{ius}$ such that every infinite dimensional closed subspace contains an unconditional basic sequence. We also show that every operator $T\in \mathcal{B}(X_{ius})$ is of the form $λI+S$ with $S$ a strictly singular operator.
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…
We give an intrinsic characterisation of the separable reflexive Banach spaces that embed into separable reflexive spaces with an unconditional basis all of whose normalised block sequences with the same growth rate are equivalent. This uses methods of E. Odell and T. Schlumprecht.
For a constant $K\geq 1$ let $\mathfrak{B}_K$ be the class of pairs $(X,(\mathbf e_n)_{n\inω})$ consisting of a Banach space $X$ and an unconditional Schauder basis $(\mathbf e_n)_{n\inω}$ for $X$, having the unconditional basic constant $K_u\leq K$. Such pairs are called $K$-based Banach spaces. A based Banach space $X$ is rational if the unit ball of any finite-dimensional subspace spanned by finitely many basic vectors is a polyhedron whose vertices have rational coordinates in the Schauder basis of $X$. Using the technique of Fraïssé theory, we construct a rational $K$-based Banach space $…
Consider a finite collection $\{T_1, \ldots, T_J\}$ of differential operators with constant coefficients on $\mathbb{T}^2$ and the space of smooth functions generated by this collection, namely, the space of functions $f$ such that $T_j f \in C(\mathbb{T}^2)$. We prove that under a certain natural condition this space is not isomorphic to a quotient of a $C(S)$-space and does not have a local unconditional structure. This fact generalizes the previously known result that such spaces are not isomorphic to a complemented subspace of $C(S)$.
We present a Banach space $\mathfrak X$ with a Schauder basis of length $ω\_1$ which is saturated by copies of $c\_0$ and such that for every closed decomposition of a closed subspace $X=X\_0\oplus X\_1$, either $X\_0$ or $X\_1$ has to be separable. This can be considered as the non-separable counterpart of the notion of hereditarily indecomposable space. Indeed, the subspaces of $\mathfrak X$ have ``few operators'' in the sense that every bounded operator $T:X \to \mathfrak{X}$ from a subspace $X$ of $\mathfrak{X}$ into $\mathfrak{X}$ is the sum of a multiple of the inclusion and a $ω\_1$-sin…
If $E=\{e_i\}$ and $F=\{f_i\}$ are two 1-unconditional basic sequences in $L_1$ with $E$ $r$-concave and $F$ $p$-convex, for some $1\le r<p\le 2$, then the space of matrices $\{a_{i,j}\}$ with norm $\|\{a_{i,j}\}\|_{E(F)}=\big\|\sum_k \|\sum_l a_{k,l}f_l\|e_k\big\|$ embeds into $L_1$. This generalizes a recent result of Prochno and Schütt.
Assume that $T$ is a self-adjoint operator on a Hilbert space $\mathcal{H}$ and that the spectrum of $T$ is confined in the union $\bigcup_{j\in J}Δ_j$, $J\subseteq\mathbb{Z}$, of segments $Δ_j=[α_j, β_j]\subset\mathbb{R}$ such that $α_{j+1}>β_j$ and $$ \inf_{j} \left(α_{j+1}-β_j\right) = d > 0. $$ If $B$ is a bounded (in general non-self-adjoint) perturbation of $T$ with $\|B\|=:b<d/2$ then the spectrum of the perturbed operator $A=T+B$ lies in the union $\bigcup_{j\in J} U_{b}(Δ_j)$ of the mutually disjoint closed $b$-neighborhoods $U_{b}(Δ_j)$ of the segments $Δ_j$ in $\mathbb{C}$. Let $Q_j…
Consider a finite collection $\{T_1, \ldots, T_J\}$ of differential operators with constant coefficients on $\mathbb{T}^n$ ($n\geq 2$) and the space of smooth functions generated by this collection, namely, the space of functions $f$ such that $T_j f \in C(\mathbb{T}^n)$, $1\leq j\leq J$. We prove that if there are at least two linearly independent operators among their senior parts (relative to some mixed pattern of homogeneity), then this space does not have local unconditional structure. This fact generalizes the previously known result that such spaces are not isomorphic to a complemented …
A Banach space $X$ with a Schauder basis is defined to have the restricted quotient hereditarily indecomposable (QHI) property if $X/Y$ is hereditarily indecomposable (HI) for any infinite codimensional subspace $Y$ with a successive finite-dimensional decomposition on the basis of $X$. A reflexive space with the restricted QHI property is in particular HI, has HI dual, and is saturated with subspaces which are HI and have HI dual. The following dichotomy theorem is proved: any infinite dimensional Banach space contains a quotient of subspace which either has an unconditional basis, or has the…
We prove a structural property of the class of unconditionally saturated separable Banach spaces. We show, in particular, that for every analytic set $\aaa$, in the Effros-Borel space of subspaces of $C[0,1]$, of unconditionally saturated separable Banach spaces, there exists an unconditionally saturated Banach space $Y$, with a Schauder basis, that contains isomorphic copies of every space $X$ in the class $\aaa$.
In this paper, we study the descriptive complexity of some inevitable classes of Banach spaces. Precisely, as shown in [Go], every Banach space either contains a hereditarily indecomposable subspace or an unconditional basis, and, as shown in [FR], every Banach space either contains a minimal subspace or a continuously tight subspace. In these notes, we study the complexity of those inevitable classes as well as the complexity of containing a subspace in any of those classes.
In this note we show that every Banach space $X$ not containing $\ell_1^n$ uniformly and with unconditional basis contains an arbitrarily distortable subspace.
If Z is a quotient of a subspace of a separable Banach space X, and V is any separable Banach space, then there is a Banach couple (A_0,A_1) such that A_0 and A_1 are isometric to $X\oplus V$, and any intermediate space obtained using the real or complex interpolation method contains a complemented subspace isomorphic to Z. Thus many properties of Banach spaces, including having non-trivial cotype, having the Radon-Nikodym property, and having the analytic unconditional martingale difference sequence property, do not pass to intermediate spaces.
If a Banach space has an unconditional basis it either contains a continuum of non isomorphic subspaces or is isomorphic to its square and hyperplanes and satisfies other regularity properties. An HI Banach space contains a continuum of non isomorphic subspaces.
We show that the classification problem for genus n Banach spaces can be reduced to the unconditionally primary case and that the critical case there is n=2. It is further shown that a genus n Banach space is unconditionally primary if and only if it contains a complemented subspace of genus (n-1). We begin the process of classifying the genus 2 spaces by showing they have a strong decomposition property.
Following Davie's example of a Banach space failing the approximation property [D], we show how to construct a Banach space E which is asymptotically Hilbertian and fails the approximation property. Moreover, the space E is shown to be a subspace of a space with an unconditional basis which is ``almost'' a weak Hilbert space and which can be written as the direct sum of two subspaces all of whose subspaces have the approximation property.
We construct a family of separable Hilbertian operator spaces, such that the relation of complete isomorphism between the subspaces of each member of this family is complete $\ks$. We also investigate some interesting properties of completely unconditional bases of the spaces from this family. In the Banach space setting, we construct a space for which the relation of isometry of subspaces is equivalent to equality of real numbers.
In the first part of our paper, we show that $\ell_\infty$ has a dense linear subspace which admits an equivalent real analytic norm. As a corollary, every separable Banach space, as well as $\ell_1(\mathfrak{c})$, also has a dense linear subspace which admits an analytic renorming. By contrast, no dense subspace of $c_0(ω_1)$ admits an analytic norm. In the second part, we prove (solving in particular an open problem of Guirao, Montesinos, and Zizler) that every Banach space with a long unconditional Schauder basis contains a dense subspace that admits a $C^{\infty}$-smooth norm. Finally, we …
We give new and simple proofs of some classical properties of hereditarily indecomposable Banach spaces, including the result by W. T. Gowers and B. Maurey that a hereditarily indecomposable Banach space cannot be isomorphic to a proper subspace of itself. These proofs do not make use of spectral theory and therefore, they work in real spaces as well as in complex spaces. We use our method to prove some new results. For example, we give a quantitative version of the latter result by Gowers and Maurey and deduce that Banach spaces that are isometric to all of their subspaces should have an unco…
A Banach space E is c_0-saturated if every closed infinite dimensional subspace of E contains an isomorph of c_0. A c_0-saturated Banach space with an unconditional basis which has a quotient space isomorphic to l^2 is constructed.
We construct for each $0<p\le 1$ an infinite collection of subspaces of $\ell_p$ that extend the example from [J. Lindenstrauss, On a certain subspace of $\ell_{1}$, Bull. Acad. Polon. Sci. Sér. Sci. Math. Astronom. Phys. 12 (1964), 539-542] of a subspace of $\ell_{1}$ with no unconditional basis. The structure of this new class of $p$-Banach spaces is analyzed and some applications to the general theory of $\mathcal{L}_{p}$-spaces for $0<p<1$ are provided. The introduction of these spaces serves the purpose to develop the theory of conditional quasi-greedy bases in $p$-Banach spaces for $p<1$…
A Banach space contains either a minimal subspace or a continuum of incomparable subspaces. General structure results for analytic equivalence relations are applied in the context of Banach spaces to show that if $E_0$ does not reduce to isomorphism of the subspaces of a space, in particular, if the subspaces of the space admit a classification up to isomorphism by real numbers, then any subspace with an unconditional basis is isomorphic to its square and hyperplanes and has an isomorphically homogeneous subsequence.
We answer the question of W.T. Gowers, giving an example of a bounded operator on a subspace of Gowers unconditional space which is not a strictly singular perturbation of a restriction of a diagonal operator. We make some observations on operators in arbitrary tight by support Banach space, showing in particular that in such space no two isomorphic infinitely dimensional subspaces form a direct sum.
The paper is devoted to two particular cases of the following general problem. Let $α$ and $β$ be two types of bases in Banach spaces. Let a Banach space $X$ has bases of both types and a subspace $M\subset X^*$ contains the sequence of biorthogonal functionals of some $α$-basis in $X$. Does $M$ contain a sequence of biorthogonal functionals of some $β$-basis in $X$? The following particular cases are considered: $(α, β)$=(Schauder bases, unconditional bases), $(α, β)$=(Nonlinear operational bases, linear operational bases). The paper contains an investigation of some of the spaces constructed…
We show for $2\le p<\infty$ and subspaces $X$ of quotients of $L_{p}$ with a $1$-unconditional finite-dimensional Schauder decomposition that $K(X,\ell_{p})$ is an $M$-ideal in $L(X,\ell_{p})$.
We show that the space $\text{Lip}_0(\mathbb R^n)$ is the dual space of $L^{1}({\mathbb R}^{n}; {\mathbb R}^{n})/N$ where $N$ is the subspace of $L^{1}({\mathbb R}^{n}; {\mathbb R}^{n})$ consisting of vector fields whose divergence vanishes. We prove that although the quotient space $L^{1}({\mathbb R}^{n}; {\mathbb R}^{n})/N$ is weakly sequentially complete, the subspace $N$ is not nicely placed - in other words, its unit ball is not closed for the topology $τ_m$ of local convergence in measure. We prove that if $Ω$ is a bounded open star-shaped subset of $\mathbb {R}^n$ and $X$ is a closed su…
If $X$ is a closed subspace of a Banach space $L$ which embeds into a Banach lattice not containing $\ell_\infty^n$'s uniformly and $L/X$ contains $\ell_\infty^n$'s uniformly, then $X$ cannot have local unconditional structure in the sense of Gordon-Lewis (GL-{\sl l.u.st.}).
For every $ 1 < p < \infty $ an isomorphically polyhedral Banach space $E_p$ is constructed having an unconditional basis and admitting a quotient isomorphic to $\ell_p$. It is also shown that $E_p$ is not isomorphic to a subspace of a $C(K)$ space for every countable and compact metric space $K$.
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)$).
Let $(e_i)_i$ denote the unit vector basis of $\ell_p$, $1\leq p< \infty$, or $c_0$. We construct a reflexive Banach space with an unconditional basis that admits $(e_i)_i$ as a uniformly unique spreading model while it has no subspace with a unique asymptotic model, and hence it has no asymptotic-$\ell_p$ or $c_0$ subspace. This solves a problem of E. Odell. We also construct a space with a unique $\ell_1$ spreading model and no subspace with a uniformly unique $\ell_1$ spreading model. These results are achieved with the utilization of a new version of the method of saturation under constrai…
We shall present a new characterization of greedy bases and 1-greedy bases in terms of certain functionals defined using distances to one dimensional subspaces generated by the basis. We also introduce a new property that unifies the notions of unconditionality and democracy and allows us to recover a better dependence on the constants.
We characterize 1-complemented subspaces of finite codimension in strictly monotone one-$p$-convex, $2<p<\infty,$ sequence spaces. Next we describe, up to isometric isomorphism, all possible types of 1-unconditional structures in sequence spaces with few surjective isometries. We also give a new example of a class of real sequence spaces with few surjective isometries.
It is shown that variants of the HI methods could yield objects closely connected to the classical Banach spaces. Thus we present a new $c_0$ saturated space, denoted as $\mathfrak{X}_0$, with rather tight structure. The space $\mathfrak{X}_0$ is not embedded into a space with an unconditional basis and its complemented subspaces have the following structure. Everyone is either of type I, namely, contains an isomorph of $\mathfrak{X}_0$ itself or else is isomorphic to a subspace of $c_0$ (type II). Furthermore for any analytic decomposition of $\mathfrak{X}_0$ into two subspaces one is of type…
In this paper we investigate a Gaussian average property of Banach spaces. This property is weaker than the Gordon Lewis property but closely related to this and other unconditional structures. It is also shown that this property implies that certain Hilbert space valued operators defined on subspaces of the given space can be extended.
We consider 1-complemented subspaces (ranges of contractive projections) of vector-valued spaces $\ell_p(X)$, where $X$ is a Banach space with a 1-unconditional basis and $p \in (1,2)\cup (2,\infty)$. If the norm of $X$ is twice continuously differentiable and satisfies certain conditions connecting the norm and the notion of disjointness with respect to the basis, then we prove that every 1-complemented subspace of $\ell_p(X)$ admits a basis of mutually disjoint elements. Moreover, we show that every contractive projection is then an averaging operator. We apply our results to the space $\ell…
A problem of Banach asks whether every infinite-dimensional Banach space which is isomorphic to all its infinite-dimensional subspaces must be isomorphic to a separable Hilbert space. In this paper we prove a result of a Ramsey-theoretic nature which implies an interesting dichotomy for subspaces of Banach spaces. Combined with a result of Komorowski and Tomczak-Jaegermann, this gives a positive answer to Banach's problem. We then generalize the Ramsey-theoretic result and deduce a further dichotomy for Banach spaces with an unconditional basis.
We study conditions on a Banach frame that ensures the validity of a reconstruction formula. In particular, we show that any Banach frames for (a subspace of) $L_p$ or $L_{p,q}$ ($1\le p < \infty$) with respect to a solid sequence space always satisfies an unconditional reconstruction formula. The existence of reconstruction formulae allows us to prove some James-type results for atomic decompositions: an unconditional atomic decomposition (or unconditional Schauder frame) for $X$ is shrinking (respectively, boundedly complete) if and only if $X$ does not contain an isomorphic copy of $\ell_1$…
This paper contains results concerning the Borel reduction of the relation $E_0$ of eventual agreement between sequences of 0's and 1's, to the relation of permutative equivalence between basic sequences in a Banach space. For more clarity in this abstract, we state these results in terms of classification by real numbers. If $R$ is some (analytic) equivalence relation on a Polish space $X$, it is said that $R$ is classifiable (by real numbers) if there exists a Borel map $g$ from $X$ into the real line such that $x R x'$ if and only if $g(x)=g(x')$. If $R$ is not classifiable, there must be $…
Given Banach spaces E and F, we denote by ${\mathcal P}(^k!E,F)$ the space of all k-homogeneous (continuous) polynomials from E into F, and by ${\mathcal P}_{wb}(^k!E,F)$ the subspace of polynomials which are weak-to-norm continuous on bounded sets. It is shown that if E has an unconditional finite dimensional expansion of the identity, the following assertions are equivalent: (a) ${\mathcal P}(^k!E,F)={\mathcal P}_{wb}(^k!E,F)$; (b) ${\mathcal P}_{wb}(^k!E,F)$ contains no copy of $c_0$; (c) ${\mathcal P}(^k!E,F)$ contains no copy of $\ell_\infty$; (d) ${\mathcal P}_{wb}(^k!E,F)$ is complement…
A {\em hereditarily indecomposable (or H.I.)} Banach space is an infinite dimensional Banach space such that no subspace can be written as the topological sum of two infinite dimensional subspaces. As an easy consequence, no such space can contain an unconditional basic sequence. This notion was first introduced in 1993 by T.Gowers and B.Maurey, who constructed the first known example of a hereditarily indecomposable space. Gowers-Maurey space is reflexive, however it is not uniformly convex. In this article, we provide an example of a uniformly convex hereditarily indecomposable space, using …
For any closed subset $F$ of $[1,\infty]$ which is either finite or consists of the elements of an increasing sequence and its limit, a reflexive Banach space $X$ with a 1-unconditional basis is constructed so that in each block subspace $Y$ of $X$, $\ell_p$ is finitely block represented in $Y$ if and only if $p \in F$. In particular, this solves the question as to whether the stabilized Krivine set for a Banach space had to be connected. We also prove that for every infinite dimensional subspace $Y$ of $X$ there is a dense subset $G$ of $F$ such that the spreading models admitted by $Y$ are e…
For a Banach space $X$, a sequence of Banach spaces $(Y_n)$, and a Banach space $Z$ with an unconditional basis, D. Alspach and B. Sari introduced a generalization of a Bourgain tree called a $(\oplus_n Y_n)_Z$-tree in $X$. These authors also prove that any separable Banach space admitting a $(\oplus_n Y_n)_Z$-tree with order $ω_1$ admits a subspace isomorphic to $(\oplus_n Y_n)_Z$. In this paper we give two new proofs of this result.
