Difference between revisions of "Smooth map"

Revision as of 20:45, 13 April 2015

Note: not to be confused with smooth function

Definition

A map $f:M\rightarrow N$ between two smooth manifolds $(M,\mathcal{A})$ and $(N,\mathcal{B})$ (of not necessarily the same dimension) is said to be smooth^[1] if:

• $$\forall p\in M\exists\ (U,\varphi)\in\mathcal{A},\ p\in U\text{ and }(V,\psi)\in\mathcal{B}$$ such that $$F(U)\subseteq V\wedge[\psi\circ F\circ\varphi^{-1}:\varphi(U)\rightarrow\psi(V)]$$ is smooth

See also

• Differential of a smooth map
• Smooth function
• Smooth manifold

References

1. Jump up ↑ Introduction to smooth manifolds - John M Lee - Second Edition