Archive Cast Forum RSS Podcast Poll Results FAQ Search News Facebook Fan Art More Stuff Random 
1 {scene: Adam and Death of Inhaling Hatmaking Chemicals are walking across the Infinite Featureless Plane of Death.}
1 Adam: This Infinite Plane of Death With One Feature...?
1 Death of Inhaling Hatmaking Chemicals: YES, GUV?
1 Adam: What's its geometry?
2 Death of Inhaling Hatmaking Chemicals: A FFREEDIMENSIONAL RIEMANNIAN MANIFOLD WIFF A SLIGHT NONEUCLIDEAN CURVATURE.
3 Adam: Positive or negative?
3 Death of Inhaling Hatmaking Chemicals: POSITIVE, I FFINK...
4 Adam: Aha! So it's not infinite either!
First (1)  Previous (1279)  Next (1281)  Latest Rerun (778) 
Latest New (3328) First 5  Previous 5  Next 5  Latest 5 Mythbusters theme: First  Previous  Next  Latest  First 5  Previous 5  Next 5  Latest 5 Death theme: First  Previous  Next  Latest  First 5  Previous 5  Next 5  Latest 5 This strip's permanent URL: http://www.irregularwebcomic.net/1280.html
Annotations off: turn on
Annotations on: turn off

Hmmm... let me think about this one for a while...
Okay. Let's try this:
A manifold is basically a fancy formal mathematical treatment of what we would call "space" (in the sense of the volume we occupy and move around in, not outer space)*. A Riemannian manifold is just a manifold with a bunch of properties that make it nice in a formal mathematical sense, specifically which allow you to measure things like length and volume in a sensible way. (A Riemannian manifold is actually a simpler object to understand than a general manifold, because it behaves the way we intuitively think space should behave.)
Now, a manifold can either be Euclidean or NonEuclidean. These fancy words refer to the ancient Greek mathematician and geometer Euclid, who formulated pretty much all those rules of geometry you learnt and promptly forgot at school. The most important one for this discussion is the idea that parallel lines never meet or intersect. Pretty basic and obvious stuff, since parallel lines are always the same distance apart. If you're using Euclidean geometry, that is...
NonEuclidean geometry involves straight lines that stay the same distance apart if you look at them here, but if you look at them a few miles, or light years, down the road, they actually get closer together (or further apart). Not because they're drawn inaccurately or curved, but because the space (or the manifold) in which they exist is itself curved.
Think of it this way: If you have a pair of parallel lines that never intersect, and you want to make them intersect a few miles away, you can either curve the lines, or leave the lines straight and curve the space they pass through. Yes, it's basically as simple as that.
Now, if you're going to all this bother of curving space, there are two different directions you can curve it. You can curve it so the parallel lines intersect; this is called positive (or elliptical) curvature. You can also curve it the other way, so the parallel lines get further apart; this is called negative (or hyperbolic) curvature.
Still with me? We're nearly there. The interesting thing about space is that it goes forever. Ah... Well, it does if it's Euclidean (i.e. those parallel lines stay the same distance apart, remember). It also does if it's hyperbolic. But if it's elliptical, something odd happens. If you follow a straight line forever, eventually you "wrap around" and come back to where you started from, from the other direction. Seriously. Just like a video game.
What this means is, if you live in a manifold which has a positive nonEuclidean curvature, space is not infinite. Because no matter how far you travel, you never get more than a certain distance away from your starting position before you start getting closer again and eventually return.
The mindboggling thing is that all this isn't just mathematical gibberish. The space we actually live in is a Riemannian manifold. And it may well be curved. We're not sure if it is curved yet (and if so, positively or negatively), because if it is, then the curvature is so tiny that it's very difficult to measure. We can only measure it by looking at objects a really long way away. This is what some astronomers do... They make observations to try to measure the curvature of our universe.
If you ever wondered just what the heck astronomers are trying to achieve with their research funding  now you know.
* Manifolds don't have to be threedimensional like the space we're familiar with, but that's not important here.
Evidently Jamie forgot that you need deltapinched positive curvature to conclude that a surface is diffeomorphic to S^{2}. That is there are constants c and δ so that at every point the curvature k satisfiesNow, while I understood this, I wasn't quite sure how to explain it in simpler terms. Then I got another email from Daniel Bartlett of the University of Arizona:0 < δc < k < cConsider the paraboloid z = a(x^{2}+y^{2}), along with the obvious map from the xy plane up to it. Define a metric on the xy plane by pulling back the metric induced on the paraboloid by the standard Euclidean metric in R^{3}. This has everywherepositive curvature bounded above by 4a^{2}, but it gets arbitrarily small as you move out.Actually, that might make the origin a good place to put the desk...
It is possible to have a manifold with positive curvature everywhere, complete, and not compact, thus infinite. The only detail is that the curvature cannot have a positive lower bound  as you go out far enough, it approaches 0; if the curvature is bounded below by some positive constant, the manifold (and its universal cover) must be compact.This is a simpler explanation of the same thing. To put it as simply as I can express it, if the space is positively curved, but gets less curved as you move away from some central location, so that it gets closer to Euclidean but never quite actually reaches it, then it's possible to have the space be positively curved everywhere (by different amounts, depending on where you are) and still be infinite. The drawback of this is that there must be some central point where the curvature is a maximum, so the space wouldn't be uniform  and maybe this is where the Head Death's desk is.Of course, the "Infinite Featureless Plane of Death" looks fairly homogeneous, implying the same curvature everywhere, but it could simply be a very slight nonzero curvature, and it could vary, imperceptibly by human standards. And why should Deaths know differential geometry?
LEGO^{®} is a registered trademark of the LEGO^{®} Group of companies,
which does not sponsor, authorise, or endorse this site. This material is presented in accordance with the LEGO^{®} Fair Play Guidelines. 