The countable sup property for lattices of continuous functions (Q1635609)

In this paper, all vector lattices are Archimedean. A vector lattice \(E\) has the countable sup property if, for any subset \(A \subset E\) with \(\sup(A) =a\), there is a countable \(B \subset A\) such that \(\sup(B)=a\). A topological space \(X\) is said to have \(CCC\) if every family of disjoint open sets is countable, and has \(CCC \) for cozero sets if every disjoint family of cozero sets is countable. The authors obtain some results about the countable sup property for the spaces \(C(X), C_{b}(X), C_{0}(X),C_{c}(X) \). Some of the major results are: {\parindent=6mm \begin{itemize}\item[I.] Suppose that \( X \in T_{3 \frac{1}{2}}\). Then: {\parindent=10mm \begin{itemize}\item[(i)] \(X\) is \(CCC\) iff \(X\) is \(CCC\) for cozero sets iff \(C(X)\) has the countable sup property. If \(C_{b}(X)\) has a strictly positive functional, then all the three properties hold. \item[(ii)] \(C_{c}(X)\) has the countable sup property iff \(C_{0}(X)\) has the countable sup property iff for any compact \(K \subset X\), there is a relatively compact cozero \(U \supset X\) such that \(C(\bar{U})\) has the countable sup property iff \(X\) can be covered by relatively compact cozero sets which satisfy \(CCC\). \end{itemize}} \item[II.] If \(C(X)\) has the countable sup property and \(Y\) is separable, then \(C(X \times Y)\) has the countable sup property. \end{itemize}} Several other related results are proved.