On strongly exposing functionals

Let X be a real Banach space and let K be a bounded closed convex subset of X. We prove that the set of strongly exposing functions K^ of K is a (norm) dense G8 in X* if and only if for any bounded closed convex subset C such that K⊄C, there exists a point x in K which is a strongly exposed point of conv (C ∪ K). As an application, we show that if X* is weakly compact generated, then for any weakly compact subset K in X, the set K^ is a dense G8 in X*.