Weight of convex compact sets and their boundaries.
The boundary of a convex compact set
is a set
such that any continuous affine function on
attains a maximum on
. The set of extreme points is the boundary. It has been proved that if some boundary
of a convex compact subset
of a locally convex linear space has a countable network, then the convex compact set
is metrizable.
R. Haydon proved this statement in 1976 for the case when
is a set of extreme points. J. Spurnỳ proved this statement in 2010 for the case when
is a separable metrizable space.
If the boundary
is a Lindelof
-space, then the network weight
of the boundary
coincides with the weight
of the convex compact set
.
