{"id":31553,"date":"2017-04-27T02:05:47","date_gmt":"2017-04-27T07:05:47","guid":{"rendered":"http:\/\/blogs.ams.org\/mathgradblog\/?p=31553"},"modified":"2017-04-27T11:11:52","modified_gmt":"2017-04-27T16:11:52","slug":"manifold-66","status":"publish","type":"post","link":"https:\/\/blogs.ams.org\/mathgradblog\/2017\/04\/27\/manifold-66\/","title":{"rendered":"What is a Manifold? (6\/6)"},"content":{"rendered":"

In posts 1-3 we were able to reduce all of the geometry of a curve in 3-space to an interval \"[a,b]\subset along with two or three real-valued functions. We also discussed when two sets\u00a0of such data give equivalent (overlapping) curves. This enabled us to patch together a collection of such sets of data\u00a0into one unified spatial curve.<\/p>\n

We then studied the specific example of re-defining the metric on the plane so that its geometry is precisely that of a 2-sphere. We saw that for measurements of angles, lengths, and areas, all we need is a dot-product on vectors. Given an open domain in the plane, once we have a dot-product, we will be able to make\u00a0such measurements. Our goal in this post\u00a0is to make the following definition of a manifold more tangible.<\/p>\n

<\/p>\n

Begin with a topological space \"X\". (Note we cannot talk about any structure other than continuous\u00a0maps from or to this space.) Assume that for every \"x, there is an open neighborhood \"N_x\" of \"x\" homeomorphic to an open domain \"U_x\" in the plane: \"\phi These are called “charts”, or coordinate maps.<\/p>\n

Given this the\u00a0question now is: How do we make sense of the notions of \"C^1\"-ness and length for a curve \"C\subset? One way we might hope to do this is by using our coordinate maps. That is we say that \"C\" is \"C^1\" if \"\phi_x(C)\" is $C^1$ and we define the length of $C$ to be the length of \"\phi_x(C)\".<\/p>\n

As illustrated in a picture in the\u00a0previous post<\/a>, this definition of \"C^1\"-ness is not a satisfactory one\u00a0because some curves will lie simultaneously in two neighborhoods, say \"U_x\" and \"U_y\", and there is no guarantee that if its image in \"U_x\" is \"C^1\", it must also be \"C^1\"\u00a0in \"U_y\".<\/p>\n

However, the two images are transformed to one another by the map \"\phi (See the\u00a0previous article<\/a> for the reason.) Therefore, if these “transition maps” between subsets of \"\mathbb{R}^2\" are \"C^1\", then without ambiguity, we can define a subset of \"X\" to be a \"C^1\" curve if its image under any (and hence all) of the chart maps is a \"C^1\" curve in \"\mathbb{R}^2\".<\/p>\n

The space \"X\" together with the data of coordinate charts with the properties above is a 2-dimensional \"C^1\" manifold.<\/p>\n

As sketched above, for such manifolds, it is meaningful to talk about \"C^1\" curves, or \"C^1\" functions \"f:. In the latter case, we say \"f\" is \"C^1\" if \"f is\u00a0\"C^1\" for all \"x\".<\/p>\n

Hopefully, now, the idea is starting to make sense.\u00a0A \"C^2\" manifold is\u00a0a topological space with charts whose transition maps are \"C^2\". For these manifolds, we can talk about second derivative of functions. A smooth manifold is\u00a0one with smooth, i.e. \"C^\infty\", transition maps… Well, as is noted in [1, pg. 9], “Usually additional technical assumptions on the topological space are made to exclude pathological cases. It is customary to require that the space be Hausdorff and second countable.”<\/p>\n

Definition: <\/strong>“A \"C^r\" n-manifold” is a Hausdorff and second countable topological space, with charts that map into open domains of \"\mathbb{R}^n\" such that the\u00a0transition maps are \"C^r\".<\/p>\n

Where did the metric go?! How do we measure lengths?<\/p>\n

Remember I said we might try to\u00a0define the length of a curve \"C\subset by saying it is equal to the length of the\u00a0curve \u00a0\"\phi_x(C)\" lying in \"U_x\"? Well, this begs the question: How do we compute the length of \"\phi_x(C)\", because \"U_x\" might have a metric other than the usual Euclidean one.\u00a0For example,\u00a0recall the metric on the plane from our example in the fourth post<\/a> in this series. This means we run into a problem similar to the one we had when defining \"C^1\"-ness. If each \"U_x\" has its own metric, then a curve on the manifold may\u00a0have different\u00a0lengths, depending on the chart we use\u00a0for the measurement. This will make the length undefinable by looking at charts, unless, some\u00a0very intricate compatibility assumptions are\u00a0imposed on the metrics of the \"U_x\"‘s.<\/p>\n

The good\u00a0news is that one usually takes a different approach: A metric is built on the manifold upfront, rather than pieced together from collection of metrics on various \"U_x\"‘s that happen to magically be compatible in an complex manner. The key thing\u00a0that makes this direct construction on the metric on a manifold possible, is the existence\u00a0of “the tangent space”.<\/p>\n

Fix a point \"x, a \"C^1\" manifold. In a chart \"\phi, the point \"x\" is represented by \"\phi. Since \"\phi is bijective and \"C^1\", its derivative at the point \"\phi existences, and is a \"2\times2\" invertible matrix, mapping vectors centered at \"\phi to vectors centered at \"\phi Thus, if we fix a vector \"v_1\" at \"\phi, then in any other chart \"\phi_\gamma\" there is\u00a0a corresponding vector \"v_\gamma\" centered at \"\phi_\gamma. We call this collection of vectors, one from each chart, “a tangent vector to \"X\" at \"x\".” By varying \"v_1\" in \"U_1\", we see that the collection of all tangent vectors to \"X\" at \"x\" is in one-to-one relation with the vector space of all vectors centered at \"\phi, which in turn is a copy of the vector space \"\mathbb{R}^2.\" Thus, this collection is naturally a vector space. We denote it by \"T_xX\". The key feature is that the tangent spaces were constructed from charts and not from an ambient space in which \"X\" sits in.<\/p>\n

\"\"<\/a><\/p>\n

Definition<\/strong>: “A metric” on \"X\" is a choice of an inner product on each of the tangent spaces \"T_xX\" that continuously depends on \"x\".<\/p>\n

In our example of the plane with the metric of a sphere, attached at each \"(x,y)\", we think of a copy of the vector space \"\mathbb{R}^2\". Then the inner product of the plane centered at \"(x,y)\" is \"\frac{4}{1+r^2}\" times the usual inner product of the plane.<\/p>\n

What happens is that for the low dimensional tangible cases where we have a hyper-surface in a Euclidean space this abstract notion of a tangent space coincides with the “tangent plane” to the surface. For example, the tangent space to the sphere in \"R^3\" is the copy of 2-plane touching the sphere at one point. The vectors in this tangent can be alternatively viewed as vectors in \"R^3\", and therefore, their inner product is defined. Therefore, by “cheating”, most visualizable spaces come with an inner product. (This is, of course, far from being the only one.) Notice we are cheating, because, we are not supposed to work with an ambient space. Here we look at the ambient space to come up with an inner product, and then forget about the ambient space again, thus, ending with a metric in the manifold sense.<\/p>\n

Definition: <\/strong>A Riemannian manifold is a smooth manifold equipped with a smooth inner-product.<\/p>\n

Riemannian manifolds are where we can do measurements. As said above, we deform the inner product on \"U_x\" according to the one on the manifold: If two vectors tangent to the manifold have a dot product equal to \"t\", we define their images under \"\phi_x\" to have the same inner product in the metric that will be induced on \"U_x\". Then, we measure lengths of curves in \"U_x\" by this new metric. Similarly, areas can be discussed. Moreover, metric opens up the rich study of “curvature” on manifolds.<\/p>\n

End-note:<\/strong> Why do we begin with a topological space, rather than with the sets\u00a0of data I discussed earlier? That is, could we begin with a collection of open domains along with transition maps of certain smoothness, and call this collection a manifold? The answer is that, there may be many ways of patching together the pieces of data. For instance, one could always decide to leave all patches disconnected and have a union of disjoint manifolds, or decide not to patch even when the data is compatible. Thus, beginning with sets of info, there are too many possibilities, and therefore it is wise to start with a topological space as our “canvas” onto which more delicate details will be painted.<\/p>\n

[1] Vladimir G. Ivancevic, Applied Differential Geometry: A Modern Introduction<\/em>, (2007).<\/p>\n

<\/div>","protected":false},"excerpt":{"rendered":"

In posts 1-3 we were able to reduce all of the geometry of a curve in 3-space to an interval along with two or three real-valued functions. We also discussed when two sets\u00a0of such data give equivalent (overlapping) curves. This … Continue reading →<\/span><\/a><\/p>\n

<\/div>\n","protected":false},"author":118,"featured_media":0,"comment_status":"open","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"jetpack_post_was_ever_published":false,"_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"_jetpack_memberships_contains_paid_content":false,"footnotes":""},"categories":[12,1],"tags":[262,124,295],"class_list":["post-31553","post","type-post","status-publish","format-standard","hentry","category-math","category-uncategorized","tag-manifold","tag-math","tag-topology"],"jetpack_featured_media_url":"","jetpack_shortlink":"https:\/\/wp.me\/p3gbww-8cV","jetpack_sharing_enabled":true,"_links":{"self":[{"href":"https:\/\/blogs.ams.org\/mathgradblog\/wp-json\/wp\/v2\/posts\/31553","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/blogs.ams.org\/mathgradblog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/blogs.ams.org\/mathgradblog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/blogs.ams.org\/mathgradblog\/wp-json\/wp\/v2\/users\/118"}],"replies":[{"embeddable":true,"href":"https:\/\/blogs.ams.org\/mathgradblog\/wp-json\/wp\/v2\/comments?post=31553"}],"version-history":[{"count":18,"href":"https:\/\/blogs.ams.org\/mathgradblog\/wp-json\/wp\/v2\/posts\/31553\/revisions"}],"predecessor-version":[{"id":31591,"href":"https:\/\/blogs.ams.org\/mathgradblog\/wp-json\/wp\/v2\/posts\/31553\/revisions\/31591"}],"wp:attachment":[{"href":"https:\/\/blogs.ams.org\/mathgradblog\/wp-json\/wp\/v2\/media?parent=31553"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blogs.ams.org\/mathgradblog\/wp-json\/wp\/v2\/categories?post=31553"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blogs.ams.org\/mathgradblog\/wp-json\/wp\/v2\/tags?post=31553"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}