Cantor-space representation of positive functionals ($\varphi (f)={\int }_{\Omega }fdP$)

Extend the cylinder premeasure from a positive functional to a Borel probability measure and use cylinder-function density in Cantor space. The integral and functional agree on cylinder simple functions, and both are continuous in the supremum norm, so they agree on all of $C(\Omega )$. Uniqueness on the generating cylinder algebra gives uniqueness of the Borel measure.

Given a continuous surjection $h:\Omega \to K$ from Cantor space to a nonempty compact metric space, the pullback $f\mapsto f\circ h$ is a unital isometric embedding of $C(K)$ into $C(\Omega )$. Transport a normalized positive linear functional to its image, take a positive extension from a unital subspace of C(K), and represent that extension on Cantor space. The pushforward measure $h_{\ast }P$ then represents the original functional.