MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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.

share|cite|improve this question
I assume that you mean $K$ is convex and compact. Otherwise convex combinations of states $\hat{x}$ are not necessarily of the form $\hat{y}$ with $y\in K$. For example, consider the unit interval $I$ in $\mathbb{R}$. Then $A(I)=A(\\{0,1\\})$. – Steven Deprez Mar 23 '12 at 10:00
Does Aaron's answer below not suffice? – Yemon Choi Jun 20 '12 at 4:31
up vote 2 down vote accepted

I believe that this is Theorem 7.1 in Ken Goodearl's book "Partially ordered abelian groups with interpolation."

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.