Smooth Manifolds (Pt. III)
Point of Post: This is a continuation of this post.
Methods to Manufacture Smooth Manifolds
We now discuss some ways to manufacture new smooth manifolds from new ones.
The first convenient way to do this is by looking at submanifolds. Now, the interesting thing about the smooth manifold theory is that one doesn’t define the subobjects until much later in one’s learning. This is a huge departure from the rest of mathematics where subobjects are defined almost immediately after the definition of the objects themselves. The reasoning for this is that the notion of what a “submanifold” should be is much more subtle than “a subset which is itself a smooth manifold”. That said, while we can’t define the general notion of submanifolds we can do the next best thing and describe so-called open submanifolds. Indeed, suppose that is a smooth manifold with smooth structure and be an open subspace of (in the topological sense). Then, we claim that the set
, called the defines a smooth atlas on of dimension . Indeed, we first must verify that this is, indeed, a continuous atlas of dimension . To see this we begin by noting that each map is indeed a homeomorphism and that , are open in their respective spaces. Clearly, by definition of the subspace topology, is open in . Now, since is a homeomorphism we know that is an open subset of , and since is open inside of we know that is indeed open in . Now, evidently is a homeomorphism, being the restriction of a homeomorphism, and mapping onto the image of this restriction. Thus, we may conclude that each is indeed a chart on . Since we may conclude that, indeed, is a continuous atlas for . Thus, to verify that defines a smooth atlas on it suffices to check that all of the map are smoothly compatible. But, this follows immediately from the fact that the restriction of a smooth map on Euclidean space is a smooth map. So, with this proven, we can unabashedly call an open submanifold of , and say that open submanifolds have the same dimension as their ambient manifolds.
For example, consider the group of all real invertible matrices. Since the ring of real matrices can be naturally identified with we can think of as a subspace of . What we claim is that, in fact, the general linear group is an open subspace. Indeed, the determinant map is clearly continuous (being just a polynomial in the entries of the mattrix) and . Thus, we see that can be treated as an open submanifold of .
The next way one can construct manifolds is by taking products. In particular, suppose that are smooth manifolds of dimension respectively. We know that if denotes a topological atlas for then the atlas defined by (where ) defines a topological atlas on of dimension . Noting that the product of smooth maps between Euclidean spaces is smooth, it’s easy to see that, in fact, defines a smooth atlas on . We call the smooth structure it induces the product structure on , and merely call the product manifold.
Thus, we may give the -torus, the structure of a compact smooth manifold of dimension . We call this the standard structure on the -torus.
As a last example, we discuss the notion of the disjoint union of smooth manifolds. In particular, suppose that and are smooth manifolds of the same dimension with atlases and respectively. We already know that with is a topological atlas for . That said, all of the charts in this atlas are clearly smoothly compatible since they are either from the same original atlas (in which case they are trivially compatible) otherwise they are from different original atlases in which case they have non-intersecting domains. Thus, we see that this defines a smooth structure on which we call the disjoint union manifold of and .
 Lee, John M. Introduction to Smooth Manifolds. New York: Springer, 2003. Print.
 Lee, John M. Introduction to Topological Manifolds. New York: Springer, 2000. Print.
 Milnor, John Willard, and David W. . Weaver. Topology from the Differentiable Viewpoint. Charlottesville (Va.): University of Virginia, 1969. Print.
No comments yet.