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.     

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.     

Extreme operator-valued continuous maps

Let ℒ(H) denote the space of operators on a Hilbert spaceH. We show that the extreme points of the unit ball of the space of continuous functionsC(K, ℒ(H)) (K-compact Hausdorff) are precisely the functions with extremal values. We show also that these extreme points are (a) strongly exposed if and only if dimH<∞ and cardK<∞, (b) exposed if and only ifH is separable andK carries a strictly positive measure.     

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

On convergence of sections of sequences in Banach spaces

An elementary proof of the (known) fact that each element of the Banach spaceℓ _w ^p (X) of weakly absolutelyp-summable sequences (if 1≤p<∞) in the Banach spaceX is the norm limit of its sections if and only if each element ofℓ _w ^p (X) is a norm null sequence inX, is given. Little modification to this proof leads to a similar result for a family of Orlicz sequence spaces. Some applications to spaces of compact operators on Banach sequence spaces are considered.     

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.     

Some isomorphically polyhedral orlicz sequence spaces

A Banach space is polyhedral if the unit ball of each of its finite dimensional subspaces is a polyhedron. It is known that a polyhedral Banach space has a separable dual and isc ₀-saturated, i.e., each closed infinite dimensional subspace contains an isomorph ofc ₀. In this paper, we show that the Orlicz sequence spaceh _M is isomorphic to a polyhedral Banach space if lim _t→0 M(Kt)/M(t)=∞ for someK<∞. We also construct an Orlicz sequence spaceh _M which isc ₀-saturated, but which is not isomorphic to any polyhedral Banach space. This shows that beingc ₀-saturated and having a separable dual are not sufficient for a Banach space to be isomorphic to a polyhedral Banach space.     

Independent sequences in Banach spaces

In every ∞-dimensional separable Banach spaceX there is a fundamental sequence such that no subsequence of it, which is fundamental inX, is independent (“{x _n} is fundamental inX” meansX=span {x _n}).     

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.     

A superreflexive banach spaceX withL(X) admitting a homomorphism onto the Banach algebraC(βN)

A separable superreflexive Banach spaceX is constructed such that the Banach algebraL(X) of all continuous endomorphisms ofX admits a continuous homomorphism onto the Banach algebraC(βN) of all scalar valued functions on the Stone-Čech compacification of the positive integers with supremum norm. In particular: (i) the cardinality of the set of all linear multiplicative functionals onL(X) is equal to 2^c and (ii)X is not isomorphic to any finite Cartesian power of any Banach space.     

A predual ofl 1 which is not isomorphic to aC(K) space

We give an example of a Banach spaceX such that (i)X ^* is isometric tol ₁, (ii)X is isometric to a subspace ofC(ω^θ) and (iii)X is not isomorphic to a complemented subspace of anyC(K) space. This is a part of the first author’s Ph. D. Thesis prepared in the Hebrew University of erusalem under the supervision of the second author.     

The space of maps from a locally compact space to a Banach space

The space of continuous maps from a topological spaceX to topological spaceY is denoted byC(X,Y) with the compact-open topology. In this paper we prove thatC(X,Y) is an absolute retract ifX is a locally compact separable metric space andY a convex set in a Banach space. From the above fact we know thatC(X,Y) is homomorphic to Hilbert spacel ₂ ifX is a locally compact separable metric space andY a separable Banach space; in particular,C(R ⁿ,R^m) is homomorphic to Hilbert spacel ₂. This research is supported by the Science Foundation of Shanxi Province's Scientific Committee     

Norm-attaining functionals onC(Q, X)

Functionals (vector measures) defined on the spaceC(Q, X) of continuous abstract functions (whereQ is a compact Hausdorff space andX is a Banach space) and attaining their norm on the unit sphere are considered. A characterization of such functionals is given in terms of the Radon-Nikodym derivative of the vector measure with respect to the variation of the measure and in terms of analogs of the derivative. Applications to the characterization of finite-codimensional subspaces with the best approximation property are given. Similar results are obtained for the spaceB(Q, Σ, X) of uniform limits of simple functions. Translated fromMatematicheskie Zametki, Vol. 61, No. 1, pp. 45–56, January, 1997. Translated by V. E. Nazaikinskii     

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.     

