Differentiable manifold
A locally Euclidean space with a differentiable structure. Let $ X $
be a topological Hausdorff space. $ X $
is known as a locally Euclidean space or as a topological manifold of dimension $ n $
if for each point $ x \in X $
a neighbourhood $ U $
of $ x $
can be found that is homeomorphic to an open set of $ \mathbf R ^ {n} $.
The pair $ ( U , \phi ) $,
where $ \phi $
is this homeomorphism, is known as a local chart of $ X $
at $ x $.
Thus, to each point corresponds a selection of $ n $
real numbers $ ( x ^ {1} \dots x ^ {n} ) $,
known as the coordinates of $ x $
in the chart $ ( U , \phi ) $.
A family of charts $ \{ ( U _ \alpha , \phi _ \alpha ) \} $, $ \alpha \in A $, is known as an $ n $ dimensional $ C ^ {k} $ atlas $ ( 0 \leq k \leq \infty , a ) $ of $ X $ if a) the totality of all $ U _ \alpha $ covers $ X $, $ X = \cup _ {\alpha \in A } U _ \alpha $; and b) for any $ \alpha , \beta \in A $ such that $ U _ \alpha \cap U _ \beta \neq \emptyset $, the mapping
$$ \phi _ \beta ^ \alpha = \phi _ \beta \circ \phi _ \alpha ^ {} 1 : \ \phi _ \alpha ( U _ \alpha \cap U _ \beta ) \rightarrow \phi _ \beta ( U _ \alpha \cap U _ \beta ) $$
belongs to the class of differentiability $ C ^ {k} $; $ \phi _ \beta ^ \alpha $ is a differentiable mapping with nonvanishing Jacobian and is known as a transformation of coordinates $ x $ from the chart $ ( U _ \alpha , \phi _ \alpha ) $ into the chart $ ( U _ \beta , \phi _ \beta ) $.
Two $ C ^ {k} $ atlases are said to be equivalent if their union is again a $ C ^ {k} $ atlas. The set of $ C ^ {k} $ atlases is thus subdivided into equivalence classes, known as $ C ^ {k} $ structures; if $ 1 \leq k \leq \infty $, they are known as differentiable (or smooth) structures, while if $ k = a $ they are known as analytic structures. The topological manifold $ X $ with a $ C ^ {k} $ structure is known as a $ C ^ {k} $ manifold, or as a differentiable manifold of class $ C ^ {k} $.
The concept of a differentiable structure may be introduced for an arbitrary set $ X $ by replacing the homeomorphisms $ \phi _ \alpha $ by bijective mappings on open sets of $ \mathbf R ^ {n} $; here, the topology of the $ C ^ {k} $ manifold is described as the topology of the union, constructed from an arbitrary atlas of the corresponding structure. In such a case $ n $ dimensional manifolds clearly have an $ n $ dimensional $ C ^ {0} $ structure.
Problems of analytical and algebraic geometry make it necessary to consider in the definition of a differentiable structure not only the space $ \mathbf R ^ {n} $, but also more general spaces, such as $ \mathbf C ^ {n} $ or even $ K ^ {n} $ where $ K $ is a complete nondiscretely normed field. Thus, if $ K = \mathbf C $, the corresponding $ C ^ {k} $ structure, $ k \geq 1 $, invariably proves to be a $ C ^ {a} $ structure and is called complexanalytic, or simply complex, while the corresponding differentiable manifold is known as a complex manifold. Such a manifold also carries a natural real $ C ^ {a} $ structure.
Any $ C ^ {a} $ manifold contains a $ C ^ \infty $ structure, and there is a $ C ^ {r} $ structure on a $ C ^ {k} $ manifold, $ 0 \leq k \leq \infty $, if $ 0 \leq r \leq k $. Conversely, any paracompact $ C ^ {r} $ manifold, $ r \geq 1 $, may be provided with a $ C ^ {a} $ structure compatible with the given one, and this structure is unique, up to an isomorphism (see below). It may happen, however, that a $ C ^ {0} $ manifold cannot be provided with a $ C ^ {1} $ structure (i.e. there exist nonsmoothable manifolds, cf. Nonsmoothable manifold), and even if it can be provided with such a structure, the structure need not be unique. For example, the number $ \theta ( n) $ of $ C ^ {1} $ nonisomorphic $ C ^ \infty $ structures on the $ n $ dimensional sphere is:
<tbody> </tbody>

