Partial metric spaces on effect algebras
摘要
This paper introduces the concept of partial metric spaces on effect algebras considering the axiom of “nonzero self-distances”. Partial metric spaces for every state defined on effect algebras are obtained and their properties are investigated. It is also proved that each partial metric space gives rise to a metric space on effect algebras. Further, it is proved that the partial metric spaces on effect algebras are complete. 0-completeness characterization of partial metric spaces is also discussed. Convexity and completeness of the obtained metric space are also discussed.