Геодезическая: различия между версиями

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску
[отпатрулированная версия][отпатрулированная версия]
Содержимое удалено Содержимое добавлено
м Adamant.pwn переименовал страницу Геодезическая в Геодезическая линия поверх перенаправления: С какой стати страница прилагательным названа?
м Римановы и псевдоримановы многообразия: Были одинаковые аргументы
 
(не показано 17 промежуточных версий 11 участников)
Строка 1: Строка 1:
[[Файл:Transpolar geodesic on a triaxial ellipsoid case A.svg|thumb|Геодезическая линия на поверхности [[Эллипсоид|трёхосевого эллипсоида]]]]
'''Геодези́ческая''' (''геодезическая линия'') — [[кривая]] определённого типа, обобщение понятия «[[прямая]]» для искривлённых пространств.
'''Геодези́ческая''' (также '''геодезическая ли́ния''') — [[кривая]] определённого типа, обобщение понятия «[[прямая]]» для искривлённых пространств.


Конкретное определение геодезической линии зависит от типа пространства. Например, на двумерной поверхности, вложенной в [[Евклидово пространство|евклидово трёхмерное пространство]], геодезические линии — это линии, достаточно малые дуги которых являются на этой поверхности кратчайшими путями между их концами. На [[Плоскость (геометрия)|плоскости]] это будут прямые, на круговом [[Цилиндр|цилиндре]] — [[Винтовая линия|винтовые линии]], прямолинейные образующие и [[Окружность|окружности]], на [[Сфера|сфере]] — дуги [[Большой круг|больших окружностей]].
Конкретное определение геодезической линии зависит от типа пространства. Например, на двумерной поверхности, вложенной в [[Евклидово пространство|евклидово трёхмерное пространство]], геодезические линии — это линии, достаточно малые дуги которых являются на этой поверхности кратчайшими путями между их концами. На [[Плоскость (геометрия)|плоскости]] это будут прямые, на круговом [[цилиндр]]е — [[Винтовая линия|винтовые линии]], прямолинейные образующие и [[Окружность|окружности]], на [[Сфера|сфере]] — дуги [[Большой круг|больших окружностей]].


Геодезические линии активно используются в [[релятивистская физика|релятивистской физике]]. Так, например, [[пробное тело]] в [[Общая теория относительности|общей теории относительности]] движется по геодезической линии [[Пространство-время|пространства-времени]]. По сути, временная эволюция всех [[Лагранжиан|лагранжевых систем]] может рассматриваться как движение по геодезической в специальном пространстве. Таким образом представима вся [[Калибровочное поле|теория калибровочных полей]].
Геодезические линии активно используются в [[релятивистская физика|релятивистской физике]]. Так, [[пробное тело]] в [[Общая теория относительности|общей теории относительности]] движется по геодезической линии [[Пространство-время|пространства-времени]]. По сути, временна́я эволюция всех [[Лагранжиан|лагранжевых систем]] может рассматриваться как движение по геодезической в специальном пространстве. Таким образом представима вся [[Калибровочная инвариантность|теория калибровочных полей]].


== Дифференциальная геометрия ==
== Дифференциальная геометрия ==

=== Многообразия с аффинной связностью ===
=== Многообразия с аффинной связностью ===
В многообразиях с [[аффинная связность|аффинной связностью]] <math>\nabla</math> геодезическая — это кривая <math>\gamma(t)</math>, удовлетворяющая уравнению
В многообразиях с [[аффинная связность|аффинной связностью]] <math>\nabla</math> геодезическая — это кривая <math>\gamma(t)</math>, удовлетворяющая уравнению
: <math> \nabla_{\dot\gamma} \dot\gamma = 0.</math>
: <math>\nabla_{\dot\gamma} \dot\gamma = 0.</math>


В координатном виде можно переписать это уравнение, используя [[символы Кристоффеля]]
В координатном виде можно переписать это уравнение, используя [[символы Кристоффеля]]:
: <math>\frac{d^2x^\lambda }{dt^2} + \Gamma^{\lambda}_{~\mu \nu }\frac{dx^\mu }{dt}\frac{dx^\nu }{dt} = 0\ ,</math> где <math>x^\mu (t)</math> — координаты кривой.
: <math>\frac{d^2x^\lambda}{dt^2} + \Gamma^{\lambda}_{~\mu\nu} \frac{dx^\mu}{dt} \frac{dx^\nu }{dt} = 0,</math>
где <math>x^\mu(t)</math> — координаты кривой.


