© 2002 by London Mathematical Society
© The London Mathematical Society
A StoneWeierstrass Theorem for JB*-Triples
Department of Mathematics, University College Belfield, Dublin 4, Ireland, barnaby.sheppard{at}ucd.ie
Received 12 February 2001. Revision received 17 August 2001.
First, the strong StoneWeierstrass conjecture for postliminal JB*-triples is proved. This is combined with the recent classification of JB*-triples A for which
e(
) is weak* dense in
, and the weak StoneWeierstrass theorem for JB*-triples is obtained. If B is a JB*-subtriple of a JB*-triple A such that B separates
, then B=A.