On Orlicz sequence spaces. II

Given a separable Orlicz sequence spacel _F we investigate those Orlicz sequence spacesl _f which are isomorphic to subspaces (respectively complemented subspaces) ofl _F. We give in particular an example of a reflexive Orlicz sequence space which does not contain anyl _p, 1<p<∞, as a complemented subspace.     

Banach Spaces with Property (M) and their Szlenk Indices

We show that a separable Banach space with property (M*) has a Szlenk index equal to ω₀, and a norm with an optimal modulus of asymptotic uniform smoothness. From this we derive a condition on the Szlenk functions of the space and its dual which characterizes embeddability into c ₀ or an ℓ _p -sum of finite dimensional spaces. We also prove that two Lipschitz-isomorphic Orlicz sequence spaces contain the same ℓ _p -spaces.      

The separable extension problem

It is proved that every infinite dimensional separable Banach space having the separable extension property is isomorphic to c₀. It is also proved that every Banach space with a separable dual is “close” to a space of continuous functions on a countable compact space.     

Analytic and polyhedral approximation of convex bodies in separable polyhedral Banach spaces

A closed, convex and bounded setP in a Banach spaceE is called a polytope if every finite-dimensional section ofP is a polytope. A Banach spaceE is called polyhedral ifE has an equivalent norm such that its unit ball is a polytope. We prove here:

On the Orlicz function spacesL M (0, ∞)

The isomorphic properties of the Orlicz function spacesL _M (0, ∞) are investigated. Especially we treat the question, whether theL _p-spaces are the only symmetric function spaces on (0, ∞), which are isomorphic to a symmetric function space on (0, 1). For the class of slowly varying Orlicz functions we answer this in the affirmative, and we also prove some results concerning the general case, which indicate, that it might be true there also.     

On james’s paper “separable conjugate spaces”

For every separable Banach spaceX there is a Banach spaceY with a separable dual such thatY ⊕X* ≈Y**. There is also a separable spaceZ so thatZ**/JZ is isomorphic toX.     

Finite representability ofl p(X) in Orlicz function spaces

We show that ifl _p(X),p ≠ 2, is finitely crudely representable in an Orlicz spaceL _ϕ (which does not containc ₀) then the Banach spaceX is isomorphic to a subspace ofL _p. The same remains true forp = 2 whenL _ϕ is 2-concave or 2-convex, or ifX has local unconditional structure. We extend a theorem of Guerre and Levy to Orlicz function spaces.     

On the complemented subspaces problem

A Banach space is isomorphic to a Hilbert space provided every closed subspace is complemented. A conditionally σ-complete Banach lattice is isomorphic to anL _p -space (1≤p<∞) or toc ₀(Γ) if every closed sublattice is complemented.     

On smooth, nonlinear surjections of banach spaces

It is shown that (1) every infinite-dimensional Banach space admits aC ¹ Lipschitz map onto any separable Banach space, and (2) if the dual of a separable Banach spaceX contains a normalized, weakly null Banach-Saks sequence, thenX admits aC ^∞ map onto any separable Banach space. Subsequently, we generalize these results to mappings onto larger target spaces. Supported by an NSF Postdoctoral Fellowship in Mathematics.     

The problem of envelopes for Banach spaces

LetX be a Banach space. A Banach spaceY is an envelope ofX if (1)Y is finitely representable inX; (2) any Banach spaceZ finitely representable inX and of density character not exceeding that ofY is isometric to a subspace ofY. Lindenstrauss and Pelczynski have asked whether any separable Banach space has a separable envelope. We give a negative answer to this question by showing the existence of a Banach space isomorphic tol ₂, which has no separable envelope. A weaker positive result holds: any separable Banach space has an envelope of density character ≦ℵ₁ (assuming the continuum hypothesis).     

A non-reflexive Grothendieck space that does not containl ∞

A compact spaceS is constructed such that, in the dual Banach spaceC(S)^*, every weak^* convergent sequence is weakly convergent, whileC(S) does not have a subspace isomorphic tol _∞. The construction introduces a weak version of completeness for Boolean algebras, here called the Subsequential Completeness Property. A related construction leads to a counterexample to a conjecture about holomorphic functions on Banach spaces. A compact spaceT is constructed such thatC(T) does not containl _∞ but does have a “bounding” subset that is not relatively compact. The first of the examples was presented at the International Conference on Banach spaces, Kent, Ohio, 1979.     

Separabilite vague dans l’espace des mesures sur un compact

Using the continuum hypothesis we construct a compact spaceK such that the spaceM (K)) of measures onK is vaguely separable, i.e., thatC (K) is injected intol ^∞, but thatC (K) is not isomorphic to a subspace ofl ^∞. It is shown that ifC(K) is isomorphic to a subspace ofC (K) is positively isometric to a subspace ofl ^∞(⌈). Nevertheless, under the continuum hypothesis one can construct a compact spaceL such that the spaceM ₁ ⁺ (L) of probabilities onL is vaguely separable, butL cannot be the support of a measureμ withL ¹(μ) separable in the norm.      

Extremely weakly unconditionally convergent series

