In mathematics, a differentiable manifold (also differential manifold) is a type of manifold that is locally similar enough to a vector space to allow one to apply calculus. Any manifold can be described by a collection of charts, also known as an atlas. One may then apply ideas from calculus while working within the individual charts, since each chart lies within a vector space to which the usual rules of calculus apply. If the charts are suitably compatible (namely, the transition from one chart to another is differentiable), then computations done in one chart are valid in any other differentiable chart.

In formal terms, a differentiable manifold is a topological manifold with a globally defined differential structure. Any topological manifold can be given a differential structure locally by using the homeomorphisms in its atlas and the standard differential structure on a vector space. To induce a global differential structure on the local coordinate systems induced by the homeomorphisms, their compositions on chart intersections in the atlas must be differentiable functions on the corresponding vector space. In other words, where the domains of charts overlap, the coordinates defined by each chart are required to be differentiable with respect to the coordinates defined by every chart in the atlas. The maps that relate the coordinates defined by the various charts to one another are called transition maps.

The ability to define such a locally differentiable structure on an abstract space allows one to extend the definition of differentiability to spaces without global coordinate systems. A locally differentiable structure allows one to define the globally differentiable tangent space, differentiable functions, and differentiable vector and tensor fields.

Differentiable manifolds are very important in physics. Special kinds of differentiable manifolds form the basis for physical theories such as classical mechanics, general relativity, and Yang–Mills theory.

It is possible to develop a calculus for differentiable manifolds. This leads to such mathematical machinery as the exterior calculus. The study of calculus on differentiable manifolds is known as differential geometry.

"Differentiability" of a manifold has been given several meanings, including: continuously differentiable, $k$-times differentiable, smooth (which itself has many meanings), and analytic.

/////////////////

Contents:
• 1 History
• 2 Definition
• 2.1 Atlases
• 2.2 Manifolds
• 2.3 Patching together Euclidean pieces to form a manifold
• 3 Differentiable functions
• 3.1 Differentiation of functions
• 3.1.1 Directional differentiation
• 3.1.2 Tangent vector and the differential
• 3.1.3 Definition of tangent space and differentiation in local coordinates
• 3.2 Partitions of unity
• 3.3 Differentiability of mappings between manifolds
• 4 Bundles
• 4.1 Tangent bundle
• 4.2 Cotangent bundle
• 4.3 Tensor bundle
• 4.4 Frame bundle
• 4.5 Jet bundles
• 5 Calculus on manifolds
• 5.1 Differential calculus of functions
• 5.2 Lie derivative
• 5.3 Exterior calculus
• 5.3.1 Exterior derivative
• 6 Topology of differentiable manifolds
• 6.1 Relationship with topological manifolds
• 6.2 Classification
• 7 Structures on smooth manifolds
• 7.1 (Pseudo-)Riemannian manifolds
• 7.2 Symplectic manifolds
• 7.3 Lie groups
• 8 Alternative definitions
• 8.1 Pseudogroups
• 8.2 Structure sheaf
• 8.2.1 Sheaves of local rings
• 9 Generalizations
• 9.1 Non-commutative geometry
• 10 See also
• 11 Notes
• 12 References
• 13 Bibliography

MathTrek environment of Fiber bundle