Manuscript En05-C@1 · En05-C.tex · section · aa213ea6

Compatible states and effects

Stage H: a constructed bounded-sequence observable limit › Compatible states and effects · lines 1922–1928

Back to manuscript

Choose a state on extending the ordinary limit on convergent scalar sequences. Such a state follows from the positive state-extension theorem. It vanishes on .

Nearby in this section