Dual problems for weak and quasi approximation properties

It is shown that for the separable dual X^∗ of a Banach space X if X^∗ has the weak approximation property, then X has the metric quasi approximation property. Using this it is shown that for the separable dual X^∗ of a Banach space X the quasi approximation property and metric quasi approximation property are inherited from X^∗ to X and for a separable and reflexive Banach space X, X having the weak approximation property, bounded weak approximation property, quasi approximation property, metric weak approximation property, and metric quasi approximation property are equivalent. Also it is shown that the weak approximation property, bounded weak approximation property, and quasi approximation property are not inherited from a Banach space X to X^∗.     

The approximation property in terms of the approximability of weak∗-weak continuous operators

By a well-known result of Grothendieck, a Banach space X has the approximation property if and only if, for every Banach space Y, every weak∗-weak continuous compact operator T:X∗→Y can be uniformly approximated by finite rank operators from X⊗Y. We prove the following “metric” version of this criterion: X has the approximation property if and only if, for every Banach space Y, every weak∗-weak continuous weakly compact operator T:X∗→Y can be approximated in the strong operator topology by operators of norm ?‖T‖ from X⊗Y. As application, easier alternative proofs are given for recent criteria of approximation property due to Lima, Nygaard and Oja.     

On relations between weak approximation properties and their inheritances to subspaces

It is shown that for the separable dual X^∗ of a Banach space X, if X^∗ has the weak approximation property, then X^∗ has the metric weak approximation property. We introduce the properties W^∗D and MW^∗D for Banach spaces. Suppose that M is a closed subspace of a Banach space X such that M^⊥ is complemented in the dual space X^∗, where for all m∈M}. Then it is shown that if a Banach space X has the weak approximation property and W^∗D (respectively, metric weak approximation property and MW^∗D), then M has the weak approximation property (respectively, bounded weak approximation property).     

New criterion of the approximation property

This paper is concerned with the approximation property which is an important property in Banach space theory. We show that a Banach space X has the approximation property if (and only if), for every Banach space Y, the set of finite rank operators from X to Y is dense in the corresponding space of compact operators, in the usual topology of uniform convergence on compact sets.     

Isometric factorization of weakly compact operators and the approximation property

Using an isometric version of the Davis, Figiel, Johnson, and Pe?czyński factorization of weakly compact operators, we prove that a Banach spaceX has the approximation property if and only if, for every Banach spaceY, the finite rank operators of norm ≤1 are dense in the unit ball ofW(Y,X), the space of weakly compact operators fromY toX, in the strong operator topology. We also show that, for every finite dimensional subspaceF ofW(Y,X), there are a reflexive spaceZ, a norm one operatorJ:Y→Z, and an isometry Φ :F →W(Y,X) which preserves finite rank and compact operators so thatT=Φ(T) oJ for allT∈F. This enables us to prove thatX has the approximation property if and only if the finite rank operators form an ideal inW(Y,X) for all Banach spacesY.     

Geometry of spaces of compact operators

We introduce the notion of compactly locally reflexive Banach spaces and show that a Banach space X is compactly locally reflexive if and only if for all reflexive Banach spaces Y. We show that X ^* has the approximation property if and only if X has the approximation property and is compactly locally reflexive. The weak metric approximation property was recently introduced by Lima and Oja. We study two natural weak compact versions of this property. If X is compactly locally reflexive then these two properties coincide. We also show how these properties are related to the compact approximation property and the compact approximation property with conjugate operators for dual spaces.     

Banach spaces in various positions

