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.     

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.     

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     

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

Extending an operator from a Hilbert space to a larger Hilbert space,so as to reduce its spectrum

In our earlier paper [1] we showed that given any elementx of a commutative unital Banach algebraA, there is an extensionA′ ofA such that the spectrum ofx inA′ is precisely the essential spectrum ofx inA. In [2], we showed further that ifT is a continuous linear operator on a Banach spaceX, then there is an extensionY ofX such thatT extends continuously to an operatorT ⁻ onY, and the spectrum ofT ⁻ is precisely the approximate point spectrum ofT. In this paper we take the second of these results, and show further that ifX is a Hilbert space then we can ensure thatY is also a Hilbert space; so any operatorT on a Hilbert spaceX is the restriction to one copy ofX of an operatorT ⁻ onX ⊕X, whose spectrum is precisely the approximate point spectrum ofT. This result is “best possible” in the sense that if isany extension to a larger Banach space of an operatorT, it is a standard exercise that the approximate point spectrum ofT is contained in the spectrum of .     

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.     

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.     

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.     

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.     

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.     

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.     

A Banach space in which all compact sets, but not all bounded sets, admit Chebyshev centers

Given a Banach spaceX, letc ₀(X) be the space of all null sequences inX (equipped with the supremum norm). We show that: 1) each compact set inc ₀(X) admits a (Chebyshev) center iff each compact set inX admits a center; 2) forX satisfying a certain condition (Q), each bounded set inc ₀(X) admits a center iffX is quasi uniformly rotund. We construct a Banach spaceX such that the compact subsets ofX admit centers,X satisfies the condition (Q) andX is not quasi uniformly rotund. It follows that the Banach spaceE=c ₀(X) has the property from the title. Eine überarbeitete Fassung ging am 4. 7. 2001 ein     

Intersections by hyperplanes

LetA be a finite nonempty family of nonempty disjoint closed and bounded sets in a Banach spaceE which is either separable and the conjugate of some Banach spaceX (i.e.E=X*) or, reflexive and locally uniformly convex. IfC denotes the weak*-closed convex hull of ∪ {A:A ∈A} then the set of points inE ∼C through which there is no hyperplane intersecting exactly one member ofA is discrete (or empty). This research was supported by the National Research Council of Canada, Grant A-3999.     

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.     

Any Banach space has an equivalent norm with trivial isometries

For any Banach spaceX there is a norm |||·||| onX, equivalent to the original one, such that (X, |||·|||) has only trivial isometries. For any groupG there is a Banach spaceX such that the group of isometries ofX is isomorphic toG × {− 1, 1}. For any countable groupG there is a norm ‖ · ‖ _G onC([0, 1]) equivalent to the original one such that the group of isometries of (C([0, 1]), ‖ · ‖ _G ) is isomorphic toG × {−1, + 1}.     

The invariant subspace problem for a class of Banach spaces, 2: Hypercyclic operators

We continue here the line of investigation begun in [7], where we showed that on every Banach spaceX=l ₁⊗W (whereW is separable) there is an operatorT with no nontrivial invariant subspaces. Here, we work on the same class of Banach spaces, and produce operators which not only have no invariant subspaces, but are also hypercyclic. This means that for every nonzero vectorx inX, the translatesT ^r x (r=1, 2, 3,...) are dense inX. This is an interesting result even if stated in a form which disregards the linearity ofT: it tells us that there is a continuous map ofX{0\{ into itself such that the orbit {T ^rx :r≧0{ of anyx teX \{0\{ is dense inX \{0\{. The methods used to construct the new operatorT are similar to those in [7], but we need to have somewhat greater complexity in order to obtain a hypercyclic operator.     

Moduli of non-dentability and the radon-nikodým property in banach spaces

We show that for a separable Banach spaceX failing the Radon-Nikodym property (RNP), andε > 0, there is a symmetric closed convex subsetC of the unit ball ofX such that every extreme point of the weak-star closure ofC in the bidualX** has distance fromX bigger than 1 −ε. An example is given showing that the full strength of this theorem does not carry over to the non-separable case. However, admitting a renorming, we get an analogous result for this theorem in the non-separable case too. We also show that in a Banach space failing RNP there is, forε > 0, a convex setC of diameter equal to 1 such that each slice ofC has diameter bigger than 1 −ε. Some more related results about the geometry of Banach spaces failing RNP are given.     

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:

An example of a universal Banach space

We construct a separable reflexive Banach spaceX which is complementably universal for all finite dimensional Banach spaces. By this we mean: for every finite dimensional Banach spaceE there is isometric embeddingi:E→X such that there exists a projectionP: → _→ ^onto with ‖P‖=1.