Spaces \(C(X)\) with ordered bases (Q290612)

Let \(C(X)\) be a ring of real continuous functions defined on a completely regular space \(X\), endowed with the compact-open topology. It is known that in the case of separable, metrizable but not (topologically) complete \(X\), the topological vector space \(C(X)\) admits a so-called quasi-\(\delta\)-base, but does not admit a \(\delta\)-base. Since the concept of \(\delta\)-base is rather unpractical, the authors offer the somewhat better notion of a \(\Sigma\)-base, and then a condition equivalent to the existence of a \(\Sigma\)-base composed of absolutely convex neighborhoods of zero is proved. An example of a space \(C(X)\) admitting a \(\Sigma\)-base, but not a \(\delta\)-base is then constructed and modified to show that \(C(X)\) in case of separable and metrisable, but not topologically complete \(X\) posseses a \(\Sigma\)-base, but does not admit any \(\delta\)-base. Then some special cases of \(\Sigma\)-bases are considered and metrizability conditions and conditions (in terms of properties of bases of \(C(X)\)) guaranteeing that \(X\) is \(C\)-Souslin are deduced. Finally set-theoretic problems, related to this new concept of \(\Sigma\)-base, are treated.