Exception sets of intrinsic and piecewise Lipschitz functions (Q2117462)

The main purpose of this paper is to find a suitable notion of ``piecewise-Lipschitz function'' on general metric spaces so that whenever such a function is, in addition, continuous then it will be Lipschitz on the whole space. The original idea contained here is, instead of focusing on the pieces where the function is Lipschitz, to concentrate on the \textit{exceptional set} where this property fails. In this way, \textit{permeable} and \textit{finite permeable} subsets are defined by means of the so-called intrinsic metric (Definition 10). The idea of permeability is related to the concept of ``metrical removability'' given by \textit{S. Kalmykov} et al. [J. Anal. Math. 139, No. 2, 751--772 (2019; Zbl 1436.30054)]. Thus, the main objective is achieved in the following result: Theorem 15. Let \(M\), \(Y\) be metric spaces, and let \(\Theta\subset M\) be permeable. Then every continuous function \(f:M \to Y\), which is intrinsically \(L\)-Lipschitz continuous on \(E=M\setminus \Theta\), is intrinsically \(L\)-Lipschitz continuous on the whole space \(M\). It is worth noting that in the proof of the above result it is not possible to apply some of the classical extension results as McShane's or Kirszbraun's theorems, even in the framework where they are stated. The aforementioned proof is obtained using transfinite induction and the Cantor-Bendixson theorem. The last section of the paper contains a particular study of this topic, when \(M={\mathbb R}^d\), and the permeable sets \(\Theta\) are some kind of sub-manifolds of \({\mathbb R}^d\).