Weakly open sets in the unit ball of the projective tensor product of Banach spaces

A Banach space is said to have the diameter two property if every non-empty relatively weakly open subset of its unit ball has diameter two. We prove that the projective tensor product of two Banach spaces whose centralizer is infinite-dimensional has the diameter two property. The same statement also holds for if the centralizer of X is infinite-dimensional and the unit sphere of Y^? contains an element of numerical index one. We provide examples of classical Banach spaces satisfying the assumptions of the results. If K is any infinite compact Hausdorff topological space, then has the diameter two property for any nonzero Banach space Y. We also provide a result on the diameter two property for the injective tensor product.     

Weakly open sets in the unit ball of some Banach spaces and the centralizer

We show that every Banach space X whose centralizer is infinite-dimensional satisfies that every non-empty weakly open set in BY has diameter 2, where (N-fold symmetric projective tensor product of X, endowed with the symmetric projective norm), for every natural number N. We provide examples where the above conclusion holds that includes some spaces of operators and infinite-dimensional C^∗-algebras. We also prove that every non-empty weak^∗ open set in the unit ball of the space of N-homogeneous and integral polynomials on X has diameter two, for every natural number N, whenever the Cunningham algebra of X is infinite-dimensional. Here we consider the space of N-homogeneous integral polynomials as the dual of the space (N-fold symmetric injective tensor product of X, endowed with the symmetric injective norm). For instance, every infinite-dimensional L₁(μ) satisfies that its Cunningham algebra is infinite-dimensional. We obtain the same result for every non-reflexive L-embedded space, and so for every predual of an infinite-dimensional von Neumann algebra.     

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

Sufficient enlargements of minimal volume for finite-dimensional normed linear spaces

Let BY denote the unit ball of a normed linear space Y. A symmetric, bounded, closed, convex set A in a finite-dimensional normed linear space X is called a sufficient enlargement for X if, for an arbitrary isometric embedding of X into a Banach space Y, there exists a linear projection such that P(BY)⊂A. The main results of the paper: (1) Each minimal-volume sufficient enlargement is linearly equivalent to a zonotope spanned by multiples of columns of a totally unimodular matrix. (2) If a finite-dimensional normed linear space has a minimal-volume sufficient enlargement which is not a parallelepiped, then it contains a two-dimensional subspace whose unit ball is linearly equivalent to a regular hexagon.     

Some properties of the injective tensor product of L[0,1] and a Banach space

Let X be a (real or complex) Banach space and 1<p,p′<∞ such that 1/p+1/p′=1. Then , the injective tensor product of L^p[0,1] and X, has the Radon-Nikodym property (resp. the analytic Radon-Nikodym property, the near Radon-Nikodym property, contains no copy of c₀, is weakly sequentially complete) if and only if X has the same property and each continuous linear operator from L^p′[0,1] to X is compact.     

On the intrinsic and the spatial numerical range

For a bounded function f from the unit sphere of a closed subspace X of a Banach space Y, we study when the closed convex hull of its spatial numerical range W(f) is equal to its intrinsic numerical range V(f). We show that for every infinite-dimensional Banach space X there is a superspace Y and a bounded linear operator such that . We also show that, up to renormig, for every non-reflexive Banach space Y, one can find a closed subspace X and a bounded linear operator T∈L(X,Y) such that .Finally, we introduce a sufficient condition for the closed convex hull of the spatial numerical range to be equal to the intrinsic numerical range, which we call the Bishop-Phelps-Bollobás property, and which is weaker than the uniform smoothness and the finite-dimensionality. We characterize strong subdifferentiability and uniform smoothness in terms of this property.     

Michael's problem and weakly infinite-dimensional spaces

Let X be a compact Hausdorff space. Suppose that any multivalued map , where Y is a Gδ subset of a Banach space, such that the values of F are convex and closed in Y, has a continuous single-valued selection. Then we prove that X is weakly infinite-dimensional. This provides a partial solution of Gδ-problem, posed by Ernest Michael.     

Isometric reflection vectors in Banach spaces

The aim of this paper is to study the set of isometric reflection vectors of a real Banach space X. We deal with geometry of isometric reflection vectors and parallelogram identity vectors, and we prove that a real Banach space is a Hilbert space if the set of parallelogram identity vectors has nonempty interior. It is also shown that every real Banach space can be decomposed as an Ir-sum of a Hilbert space and a Banach space with some points which are not isometric reflection vectors. Finally, we give a new proof of the Becerra-Rodríguez result: a real Banach space X is a Hilbert space if and only if is not rare.     

On subspaces of non-commutative Lp-spaces

