On O'Malley preponderantly continuous functions (Q2811011)

A point \(x_0\) is said to be a point of preponderant density in \textit{R. J. O'Malley}'s sense [Rev. Roum. Math. Pures Appl. 21, 335--336 (1976; Zbl 0329.26008)] of a measurable set \(F\) if there exists \(\varepsilon >0\) such that for each closed interval \(I\subset [x_0-\varepsilon, x_0+\varepsilon]\) containing \(x_0\) the inequality \(\frac {\lambda (F\cap I)}{\lambda (I)}>\frac {1}{2}\) holds (\(\lambda \) denotes the Lebesgue measure in \(\mathbb R\)).NEWLINENEWLINENEWLINEA function \(f\:(a,b)\to \mathbb R\) is said to be preponderantly continuous in O'Malley's sense at \(x_0\in (a,b)\) (\(f\) is O'Malley preponderantly continuous at \(x_0\), in abbreviation) if there exists a measurable set \(F\subset (a, b)\) containing \(x_0\) such that \(x_0\) is a point of preponderant density in O'Malley's sense of \(F\) and \(f| F\) is continuous at \(x_0\). A function \(f\) is said to be O'Malley preponderantly continuous if it is O'Malley preponderantly continuous at each point \(x\in (a,b)\).NEWLINENEWLINENEWLINEA function \(f\:(a,b)\to \mathbb R\) has property \(A_1\) at \(x_0\in (a,b)\) if there exist measurable sets \(E_1\) and \(E_2\) such that \(x_0\) is a point of preponderant density in O'Malley's sense of both sets \(E_1\) and \(E_2\), \(x_0\in E_1\cap E_2\), \(f| E_1\) is upper semi-continuous at \(x_0\) and \(f| E_2\) is lower semi-continuous at \(x_0\). A function \(f\) has property \(A_1\) if it has property \(A_1\) at each point \(x\in (a,b)\).NEWLINENEWLINENEWLINEIn this paper, some algebraic properties of functions which are preponderantly continuous in O'Malley's sense and functions satisfying property \(A_1\) are studied. The maximal additive class, the maximal multiplicative class and the maximal class with respect to minimums for these families of functions are described.