A Solution to the Faceless Problem

Abstract

Internal points were introduced in the literature of topological vector spaces to characterize the finest locally convex vector topology. Later on, they have been generalized to the context of real vector spaces by means of the inner points. Inner points can be seen as the most opposite concept to the extreme points. In this manuscript we solve the “faceless problem”, that is, the informally posed open problem of characterizing those convex sets free of proper faces. Indeed, we prove that a non-singleton convex subset of a real vector space is free of proper faces if and only if every point of the convex set is an inner point. As a consequence, we prove the following dichotomy theorem: a point of a convex set of a real vector space is either a extreme point or an inner point of some face. We also characterize the non-singleton closed convex subsets of a topological vector space free of proper faces, which turn out to be the linear manifolds. An application of this allows us to show that the only possible minimal faces of a linearly bounded closed convex subset of a topological vector space are the extreme points. As an application of the technique we develop to prove our results, we easily construct dense proper faces of convex sets and non-dense proper faces whose closure is not a face. This fact allows us to equivalently renorm any infinite dimensional Banach space so that its unit ball contains a non-closed face. Even more, we prove that every infinite dimensional Banach space containing an isomorphic copy of $c_0$ or $\ell _p$, $1<p<\infty$, can be equivalently renormed so that its unit ball contains a face whose closure is not a face.