# Atlas (topology)

*For other uses of "atlas", see Atlas (disambiguation).*

In mathematics, particularly topology, one describes
a manifold using an **atlas**. An atlas consists of individual
*charts* that, roughly speaking, describe individual regions
of the manifold. If the manifold is the surface of the Earth,
then an atlas has its more common meaning. In general,
the notion of atlas underlies the formal definition of a manifold.

## Charts

The definition of an atlas depends on the notion of a *chart*.
A **chart** for a topological space *M* (also called a **coordinate chart** or **coordinate map**) is a homeomorphism from an open subset *U* of *M* to an open subset of Euclidean space. The chart is traditionally recorded as the ordered pair .

## Formal definition of atlas

An **atlas** for a topological space *M* is a collection of charts on *M* such that
. If the codomain of each chart is the *n*-dimensional Euclidean space and the atlas is connected, then *M* is said to be an *n*-dimensional manifold.

### Maximal atlas

The atlas containing all possible charts consistent with a given atlas is called the **maximal atlas** (i.e. an equivalence class containing that given atlas (under the already defined equivalence relation given in the previous paragraph)). Unlike an ordinary atlas, the maximal atlas of a given manifold is unique. Though it is useful for definitions, it is an abstract object and not used directly (e.g. in calculations). The completion of an atlas consists of the union of the atlas and all charts which yield an atlas of the manifold. That is, if we have an atlas on a manifold , then the completion of the atlas consists of all those charts such that . An atlas which is the same as its completion is a complete atlas. A complete atlas is a maximal atlas.

## Transition maps

Template:Annotated image A transition map provides a way of comparing two charts of an atlas. To make this comparison, we consider the composition of one chart with the inverse of the other. This composition is not well-defined unless we restrict both charts to the intersection of their domains of definition. (For example, if we have a chart of Europe and a chart of Russia, then we can compare these two charts on their overlap, namely the European part of Russia.)

To be more precise, suppose that and are two charts for a manifold *M* such that is non-empty.
The **transition map** is the map defined by

Note that since and are both homeomorphisms, the transition map is also a homeomorphism.

## More structure

One often desires more structure on a manifold than simply the topological structure. For example, if one would like an unambiguous notion of differentiation of functions on a manifold, then it is necessary to construct an atlas whose transition functions are differentiable. Such a manifold is called differentiable. Given a differentiable manifold, one can unambiguously define the notion of tangent vectors and then directional derivatives.

If each transition function
is a smooth map, then the atlas is called a
smooth atlas, and the manifold itself is called smooth.
Alternatively, one could require that the transition maps
have only *k* continuous derivatives in which case the atlas is
said to be .

Very generally, if each transition function belongs to a pseudo-group of homeomorphisms of Euclidean space, then the atlas is called a -atlas.

## References

- {{#invoke:citation/CS1|citation

|CitationClass=book }}

- {{#invoke:citation/CS1|citation

|CitationClass=book }} Template:Refend

## External links

- Atlas by Rowland, Todd