Иными словами, кривая является геодезической, если параллельно переносимый вдоль неё вектор, бывший касательным к кривой в начальной точке, остаётся касательным везде.
Иными словами, кривая является геодезической, если параллельно переносимый вдоль неё вектор, бывший касательным к кривой в начальной точке, остаётся касательным везде.


=== Римановы и псевдоримановы многообразия ===
=== Римановы и псевдоримановы многообразия ===
В [[Риманово пространство|римановых]] и [[Псевдориманово пространство|псевдоримановых]] пространствах, геодезическая определяется как [[Критическая точка (математика)|критическая]] кривая интеграла энергии:
В [[Риманово пространство|римановых]] и [[Псевдориманово пространство|псевдоримановых]] пространствах геодезическая определяется как [[Критическая точка (математика)|критическая]] кривая интеграла энергии:
: <math>E(\gamma)=\int\limits_\gamma g(\dot\gamma(t),\dot\gamma(t))\,dt</math>.
: <math>E(\gamma) = \int\limits_\gamma g\big(\gamma(t), \dot\gamma(t)\big) \,dt,</math>

Здесь <math>\gamma(t)</math> — кривая в пространстве, <math>g</math> — [[метрический тензор|метрика]].
здесь <math>\gamma(t)</math> — кривая в пространстве, <math>g</math> — [[метрический тензор|метрика]].
(В физике этот интеграл принято называть [[Действие (механика)|интегралом действия]].)
(В физике этот интеграл принято называть [[Действие (механика)|интегралом действия]].)


Это условие эквивалентно тому, что:
Это условие эквивалентно тому, что:
: <math> \nabla_{\dot\gamma} \dot\gamma = 0</math>
: <math> \nabla_{\dot\gamma} \dot\gamma = 0</math>
вдоль всей кривой, где <math>\nabla</math> обозначает [[связность Леви-Чивиты]].
вдоль всей кривой, где <math>\nabla</math> обозначает [[связность Леви-Чивиты]].


== Метрическая геометрия ==
== Метрическая геометрия ==

В [[метрическое пространство|метрических пространствах]] геодезическая определяется как локально [[кратчайшая]] с равномерной параметризацией (часто с [[натуральный параметр|натуральным параметром]]).
В [[метрическое пространство|метрических пространствах]] геодезическая определяется как локально [[кратчайшая]] с равномерной параметризацией (часто с [[натуральный параметр|натуральным параметром]]).


Согласно [[Лемма Гаусса о геодезических|лемма Гаусса]], для [[Риманово многообразие|римановых многообразий]] это определение задаёт тот же класс кривых, что и дифференциально-геометрическое определение, приведённое выше.
Согласно [[Лемма Гаусса о геодезических|лемме Гаусса]], для [[Риманово многообразие|римановых многообразий]] это определение задаёт тот же класс кривых, что и дифференциально-геометрическое определение, приведённое выше.


== Использование в физике ==
== Использование в физике ==
'''Геодезические линии''' активно используются в релятивистской физике.

Например, траектория свободно падающего незаряжённого [[пробное тело|пробного тела]] в [[общая теория относительности|общей теории относительности]] и вообще в метрических теориях гравитации является геодезической линией ''наибольшего'' [[собственное время|собственного времени]], то есть времени, измеряемого часами, движущимися вместе с телом.
'''Геодези́ческие ли́нии''' активно используются в релятивистской физике.
Так, например, траектория свободно падающего незаряжённого [[пробное тело|пробного тела]] в [[общая теория относительности|общей теории относительности]] и вообще в метрических теориях гравитации является геодезической линией ''наибольшего'' [[собственное время|собственного времени]], то есть времени, измеряемого часами, движущимися вместе с телом.


Часто физическую теорию, обладающую [[действие (физическая величина)|действием]] или выраженную в гамильтоновой форме, можно переформулировать как задачу отыскания геодезических линий на некотором [[Риманово пространство|римановом]] или [[Псевдориманово пространство|псевдоримановом]] многообразии.
Часто физическую теорию, обладающую [[действие (физическая величина)|действием]] или выраженную в гамильтоновой форме, можно переформулировать как задачу отыскания геодезических линий на некотором [[Риманово пространство|римановом]] или [[Псевдориманово пространство|псевдоримановом]] многообразии.
Строка 41: Строка 43:
* [[Ортодромия]]
* [[Ортодромия]]
* [[Экспоненциальное отображение]]
* [[Экспоненциальное отображение]]
* [[Геодезический купол]]

