Определяется ли пространство в общей теории относительности, даже если оно лишено какой-либо энергии?

Говорят, что общая теория относительности не зависит от фона . Можем ли мы, тем не менее, думать о совершенно пустом пространстве (лишенном какой-либо энергии) так, как если бы оно было снабжено эластичной трехмерной тканью, кубической сеткой, кубы которой везде имеют одинаковый размер, пока оно остается пустым, и что оно вставка материи, локализуемой энергии, которая локально искажает эту ткань, что заставляет пространство-время искривляться в своей окрестности?

(Хотя можно сказать, что поскольку пустое пространство заполнено однородной вакуумной энергией (расчетная плотность которой на 120 порядков больше, чем следует из наблюдений), пустого пространства не существует; поскольку Эйнштейн не знал о существовании такой энергии в то время, когда он сформулировал свою теорию - хотя он предположил ее существование - космологическую постоянную - он добавил ее как запоздалую мысль, а не как что-то существенное для общей теории относительности - вопрос остается прежним - и лемма Википедии «аргумент дыры» тоже не очень понятно по этому поводу).

Я не уверен, почему у этого есть близкие голоса. Как показывают ответы, это разумный вопрос с нетривиальным ответом.

Ответы (2)

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

(Между прочим, есть очень хорошее обсуждение того, что мы подразумеваем под многообразием в ответах на Что такое многообразие? )

Если у нас есть некоторое распределение материи/энергии, описываемое тензором энергии-импульса Т тогда мы получим метрику г решая уравнение Эйнштейна:

р мю ν 1 2 р г мю ν "=" 8 π г с 4 Т мю ν

А если нет материи или энергии, это упрощается до уравнения вакуума:

р мю ν 1 2 р г мю ν "=" 0

И это имеет ряд решений, которые обычно называют вакуумными решениями . Несмотря на то, что энергия материи везде равна нулю, эти решения все же могут иметь энергию, называемую энергией АДМ . Например, черная дыра Шварцшильда на самом деле является вакуумным раствором, а массовый член М в метрике на самом деле масса АДМ. Вакуумное решение с нулевой энергией АДМ — это просто плоское пространство-время, т. е. метрика Минковского.

Подводя итог: если мы требуем, чтобы тензор энергии-импульса был равен нулю везде, и мы требуем, чтобы энергия АДМ была равна нулю, мы все равно получаем совершенно хорошее пространство-время, то есть пространство-время Минковского. Единственное предположение, которое мы сделали, состоит в том, что многообразие существует, но это предположение лежит в основе всей ОТО. Итак, ответ на ваш вопрос заключается в том, что да, пространство-время существует даже в отсутствие материи и энергии.

Я думаю, что решение Шварцшильда является вводящим в заблуждение примером вакуумного решения именно потому, что оно имеет ненулевую массу (и сингулярность). Разве гравитационные волны не были бы лучшим примером?

В дополнение к тому, что @John Rennie уже объяснил, можно исследовать «лишенный какой-либо энергии» в контексте модели FRW. Установка безразмерных плотностей Ом я "=" 0 получается решение а ( т ) "=" ЧАС 0 т , что означает, что сопутствующие объекты удаляются друг от друга с постоянной скоростью (уже из второго уравнения Фридмана следует, что ускорение в этом случае равно нулю). Интересно, что «пустая FRW-вселенная» эквивалентна преобразованием координат (см. главу 4 в диссертации Тамары Дэвис) вселенной Милна, расширяющей пространство-время Минковского.

Метрика Милна — это просто метрика Минковского в ускоряющих координатах. Если вы вычислите тензор кривизны Римана для метрики Милна, вы обнаружите, что он равен нулю.
Я не уверен, как рассчитать это из метрики. Ясно, что если энергии напряжения нет, то тензор кривизны Римана равен нулю.
Не правда! Для метрики Шварцшильда тензор энергии-импульса везде равен нулю, но тензор Римана не равен нулю.
Да, пространство-время Шварцшильда искривлено. Говоря об «отсутствии энергии напряжения», я должен был добавить, что я имею в виду пустую Вселенную FRW, соответственно, плоскую вселенную Милна.
@John, @ timm: это (и ваша ссылка на «Что такое многообразие?») полезно, спасибо! Я еще не знаю, отвечает ли это на мой вопрос, но это дает мне пищу для размышлений.
@timm, вы должны уточнить, что это решение с параметром кривизны к "=" 1 (в единицах ЧАС 0 / с ). Для плоских гиперповерхностей а постоянна, и у вас есть пространство-время Минковского.
@timm измените свое утверждение выше на тензор Риччи, и вы будете правы.
Сандро, справа, с Ом я "=" 0 Вы получаете ЧАС 0 2 "=" К с 2 что требует К "=" 1
Сандро, "замените свое утверждение выше на тензор Риччи, и вы будете правы". Я не уверен, что понимаю тебя здесь. Искривление пространства-времени задается тензором Риччи (который, небрежно говоря, контролирует громкость) в случае, если тензор энергии-импульса не равен нулю. Во вселенной Милна пространство искривлено, а пространство-время — нет, потому что тензор энергии-импульса равен нулю.