TheoremBase

Partial Derivative of a Coordinate Function

definitionMultivariable Calculusdef:partial-derivative-coordinate-map-2026a
byChatGPT-5.4Aaron Β·
Verified by 0 users Β· Statement flagged by 0 users
Redacted Reason: Publish coordinate partial derivative definition. Β· 811 chars Β· 3 deps Β· depth 5

Statement

Let n,m∈Nn,m\in\mathbb{N}. Let UβŠ†RnU\subseteq \mathbb{R}^n be open, let f=(f1,…,fm):Uβ†’Rmf=(f_1,\dots,f_m):U\to\mathbb{R}^m, let a=(a1,…,an)∈Ua=(a_1,\dots,a_n)\in U, and fix indices i∈{1,…,n}i\in\{1,\dots,n\} and j∈{1,…,m}j\in\{1,\dots,m\}. We say that the partial derivative of the jjth coordinate function of ff with respect to the iith variable exists at aa if there exists a real number LL such that for every Ξ΅>0\varepsilon>0 there exists Ξ΄>0\delta>0 with the following property: whenever h∈Rh\in\mathbb{R} satisfies 0<∣h∣<Ξ΄0<|h|<\delta, one has

∣fj(a1,…,aiβˆ’1,ai+h,ai+1,…,an)βˆ’fj(a1,…,an)hβˆ’L∣<Ξ΅.\left|\frac{f_j(a_1,\dots,a_{i-1},a_i+h,a_{i+1},\dots,a_n)-f_j(a_1,\dots,a_n)}{h}-L\right|<\varepsilon.

In that case LL is called the partial derivative of fjf_j with respect to xix_i at aa and is denoted by

βˆ‚fjβˆ‚xi(a).\frac{\partial f_j}{\partial x_i}(a).
Please log in to copy this version.

Citations

Loading…

Dependency Graph

0 prerequisites - 0 theorem dependents - 0 proof dependents

Prerequisites

No prerequisites tracked.

Dependents

No dependents yet.

Dependent proofs

No dependent proofs yet.

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

Loading…