Definition:Differentiable Mapping between Manifolds
 | This page has been identified as a candidate for refactoring of basic complexity. Until this has been finished, please leave {{Refactor}} in the code.
New contributors: Refactoring is a task which is expected to be undertaken by experienced editors only. Because of the underlying complexity of the work needed, it is recommended that you do not embark on a refactoring task until you have become familiar with the structural nature of pages of $\mathsf{Pr} \infty \mathsf{fWiki}$.To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{Refactor}} from the code. |
{tidy}}
Definition
Let $M$ and $N$ be differentiable manifolds.
Let $f : M \to N$ be continuous.
Definition 1
$f$ is differentiable if and only if for every pair of charts $(U, \phi)$ and $(V,\psi)$ of $M$ and $N$:
- $\psi\circ f\circ \phi^{-1} : \phi ( U \cap f^{-1}(V)) \to \psi(V)$
is differentiable.
Definition 2
$f$ is differentiable if and only if $f$ is differentiable at every point of $M$.
At a Point
Let $M$ and $N$ be differentiable manifolds.
Let $f: M \to N$ be continuous.
Let $p \in M$.
Definition 1
$f$ is differentiable at $p$ if and only if for every pair of charts $\struct {U, \phi}$ and $\struct {V, \psi}$ of $M$ and $N$ with $p \in U$ and $\map f p \in V$:
- $\psi \circ f \circ \phi^{-1}: \map \phi {U \cap \map {f^{-1} } V} \to \map \psi V$
is differentiable at $\map \phi p$.
Definition 2
$f$ is differentiable at $p$ if and only if there exists a pair of charts $\struct {U, \phi}$ and $\struct {V, \psi}$ of $M$ and $N$ with $p \in U$ and $\map f p \in V$ such that:
- $\psi \circ f \circ \phi^{-1}: \map \phi {U \cap \map {f^{-1} } V} \to \map \psi V$
is differentiable at $\map \phi p$.