On normal and compact operators on Banach spaces

For some normal operators (T=H+iK) on a Banach spaceX we study the dual space of the Banach algebraA (H, K) assuming thatX* is weakly complete and we study the decompositionX=Ker (T) ⊕ (TX)⁻ for spacesX ⊅c ₀.     

Quotients ofC[0, 1] with separable dual

A necessary and sufficient condition for an operator fromC(K),K compact metric, into a Banach spaceX to be an isomorphism on a subspace ofC(K) isometric toC ₀(ω ^ω ) is given. This is part of the author’s Ph.D. dissertation being prepared at the Ohio State University under the supervision of Professor W. B. Johnson. This research was supported in part by NSF grant MPS 72-04634-A03 and a University Fellowship of the Ohio State University.     

Extreme points and retractions in Banach spaces

ForT a completely regular topological space andX a strictly convex Banach space, we study the extremal structure of the unit ball of the spaceC(T,X) of continuous and bounded functions fromT intoX. We show that when dimX is an even integer then every point in the unit ball ofC(T, X) can be expressed as the average of three extreme points if, and only if, dimT< dimX, where dimT is the covering dimension ofT. We also prove that, ifX is infinite-dimensional, the aforementioned representation of the points in the unit ball ofC(T, X) is always possible without restrictions on the topological spaceT. Finally, we deduce from the above result that the identity mapping on the unit ball of an infinite-dimensional strictly convex Banach space admits a representation as the mean of three retractions of the unit ball onto the unit sphere. The author wishes to express his gratitude to Dr. Juan Francisco Mena Jurado for many helpful suggestions during the preparation of this paper.     

Sobolev embeddings into BMO, VMO, andL ∞

LetX be a rearrangement-invariant Banach function space onR ⁿ and letV ¹ X be the Sobolev space of functions whose gradient belongs toX. We give necessary and sufficient conditions onX under whichV ¹ X is continuously embedded into BMO or intoL _∞. In particular, we show thatL _{n, ∞} is the largest rearrangement-invariant spaceX such thatV ¹ X is continuously embedded into BMO and, similarly,L _{n, 1} is the largest rearrangement-invariant spaceX such thatV ¹ X is continuously embedded intoL _∞. We further show thatV ¹ X is a subset of VMO if and only if every function fromX has an absolutely continuous norm inL _{n, ∞} . A compact inclusion ofV ¹ X intoC ⁰ is characterized as well.     

Renorming in the space of Bochner integrable functionsL 1(μ,X)

A sufficient condition is given when a subspaceL⊂L ₁(μ,X) of the space of Bochner integrable function, defined on a finite and positive measure space (S, Φ, μ) with values in a Banach spaceX, is locally uniformly convex renormable in terms of the integrable evaluations {∫ _A fdμ;f∈L}. This shows the lifting property thatL ₁(μ,X) is renormable if and only ifX is, and indicates a large class of renormable subspaces even ifX does not admit and equivalent locally uniformly convex norm.     

On set-valued cone absolutely summing maps

Spaces of cone absolutely summing maps are generalizations of Bochner spaces L ^p (μ, Y), where (Ω, Σ, μ) is some measure space, 1 ≤ p ≤ ∞ and Y is a Banach space. The Hiai-Umegaki space $ \mathcal{L}^1 \left[ {\sum ,cbf(X)} \right] $ \mathcal{L}^1 \left[ {\sum ,cbf(X)} \right] of integrably bounded functions F: Ω → cbf(X), where the latter denotes the set of all convex bounded closed subsets of a separable Banach space X, is a set-valued analogue of L ¹(μ, X). The aim of this work is to introduce set-valued cone absolutely summing maps as a generalization of $ \mathcal{L}^1 \left[ {\sum ,cbf(X)} \right] $ \mathcal{L}^1 \left[ {\sum ,cbf(X)} \right] , and to derive necessary and sufficient conditions for a set-valued map to be such a set-valued cone absolutely summing map. We also describe these set-valued cone absolutely summing maps as those that map order-Pettis integrable functions to integrably bounded set-valued functions.