We prove that the interval topology of an Archimedean atomic lattice effect algebra is Hausdorff whenever the set of all atoms of is almost orthogonal. In such a case is order continuous. If moreover is complete then order convergence of nets of elements of is topological and hence it coincides with convergence in the order topology and this topology is compact Hausdorff compatible with a uniformity induced by a separating function family on corresponding to compact and cocompact elements. For block-finite Archimedean atomic lattice effect algebras the equivalence of almost orthogonality and s-compact generation is shown. As the main application we obtain the state smearing theorem for these effect algebras, as well as the continuity of -operation in the order and interval topologies on them.

生成讲解博客的中文版本

生成AI智能校验的中文版本