Differentiability at an Interior Point is a Local Property
lemmaAnalysislem:derivative-local-interval-2026aIf a real function restricted to a subinterval containing a neighbourhood of an interior point is differentiable there, then the function itself is differentiable at that point, with the same derivative.
In the setting of The Real Numbers: Standing Notation and Background, let and be intervals in with , let , and let denote the restriction of to . Let be a point of that is an interior point of and also an interior point of , and let denote the absolute value of . Suppose that there is a real number such that
¶ If is differentiable at with derivative , then is differentiable at with derivative .
Loading…
Prerequisites
No prerequisites tracked.
currentDifferentiability at an Interior Point is a Local Property
lem:derivative-local-interval-2026aDependents
No dependents yet.
Dependent proofs
No dependent proofs yet.
No relations recorded yet.