While spacetime might not have an infinite set of *events*, countable or uncountable, the tangent space is constructed via a *vector space* with at least a countable number of *elements*. To see this, consider velocity vectors with rational velocities AG
On Tuesday, September 3, 2024 at 6:56:27 AM UTC-6 John Clark wrote: > On Sat, Aug 31, 2024 at 10:48 PM Alan Grayson <[email protected]> wrote: > > * > please explain how the metric tensor can be defined unambiguously at >> some point P on the underlying manifold, spacetime, if there is an >> uncountable set of pairs on a vector space on the tangent space at some >> point P on which the metric tensor is defined* > > > > If, as I suspect, your interest is physics and not pure mathematics then > it's a non-issue. The fact is nobody is even sure that 4D space-time > contains an infinite number of points, for all we know it may only contain > an astronomical number to an astronomical power number of points. That's > undoubtedly a very big number but it's no closer to being infinite than the > number one is. > > And even if 4D space-time does contain an uncountabley infinite number of > points, if you simplify your physical theory by assuming there is only a > countably infinite number of points it will have a negligible effect on > your theory; that is to say you could make the discrepancy between what > your theory predicts will happen and what you actually observed to happen > in experiments to be arbitrarily small. I am not aware of any physical > theory in which the difference between countable infinity and uncountable > infinity leads to different experimentally testable predictions. > > John K Clark See what's on my new list at Extropolis > <https://groups.google.com/g/extropolis> > n4x > > > > > > > -- You received this message because you are subscribed to the Google Groups "Everything List" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/c52d31ae-e82f-4ef8-b2c0-9d3faad50631n%40googlegroups.com.
