Continuity properties of the ball hull mapping Original Research Article

The ball hull mappingββ associates with each closed bounded convex set KK in a Banach space its ball hull β(K)β(K), defined as the intersection of all closed balls containing KK. We are concerned in this paper with continuity and Lipschitz continuity (with respect to the Hausdorff metric) of the ball hull mapping. It is proved that ββ is a Lipschitz map in finite dimensional polyhedral spaces. Both properties, finite dimension and polyhedral norm, are necessary for this result. Characterizing the ball hull mapping by means ofHH-convexity we show, with the help of a remarkable example from combinatorial geometry, that there exist norms with noncontinuous ββ map, even in finite dimensional spaces. Using this surprising result, we then show that there are infinite dimensional polyhedral spaces (in the usual sense of Klee) for which the map ββ is not continuous. A property known as ball stability implies that ββ has Lipschitz constant one. We prove that every Banach space of dimension greater than two can be renormed so that there is an intersection of closed balls for which none of its parallel bodies is an intersection of closed balls, thus lacking ball stability.