Atlas (topology)


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.

Contents

Charts

The definition of an atlas depends on the notion of a chart. A chart for a topological space M 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 (U,φ).

Formal defintion of atlas

An atlas for a topological space M is a collection {(Uαα)} of charts on M such that  \bigcup U_{\alpha} = M. If the range of each chart is the n-dimensional Euclidean space, then M is said to be an n-dimensional manifold.

Transition maps

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 (Uαα) and (Uββ) are two charts for a manifold M such that U_{\alpha} \cap U_{\beta} is non-empty. The transition map τα,β is the map defined on the intersection U_{\alpha} \cap U_{\beta} by

\tau_{\alpha,\beta} = \varphi_{\beta} \circ \varphi_{\alpha}^{-1}.

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. Then 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. Alternatively, one could require that the transition maps have only k continuous derivatives in which case the atlas is said to be Ck.

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

References

  • Lee, John M. (2006). Introduction to Smooth Manifolds. Springer-Verlag. ISBN 978-0-387-95448-6. 
  • Sepanski, Mark R. (2007). Compact Lie Groups. Springer-Verlag. ISBN 978-0-387-30263-8. 

External links


Wikimedia Foundation. 2010.

Look at other dictionaries:

  • Atlas (disambiguation) — Most things with a name that includes the term Atlas stem directly or indirectly from the mythological character AtlasAtlas may also refer to: Greek mythology * Atlas (mythology), a Titan who bore the spheres of the heavens; inspiring the widely… …   Wikipedia

  • Topology — (Greek topos , place, and logos , study ) is the branch of mathematics that studies the properties of a space that are preserved under continuous deformations. Topology grew out of geometry, but unlike geometry, topology is not concerned with… …   Wikipedia

  • List of general topology topics — This is a list of general topology topics, by Wikipedia page. Contents 1 Basic concepts 2 Limits 3 Topological properties 3.1 Compactness and countability …   Wikipedia

  • Cover (topology) — In mathematics, a cover of a set X is a collection of sets whose union contains X as a subset. Formally, if is an indexed family of sets Uα, then C is a cover of X if Contents 1 Cover in t …   Wikipedia

  • Geospatial topology — Topology In a Geographic Information System GIS, topology is a set of rules which define the relationship between points, lines, and polygons. ESRI enables topology generation within their geodatabase feature classes. Network topology explores… …   Wikipedia

  • Convenient Topology — (engl. convenient, bequem) ist ein Teilgebiet der Topologie, dass im Wesentlichen auf den Mathematiker Gerhard Preuß zurück geht. Einige wünschenswerte Eigenschaften (engl. convenient properties) eines topologischen Konstrukts sind kartesische… …   Deutsch Wikipedia

  • Glossary of differential geometry and topology — This is a glossary of terms specific to differential geometry and differential topology. The following two glossaries are closely related: *Glossary of general topology *Glossary of Riemannian and metric geometry.See also: *List of differential… …   Wikipedia

  • Differentiable manifold — A nondifferentiable atlas of charts for the globe. The results of calculus may not be compatible between charts if the atlas is not differentiable. In the middle chart the Tropic of Cancer is a smooth curve, whereas in the first it has a sharp… …   Wikipedia

  • Exotic sphere — In differential topology, a mathematical discipline, an exotic sphere is a differentiable manifold M that is homeomorphic but not diffeomorphic to the standard Euclidean n sphere. That is, M is a sphere from the point of view of all its… …   Wikipedia

  • List of mathematics articles (A) — NOTOC A A Beautiful Mind A Beautiful Mind (book) A Beautiful Mind (film) A Brief History of Time (film) A Course of Pure Mathematics A curious identity involving binomial coefficients A derivation of the discrete Fourier transform A equivalence A …   Wikipedia