{"id":507,"date":"2008-04-30T06:49:18","date_gmt":"2008-04-30T14:49:18","guid":{"rendered":"http:\/\/www.rudyrucker.com\/blog\/2008\/04\/30\/dialog-with-jeff-weeks-on-the-shape-of-space\/"},"modified":"2009-04-17T08:15:13","modified_gmt":"2009-04-17T16:15:13","slug":"dialog-with-jeff-weeks-on-the-shape-of-space","status":"publish","type":"post","link":"https:\/\/www.rudyrucker.com\/blog\/2008\/04\/30\/dialog-with-jeff-weeks-on-the-shape-of-space\/","title":{"rendered":"Dialog on &#8220;Is the Universe Infinite?&#8221;"},"content":{"rendered":"<p>Today I\u2019m presenting an email dialog I had with <a target=\"blank\" href=\"http:\/\/en.wikipedia.org\/wiki\/Jeffrey_Weeks_%28mathematician%29\">Jeff Weeks <\/a>about the whether the space of our universe is infinite.<\/p>\n<p><img decoding=\"async\" src=\"https:\/\/www.rudyrucker.com\/blog\/images\/weekshandoff.jpg\"\/><\/p>\n<p><b>Rudy<\/b>: I mentioned in my most recent blog post, \u201c<a target=\"blank\" href=\"https:\/\/www.rudyrucker.com\/blog\/2008\/04\/20\/is-the-universe-infinite\/\">Is the Universe Infinite<\/a>\u201d\u009d , that there seem to be three notions of space\u2019s  size.  (i) it\u2019s finite (ii) it\u2019s potentially   infinite, in that it\u2019s finite but will expand   forever (iii) it\u2019s actually infinite.  As a   one-time set theorist, I of course would prefer   (iii).  But I don\u2019t read much about this option.  <\/p>\n<p><b>Jeff<\/b>: The reason you don\u2019t hear much about that is that cosmologists don\u2019t like to talk about things that can\u2019t be tested against observation.  So, for example, they are willing to consider the hypothesis that the universe is smaller than our horizon sphere (in which case we could in principle see repeating images and confirm the finiteness of space).  But if and when it\u2019s established that the universe is sufficiently larger than our horizon sphere, then many (but not all) cosmologists lose interest in discussing whether its truly infinite or just very, very big.<\/p>\n<p><img decoding=\"async\" src=\"https:\/\/www.rudyrucker.com\/blog\/images\/weekstorso.jpg\"\/><\/p>\n<p> <b>Rudy<\/b>: In a quick web search, I see some (non-academic) people arguing   against infinite universes on more a priori   reasons, but these seem simply to be rehashes of   pre-Cantorian Scholastic arguments derived from  the mistaken notion that an actual infinite is inherently contradictory.<\/p>\n<p><b>Jeff<\/b>: Most (but not all) cosmologists avoid stating an opinion one way or the other (re a finite or infinite universe). They take the view that if you can\u2019t test a hypothesis against observations, then it\u2019s not worth discussing. In my view that approach seems a little extreme, but on the other hand I can see where they are coming from. Many physicists feel burnt (or at least chastened) by quantum mechanics, leading them to seek refuge in the idea that the purpose of science is to predict the results of experiments, and that scientists shouldn\u2019t waste their time speculating about what it all means. I don\u2019t agree with that approach, but like I said I can see where they\u2019re coming from.  Anyhow, for that reason I think most cosmologists are agnostic on the question of a finite or infinite universe.<\/p>\n<p><img decoding=\"async\" src=\"https:\/\/www.rudyrucker.com\/blog\/images\/weekscactus.jpg\"\/><\/p>\n<p><b>Rudy<\/b>: I guess you\u2019d need to be in 4D space to smoothly make the 3D torus or the Poincare dodecahedron.<\/p>\n<p><b>Jeff<\/b>: We humans like things to sit in Euclidean spaces, because we can imagine them more easily that way. But Mother Nature suffers no such limitations. Thus it makes perfect sense to imagine a 3-torus that doesn\u2019t sit in 4D space (and in fact doesn\u2019t sit in *any* space).  It just is.  It\u2019s itself, and that\u2019s that.<\/p>\n<p>By the way, one of my motivations for writing  the <a target=\"blank\" href=\"http:\/\/www.geometrygames.org\/TorusGames\/index.html\">Torus and Klein Bottle Games <\/a>was to let users develop  some gut-level intuition for a finite multi-connected space  that doesn\u2019t sit in any higher-dimensional space.   That is, when you play the games, you learn to understand the finite 2D surfaces &#8220;as themselves&#8221;, never having  to wrap them around in 3- or 4-dimensional space.<\/p>\n<p><img decoding=\"async\" src=\"https:\/\/www.rudyrucker.com\/blog\/images\/weeksgarden.jpg\"\/><\/p>\n<p> <b>Rudy<\/b>:  I\u2019m not fully clear on how to express the difference between the hypersphere and the positively curved finite compact Poincar\u00c3\u00a9 dodecahedral space.  I\u2019m guessing it\u2019s that the Poincare space is analogous to a multiple-genus surface with holes in it?  Six holes? <\/p>\n<p><b>Jeff<\/b>: Yes, exactly, the Poincare dodecahedral space is analogous to a multiple-genus surface, in the sense that both are &#8220;multiply connected&#8221;.<\/p>\n<p>The possible shapes for a 3D space are far richer than the possibilities for a 2D surface. So while a simple concept like the number of holes (or, equivalently, the number of handles) works great for classifying 2D surfaces, it breaks down in 3D. In other words, the set of (orientable) 2D surfaces is  linear in the sense that you can line \u201d\u02dcem up in a row and not miss anything, like:<\/p>\n<p>    <em>sphere, doughnut surface, 2-holed doughnut surface, etc.<\/em><\/p>\n<p>But the set of possible 3D shapes isn\u2019t linear in that way.  A more productive way to think about 3D spaces is to focus on which directions you could travel to return to your starting point, or, equivalently, in which directions you could look and see an image of yourself.  For example, in a 3-torus you\u2019d see your nearest self-images along a set of three mutually perpendicular axes (i.e. if you\u2019re standing at the center of a cubical fundamental domain, and you direct your gaze towards the center of any of the cube\u2019s six faces, you\u2019ll see an image of yourself &#8220;one unit away&#8221;).  In the dodecahedral space, by contrast, you can look towards any of the dodecahedron\u2019s 12 faces to see a nearest self-image.  You can enjoy these effects first hand in my  <a target=\"blank\" href=\"http:\/\/www.geometrygames.org\/CurvedSpaces\/index.html\">Curved Spaces software<\/a>:  just open a space of interest and use the left- and right-arrow keys to give your a little window to see across each of the walls.<\/p>\n<p><img decoding=\"async\" src=\"https:\/\/www.rudyrucker.com\/blog\/images\/weeksprotists.jpg\"\/><\/p>\n<p><b>Rudy<\/b>: I\u2019m also groping for a good way to describe some in-space scenario that would make the &#8220;holes&#8221; evident.<\/p>\n<p><b>Jeff<\/b>: Maybe something related to where you see your self-images? Another interesting twist in the plot would be that when you see those images, you\u2019re seeing into the past (because of the finite speed of light).<\/p>\n<p>One last comment here:  In the hypersphere you see exactly one image of yourself, and in fills the whole sky.  I think that observation was in your first book,  <em> Geometry, Relativity and the Fourth Dimension<\/em> ?  That book had a big influence on my intellectual development.  It was a real hit among my math\/science friends!<\/p>\n<p><img decoding=\"async\" src=\"https:\/\/www.rudyrucker.com\/blog\/images\/weeksroof.jpg\"\/><\/p>\n<p> <b>Rudy<\/b>: Your paper <a target=\"blank\" href=\"http:\/\/www.ams.org\/notices\/200406\/fea-weeks.pdf\">\u201cThe Poincar\u00c3\u00a9 Dodecahedral Space and the Mystery of the Missing Fluctuations\u201d\u009d <\/a>suggests that, since we   don\u2019t see much in the way of a low mode gradient   in the cosmic microwave background radiation (CMB) across the sky, our space is probably   finite.  But there are of course a number of ways   out of this argument, right?  <\/p>\n<p><b>Jeff<\/b>: Yes.  The weak broad-scale CMB fluctuations could be a result of a multiconnected topology, or they could be the result of some other effect, or they could be just a statistical fluke.<\/p>\n<p><img decoding=\"async\" src=\"https:\/\/www.rudyrucker.com\/blog\/images\/amcrane.jpg\"\/><\/p>\n<p><b>Rudy<\/b>: Funny, it seems so IMPORTANT to me whether there are alef-null stars, and to many this is a meaningless question.  I gather that at least it\u2019s not viewed as impossible, which is reassuring.<\/p>\n<p>   <b>Jeff<\/b>: It\u2019s a natural human drive to want to understand the world we live in. What aspects of the world we find interesting are shaped by our previous experience.  This is a healthy thing, I think, because it means that different people end up obsessed by different things (you with infinite sets, me with topology\/geometry, and so on) and thus we avoid having everybody thinking alike.  Thank goodness!<\/p>\n<p><b>Rudy<\/b>: I have a dream that eventually the transfinite will emerge into testable quotidien physics<\/p>\n<p><b>Jeff<\/b>: That\u2019s the beautiful part &#8212; lots of people with lots of dreams.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Today I\u2019m presenting an email dialog I had with Jeff Weeks about the whether the space of our universe is infinite. Rudy: I mentioned in my most recent blog post, \u201cIs the Universe Infinite\u201d\u009d , that there seem to be three notions of space\u2019s size. (i) it\u2019s finite (ii) it\u2019s potentially infinite, in that it\u2019s [&hellip;]<\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"open","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1],"tags":[],"class_list":["post-507","post","type-post","status-publish","format-standard","hentry","category-uncategorized"],"aioseo_notices":[],"_links":{"self":[{"href":"https:\/\/www.rudyrucker.com\/blog\/wp-json\/wp\/v2\/posts\/507","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.rudyrucker.com\/blog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.rudyrucker.com\/blog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.rudyrucker.com\/blog\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/www.rudyrucker.com\/blog\/wp-json\/wp\/v2\/comments?post=507"}],"version-history":[{"count":0,"href":"https:\/\/www.rudyrucker.com\/blog\/wp-json\/wp\/v2\/posts\/507\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.rudyrucker.com\/blog\/wp-json\/wp\/v2\/media?parent=507"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.rudyrucker.com\/blog\/wp-json\/wp\/v2\/categories?post=507"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.rudyrucker.com\/blog\/wp-json\/wp\/v2\/tags?post=507"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}