{"id":31432,"date":"2017-02-13T23:05:07","date_gmt":"2017-02-14T04:05:07","guid":{"rendered":"http:\/\/blogs.ams.org\/mathgradblog\/?p=31432"},"modified":"2017-02-13T23:05:07","modified_gmt":"2017-02-14T04:05:07","slug":"manifold-56","status":"publish","type":"post","link":"https:\/\/blogs.ams.org\/mathgradblog\/2017\/02\/13\/manifold-56\/","title":{"rendered":"What is a Manifold? (5\/6)"},"content":{"rendered":"

In our\u00a0last post<\/a>, we invented a new geometry by\u00a0re-scaling the\u00a0inner product of the usual Euclidean plane. This modification did not change any of the angles in our geometry, in the sense that if two curves intersected in a particular Euclidean angle, then in our new geometry they still\u00a0intersected in the same angle. However, distances and areas had shrunk and had done so significantly at points away from the origin. For instance, we found that the total area of the plane under our\u00a0new metric was \"\pi\" – a finite value.<\/p>\n

<\/p>\n

The plane with the new metric is, in effect, exactly the 2-d sphere (with the north pole removed). The way I had come up with the appropriate scalings was by looking\u00a0the stereographic projection from the north pole of a sphere and by requiring lengths of curves on the plane to be equal to the lengths of their corresponding curves on the sphere. (For instance, a line through the origin corresponds to a great circle through the two poles.) Other\u00a0interesting geometric objects which can be obtained from the usual Euclidean plane by modifying its geometry include the hyperbolic plane.<\/p>\n

Now let’s see if this example provides enough intuition to arrive at the definition of a 2-d manifold. Imagine the shell of an ovoid in \"\mathbb{R}^3\". This is a very geometric object: one can measure lengths of\u00a0curves which live on its surface, calculate the areas of different regions, and so on. In fact, developing tools to solve these problems are the subject of\u00a0most introductory calculus courses. However, our goal is to give these notions meaning\u00a0without any explicit reference to \"\mathbb{R}^3\". We want to endow\u00a0the ovoid, our manifold,\u00a0with an identity of its own, independent of the ambient space \"\mathbb{R}^3\".<\/p>\n

Thanks to our extended examples, we have a clue. From far away, the ovoid does not look like a plane at all. But if we fly very close to its surface, it does look very similar to parts of a plane. Mathematically speaking, we can bijectively map\u00a0a piece of the manifold onto a domain in the plane:<\/p>\n

$$\\phi : V\u00a0\\longrightarrow U\u00a0\\subset \\mathbb{R}^2. $$<\/p>\n

To cover the whole manifold, we need many such mappings.<\/p>\n

Thus, we have disassembled our shape into (probably many) separate tabs\u00a0of data, each of which involves a region in the plane along with a new inner product – a way of measuring angles and distances in that region.<\/p>\n

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

Now, the question is: given only the tabs, how much of the shape can we reconstruct? Can one differentiate an ovoid from a sphere by only looking at their disassembled versions? This, of course, depends on how much geometric information we record in those tabs.<\/p>\n

Before proceeding any further, however, there is a crucial issue we have to deal with. Assume we have a \"C^1\" curve contained in one of the regions from our tabs. Part of the corresponding curve on the manifold may cross into another\u00a0region as well. Now, the image of this segment in the other tab may look nothing like a \"C^1\" curve. (Compare the images of the orange curve under two tabs in the above picture.) The way out of this is to put requirements for the\u00a0transition maps\u00a0<\/em>that describe the correspondence between regions from different tabs. In the above picture, the transition map that sends the orange curve in \"U_1\" to the one in \"U_2\" is \"\phi. If we require this map to be \"C^1\" then the image of the \"C^1\" orange curve must be \"C^1\" in \"U_2\" as well.<\/p>\n

These conditions on the transition maps will be key to our definition of a manifold. We will be able\u00a0speak of “derivatives of real functions on the manifold” only if the transition maps are differentiable. We can talk about smooth maps or curves on the manifold only if the transition maps are smooth. (Notice that smoothness and differentiability do make sense for transition maps, because they are maps between open subsets of \"\mathbb{R}^2\". However, for the same notions on manifolds, we need definitions.)<\/p>\n

Next post, we will see the definition of a (Riemannian) 2-d manifold. Meanwhile, please comment your thoughts!<\/p>\n

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

In our\u00a0last post, we invented a new geometry by\u00a0re-scaling the\u00a0inner product of the usual Euclidean plane. This modification did not change any of the angles in our geometry, in the sense that if two curves intersected in a particular Euclidean … 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],"tags":[263,268,124],"class_list":["post-31432","post","type-post","status-publish","format-standard","hentry","category-math","tag-differential-geometry","tag-manifolds","tag-math"],"jetpack_featured_media_url":"","jetpack_shortlink":"https:\/\/wp.me\/p3gbww-8aY","jetpack_sharing_enabled":true,"_links":{"self":[{"href":"https:\/\/blogs.ams.org\/mathgradblog\/wp-json\/wp\/v2\/posts\/31432","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=31432"}],"version-history":[{"count":21,"href":"https:\/\/blogs.ams.org\/mathgradblog\/wp-json\/wp\/v2\/posts\/31432\/revisions"}],"predecessor-version":[{"id":31498,"href":"https:\/\/blogs.ams.org\/mathgradblog\/wp-json\/wp\/v2\/posts\/31432\/revisions\/31498"}],"wp:attachment":[{"href":"https:\/\/blogs.ams.org\/mathgradblog\/wp-json\/wp\/v2\/media?parent=31432"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blogs.ams.org\/mathgradblog\/wp-json\/wp\/v2\/categories?post=31432"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blogs.ams.org\/mathgradblog\/wp-json\/wp\/v2\/tags?post=31432"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}