Maximal families for the class of upper and lower semi-quasicontinuous functions. (Q595812)

Let \((X,{\mathcal T})\) be a topological space and consider the family \({\mathcal E}(X)\) of all functions \(h: X\to\mathbb{R}\), such that, if \(x\in X\), \(x\in U\in {\mathcal T}\) and \(\varepsilon>0\) are given, there exist \(\emptyset\notin V^+\in{\mathcal T}\) with \(V^+\cup V^-\subset U\), \(h(V^+)\subset (-\infty, h(x)+\varepsilon)\) and \(h(V^-)\subset (h(x) -\varepsilon, +\infty)\). For a class \(\phi\neq\emptyset\) of functions \(f: X\to\mathbb{R}\), let \[ \begin{aligned} \text{Max}_{\text{add}}(\phi) &=\{g: X\to\mathbb{R}; f+g\in\phi\text{ for }f\in\phi \text{ for }f\in\phi\}, \\ \text{Max}_{\text{mult}}(\phi) &=\{g:X\to \mathbb{R};\;fg \in\phi,\text{ for } f\in\phi\},\\ \text{Max}_{\max}(\phi) &=\{g :X\to\mathbb{R};\max(f,g)\in\phi\text{ for }f\in\phi\},\\ \text{Max}_{\min}(\phi) &= \{g: X\to\mathbb{R}; \min(f,g)\in\phi\text{ for }f\in\phi\} \end{aligned} \] (cf. [\textit{Z. Grande}, Real Anal. Exch. 15, No.~2, 437--441 (1990; Zbl 0703.54013)]; \textit{Z. Grande} and \textit{L. Soltysik} [Zesz. Nauk Wyzsz. Szk. Pedagog. Bydgoszczy, Probl. Mat. 10, 79--86 (1990; Zbl 0705.26008)]). The purpose of the paper is to determine the families \(\text{Max}_{\text{add}}({\mathcal E}(X))\), \(\text{Max}_{\max}({\mathcal E}(X))\), \(\text{Max}_{\min}({\mathcal E}(X))\) and to prove some statements concerning \(\text{Max}_{\text{mult}}({\mathcal E}(X))\).