Quantum-logics-valued measure convergence theorem (Q1421657)

In the paper under review a version of the Vitali-Hahn-Saks theorem is proved for measures defined on Boolean algebras with values in totally ordered effect algebras. Let \(L\) be an effect algebra. \(L\) is called connected if, for all \(a,b\in L\), \(a<b,\) there is \(p\in L\) such that \(a<p<b\). A net \((a_ \alpha)\) in \(L\) is said to be order convergent to \(a\in L\) if there exist a decreasing net \((u_ \alpha)\) and an increasing net \((v_ \alpha)\) such that \(v_ \alpha\leq a_\alpha\leq u_ \alpha\) and \(\sup v_\alpha=\inf u_\alpha=a\). The order topology on \(L\) is the strongest topology, \(\tau,\) such that order convergence implies convergence in \(\tau\). Let \(\mu: L_ 1\to L_ 2\) be a finitely additive measure between effect algebras \(L_ 1\) and \(L_ 2\). The measure \(\mu\) is said to be continuous with respect to a nonnegative measure \(\nu\) on \(L_1\) if for every \(\varepsilon>0\) there is a \(\tau\)-neighbourhood \(V(\varepsilon)\) of 0 (in \(L_ 2\)) such that \(\mu(a)\in V(\varepsilon)\) whenever \(0\leq \nu(a)\leq \varepsilon\). A sequence \((\mu_n)\) of \(L_ 2\)-valued measures on \(L_ 1\) is called uniformly continuous with respect to \(\nu\) if for every \(\varepsilon>0\) there is a \(\tau\)-neighbourhood \(V(\varepsilon)\) of 0 such that \(\mu_n(a)\in V(\varepsilon)\) for all \(n\) whenever \(0\leq \nu(a)\leq \varepsilon\). The main result is as follows. Suppose that \(L_1\) is a \(\sigma\)-complete Boolean algebra and \((\mu_n)\) is a sequence of \(L_ 2\)-valued s-bounded measures on \(L_ 1\), where \(L_ 2\) is a \(\sigma\)-complete, totally ordered, connected effect algebra. Let \(\mu_n(a)\) be a Cauchy sequence in the order topology \(\tau\) on \(L_2\) for each \(a\in L_ 1\). If each measure \(\mu_n\) is continuous with respect to a measure \(\nu\), then \((\mu_ n)\) is uniformly continuous with respect to \(\nu\).