Какова метрика стандартного неориентируемого во времени пространства-времени?

Если вы читали любую топологию пространства-времени, вы знаете это пространство-время. Это удивительный вращающийся световой конус, идентифицированный после половины оборота. И помимо пространства Де Ситтера с некоторыми отождествлениями, это единственное когда-либо описанное не ориентированное во времени пространство-время.

Вот, например, в Вальде:

введите описание изображения здесь

А вот и в Санчесе :

введите описание изображения здесь

Однако это никогда не описывается явно. Очевидно из топологии р × С , но помимо этого, кто угодно может догадаться, что это за метрика на самом деле.

Санчес на самом деле почти дает метрику, давая нам скалярные произведения:

Икс 1 "=" потому что ( π Икс ) Икс + грех ( π Икс ) т
Икс 2 "=" грех ( π Икс ) Икс + потому что ( π Икс ) т
г ( Икс 1 , Икс 2 ) "=" 1
г ( Икс 1 , Икс 1 ) "=" г ( Икс 2 , Икс 2 ) "=" 0

Что значит

грех ( π Икс ) потому что ( π Икс ) г Икс Икс + грех ( π Икс ) потому что ( π Икс ) г т т + ( потому что 2 ( π Икс ) грех 2 ( π Икс ) ) г т Икс "=" 1

потому что 2 ( π Икс ) г Икс Икс + грех 2 ( π Икс ) г т т + 2 потому что ( π Икс ) грех ( π Икс ) г т Икс "=" 0

грех 2 ( π Икс ) г Икс Икс + потому что 2 ( π Икс ) г т т 2 потому что ( π Икс ) грех ( π Икс ) г т Икс "=" 0

Суммируя последние два, это дает нам

г Икс Икс "=" г т т

Так

2 грех ( π Икс ) потому что ( π Икс ) г т т + ( потому что 2 ( π Икс ) грех 2 ( π Икс ) ) г т Икс "=" 1

( потому что 2 ( π Икс ) + грех 2 ( π Икс ) ) г т т + 2 потому что ( π Икс ) грех ( π Икс ) г т Икс "=" 0

( грех 2 ( π Икс ) + потому что 2 ( π Икс ) ) г т т 2 потому что ( π Икс ) грех ( π Икс ) г т Икс "=" 0

Поскольку световой конус и, следовательно, направление времени и пространства вращаются, мой инстинкт подсказывает мне поставить г т т "=" потому что ( π Икс ) . Тогда определитель показателя будет потому что 2 ( π Икс ) г т Икс 2 . Чтобы сохранить подпись, это означает потому что 2 ( π Икс ) < г т Икс 2 . Если я использую этот анзац,

г т Икс "=" 2 грех ( π Икс ) потому что ( π Икс ) 2 + 1 ( потому что 2 ( π Икс ) грех 2 ( π Икс ) )

г т Икс "=" ( потому что 2 ( π Икс ) грех 2 ( π Икс ) ) 2 грех ( π Икс )

Быстрое построение графика говорит мне, что это не одни и те же функции. Любые идеи, какой будет фактическая метрика?

Ответы (2)

Вы можете получить ответ довольно быстро, сначала решив для Икс и т с точки зрения Икс 1 и Икс 2 . Для упрощения обозначений пусть с "=" потому что π Икс и с "=" грех π Икс . Легко распознать отношение между двумя парами векторов как вращение, поэтому вы можете просто записать обратное,

( Икс т ) "=" ( с с с с ) ( Икс 1 Икс 2 ) .

Теперь мы можем просто вычислить компоненты метрики:

г Икс Икс "=" г ( Икс , Икс ) "=" г ( с Икс 1 с Икс 2 , с Икс 1 с Икс 2 ) "=" 2 с с г ( Икс 1 , Икс 2 ) "=" 2 с с .
Здесь мы использовали это г ( Икс 1 , Икс 1 ) "=" г ( Икс 2 , Икс 2 ) "=" 0 , г ( Икс 1 , Икс 2 ) "=" 1 .

Аналогично следуют остальные компоненты

г Икс т "=" г ( с Икс 1 с Икс 2 , с Икс 1 + с Икс 2 ) "=" с 2 с 2 г т т "=" г ( с Икс 1 + с Икс 2 , с Икс 1 + с Икс 2 ) "=" 2 с с .

Не используйте свои инстинкты. Для фиксированного Икс у вас есть линейная система из трех уравнений с тремя неизвестными. Решать.