On Riemann integral quasicontinuity (Q2497014)

A function \(f:\mathbb R^n\to\mathbb R\) is quasicontinuous at a point \(x\) (one writes \(f\in Q(x)\)) iff for every positive real number \(r\) and for every set \( U\), open in the ordinary topology, to which \(x\) belongs, there is a nonempty open set \(I\subset U\) such that \(|f(t)-f(x)|<r,\;\forall t\in I\). If \(f\in Q(x)\), \(\forall x\in\mathbb R^n\), then \(f\) is quasicontinuous. Further, \(f\) is integrally quasicontinuous at \(x\) \((f\in Q_i(x))\) if to each \(r>0\) and each open set, \( U\), containing \(x\), there corresponds a nonempty, bounded open set \(I\subset U\) such that \(f|I\) is Lebesgue integrable and \(|{1\over\mu(I)}\int_I f(t) \,dt-f(x)| < r\). If \(f\in Q_i(x)\), \(\forall x\in\mathbb R^n\), then \(f\) is integrally quasocontinuous. Upon replacing the ordinary topology on \(\mathbb R^n\) by either the strong- or ordinary-density topology, one has \(f\in Q_s(x)\) \((f\in Q_o(x))\) iff to each \(r\) and \( U\in T_{sd} ( U\in T_{od})\), to which \(x\) belongs, there corresponds an open set \(I\) such that \(I\cap U\neq\emptyset\), \(f\) is integrable on \(I\cap U\) and \(|{1\over\mu(I\cap U)}\int_{I\cap U} f(t) \,dt-f(x)|<r\). One writes \(f\in Q_s\) \((f\in Q_o)\) if \(f\in Q_s(x)\) \((f\in Q_o(x))\), \(\forall x\in\mathbb R^n\). These notions were rather thoroughly explored, in an earlier work by the author and E.~Strońska. In the present article investigations of this nature have been continued, using here the Riemann integral in the place of the integral of Lebesgue. A nonempty, bounded, Jordan measurable set \(I\subset\mathbb R^n\) is termed a regular domain. If, in addition, Int\((I)\neq\emptyset\), then \(I\) is a nondegenerate regular domain. A function \(f:\mathbb R^n\to\mathbb R\) is \( R\)-integrally quasicontinuous at \(x\) \((f\in Q_{r,i}(x))\) iff to each \(r>0\) and each ordinary open set \( U\) containing \(x\), there corresponds a nondegenerate regular domain \(I\) such that \(I\subset U\), \(f|I\) is Riemann integrable and \(|{1\over \mu(I)}\int_I f(t) \,dt-f(x)|<r\). If \(f\in Q_{r,i}(x)\), \(\forall x\in\mathbb R^n\), then \(f\) is \( R\)-integrally quasicontinuous \((f\in Q_{r,i}).\) Employing the density topologies, one has \(f\in Q_{r,s}(x)\) \((f\in Q_{r,o}(x))\) iff for each \(r>0\) and \( U\in T_{sd}\) \(( U\in T_{od})\) to which \(x\) belongs, there is a nondegenerate, regular domain, \(I\), such that Int\((I)\cap U\neq\emptyset\), \(f|I\) is \( R\)-integrable, and \(|{1\over\mu(I\cap U)}\int_{I\cap U} f(t) \,dt-f(x)| < r\). If \(\forall x\in\mathbb R^n\) \(f\in Q_{r,s}(x)\) \((f\in Q_{r,o}(x))\), then \(f\in Q_{r,s}\) \((f\in Q_{r,o}.)\) By argument and example the author develops the theory of this new concept in a manner analogous to the treatment of integral quasicontinuity given in the work cited above. The flavor of this theory may be provided by the following samples taken therefrom. One finds that if \(f:\mathbb R^n\to\mathbb R\) is \( R\)-integrally quasicontinuous, then it is integrally quasicontinuous, and there is a dense, open set \( U\subset\mathbb R^n\) such that \(\mu( U\backslash C(f))=0\), where \(C(f)=\{x: f\) is continuous at \(x\}\), but there are integrally quasicontinuous functions, for which Int\((C(f))\) is dense, that are not \( R\)-integrally quasicontinuous at any point of a certain \(F_\sigma\)-set contained in \([0,1]\). If \(f:\mathbb R^n\to\mathbb R\) is integrally quasicontinuous and locally Riemann integrable at a point \(x\), then \(f\) is \( R\)-integrally quasicontinuous at \(x\) (Theorem 1), but there are \( R\)-integrally quasicontinuous functions that are nonmeasurable (Example 2). If \(\forall k\in\mathbb N\), \(f_k:\mathbb R^n\to\mathbb R\) and \(\mu(\mathbb R^n\backslash C(f_k))=0\), and if \(f_k\rightrightarrows f\), then \(f\) is \( R\)-integrally quasicontinuous and \(\mu(\mathbb R^n\backslash C(f))=0\) (Theorem 4). Theorem 8 provides a natural characterization of the classes \(Q_{r,s}\) and \(Q_{r,o}\); viz., \(f\in Q_{r,s}\) \((f\in Q_{r,o})\) iff \(\mu(\mathbb R^n\backslash C(f))=0\) and \(f\in Q_s\) \((f\in Q_o)\). For those who would continue to develop this theory, the author has posed a problem, which, at the time of this writing, remains open.