Let $\mathcal A$ be a C*-algebra and $s(\mathcal A)$ the set of states on $\mathcal A$, with the weak* topology, as a subspace of the dual space. Suppose $f: s(\mathcal A) \to \mathbb C$ is a continuous function. Does there exist an element $a\in \mathcal A$ such that $f(\phi) = \phi(a)$ for all $\phi\in s(\mathcal A)$?
Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)
|
4
2
|
|
|
|
|
7
|
No. Such an element $a$ exists if, and only if, $f$ is affine and continuous in the weak* topology. Notice that $s(\mathcal{A})$ is a convex set, so it makes sense to require $f$ to be affine, meaning $f(\lambda\phi+(1-\lambda)\psi)=\lambda f(\phi)+(1-\lambda)f(\psi)$ for all $\phi,\psi\in s(\mathcal{A})$ and $\lambda\in[0,1]$. Addendum: A good reference, though it does not even mention C*-algebras, is Erik M. Alfsen: Compact convex sets and boundary integrals (1971). The reason is that the self-adjoint part of a (unital) C*-algebra is an order unit space, meaning a partially ordered vector space with a special element $e$ (the order unit) so that the unit ball is |
|||
|
|

