We study the sequential product, the operation p∗q=√pq√p on the set of effects of a von Neumann algebra that represents sequential measurement of first p and then q. We give four axioms which completely determine the sequential product.
We study the sequential product, the operation p∗q=√pq√p on the set of effects of a von Neumann algebra that represents sequential measurement of first p and then q. We give four axioms which completely determine the sequential product.