No label defined (Q3975484)

[For the entire collection see Zbl 0725.00004.] A couple \((\Omega,M)\) is said to be a fuzzy quantum poset if \(\Omega\neq\emptyset\) and \(M\subseteq[0,1]^ \Omega\) such that (i) \(1\in M\); (ii) if \(a\in M\), then \(a^ \bot=1-a\in M\); (iii) \(1/2\notin M\); (iv) \(\bigcup^ \infty_{n=1}a_ n:=\sup a_ n\in M\) if \(\min(a_ i,a_ j)\leq 1/2\) for \(i\neq j\). An observable is a mapping \(x:B(R)\to M\) such that (i) \(x(E^ c)=x(E)^ \bot\), \(E\in B(R)\); (ii) \(x(\bigcup^ \infty_{i=1}E_ i)=\bigcup^ \infty_{i=1}x(E_ i)\). Let \(K(M)=\{A\subseteq\Omega:\exists A\in M\) such that \(\{a>1/2\}\subseteq A\subseteq\{a\geq1/2\}\}\), then \(K(M)\) is a \(q\)-\(\sigma\)-algebra. In the paper, there is shown that for any observable \(x\) there is a \(K(M)\)- measurable real valued function \(f\) on \(\Omega\) such that \[ \{x(E)>1/2\}\subseteq f^{-1}(E)\subseteq\{x(E)\geq 1/2\},\quad E\in B(R). \]