2 problems

Let $S$ be an incomplete inner product space, and let $F(S)$ denote the orthogonally closed subspaces of $S$. A finitely additive state on $F(S)$ is a state that is additive on ort…

Let $\rho$ be a state for which the gauge-group action and extensions considered in Corollary are defined, without assuming that $\rho$ is a product state. Generalized transitivity…