On the Stone-Weierstrass theorem

2011/11/13 by Silviu Teleman, Teleman, Silviu
Computer Science · Mathematics · #46L05 #Advanced Algebra and Logic #Advanced Operator Algebra Research #Advanced Topics in Algebra #FOS: Mathematics #Operator Algebras (math.OA) #math.OA #msc:46L05

paper · pdf · doi:10.48550/arxiv.1111.2980

The paper is withdrawn, pending resolution of a possible error in the companion paper 'On Maximal Measures'

openalex publication_date 2011/11/13 · arxiv created 2013/03/21 · arxiv updated 2013/03/25 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

This paper extends a version of the Stone-Weierstrass theorem to more general C*-algebras. Namely, assume that A is a unital, not necessarily separable, C*-algebra, and B is a C*-subalgebra containing the unit element. Then, I prove that: If B separates the factorial states of A, then B=A. This generalizes a result of Popa and Longo for the case when A is separable. A true Stone-Weierstrass theorem would state that, if B separates the pure states of A, then B=A. This problem is open even in the separable case. The present paper relies on the more technical, foundational results in the companion article 'on Maximal Measures'. This work dates from 2006, and some references may be out of date. Comments are welcome

Related

• A Complete Solution to the Problem of Decomposing a Representation Into Irreducible Representations and its Applications to the Solutions of Three Great Problems in C*-Algebras
• A Stone-Weierstrass theorem for MV-algebras and unital ℓ-groups
• A new proof of the noncommutative Banach-Stone theorem
• Maximally unitarily mixed states on a C*-algebra
• The K-Theory of a Simple Separable Exact C*-Algebra Not Isomorphic to Its Opposite Algebra