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.     

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.     

On the local structure of subspaces of Banach lattices

The conjecture that every Banach space contains uniformly complementedl _p ⁿ ’s for some 1≦p≦∞ is verified for subspaces of Banach lattices which do not containl _∞ ⁿ ’s uniformly.     

空间的几种超投影性质及其局部化

讨论Banach空间几种超投影性质(及其相应的局部化性质)之间的关系,证明了在Banach空间X自反的条件下,X是l_p-次投影空间的充要条件是X^*是l_p-超投影空间,X是局部l_p-次投影空间的充要条件是X^*是局部l_p-超投影空间,以及X是局部次投影空间的充要条件是X^*是局部超投影的。其中1/p+1/q=1(p>1,q>1)。     

Banach space sequences and projective tensor products

In this paper we use results from the theory of tensor products of Banach spaces to establish the isometry of the space of (1,p)-summing sequences (also known as strongly p-summable sequences) in a Banach space X, the space of nuclear X-valued operators on ?^p and the complete projective tensor product of ?^p with X. Through similar techniques from the theory of tensor products, the isometry of the sequence space L^p〈X〉 (recently introduced in a paper by Bu, Quaestiones Math. (2002), to appear), the space of nuclear X-valued operators on L^p(0,1) (with a suitable equivalent norm) and the complete projective tensor product of L^p(0,1) with X is established. Moreover, we find conditions for the space of (p,q)-summing multipliers to have the GAK-property (generalized AK-property), use multiplier sequences to characterize Banach space valued bounded linear operators on the vector sequence space of absolutely p-summable sequences in a Banach space and present short proofs for results on p-summing multipliers.     

Ergodic Banach spaces

We show that any Banach space contains a continuum of non-isomorphic subspaces or a minimal subspace. We define an ergodic Banach space X as a space such that E₀ Borel reduces to isomorphism on the set of subspaces of X, and show that every Banach space is either ergodic or contains a subspace with an unconditional basis which is complementably universal for the family of its block-subspaces. We also use our methods to get uniformity results. We show that an unconditional basis of a Banach space, of which every block-subspace is complemented, must be asymptotically c₀ or ?_p, and we deduce some new characterisations of the classical spaces c₀ and ?_p.     

Uniform Homeomorphisms of Unit Spheres and Property H of Lebesgue–Bochner Function Spaces

Assume that the unit spheres of Banach spaces X and Y are uniformly homeomorphic.Then we prove that all unit spheres of the Lebesgue–Bochner function spaces L_p(μ, X) and L_q(μ, Y)are mutually uniformly homeomorphic where 1 ≤ p, q ∞. As its application, we show that if a Banach space X has Property H introduced by Kasparov and Yu, then the space L_p(μ, X), 1 ≤ p ∞,also has Property H.     

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 ?₁.     

On the classes of hereditarily ℓp Banach spaces

Let X denote a specific space of the class of X _α,p Banach sequence spaces which were constructed by Hagler and the first named author as classes of hereditarily ℓ_p Banach spaces. We show that for p > 1 the Banach space X contains asymptotically isometric copies of ℓ_p. It is known that any member of the class is a dual space. We show that the predual of X contains isometric copies of ℓ_p where 1/p + 1/q = 1. For p = 1 it is known that the predual of the Banach space X contains asymptotically isometric copies of c ₀. Here we give a direct proof of the known result that X contains asymptotically isometric copies of ℓ₁.     

Smoothness,asymptotic smoothness and the Blum-Hanson property

We isolate various sufficient conditions for a Banach space X to have the so-called Blum-Hanson property. In particular, we show that X has the Blum-Hanson property if either the modulus of asymptotic smoothness of X has an extremal behaviour at infinity, or if X is uniformly Gâteaux smooth and embeds isometrically into a Banach space with a 1-unconditional finite-dimensional decomposition.     

Smooth extension of functions on a certain class of non-separable Banach spaces

Let us consider a Banach space X with the property that every real-valued Lipschitz function f can be uniformly approximated by a Lipschitz, C¹-smooth function g with Lip(g)?CLip(f) (with C depending only on the space X). This is the case for a Banach space X bi-Lipschitz homeomorphic to a subset of c₀(Γ), for some set Γ, such that the coordinate functions of the homeomorphism are C¹-smooth (Hájek and Johanis, 2010 [10]). Then, we prove that for every closed subspace Y⊂X and every C¹-smooth (Lipschitz) function f:Y→R, there is a C¹-smooth (Lipschitz, respectively) extension of f to X. We also study C¹-smooth extensions of real-valued functions defined on closed subsets of X. These results extend those given in Azagra et al. (2010) [4] to the class of non-separable Banach spaces satisfying the above property.     

Monotonicity and complex convexity in Banach lattices

The goal of this article is to study the relations among monotonicity properties of real Banach lattices and the corresponding convexity properties in the complex Banach lattices. We introduce the moduli of monotonicity of Banach lattices. We show that a Banach lattice E is uniformly monotone if and only if its complexification EC is uniformly complex convex. We also prove that a uniformly monotone Banach lattice has finite cotype. In particular, we show that a Banach lattice is of cotype q for some 2?q<∞ if and only if there is an equivalent lattice norm under which it is uniformly monotone and its complexification is q-uniformly PL-convex. We also show that a real Köthe function space E is strictly (respectively uniformly) monotone and a complex Banach space X is strictly (respectively uniformly) complex convex if and only if Köthe-Bochner function space E(X) is strictly (respectively uniformly) complex convex.     

