Characterization of the Steiner point

Abstract

Let / be a mapping which associates with each compact convex set in En a point of En. If / is linear (in terms of the vector addition of convex sets), uniformly continuous and commutes with a substantial enough set of congruences of En, then f(K) is the Steiner point of K for all compact convex sets K.