Параллельный перенос вектора. Критика

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

"… внутренняя кривизна пространства-времени, т. е. кривизна, при определении которой не только не используется погружение в какое-либо гипотетическое плоское многообразие более высокой размерности, но даже не допускается мысли о возможности такого погружения" [8, т.1, с.411].

В качестве одного из способов такого определения чаще всего рассматривается явление поворота вектора при его параллельном переносе по замкнутому контуру:

"Кривизна многообразия сама по себе выражается через изменение направления вектора, возникающее при параллельном переносе вектора по небольшому замкнутому контуру. Изменение направления вектора зависит от исходного направления вектора, а также от ориентации двумерной поверхности, в которой расположен этот замкнутый контур; при заданной ориентации изменение направления вектора пропорционально площади, охватываемой замкнутым контуром. Следовательно, численное значение кривизны многообразия можно выразить через изменение направления вектора (в градусах) на единицу площади, охватываемой замкнутым контуром, по которому совершается обход" [1, с.82].

Известны и более формализованные описания таких процессов, например, в терминах тензоров:

"… параллельный перенос произвольного вектора (тензора) по замкнутому контуру. Параллельно перенося произвольный тензор … из произвольной точки А в точку D вдоль различных сторон параллелограмма … можно убедиться в том, что тензор Римана-Кристоффеля определяет разность компонент тензоров, перенесенных из одной точки в другую (близкую) двумя разными путями (уравнение) …" [4, с.67]

Разностью компонент тензора в данном случае и обозначают изменение направления вектора при таком параллельном переносе. Примерно такой же вывод следует из доказательств еще одного автора:

"При произвольном переносе … вектор получает приращение … Выведем формулу … Таким образом, при параллельном переносе вектор … получает приращение …" [5, с.51]

Эти выводы относятся к криволинейным пространствам, поскольку в декартовой и в евклидовой системах координат компоненты векторов при параллельном переносе не изменяются и результирующий вектор после прохождения любого замкнутого контура совпадет с исходным вектором, причем система координат в общем случае, как считается, может быть и искривленной. Но в искривленном пространстве:

"… результирующий вектор a^*i, вообще говоря, будет отличен от исходного вектора aⁱ, причем разность a^*i – a^*i зависит от выбора замкнутой кривой … это единственное существенное различие между плоским и искривленным пространствами" [7, с.231].

Именно такое поведение вектора при параллельном переносе, как правило, и используется в качестве определения понятия кривизны пространства:

"… пространство называется искривленным, если результат параллельного переноса вектора из одной точки в другую зависит от выбора пути, по которому производится перенос" [1, с.84].

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

"В дифференциальной форме его можно описать заданием оператора поворота вектора Г при переходе из точки x в точку x+dx, а именно:

Коэффициенты Г^μ_αν в формуле (3.4) называются компонентами связанности. Разбивая теперь кривую, соединяющую две точки пространства, на малые отрезки и описывая на каждом отрезке изменение вектора с помощью оператора (3.4), можно получить изменение вектора при переносе из одной точки в другую. При этом существенно, что результат будет различен для различных кривых, связывающих эти точки …

Таким образом, параллельный перенос в искривленном пространстве зависит от пути, по которому он осуществляется" [6, с.30].

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

"… результат параллельного переноса вектора зависит не только от исходного вектора, но и от пути, по которому совершается перенос.

Рис.35. Параллельный перенос вектора по двум возможным путям

Если вектор v₀ (рис. 35) сначала параллельно переносится из точки A в точку B, а затем в точку D, то в результате мы получим вектор v₁, если параллельный перенос вектора v₀ совершается от точки A к точке D через точку C, то результатом переноса будет вектор v₂. Параллельный перенос вектора вдоль пути, состоящего из отрезков прямых (ломаная линия), в конце концов возвращающихся в исходную точку (замкнутая ломаная), приводит к новому вектору в начальной точке; этот новый вектор отнюдь не совпадает с исходным, хотя при переносе вектора по всем сегментам петли мы нигде не нарушили правил параллельного переноса" [1, с.62].

Численно величина кривизны многообразия (пространства) может быть выражена через конкретные числовые параметры параллельного переноса:

"Кривизна многообразия сама по себе выражается через изменение направления вектора, возникающее при параллельном переносе вектора по небольшому замкнутому контуру. … численное значение кривизны многообразия можно выразить через изменение направления вектора (в градусах) на единицу площади, охватываемой замкнутым контуром, по которому совершается обход" [1, с.82].

Как вариант, объективным, количественным показателем кривизны пространства может быть величина, пропорциональная площади контура, по которому производится параллельный перенос вектора:

"В искривленном пространстве начальное и конечное направление вектора не совпадают, причем отличие δA будет прямо пропорционально площади контура δS" [2, с.54].

В работе [3, с.59] в достаточно общем, формальном виде приводятся определения понятий параллельного переноса вектора и понятия кривизны – тензора кривизны или тензора Римана. Отмечено, что задача о параллельном переносе и определении кривизны является корректной и имеет однозначное решение.