Regulated functions on topological spaces (Q2520028)

A regulated function on an interval of the real line is a real-valued function whose left-hand and right-hand limits exist at all points. This classical concept of Dieudonné was generalized by \textit{T. M. K. Davison} [Am. Math. Mon. 86, 202--204 (1979; Zbl 0426.54010)] to functions \(f:X\to \mathbb{R}\) where \(X\) is a topological space \((X,\tau)\) with an algebra of sets \(\omega\) such that \(\tau\cap\omega\) is a base for \(\tau\) (nowadays called a Davison space). In the present paper, this concept is further extended to functions \(f:X\to Y\) where \(Y\) is a normed vector space. Examples and properties of such functions are discussed, with particular attention to functions defined on \(\mathbb{N}\), \(\mathbb{R}^2\) and \(\mathbb{Z}^d\). A global characterization of a regulated function on a compact space is given and it is proved that the set of discontinuities of such a function is at most a countable collection of boundaries of elements in the associated algebra.