On composition closed function classes (Q1065382): Difference between revisions

Á. Császár proved the following: For a topological space X and a function class \(\phi\) there exists a completely regular topological space Y containing X as a dense subspace and such that \(C(Y)|_ x=\phi\) if and only if \(Z(\phi)=\{Z(f): f\in \phi \}\) (Z(f) is the zero set of f) is a closed base in X and \(\phi\) is composition closed in X, that is, if \(h: X\to {\mathbb{R}}^ I\), \(h(x)=(f_ i(x))\) \((\{f_ i\); \(i\in I\}\subset \phi\) and I is an index set) for \(x\in X\), and \(k\in C(\overline{h(X)})\), then \(k\circ h\in \phi\). The problem remained to find a characterization when Y is not necessarily completely regular [\textit{Á. Császár}, Proc. 4th Prague topol. Symp., Lect. Notes Math. 609, 43-55 (1977; Zbl 0374.54009)]. The author considers the problem in the case where X and Y are convergence spaces [For convergence spaces, see \textit{H. R. Fisher}, Math. Ann. 137, 269-303 (1959; Zbl 0086.088)] and gives necessary and sufficient conditions for the existence of a reciprocal convergence space Y containing X as a strictly dense subspace and such that \(C(Y)|_ x=\phi\) for a function class \(\phi\) on a convergence space (X,q). Also it is shown that if Y must be topological then the condition of complete regularity still can be considerably weakened.