On lattices of continuous functions on a Stonian space

Abstract

Suppose that Ω is a compact Hausdorff space with a preorder [les ] whose graph is closed, and let Ω∘ be an open subset of Ω. This paper provides conditions sufficient to allow every increasing bounded real continuous function on Ω∘ to be extended to an increasing real continuous function on Ω. These conditions are: (i) that Ω is a Stonian space, and (ii) that the set C↑(Ω, [les ]) of increasing real continuous functions on Ω is a regular Dedekind complete sublattice of C(Ω). Under these conditions it is also shown that C↑(Ω, [les ]) is generated by idempotents, and an extension theorem for idempotents is proved.