I posted this question a few days back at math.SE but could not get help. So I was kind of forced to ask here. Please excuse me if this question is not suitable here.


Let $V$ be a locally convex space, and let $K$ be convex compact set in $V$. Define $A(K)\subset C(K)$ as 


$$ A(K)=\{ \phi:K\rightarrow \mathbb{C}\; |\; \phi\; \text{is continuous and affine} \}$$ 


Then we know that $A(K)$ is a function system. And hence we can define its state space as 


$$S(A(K))=\{f:A(K)\rightarrow\mathbb{C}\;|\; f \;\text{is positive and } f(1)=1\}$$ We also know that $ S(A(K))$ is weak\* compact. The question that is bothering me is this. I need to prove that $K$ and $S(A(K))$ are affinely homeomorphic. The map I have defined is $x\mapsto \hat{x}$, where $\hat{x}$ is the usual evaluation map. I have shown almost everything except that this map is an onto map. How do I prove this part? Any reference or hint will be appreciated. Thanks.



Affine Homeomorphism between a compact set K and the state space on A(K)
I believe that this is Theorem 7.1 in Ken Goodearl's book "Partially ordered abelian groups with interpolation."


