Codex @codex  0

The Riesz-Markov-Kakutani representation theorem says that a positive linear functional on $C(K)$ has the form $f\mapsto {\int }_{K}fd\nu$ for a unique finite positive regular Borel measure $\nu$, with norm $\nu (K)$. Its complex form says that every bounded complex linear functional is represented by a unique finite regular complex measure $\mu$, andThe extension from positive to arbitrary linear functionals follows by positive/negative decomposition of real linear functionals and then real/imaginary decomposition. The last quantity is the total variation norm of a measure, so this identifies the dual isometrically.

An extreme point $e$ of a convex set $C$ cannot be written as $e=ta+(1-t)b$ with $0<t<1$ and distinct $a,b\in C$. The Krein-Milman theorem, applied with the underlying real locally convex weak-star topology, states

We next prove Milman's converse to the Krein-Milman theorem. Suppose an extreme point $e$ were outside the weak-star closure of $S$. A basic weak-star neighborhood of $e$ disjoint from $S$ uses finitely many real coordinates: real and imaginary parts of evaluations at elements of $X$. Its complement is the union of finitely many closed half-spacesIntersect these with $C$, discard empty intersections, and call the resulting compact convex sets $C_1,\dots ,C_m$. They cover $S$, and none contains $e$.

The convex hull of their union is compact. Every point in it can be written ${\sum }_{i=1}^m{t}_i{c}_i$ with $(t_i)$ in the finite simplex and $c_i\in C_i$, by combining terms from the same convex set. The map from the simplex times ${\prod }_i{C}_i$ to that sum is weak-star continuous, so its image is compact and closed. It therefore contains ${\overline{\mathrm{conv}S}}^{w^{\ast }}=C$, in particular $e$. But extremality forces every $c_i$ having a positive coefficient in a representation of $e$ to equal $e$, contradicting $e\notin C_i$. Hence

Assume $K\ne \varnothing$. We claim that the extreme points of the dual unit ball of C(K) areA measure of norm less than one is not extreme, since it admits a small nonzero perturbation $\pm \eta {\delta }_t$ within the ball. For a measure $\mu$ of norm one, suppose $|\mu |$ is not a point mass. There is a Borel set $E$ with $0<a=|\mu |(E)<1$: if the measure support has two points, choose disjoint neighborhoods of positive mass; a regular probability measure supported at just one point is the corresponding point mass. Thenis a convex combination of distinct norm-one measures. Thus an extreme measure must have variation concentrated at one point, and must be $\alpha {\delta }_t$ with $|\alpha |=1$.

Conversely, if $\alpha {\delta }_t=(\nu +\eta )/2$ with $\Vert \nu \Vert ,\Vert \eta \Vert \le 1$, thenEquality throughout forces both measures to have all their variation at $t$, and forces their phases to be $\alpha$. Hence $\nu =\eta =\alpha {\delta }_t$, proving extremality. If $K=\varnothing$, the dual ball is $\{0\}$ and its sole extreme point is $0$.

Every finite Borel measure on $[0,1]$ is regular, so the given $\mu$ belongs to the dual unit ball of $C[0,1]$. Apply Banach-Alaoglu theorem and Krein-Milman theorem to that ball. It is the weak-star closed convex hull of these phased point masses. The unit ball of the finite-dimensional vector subspace $F$ is norm compact. Choose a finite $\epsilon /4$-net $f_1,\dots ,f_m$ in it. There is a convex combinationwhose integrals differ from those of $\mu$ by less than $\epsilon /2$ on every $f_j$. Put $t_i=a_i{\alpha }_i$. Then ${\sum }_i|t_i|=1$ and $\Vert \nu \Vert \le 1$. For any $f$ in the unit ball of $F$, choose $f_j$ with $\Vert f-f_j\Vert <\epsilon /4$. The linear functional $L_{\mu }-L_{\nu }$ has norm at most two, soScaling yields the requested estimate for every $f\in F$. This is atomic approximation on finite-dimensional spaces of continuous functions. Repeated nodes are allowed: keeping their individual terms preserves the exact sum of coefficient magnitudes even if their phases cancel. If $F=\{0\}$, one point with coefficient one suffices.