Smoothly compatible charts

From Maths
Revision as of 06:38, 7 April 2015 by Alec (Talk | contribs) (Created page with " ==Definition== Two charts, {{M|(U,\varphi)}} and {{M|(V,\psi)}} are said to be ''smoothly compatible''<ref>Introduction to smooth manifolds - John M Lee - Second Ed...")

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Definition

Two charts, [ilmath](U,\varphi)[/ilmath] and [ilmath](V,\psi)[/ilmath] are said to be smoothly compatible[1] if we have either:

  • [ilmath]U\cap V=\emptyset[/ilmath]
  • [ilmath]\psi\circ\varphi^{-1} [/ilmath] is a Diffeomorphism
    That is:
    • [ilmath]\psi\circ\varphi^{-1} [/ilmath] is Smooth
    • [ilmath]\psi\circ\varphi^{-1} [/ilmath] is bijective
    • [ilmath]\psi\circ\varphi^{-1} [/ilmath]'s inverse is also Smooth


This is vital to define smooth atlases

See also

References

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