Published online by Cambridge University Press: 04 September 2017
The main purpose of this paper is to investigate some natural problems regarding the order structure of representable functionals on *-algebras. We describe the extreme points of order intervals, and give a non-trivial sufficient condition to decide whether or not the infimum of two representable functionals exists. To this aim, we offer a suitable approach to the Lebesgue decomposition theory, which is in complete analogy with the one developed by Ando in the context of positive operators. This tight analogy allows to invoke Ando's results to characterize uniqueness of the decomposition, and solve the infimum problem over certain operator algebras.