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