- 3,732

- 1,355

" [the constant-time hypersurface of a FLRW spacetime with k=-1 (hyperbolic)] is not realisable as a three-dimensional hypersurface in a four- or higher-dimensional Euclidean space."

On the face of it, this appears to contradict the Strong Whitney Embedding Theorem, which states that :

"any smooth m-dimensional manifold (required also to be Hausdorff and second-countable) can be smoothly embedded in Euclidean 2m-space, if m>0. "

So it should be possible to embed the constant-time hypersurface in Euclidean space of six dimensions, if not less.

Have I misunderstood either Schutz or Whitney here, or is Schutz just wrong?