Функциональная дифференциальная геометрия. Чтение 41. Общая теория относительности

1. Третья попытка разобраться с техникой рассуждения авторов книги об особенностях L₂ и L₁. Читаем исходный код SCMUtils с этой целью. Попытка снова не шибко удачная. Эта неудача заставила меня наконец разобраться с кодом процедур и выписать основные детали конструкций. Подробности здесь. 2. Начинаем разбираться с основными идеями общей теории относительности. Концептуально, теория устроена похожим на ньютоновскую механику образом. В механике Ньютона положения объектов определяют силы, которые на них действуют, силы определяют ускорения, которые определяют динамику движения объектов, что приводит к изменению сил. В ОТО распределение массы и энергии задаёт метрику, которая определяет структуру пространства и геодезические в нём, по которым движется материя. В уравнения входят и метрика, и тензор Риччи. Но этот тензор определяется через согласованную с метрикой связность, поэтому уравнение Эйнштейна связывает тензор массы и энергии с тензором метрики пространства, задавая тем самым через геодезические совместную динамику пространства-времени и материи в нём. #физика, #геометрия и #lisp, #иммуроран и современный #матан