TheoremBase

Uniqueness of the Derivative at an Interior Point

Statement

Let R\mathbb{R} be the real numbers, let I⊆RI\subseteq\mathbb{R} be order-convex, let f:I→Rf:I\to\mathbb{R}, and let x0∈Ix_0\in I satisfy u<x0<vu<x_0<v for some u,v∈Iu,v\in I, so that x0x_0 is an interior point of II.

Suppose that LL and L′L' are real numbers each of which has the property required of the derivative in Derivative at an Interior Point, that is, for every ε∈R\varepsilon\in\mathbb{R} with 0<ε0<\varepsilon there exists δ∈R\delta\in\mathbb{R} with 0<δ0<\delta such that every h∈Rh\in\mathbb{R} with 0<∣h∣<δ0<|h|<\delta and x0+h∈Ix_0+h\in I satisfies

∣f(x0+h)−f(x0)h−L∣<ε,\Bigl|\frac{f(x_0+h)-f(x_0)}{h}-L\Bigr|<\varepsilon ,

and likewise for L′L', where ∣ ⋅ ∣|\,\cdot\,| is the absolute value.

Then L=L′L=L'. In particular the derivative f′(x0)f'(x_0) is well defined.

Proofs

Log in to submit a proof.

Loading...

Citations

Loading…

Dependencies

Loading…

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Log in to comment.

Loading…