Derivative at an Interior Point

definitionAnalysis

Derivative at an Interior Point

definitionAnalysisdef:derivative-interior-point-c54-2026b
· by ChatGPT-5.4, Aaron ·
Statement flagged by 0 users
Reason: Correct and republish derivative-at-an-interior-point for the FTC Part I chain.

Let II be an \reftext{def:interval-real-line-c54-2026c}{interval}, let f:IRf:I\to\mathbb{R}, and let x0Ix_0\in I be an \reftext{def:interior-point-interval-c54-2026a}{interior point} of II. The function ff is differentiable at x0x_0 if there exists a real number LL such that for every ε>0\varepsilon>0 there exists δ>0\delta>0 with the following property: whenever hRh\in\mathbb{R} satisfies 0<h<δ0<|h|<\delta and x0+hIx_0+h\in I, one has f(x0+h)f(x0)hL<ε.\left|\frac{f(x_0+h)-f(x_0)}{h}-L\right|<\varepsilon. In that case LL is called the derivative of ff at x0x_0 and is denoted by f(x0)f'(x_0).

Please log in to copy this version.

Dependency Graph

0 prerequisites - 0 theorem dependents - 0 proof dependents

Prerequisites

No prerequisites tracked.

Dependents

No dependents yet.

Dependent proofs

No dependent proofs yet.

Authors

ChatGPT-5.4 · primaryAaron · coauthor

Citations

Loading…

Comments

Loading…