Геодезическая: различия между версиями
[отпатрулированная версия] | [отпатрулированная версия] |
м Adamant.pwn переименовал страницу Геодезическая в Геодезическая линия поверх перенаправления: С какой стати страница прилагательным названа? |
Aburov (обсуждение | вклад) м →Римановы и псевдоримановы многообразия: Были одинаковые аргументы |
||
(не показано 17 промежуточных версий 11 участников) | |||
Строка 1: | Строка 1: | ||
[[Файл:Transpolar geodesic on a triaxial ellipsoid case A.svg|thumb|Геодезическая линия на поверхности [[Эллипсоид|трёхосевого эллипсоида]]]] |
|||
'''Геодези́ческая''' (''геодезическая |
'''Геодези́ческая''' (также '''геодезическая ли́ния''') — [[кривая]] определённого типа, обобщение понятия «[[прямая]]» для искривлённых пространств. |
||
Конкретное определение геодезической линии зависит от типа пространства. Например, на двумерной поверхности, вложенной в [[Евклидово пространство|евклидово трёхмерное пространство]], геодезические линии |
Конкретное определение геодезической линии зависит от типа пространства. Например, на двумерной поверхности, вложенной в [[Евклидово пространство|евклидово трёхмерное пространство]], геодезические линии — это линии, достаточно малые дуги которых являются на этой поверхности кратчайшими путями между их концами. На [[Плоскость (геометрия)|плоскости]] это будут прямые, на круговом [[цилиндр]]е — [[Винтовая линия|винтовые линии]], прямолинейные образующие и [[Окружность|окружности]], на [[Сфера|сфере]] — дуги [[Большой круг|больших окружностей]]. |
||
Геодезические линии активно используются в [[релятивистская физика|релятивистской физике]]. Так |
Геодезические линии активно используются в [[релятивистская физика|релятивистской физике]]. Так, [[пробное тело]] в [[Общая теория относительности|общей теории относительности]] движется по геодезической линии [[Пространство-время|пространства-времени]]. По сути, временна́я эволюция всех [[Лагранжиан|лагранжевых систем]] может рассматриваться как движение по геодезической в специальном пространстве. Таким образом представима вся [[Калибровочная инвариантность|теория калибровочных полей]]. |
||
== Дифференциальная геометрия == |
== Дифференциальная геометрия == |
||
=== Многообразия с аффинной связностью === |
=== Многообразия с аффинной связностью === |
||
В многообразиях с [[аффинная связность|аффинной связностью]] <math>\nabla</math> геодезическая |
В многообразиях с [[аффинная связность|аффинной связностью]] <math>\nabla</math> геодезическая — это кривая <math>\gamma(t)</math>, удовлетворяющая уравнению |
||
: <math> |
: <math>\nabla_{\dot\gamma} \dot\gamma = 0.</math> |
||
В координатном виде можно переписать это уравнение, используя [[символы Кристоффеля]] |
В координатном виде можно переписать это уравнение, используя [[символы Кристоффеля]]: |
||
: <math>\frac{d^2x^\lambda |
: <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( |
: <math>E(\gamma) = \int\limits_\gamma g\big(\gamma(t), \dot\gamma(t)\big) \,dt,</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 курс.