4 updated update

Update: The question is completely answered. I had overlooked a reduction to the self-adjoint case, and the latter can be proved using a Hahn-Banach separation theorem. Thanks to Matthew Daws for first pointing this out to me. Thanks also to Willie Wong for pointing out that I should have asked the author; I later did so, and he confirmed that a Hahn-Banach separation theorem was intended (and generously provided another argument). I want to point out, because this post may highlight a minor error in the book, that it is a great book.

1 An operator system is a self-adjoint unital subspace of the algebra of bounded operators on a Hilbert space (or an abstract space that is completely order isomorphic to one of these).

Update: Matthew Daws has answered the question to my satisfaction, pointing out by example that the claim is incorrect and giving an argument for a corrected version of the claim. The latter can easily be used to prove what is actually needed in Paulsen's presentation, namely that $s$ can be obtained with $s(x)\ngeq0$ rather than $s(x)<0$. If anyone has insight into whether or not "Krein-Milman" was merely a slip, I'd still greatly appreciate it. I feel compelled to say, because this post may highlight a minor error in the book, that it is a great book.

3 update

When I hear "Krein-Milman", I think of the result at the link, a standard result in functional analysis. But recently I came across an invocation of "the Krein-Milman theorem (for cones)" which looks more like a Hahn-Banach type result, and I am having trouble tracking down what precisely the author is referring to (and why the result is true).

To make my question precise, I'll have to give the basic setup. Let $V$ be a complex vector space with a conjugate linear involution $*$, a norm that makes $*$ an isometry, and a norm-closed cone $C\subset\{v\in V:v=v^*\}$, meaning $C$ is closed under addition and nonnegative real scalar multiplication, and satisfies $C\cap(-C)=\{0\}$. (Such a $V$ is called an ordered $*$-vector space.)

To paraphrase part of Paulsen's exposition of the Choi-Effros abstract characterization of operator systems1:

If $x$ is in $V\setminus C$, then by the Krein-Milman theorem (for cones) there exists a linear functional $s:V\to\mathbb{C}$ with $s(C)\subseteq[0,\infty)$ and $s(x)<0$.

Because $C$ is a closed convex subset of a normed (and thus locally convex) space, my first inclination was to adapt some version of Hahn-Banach. However, I can't see how to do this while keeping complex linearity and the conclusion of the above claim. (There would be no problem in the real case, e.g. by Theorem 3.4 of Rudin's Functional Analysis, 2nd edition, page 59.) I've looked across the internet and my library's bookshelves to try to find what is meant, with no luck so far.

Question 1: Does anyone have a reference for (or statement and explanation of) the "Krein-Milman theorem for cones"?

Question 2: Am I missing a straightforward argument proving the above claim, for example by an application of Hahn-Banach?

I believe I have faithfully presented enough to cover everything relevant to my question, but the spaces in Paulsen's proof actually have a lot more structure, which you can find at the link above if you think it will help. Hopefully I didn't lose something essential in an effort to not get bogged down--this is clearly a risk because I don't know what theorem is being cited.

1 An operator system is a self-adjoint unital subspace of the algebra of bounded operators on a Hilbert space (or an abstract space that is completely order isomorphic to one of these).

Update: Matthew Daws has answered the question to my satisfaction, pointing out by example that the claim is incorrect and giving an argument for a corrected version of the claim. The latter can easily be used to prove what is actually needed in Paulsen's presentation, namely that $s$ can be obtained with $s(x)\ngeq0$ rather than $s(x)<0$. If anyone has insight into whether or not "Krein-Milman" was merely a slip, I'd still greatly appreciate it. I feel compelled to say, because this post may highlight a minor error in the book, that it is a great book.

When I hear "Krein-Milman", I think of the result at the link, a standard result in functional analysis. But recently I came across an invocation of "the Krein-Milman theorem (for cones)" which looks more like a Hahn-Banach type result, and I am having trouble tracking down what precisely the author is referring to (and why the result is true).

To make my question precise, I'll have to give the basic setup. Let $V$ be a complex vector space with a conjugate linear involution $*$, a norm that makes $*$ an isometry, and a norm-closed cone $C\subset\{v\in V:v=v^*\}$, meaning $C$ is closed under addition and nonnegative real scalar multiplication, and satisfies $C\cap(-C)=\{0\}$. (Such a $V$ is called an ordered $*$-vector space.)

To paraphrase part of Paulsen's exposition of the Choi-Effros abstract characterization of operator systems1:

If $x$ is in $V\setminus C$, then by the Krein-Milman theorem (for cones) there exists a linear functional $s:V\to\mathbb{C}$ with $s(C)\subseteq[0,\infty)$ and $s(x)<0$.

Because $C$ is a closed convex subset of a normed (and thus locally convex) space, my first inclination was to adapt some version of Hahn-Banach. However, I can't see how to do this while keeping complex linearity and the conclusion of the above claim. (There would be no problem in the real case, e.g. by Theorem 3.4 of Rudin's Functional Analysis, 2nd edition, page 59.) I've looked across the internet and my library's bookshelves to try to find what is meant, with no luck so far.

Question 1: Does anyone have a reference for (or statement and explanation of) the "Krein-Milman theorem for cones"?

Question 2: Am I missing a straightforward argument proving the above claim, for example by an application of Hahn-Banach?

I believe I have faithfully presented enough to cover everything relevant to my question, but the spaces in Paulsen's proof actually have a lot more structure, which you can find at the link above if you think it will help. Hopefully I didn't lose something essential in an effort to not get bogged down--this is clearly a risk because I don't know what theorem is being cited.

1 An operator system is a self-adjoint unital subspace of the algebra of bounded operators on a Hilbert space (or an abstract space that is completely order isomorphic to one of these).

1