|
|
Статьи Соросовского Образовательного журнала в текстовом формате
Рассматрен один из объектов классической дифференциальной геометрии - геодезические линии. Описаны локальные свойства и указаны их возможные приложения в неевклидовой геометрии, релятивистской физике и геодезии.
ГЕОДЕЗИЧЕСКИЕ ЛИНИИС. Е. СТЕПАНОВ
Владимирский государственный педагогический университет
ВВЕДЕНИЕ
На кривой поверхности геодезические линии, заменяя прямые, позволяют строить геометрию так, как это делается на плоскости.
Статья знакомит с основами теории геодезических (см., например, [1]) на примерах результатов, полученных известными учеными в прошлом, и современных достижениях.
ГЕОДЕЗИЧЕСКИЕ ЛИНИИ
НА СФЕРЕ, ЦИЛИНДРЕ
И ВЫПУКЛЫХ МНОГОГРАННИКАХ
Вплоть до XVI века люди думали, что живут на евклидовой плоскости Е2 . Это заблуждение позволяло им считать, что большие расстояния они измеряют отрезками прямых (кратчайшими - по определению Архимеда), и пользоваться на местности теоремами геометрии Евклида, в частности известной теоремой Пифагора c2 = = a2 + b2 для прямоугольного треугольника с катетами a, b и гипотенузой с.
Но если верить преданиям, начиная с конца V века до Рождества Христова (до н.э.) греческие философы и астрономы (и среди них хорошо известный нам философ и математик Пифагор) высказывали предположения о шарообразности Земли, а в III веке до н.э. многогранный греческий ученый Эратосфен Киренский с большой степенью точности вычислил длину окружности земного шара. В то же время выделилась в самостоятельную науку и получила свое современное название геодезия. Последняя изучала методы измерений на земной поверхности и определения размеров земного шара, что было необходимо для составления географических карт, в которых нуждались торговля, мореплавание и военное дело.
Оказавшись на сфере S2 , люди поняли, что отрезки прямых, которыми они измеряли большие расстояния, являются дугами окружностей земного радиуса R © © 6378 км, а теорему Пифагора для больших расстояний надо использовать в ее сферическом варианте
Для доказательства того, что на дуге окружности большого радиуса сферы S2 реализуется минимум расстояния между двумя произвольными точками М1 и М2 , рассмотрим эту окружность как линию G пересечения сферы S2 с плоскостью Е2 , проходящей через ее центр. Тогда отражение f пространства Е3 относительно плоскости Е2 будет для сферы S2 сохраняющим расстояние преобразованием f : S2 S2 с множеством неподвижных точек G = S2 < Е2 .
Пусть наши точки М1 и М2 соединяет на S2 другая дуга g' длины меньшей, чем длина g. Так как М1 и М2 - неподвижные точки преобразования f, сохраняющего расстояние, то f(g') будет кривой, которая соединяет точки f (М1) = М1 и f (М2) = М2 , той же длины, что и g'. Следовательно, f (g') = g'. Отсюда вытекает, что g' ? S2 < Е2 .
Наконец, через каждую точку S2 в любом направлении проходит окружность большого радиуса, поэтому других кривых, <минимизирующих расстояние> между двумя любыми точками, на S2 нет.
Если при этом дуга М1М2 окружности большого радиуса имеет длину, большую pR, то для измерения расстояния надо выбирать вторую дугу той же окружности. Поскольку в первом случае (рис. 1) можно найти линию, соединяющую точки М1 и М2 , длины меньшей pR. Вторая из двух дуг окружности большого радиуса будет кратчайшей, и ее длиной будет измеряться расстояние между точками М1 и М2 . При этом сама окружность большого радиуса называется геодезической линией сферы S2 .
Зададимся вопросом: как обстоит дело с измерением расстояния между точками на других известных нам поверхностях?
Например, на цилиндре расстояние между двумя любыми точками М1 и М2 измеряется длинами отрезков прямолинейных образующих, дуг круговых сечений и винтовых линий, соединяющих эти точки. Для доказательства разрежем цилиндр по одной из его прямолинейных образующих, а затем изогнем на плоскость Е2 . В результате прямолинейные образующие не претерпят никаких изменений, длины же дуг названных кривых сохранятся, но сами дуги станут отрезками прямых линий (рис. 2). Поэтому отрезок прямой, соединяющий точки М1 и М2 , после восстановления цилиндра в прежнем виде предстанет в виде кратчайшей - отрезка прямолинейной образующей, дуги кругового сечения или винтовой линии (см. рис. 2). Все эти кривые носят название геодезических линий цилиндра.
Для вычисления расстояния между двумя точками на поверхности выпуклого многогранника поступают аналогичным образом. А именно, рассматривается развертка многогранника и две данные точки соединяются кратчайшей, которая состоит из прямолинейных отрезков в гранях развертки. Так, например, в случае куба выбирают из одиннадцати различных его разверток ту, которая позволяет соединить заданные наперед точки отрезком прямой.
Окружности большого радиуса сферы S2 и круговые сечения цилиндра относятся к так называемому классу замкнутых кривых, каждая из которых без изломов возвращается к исходной точке и не пересекает саму себя. Таким образом, на сфере через каждую точку проходит бесчисленное множество замкнутых геодезических, на цилиндре же - только одна.
Как будут выглядеть замкнутые геодезические на выпуклых многогранниках? Ответ на этот вопрос проще дать на примере куба. Замкнутую геодезическую куба будем рассматривать как многоугольник минимального периметра, каждая сторона которого лежит в своей грани куба. Очевидно, что три семейства таких геодезических лежат на плоскостях, параллельных граням куба. Элементарные вычисления (см. [2]) позволяют заключить, что имеется еще четыре семейства замкнутых геодезических, которые имеют вид шестиугольников со сторонами, параллельными диагоналям граней куба. Таким образом, через каждую точку куба проходят четыре различные замкнутые геодезические.
Заметим, что в общей постановке вопрос о существовании на той или иной поверхности замкнутых геодезических очень сложный. Его изучению посвящены множество статей и даже монография (см. [3]). Например, одним из последних результатов в общей теории относительности было доказательство существования в пространстве-времени Эйнштейна замкнутой времениподобной геодезической, получившей образное название <машина времени>.
Подводя промежуточные итоги от примеров, перейдем к более общим понятиям и фактам, известным математикам.
ГЕОДЕЗИЧЕСКИЕ ЛИНИИ И ИХ СВОЙСТВА
Будем рассматривать только те куски поверхностей, которые состоят из регулярных точек (см. [4]), а из всех кривых на них ограничимся гладкими.
В дифференциальной геометрии (см. [4]) кривую G, соединяющую на поверхности две произвольные точки М1 и М2 , принято называть кратчайшей, если ее длина наименьшая среди всех кривых с теми же концами.
Отметим, что этот термин, заимствованный у Архимеда, встречается в изданном в 1794 году втором томе <Основ геометрии> М.А. Лежандра при определении им прямой на плоскости. При этом как на плоскости, так и на поверхности расстояние между точками М1 и М2 измеряется длиной кратчайшей.
Гладкая кривая на поверхности называется геодезической, если каждая ее достаточно малая дуга является кратчайшей. Очевидно, что каждая кратчайшая является геодезической линией, но обратное, вообще говоря, неверно. Все рассмотренные нами на сфере, цилиндре и выпуклых многогранниках кривые являют собой примеры геодезических.
На примерах этих кривых непосредственно проверяются общие свойства геодезических.
Свойство 1. На всяком достаточно малом куске поверхности можно провести через две точки одну и только одну дугу геодезической линии, так же как и на плоскости Е2 через две точки можно провести одну и только одну соединяющую их прямую линию.
Действительно, зная две точки М1 и М2 сферы S2 и ее центр - точку О, можно провести плоскость Е2 , проходящую через эти три точки. Тогда G = S2 < Е2 будет той единственной геодезической, которая проходит через точки М1 и М2 .
В случае цилиндра его надо разрезать по прямолинейной образующей, развернуть на плоскость и соединить точки М1 и М2 отрезком прямой, который при возвращении цилиндра в первоначальное состояние станет отрезком геодезической линии. При этом разрез из двух возможных здесь случаев надо произвести таким образом, чтобы отрезок был самым коротким.
Свойство 2. На всяком куске поверхности можно построить угол с геодезическими сторонами таким же образом и так же его переносить, как угол с прямолинейными сторонами на плоскости Е2 .
Это свойство в первой своей части для сферы и цилиндра очевидно. Относительно второй заметим, что движение на сфере осуществляется за счет вращения пространства вокруг ее центра, а на цилиндре - за счет параллельных переносов пространства в направлении его прямолинейных образующих, поворотов пространства в плоскостях, перпендикулярных этим образующим, и, наконец, композиций этих преобразований.
Свойство 3. Гладкая кривая на поверхности является геодезической тогда и только тогда, когда она обладает параллельным полем касательных прямых.
Это свойство позволяет рассматривать геодезические линии на поверхностях аффинного пространства (см. [4]).
Докажем это свойство, как и раньше, на примере геодезических линий на сфере и цилиндре. Действительно, касательные к окружности большого радиуса G = S2 < Е2 и нормали сферы S2 лежат в одной и той же плоскости Е2 . Поэтому все касательные в силу специфики операции параллельного перенесения прямых на поверхности (см. [4]) образуют параллельное поле прямых вдоль G.
С другой стороны, при изгибании на плоскость цилиндра дуги его геодезических превращаются в отрезки прямых, поэтому касательные прямые, проведенные в точках дуг геодезических линий цилиндра, после его изгибания сольются. На этом основании заключаем, что касательные к винтовым кривым и круговым сечениям цилиндра образуют параллельные поля прямых.
ОТ ГЕОДЕЗИЧЕСКИХ ИССЛЕДОВАНИЙ
К. ГАУССА К ОТКРЫТИЮ Э. БЕЛЬТРАМИ
Дальнейшие геодезические исследования привели к выводу, что Земля имеет более сложную форму, чем шар. И поскольку дуги окружностей радиуса R © 6378 км уже не могли служить кратчайшими на земной поверхности, снова возник интерес к геодезии.
Более десяти лет своей жизни (примерно с 1820 по 1830 год) посвятил геодезии К. Гаусс. Это было связано с полученным им поручением произвести геодезическую съемку Ганноверского королевства и составить его детальную карту для военных целей. Гений великого ученого проявился в том, что он не только организовал практически это сложное предприятие, но и фактически создал науку, которая носит название высшей геодезии и имеет своей задачей установление формы земной поверхности не в упрощенном, а в действительном ее виде.
Изучение формы земной поверхности потребовало углубленного общего геометрического метода исследования поверхностей. Выдвинутые Гауссом в этой области идеи получили выражение в его сочинении "Общие изыскания о кривых поверхностях", опубликованном в 1828 году.
Практические соображения и тонкий теоретический анализ привел Гаусса к формуле
Ds2 = EDx2 + 2FDxDy + GDy2
вычисления расстояния между двумя достаточно близкими точками поверхности - формуле, которая является обобщением теоремы Пифагора на плоскости (см. [4]).
Зная формулу (1), можно поставить задачу о нахождении гладкой кривой G: x = x(t), y = y(t) для t1 # t # t2 , соединяющей достаточно близкие точки М1 и М2 поверхности, длина которой была бы наименьшей среди всех линий, соединяющих эти точки. Очевидно, что искомая кривая будет геодезической.
Решение этой задачи сводится к поиску решения следующей системы двух обыкновенных дифференциальных уравнений второго порядка:
где функции А1 , _, С2 известным образом выражаются через E, F, G и их производные. В частности, когда на поверхности задана сеть Чебышева координатных линий (см. [4]), система дифференциальных уравнений (2) принимает вид
где a = a(x, y) - угол между линиями сети Чебышева в точке поверхности М(x, y), а и - производные от функции a = a(x, y) по переменным x и y соответственно.
Для a = p /2 поверхность становится (см. [4]) изометричной плоскости Е2 , а уравнения системы принимают вид x" = 0, y" = 0. Откуда находим x = at + b и y = = ct + d для произвольных постоянных a, b, c и d. Исключая из этих двух равенств параметр t, в качестве уравнения геодезической получаем хорошо известное уравнение прямой Ax + By + C = 0, что для плоскости Е2 факт очевидный.
Возвращаясь к системе дифференциальных уравнений (2), введем новые переменные u = x' и u = y'. В результате чего сведем нашу систему из двух уравнений второго порядка к системе четырех уравнений первого порядка. Такая система дифференциальных уравнений при начальных условиях
x1 = x(t1), y1 = y(t1)
на координаты x1 и y1 точки М1 поверхности и
p1 = x'(t1), p2 = y'(t1)
на координаты вектора касательного к поверхности в этой точке, имеет единственное решение.
Образно говоря, едущий по поверхности гоночный автомобиль, проезжая точку М1 со скоростью смог бы продолжить свой путь на поверхности прямейшим образом, оставляя за собой след в виде геодезической линии.
В результате установлено еще одно свойство геодезических.
Свойство 4. Через любую точку регулярной поверхности во всяком направлении проходит и притом единственная геодезическая.
На основании формулы (1) Гаусс нашел способ вычисления на поверхности величины угла a между двумя кривыми как угла между касательными к этим кривым в их точке пересечения. В дальнейшем на основании этой формулы он доказал теорему
для выражающую сумму углов треугольника АВС, сторонами которого служат дуги геодезических линий поверхности, через p с некоторой поправкой, положительной на поверхности положительной полной кривизны (К > 0) и отрицательной на поверхности отрицательной полной кривизны (К < 0). Эта поправка пропорциональна площади SABC куска поверхности, ограниченного геодезическим треугольником АВС. Так, в частности, для сферы S2 радиуса R имеем
и для псевдосферы (см. [4])
Из последнего равенства с очевидностью следует, что сумма внутренних углов геодезического треугольника на псевдосфере меньше p. Но это же и для плоскости Лобачевского Л2 является фундаментальным фактом (см. [4])!
Теорема (3) подсказала Бельтрами возможность построения <в малом> на поверхностях постоянной отрицательной полной кривизны геометрии Лобачевского с геодезическими в качестве прямых линий. Такая интерпретация Бельтрами плоскости Л2 доказывала, что в геометрии Лобачевского нет внутренних противоречий, потому что в противном случае такие противоречия должны были сказаться в обычной теории поверхностей.
К сожалению, сочинения Э. Бельтрами были опубликованы между 1860 и 1870 годами, уже после смерти нашего гениального соотечественника Н.И. Лобачевского. Появись они раньше - и судьба Н.И. Лобачевского как ученого сложилась бы иначе.
ГЕОДЕЗИЧЕСКИЕ ОТОБРАЖЕНИЯ
В геодезии при составлении карт важное значение имеет геодезическое отображение. При таком отображении геодезические линии одной поверхности переходят в геодезические линии другой.
Для примера рассмотрим отображение поверхностей с сохранением длины - изометрию. Поскольку геодезическое расстояние между двумя точками при этом отображении должно быть равно геодезическому расстоянию между образами точек, то такое отображение должно переводить геодезические линии в геодезические же.
Отображение, осуществляемое путем изгибания цилиндра на плоскость, является частным видом изометрии. При изгибании цилиндра на плоскость Е2 геодезические линии цилиндра превращаются в отрезки прямых линий плоскости, которые там играют роль геодезических. Правда, если представлять цилиндр как поверхность неограниченно продолжаемую, то его винтовые кривые, совершающие бесчисленное число витков, будут разрезаны на бесчисленное множество дуг, каждая из которых при изгибании станет отрезком своей прямой линии. Поэтому в этом случае принято говорить о локальном геодезическом отображении цилиндра на плоскость (см. рис. 2).
Рассмотрим пример локально геодезического отображения сферы S2 на евклидову плоскость Е2 , которое не является изометрическим.
Пусть сфера S2 лежит на плоскости Е2 и S 2'- ее нижняя открытая полусфера, то есть полусфера без ограничивающей ее окружности. Геодезическими линиями полусферы S 2'по-прежнему будут дуги окружностей большого радиуса сферы S2 . Тогда для любой дуги g ? ? S 2', которая является дугой окружности большого радиуса сферы S2 , всегда найдется плоскость Е 2'такая, что Прямую линию l, которую мы поставим в соответствие g, определим условием
При этом важно отметить, что <в целом> сфера S2 не допускает геодезического отображения на плоскость Е2 .
Как нам известно (см. [4]), сфера S2 является примером поверхности постоянной полной кривизны. Оказывается, что только поверхности постоянной полной кривизны и среди них сфера допускают локальные геодезические отображения на плоскость Е2 . Это, в частности, следует из теоремы более общего содержания, которую доказал в 1868 году Э. Бельтрами.
Теорема Бельтрами. Единственные поверхности, которые допускают локальные геодезические отображения на поверхности постоянной полной кривизны, также являются поверхностями постоянной полной кривизны.
Годом позже У. Дини, изучая задачу динамики о преобразованиях уравнений движения механических систем, сохраняющих траектории, доказал, что справедлива следующая
Теорема Дини. Две неизометричные поверхности допускают локальное геодезическое отображение тогда и только тогда, когда расстояние между их достаточно близкими точками можно вычислять по формулам
Ds2 = (f (x) + j(y))(Dx2 + Dy2)
на первой поверхности и
на второй.
Через 27 лет после опубликования этого результата Т. Леви-Чивита дал общее решение проблемы геодезических отображений пространств трех и более измерений. По форме это была обобщенная теорема У. Дини. И наконец, спустя более чем сто лет после теоремы Э. Бельтрами задача о локальном геодезическом отображении была решена полностью в работе [5] профессора Казанского университета А.В. Аминовой.
ЗАКЛЮЧЕНИЕ
Теория геодезических линий и геодезических отображений интересна с прикладной точки зрения и для современных исследований, поскольку движение многих типов механических систем, а также тел или частиц в гравитационных и электромагнитных полях, в сплошной среде часто происходит по траекториям, которые можно рассматривать как геодезические линии некоторых пространств трех и более измерений, определяемых энергетическими режимами, при которых протекают процессы.
На этом основании два пространства, допускающие геодезическое отображение друг на друга, описывают процессы, проистекающие при эквивалентных внешних нагрузках по одним и тем же "траекториям", но при различных энергетических режимах. Следовательно, один из этих процессов можно моделировать с помощью другого. Некоторые аспекты этого изложены в уже цитированной статье [5] и монографии [6] известного своими исследованиями в общей теории относительности профессора Казанского университета А.З. Петрова.
ЛИТЕРАТУРА
1. Буземан Г. Геометрия геодезических. М.: Физматгиз, 1962.
2. Штейнгауз Г. Сто задач. М.: Наука, 1980.
3. Клингенберг В. Лекции о замкнутых геодезических. М.: Мир, 1982.
4. Степанов С.Е. О кройке одежды по П.Л. Чебыш╦ву // Соросовский Образовательный Журнал. 1988. ╧ 7. С. 122-127.
5. Аминова А.В. Псевдоримановы многообразия с общими геодезическими // Успехи матем. наук. 1993. Т. 48, вып. 2. С. 107-164.
6. Петров А.З. Новые методы в общей теории относительности. М.: Наука, 1966.
Рецензент статьи Ю.П. Соловьев
* * *
Сергей Евгеньевич Степанов, доктор физико-математических наук, доцент Владимирского государственного педагогического университета. Область научных интересов - глобальная риманова и лоренцева геометрии и теория поля. Автор более 40 научных статей и соавтор двух коллективных монографий.
