Космология - Путаница по поводу визуализации Вселенной как поверхности 3-сферы

Рассмотрим метрику FRW для Вселенной в форме, которую можно найти во многих стандартных учебниках по космологии:

д с 2 "=" д т 2 + а ( т ) 2 ( д р 2 1 К р 2 + р 2 ( д θ 2 + грех 2 θ д ф 2 ) )

Я в замешательстве, что р , θ и ф представить в этой формуле. Например, некоторые тексты вводят эту тему, рассматривая 2-сферу, а не 3-сферу, которая описывается, когда К "=" 1 в формуле выше. Для 2-сферы у нас есть элемент пространственной линии:

д л 2 "=" д р 2 1 р 2 + р 2 д θ 2 ,

где р это расстояние точки на поверхности 2-сферы от г ось и θ это угол, который р делает с позитивом Икс -ось. Мне приходит в голову, что в данном случае мы по существу использовали цилиндрические координаты для описания точек на поверхности сферы. Затем мы можем связать р с грех х , где х это угол, который вектор положения точки на сфере составляет с положительной г ось.

Моя проблема возникает, когда мы распространяем этот аргумент на 3-сферу. Что именно теперь представляют параметры? Чтобы проиллюстрировать мою проблему: предположим, мы хотим вычислить объем сферы радиусом р 0 существующее на поверхности 3-сферы ( К "=" 1 Вселенная). Как бы мы это сделали, используя эту метрику? Элемент объема было бы достаточно легко записать, но для выполнения интегрирования нам нужно было бы знать, какие ограничения наложить на него. р , θ и ф . Это невыполнимая задача, если не понимать физического значения параметров в этом более общем случае.

Ответы (2)

Координаты общей сферы с центром в каком-то произвольном месте было бы довольно сложно зафиксировать в одном выражении. Но если вы рассматриваете сферу (я имею в виду 2-сферу, расположенную в 3-сферном многообразии), центр которой находится в начале координат, то ограничения просты: просто выберите одно значение для р и разреши θ и ф изменяются во всем диапазоне ( π и 2 π соответственно). Таким образом, вы можете очень легко получить площадь поверхности, а для объема вы бы сделали интеграл по р .

Чтобы определить местонахождение поверхности 2-сферы (в многообразии 3-сфер) в более общем виде, одним из способов было бы сначала указать местоположение ( р 0 , θ 0 , ф 0 ) для центра, а затем найти геометрическое место точек на фиксированном расстоянии от этого центра, интегрируя метрику по набору геодезических, идущих наружу от центра. Я уверен, что это алгебраически не самый простой путь, и действительно можно было бы использовать кучу приемов из дифференциальной геометрии, но, к сожалению, я их не знаю.

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

Меня в основном интересует трехсферное многообразие. Мы говорим о двух событиях, разделенных ( дельта т , дельта р , дельта θ , дельта ф ) , например, но что они на самом деле измеряют? Если мы обитаем на поверхности 3-сферы, что дельта р , например? Это радиальное расстояние от нас до другой точки на поверхности или расстояние от оси четвертого измерения до этой точки?
@wrb98 дельта р - расстояние в радиальных координатах от одного события до другого на/в 3-сферном многообразии в одно и то же время. т . Это не имеет ничего общего с чем-либо вне коллектора. Соответствующее собственное расстояние равно а дельта р / 1 К р 2 .

Общая элементарная координация 2 -сфера радиуса р использует два угла ( θ , ф ) как (со)широта и долгота. Если мы вложим сферу в р 3 , то точки ( Икс , у , г ) на поверхности принимают вид

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

Если мы ограничим θ е ( 0 , π ) и ф е ( 0 , 2 π ) , то это представляет собой координатную карту, которая охватывает все 2 -сфера кроме полюсов и линии ф "=" 0 что их связывает. На этой диаграмме метрика имеет вид

д с 2 "=" р 2 ( д θ 2 + грех 2 ( θ ) д ф 2 )


Альтернативный подход заключается в следующем. Вместо использования полярного угла θ в качестве координаты мы можем использовать расстояние от г -ось, заданная р грех ( θ ) , который мы будем называть р . Эквивалентно, р длина окружности с центром на северном полюсе, деленная на 2 π . Обратите внимание, что на этой диаграмме мы можем охватить только северное (или южное) полушарие сферы, но это нормально. Встраивание 2 -сфера в р 3 , мы бы хотели иметь

( Икс у г ) "=" ( р потому что ( ф ) р грех ( ф ) р 2 р 2 )
На этой диаграмме метрика имеет вид
д с 2 "=" 1 1 к р д р 2 + р 2 д ф 2 , к 1 р

Это должно выглядеть знакомо.


Расширения для 3 -сфера прямолинейна. Вложение «сферическая координата» использует три угла ψ , θ , ф и принимает вид

