Published online by Cambridge University Press: 09 April 2009
The bidual of a unital infrabarrelled l.m.c. C* algebra E, equipped with the bidual topology and the regualr Arens product, is always an l.m.c. C*-algebra. On the other hand, a unital l.m.c. *-algebra E has the C*-property if and only if every self-adjoint element x of E is strongly hermitian (x has real numerical range), or the sets of normalized states and normalized continuous positive linear forms of E coincide. Finally, every unital cpmplete l.m.c. C* algebra satisfying, locally, the property ‘the extreme points are dense in that set of continuous positive linear forms” (antiliminal algebra) has the complexes as its only normal elements.