A Representation Theorem for Positive Functionals on Involution Algebras

Abstract

D. Raikov has shown [6] that for a commutative Banach algebra A with symmetric involution, the set p of positive linear functionals on A having norm at most one is isometrically isomorphic to the set of positive measures (of norm at most one) defined on the maximal ideal space of A. Raikov’s proof of this theorem depends on the Gelfand theory of commutative Banach algebras and the Riesz-Markov Theorem (see also [8; p. 230]). Here we shall give a new and elementary proof of Raikov’s result by first proving a Radon-Nikodym type theorem for positive functionals (Theorem 1) and then showing directly that the extreme points of the compact convex set of positive linear functionals in the unit ball of A′ are exactly the set M of positive multiplicative linear functionals (Theorem 2). An application of the Krein-Milman Theorem makes possible the representation of every element of p as the centroid of a positive measure on M (Theorem 3) and uniqueness of this representation is a consequence of the Stone-Weierstrass Theorem.