Antosik-Mikusinski matrix convergence theorem in quantum logics (Q1421600)

Let \((L, \perp, \oplus, 0,1)\) be an effect algebra. A net \((a_\alpha)\subset L\) is order convergent to \(a\in L\) if there are nets \((u_\alpha)\), \((v_\alpha)\) in \(L\) such that \(u_\alpha\leq a_\alpha\leq v_ \alpha\) and \(u_ \alpha\nearrow a\), \(v_ \alpha\searrow a\). The order topology, \(\tau_ 0\), on \(L\) is the finest topology such that the order convergence implies convergence in \(\tau_0\). \(L\) is said to be connected if for all \(a,b\in L\) with \(a<b\) there is a \(c\in L\) with \(a<c<b\). The following infinite matrix convergence theorem for totally ordered connected effect algebras is proved: Let \((a_{ij})_{i,j\in N}\subset L\) where \(L\) is a \(\sigma\)-complete totally ordered effect algebra. Suppose that (i) \(a_ {i,j}\to a_ j\), \(j\in N\), for each \(i\); (ii) \((a_{ij})_ j\) is an orthogonal sequence for each \(i\), and for each strictly increasing sequence \((\alpha_ n)\) in \(N\) there is a strictly increasing subsequence \((\beta_m)\) of \((\alpha_ n)\) such that the sequence \((\oplus_m\, a_{i\beta_ m})_ i\) is a \(\tau_0\)- Cauchy sequence. Then \((a_{ij})_ j\) is \(\tau_ 0\)-convergent to \(a_ j\) uniformly with respect to \(j\in N\). As a consequence, the Hahn-Schur Theorem for effect algebras is established.