Differentiable restrictions of continuous functions (Q762624): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: On the Differentiability Structure of Real Functions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On level sets of a continuous nowhere monotone function / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On The Roots of Equation f(x) = ξ Where f(x) is Real and Continuous in (a, b) but Monotonic in no Subinterval of (a, b) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Baire 1 functions, approximately continuous functions and derivatives / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5768777 / rank | |||
Normal rank |
Latest revision as of 16:57, 14 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Differentiable restrictions of continuous functions |
scientific article |
Statements
Differentiable restrictions of continuous functions (English)
0 references
1984
0 references
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.
0 references
continuous function
0 references
differentiable restriction
0 references
perfect subset
0 references