## Smooth Manifolds (Pt. I)

**Point of Post: **In this post we define the notion of smooth manifolds, give ample examples, and prove some fundamental results about the construction of smooth manifolds.

**Motivation**

In previous posts we have defined the notion of a topological manifold as being the end result of a progression through nicer and nicer spaces. In this post we take this progression one step further and describe a class of spaces that, in some sense, are some of the nicest spaces one can reasonably hope to deal with. The spaces come up when we ask ourselves “now that we have spaces that locally look like , what can we do with them?” Thus, one starts introspecting: what aspect of , besides being the most natural space for us lowly humans to think of, makes it so special?

This, it turns out, is not such an easy question to ask. I mean, has a ton of structure: an order structure, a ring structure, a group structure, topological structure, etc. Which do we pick? Well, evidently we have already used up the topological structure of (we require our spaces to be locally identical in this manner), the order theory clearly isn’t that great. What about the algebra structure–it has some nice algebraic properties? While this may seem initially like a great idea, a second of thought shows two chinks in its armor. First and foremost, algebraic structures are global objects (they are defined everywhere) whereas what we have is that our space locally looks like . Thus, whatever structure on we would like to transfer over to our manifolds must be something which is local.

Now, one of the most beautiful, powerful structures we have on is one that we are so used to by now, that we most likely take for granted–the ability to do calculus. Indeed, while groups, rings, topological spaces or any combination of those are a dime a dozen, spaces that we can do real calculus on are a genuine rarity. Moreover, differential calculus is an entirely local concept–the derivative at a point is defined using entirely local information.

It thus seems advantageous for us to try to transfer over the notion of differential calculus in Euclidean space to our topological manifolds. But, how? The first step will be defining what we mean by a differentiable function fome one manifold to the other. The basic idea is already should be obvious. Suppose that and are smooth manifolds of dimension and respectively and that is a map. Fix a point and note that locally around and and look like and respectively. Thus, we can basically pretend that is a map which we, of course, know how to verify smoothness.

More rigorously, we can phrase the above paragraph by saying that if and then we can choose charts at and at (with ). We can then consider . This is exactly the rigorous formulation of thinking about and locally as Euclidean and adapting to this situation. We are then tempted to say that should be differentiable at if when we do this, when we locally Euclideanize, that we get a smooth map. There is a slight issue though.

To be one-hundred percent correct, we should really say that the above is a description for what it means for to be smooth *relative *to the charts and . Indeed, a topological atlas for a manifold can contain many overlaping charts, many of which contain the point . It seems an undesirable property that the differentiability of our function at a point should be chart dependent. So, how can we make it independent? This is exactly where the new criterion on the charts will come into play.

In a sense, the failure of differentiability to be chart dependent is a failure for the charts to “overlap smoothly”. In other words, going from the image of the overlap under one chart to the image of the overlap of the other map should be smooth. Formally, this is described by saying that if two charts and at then the map should be a smooth map between Euclidean spaces. This is precisely the notion of a smooth manifold–a topological manifold where all of the charts overlap smoothly–allowing us to meaningfully define what a differentiable map between such manifolds means.

**Smooth Manifolds**

Let be a topological manifold and let and be two continuous -dimensional charts on . We say that these charts are *smoothly compatible *if either or if is nonempty and the map , a map between open subsets of , is a diffeomorphism (i.e. a smooth bijective map with smooth inverse). We call the maps an *overlap map. *We call an atlas of *smooth *if all of its charts are smoothly compatible.

Note that two prove that a given atlas is smooth it really suffices to prove that all of its overlap are smooth, and not that they are diffeomorphisms. Indeed, if all of the overlap maps are smooth, then its inverse is necessarily smooth, since it is itself an overlap map.

For example, the atlas for –although this is vacuously true since the only overlap map is the identity map .

Consider the sphere with the altas as described before. We claim that this is a smooth atlas. Indeed, we note that and that is merely the map and similarly for –from here the fact that this is a smooth atlas follows.

We claim that the standard atlas on is a smooth atlas. Indeed, we need to check that is smooth for each . We will assume that for the other case is similar. If this is the case then one can easily check that

which is obviously smooth.

Now, as we have said before, the existence of smooth atlases and on topological manifolds and respectively allows us to define “smooth” maps . Namely, we want to, at each point, “pretend” that our map is defined on Euclidean spaces which we can do since the manifold looks Euclidean locally around the point and its image. Of course, as we stated before the reason that we require our charts to be smoothly compatible is that it doesn’t matter how we locally look around our point and its image (i.e. it’s independent of chart choice).

**References:**

[1] Lee, John M. *Introduction to Smooth Manifolds*. New York: Springer, 2003. Print.

[2] Lee, John M. *Introduction to Topological Manifolds*. New York: Springer, 2000. Print.

[3] Milnor, John Willard, and David W. . Weaver. *Topology from the Differentiable Viewpoint*. Charlottesville (Va.): University of Virginia, 1969. Print.

[…] Smooth Manifolds (Pt. II) Point of Post: This is a continuation of this post. […]

Pingback by Smooth Manifolds (Pt. II) « Abstract Nonsense | August 30, 2012 |

[…] anyone who is likely to get a lot out of these posts probably is familiar with the concept of a smooth manifold, which is merely topological spaces with a well-defined notion of how to ‘do calculus’ […]

Pingback by Riemann Surfaces (Pt. I) « Abstract Nonsense | October 2, 2012 |