A note on non-support points, negligible sets, Gâteaux differentiability and Lipschitz embeddings

This chapter presents the main results on Gâteaux differentiability of Lipschitz functions by recalling the notions of the Radon-Nikodým property (RNP) and null sets. The discussion focuses not only on the mere existence of points of Fréchet differentiability, but also, and often more important, on the validity of the mean value estimates. After considering the RNP of a Banach space, the chapter examines Haar and Aronszajn-Gauss null sets. It then analyzes the existence result for Gâteaux derivatives as well as the meaning of multidimensional mean value estimates. It also explains how, for locally Lipschitz maps of separable Banach spaces to spaces with the RNP, the condition for the validity of the multidimensional mean value estimate may be simplified.

We develop a theory of best simultaneous approximation for closed convex sets in a conditionally complete lattice Banach space X with a strong unit. We study best simultaneous approximation in X by elements of closed convex sets, and give necessary and sufficient conditions for the uniqueness of best simultaneous approximation. We give a characterization of simultaneous pseudo-Chebyshev and quasi-Chebyshev closed convex sets in X. Also, we present various characterizations of best simultaneous approximation of elements by closed convex sets in terms of the extremal points of the closed unit ball B X* of X*.

Let E be a Banach space. The concept of n‐type overE is introduced here, generalizing the concept of type overE introduced by Krivine and Maurey. Let E″ be the second dual of E and fix . The function τ : E × ℝn → ℝ, defined by letting for all x ∈ E and all a1, …, an ∈ ℝ, defines an n‐type over E. Types that can be represented in this way are called double‐dual n‐types; we say that realizes τ. Let E be a (not necessarily separable) Banach space that does not contain ℓ1. We study the set of elements of that realize a given double‐dual n‐type over E. We show that the set of realizations of this n‐type is convex. This generalizes a result of Haydon and Maurey who showed that the set of realizations of a given 1‐type over a separable Banach space E is convex. The proof makes use of Henson′s language for normed space structures and uses ideas from mathematical logic, most notably the Löwenheim‐Skolem theorem.

Weak ∗-Polish Banach spaces

We develop a theory of simultaneous metric projection in a normed linear space $X$ and present various characterizations of simultaneous metric projection onto closed convex sets in terms of the elements of $X^{\ast}$. Also, we characterize the elements of simultaneous metric projection onto closed convex sets in terms of extreme points of the closed unit ball $B_{X^{\ast}}.$ Finally, as an application, we give various characterizations of simultaneous metric projection onto subspaces of the Banach space $C(Q,Y).$

The aim of this paper is to give a brief summary of the Pettis and Bochner integrals, how they are related, how they are generalized to the set-valued setting and the canonical Banach spaces of bounded maps between Banach spaces that they generate. The main tool that we use to relate the Banach space-valued case to the set-valued case, is the Rådström embedding theorem.KeywordsAbsolutely summing operatorBanach latticeBanach spaceBochner integralPettis integral

Introduction. This paper gives counterexamples for two unrelated conjectures which pertain to convexity theory. Supposef is any function defined on a closed convex set C in finitedimensional Euclidean space. Its envelope function env f is defined as the pointwise supremum of all linear functions which f dominates everywhere. It is elementary and well known that env f is convex, and hence continuous in the relative interior of C. It is similarly known that env f is lower-semicontinuous on the boundary of C. Witsenhausen [14] uses and studies envelope functions. He suggested the following orally: CONJECTURE 1. Iff is continuous everywhere on C, then envf is also continuous everywhere on C. I provide a very simple counterexample in 3-space which shows that this is not true. Incidentally, though the proof is not on paper, I feel fairly certain that Witsenhausen's conjecture is correct in 2-space. If C is a closed convex set in finite-dimensional Euclidean space, then for any point x in the space there is a unique point P(x) in C which is nearest to x. The mapping P is called the projection onto C. (Many interesting results about this mapping are given in Phelps [9], [10].) It is easy to prove and well known that P is a contraction mapping, hence continuous. It is also easy to see that P need not have much in the way of differentiability properties, for if C is a polyhedron in 2-space, then it is easy to find points and directions at which P does not even have a two-sided directional derivative. The existence in general of a one-sided directional derivative, however, is not so easy to decide. This question does not seem to be raised in such natural places as Eggleston [4] and Valentine [11]. CONJECTURE 2. For all points and directions, P has a one-sided directional derivative. My mildly complicated counterexample is a set C (in 3-space), which is the convex hull of a countable infinity of points. I suspect that the conjecture is correct in 2-space. In n-space it would be interesting to know whether the set of points and directions at which the conjecture holds is dense in EnXSn-. If not, the convex set would have to be extremely jagged!

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

Every separable Banach space admits an equivalent norm such that the unit ball with respect to this norm has at most countably many strongly extreme points.Every separable nonreflexive Banach space can be renormed so that its unit ball has at most countably many weakly strongly extreme points.

