On Subspaces and Quotients of Banach Spaces C(K, X)

 We study the relation of to the subspaces and quotients of Banach spaces of continuous vector-valued functions , where K is an arbitrary dispersed compact set. More precisely, we prove that every infinite dimensional closed subspace of totally incomparable to X contains a copy of complemented in . This is a natural continuation of results of Cembranos-Freniche and Lotz-Peck-Porta. We also improve our result when K is homeomorphic to an interval of ordinals. Next we show that complemented subspaces (resp., quotients) of which contain no copy of are isomorphic to complemented subspaces (resp., quotients) of some finite sum of X. As a consequence, we prove that every infinite dimensional quotient of which is quotient incomparable to X, contains a complemented copy of . Finally we present some more geometric properties of spaces. Received 8 November 2000; in revised form 7 December 2001     

Saturating constructions for normed spaces

We prove several results of the following type: given finite dimensional normed space V there exists another space X with log dim X = O(log dim V) and such that every subspace (or quotient) of X, whose dimension is not too small, contains a further subspace isometric to V. This sheds new light on the structure of such large subspaces or quotients (resp. large sections or projections of convex bodies) and allows us to solve several problems stated in the 1980s by V. Milman.     

Orthogonally Complemented Subspaces in Banach Spaces

In this paper, we extend the Moreau (Riesz) decomposition theorem from Hilbert spaces to Banach spaces. Criteria for a closed subspace to be (strongly) orthogonally complemented in a Banach space are given. We prove that every closed subspace of a Banach space X with dim X ≥ 3 (dim X ≤ 2) is strongly orthognally complemented if and only if the Banach space X is isometric to a Hilbert space (resp. strictly convex), which is complementary to the well-known result saying that every closed subspace of a Banach space X is topologically complemented if and only if the Banach space X is isomorphic to a Hilbert space.     

The density condition in subspaces and quotients of Frechet spaces

The aim of this note is to investigate the topological structure (in particular the density condition) of subspaces and separated quotients of Fréchet spaces. Our main result is the following one: LetE be a Fréchet space which is neither Montel nor isomorphic to a closed subspace ofX × , withX a Banach space, also assume thatE can be written asFG withF andG infinite dimensional closed subspaces ofE not isomorphic to , thenE contains a closed subspace with basis and not satisfying the density condition. We also prove that every Köthe echelon space of orderp, 1<p<, which is not quasinormable has a separated quotient with basis which does not satisfy the density condition.     

On solutions to the Schroeder-Bernstein problem for Banach spaces

We investigate the geometry of the Banach spaces failing Schroeder-Bernstein Property (SBP). Initially we prove that every complex hereditarily indecomposable Banach space H is isomorphic to a complemented subspace of a Banach space S(H) that fails SBP in such a way that the only complemented hereditarily indecomposable subspaces of S(H) are those which are nearly isomorphic to H. Then we show that every Banach space having Mazur property is isomorphic to some complemented subspace of a Banach space which is not isomorphic to its square but isomorphic to its cube. Finally, we prove that if a Banach space X fails SBP then either it is not primary or the Grothendieck group K₀(L(X)) of the algebra of operators on X is not trivial.     

Saturating constructions for normed spaces II

We prove several results of the following type: given finite-dimensional normed space V possessing certain geometric property there exists another space X having the same property and such that (1) and (2) every subspace of X, whose dimension is not “too small”, contains a further well-complemented subspace nearly isometric to V. This sheds new light on the structure of large subspaces or quotients of normed spaces (resp., large sections or linear images of convex bodies) and provides definitive solutions to several problems stated in the 1980s by Milman.     

Some approximation properties of Banach spaces and Banach lattices

The notion of the bounded approximation property = BAP (resp. the uniform approximation property = UAP) of a pair [Banach space, its subspace] is used to prove that if X is a ℒ _∞-space, Y a subspace with the BAP (resp. UAP), then the quotient X/Y has the BAP (resp. UAP). If Q: X → Z is a surjection, X is a ℒ ₁-space and Z is a ℒ _p -space (1 ≤ p ≤ ∞), then ker Q has the UAP. A complemented subspace of a weakly sequentially complete Banach lattice has the separable complementation property = SCP. A criterion for a space with GL-l.u.st. to have the SCP is given. Spaces which are quotients of weakly sequentially complete lattices and are uncomplemented in their second duals are studied. Examples are given of spaces with the SCP which have subspaces that fail the SCP. The results are applied to spaces of measures on a compact Abelian group orthogonal to a fixed Sidon set and to Sobolev spaces of functions of bounded variation on ℝ ⁿ .     

