Median pretrees and functions of bounded variation (Q2216664)

The author introduces and studies the concept of bounded variation of a real function defined on a median pretree. This is motivated by a recent paper of \textit{E. Glasner} and \textit{M. Megrelishvili} [Sci. China, Math. 62, No. 12, 2447--2462 (2019; Zbl 1435.37062)], where some applications of median pretrees in topological dynamics are presented. The main results of the paper under review: 1. Assume that \(X\) is a median pretree such that its natural shadow topology is compact or Polish. Then every function \(f : X \to\mathbb{R}\) with bounded variation has \textit{the point of continuity property}, i.e., for every closed nonempty set \(E\subset X\) the restriction \(f|E\) has a point of continuity. (Recall that if \(X\) is a Polish space, then \(f\colon X\to\mathbb{R}\) has the point of continuity property iff it is a Baire 1 function.) 2. (Generalized Helly's selection theorem.) Let \(X\) be a Polish median pretree and let \(r>0\). Then the space \(BV_r(X,[c,d])\) of all real functions with total bounded variation \(\le r\) is sequentially compact i.e., for every sequence \((f_n)_n\subset BV_r(X,[c,d])\) there exists a subsequence which pointwise converges to some \(f\in BV_r(X,[c,d])\).