1. Differentiable Manifolds 3 From the following drawing in the 2-plane through 0, x, and a it is easily seen that u+ is the usual stereographic projection. We also get v--+\y) = ( j ^ a + ^ y for y € {a}1" \ {0} and (u- o u+ )(y) = T\. The latter equation can directly be seen from the drawing using the intercept theorem. 1.3. Smooth mappings. A mapping f : M — N between manifolds is said to be Ck if for each x G M and one (equivalently: any) chart (V, v) on N with f(x) G V there is a chart (U,u) on M with x G U, f(U) C V, and v o f o u~x is Ck. We will denote by Ck(M, N) the space of all C^-mappings from M to N. A Cfc-mapping / : M — N is called a Ck-diffeomorphism if / _ 1 : N ^ M exists and is also C'0. Two manifolds are called diffeomorphic if there exists a diffeomorphism between them. From differential topology (see [84]) we know that if there is a C1-diffeomorphism between M and N1 then there is also a C°°-diffeomorphism. There are manifolds which are homeomorphic but not diffeomorphic: On M4 there are uncountably many pairwise nondiffeomorphic differentiable struc- tures on every other Rn the differentiable structure is unique. There are finitely many different differentiable structures on the spheres Sn for n 7. A mapping f : M — N between manifolds of the same dimension is called a local diffeomorphism if each x G M has an open neighborhood U such that f\U:U—* f(U) C N is a diffeomorphism. Note that a local diffeomorphism need not be surjective.
Purchased from American Mathematical Society for the exclusive use of nofirst nolast (email unknown) Copyright 2008 American Mathematical Society. Duplication prohibited. Please report unauthorized use to cust-serv@ams.org. Thank You! Your purchase supports the AMS' mission, programs, and services for the mathematical community.