WikiDer > Мировое многообразие

World manifold

В теория гравитации, а мировое многообразие наделен некоторыми Лоренциан псевдориманова метрика и связанная с ним пространственно-временная структура - это пространство-время. Теория гравитации формулируется как классическая теория поля на натуральные пучки над мировым многообразием.

Топология

Мировое многообразие - это четырехмерное ориентируемый настоящий гладкое многообразие. Предполагается, что это Хаусдорф и второй счетный топологическое пространство. Следовательно, это локально компактное пространство которое представляет собой объединение счетного числа компактных подмножеств, a отделяемое пространство, а паракомпакт и полностью регулярное пространство. Будучи паракомпактным, мировое многообразие допускает разбиение единицы гладкими функциями. Паракомпактность - важнейшая характеристика мирового многообразия. Это необходимо и достаточно для того, чтобы мировое многообразие допускало Риманова метрика и необходим для существования псевдоримановой метрики. Предполагается, что мировое многообразие связаны и, следовательно, это соединенный по дуге.

Риманова структура

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

Касательные и реперные расслоения над мировым многообразием натуральные пучки был характеризован общековариантные преобразования. Эти преобразования калибровочные симметрии теории гравитации на мировом многообразии.

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

Лоренцева структура

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

Нет необходимости в лоренцевой структуре. Следовательно, предполагается, что мировое многообразие удовлетворяет определенному топологическому условию. Это либо некомпактное топологическое пространство, либо компакт с нулем Эйлерова характеристика. Обычно также требуется, чтобы мировое многообразие допускало спинорная структура чтобы описать Фермионные поля Дирака в теории гравитации. Существует дополнительное топологическое препятствие к существованию этой структуры. В частности, некомпактное мировое многообразие должно быть распараллеливаемым.

Пространственно-временная структура

Если структурная группа комплекта кадров сводится к группе Лоренца, последняя всегда сводится к своей максимальной компактной подгруппе . Таким образом, существует коммутативная диаграмма

редукции структурных групп пучка кадров теория гравитации. Эта диаграмма редукции приводит к следующему.

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

(ii) Учитывая указанную выше диаграмму редукции структурных групп, пусть и - соответствующие псевдориманова и риманова метрики на . Они образуют тройку подчиняясь отношению

.

Наоборот, пусть мировое многообразие признать никуда не исчезающийон-форма (или, что то же самое, векторное поле, которое никуда не исчезает). Тогда любая риманова метрика на дает псевдориманову метрику

.

Отсюда следует, что мировое многообразие допускает псевдориманову метрику тогда и только тогда, когда существует нигде не исчезающее векторное (или ковекторное) поле на .

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

Однако кто-то пытается вывести топологию мира непосредственно из пространственно-временной структуры ( топология пути, Топология Александрова). Если пространство-время удовлетворяет условие сильной причинности, такие топологии совпадают с известной топологией многообразия мирового многообразия. Однако в общем случае они довольно необычны.

Условия причинности

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

Устойчивая причинность не дает простейшей причинной структуры. Если расслоенное многообразие расслоение, оно тривиально, т. е. мировое многообразие это глобально гиперболическое многообразие . Поскольку любое ориентированное трехмерное многообразие распараллеливаемо, глобально гиперболическое мировое многообразие распараллеливается.

Смотрите также

Рекомендации

  • С.В. Хокинг, G.F.R. Эллис, Крупномасштабная структура пространства-времени (Cambridge Univ. Press, Кембридж, 1973) ISBN 0-521-20016-4
  • C.T.G. Додсон, Категории, связки и топология пространства-времени (Shiva Publ. Ltd., Орпингтон, Великобритания, 1980 г.) ISBN 0-906812-01-1

внешняя ссылка