Generalized discontinuity of real-valued functions (Q2843902)

The paper concerns the notion of a local system in a topological space. Local systems are usually defined on the real line and are used to describe various kinds of continuity, various limits and derivatives of real functions (see [\textit{B. S. Thomson}, Lecture Notes in Mathematics. 1170. Berlin: Springer-Verlag (1985; Zbl 0581.26001)]). In the present paper a notion of a local system is defined more generally -- in a dense-in-itself topological space. The author focuses on the generalization of notions of unilateral systems and intersection conditions.NEWLINENEWLINEMoreover, the author investigates the set of points of discontinuity with respect to a local system \(\mathcal {S}\) (\(\mathcal {S}\)-discontinuity). The main result gives sufficient conditions for countability of the set of \(\mathcal {Y}\)-strong \(\mathcal {S}\)-discontinuities of a function. For some local systems this theorem enables to conclude that the set of points of \(\mathcal {S}\)-discontinuity is countable. It is also proved that local systems defined in \(\mathbb {R}^{n}\)\ using density points (\(\mathcal {I}\)-density points) fulfill the strong intersection condition (with some family of sets). This is a generalization of the one dimensional case, and it allows to use the main result to study approximate continuity and \(\mathcal {I}\)-approximate continuity in \(\mathbb {R}^{n}\).