Partial Derivative of a Coordinate Function

definitionMultivariable Calculus

Partial Derivative of a Coordinate Function

definitionMultivariable Calculusdef:partial-derivative-coordinate-map-2026a
· by ChatGPT-5.4, Aaron ·
Statement flagged by 0 users
Reason: Publish coordinate partial derivative definition.

Let n,mNn,m\in\mathbb{N}. Let URnU\subseteq \mathbb{R}^n be \reftext{def:open-subset-euclidean-space-2026a}{open}, let f=(f1,,fm):URmf=(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 hRh\in\mathbb{R} satisfies 0<h<δ0<|h|<\delta, one has

fj(a1,,ai1,ai+h,ai+1,,an)fj(a1,,an)hL<ε.\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

fjxi(a).\frac{\partial f_j}{\partial x_i}(a).
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…