Denting and strongly extreme points in the unit ball of spaces of operators

For 1 ≤p ≤ ∞ we show that there are no denting points in the unit ball of ℓ(l^p). This extends a result recently proved by Grząślewicz and Scherwentke whenp = 2 [GS1]. We also show that for any Banach spaceX and for any measure space (Ω, A, μ), the unit ball of ℓ(L ¹ (μ), X) has denting points iffL ¹(μ) is finite dimensional and the unit ball ofX has a denting point. We also exhibit other classes of Banach spacesX andY for which the unit ball of ℓ(X, Y) has no denting points. When X* has the extreme point intersection property, we show that all ‘nice’ operators in the unit ball of ℓ(X, Y) are strongly extreme points.     

Universal non-compact operators between super-reflexive Banach spaces and the existence of a complemented copy of Hilbert space

Suppose that 1<p≦2, 2≦q<∞. The formal identity operatorI:l _p→l _qfactorizes through any given non-compact operator from ap-smooth Banach space into aq-convex Banach space. It follows that ifX is a 2-convex space andY is an infinite dimensional subspace ofX which is isomorphic to a Hilbert space, thenY contains an isomorphic copy ofl ₂ which is complemented inX.     

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.     

l p n Superspaces of spans of independent random variables

We show that for 1 ≦p < ∞,p ≠ 2, ifɛ > 0 is small enough andX ≦L _p is the span ofn independent Rademacher functions orn independent Gaussian random variables, then any superspaceY ofX satisfyingd(Y,L _p ^m ) ≦ 1 +ɛ has dimension larger thanr ⁿ, wherer =r(ɛ, p) > 1. This forms part of the author’s doctoral dissertation prepared at Texas A&M University under the direction of Professor W. B. Johnson. Supported in part by NSF DMS-85 00764.     

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).     

C-semigroups and strongly continuous semigroups

We show that, whenA generates aC-semigroup, then there existsY such that [M(C)] →Y →X, andA| _Y , the restriction ofA toY, generates a strongly continuous semigroup, where ↪ means “is continuously embedded in” and ‖x‖_[Im(C)]≡‖C ⁻¹ x‖. There also existsW such that [C(W)] →X →W, and an operatorB such thatA=B| _X andB generates a strongly continuous semigroup onW. If theC-semigroup is exponentially bounded, thenY andW may be chosen to be Banach spaces; in general,Y andW are Frechet spaces. If ρ(A) is nonempty, the converse is also true. We construct fractional powers of generators of boundedC-semigroups. We would like to thank R. Bürger for sending preprints, and the referee for pointing out reference [37]. This research was supported by an Ohio University Research Grant.     

On the homology of certain spaces looped beyond their connectivity

Very little is known aboutH _*(Ωⁿ X) whenn is larger than the connectivity ofX. In this paper we calculate this whenX=Ω^∞ S ^∞ andn=1 or 2, and whenX=JU(q) or JSO(3) andn is arbitrary. Some information is also given whenX is a sphere. The authors were partially supported by the NSF.     

Order preserving nonexpansive operators inL 1

We study the limit behaviour ofT ^k f and of Cesaro averagesA _n f of this sequence, whenT is order preserving and nonexpansive inL ₁ ⁺ . IfT contracts also theL _∞-norm, the sequenceT ⁿ f converges in distribution, andA _n f converges weakly inL _p (1<p<∞), and also inL ₁ if the measure is finite. “Speed limit” operators are introduced to show that strong convergence ofA _n f need not hold. The concept of convergence in distribution is extended to infinite measure spaces. Much of this work was done during a visit of the first author at Ben Gurion University of the Negev in Beer Sheva, supported by the Deutsche Forschungsgemeinschaft.     

A homotopy idempotent construction by means of simplicial groups

We obtain a simplicial group model for localization of (not necessarily nilpotent) spaces at sets of primes by applying a suitable functor dimensionwise, as in earlier work of Quillen and Bousfield-Kan. For a set of primesP and any groupG, letG→L _PG be a universal homomorphism fromG into a group which is uniquely divisible by primes not inP, and denote also byL _P the prolongation of this functor to simplicial groups. We prove that, ifX is any connected simplicial set andJ is any free simplicial group which is a model for the loop space ΩX, then the classifying space is homotopy equivalent to the localization ofX atP. Thus, there is a map which is universal among maps fromX into spacesY for which the semidirect products π_κ(Y)⋊ π₁(Y) are uniquely divisible by primes not inP. This approach also yields a neat construction of fibrewise localization. Both authors are supported by DGES under grant PB97-0202, and the first-named author has a DGR fellowship with reference code 1997FI 00467.     

Topological direct sum decompositions of banach spaces

LetY andZ be two closed subspaces of a Banach spaceX such thatY≠lcub;0rcub; andY+Z=X. Then, ifZ is weakly countably determined, there exists a continuous projectionT inX such that ∥T∥=1,T(X)⊃Y, T ⁻¹(0)⊂Z and densT(X)=densY. It follows that every Banach spaceX is the topological direct sum of two subspacesX ₁ andX ₂ such thatX ₁ is reflexive and densX ₂**=densX**/X.     

Representation ofL p-norms and isometric embedding inL p-spaces