== Ссылки ==
*''А. В. Чернавский''. [http://higeom.math.msu.su/people/chernavski/chernav-difgeom2011.pdf Дифференциальная геометрия, 2 курс].


== Литература ==
== Литература ==
* {{ВТ-ЭСБЕ|Геодезическая линия|[[Граве, Дмитрий Александрович|Граве Д. А.]]}}
* {{ВТ-ЭСБЕ|Геодезическая линия|[[Граве, Дмитрий Александрович|Граве Д. А.]]}}
* ''Б.А. Дубровин, С.П. Новиков, А.Т. Фоменко''. Современная геометрия. — Любое издание.
* ''Дубровин Б. А., Новиков С. П., Фоменко А. Т.'' Современная геометрия. — Любое издание.
* ''А.С. Мищенко, А.Т. Фоменко''. Курс дифференциальной геометрии и топологии. — Любое издание.
* ''Мищенко А. С., Фоменко А. Т.''. Курс дифференциальной геометрии и топологии. — Любое издание.
* ''М.М. Постников''. Вариационная теория геодезических. — Любое издание.
* ''Постников М. М.''. Вариационная теория геодезических. — Любое издание.
*{{книга|автор=[[Чернавский, Алексей Викторович|А. В. Чернавский]]|заглавие=Дифференциальная геометрия, 2 курс|год=|серия=|ссылка=http://higeom.math.msu.su/people/chernavski/chernav-difgeom2011.pdf|место=|издательство=|тираж=|страниц=|isbn=}}



[[Категория:Риманова (и псевдориманова) геометрия]]
[[Категория:Риманова (и псевдориманова) геометрия]]

Текущая версия от 16:04, 18 мая 2021

Геодезическая линия на поверхности трёхосевого эллипсоида

Геодези́ческая (также геодезическая ли́ния) — кривая определённого типа, обобщение понятия «прямая» для искривлённых пространств.

Конкретное определение геодезической линии зависит от типа пространства. Например, на двумерной поверхности, вложенной в евклидово трёхмерное пространство, геодезические линии — это линии, достаточно малые дуги которых являются на этой поверхности кратчайшими путями между их концами. На плоскости это будут прямые, на круговом цилиндре — винтовые линии, прямолинейные образующие и окружности, на сфере — дуги больших окружностей.

Геодезические линии активно используются в релятивистской физике. Так, пробное тело в общей теории относительности движется по геодезической линии пространства-времени. По сути, временна́я эволюция всех лагранжевых систем может рассматриваться как движение по геодезической в специальном пространстве. Таким образом представима вся теория калибровочных полей.

Дифференциальная геометрия

[править | править код]

Многообразия с аффинной связностью

[править | править код]

В многообразиях с аффинной связностью геодезическая — это кривая , удовлетворяющая уравнению

В координатном виде можно переписать это уравнение, используя символы Кристоффеля:

где  — координаты кривой.

Иными словами, кривая является геодезической, если параллельно переносимый вдоль неё вектор, бывший касательным к кривой в начальной точке, остаётся касательным везде.

Римановы и псевдоримановы многообразия

[править | править код]

В римановых и псевдоримановых пространствах геодезическая определяется как критическая кривая интеграла энергии:

здесь  — кривая в пространстве,  — метрика. (В физике этот интеграл принято называть интегралом действия.)

Это условие эквивалентно тому, что:

вдоль всей кривой, где обозначает связность Леви-Чивиты.

Метрическая геометрия

[править | править код]

В метрических пространствах геодезическая определяется как локально кратчайшая с равномерной параметризацией (часто с натуральным параметром).

Согласно лемме Гаусса, для римановых многообразий это определение задаёт тот же класс кривых, что и дифференциально-геометрическое определение, приведённое выше.

Использование в физике

[править | править код]

Геодезические линии активно используются в релятивистской физике. Например, траектория свободно падающего незаряжённого пробного тела в общей теории относительности и вообще в метрических теориях гравитации является геодезической линией наибольшего собственного времени, то есть времени, измеряемого часами, движущимися вместе с телом.

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

Литература

[править | править код]
  • Граве Д. А. Геодезическая линия // Энциклопедический словарь Брокгауза и Ефрона : в 86 т. (82 т. и 4 доп.). — СПб., 1890—1907.
  • Дубровин Б. А., Новиков С. П., Фоменко А. Т. Современная геометрия. — Любое издание.
  • Мищенко А. С., Фоменко А. Т.. Курс дифференциальной геометрии и топологии. — Любое издание.
  • Постников М. М.. Вариационная теория геодезических. — Любое издание.
  • А. В. Чернавский. Дифференциальная геометрия, 2 курс.