Derivative of a Finite Linear Combination of Real Functions
lemmaAnalysislem:derivative-finite-linear-combination-2026aLet be the real numbers, let be order-convex, and let satisfy for some , so that is an interior point of and derivatives at in the sense of Derivative at an Interior Point are defined.
Let be a natural number, let be the initial segment determined by , and for each let and let be differentiable at , the value being well defined by Uniqueness of the Derivative at an Interior Point. Let be the function whose value at is the finite sum
Then is differentiable at and
Loading…
Prerequisites
No prerequisites tracked.
Dependents
No dependents yet.
Dependent proofs
No dependent proofs yet.
No relations recorded yet.