We formulate a general theory of positions for subspaces of a Banach space: we define equivalent and isomorphic positions, study the automorphy index a(Y,X) that measures how many non-equivalent positions Y admits in X, and obtain estimates of a(Y,X) for X a classical Banach space such as ?p,Lp,L₁,C(ωω) or C[0,1]. Then, we study different aspects of the automorphic space problem posed by Lindenstrauss and Rosenthal; namely, does there exist a separable automorphic space different from c₀ or ?₂? Recall that a Banach space X is said to be automorphic if every subspace Y admits only one position in X; i.e., a(Y,X)=1 for every subspace Y of X. We study the notion of extensible space and uniformly finitely extensible space (UFO), which are relevant since every automorphic space is extensible and every extensible space is UFO. We obtain a dichotomy theorem: Every UFO must be either an L_∞-space or a weak type 2 near-Hilbert space with the Maurey projection property. We show that a Banach space all of whose subspaces are UFO (called hereditarily UFO spaces) must be asymptotically Hilbertian; while a Banach space for which both X and X^∗ are UFO must be weak Hilbert. We then refine the dichotomy theorem for Banach spaces with some additional structure. In particular, we show that an UFO with unconditional basis must be either c₀ or a superreflexive weak type 2 space; that a hereditarily UFO Köthe function space must be Hilbert; and that a rearrangement invariant space UFO must be either L_∞ or a superreflexive type 2 Banach lattice.     

Ideals of operators and the metric approximation property

We prove that a Banach space X has the metric approximation property if and only if , the space of all finite rank operators, is an ideal in , the space of all bounded operators, for every Banach space Y. Moreover, X has the shrinking metric approximation property if and only if is an ideal in for every Banach space Y.Similar results are obtained for u-ideals and the corresponding unconditional metric approximation properties.     

On dual and three space problems for the compact approximation property

We introduce the properties W^∗D and BW^∗D for the dual space of a Banach space. And then solve the dual problem for the compact approximation property (CAP): if X^∗ has the CAP and the W^∗D, then X has the CAP. Also, we solve the three space problem for the CAP: for example, if M is a closed subspace of a Banach space such that M^⊥ is complemented in X^∗ and X^∗ has the W^∗D, then X has the CAP whenever X/M has the CAP and M has the bounded CAP. Corresponding problems for the bounded compact approximation property are also addressed.     

Density of finite rank operators in the Banach space of p-compact operators

A Banach space X is said to have the kp-approximation property (kp-AP) if for every Banach space Y, the space F(Y,X) of finite rank operators is dense in the space Kp(Y,X) of p-compact operators endowed with its natural ideal norm kp. In this paper we study this notion that has been previously treated by Sinha and Karn (2002) in [15]. As application, the kp-AP of dual Banach spaces is characterized via density of finite rank operators in the space of quasi p-nuclear operators for the p-summing norm. This allows to obtain a relation between the kp-AP and Saphar's approximation property. As another application, the kp-AP is characterized in terms of a trace condition. Finally, we relate the kp-AP to the (p,p)-approximation property introduced in Sinha and Karn (2002) [15] for subspaces of Lp(μ)-spaces.     

Multiplication operators in Köthe-Bochner spaces

Let X be a Banach space and E an order continuous Banach function space over a finite measure μ. We prove that an operator T in the Köthe-Bochner space E(X) is a multiplication operator (by a function in L^∞(μ)) if and only if the equality T(g〈f,x^∗〉x)=g〈T(f),x^∗〉x holds for every g∈L^∞(μ), f∈E(X), x∈X and x^∗∈X^∗.     

Little Grothendieck's theorem for sublinear operators

Let SB(X,Y) be the set of the bounded sublinear operators from a Banach space X into a Banach lattice Y. Consider π₂(X,Y) the set of 2-summing sublinear operators. We study in this paper a variation of Grothendieck's theorem in the sublinear operators case. We prove under some conditions that every operator in SB(C(K),H) is in π₂(C(K),H) for any compact K and any Hilbert H. In the noncommutative case the problem is still open.     

Lifting bounded approximation properties from Banach spaces to their dual spaces

Based on a new reformulation of the bounded approximation property, we develop a unified approach to the lifting of bounded approximation properties from a Banach space X to its dual X^*. This encompasses cases when X has the unique extension property or X is extendably locally reflexive. In particular, it is shown that the unique extension property of X permits to lift the metric A-approximation property from X to X^*, for any operator ideal A, and that there exists a Banach space X such that X,X**,… are extendably locally reflexive, but X^*,X***,… are not.     

