Меня смущает один вопрос ОТО, почему мы всегда можем выразить геометрию пространства-времени только метрикой. Это означает, что метрика, которая примерно равна расстоянию в касательном пространстве, может сообщить нам всю информацию о многообразии.
Я знаю, что есть стандартные доказательства, например, мы можем выразить связь через метрику и, следовательно, кривизну Римана. Однако я не очень удовлетворен этими ответами. Мне все еще нужна более прямая причина для этого.
Насколько я понимаю, метрика просто определяет расстояние, длину касательных векторов, однако кривизна Римана, на мой взгляд, говорит нам больше, например, чем прямая отличается от прямой и как вектор движется по замкнутому пути. .
Я считаю, что должен быть какой-то изящный и красивый аргумент, показывающий, что метрики достаточно, это все.
Этот вопрос довольно расплывчатый, поэтому, пожалуйста, просто поболтайте.
Примерно так я об этом и думаю. Многообразие определяется как набор размерности с открытой окрестностью в каждой точке, которая имеет непрерывное отображение 1-1 в евклидово пространство, ; так что это локально "как" . Одна карта — это Диаграмма. Набор Карт, покрывающих все многообразие, представляет собой Атлас. (Шютц, Бернард. Геометрические методы математической физики) Когда диаграммы строятся для множества, такого как сфера, метрика для сферы может быть получена из преобразования евклидовых координат и того факта, что метрика является тензором. Таким образом, метрика измеряет отклонение от евклидова пространства. И если вы точно знаете, чем пространство отличается от евклидова пространства в каждой точке, то вы знаете «все» об этом пространстве.
Но существуют топологически различные пространства с одной и той же метрикой — цилиндр плоский. Так что это не говорит вам всего.
* Отредактировано с учетом комментария gns-ank. Заменено неправильное или неточное определение многообразия строгим определением.
Это заблуждение, что риманова метрика определяет норму только касательных пространств: внутренний продукт также добавляет понятие углов и геодезического расстояния (и, таким образом, реальную метрику на многообразии).
Лично меня не удивляет, что для задания геометрии достаточно расстояний и углов - а что еще надо? (Кручение, конечно - но в ОТО мы традиционно игнорируем эту дополнительную степень свободы...)
Любош Мотл
Инфэй Гу
Виберт
Кристоф
Джерри Ширмер
Джерри Ширмер