On the structure of the state space of maximal \(Op^*\)-algebras (Q578570)

For the maximal \(Op^*\)-algebra \(L^+(D)\) (equipped with the uniform topology \(\tau_ D)\) over a Fréchet domain D we consider the state space \(E=\{\omega \in L^+(D)[\tau_ D]':\omega (I)=1,\omega \geq 0\}\), the vector state space \(V=weak^*\)-closure of \(\{\omega \in E:\omega (A)=<\phi,A\phi >\) for some \(\phi\in D\), \(\| \phi \| =1\}\), and the pure state space \(P=weak^*\)-closure of \(\{\omega \in E:\omega_ 1\in L^+(D)',\omega_ 1\geq 0,\omega_ 1\leq \omega\) implies \(\omega_ 1=\lambda \omega,\lambda \in [0,1]\}\). It is shown that like in the bounded case we have \(V=P=Z=\{\omega \in E:\omega =\lambda \cdot \omega_ 1+(1-\lambda)\omega_ 2,\lambda \in [0,1]\), \(\omega_ 1\)- vector state, \(\omega_ 2\)-singular state]. Moreover there is given an explicit description for \(\omega\in Z\). There are proved several results concerning sequences of vector, normal and singular states. Especially, it is shown that the set of vector states is weak*-sequentially complete. For general \(Op^*\)-algebras \({\mathcal A}(D)\) it is proved that the state space is the weak*-closed convex hull of the vector states. If \({\mathcal A}(D)\) is selfadjoint and topologically irreducible then the state space is also the weak*-closed convex hull of the pure states.