If one also enforces non-triviality and continuity, then there is a one-to-one correspondence between multiplicative seminorms and points.  Namely:

> **Proposition**.  Let $X$ be compact Hausdorff, and let $\| \|: C(X \to {\bf R}) \to {\bf R}$ be a continuous map that obeys the homogeneity property $\|cf\| = |c| \|f\|$, the multiplicative property $\|fg\|=\|f\|\|g\|$, and the triangle inequality $\|f+g\| \leq \|f\| + \|g\|$, and such that $\| \|$ is not identically zero.  Then there exists a unique $x_0 \in X$ such that $\|f\| = |f(x_0)|$.

**Proof.**  Since $\|f\| \neq 0$ for at least one $f$, and $f \cdot 1 = f$, we conclude from multiplicativity that $\|1\| = 1$.

Call a point $x \in X$ *typical* if there is a function $f \in C(X \to {\bf R})$ that vanishes in a neighbourhood of $x$ with $\|f\| \neq 0$.  If every point was typical, then by compactness one could find finitely many functions $f_1, \dots,f_k \in C(X \to {\bf R})$, all of nonzero norm, with each $f_i$ vanishing on an open set $U_i$ with the $U_i$ covering $X$.  But then $\|0\| = \| f_1 \dots f_k \| = \|f_1\| \dots \|f_k\| \neq 0$, which is absurd.  Thus there must be a point $x_0$ which is not typical; thus $\|f\|=0$ whenever $f$ vanishes near $x_0$, and hence by the triangle inequality $\|f\|=\|g\|$ whenever $f,g$ agree near $x_0$.

For any $f \in C(X \to {\bf R})$ and any $\varepsilon>0$, one can use Urysohn's lemma to find a function $f_\varepsilon$ that lies with $\varepsilon$ of $f(x_0)$ and agrees with $f$ on a neighbourhood of $x_0$.  Then $\|f\| = \|f_\varepsilon\|$; taking limits as $\varepsilon \to 0$, we conclude that $\|f\| = \| f(x_0) \| = |f(x_0)|$, so we have located an $x_0$ with the required properties, which is unique since $C(X \to {\bf R})$ separates points.  $\Box$

Without the continuity axiom there appear to be additional, weirder seminorms arising from other distributions supported at points than Dirac masses.  For instance, for $X = [-1,1]$, the map $\| f \| := |f(0)| \exp( \alpha \frac{f'(0)}{f(0)} )$, for any fixed real $\alpha$, gives a densely defined map on $C([-1,1] \to {\bf R})$ that obeys the homogeneity, multiplicativity, and triangle inequality (the latter is a calculation using the convexity of $t \mapsto \exp(\alpha t)$), but is discontinuous.  It may be possible to extend this map to the rest of $C([-1,1] \to {\bf R})$ by a Zorn's lemma argument, though I have not checked this.