This project extends known theorems for scalar valued functions to the context of Banach space valued functions. In particular, it contains generalizations of the classical theory of Lebesgue Integrals, complex measures, Radon-Nikodym theorem and Riesz Representation theorem. We explore some properties of functions whose domains are abstract Banach spaces, where the usual derivatives are replaced by Radon-Nikodym derivatives. The first two Chapters are devoted to infinite dimensional measurable functions and the problem of integrating them. Most of the basic properties of Bochner integration are forced on it by the classical Lebesgue integration and the usual definition of measurability. The Radon-Nikodym theorem for Bochner Integral is the subject to Chapter III. The roles of reflexive spaces, separable anti-dual spaces and the Radon-Nikodym property of Banach spaces are also discussed in this Chapter. One of the most interesting aspects of the theory of the Bochner integral centers about the following questions: When does a vector measure F: Ʒ→X arise as a Bochner integral of an L1(S,X) function (i.e. F(E) = ∫E f dm)? And conversely, if f ∈ L1(S,X). Then, is F: Ʒ→X, defined by F(E) = ∫E f dm, a countably additive vector measure, absolutely continuous with respect to the positive measure m? These two questiones are examined by the Radon-Nikodym theorem and the Riesz Representation theorem. It is worth observing, that the relationsip between these theorems are considered to be just a formality of translating a set of basic definitions from one context to another. There are theories of integration similar to the Bochner Integral, that allow us to integrate functions that are only weakly measurable (The Pettis Integral) with respect to a positive measure. Also, the ultimate generality of the Bochner Integral, the Bartle Integral, for integrating vector valued functions with respect to a general vector measure. However, these theories do not occupy a central role in our study and we limit ourselves to only mentioning [1] as an excellent reference.

Semilinear multivalued equations are considered, in separable Banach spaces with the Radon-Nikodym property. An effective criterion for the existence of solutions to the associated Floquet boundary value problem is showed. Its proof is obtained combining a continuation principle with a Liapunov-like technique and a Scorza-Dragoni type theorem. A strictly localized transversality condition is assumed. The employed method enables to localize the solution values in a not necessarily invariant set; it allows also to introduce nonlinearities with superlinear growth in the state variable.

On constructing multiplications on Banach spaces

Let X X be a separable Banach space. We give an almost characterization of the existence of a Finite Dimensional Decomposition (FDD for short) for X X in terms of Lipschitz retractions onto generating compact subsets K K of X X . In one direction, if X X admits an FDD then we construct a Lipschitz retraction onto a small generating convex and compact set K K . On the other hand, we prove that if X X admits a “small” generating compact Lipschitz retract then X X has the π \pi -property. It is still unknown if the π \pi -property is isomorphically equivalent to the existence of an FDD. For dual Banach spaces this is true, so our results give a characterization of the FDD property for dual Banach spaces X X . We give an example of a small generating convex compact set which is not a Lipschitz retract of C [ 0 , 1 ] C[0,1] , although it is contained in a small convex Lipschitz retract and contains another one. We characterize isomorphically Hilbertian spaces as those Banach spaces X X for which every convex and compact subset is a Lipschitz retract of X X . Finally, we prove that a convex and compact set K K in any Banach space with a Uniformly Rotund in Every Direction norm is a uniform retract, of every bounded set containing it, via the nearest point map.

On the structure of non-dentable closed bounded convex sets

For the duality mapping on a Banach space the relation between lower semi-continuity and upper semi-continuity properties is explored, upper semi-continuity is characterized in terms of slices of the ball and upper semi-continuity properties are related to geometrical properties which imply that the space is an Asplund space. The duality mapping is a natural set-valued mapping from the unit sphere of a normed linear space into subsets of its dual sphere, and which for an inner product space is the mapping associating an element of the unit sphere with the corresponding continuous linear functional given by the inner product. It is an example of a subdifferential mapping of a continuous convex function (in this case, the norm), which is in turn a special kind of maximal monotone mapping. Cudia [4, p. 298] showed that the duality mapping is always upper semi-continuous when the space has the norm and the dual space has the weak* topology, and Kenderov [10, p. 67] extended this to maximal monotone mappings. Bonsall, Cain, and Schneider [3] used the property to prove the connectedness of the numerical range of an operator on a normed linear space. Along with the activity which culminated in StegalΓs theorem [15] characterizing an Asplund space as one whose dual has the Radon-Nikodym property, there has been some interest in finding geometrical conditions sufficient for a space to be Asplund. A Banach space X is an Asplund space if every continuous convex function defined on an open convex subset of X is strongly differentiate on a dense Gδ subset of its domain. Ekeland and Lebourg [6, p. 204] have shown that a Banach space is Asplund if there exists a strongly differentiate real function on the space with bounded nonempty support, in particular, if the space can be equivalently renormed to have norm strongly differentiable on the unit sphere. Using StegalΓs theorem, a result of Diestel and Faires [5, p. 625] gives that a Banach space is Asplund if the space can be equivalently renormed to be very smooth, that is, to be smooth and to have the single valued duality mapping continuous when the space has the norm and the dual space has the weak topology. Recently Smith and Sullivan [13, Theorem 15] have exhibited a more general condition which is sufficient for a Banach space to be Asplund. We show that