A supplement to the paper "Differentiable roads for real functions" by J. G. Ceder
Let f be a Borel measurable mapping of a Luzin (i.e. absolute Borel metric) space L onto a metric space M such that f(F) is a Borel subset of M if F is closed in L. We show that then is a set for all except countably many y ∈ M, that M is also Luzin, and that the Borel classes of the sets f(F), F closed in L, are bounded by a fixed countable ordinal. This gives a converse of the classical theorem of Arsenin and Kunugui. As a particular case we get Taĭmanov’s theorem saying that the image of...
On each nonreflexive Banach space X there exists a positive continuous convex function f such that 1/f is not a d.c. function (i.e., a difference of two continuous convex functions). This result together with known ones implies that X is reflexive if and only if each everywhere defined quotient of two continuous convex functions is a d.c. function. Our construction also gives a stronger version of Klee's result concerning renormings of nonreflexive spaces and non-norm-attaining functionals.
Page 1