 Supporting measure lemma for affine upper envelopes

The sublinear functional $p(g)=\mu (\overline{g})$ has a linear supporting functional taking the value $p(f)$ at a specified continuous $f$, by the Hahn-Banach theorem. It is positive and normalized because $p$ has these values on constants. The Riesz-Markov-Kakutani representation theorem gives the probability $\nu$. Testing affine functions and their negatives shows that $\mu$ and $\nu$ have the same barycenter.