В общей теории относительности , то метрический тензор (в этом контексте часто сокращенно просто метрика ) является основным объектом изучения. Он может свободно рассматривать как обобщение гравитационного потенциала в ньютоновской гравитации . [ Требуется уточнение ] Метрические фиксирует всю геометрическая и причинная структура из пространства - времени , которые используются для определения понятия , таких как время, расстояние, объем, кривизна, угол, и отделение прошлого и будущего.
Обозначения и соглашения
В этой статье мы работаем с метрической сигнатурой, которая в основном положительна ( - + + + ); см. соглашение о знаках . Постоянная гравитации будет оставаться явным. В этой статье используется соглашение Эйнштейна о суммировании , при котором повторяющиеся индексы автоматически суммируются.
Определение
Математически пространство-время представлено четырехмерным дифференцируемым многообразием и метрический тензор даются как ковариантные , второе степени , симметричный тензор на, условно обозначаемый . Кроме того, требуется, чтобы метрика была невырожденной с сигнатурой (- + + +) . Многообразиес такой метрикой является типом лоренцевых многообразий .
Явный, метрический тензор является симметричной билинейной формой на каждое касательное пространстве изкоторый плавно (или дифференцируемо) меняется от точки к точке. Учитывая два касательных вектора а также в какой-то момент в , показатель можно оценить на а также чтобы дать действительное число:
Это обобщение скалярного произведения обычного евклидова пространства . В отличие от евклидова пространства, где скалярное произведение положительно определено, метрика не определена и придает каждому касательному пространству структуру пространства Минковского .
Локальные координаты и матричные представления
Физики обычно работают в локальных координатах (т.е. координаты , определенные на некоторую локальную заплату из). В местных координатах (где - индекс от 0 до 3) метрику можно записать в виде
Факторы - однократные градиенты скалярных координатных полей. Таким образом, метрика представляет собой линейную комбинацию тензорных произведений однотипных градиентов координат. Коэффициенты представляют собой набор из 16 действительных функций (поскольку тензор - тензорное поле , которое определено во всех точках пространственно-временного многообразия). Чтобы метрика была симметричной, мы должны иметь
давая 10 независимых коэффициентов.
Если локальные координаты указаны или поняты из контекста, метрика может быть записана как симметричная матрица 4 × 4 с элементами. Невырожденностьозначает, что эта матрица невырожденна (т.е. имеет не равный нулю определитель), а лоренцева сигнатура матрицыозначает, что матрица имеет одно отрицательное и три положительных собственных значения . Обратите внимание, что физики часто ссылаются на эту матрицу или координатысами по себе как метрика (см., однако, обозначение абстрактного индекса ).
С количествами будучи рассматриваемой как компоненты бесконечно малого четырехвектора смещения координат (не путать с единичными формами того же обозначения выше), метрика определяет инвариантный квадрат бесконечно малого линейного элемента , часто называемого интервалом . Интервал часто обозначают
Интервал передает информацию о причинной структуре пространства-времени . Когда, интервал времениподобный и квадратный корень из абсолютного значения- инкрементное собственное время . Только времениподобные интервалы может физически пройти массивный объект. Когдаинтервал подобен свету, и его могут пройти только (безмассовые) объекты, движущиеся со скоростью света. Когда, интервал пространственноподобен и квадратный корень из действует как инкрементная собственная длина . Пространственноподобные интервалы пересечь невозможно, поскольку они соединяют события, находящиеся вне световых конусов друг друга . События могут быть причинно связаны, только если они находятся в пределах световых конусов друг друга.
Компоненты метрики зависят от выбора локальной системы координат. При смене координаткомпоненты метрики преобразуются как
Примеры
Плоское пространство-время
Простейшим примером лоренцевого многообразия [ требуется пояснение ] является плоское пространство-время , которое может быть задано как R 4 с координатами [ требуется пояснение ] и метрика
Обратите внимание, что эти координаты фактически покрывают все R 4 . Метрика плоского пространства (или метрика Минковского ) часто обозначается символом η и является метрикой, используемой в специальной теории относительности . В приведенных выше координатах матричное представление η имеет вид
(Альтернативное соглашение заменяет координату от , и определяет как в пространстве Минковского § Стандартный базис .)
В сферических координатах , метрика плоского пространства принимает вид
где
стандартная метрика на двумерной сфере [ требуется пояснение ] .
Метрики черной дыры
Метрика Шварцшильда описывает незаряженную невращающуюся черную дыру. Есть также метрики, описывающие вращающиеся и заряженные черные дыры.
Метрика Шварцшильда
Помимо метрики плоского пространства, наиболее важной метрикой в общей теории относительности является метрика Шварцшильда, которая может быть задана в одном наборе локальных координат следующим образом:
где опять же стандартная метрика на двумерной сфере . Здесь,это константа гравитации и- постоянная с размерами массы . Его вывод можно найти здесь . Метрика Шварцшильда приближается к метрике Минковского какстремится к нулю (за исключением начала координат, где он не определен). Аналогично, когда стремится к бесконечности, метрика Шварцшильда приближается к метрике Минковского.
С координатами
мы можем записать метрику как
Некоторые другие системы координат были разработаны для метрики Шварцшильда: координаты Эддингтона-Финкельштейн , координаты Голстранда Пенлеве , координата Крускала-Шекерес и координата Леметра .
Вращающиеся и заряженные черные дыры
Решение Шварцшильда предполагает объект, который не вращается в пространстве и не заряжается. Чтобы учесть заряд, метрика должна удовлетворять уравнениям Эйнштейна Поля, как и раньше, а также уравнениям Максвелла в искривленном пространстве-времени. Заряженная невращающаяся масса описывается метрикой Рейсснера – Нордстрема .
Вращающиеся черные дыры описываются Керра метрикой а Керра-Ньюмена метрики . [ требуется дальнейшее объяснение ]
Другие показатели
Другие примечательные показатели:
- Метрика Алькубьерре ,
- показатели де Ситтера / анти-де Ситтера ,
- Метрика Фридмана – Лемэтра – Робертсона – Уолкера ,
- Изотропные координаты ,
- Метрика Лемэтра – Толмена (также известная как метрика Бонди [ требуется пояснение ] ),
- Метрика Переса ,
- Координаты Риндлера ,
- Координаты Вейля-Льюиса-Папапетру ,
- Метрика Гёделя .
Некоторые из них не имеют горизонта событий или могут быть без гравитационной сингулярности .
Объем
Метрика g индуцирует естественную форму объема (с точностью до знака), которую можно использовать для интегрирования по области многообразия. Учитывая локальные координаты для многообразия форму объема можно записать
где - определитель матрицы компонент метрического тензора для данной системы координат.
Кривизна
Метрика полностью определяет кривизну пространства-времени. Согласно основной теореме римановой геометрии , на любом полуримановом многообразии существует единственная связность ∇ , согласованная с метрикой и не имеющая кручения . Эта связь называется связью Леви-Чивита . Эти символы Кристоффеля этой связи приведены в терминах частных производных метрики в локальных координатах по формуле
(где запятые обозначают частные производные ).
Кривизна пространства-времени тогда задается тензором кривизны Римана, который определяется в терминах связности Леви-Чивиты ∇. В локальных координатах этот тензор имеет вид:
Тогда кривизна выражается чисто в терминах метрики и его производные.
Уравнения Эйнштейна
Одна из основных идей общей теории относительности состоит в том, что метрика (и связанная с ней геометрия пространства-времени) определяется материей и энергетическим содержанием пространства-времени . Полевые уравнения Эйнштейна :
где тензор кривизны Риччи
и скалярная кривизна
свяжут метрику (и соответствующие тензоры кривизны) с тензором энергии-импульса . Это тензорное уравнение представляет собой сложную систему нелинейных уравнений в частных производных для компонентов метрики. Точные решения уравнений поля Эйнштейна найти очень сложно.
Смотрите также
- Альтернативы общей теории относительности
- Основное введение в математику искривленного пространства-времени
- Математика общей теории относительности
- Исчисление Риччи
Рекомендации
- Список ссылок см. В ресурсах по общей теории относительности .