{"id":31354,"date":"2016-12-02T10:10:27","date_gmt":"2016-12-02T15:10:27","guid":{"rendered":"http:\/\/blogs.ams.org\/mathgradblog\/?p=31354"},"modified":"2016-12-01T11:41:43","modified_gmt":"2016-12-01T16:41:43","slug":"manifold-46","status":"publish","type":"post","link":"https:\/\/blogs.ams.org\/mathgradblog\/2016\/12\/02\/manifold-46\/","title":{"rendered":"What is a Manifold? (4\/6)"},"content":{"rendered":"<p>After our luxurious treatment of 1-d manifolds, we turn to 2-d manifolds.<\/p>\n<p>My story of surfaces starts in\u00a0a beautifully weird morning when I got up to realize that life in the usual Euclidean plane\u00a0had changed dramatically. Vectors had shortened, areas had shrunk, and infinity was just a few feet away!<\/p>\n<p><!--more--><\/p>\n<p>Here is the aftermath (why the term &#8220;after math?!&#8221;):<\/p>\n<p><a href=\"http:\/\/blogs.ams.org\/mathgradblog\/files\/2016\/11\/R2-Sphere.png\"><img loading=\"lazy\" decoding=\"async\" class=\"aligncenter size-medium wp-image-31383\" src=\"http:\/\/blogs.ams.org\/mathgradblog\/files\/2016\/11\/R2-Sphere-239x300.png\" alt=\"r2-sphere\" width=\"239\" height=\"300\" srcset=\"https:\/\/blogs.ams.org\/mathgradblog\/files\/2016\/11\/R2-Sphere-239x300.png 239w, https:\/\/blogs.ams.org\/mathgradblog\/files\/2016\/11\/R2-Sphere.png 690w\" sizes=\"auto, (max-width: 239px) 100vw, 239px\" \/><\/a><\/p>\n<p>What had happened was this: A vector of unit length in the usual sense was now much shorter, of length <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Cfrac%7B4%7D%7B4%2Br%5E2%7D+&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;frac{4}{4+r^2} \" class=\"latex\" \/> where <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%C2%A0r&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"\u00a0r\" class=\"latex\" \/> is the distance (in usual sense) of its base (=initial point) from the origin. Yes, here it does matter where the base of a vector is.<\/p>\n<p>The vectors that used to be perpendicular are still perpendicular.\u00a0By looking at parallelograms, we see that areas have shrunk by a factor of\u00a0<img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Cfrac%7B4%7D%7B4%2Br%5E2%7D+&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;frac{4}{4+r^2} \" class=\"latex\" \/>. So, in the above diagram, the square feet of the two shaded areas are in fact almost equal.<\/p>\n<p>Let me\u00a0do some measurements.<\/p>\n<p><strong>Length of an infinite straight ray.<\/strong><\/p>\n<p>Consider\u00a0<img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Cgamma+%28t%29%3D+%28%5Ccos+%5Ctheta+t%2C+%5Csin+%5Ctheta+t%29%3B+%5C+0%5Cleq+t+%3C%5Cinfty&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;gamma (t)= (&#92;cos &#92;theta t, &#92;sin &#92;theta t); &#92; 0&#92;leq t &lt;&#92;infty\" class=\"latex\" \/> (see picture.) To calculate lengths we must add up lengths of tangent vectors. Tangent vectors are all <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%28%5Ccos+%5Ctheta+%2C+%5Csin+%5Ctheta+%29&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"(&#92;cos &#92;theta , &#92;sin &#92;theta )\" class=\"latex\" \/>, unit length in ordinary plane at each point, so their new length must be taken into account. The result is:<\/p>\n<p><img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5C+l+%28%5Cgamma%29+%3D+%5Cint+_0%5E%5Cinfty+%5C%7C%5Cgamma+%27+%28t%29+%5C%7C_%7Bnew%7D+dt+%3D+%5Cint+_0%5E%5Cinfty+%5Cfrac%7B4%7D%7B4%2Bt%5E2%7Ddt+%3D+2tg%5E%7B-1%7D%28t%2F2%29+%7C_%7B0%7D%5E%5Cinfty+%3D+%5Cpi+.&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92; l (&#92;gamma) = &#92;int _0^&#92;infty &#92;|&#92;gamma &#039; (t) &#92;|_{new} dt = &#92;int _0^&#92;infty &#92;frac{4}{4+t^2}dt = 2tg^{-1}(t\/2) |_{0}^&#92;infty = &#92;pi .\" class=\"latex\" \/><\/p>\n<p>Hmm! Seems that the infinity is only <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Cpi&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;pi\" class=\"latex\" \/> feet away!<\/p>\n<p><strong>The area of the whole plane!<\/strong> (But wait, isn&#8217;t that infinite?)<\/p>\n<p>We add up areas of infinitesimal rectangles <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=dxdy&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"dxdy\" class=\"latex\" \/>.\u00a0As discussed above, in our new\u00a0<em>metric\u00a0<\/em>(Ok, I had to finally use the term!) this rectangle&#8217;s area is shrunk by our factor. So, we get<\/p>\n<p><img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%5Cint+%5Cint_%7B%5Cmathcal%7BR%7D%5E2%7D+%5Cfrac%7B4%7D%7B4%2Br%5E2%7D+dxdy+%3D+4+%5Cpi.&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"&#92;int &#92;int_{&#92;mathcal{R}^2} &#92;frac{4}{4+r^2} dxdy = 4 &#92;pi.\" class=\"latex\" \/><\/p>\n<p>Maybe my whole success in posting these series depends on my ability to convince you now to experiment with this new plane I have created. Be bold about it. Ask questions, do calculations for yourself, get a feel of the structure of this space. Ask what could be asked about this space? What other familiar constructions are possible on it? Could we talk about <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=L%5Ep&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"L^p\" class=\"latex\" \/> spaces of functions? What is the measure? How will we integrate a function? What is the shortest path, say between <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%281%2C0%29&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"(1,0)\" class=\"latex\" \/> and <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=%280%2C1%29&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"(0,1)\" class=\"latex\" \/>? Notice that going on the straight line isn&#8217;t the best, because we are better off\u00a0bending away from the origin so that lengths are shorter. But how much to bend?!<\/p>\n<p>And finally answer this:\u00a0the plane with this tampered metric is a copy (in almost all aspects) of a familiar 2-d shape, can you guess what shape?!<\/p>\n<p>To be continued with more fun&#8230;<\/p>\n<div style=\"margin-top: 0px; margin-bottom: 0px;\" class=\"sharethis-inline-share-buttons\" ><\/div>","protected":false},"excerpt":{"rendered":"<p>After our luxurious treatment of 1-d manifolds, we turn to 2-d manifolds. My story of surfaces starts in\u00a0a beautifully weird morning when I got up to realize that life in the usual Euclidean plane\u00a0had changed dramatically. Vectors had shortened, areas &hellip; <a href=\"https:\/\/blogs.ams.org\/mathgradblog\/2016\/12\/02\/manifold-46\/\">Continue reading <span class=\"meta-nav\">&rarr;<\/span><\/a><\/p>\n<div style=\"margin-top: 0px; margin-bottom: 0px;\" class=\"sharethis-inline-share-buttons\" data-url=https:\/\/blogs.ams.org\/mathgradblog\/2016\/12\/02\/manifold-46\/><\/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,262],"class_list":["post-31354","post","type-post","status-publish","format-standard","hentry","category-math","tag-differential-geometry","tag-manifold"],"jetpack_featured_media_url":"","jetpack_shortlink":"https:\/\/wp.me\/p3gbww-89I","jetpack_sharing_enabled":true,"_links":{"self":[{"href":"https:\/\/blogs.ams.org\/mathgradblog\/wp-json\/wp\/v2\/posts\/31354","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=31354"}],"version-history":[{"count":13,"href":"https:\/\/blogs.ams.org\/mathgradblog\/wp-json\/wp\/v2\/posts\/31354\/revisions"}],"predecessor-version":[{"id":31386,"href":"https:\/\/blogs.ams.org\/mathgradblog\/wp-json\/wp\/v2\/posts\/31354\/revisions\/31386"}],"wp:attachment":[{"href":"https:\/\/blogs.ams.org\/mathgradblog\/wp-json\/wp\/v2\/media?parent=31354"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blogs.ams.org\/mathgradblog\/wp-json\/wp\/v2\/categories?post=31354"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blogs.ams.org\/mathgradblog\/wp-json\/wp\/v2\/tags?post=31354"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}