Insertion of a \(\gamma\)-continuous function (Q1758781)

The following properties are considered. A property \(P\) defined relative to a real-valued function on a topological space is a \textit{\(\gamma\)-property} provided that any constant function has property \(P\) and provided that the sum of a function with property \(P\) and any \(\gamma\)-continuous function also has property \(P\). Assume that \(P_1\) and \(P_2\) are \(\gamma\)-properties. Then \(X\) has the \textit{weak \(\gamma\)-insertion property} (respectively, the \textit{\(\gamma\)-insertion property}) for \((P_1,P_2)\) if for any functions \(f_1\in P_1\), \(f_2\in P_2\), with \(f_1\leq f_2\) (\(f_1<f_2\)) there exists a \(\gamma\)-continuous function \(g\) such that \(f_1\leq g\leq f_2\) (\(f_1<g<f_2\)). \(X\) has the \textit{weakly \(\gamma\)-insertion property} for \((P_1,P_2)\) if for any \(f_1\in P_1\), \(f_2\in P_2\), with \(f_1<f_2\) and \(f_2-f_1\in P_2\) there exists a \(\gamma\)-continuous function \(g\) such that \(f_1<g<f_2\). In the paper under review the author gives a sufficient condition for \(X\) to have the weak \(\gamma\)-insertion property. Moreover, a necessary and sufficient condition for the space \(X\) to have the \(\gamma\)-insertion property is given for a space with the weak \(\gamma\)-insertion property. Several insertion theorems are obtained as corollaries of these results.