On the Projective Tensor Product of Vector-Valued Measures. II.
We study the set f’(X) = f’(x): x ∈ X when f:X → ℝ is a differentiable bump. We first prove that for any C²-smooth bump f: ℝ² → ℝ the range of the derivative of f must be the closure of its interior. Next we show that if X is an infinite-dimensional separable Banach space with a -smooth bump b:X → ℝ such that is finite, then any connected open subset of X* containing 0 is the range of the derivative of a -smooth bump. We also study the finite-dimensional case which is quite different. Finally,...
We survey recent results on the structure of the range of the derivative of a smooth real valued function f defined on a real Banach space X and of a smooth mapping F between two real Banach spaces X and Y. We recall some necessary conditions and some sufficient conditions on a subset A of L(X,Y) for the existence of a Fréchet-differentiable mapping F from X into Y so that F'(X) = A. Whenever F is only assumed Gâteaux-differentiable, new phenomena appear: we discuss the existence of a mapping F...
We study the size of the sets of gradients of bump functions on the Hilbert space , and the related question as to how small the set of tangent hyperplanes to a smooth bounded starlike body in can be. We find that those sets can be quite small. On the one hand, the usual norm of the Hilbert space can be uniformly approximated by smooth Lipschitz functions so that the cones generated by the ranges of its derivatives have empty interior. This implies that there are smooth Lipschitz bumps...
The classical Bochner integral is compared with the McShane concept of integration based on Riemann type integral sums. It turns out that the Bochner integrable functions form a proper subclass of the set of functions which are McShane integrable provided the Banach space to which the values of functions belong is infinite-dimensional. The Bochner integrable functions are characterized by using gauge techniques. The situation is different in the case of finite-dimensional valued vector functions....
A subset of is called a universal differentiability set if it contains a point of differentiability of every Lipschitz function . We show that any universal differentiability set contains a ‘kernel’ in which the points of differentiability of each Lipschitz function are dense. We further prove that no universal differentiability set may be decomposed as a countable union of relatively closed, non-universal differentiability sets.