Smooth map between manifolds (source code)

= Smooth map between manifolds

= Smooth map
{synonym}

A map between smooth manifolds is smooth when its expression in every pair of coordinate charts is a <smooth function>.

A map between <smooth manifolds> is smooth when its coordinate expressions in compatible charts have derivatives of every order. The condition is invariant under smooth chart changes and expresses <smoothness> in charts.