Genericity and amalgamation of classes of Banach spaces

We study universality problems in Banach space theory. We show that if A is an analytic class, in the Effros-Borel structure of subspaces of C([0,1]), of non-universal separable Banach spaces, then there exists a non-universal separable Banach space Y, with a Schauder basis, that contains isomorphs of each member of A with the bounded approximation property. The proof is based on the amalgamation technique of a class C of separable Banach spaces, introduced in the paper. We show, among others, that there exists a separable Banach space R not containing L¹(0,1) such that the indices β and rND are unbounded on the set of Baire-1 elements of the ball of the double dual R∗∗ of R. This answers two questions of H.P. Rosenthal.We also introduce the concept of a strongly bounded class of separable Banach spaces. A class C of separable Banach spaces is strongly bounded if for every analytic subset A of C there exists Y∈C that contains all members of A up to isomorphism. We show that several natural classes of separable Banach spaces are strongly bounded, among them the class of non-universal spaces with a Schauder basis, the class of reflexive spaces with a Schauder basis, the class of spaces with a shrinking Schauder basis and the class of spaces with Schauder basis not containing a minimal Banach space X.     

Lipschitz-type functions on metric spaces

In order to find metric spaces X for which the algebra Lip^∗(X) of bounded Lipschitz functions on X determines the Lipschitz structure of X, we introduce the class of small-determined spaces. We show that this class includes precompact and quasi-convex metric spaces. We obtain several metric characterizations of this property, as well as some other characterizations given in terms of the uniform approximation and the extension of uniformly continuous functions. In particular we show that X is small-determined if and only if every uniformly continuous real function on X can be uniformly approximated by Lipschitz functions.     

On a generalized Mazur-Ulam question: Extension of isometries between unit spheres of Banach spaces

We call a Banach space X admitting the Mazur-Ulam property (MUP) provided that for any Banach space Y, if f is an onto isometry between the two unit spheres of X and Y, then it is the restriction of a linear isometry between the two spaces. A generalized Mazur-Ulam question is whether every Banach space admits the MUP. In this paper, we show first that the question has an affirmative answer for a general class of Banach spaces, namely, somewhere-flat spaces. As their immediate consequences, we obtain on the one hand that the question has an approximately positive answer: Given ε>0, every Banach space X admits a (1+ε)-equivalent norm such that X has the MUP; on the other hand, polyhedral spaces, CL-spaces admitting a smooth point (in particular, separable CL-spaces) have the MUP.     

The Bishop-Phelps-Bollobás theorem for operators

We prove the Bishop-Phelps-Bollobás theorem for operators from an arbitrary Banach space X into a Banach space Y whenever the range space has property β of Lindenstrauss. We also characterize those Banach spaces Y for which the Bishop-Phelps-Bollobás theorem holds for operators from ?₁ into Y. Several examples of classes of such spaces are provided. For instance, the Bishop-Phelps-Bollobás theorem holds when the range space is finite-dimensional, an L₁(μ)-space for a σ-finite measure μ, a C(K)-space for a compact Hausdorff space K, or a uniformly convex Banach space.     

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

THE WEAK RADON-NIKODYM PROPERTY IN SPACES OF NUCLEAR OPERATORS

Abstract

We prove that if X and Y are Banach spaces such that X* has the weak Radon-Nikodym property (WRNP), Y has the Radon-Nikodym property (RNP) and Y is complemented in its bidual, then the space N(X,Y) of all nuclear operators from X to Y has the WRNP. If moreover X* has the RNP, then N(X,Y) has the RNP.     

Isometric embeddings of compact spaces into Banach spaces

We show the existence of a compact metric space K such that whenever K embeds isometrically into a Banach space Y, then any separable Banach space is linearly isometric to a subspace of Y. We also address the following related question: if a Banach space Y contains an isometric copy of the unit ball or of some special compact subset of a separable Banach space X, does it necessarily contain a subspace isometric to X? We answer positively this question when X is a polyhedral finite-dimensional space, c₀ or ?₁.