The extending of Darboux functions with finite variation (Q1890621)

The problem of extending Darboux functions with finite variation is studied. At the same time, the situation where the sets of points of quasi-continuity of the extension and of the original function are equal is considered. Let \(\xi\) denote a real nonnegative number and let \(\emptyset\neq {\mathcal K}\subset \mathbb{R}^2\). Then the symbol \({\mathcal K}_\xi\) stands for the set \(\{y\in \mathbb{R}^2: d({\mathcal K}, y)= \xi\}\). Let \(B\subset {\mathcal Y}\). The set \(\{\xi\in \mathbb{R}: \xi> 0\) and \(B\cap {\mathcal K}_\xi\neq \emptyset\}\) will be denoted by \(B_{{\mathcal K}}\). We say that the space \({\mathcal Y}\subset \mathbb{R}^2\) is stratiformly locally connected with respect to \({\mathcal K}\subset {\mathcal Y}\) \(({\mathcal K}\neq \emptyset)\) if there exists a base \(B\) of this space such that \(V_{{\mathcal K}}\) is a connected set for any \(V\in B\). We say that \(f\) is a Darboux function if the image of each arc \({\mathcal L}\subset {\mathcal X}\) is a connected set. The symbol \(Q_f\) denotes the set of all quasi-continuity points. Let \(F\) be a closed subset in \(\mathcal Y\). We write \(x_0\in \widetilde Q(F)\) when \(x_0\in Q_f\) and there exists a neighbourhood \(V\) of a point \(f(x_0)\) in \(\mathbb{R}^2\) such that, for each neighbourhood \(W\) of the point \(x_0\), open in \({\mathcal Y}\), the following condition: \(\text{Int}_{{\mathcal Y}}(W\cap f^{- 1}(V))\subset F\) is satisfied. The main result is included in the following theorem. Theorem 1. Let \(\mathcal K\) be a closed convex subset of the plane \(\mathbb{R}^2\) which is not a boundary set and let \(f: {\mathcal K}\to \mathbb{R}^2\) be a Darboux function with finite variation. Then, for each connected subspace \(\mathcal X\) of the space \(\mathbb{R}^2\), stratiformly locally connected with respect to \(\mathcal K\), containing \(\mathcal K\), there exists a Darboux function \(f^*: {\mathcal X}\to \mathbb{R}^2\) with finite variation, being an extension of \(f\) to \(\mathcal X\), such that \[ Q_f= Q_{f^*}\subset \widetilde Q_{f^*}({\mathcal K}). \]