Atlas (topology)
From Wikipedia, the free encyclopedia
- For other uses of "atlas", see Atlas (disambiguation).
In topology, a branch of mathematics, an atlas describes how a complicated space called a manifold is glued together from simpler pieces. Each piece is given by a chart (also known as coordinate chart or local coordinate system).
More precisely, an atlas for a complicated space is constructed out of the following pieces of information:
- A list of spaces that are considered simple.
- For each point in the complicated space, a neighborhood of that point that is homeomorphic to a simple space. The homeomorphism is called a chart.
- Different charts being compatible is required. At the minimum, it is required that the composite of one chart with the inverse of another be a homeomorphism (known as a change of coordinates or a transition function), yet usually stronger requirements, such as smoothness, are imposed.
This definition of atlas is exactly analogous to the non-mathematical meaning of atlas. Each individual map in an atlas of the world gives a neighborhood of each point on the globe that is homeomorphic to the plane. While each individual map does not exactly line up with other maps that it overlaps with (because of the Earth's curvature), the overlap of two maps can still be compared (by using latitude and longitude lines, for example).
Different choices for simple spaces and compatibility conditions give different objects. For example, if one chooses for simple spaces Rn, topological manifolds are obtained. If one also requires the coordinate changes to be diffeomorphisms, differentiable manifolds are obtained.
Two atlases are compatible if the charts in the two atlases are all compatible (or equivalently if the union of the two atlases is an atlas). Usually, one wants to consider two compatible atlases as giving rise to the same space. Formally, (as long as the concept of compatibility for charts has certain simple properties), an equivalence relation can be defined on the set of all atlases, whereas the two are called the same if they are compatible. In fact, the union of all atlases compatible with a given atlas is itself an atlas, called a complete (or maximal) atlas. Thus every atlas is contained in a unique complete atlas (Zorn's lemma is not neede as is sometimes assumed).
By definition, a smooth differentiable structure (or differential structure) on a manifold M is such a maximal atlas of charts, all related by smooth coordinate changes on the overlaps.