by quickfur » Thu Sep 03, 2009 8:21 pm
The problem with making the quantum leap from a finite number of dimensions (even if the number if really, really, large, such as Graham's Number, say) to an actual, infinite number of dimensions, is that many geometrical properties break down, and if you wish to conserve them, you would need an extended number system that can deal with infinite quantities in a geometrically-consistent way.
A very simple example is this: what is the distance from the center of an infinite-dimensional cube to one of its vertices? Assuming a unit cube, the coordinates of the vertex would be (1,1,1,1,...). The distance is thus infinite: the square root of 1+1+1+1+... . OK, this is to be expected, since we have an infinite number of dimensions. No problem, right? Now consider what happens if we rotate this cube, such that the vector from its center to its vertex is now parallel to the vertical axis. What are the new coordinates of this vertex now? According to the geometrical interpretation, it should be of the form (X,0,0,0,0, ...), assuming we assign the first coordinate to be vertical. It should be clear that X has to be infinite. Now we have a problem: since X is infinite, that means if we want our space to be geometrically consistent, we need to allow infinite-valued coordinates, since otherwise, we've somehow managed to rotate part of the cube out of the space it resides in!
So this means that simply allowing an infinite number of real-valued coordinates does not yield a space with consistent geometrical properties. The only way to have a consistent infinite-dimensional space is to also allow infinite values in its coordinates. No problem; since we're going infinite-dimensional, why not also go for infinite coordinates, right?
The only problem is, now we get ourselves into a much more messy tangle. We cannot simply use any system of infinite numbers for our coordinates; in order to get consistent geometrical properties, the number system must satisfy certain criteria. First of all, the number system must be a field, since otherwise we get a lot of strange properties that precludes a consistent geometry. Another particularly important property is that infinite sums of positive numbers must always have a limit. However, here we run into a roadblock: a theorem by G.A. Edgar shows that if commutativity of addition holds, then if a sequence N of natural numbers converges to some infinite L, the sequence (N+1) must also converge to L. So we have L = L+1 by continuity of addition, and, since we are in a field, we can subtract L from both sides and get a contradiction: 0 = 1.
In other words, there is no possible number system with infinite quantities that also has the properties we need to have a consistent geometry of space. Consequently, any space that has an infinite number of dimensions will also have some counterintuitive, bizarre property that we don't normally admit in a geometrical system. An example of such a property is that some lengths are incomparable: i.e., in finite-dimensional space, if you are given two line segments L1 and L2, either L1 is shorter, or L2 is shorter, or they are equal in length. However, once infinite coordinates come into play, it's possible that L1 is neither longer nor shorter than L2, but they aren't the same length either! This means that it's impossible to rotate certain vectors to be parallel to another vector (since otherwise we simply rotate the endpoints of L1 and L2 to be parallel to (1,0,0,0,...) and then compare the first coordinates). In other words, rotation is defective in such a space. Another, even more pathological property, is that the length of a line segment changes depending on which coordinate you sum first when computing its norm. Or, geometrically-speaking, reflecting the line across a certain set of coordinate planes causes its length to change. This is very un-geometrical, since reflections are supposed to preserve length!
The upshot of all this, is that while the idea of an infinite-dimensional space is certainly tempting, it is either impossible, or has such bizarre properties that we can hardly call it a geometry.