Difference between revisions of "Smooth map"

From Maths
Jump to: navigation, search
(Created page with "==Definition== A map {{M|f:M\rightarrow N}} between two smooth manifolds {{M|(M,\mathcal{A})}} and {{M|(N,\mathcal{B})}} (of not necessarily the same dimen...")
(No difference)

Revision as of 17:09, 13 April 2015

Definition

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

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

References

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