It is proved that if Σ _i=1 ^∞ X _i is a non-convergent series in a Banach spaceX such that Σ _i=1 ^∞ |f(X _i )|<∞ for all extreme pointsf of the unit ball ofX*, thenX contains a subspace isomorphic toc ₀, improving a result of Bessaga and Pelczynski. The proof uses Fonf’s result that Lindenstrauss-Phelps spaces contain isomorphs ofc ₀. Supported in part by NSF-MCS-8002393.     

Function spaces not containing ℓ<Subscript>1</Subscript>

For Ω bounded and open subset of andX a reflexive Banach space with 1-symmetric basis, the function spaceJF _X (Ω) is defined. This class of spaces includes the classical James function space. Every member of this class is separable and has non-separable dual. We provide a proof of topological nature thatJF _X (Ω) does not contain an isomorphic copy of ℓ₁. We also investigate the structure of these spaces and their duals.     

Uniform embeddings of metric spaces and of banach spaces into hilbert spaces

It is proved using positive definite functions that a normed spaceX is unifomly homeomorphic to a subset of a Hilbert space, if and only ifX is (linearly) isomorphic to a subspace of aL ₀(μ) space (=the space of the measurable functions on a probability space with convergence in probability). As a result we get thatl _p (respectivelyL _p (0, 1)), 2<p<∞, is not uniformly embedded in a bounded subset of itself. This answers negatively the question whether every infinite dimensional Banach space is uniformly homeomorphic to a bounded subset of itself. Positive definite functions are also used to characterize geometrical properties of Banach spaces. Partially supported by the National Science Foundation, Grant MCS-79-03322. Partially supported by the National Science Foundation, Grant MCS-80-06073.     

Extremal properties of contraction semigroups onc 0

For any complex Banach spaceX, letJ denote the duality mapping ofX. For any unit vectorx inX and any (C ₀) contraction semigroup (T _t ) _t>0 onX, Baillon and Guerre-Delabriere proved that ifX is a smooth reflexive Banach space and if there isx ^*∈J(x) such that ÷〈(T(t)x, J(x)〈÷→1 ast→∞, then there is a unit vectory∈X which is an eigenvector of the generatorA of (T _t ) _t>0 associated with a purely imaginary eigenvalue. They asked whether this result is still true ifX is replaced byc ₀. In this article, we show the answer is negative Partial results of this paper were obtained when the author attended the International Conference of Convexity at the University of Marne-La-Vallée. He would like to express his gratitude for the kind hospitality offered to him. He would also like to thank Profs. Goldstein and Jamison for their valuable suggestions.     

Subspaces of<Emphasis Type="Italic">l</Emphasis><Superscript>∞</Superscript> (Γ) without quasicomplements

J. Lindenstrauss proves in [L] thatc ₀(Γ) is not quasicomplemented inl ^∞(Γ) while H. P. Rosenthal in [R] proves that subspaces, whose dual balls are weak* sequentially compact and weak* separable, are quasicomplemented inl ^∞(Γ). In this note it is proved that weak* separability of the dual is the precise condition determining whether a subspace, without isomorphic copies ofl ₁ and whose dual balls are weak* sequentially compact, is quasicomplemented or not inl ^∞(Γ). Especially spaces isomorphic tol _p(Γ), for 1<p<∞, have no quasicomplements inl ^∞(Γ) if Γ is uncountable.     

Norms with locally Lipschitzian derivatives

If a separable Banach spaceX admits a real valued function ф with bounded nonempty support, φ 艂 is locally Lipschitzian and if no subspace ofX is isomorphic toc _o, thenX admits an equivalent twice Gateaux differentiable norm whose first Frechet differential is Lipschitzian on the unit sphere ofX. This author's research supported in part by NSERC (Canada) Grant A7535.     

Polyhedrality in Orlicz spaces

We present a construction of an Orlicz space admitting a C ^∞-smooth bump which depends locally on finitely many coordinates, and which is not isomorphic to a subspace of any C(K), K scattered. In view of the related results this space is possibly not isomorphic to a polyhedral space. Supported by grants: Institutional Research Plan AV0Z10190503, GAČR 201/04/0090, GAČR 201/07/0394, the research project MSM 0021620839, GAČR 201/05/P582.     

On symmetric basic sequences in lorentz sequence spaces II

It is shown that if {y _n} is a block of type I of a symmetric basis {x _n} in a Banach spaceX, then {y _n} is equivalent to {x _n} if and only if the closed linear span [y _n] of {y _n} is complemented inX. The result is used to study the symmetric basic sequences of the dual space of a Lorentz sequence spaced(a, p). Let {x _n,f _n} be the unit vector basis ofd(a, p), for 1≤p<+∞. It is shown that every infinite-dimensional subspace ofd(a, p) (respectively, [f _n] has a complemented subspace isomorphic tol _p (respectively,l _q, 1/p+1/q=1 when 1<p<+∞ andc ₀ whenp=1) and numerous other results on complemented subspaces ofd(a, p) and [f _n] are obtained. We also obtain necessary and sufficient conditions such that [f _n] have exactly two non-equivalent symmetric basic sequences. Finally, we exhibit a Banach spaceX with symmetric basis {x _n} such that every symmetric block basic sequence of {x _n} spans a complemented subspace inX butX is not isomorphic to eitherc ₀ orl _p, 1≤p<+∞.