Rich families and elementary submodels

We compare two methods of proving separable reduction theorems in functional analysis — the method of rich families and the method of elementary submodels. We show that any result proved using rich families holds also when formulated with elementary submodels and the converse is true in spaces with fundamental minimal system and in spaces of density ?₁. We do not know whether the converse is true in general. We apply our results to show that a projectional skeleton may be without loss of generality indexed by ranges of its projections.     

Well-bounded operators on nonreflexive Banach spaces

Every well-bounded operator on a reflexive Banach space is of type (B), and hence has a nice integral representation with respect to a spectral family of projections. A longstanding open question in the theory of well-bounded operators is whether there are any nonreflexive Banach spaces with this property. In this paper we extend the known results to show that on a very large class of nonreflexive spaces, one can always find a well-bounded operator which is not of type (B). We also prove that on any Banach space, compact well-bounded operators have a simple representation as a combination of disjoint projections.

     

Coding into Ramsey sets

In [6] W. T. Gowers formulated and proved a Ramsey-type result which lies at the heart of his famous dichotomy for Banach spaces. He defines the notion of weakly Ramsey set of block sequences of an infinite dimensional Banach space and shows that every analytic set of block sequences is weakly Ramsey. We show here that Gowers’ result follows quite directly from the fact that all G_δ sets are weakly Ramsey, if the Banach space does not contain c₀, and from the fact that all F_σδ sets are weakly Ramsey, in the case of an arbitrary Banach space. We also show that every result obtained by the application of Gowers’ theorem to an analytic set can also be obtained by applying the Theorem to a F_σδ set (or to a G_δ set if the space does not contain c₀). This fact explains why the only known applications of this technique are based on very low-ranked Borel sets (open, closed, F_σ, or G_δ).     

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.     

Some estimates in spaces

We consider a class of rearrangement invariant Banach Function Spaces recently appeared in a paper by the same authors, containing at the same time some Lorentz spaces Γ(ν), classical Lebesgue spaces and small Lebesgue spaces. We discuss the main properties coming directly from the norm, and, for certain values of the involved parameters, we prove some estimates of the norm of the associate space.     

On Banach spaces whose norm-open sets are -sets in the weak topology

We investigate non-separable Banach spaces whose norm-open sets are countable unions of sets closed in the weak topology and a narrower class of Banach spaces with a network for the norm topology which is σ-discrete in the weak topology. In particular, we answer a question of Arhangel'skii exhibiting various examples of non-separable function spaces C(K) with a σ-discrete network for the pointwise topology and (consistently) we answer some questions of Edgar and Oncina concerning Borel structures and Kadec renormings in Banach spaces.     

Even infinite-dimensional real Banach spaces

This article is a continuation of a paper of the first author [V. Ferenczi, Uniqueness of complex structure and real hereditarily indecomposable Banach spaces, Adv. Math. 213 (1) (2007) 462–488] about complex structures on real Banach spaces. We define a notion of even infinite-dimensional real Banach space, and prove that there exist even spaces, including HI or unconditional examples from [V. Ferenczi, Uniqueness of complex structure and real hereditarily indecomposable Banach spaces, Adv. Math. 213 (1) (2007) 462–488] and C(K) examples due to Plebanek [G. Plebanek, A construction of a Banach space C(K) with few operators, Topology Appl. 143 (2004) 217–239]. We extend results of [V. Ferenczi, Uniqueness of complex structure and real hereditarily indecomposable Banach spaces, Adv. Math. 213 (1) (2007) 462–488] relating the set of complex structures up to isomorphism on a real space to a group associated to inessential operators on that space, and give characterizations of even spaces in terms of this group. We also generalize results of [V. Ferenczi, Uniqueness of complex structure and real hereditarily indecomposable Banach spaces, Adv. Math. 213 (1) (2007) 462–488] about totally incomparable complex structures to essentially incomparable complex structures, while showing that the complex version of a space defined by S. Argyros and A. Manoussakis [S. Argyros, A. Manoussakis, An indecomposable and unconditionally saturated Banach space, Studia Math. 159 (1) (2003) 1–32] provides examples of essentially incomparable complex structures which are not totally incomparable.     

Orthogonally Complemented Subspaces in Banach Spaces

In this paper, we extend the Moreau (Riesz) decomposition theorem from Hilbert spaces to Banach spaces. Criteria for a closed subspace to be (strongly) orthogonally complemented in a Banach space are given. We prove that every closed subspace of a Banach space X with dim X ≥ 3 (dim X ≤ 2) is strongly orthognally complemented if and only if the Banach space X is isometric to a Hilbert space (resp. strictly convex), which is complementary to the well-known result saying that every closed subspace of a Banach space X is topologically complemented if and only if the Banach space X is isomorphic to a Hilbert space.     

