A Stone-Weierstrass theorem for Banach function spaces satisfying a certain separation property (Q1018145)

The main theorem goes as follows. Let \(B\) be a Banach function space on a compact Hausdorff space \(X\) and suppose that every \(x\in X\) has a compact neighborhood \(Y\) such that \(B|Y\) satisfies one of the local separation conditions on \(x\). If \(B\) has a continuous non-affine operating function, then \(B=C(X)\). The authors also study the relation of this theorem and its proof to a certain decomposition of an associated compactification, and to another lattice-like property.