Extreme points of a real continuous-function unit ball
ID: extreme-points-of-a-real-continuous-function-unit-ball
For compact Hausdorff , the extreme points of the real unit ball in the space of continuous functions on a compact space are precisely its continuous sign-valued functions. A point with permits a nonzero continuous bump perturbation supported where there is uniform slack, while pointwise equality at an endpoint of forces both functions in a midpoint decomposition to agree. For the Cantor set, clopen indicators give the perturbations directly.
New to topics? Read the docs here!