写像 f:Rn→Rm\mathbf{f} : \mathbb{R}^{n} \to \mathbb{R}^{m}f:Rn→Rmが以下のように与えられたとする。
f(x)=(f1(x),f2(x),…,fm(x)),x∈Rn \mathbf{f}(\mathbf{x}) = \left( f_{1}(\mathbf{x}), f_{2}(\mathbf{x}), \dots, f_{m}(\mathbf{x}) \right),\quad \mathbf{x}\in \R^{n} f(x)=(f1(x),f2(x),…,fm(x)),x∈Rn
f\mathbf{f}fの全微分、またはヤコビ行列は以下の通りである。
f′=J=[∂f1∂x1⋯∂f1∂xn⋮⋱⋮∂fm∂x1⋯∂fm∂xn] \mathbf{f}^{\prime} = J = \begin{bmatrix} \dfrac{\partial f_{1}}{\partial x_{1}} & \cdots & \dfrac{\partial f_{1}}{\partial x_{n}} \\ \vdots & \ddots & \vdots \\ \dfrac{\partial f_{m}}{\partial x_{1}} & \cdots & \dfrac{\partial f_{m}}{\partial x_{n}} \end{bmatrix} f′=J=∂x1∂f1⋮∂x1∂fm⋯⋱⋯∂xn∂f1⋮∂xn∂fm
全ての点 x∈Rn\mathbf{x} \in \R^{n}x∈Rnでf\mathbf{f}fのヤコビ行列のランクがnnnであれば、f\mathbf{f}fを正則写像regulear mappingという。
Barrett O’Neill, Elementary Differential Geometry (Revised 2nd Edition, 2006), p39-40 ↩︎