For fixed 1≦p<∞ theL _p-semi-norms onR ⁿ are identified with positive linear functionals on the closed linear subspace ofC(R ⁿ ) spanned by the functions |<ξ, ·>| ^p , ξ∈R ⁿ . For every positive linear functional σ, on that space, the function Φ_σ:R ⁿ →R given by Φ_σ is anL _p-semi-norm and the mapping σ→Φ_σ is 1-1 and onto. The closed linear span of |<ξ, ·>| ^p , ξ∈R ⁿ is the space of all even continuous functions that are homogeneous of degreep, ifp is not an even integer and is the space of all homogeneous polynomials of degreep whenp is an even integer. This representation is used to prove that there is no finite list of norm inequalities that characterizes linear isometric embeddability, in anyL _p unlessp=2. Supported by the National Science Foundation MCS-79-06634 at U.C. Berkeley.     

Analogues of the “zero-two” law for positive linear contractions inL p andC(X)

LetT be a positive linear contraction inL ^p (1≦p<∞), then we show that lim ‖T ^pf −T ⁿ⁺¹ f‖ _p ≦(1 − ε)2^1/p (f∈L _p ⁺ , ε>0 independent off) implies already lim_n n→∞ ‖T ⁿf −T ⁿ⁺¹ n+1f ‖_p p=0. Several other related results as well as uniform variants of these are also given. Finally some similar results inLsu/t8 andC(X) are shown.     

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<+∞.     

On subsequences of the Haar system inL p [0, 1], (1<p<∞)

We show that ifX is the closed linear span inL _p [0,1] of a subsequence of the Haar system, thenX is isomorphic either tol _p or toL _p [0,1], [1<p<∞]. We give criteria to determine which of these cases holds; for a given subsequence, this is independent ofp. This is part of the second author's Ph.D. dissertation, written at the University of Alberta under the supervision of J. L. B. Galmen. The first author's research was partially supported by NRC A7552.     

On the subspaces ofL p (p>2) spanned by sequences of independent random variables

Let 2<p<∞. The Banach space spanned by a sequence of independent random variables inL ^p , each of mean zero, is shown to be isomorphic tol ²,l ^p ,l ²⊕l ^p , or a new spaceX _p , and the linear topological properties ofX _p are investigated. It is proved thatX _p is isomorphic to a complemented subspace ofL ^p and another uncomplemented subspace ofL ^p , whence there exists an uncomplemented subspace ofl ^p isomorphic tol ^p . It is also proved thatX _p is not isomorphic to the previously knownℒ _p spaces. The work for this research was partially supported by the National Science Foundation GP-12997.     

Code length between Markov processes

LetX ₁ andX ₂ be two mixing Markov shifts over finite alphabet. If the entropy ofX ₁ is strictly larger than the entropy ofX ₂, then there exists a finitary homomorphism ϕ:X ₁→X ₂ such that the code length is anL ^p random variable for allp<4/3. In particular, the expected length of the code ϕ is finite. Research supported by KBN grant 2 P03A 039 15 1998–2001.     

Completeness of Integer Translates in Function Spaces on

We show that each of the Banach spacesC₀( ) andL^p( ), 2<p<∞, contains a function whose integer translates are complete. This function can also be chosen so that one of the following additional conditions hold: (1) Its non-negative integer translates are already complete. (2) Its integer translates form an orthonormal system inL²( ). (3) Its integer translates form a minimal system. A similar result holds for the corresponding Sobolev space, for certain weightedL²spaces, and in the multivariate setting. We also prove some results in the opposite direction.     

Spaces of compact operators and their dual spaces

Theω′-topology on the spaceL(X, Y) of bounded linear operators from the Banach spaceX into the Banach spaceY is discussed in [10]. Let ℒ^w' (X, Y) denote the space of allT∈L(X, Y) for which there exists a sequence of compact linear operators (T _n)⊂K(X, Y) such thatT=ω′−lim_nT_n and let . We show that is a Banach ideal of operators and that the continuous dual spaceK(X, Y)* is complemented in . This results in necessary and sufficient conditions forK(X, Y) to be reflexive, whereby the spacesX andY need not satisfy the approximation property. Similar results follow whenX andY are locally convex spaces. Financial support from the Potchefstroom University and Maseno University is greatly acknowledged. Financial support from the NRF and Potchefstroom University is greatly acknowledged.     

L 1 (μ, X) as a constrained subspace of its bidual

In this note we consider the property of being constrained in the bidual, for the space of Bochner integrable functions. For a Banach spaceX having the Radon-Nikodym property and constrained in its bidual and forY ⊂ X, under a natural assumption onY, we show thatL ¹ (μ, X/Y) is constrained in its bidual andL ¹ (μ, Y) is a proximinal subspace ofL ¹(μ, X). As an application of these results, we show that, ifL ¹(μ, X) admits generalized centers for finite sets and ifY ⊂ X is reflexive, thenL ¹ μ, X/Y) also admits generalized centers for finite sets.     

Density of Lipschitz mappings in the class of Sobolev mappings between metric spaces

We prove that Lipschitz mappings are dense in the Newtonian–Sobolev classes N ^1,p (X, Y) of mappings from spaces X supporting p-Poincaré inequalities into a finite Lipschitz polyhedron Y if and only if Y is [p]-connected, π ₁(Y) = π ₂(Y) = · · · = π _[p](Y) = 0, where [p] is the largest integer less than or equal to p. This work was supported by the NSF grant DMS-0500966.