Определение слова «Параллельное Перенесение»

Большая советская энциклопедия:

Параллельное перенесение
Обобщение понятия параллельного переноса (См. Параллельный перенос) на пространства более сложной структуры, чем евклидовы (например, так называемые пространства афинной связности и, в частности, римановы пространства (См. Риманово пространство)). П. п. позволяет сравнивать геометрические образы, относящиеся к различным точкам пространства.
На поверхности в трёхмерном евклидовом пространстве (являющейся двумерным римановым пространством) П. п. определяется следующим образом. Пусть — кривая на поверхности , А и В— концы ; S — развёртывающаяся поверхность, которая является огибающей семейства касательных плоскостей, построенных в точках кривой (см. рис.). Тогда П. п. вектора а, заданного в касательной плоскости ПА в точке А, называется параллельный перенос этого вектора по развёрнутой на плоскость поверхности S с последующим приложением S к . На рис. вектор а* представляет собой результат П. п. вектора а по поверхности вдоль . П. п. можно рассматривать как некоторое линейное преобразование касательной плоскости ПА в точке А в касательную плоскость Пв в точке В. Такое преобразование может быть описано с помощью формул, зависящих от Кристоффеля символов. Эти формулы обобщаются на римановы пространства большей размерности и на пространства аффинной связности; символы Кристоффеля соответственно могут быть вычислены с помощью метрического тензора (см. Риманова геометрия) или задаются как исходные величины теории.
Вообще говоря, результат П. п. вектора зависит не только от исходного вектора, начальной и конечной точек перенесения, но и от выбора самого пути перенесения.
Если результат П. п. вектора не зависит от выбора пути, то пространство (по крайней мере, в достаточно малой окрестности) является аффинным или евклидовым и понятие П. п. совпадает с понятием параллельного переноса. См. также Связность и лит. при этой статье.
Д. Д. Соколов.

Рис. к ст. Параллельное перенесение.

Математическая энциклопедия:

Изоморфизм слоев над концами х 0 и x1 кусочно гладкой кривой L(x0, x1).базы Мгладкого расслоенного пространства Е, определяемый нек-рой заданной в Е связностью;. в частности, линейный изоморфизм касательных пространств Т Х0 (М). и TX1(M), определяемый вдоль кривой нек-рой заданной на М аффинной связностью. Развитие понятия П. п. началось с обычного параллелизма на евклидовой плоскости Е 2, для к-рой Ф. Миндинг (F. Minding, 1837) указал возможность обобщить ее на случай поверхности Мв Е 3 с помощью введенного им понятия развертывания кривой на плоскость Е 2. Это указание Миндинга послужило отправным пунктом для Т. Леви-Чивита [1], к-рый, оформляя аналитически П. п. касательного вектора на поверхности, обнаружил зависимость его только от метрики поверхности и на этой основе обобщил его сразу на случай n-мерного риманова пространства (см. Леви-Чивита связность). Г. Вейль [2] положил понятие П. и. касательного вектора в основу определения аффинной связности на гладком многообразии М. Дальнейшие обобщения итого понятия связаны с развитием общей теории связностей. Пусть на гладком многообразии Мзадана аффинная связность с помощью матрицы локальных форм связности: Говорят, что вектор получен параллельным перенесением из вектора вдоль гладкой кривой , если на Lсуществует гладкое векторное ноле X, соединяющее Х 0 и Х 1, такое, что , где Y- псле касательного вектора кривой L,a — ковариантная производная поля Xотносительно Y, определяемая формулой Таким образом, координаты поля Xдолжны удовлетворять вдоль Lсистеме дифференциальных уравнений Из линейности этой системы следует, что П. п. вдоль Lопределяет нек-рый изоморфизм между и . П. п. вдоль кусочно гладкой кривой определяется как суперпозиция П. п. вдоль ее гладких кусков. Автоморфизмы пространства , определяемые П. п. вдоль замкнутых кусочно гладких кривых , образуют линейную голономии группу; при этом и всегда сопряжены между собой. Если дискретна, т. е. ее компонента единицы одноэлементна, то говорят об аффинной связности с (локальным) абсолютным параллелизмом векторов, или о (локально) плоской связности. Тогда П. п. при любых x0 и x1 не зависит от выбора линии из одного класса гомотопии; для этого необходимо и достаточно равенство нулю тензора кривизны связности. На основе П. п. вектора определяется П. п. ковектора и, вообще, тензора. Говорят, что поле ковектора на Lсовершает параллельное перенесение, если для любого векторного поля Xна L, совершающего П. п., функция постоянна вдоль L. Вообще, говорят, что поле тензора Т, напр. типа (2, 1), совершает параллельное перенесение вдоль L, если для любых X, Y и Э, совершающих П. п., функция постоянна вдоль L. Для этого необходимо и достаточно, чтобы компоненты удовлетворяли вдоль Lсистеме дифференциальных уравнений После введения Э. Картавом [3] пространств проективной и конформной связностей в 1920-х гг. и общей концепции связности на многообразии понятие П. п. получило более общее содержание. В наиболее общем смысле оно понимается теперь при рассмотрении связностей в главных расслоенных пространствах или присоединенных к ним пространствах. Существует способ определения самого понятия связности с помощью понятия П. п., к-рое тогда определяется аксиоматически. Связность, однако, может быть задана горизонтальным распределением или нек-рым другим эквивалентным способом, напр. связности формой. Тогда для каждой кривой L(x0, x1).базы Мопределяются ее горизонтальные поднятия как интегральные кривые горизонтального распределения над L. П. п. наз. тогда отображение, к-рое концам этих понятий в слое над x1 ставит в соответствие их другие концы в слое над х 0. Аналогично определяются понятия группы голономии и (локально) плоской связности; последняя также характеризуется равенством нулю кривизны формы. Лит.:[1] Levi-Civita Т., "Rend. Circolo mat. Palermo", 1917, t. 42, p. 173-205; [2] Weyl H., Raum, Zeit, Materie, 5 Aufl., В., 1923; [3] С a r t a n E., "Acta math.", 1926, t. 48, p. 1-42; [4] Номидзу К., Группы Ли и дифференциальная геометрия, пер. с англ., М., I960; [5] Рашевский П. К., Риманова геометрия и тензорный анализ, 3 изд., М., 1967. Ю. Г. Лумисте.

Смотреть другие определения →