We study some structural aspects of the subspaces of the non-commutative (Haagerup) L_p-spaces associated with a general (non-necessarily semi-finite) von Neumann algebra . If a subspace X of contains uniformly the spaces ?_pⁿ, n?1, it contains an almost isometric, almost 1-complemented copy of ?_p. If X contains uniformly the finite dimensional Schatten classes S_pⁿ, it contains their ?_p-direct sum too. We obtain a version of the classical Kadec-Pe?czyński dichotomy theorem for L_p-spaces, p?2. We also give operator space versions of these results. The proofs are based on previous structural results on the ultrapowers of , together with a careful analysis of the elements of an ultrapower which are disjoint from the subspace . These techniques permit to recover a recent result of N. Randrianantoanina concerning a subsequence splitting lemma for the general non-commutative L_p spaces. Various notions of p-equiintegrability are studied (one of which is equivalent to Randrianantoanina's one) and some results obtained by Haagerup, Rosenthal and Sukochev for L_p-spaces based on finite von Neumann algebras concerning subspaces of containing ?_p are extended to the general case.     

Normality in products with a countable factor

The class of normal spaces that have normal product with every countable space is considered. A countably compact normal space X and a countable Y such that X×Y is not normal is constructed assuming CH. Also, ? is used to construct a perfectly normal countably compact X and a countable Y such that X×Y is not normal. The question whether a Dowker space can have normal product with itself is considered. It is shown that if X is Dowker and contains any countable non-discrete subspace, then X² is not normal. It follows that a product of a Dowker space and a countable space is normal if and only if the countable space is discrete. If X is Rudin's ZFC Dowker space, then X² is normal. An example of a Dowker space of cardinality ℵ₂ with normal square is constructed assuming .     

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₀(Λ).     

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.     

A remark on intersection of convex sets

Let X be a real Banach space. Let be a family of closed, convex subsets of X. We show that either the intersection ?_γ∈Γ(G_γ)^? of the ?-neighborhood of the sets G_γ is bounded for each ?>0, or it is unbounded for each ?>0. From this we derive a fixed point theorem for suitable maps that move some points along a bounded direction in Hilbert spaces.     

A note on operator Banach spaces containing a complemented copy of c0

Let X and Y Banach spaces. Two new properties of operator Banach spaces are introduced. We call these properties "boundedly closed" and "d-boundedly closed". Among other results, we prove the following one. Let U(X, Y){\cal U}(X, Y) an operator Banach space containing a complemented copy of c₀. Then we have: 1) If U(X, Y){\cal U}(X, Y) is boundedly closed then Y contains a copy of c₀. 2) If U(X, Y){\cal U}(X, Y) is d-boundedly closed, then X^* or Y contains a copy of c₀.     

Operator martingale decompositions and the Radon-Nikodým property in Banach spaces

We consider submartingales and uniform amarts of maps acting between a Banach lattice and a Banach lattice or a Banach space. In this measure-free setting of martingale theory, it is known that a Banach space Y has the Radon-Nikodým property if and only if every uniformly norm bounded martingale defined on the Chaney-Schaefer l-tensor product , where E is a suitable Banach lattice, is norm convergent. We present applications of this result. Firstly, an analogues characterization for Banach lattices Y with the Radon-Nikodým property is given in terms of a suitable set of submartingales (supermartingales) on . Secondly, we derive a Riesz decomposition for uniform amarts of maps acting between a Banach lattice and a Banach space. This result is used to characterize Banach spaces with the Radon-Nikodým property in terms of uniformly norm bounded uniform amarts of maps that are norm convergent. In the case 1<p<∞, our results yield Lp(μ,Y)-space analogues of some of the well-known results on uniform amarts in L¹(μ,Y)-spaces.     

Barycentric selectors and a Steiner-type point of a convex body in a Banach space

Let F be a mapping from a metric space into the family of all m-dimensional affine subsets of a Banach space X. We present a Helly-type criterion for the existence of a Lipschitz selection f of the set-valued mapping F, i.e., a Lipschitz continuous mapping satisfying . The proof of the main result is based on an inductive geometrical construction which reduces the problem to the existence of a Lipschitz (with respect to the Hausdorff distance) selector S_X^(m) defined on the family of all convex compacts in X of dimension at most m. If X is a Hilbert space, then the classical Steiner point of a convex body provides such a selector, but in the non-Hilbert case there is no known way of constructing such a point. We prove the existence of a Lipschitz continuous selector for an arbitrary Banach space X. The proof is based on a new result about Lipschitz properties of the center of mass of a convex set.     

Strong and A-statistical comparisons for sequences

Let T and A be two nonnegative regular summability matrices and W(T,p)∩l^∞ and c_A(b) denote the spaces of all bounded strongly T-summable sequences with index p>0, and bounded summability domain of A, respectively. In this paper we show, among other things, that is a multiplier from W(T,p)∩l^∞ into c_A(b) if and only if any subset K of positive integers that has T-density zero implies that K has A-density zero. These results are used to characterize the A-statistical comparisons for both bounded as well as arbitrary sequences. Using the concept of A-statistical Tauberian rate, we also show that is not a multiplier from W(T,p)∩l^∞ into c_A(b) that leads to a Steinhaus type result.     

Covering compacta by discrete subspaces

For any space X, denote by dis(X) the smallest (infinite) cardinal κ such that κ many discrete subspaces are needed to cover X. It is easy to see that if X is any crowded (i.e. dense-in-itself) compactum then dis(X)?m, where m denotes the additivity of the meager ideal on the reals. It is a natural, and apparently quite difficult, question whether in this inequality m could be replaced by c. Here we show that this can be done if X is also hereditarily normal.Moreover, we prove the following mapping theorem that involves the cardinal function dis(X). If is a continuous surjection of a countably compact T₂ space X onto a perfect T₃ space Y then .     

Operators on the space of vector-valued totally measurable functions

Let L(X,Y) stand for the space of all bounded linear operators between real Banach spaces X and Y, and let Σ be a σ-algebra of sets. A bounded linear operator T from the Banach space B(Σ,X) of X-valued Σ-totally measurable functions to Y is said to be σ-smooth if ‖T(fn)Y_‖→0 whenever a sequence of scalar functions (‖fn(⋅)X_‖) is order convergent to 0 in B(Σ). It is shown that a bounded linear operator is σ-smooth if and only if its representing measure is variationally semi-regular, i.e., as An↓∅ (here stands for the semivariation of m on A∈Σ). As an application, we show that the space Lσs(B(Σ,X),Y) of all σ-smooth operators from B(Σ,X) to Y provided with the strong operator topology is sequentially complete. We derive a Banach-Steinhaus type theorem for σ-smooth operators from B(Σ,X) to Y. Moreover, we characterize countable additivity of measures in terms of continuity of the corresponding operators .