Algebra descent spectrum of operators

We say that a Banach space X satisfies the “descent spectrum equality” (in short, DSE) whenever, for every bounded linear operator T on X, the descent spectrum of T as an operator coincides with the descent spectrum of T as an element of the algebra of all bounded linear operators on X. We prove that the DSE is fulfilled by ℓ₁, all Hilbert spaces, and all Banach spaces which are not isomorphic to any of their proper quotients (so, in particular, by the hereditarily indecomposable Banach spaces [8]), but not by ℓ _p , for 1 < p ≤ ∞ with p ≠ 2. Actually, a Banach space is not isomorphic to any of its proper quotients if and only if it is not isomorphic to any of its proper complemented subspaces and satisfies the DSE.     

Exact and explicit analytic solutions of an extended Jabotinsky functional differential equation

A Banach space X will be called extensible if every operator E → X from a subspace E ⊂ X can be extended to an operator X → X. Denote by dens X. The smallest cardinal of a subset of X whose linear span is dense in X, the space X will be called automorphic when for every subspace E ⊂ X every into isomorphism T: E → X for which dens X/E = dens X/TE can be extended to an automorphism X → X. Lindenstrauss and Rosenthal proved that c ₀ is automorphic and conjectured that c ₀ and ℓ₂ are the only separable automorphic spaces. Moreover, they ask about the extensible or automorphic character of c ₀(Γ), for Γ uncountable. That c ₀(Γ) is extensible was proved by Johnson and Zippin, and we prove here that it is automorphic and that, moreover, every automorphic space is extensible while the converse fails. We then study the local structure of extensible spaces, showing in particular that an infinite dimensional extensible space cannot contain uniformly complemented copies of ℓ _n ^p , 1 ≤ p < ∞, p ≠ 2. We derive that infinite dimensional spaces such as L _p (μ), p ≠ 2, C(K) spaces not isomorphic to c ₀ for K metric compact, subspaces of c ₀ which are not isomorphic to c ₀, the Gurarij space, Tsirelson spaces or the Argyros-Deliyanni HI space cannot be automorphic. The work of the first author has been supported in part by project MTM2004-02635     

On the Nonseparable Subspaces of J(η) and C([1, η])

Let η be a regular cardinal. It is proved, among other things, that: (i) if J(η) is the corresponding long James space, then every closed subspace Y ⊆ J(η), with Dens (Y) = η, has a copy of 𝓁₂(η) complemented in J(η); (ii) if Y is a closed subspace of the space of continuous functions C([1, η]), with Dens (Y) = η, then Y has a copy of c₀(η) complemented in C([1, η]). In particular, every nonseparable closed subspace of J(ω₁) (resp. C([1, ω₁])) contains a complemented copy of 𝓁₂(ω₁) (resp.c₀(ω₁)). As consequence, we give examples (J(ω₁), C([1, ω₁]), C(V), V being the “long segment”) of Banach spaces X with the hereditary density property (HDP) (i.e., for every subspace Y ⊆ X we have that Dens (Y) = w*–Dens (Y*)), in spite of these spaces are not weakly Lindelof determined (WLD).     

A property of strictly singular one-to-one operators

We prove that ifT is a strictly singular one-to-one operator defined on an infinite dimensional Banach spaceX, then for every infinite dimensional subspaceY ofX there exists an infinite dimensional subspaceZ ofX such thatZ∩Y is infinite dimensional,Z contains orbits ofT of every finite length and the restriction ofT toZ is a compact operator. The research was partially supported by NSF.     

Weakly stable Banach spaces

The class of stable Banach spaces, inspired by the stability theory in mathematical logic, was introduced by Krivine and Maurey and provided the proper context for the abstract formulation of Aldous’ result of subspaces ofL ¹. In this paper we study the wider class of weakly stable Banach spaces, where the exchangeability of the iterated limits occurs only for sequences belonging to weakly compact subsets, introduced independently by Garling (in an earlier unpublished version of his expository paper on stable Banach spaces brought recently to our attention) and by the authors. Taking into account Rosenthal’s application of the study of pointwise compact sets of Baire-1 functions (Rosenthal compact spaces) in the study of Banach spaces (for whichl ¹ does not embed isomorphically) and of the study of Rosenthal compact sets by Rosenthal and Bourgain-Fremlin-Talagrand, we prove the following analogue of the Krivine-Maurey theorem for weakly stable spaces:If X is infinite dimensional and weakly stable then either l ^p for some p≧1or c_o embeds isomorphically in X (§1). Garling (in the above reference) proved this result under the additional assumption thatX* is separable. We also construct an example of a Banach spaceX which is weakly stable, without an equivalent stable norm, and such thatl ² embeds isomorphically in every infinite dimensional subspace ofX (§3).     