Let $ f : X \rightarrow Y $ be a continuous mapping of $ C ^ {r} $ manifolds $ X , Y $; it is known as a $ C ^ {k} $ morphism (or as a $ C ^ {k} $ mapping, $ k \leq r $, or as a mapping of class $ C ^ {k} $) of differentiable manifolds if for any pair of charts $ ( U _ \alpha , \phi _ \alpha ) $ on $ X $ and $ ( V _ \beta , \psi _ \beta ) $ on $ Y $ such that $ f ( U _ \alpha ) \subset V _ \beta $, the mapping
$$ \psi _ \alpha \circ f \circ \phi _ \beta ^ {} 1 : \phi _ \alpha ( U _ \alpha ) \rightarrow \psi _ \beta ( V _ \beta ) $$
belongs to the class $ C ^ {k} $. A bijective mapping $ f $ such that it and $ f ^ {  1 } $ are $ C ^ {n} $ mappings is called a $ C ^ {n} $ isomorphism (or a diffeomorphism of class $ C ^ {n} $). In such a case $ X $ and $ Y $ and their determining $ C ^ {r} $ structures are said to be $ C ^ {n} $ diffeomorphic.
A subspace $ Y $ of an $ n $ dimensional $ C ^ {k} $ manifold $ X $ is called a $ C ^ {k} $ submanifold of dimension $ m $ in $ X $ if for any point $ y \in Y $ there exists a neighbourhood $ V \subset Y $ of it and a chart $ ( U , \phi ) $ of the $ C ^ {k} $ structure $ X $ such that $ V \subset U $ and $ \phi $ induces a homeomorphism of $ V $ onto the intersection of $ \phi ( U \cap Y ) $ with the closed subspace $ \mathbf R ^ {m} \subset \mathbf R ^ {n} $; in other words, there exists a chart with coordinates $ x ^ {1} \dots x ^ {n} $ such that $ U \cap Y $ is defined by the relations $ x ^ {m+} 1 = \dots = x ^ {n} = 0 $.
A mapping $ f : X \rightarrow Y $ is said to be a $ C ^ {k} $ imbedding if $ f( X ) $ is a $ C ^ {k} $ submanifold in $ Y $ and if $ X \rightarrow f ( X ) $ is a $ C ^ {k} $ diffeomorphism. Any $ n $ dimensional $ C ^ {k} $ manifold permits an imbedding in $ \mathbf R ^ {2n+} 1 $ and even in $ \mathbf R ^ {2n} $. Moreover, the set of such imbeddings is everywhere dense in the space of mappings $ C ^ {k} ( X , \mathbf R ^ {2n+} 1 ) $ with respect to the compactopen topology. Thus, regarding a differentiable manifold as a submanifold of a Euclidean space is one of the ways of interpreting the theory of differentiable manifolds; for example, the above theorems on $ C ^ {a} $ structures can be proved in this manner.
There are two fundamental problems in the topology of differentiable manifolds (which is also referred to as differential topology). The first problem is the classification of differentiable manifolds. There exist three main classes of differentiable manifolds — closed (or compact) manifolds, compact manifolds with boundary and open manifolds. Important invariants by which differentiable manifolds are distinguished are the homotopy type and the tangent bundle, in particular the characteristic classes (cf. Characteristic class). Using these a classification of smooth structures for simplyconnected manifolds of given homotopy type has been given. Another invariant — the bordism class of a differentiable manifold — was used in solving the generalized Poincaré conjecture, in the study of fixed points under the action of a group on a manifold, etc. This involved the introduction of differentiable structures on manifolds with boundary and of a smoothing apparatus. Finally, methods of algebraic topology also proved useful in this context, since, for example, they permitted to establish that any $ C ^ {1} $ manifold can be triangulated.
The second problem is the classification of mappings of differentiable manifolds. The first class to be considered are immersions, which are a generalization of imbeddings; their classification is reduced to a homotopy problem, as distinct from imbeddings, which have not yet (1987) been completely classified (cf. Topology of imbeddings), and submersions, or fibrations, of one differentiable manifold into another. In particular, the concept of a transversal mapping along a submanifold plays an important role in problems of stability and in the study of typical singularities of mappings. The existence of transversal mappings is ensured by theorems such as Sard's theorem (cf. Sard theorem). All this, and problems in differential dynamics, dealing with the structure of various groups of diffeomorphisms (cf. Diffeomorphism), in particular of integral trajectories and singular points of vector fields on differentiable manifolds (dynamical systems), as well as the various equivalence relationships — isotopy, topological and $ C ^ {k} $ conjugacy, etc. — makes it necessary to study finitedimensional spaces $ \mathbf R ^ {n} $ together with arbitrary Banach (or Hilbert) spaces and to determine corresponding differentiable structures. This implies finding additional conditions that are reasonable from the point of view of applications, e.g., a differentiable manifold is separable if and only if the coordinate transformations have a closed graph. In general, infinitedimensional manifolds provided with such a structure — known as Banach or Hilbert manifolds, respectively, manifolds of mappings of finitedimensional manifolds being their typical example — are a useful outcome of studies and geometrical interpretation of problems of approximation of mappings (as in the imbedding theorem above), in the analysis of loop spaces (a suitable domain for the construction of Morse theory, cf. Loop space), etc.
Differentiable manifolds form a natural base for developing differential geometry. Supplementary infinitesimal structures — orientation, metric, connections, etc. — are introduced on differentiable manifolds, after which a study is made of the objects which are invariant with respect to the group of diffeomorphisms which preserve the supplementary structure. Conversely, the use of a specific structure permits one to study the structure of the differential manifold itself. The simplest example is the expression of the characteristic classes in terms of the curvature of a differentiable manifold with a linear connection.
References
[1]  L.S. Pontryagin, "Smooth manifolds and their applications in homotopy theory" , Moscow (1976) (In Russian) MR0445517 Zbl 0084.19002 
[2]  N. Bourbaki, "Elements of mathematics. Differentiable and analytic manifolds" , AddisonWesley (1966) (Translated from French) MR0205211 MR0205210 
[3]  G. de Rham, "Differentiable manifolds" , Springer (1984) (Translated from French) Zbl 0534.58003 
[4]  S. Lang, "Introduction to differentiable manifolds" , Interscience (1967) pp. App. III MR1931083 MR1532744 MR0155257 Zbl 1008.57001 Zbl 0103.15101 
[5]  V.A. Rokhlin, D.B. Fuks, "Beginner's course in topology. Geometric chapters" , Springer (1984) (Translated from Russian) MR759162 
[6]  H. Whitney, "Geometric integration theory" , Princeton Univ. Press (1957) MR0087148 Zbl 0083.28204 
[7]  M.M. Postnikov, "Introduction to Morse theory" , Moscow (1971) (In Russian) MR0315739 
[8]  R. Narasimhan, "Analysis on real and complex manifolds" , Springer (1971) MR0832683 MR0346855 MR0251745 Zbl 0583.58001 Zbl 0188.25803 
[9]  R.O. Wells jr., "Differential analysis on complex manifolds" , Springer (1980) MR0608414 Zbl 0435.32004 
[10]  M. Golubitskii, V. Guillemin, "Stable mappings and their singularities" , Springer (1973) MR0467801 
[11]  P. Bröcker, L. Lander, "Differentiable germs and catastrophes" , Cambridge Univ. Press (1975) MR0494220 Zbl 0302.58006 
[12]  Z. Nitecki, "Differentiable dynamics. An introduction to the orbit structure of diffeomorphisms" , M.I.T. (1971) MR0649788 Zbl 0246.58012 
[13]  S. Sternberg, "Lectures on differential geometry" , PrenticeHall (1964) MR0193578 Zbl 0129.13102 
[14]  C. Godbillon, "Géométrie différentielle et mécanique analytique" , Hermann (1969) MR0242081 Zbl 0653.53001 Zbl 0284.53018 
[15]  R. Sulanke, P. Wintgen, "Differentialgeometrie und Faserbündel" , Birkhäuser (1972) MR0413153 Zbl 0327.53020 Zbl 0271.53035 
See also the references to Differential topology.
Comments
Often the property of being paracompact is taken to be part of the definition of a topological or differentiable manifold. A space that is locally Euclidean is not necessarily paracompact.
References
[a1]  J.W. Milnor, "Morse theory" , Princeton Univ. Press (1963) MR0163331 Zbl 0108.10401 
[a2]  J.W. Milnor, "Toplogy from the differentiable viewpoint" , Univ. Virginia Press (1965) 
[a3]  J.W. Milnor, J.D. Stasheff, "Characteristic classes" , Princeton Univ. Press (1974) MR0440554 Zbl 0298.57008 
[a4]  M.R. Munkres, "Elementary differential topology" , Princeton Univ. Press (1963) MR0163320 Zbl 0107.17201 
[a5]  M.W. Hirsch, "Differential topology" , Springer (1976) pp. Chapt. 5, Sect. 3 MR0448362 Zbl 0356.57001 
[a6]  C.T.C. Wall, "Surgery on compact manifolds" , Acad. Press (1970) MR0431216 Zbl 0219.57024 
[a7]  D.S. Freed, K.K. Uhlenbeck, "Instantons and fourmanifolds" , Springer (1984) MR0757358 Zbl 0559.57001 
Differentiable manifold. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Differentiable_manifold&oldid=46659