selfAdjoint said:
It could be bounded, within the definition of compact, provided it included the boundary. What it can't be is open. Compact requires every infinite sequence of points to have a cluster point (the advanntage of "compact" is that you don't have to say "bounded sequence"; the topology bounds it for you). So in a flat or hyperbolic universe you could define a sequence going "out to infinity" wth each point a fixed step away from all the preceding ones, so it would never cluster.
Since we tend to assume the universe has no boundary, we also tend to skip over the fine points of the definition.
Thank you
compact = not open; finite.
The qualifier "unbounded" is not necessary.
Garth
Alkatran Alternatively Use a cylinder instead.
The long axis represents the time axis and the circumference represents space.
Have two pins on the outer surface at either end and connect with two elastic strings, one of which is straight between the pins and the other twists round the cylinder between the two.
Allow one end of the cylinder to be rotated relative to the other end.
The straight string represents the world-line of a 'stationary' observer and the twisted string a moving observer. Obviously the model is set up in the frame of reference of the first observer. If we rotate the cylinder the twisted string can be made straight and the other now twists around the cylinder. We are now in the frame of the second observer.
You cannot straighten out both strings, there is always a difference of one complete twist between them, this is the 'winding number’, which is a topological invariant.
However how do you tell the difference between the two? As we have set it up you cannot, each scenario is equivalent to the other and there is no preferred frame or observer. However in a real closed or 'compact space' universe one observer will definitely have run up a longer elapsed time between encounters than the other, her frame can therefore be said to be 'preferred'.
My point is that this preferred frame is introduced by the presence of mass in the universe. It is the distribution of matter in motion that determines this special frame of reference and that is in accordance with Mach's Principle rather than those of Einstein's relativity.
JesseM A 'physical' coordinate system, as opposed to a
merely 'mathematical' one, is defined by a system based on physical measurements, i.e. scales, clocks and rulers. Nothing you have said has convinced me that this paradox does not reveal an inconsistency in GR. The observer is in a physical preferred frame in the sense that it is determined by the measurement of her clock.
Garth