No label defined (Q4955593)

Let \(P\) be a bounded poset with a partial binary operation \(\setminus \) such that \(b\setminus a\) is defined iff \(a\leq b\). Then \( P\) is called a \(D\)-poset iff it satisfies the following conditions for all \(a,b,c\in P\), \(a\leq b\leq c\): (1) \(b\setminus a\leq b\), (2) \(b\setminus (b\setminus a)=a\), (3) \(c\setminus b\leq c\setminus a\), (4) \((c\setminus a)\setminus (c\setminus b)=b\setminus a\). A \(\sigma \)-morphism \(w\) between two D-posets is a mapping such that (M1) \(w(1)=1\), (M2) \(a\leq b\) implies \(w(b\setminus a)=w(b)\setminus w(a)\), (M3) \(a_n\nearrow a\) implies \(w(a_n)\nearrow w(a)\). A state (probability measure) is a \(\sigma \)-morhpism from \(P\) to the real interval \([0,1]\) with the standard partial difference. An observable is a \(\sigma \)-morphism from the Borel algebra on the real line to \(P\). Let \(z\) be an observable such that, for all Borel measurable functions \(f_1,\ldots ,f_n, g_1,\ldots ,g_n, h\), the equalities \(z\circ f_i^{-1} =z\circ g_i^{-1}\), \(i=1,\ldots ,n\), imply \(z\circ h(f_1,\ldots ,f_n)^{-1} =z\circ h(g_1,\ldots ,g_n)^{-1}\). An observable \(x\) is called \(z\)-representable iff \(x=z\circ f^{-1}\) for some Borel measurable function \(f\). For sequences of \(z\)-representable observables, various types of convergence (uniform, uniform almost everywhere, almost uniform, in a state, etc.) are studied. Weak and strong laws of large numbers and central limit theorem are proved. No example of a nontrivial observable \(z\) satisfying the above assumptions is presented.