Very smooth points of spaces of operators

In this paper we study very smooth points of Banach spaces with special emphasis on spaces of operators. We show that when the space of compact operators is anM-ideal in the space of bounded operators, a very smooth operatorT attains its norm at a unique vectorx (up to a constant multiple) andT(x) is a very smooth point of the range space. We show that if for every equivalent norm on a Banach space, the dual unit ball has a very smooth point then the space has the Radon-Nikodym property. We give an example of a smooth Banach space without any very smooth points.     

A note on weakly Lindelöf determined Banach spaces

We prove that weakly Lindelöf determined Banach spaces are characterized by the existence of a “full” projectional generator. Some other results pertaining to this class of Banach spaces are given.     

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.     

Optimal Interpolating Spaces Preserving Shape

In this paper we study the existence and characterization of spaces which are images of minimal-norm projections that are required to interpolate at given functionals and satisfy additional shape-preserving requirements. We will call such spaces optimal interpolating spaces preserving shape. This investigation leads to concrete solutions in classical settings and, as examples, Π_n will be determined to be such spaces with regard to certain interpolation and shape-preserving requirements on the projections. Restated, the theory of this paper gives rist to an n-dimensional Hahn–Banach extension theorem, where the minimal-norm extension is required to keep invariant a fixed cone.     

Remarkable Classes of Unital AM-Spaces

We define and investigate two classes of unital Banach AM-spaces, the elements of which are the sums of continuous functions and discrete functions. Neither class is almost Dedekind σ-complete, although one has the Cantor property. One class has the rather rare property of having a sequentially order continuous norm and we deduce that any C(K) space can be embedded as a sublattice of a C(X) space with a sequentially order continuous norm. Finally we identify the order continuous and sequentially order continuous duals of spaces in these classes, which promise to be a rich source of further examples.     

Banach function subspaces of L of a vector measure and related Orlicz spaces

Given a vector measure ν with values in a Banach space X, we consider the space L¹(ν) of real functions which are integrable with respect to ν. We prove that every order continuous Banach function space Y continuously contained in L¹(ν) is generated via a certain positive map related to ν and defined on X* x M, where X* is the dual space of X and M the space of measurable functions. This procedure provides a way of defining Orlicz spaces with respect to the vector measure ν.     

Towards strong Banach property (T) for SL(3,ℝ)

We prove that SL(3, ?) has Strong Banach property (T) in Lafforgue’s sense with respect to the Banach spaces that are θ > 0 interpolation spaces (for the complex interpolation method) between an arbitrary Banach space and a Banach space with sufficiently good type and cotype. As a consequence, every action of SL(3, ?) or its lattices by affine isometries on such a Banach space X has a fixed point, and the expanders contructed from SL(3, ?) do not admit a coarse embedding into X. We also prove a quantitative decay of matrix coefficients (Howe-Moore property) for representations with small exponential growth of SL(3, ?) on X.     

On almost Chebyshev subspaces

A closed subspace F in a Banach space X is called almost Chebyshev if the set of x ε X which fail to have unique best approximation in F is contained in a first category subset. We prove, among other results, that if X is a separable Banach space which is either locally uniformly convex or has the Radon-Nikodym property, then “almost all” closed subspaces are almost Chebyshev.     

Ideal properties of the Dunford integration operator

Let F be a Banach space. We establish necessary and sufficient conditions for the Dunford integration operator, from the space of F‐valued Dunford integrable functions to the bidual of F, to belong to a given operator ideal. We also show how this fact can be used to characterize important classes of Banach spaces, such as Banach spaces with the Banach‐Saks property, separable Banach spaces not containing c₀, Banach spaces not containing c₀ or ?₁ and Asplund spaces not containing c₀.     

Algorithm for solving a new class of general mixed variational inequalities in Banach spaces

In this paper, a new concept of η-proximal mapping for a proper subdifferentiable functional (which may not be convex) on a Banach space is introduced. An existence and Lipschitz continuity of the η-proximal mapping are proved. By using properties of the η-proximal mapping, a new class of general mixed variational inequalities is introduced and studied in Banach spaces. An existence theorem of solutions is established and a new iterative algorithm for solving the general mixed variational inequality is suggested. A convergence criteria of the iterative sequence generated by the new algorithm is also given.     

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.     

On constructions of strong and uniformly minimal M-bases in Banach spaces

We find a natural class of transformations ("flattened perturbations") of a norming M-basis in a Banach space X, which give a strong norming M-basis in X. This simplifies and generalizes the positive answer to the "strong M-basis problem" solved by P.Terenzi. We also show that in general one cannot achieve uniformly minimality applying standard transformations to a given norming M-basis, despite of the existence in X a uniformly minimal strong M-bases.