Differentiable restrictions of continuous functions

From MaRDI portal





Let \(f: P\to R\). If f is continuous, P is perfect and \(m(P)>0,\) then for every \(\epsilon >0\) there is a perfect \(Q\subset P\) such that \(m(P- Q)<\epsilon\) and \(f|_ Q\) is differentiable. If f is measurable, and \(m(P)>0,\) then either (1) there is a perfect \(Q\subset P\) such that \(Q\neq \emptyset\) and \(f|_ Q\) is infinitely differentiable on Q and \((f|_ Q)^{(n)}=0\) for n sufficiently large, or (2) for every \(\epsilon >0\) there is a perfect \(Q\subset P\) such that \(m(P-Q)<\epsilon\) and \(f|_ Q\) is infinitely differentiable on Q.











This page was built for publication: Differentiable restrictions of continuous functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q762624)