В том частном случае, когда трёхмерное пространство трансверсальное четырёхскорости вложимо в пространство событий, то есть существует трёхмерная гиперповерхность,
А это "трёхмерное пространство" всегда существует? Как трёхмерное многообразие, пусть и не вложимое в четырехмерие, а не как просто набор трансверсальных подпространств в касательных пространствах для точек вдоль линии?
На сколько хватает моих познаний в области математики, "оно" существует не в виде
риманова многообразия, а в виде чуток более нетривиального математического объекта под названием -
пространственное распределение (см. Сарданашвили Современные методы теории поля, том 5, Гравитация, глава про пространственно-временную структуру).
Смысл примерно такой. Вот если бы у нас было трёхмерное
риманово многообразие, то было бы и его (ко)касательное пространство [расслоение] с базисом из трёх (ко)касательных (ко)векторных полей

,

,

. Много интересных формул (например формула для трёхмерной метрики

) записываются через эти три (ко)касательных векторных поля.
Так вот, а теперь рассмотрим четырёхмерное пространство событий, на котором введём три единичных пространственно подобных ковекторных поля

Здесь координаты

- четырёхмерные.
Так вот, эта тройка полей

,

,

задаёт на четырёхмерном пространстве событий трёхмерное
пространственное распределение. С этой тройкой полей иногда можно обращаться так как будто они являются базисными ковекторами кокасательного пространства того самого "физического" трёхмерного пространства (даже не смотря на то, что это трёхмерное пространство в общем случае не может быть вложением в четырёхмерное пространство событий).
В частном случае может оказаться так, что оно всё таки вложимо, тогда оно существует как трёхмерная гиперповерхность в пространстве событий и

,

,

- три базисных ковектора кокасательного пространства этой гиперповерхности. Трёхмерная метрика построенная по ним в точности совпадает с трёхмерной индуцированной метрикой этой гиперповерхности. В этом случае
пространственное распределение становится пространственным слоением, листы - гиперповерхности.
Короче говоря, трёхмерное "
физическое пространство" иногда представимо как трёхмерное
риманово многообразие, но в общем случае оно всё таки является вовсе не римановым многообразием, а трёхмерным
пространственным распределением.
Ну а трансверсальность трёхмерного
пространственного распределения времени-подобному векторному полю четырёхскосрости

- это уже специфика ("определение", "по-построению") четырёхмерного пространства событий.
И, кстати, нет никакой гарантии, что это знание "окончательное". В будущем наверное обнаружат, что в каком-то ещё более общем смысле "
физическое пространство" окажется не
пространственным распределением, а каким-то ещё более хитрым объектом...