Atlases and Charts of Smooth Manifolds

A Chart

A chart is a continuous isomorphism with continuous inverse between a neighbourhood in a topological space (e.g. a smooth manifold) and a neighbourhood in some vector space.

Two charts whose neighbourhoods in the topological space overlap may be used to define a continuous isomorphism between two neighbourhoods in the the vector space: these are the images of the overlap under the two charts (or their inverses, depending on which way round you defined the charts) and the isomorphism is the composite of one chart's restriction and the other's inverse's restriction to relevant neighbourhoods. As this isomorphism is now between two portions of a vector space, we may ask whether it is smooth (differentiation being readily enough defined on a vector space). If it is, we shall describe the two charts as smoothly commensurate.

An Atlas

An atlas is a collection of charts whose neighbourhoods in the topological space form a cover of that space, i.e., their union is the entire space, and whose vector spaces are all the same.

An atlas is described as smooth if all overlapping pairs of its charts are smoothly commensurate on their overlaps.

It is worthy of note that we can define the completion of a smooth atlas to be the collection of all charts, using the same vector space, smoothly commensurate with every chart of the atlas. This is known as the completion of the original atlas.

A Smooth Manifold

The usual definition of a smooth manifold is that it is a topological space equipped with a smooth atlas. It is said to have the dimension of the vector space used in the charts of the atlas.

Any morphism to or from a neighbourhood in a smooth manifold is then said to be smooth if its composite with any chart composable with it (restricting each to a subset of its domain as appropriate) is smooth. For a morphism between neighbourhoods in the smooth manifold, for instance, this means that going from the vector space, along a chart, along the morphism and then back to the vector space via another chart, wherever this is possible, must be smooth morphism from the vector space to itself.

It is worthy of note that the construction I give for the tangent and gradient bundles of a smooth manifold may, just as readily, be used to define a smooth manifold. To see the equivalence of the two definitions, note that a family of scalar fields on some open neighbourhood of the manifold whose derivatives form a basis of the gradient bundle throughout that neighbourhood constitute a chart. The interconvertibility of bases then suffices to deliver the smooth equivalence of any two charts on their overlap.

Valid CSSValid HTML 4.01 Written by Eddy.