( Икс у г ж ) "=" ( р грех ( ψ ) грех ( θ ) потому что ( ф ) р грех ( ψ ) грех ( θ ) грех ( ф ) р грех ( ψ ) потому что ( θ ) р потому что ( ψ ) )

определение р р грех ( ψ ) , это становится

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

и на этом графике метрика принимает вид

д с 2 "=" 1 1 к р д р 2 + р 2 ( д θ 2 + грех 2 ( θ ) д ф 2 )
где еще раз к 1 / р .


Моя проблема возникает, когда мы распространяем этот аргумент на 3-сферу. Что именно теперь представляют параметры?

В двумерном случае множество точек, равноудаленных от начала координат, образует (обобщенную) окружность (а 1 -сфера); координата р длина окружности этого круга, деленная на 2 π . Это не радиус круга, несмотря на обманчивое название.

Обобщая на трехмерный случай, множество точек, равноудаленных от начала координат, составляет 2 -сфера; координата р теперь представляет собой площадь поверхности этой сферы, деленную на 4 π . Это такая же интерпретация, как, например, «радиальная» координата Шварцшильда.

Как только вы выбрали несколько р , вы ограничили свое внимание 2 -сфера точек, находящихся на одинаковом расстоянии от начала координат. Углы θ и ф указать точку на этом 2 -сферу именно так, как это обычно делают в элементарных сферических координатах.

Чтобы проиллюстрировать мою проблему: предположим, мы хотим вычислить объем сферы радиусом р 0 который существует на поверхности 3-сферы (K=1 Вселенная). Как бы мы это сделали, используя эту метрику?

Площадь поверхности сферы радиусом р просто 4 π р 2 , что непосредственно следует из приведенной выше интерпретации. Объем шара радиуса р 0 тогда прямо

В "=" 0 р 0 4 π р 2 1 1 к р д р "=" 4 π к р 0 ( к р 0 + 2 ) + 2 бревно ( 1 к р 0 ) 2 к 3
что сводится к 4 π р 0 3 3 в пределе как к р 0 0 , как и ожидалось.

Я не думаю, что это отвечает на мой вопрос. Скорее, это просто перефразирование того, о чем я уже говорил, и на самом деле не затрагивается ни один из поднятых мною вопросов. В частности, отсутствие физической интерпретации для р дается во втором случае, ни даже для ψ .
@ wrb98 Я расширил свой ответ, чтобы более подробно ответить на ваши вопросы.
Я думаю, что это немного больше иллюстрирует мою проблему: предположим, вы наблюдаете за объектом на фиксированном сопутствующем расстоянии. С К ( х ) прочь. Тогда из метрики, почему площадь сферы с центром на вас и проходящей через этот объект не С К ( х ) 2 д Ом 2 , в отличие от р 2 д Ом 2 ?
@ wrb98 Потому что пространство не плоское. Если вы рассматриваете двумерный случай, круг (с центром на северном полюсе) представляет собой линию постоянной широты. Этот круг имеет радиус р (задается расстоянием по сфере до северного полюса) и окружностью С (расстояние по окружности), но они не связаны через С "=" 2 π р именно потому, что поверхность сферы не плоская. Однако, если мы пометим окружность р "=" С 2 π скорее, чем р , то его длина окружности С "=" 2 π р по определению.
Мое замешательство возникло при просмотре пункта 1 на странице 13 physics.bu.edu/~schmaltz/PY555/baumann_notes.pdf , в котором используется д м 2 "=" С К ( х ) 2 как множитель телесного угла в пространстве-времени FRW. Это ошибка?
@ wrb98 Точно так же и здесь соотношение между площадью поверхности А шара и его радиус р только А "=" 4 π р 2 в плоском пространстве. В общем искривленном пространстве соотношение между А и р отличается точно по той же причине, что и в упомянутом выше 2D-примере. Определение координат р "=" А 4 π составляет площадь поверхности А "=" 4 π р 2 по определению; выражая его через радиус р можно сделать, заметив, что р ( р ) "=" 0 р д р 1 к р "=" 1 к бревно ( 1 1 к р ) р "=" 1 е к р к .
Однако кажется, что ниже на этой странице (см. первый пункт ниже «В пространстве-времени FRW этот результат изменен по трем причинам») предполагается, что это верно в другом месте (не только в евклидовом пространстве), и автор дает 4 π д м 2 как площадь поверхности, а не 4 π р 2 . Это ошибка в документе?
@ wrb98 Нет. Если вы посмотрите на метрику (1.1.21), она не использует координаты, о которых вы спрашиваете в этом вопросе. х - истинный радиус (расстояние до начала координат), а С ( х ) 2 площадь 2-сферы, деленная на 4 π выражается как функция х . Если к "=" 0 , затем С к ( х ) "=" х , но в целом отношения более сложные, см. мой предыдущий комментарий.