Definition:Smooth Mapping

Definition

Let $M, N$ be smooth manifolds.

Denote $m := \dim M$ and $n := \dim N$.

Let $\phi: M \to N$ be a mapping.

Then $\phi$ is a smooth mapping if and only if:

for every chart $\struct {U, \kappa}$ on $M$ and every chart $\struct {V, \xi}$ on $N$ such that $V \cap \map \phi U \ne \O$, the mapping:

$\ds \xi \circ \phi \circ \kappa^{-1}: \map \kappa U \subseteq \R^m \to \map \xi {V \cap \map \phi U} \subseteq \R^n$

is smooth.

Sources

• 1989: Ephraim J. Borowski and Jonathan M. Borwein: Dictionary of Mathematics ... (previous) ... (next): smooth mapping: 3.