Гроссман, Марсель
Второй случай представился в 1912 году, когда профессор Пражского университета Георг Пик в беседе с Эйнштейном предположил, что математическая модель общей теории относительности (ОТО) должна описывать искривлённое четырёхмерное пространство-время (до этого несколько лет Эйнштейн пытался создать скалярную теорию тяготения, однако её следствия были неудовлетворительными). Он обратился к Марселю Гроссману с просьбой помочь в выборе средств для такого описания. Гроссман порекомендовал тензорный анализ, уже глубоко разработанный в то время для двумерных поверхностей, и произвёл разработку его четырёхмерного обобщения. Как вспоминал Эйнштейн, Гроссман «охотно согласился совместно работать над проблемой, но всё-таки с тем ограничением, что он не берёт на себя никакой ответственности за какие-либо физические утверждения и интерпретации».
Математическая формулировка общей теории относительности
В этой статье рассматривается математический базис общей теории относительности.
Наше интуитивное восприятие указывает нам, что пространство-время является регулярным и непрерывным, то есть не имеет «дыр». Математически эти свойства обозначают, что пространство-время будет моделироваться гладким дифференцируемым многообразием 4 измерений formula_1, то есть пространством размерности 4, для которого окрестность каждой точки походит локально на четырёхмерное евклидово пространство. Гладкость здесь означает достаточную дифференцируемость, пока без уточнения её степени.