On spaces admitting no ℓ p or c 0 spreading model

It is shown that for each separable Banach space X not admitting ? ₁ as a spreading model there is a space Y having X as a quotient and not admitting any ? _p for 1 ≤ p < ∞ or c ₀ as a spreading model. We also include the solution to a question of Johnson and Rosenthal (Studia Math 43:77–92, 1972) on the existence of a separable space not admitting as a quotient any space with separable dual.     

Smooth approximations

We prove, among other things, that a Lipschitz (or uniformly continuous) mapping f:X→Y can be approximated (even in a fine topology) by smooth Lipschitz (resp. uniformly continuous) mapping, if X is a separable Banach space admitting a smooth Lipschitz bump and either X or Y is a separable C(K) space (resp. super-reflexive space). Further, we show how smooth approximation of Lipschitz mappings is closely related to a smooth approximation of C¹-smooth mappings together with their first derivatives. As a corollary we obtain new results on smooth approximation of C¹-smooth mappings together with their first derivatives.     

Some remarks on proximinality in higher dual spaces

In this paper we consider proximinality questions for higher ordered dual spaces. We show that for a finite dimensional uniformly convex space X, the space C(K,X) is proximinal in all the duals of even order. For any family of uniformly convex Banach spaces {Xα}_{α∈Γ} we show that any finite co-dimensional proximinal subspace of X=c_0⊕Xα is strongly proximinal in all the duals of even order of X.     

Martingales with values in uniformly convex spaces

Using the techniques of martingale inequalities in the case of Banach space valued martingales, we give a new proof of a theorem of Enflo: every super-reflexive space admits an equivalent uniformly convex norm. Letr be a number in ]2, ∞[; we prove moreover that if a Banach spaceX is uniformly convex (resp. ifδ _x(?)/? ^r when? → 0) thenX admits for someq<∞ (resp. for someq<r) an equivalent norm for which the corresponding modulus of convexity satisfiesδ(?)/? ^q → ∞ when? → 0. These results have dual analogues concerning the modulus of smoothness. Our method is to study some inequalities for martingales with values in super-reflexive or uniformly convex spaces which are characteristic of the geometry of these spaces up to isomorphism.     

Approximative compactness and continuity of metric projector in Banach spaces and applications

First we prove that the approximative compactness of a nonempty set C in a normed linear space can be reformulated equivalently in another way.It is known that if C is a semi-Chebyshev closed and approximately compact set in a Banach space X,then the metric projectorπC from X onto C is continuous.Under the assumption that X is midpoint locally uniformly rotund,we prove that the approximative compactness of C is also necessary for the continuity of the projectorπC by the method of geometry of Banach spaces.Using this general result we find some necessary and sufficient conditions for T to have a continuous Moore-Penrose metric generalized inverse T~ ,where T is a bounded linear operator from an approximative compact and a rotund Banach space X into a midpoint locally uniformly rotund Banach space Y.     

Polynomial numerical indices of Banach spaces with absolute norm

We study when a Banach space with absolute norm may have polynomial numerical indices equal to one. In the real case, we show that a Banach space X with absolute norm, which has the Radon-Nikodým property or is Asplund, satisfies n⁽²⁾(X)<1 unless it is one-dimensional. In the complex case, we show that the only Banach spaces X with absolute norm and the Radon-Nikodým property which satisfy n⁽²⁾(X)=1 are the spaces . Also, the only Asplund complex space X with absolute norm which satisfies n⁽²⁾(X)=1 is c₀(Λ).     

Ball-covering property of Banach spaces

We consider the following question: For a Banach spaceX, how many closed balls not containing the origin can cover the sphere of the unit ball? This paper shows that: (1) IfX is smooth and with dimX=n<∞, in particular,X=R ⁿ,then the sphere can be covered byn+1 balls andn+1 is the smallest number of balls forming such a covering. (2) Let Λ be the set of all numbersr>0 satisfying: the unit sphere of every Banach spaceX admitting a ball-covering consisting of countably many balls not containing the origin with radii at mostr impliesX is separable. Then the exact upper bound of Λ is 1 and it cannot be attained. (3) IfX is a Gateaux differentiability space or a locally uniformly convex space, then the unit sphere admits such a countable ball-covering if and only ifX ^* isw ^*-separable.     

Uniformly complementedl p n ’s in quasi-reflexive Banach spaces

It is shown that for every non-reflexive Banach spaceX withX ^**/X reflexive there exists a uniformly bounded sequence of projections {P _n } _n=1 ^∞ whose ranges are uniformly isomorphic to {l _p ⁿ } _{n = 1} ^∞ either forp=1, orp=2 or forp=∞. The proof uses knowledge of the transfinite dualX ^ω, ESA Schauder decompositions and proof of a similar statement for spaces with an unconditional basis due to Tzafriri.