Abstract. In the present paper we have derived some properties of the pseudo-metric introduced by Riecanová on a lattice effect algebra E corresponding to a valuation ω on E, which turns out to be a metric if ω happens to be faithful. Using these properties we have been able to prove that this metric is complete. Also it is observed that the resulting metric space is convex if and only if ω is non-atomic if and only if E is atomless.
IntroductionKôpka, in 1992, defined the D-posets of fuzzy sets in [11], which is closed under the formations of differences of fuzzy sets while studying axiomatical systems of fuzzy sets. The structure of a D-poset supports a noncommutative measure theory and allows the solution of some problems of non-commutative probability theory including some problems of theory of quantum measurement. In the same sense an equivalent structure, called effect algebra, were introduced as the carriers of states or probability measure in the quantum (or fuzzy) probability theory [6-10, 15, 17]. The categorical equivalence of a difference poset and an effect algebra is discussed in [5] and some of its properties and examples are studied in [3, 4; see also 5]. It is proved in [13] that a state on a lattice effect algebra is sub-additive if and only if it is a valuation. A state on a lattice effect algebra need not be sub-additive. There are even finite effect algebras admitting no states hence also no probabilities [12]. Further, if a faithful (i.e. non-zero at non-zero elements) valuation on an effect algebra E exists then E is modular and separable [13].Section 2 of the present paper contains prerequisites and basic results on an effect algebra. In Section 3, we are concerned with the pseudo-metric ρ ω and some of its properties on the lattice effect algebra E\ it is found that