Let P be an orthomodular poset and let B be a Boolean subalgebra of P. A mapping s:P → ⟨0,1⟩ is said to be a centrally additive B-state if it is order preserving, satisfies s(a') = 1 - s(a), is additive on couples that contain a central element, and restricts to a state on B. It is shown that, for any Boolean subalgebra B of P, P has an abundance of two-valued centrally additive B-states. This answers positively a question raised in [13, Open question, p. 13]. As a consequence one obtains a somewhat better set representation of orthomodular posets and a better extension theorem than in [2, 12, 13]. Further improvement in the Boolean vein is hardly possible as the concluding example shows.
3
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
In [4] it is proved that a measure on a finite coarse-grained space extends, as a signed measure, over the entire power algebra. In [7] this result is reproved and further improved. Both the articles [4] and [7] use the proof techniques of linear spaces (i.e. they use multiplication by real scalars). In this note we show that all the results cited above can be relatively easily obtained by the Horn-Tarski extension technique in a purely combinatorial manner. We also characterize the pure measures and settle the dimension of the normalized-measure space. We then comment on a consequence of the results for circulant matrices. Finally, we take up the case of circle coarse-grained space and also establish a measure-extension result.