Abstract
We present a simple argument showing that for every continuous function \(f\colon\mathbb{R}\to\mathbb{R}\), its restriction to some perfect set is Lipschitz. We will use this result to provide an elementary proof of the \(C^1\) free interpolation theorem, that for every continuous function \(f\colon\mathbb{R}\to\mathbb{R}\) there exists a continuously differentiable function \(g\colon\mathbb{R}\to\mathbb{R}\) which agrees with \(f\) on an uncountable set. The key novelty of our presentation is that no part of it, including the cited results, requires from the reader any prior familiarity with Lebesgue measure theory.
Citation
Krzysztof Chris Ciesielski. "Lipschitz Restrictions of Continuous Functions and a Simple Construction of Ulam-Zahorski \(C^1\) Interpolation." Real Anal. Exchange 43 (2) 293 - 300, 2018. https://doi.org/10.14321/realanalexch.43.2.0293
Information