Homogeneous spaces of curvature bounded below

We prove that every locally connected quotient G/H of a locally compact, connected, first countable topological group G by a compact subgroup H admits a G-invariant inner metric with curvature bounded below. Every locally compact homogeneous space of curvature bounded below is isometric to such a space. These metric spaces generalize the notion of Riemannian homogeneous space to infinite dimensional groups and quotients which are never (even infinite dimensional) manifolds. We study the geometry of these spaces, in particular of non-negatively curved homogeneous spaces. Dedicated to the memory of A. D. Alexandrov     

A note on operator Banach spaces containing a complemented copy of c0

Let X and Y Banach spaces. Two new properties of operator Banach spaces are introduced. We call these properties "boundedly closed" and "d-boundedly closed". Among other results, we prove the following one. Let U(X, Y){\cal U}(X, Y) an operator Banach space containing a complemented copy of c₀. Then we have: 1) If U(X, Y){\cal U}(X, Y) is boundedly closed then Y contains a copy of c₀. 2) If U(X, Y){\cal U}(X, Y) is d-boundedly closed, then X^* or Y contains a copy of c₀.     

Multilinear Operators on C(K, X) Spaces

Given Banach spaces X, Yand a compact Hausdorff space K, we use polymeasures to give necessary conditions for a multilinear operator from C(K, X) into Yto be completely continuous (resp. unconditionally converging). We deduce necessary and sufficient conditions for Xto have the Schur property (resp. to contain no copy of c ₀), and for Kto be scattered. This extends results concerning linear operators.     

On the complemented subspaces ofX p

In this paper we prove some results related to the problem of isomorphically classifying the complemented subspaces ofX _p.We characterize the complemented subspaces ofX _pwhich are isomorphic toX _pby showing that such a space must contain a canonical complemented subspace isomorphic toX _p.We also give some characterizations of complemented subspaces ofX _pisomorphic tol _p⊕l ₂. Research supported in part by NSF grant DMS 890237.     

Asymptotically isometric copies of c0 and l in certain Banach spaces

If X is a separable Banach space, then X∗ contains an asymptotically isometric copy of l¹ if and only if there exists a quotient space of X which is asymptotically isometric to c₀. If X is an infinite-dimensional normed linear space and Y is any Banach space containing an asymptotically isometric copy of c₀, then L(X,Y) contains an isometric copy of l^∞. If X and Y are two infinite-dimensional Banach spaces and Y contains an asymptotically isometric copy of c₀, then contains a complemented asymptotically isometric copy of c₀.     

Large sublattices in subsets of Banach lattices

A classical problem (initially studied by N. Kalton and A. Wilansky) concerns finding closed infinite dimensional subspaces of X / Y, where Y is a subspace of a Banach space X. We study the Banach lattice analogue of this question. For a Banach lattice X, we prove that X / Y contains a closed infinite dimensional sublattice under the following conditions: either (i) Y is a closed infinite codimensional subspace of X, and X is either order continuous or a C(K) space, where K is a compact subset of \({\mathbb {R}}^n\); or (ii) Y is the range of a compact operator.     

On minimally subspace-comparable F-spaces

An F-space (complete metric linear space) is minimal if it admits no strictly weaker linear Hausdorff topology, and quotient (q-) minimal if all of its Hausdorff quotients are minimal. Two F-spaces are (q-minimally) minimally s-comparable if they have no isomorphic (q-) nonminimal closed linear subspaces. It is proved that if X, Y are (q-minimally (resp., minimally) s-comparable F-subspaces of an arbitrary topological linear space E (resp., with X ∩ Y = {0}), then X + Y is an F-subspace of E. Also, if X₁,…, X_n are F-subspaces of E, then X₁ + ··· + X_n is an F-subspace of E, provided that $\text{X}{}_{\mathrm{i}}\text{F}\text{and}\text{X}{}_{\mathrm{j}}\text{G}$ are minimally s-comparable whenever F and G are closed minimal subspaces of X_i and X_j, i ≠ j. These are analogs of some results due to Gurariǐ and Rosenthal concerning totally incomparable Banach spaces.     

Ergodic Banach spaces

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₀ 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. We show that an unconditional basis of a Banach space, of which every block-subspace is complemented, must be asymptotically c₀ or ?_p, and we deduce some new characterisations of the classical spaces c₀ and ?_p.